Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Binary geometries from pellytopes
Binary geometries have recently been introduced in particle physics in connection with stringy integrals. In this work, we study a class of simple polytopes, called \emph{pellytopes}, whose number of vertices are given by Pell's numbers. We provide a new family of binary geometries determined by pellytopes as conjectured by He--Li--Raman--Zhang. We relate this family to the moduli space of curves by comparing the pellytope to the ABHY associahedron.
Double orthodontia formulas and Lascoux positivity
Published
• View Publication
• BIB
We give a new formula for double Grothendieck polynomials based on Magyar's orthodontia algorithm for diagrams. Our formula implies a similar formula for double Schubert polynomials $\mathfrak S_w(\mathbf x;\mathbf y)$. We also prove a curious positivity result: for vexillary permutations $w\in S_n$, the polynomial $x_1^n\dots x_n^n \mathfrak S_w(x_n^{-1}, \dots, x_1^{-1}; 1,\dots,1)$ is a graded nonnegative sum of Lascoux polynomials. We conjecture that this positivity result holds for all $w\in S_n$. This conjecture would follow from a problem of independent interest regarding Lascoux positivity of certain products of Lascoux polynomials.
Parking functions with a fixed set of lucky cars
In a parking function, a lucky car is a car that parks in its preferred parking spot and the parking outcome is the permutation encoding the order in which the cars park on the street. We give a characterization for the set of parking outcomes arising from parking functions with a fixed set of lucky cars. This characterization involves the descent bottom set of a permutation, and we use the characterization to we give a formula for the number of parking functions with a fixed set of lucky cars. Our work includes the cases where the number of cars is equal to the number of parking spots, and where there are more spots than cars. We also give product formulas for the number of weakly increasing parking functions having a fixed set of lucky cars, and when the number of cars equals the number of spots this is a product of Catalan numbers.
A study of nil Hecke algebras via Hopf algebroids
Hopf algebroids are generalizations of Hopf algebras to less commutative settings. We show how the comultiplication defined by Kostant and Kumar turns the affine nil Hecke algebra associated to a Coxeter system into a Hopf algebroid without an antipode. The proof relies on mixed dihedral braid relations between Demazure operators and simple reflections. For researchers new to Hopf algebroids we include additional examples from ring theory, representation theory, and algebraic geometry.
Hall-Littlewood polynomials, affine Schubert series, and lattice enumeration
We introduce multivariate rational generating series called Hall-Littlewood-Schubert ($\mathsf{HLS}_n$) series. They are defined in terms of polynomials related to Hall-Littlewood polynomials and semistandard Young tableaux. We show that $\mathsf{HLS}_n$ series provide solutions to a range of enumeration problems upon judicious substitutions of their variables. These include the problem to enumerate sublattices of a $p$-adic lattice according to the elementary divisor types of their intersections with the members of a complete flag of reference in the ambient lattice. This is an affine analog of the stratification of Grassmannians by Schubert varieties. Other substitutions of $\mathsf{HLS}_n$ series yield new formulae for Hecke series and $p$-adic integrals associated with symplectic $p$-adic groups, and combinatorially defined quiver representation zeta functions. $\mathsf{HLS}_n$ series are $q$-analogs of Hilbert series of Stanley-Reisner rings associated with posets arising from parabolic quotients of Coxeter groups of type $\mathsf{B}$ with the Bruhat order. Special values of coarsened $\mathsf{HLS}_n$ series yield analogs of the classical Littlewood identity for the generating functions of Schur polynomials.
Poset topology, moves, and Bruhat interval polytope lattices
Published
• View Publication
• BIB
We study the poset topology of lattices arising from orientations of 1-skeleta of directionally simple polytopes, with Bruhat interval polytopes $Q_{e,w}$ as our main example. We show that the order complex $Δ((u,v)_w)$ of an interval therein is homotopy equivalent to a sphere if $Q_{u,v}$ is a face of $Q_{e,w}$ and is otherwise contractible. This significantly generalizes the known case of the permutahedron. We also show that saturated chains from $u$ to $v$ in such lattices are connected, and in fact highly connected, under moves corresponding to flipping across a 2-face. When $w$ is a Grassmannian permutation, this implies a strengthening of the restriction of Postnikov's move-equivalence theorem to the class of BCFW bridge decomposable plabic graphs.
Maximum $k$-colourable induced subgraphs in $(P_5+rK_1)$-free graphs
We show that for any nonnegative integer $r$, the Weighted Maximum List-$k$-Colourable Induced Subgraph problem can be solved in polynomial time for input graphs that do not contain $(P_5+ rK_1)$ as an induced subgraph, and give an explicit algorithm demonstrating this. This answers a question of Agrawal et al.\ (2024).
$f$-vectors of balanced simplicial complexes, flag spheres, and geometric Lefschetz decompositions
We show that there are $f$-vectors of balanced simplicial complexes giving a source of simplicial complexes exhibiting a Boolean decomposition similar to a geometric Lefschetz decomposition. The objects we are working with are $h$-vectors of flag spheres and balanced simplicial complexes whose $f$-vectors are equal to them. This builds on work of Nevo--Petersen--Tenner on a conjecture of Nevo--Petersen that the gamma vector of an odd-dimensional flag sphere is the $f$-vector of a balanced simplicial complex (which was shown for barycentric subdivisions by Nevo--Petersen--Tenner). We can connect our decomposition to positivity questions on reciprocal/palindromic polynomials associated to flag spheres and geometric questions motivating them. In addition, we note that the degrees in the Lefschetz-like decomposition are not halved unlike the usual $h$-vector setting.
Dirac Traces and the Tutte Polynomial
Published
• View Publication
• BIB
Perturbative calculations involving fermion loops in quantum field theories require tracing over Dirac matrices. A simple way to regulate the divergences that generically appear in these calculations is dimensional regularisation, which has the consequence of replacing 4-dimensional Dirac matrices with d-dimensional counterparts for arbitrary complex values of d. In this work, a connection between traces of d-dimensional Dirac matrices and computations of the Tutte polynomial of associated graphs is proven. The time complexity of computing Dirac traces is analysed by this connection, and improvements to algorithms for computing Dirac traces are proposed.
Tropical subrepresentations of the boolean regular representation in low dimension
We study two dimensional and three dimensional tropical subrepresentations of the regular representation $\mathbb{B}[G]$ of a finite group over the tropical booleans, utilizing the theory of group representations over a fixed idempotent semifield as developed by Giansiracusa--Manaker. In dimension two we completely classify all two dimensional tropical subrepresentations of $\mathbb{B}[G]$, provide an explicit characterization for the set of bases of the corresponding matroids, and show an equivalence with the subgroups of $G$. In dimension three we show such an equivalence no longer holds. Towards a classification in dimension three we give a collection of tropical subrepresentations corresponding to subgroups of index 2, and we show that in the special case of finite cyclic groups, one can find three dimensional tropical subrepresentations that do not correspond to subgroups in a similar way.
Higher Specht bases and $q$-series for the cohomology rings of certain Hessenberg varieties
Published
• View Publication
• BIB
It is conjectured (following the Stanley-Stembridge conjecture) that the cohomology rings of regular semisimple Hessenberg varieties yield permutation representations, but the decompositions of the modules are only known in some cases. For the Hessenberg function $h=(h(1),n,\ldots,n)$, the structure of the cohomology ring was determined by Abe, Horiguchi, and Masuda in 2017. We define two new bases for this cohomology ring, one of which is a higher Specht basis, and the other of which is a permutation basis. We also examine the transpose Hessenberg variety, indexed by the Hessenberg function $h' = ((n-1)^{n-m},n^m)$, and show that analogous results hold. Further, we give combinatorial bijections between the monomials in the new basis and sets of $P$-tableaux, motivated by the work of Gasharov, illustrating the connections between the $\mathfrak{S}_n$ action on these cohomology rings and the Schur expansion of chromatic symmetric functions.
Hopping Forcing Number in Random $d$-regular Graphs
Hopping forcing is a single player combinatorial game in which the player is presented a graph on $n$ vertices, some of which are initially blue with the remaining vertices being white. In each round $t$, a blue vertex $v$ with all neighbours blue may hop and colour a white vertex blue in the second neighbourhood, provided that $v$ has not performed a hop in the previous $t-1$ rounds. The objective of the game is to eventually colour every vertex blue by repeatedly applying the hopping forcing rule. Subsequently, for a given graph $G$, the hopping forcing number is the minimum number of initial blue vertices that are required to achieve the objective.
In this paper, we study the hopping forcing number for random $d$-regular graphs. Specifically, we aim to derive asymptotic upper and lower bounds for the hopping forcing number for various values of $d \geq 2$.
Heating Up Quasi-Monte Carlo Graph Random Features: A Diffusion Kernel Perspective
We build upon a recently introduced class of quasi-graph random features (q-GRFs), which have demonstrated the ability to yield lower variance estimators of the 2-regularized Laplacian kernel (Choromanski 2023). Our research investigates whether similar results can be achieved with alternative kernel functions, specifically the Diffusion (or Heat), Matérn, and Inverse Cosine kernels. We find that the Diffusion kernel performs most similarly to the 2-regularized Laplacian, and we further explore graph types that benefit from the previously established antithetic termination procedure. Specifically, we explore Erdős-Rényi and Barabási-Albert random graph models, Binary Trees, and Ladder graphs, with the goal of identifying combinations of specific kernel and graph type that benefit from antithetic termination. We assert that q-GRFs achieve lower variance estimators of the Diffusion (or Heat) kernel on Ladder graphs. However, the number of rungs on the Ladder graphs impacts the algorithm's performance; further theoretical results supporting our experimentation are forthcoming. This work builds upon some of the earliest Quasi-Monte Carlo methods for kernels defined on combinatorial objects, paving the way for kernel-based learning algorithms and future real-world applications in various domains.
The number of edges in graphs with bounded clique number and circumference
Published
• View Publication
• BIB
Let $\cal H$ be a family of graphs. The Turán number ${\rm ex}(n,{\cal H})$ is the maximum possible number of edges in an $n$-vertex graph which does not contain any member of $\cal H$ as a subgraph. As a common generalization of Turán's theorem and Erdős-Gallai theorem on the Turán number of matchings, Alon and Frankl determined ${\rm ex}(n,{\cal H})$ for ${\cal H}=\{K_r,M_k\}$, where $M_k$ is a matching of size $k$. Replacing $M_k$ by $P_k$, Katona and Xiao obtained the Turán number of ${\cal H}=\{K_r,P_k\}$ for $r \leq \lfloor k/2 \rfloor$ and sufficiently large $n$. In addition, they proposed a conjecture for the case of $r \geq \lfloor k/2 \rfloor+1$ and sufficiently large $n$. Motivated by the fact that the result for ${\rm ex}(n,P_k)$ can be deduced from the one for ${\rm ex}(n,{\cal C}_{\geq k})$, we investigate the Turán number of ${\cal H}=\{K_r, {\cal C}_{\geq k}\}$ in this paper. In other words, we aim to determine the maximum number of edges in graphs with clique number at most $r-1$ and circumference at most $k-1$. For ${\cal H}=\{K_r, {\cal C}_{\geq k}\}$, we are able to show the value of ${\rm ex}(n,{\cal H})$ for $r \geq \lfloor (k-1)/2\rfloor+2$ and all $n$. As an application of this result, we confirm Katona and Xiao's conjecture in a stronger form. For $r \leq \lfloor (k-1)/2\rfloor+1$, we manage to show the value of ${\rm ex}(n,{\cal H})$ for sufficiently large $n$.
Outer Independent Roman Domination Number of Cartesian Product of Paths and Cycles
Given a graph $G$ with vertex set $V$, an outer independent Roman dominating function (OIRDF) is a function $f$ from $V(G)$ to $\{0, 1, 2\}$ for which every vertex with label $0$ under $f$ is adjacent to at least a vertex with label $2$ but not adjacent to another vertex with label $0$. The weight of an OIRDF $f$ is the sum of vertex function values all over the graph, and the minimum of an OIRDF is the outer independent Roman domination number of $G$, denoted as $γ_{oiR}(G)$. In this paper, we focus on the outer independent Roman domination number of the Cartesian product of paths and cycles $P_{n}\Box C_{m}$. We determine the exact values of $γ_{oiR}(P_n\Box C_m)$ for $n=1,2,3$ and $γ_{oiR}(P_n\Box C_3)$ and present an upper bound of $γ_{oiR}(P_n\Box C_m)$ for $n\ge 4, m\ge 4$.
When Joints Meet Extremal Graph Theory: Hypergraph Joints
Published
• View Publication
• BIB
The Kruskal--Katona theorem determines the maximum number of $d$-cliques in an $n$-edge $(d-1)$-uniform hypergraph. A generalization of the theorem was proposed by Bollobás and Eccles, called the partial shadow problem. The problem asks to determine the maximum number of $r$-sets of vertices that contain at least $d$ edges in an $n$-edge $(d-1)$-uniform hypergraph. In our previous work, we obtained an asymptotically tight upper bound via its connection to the joints problem, a problem in incidence geometry. In a different direction, Friedgut and Kahn generalized the Kruskal--Katona theorem by determining the maximum number of copies of any fixed hypergraph in an $n$-edge hypergraph, up to a multiplicative factor.
In this paper, using the connection to the joints problem again, we generalize our previous work to show an analogous partial shadow phenomenon for any hypergraph, generalizing Friedgut and Kahn's result. The key idea is to encode the graph-theoretic problem with new kinds of joints that we call hypergraph joints. Our main theorem is a generalization of the joints theorem that upper bounds the number of hypergraph joints, which the partial shadow phenomenon immediately follows from. In addition, with an appropriate notion of multiplicities, our theorem also generalizes a generalization of Hölder's inequality considered by Finner.
Factorial Fock free fermions
We use a double shifted power analog of free fermion fields to introduce current operators, Hamiltonians, and vertex operators which are deformed by two families of parameters and satisfy analogous formulas to the classical case. We show that the deformed half vertex operators correspond to the row transfer matrices of a solvable six vertex model recently given by Naprienko [arXiv:2301.12110], which under a specialization yields the factorial Schur functions (up to a reindexing of parameters). As a consequence, we show that under the boson-fermion correspondence using our deformed half vertex operators, the natural basis (under this specialization) maps to the double factorial Schur functions. Furthermore, the image of the natural basis vectors are tau function solutions to the 2D Toda lattice.
Hauptmoduln and even-order mock theta functions modulo 2
The Fourier coefficients $c_1(n)$ of the elliptic modular $j$-function are always even for $n \not\equiv 7 \pmod{8}$. In contrast, for $n \equiv 7 \pmod{8}$, it is conjectured that ``half" of the coefficients take odd values. In this article, we first observe in detail when $c_1(8n-1)$ is odd and show that the coefficients share the same parity as the coefficients $c_{μ_2}(n)$ of the 2nd order mock theta function $μ_2(q)$. Furthermore, we prove that this phenomenon also holds among several hauptmoduln and between hauptmoduln and even-order mock theta functions.
On Interactions for Large Scale Interacting Systems
Published
• View Publication
• BIB
Statistical mechanics explains the properties of macroscopic phenomena based on the movements of microscopic particles such as atoms and molecules. Movements of microscopic particles can be represented by large-scale interacting systems. In this article, we study a combinatorial object which we call interactions, given as a symmetric directed graph representing the possible transition of states on adjacent sites of large-scale interacting systems. Such interactions underlie various standard processes such as the exclusion processes, generalized exclusion processes, multi-species exclusion processes, lattice-gas processes with energy, and the multi-lane particle processes. We introduce the notion of equivalences of interactions using their space of conserved quantities. This allows for the classification of interactions reflecting corresponding macroscopic properties. In particular, we prove that when the set of local states consists of two, three or four elements, then the number of equivalence classes of separable interactions are respectively one, two and five. We also define the wedge sums and box products of interactions, which give systematic methods for constructing new interactions from existing ones. Furthermore, we prove that the irreducibly quantified condition for interactions, which has implicitly played an important role in the theory of hydrodynamic limits, is preserved by wedge sums and box products. Our results provide a systematic method to construct and classify interactions, offering abundant examples suitable for considering hydrodynamic limits.
A Random-Walk Concentration Principle for Occupancy Processes on Finite Graphs
This paper concerns discrete-time occupancy processes on a finite graph. Our results can be formulated in two theorems, which are stated for vertex processes, but also applied to edge process (e.g., dynamic random graphs). The first theorem shows that concentration of local state averages is controlled by a random walk on the graph. The second theorem concerns concentration of polynomials of the vertex states. For dynamic random graphs, this allows to estimate deviations of edge density, triangle density, and more general subgraph densities. Our results only require Lipschitz continuity and hold for both dense and sparse graphs.