lattice ↗ reference
4431 papers tagged with this keyword
An explicit formula for Koornwinder moments and Rains' positivity conjecture
The asymmetric simple exclusion process (ASEP) is an important particle model with deep connections to orthogonal polynomials. Motivated by this connection, Corteel and Williams introduced the Koornwinder moments $M^{Z}_λ$ at $ t=q $, which generalize the moments of Askey--Wilson polynomials. They showed that the partition function of the two-species ASEP is equal to $M^{Z}_λ$ for a one-row partition $ λ$.
In this paper, we investigate a conjecture of Rains on the positivity of the minimal numerator of the Koornwinder moment $M^{Z}_λ$. We derive the first explicit formula for this moment, thereby obtaining a precise formulation of the conjecture by determining the minimal denominator of $M^{Z}_λ$. We also propose a generalization of the conjecture for the more general Koornwinder moments $M^{Z}_{λ,μ}$ indexed by two partitions at special parameter values.
We prove the generalized Rains' conjecture in two special cases: $(ξ,q)=(1,0)$ and $(ξ,q)=(1,1)$. For $(ξ,q)=(1,0)$, we construct a lattice path model and obtain a combinatorial formula for $M^{Z}_{λ,μ}$ in terms of non-intersecting lattice paths. For $(ξ,q)=(1,1)$, we establish an explicit product formula for $M^{Z}_{λ,μ}$ and give a combinatorial interpretation using lecture hall tableaux.
The Antipodal Defect of a Convex Polyhedron
Problem C7 from the 2006 IMO Shortlist gives $A-B=V-1$ for a generic convex polyhedron $P\subset \mathbb R^3$, where $A$ counts antipodal vertex pairs and $B$ counts antipodal edge-midpoint pairs. We study arbitrary convex polyhedra through the defect $δ(P)=V(P)-1-A(P)+B(P)$. To $P$ we associate an antipodal square complex $X(P)$ and prove $H_0(X(P);\mathbb Z)\cong\mathbb Z$, $H_1(X(P);\mathbb Z)\cong\mathbb Z/2$, and $H_2(X(P);\mathbb Z)\cong\mathbb Z^{δ(P)}$. In particular $δ(P)=β_2(X(P);\mathbb Q)\ge 0$, equivalently $A(P)-B(P)\le V(P)-1$. We also give an exact local formula for $δ(P)$ on the projective normal fan: it is the sum over exact opposite face pairs $\{F,G\}$ of $e(F)e(G)-(v(F)-1)(v(G)-1)$, equivalently in dimension three it is supported only on edge-facet and facet-facet exact pairs. This yields a facet-opposite formula, a zero-defect criterion, extremal bounds, and a spherical normal-graph profile. We further determine the integral lattice generated by square boundaries, obtaining the even-cycle lattice in the antipodal graph and Smith factors $1,\ldots,1,2$. Finally, we study the ordered representation space $\mathcal R(P)=\{(x,y)\in P\times P:x-y\in\partial(P-P)\}$ in all dimensions and show that it equivariantly deformation retracts onto $\partial(P-P)$, with unordered quotient homotopy equivalent to $\mathbb{RP}^{d-1}$.
Hockey-Stick Domination and Distributional Comparison on Finite Posets
We develop a framework for comparing probability measures on finite posets via hockey-stick domination, an order relation defined through interval-counting test functions. The theory introduces poset integrals, derivatives, power functions and the associated moment functionals, all of which are invariant under poset isomorphisms. We prove that hockey-stick domination admits an exact quantitative characterization: whenever $μ$ is dominated by $ν$ in the hockey-stick order, the corresponding Zolotarev-type distance is equal to one half of the second-order poset moment of $ν-μ$. We further develop a constructive theory for generating such domination relations. In particular, we show that hockey-stick domination is preserved under direct products, disjoint unions, ordinal sums, and suitable ideal restrictions, yielding natural families of examples on chains, Boolean posets, rectangular lattices, rooted trees, and Young diagrams.
Middle orders: all distributive lattices between weak and Bruhat
For a given Coxeter group, we study distributive lattices called middle orders refining the weak order and refined by the Bruhat order. In type $A$, we construct such lattices indexed by binary trees using a direct bijection between permutations and lower sets of a certain partition of the root poset into rectangles. When the binary tree is a left-comb tree, we recover the middle order defined by Bouvel, Ferrari, and Tenner (2025). We study combinatorial properties of these lattices, and show they are the only distributive lattices between the weak and Bruhat orders in type $A$. For general Coxeter groups, we study middle orders on parabolic quotients and use these to generalize our construction in type $A$ to other Weyl groups, obtaining so-called ``minuscule middle orders''. We show that they are a subset of sorting orders defined by Armstrong (2009), and we give conjectural descriptions of all middle orders that are not minuscule.
A note on geometric colorings of the Moser lattice
In arXiv:2311.10069, Matolcsi et al. show that the fractional chromatic number of the plane is at least 4. Their proof uses a 27-vertex unit-distance graph in the Moser lattice, with geometric fractional chromatic number exactly 4. We show that this bound is tight for graphs in the Moser lattice by exhibiting geometric 4-colorings of the entire lattice. The same colorings also extend to the entire Moser ring.
Handbook of Error-Correcting Codes
Barcode scans, clear phone calls, reliable data storage, satellite communication, and large-scale quantum computation are all made possible by error correction. We present a handbook version of The Error Correction Zoo, a curated reference of methods for protecting classical or quantum information from errors during storage and transmission. The handbook includes descriptions of these error-correcting codes and a classification according to the symbols they use. It also catalogues relations among codes and related objects such as sphere packings, lattices, designs, groups, and classical and quantum phases of matter. The collection is intended both as a rigorous reference and as a practical aid for tracing the web of code relationships and uncovering new connections.
Extremal Matchings and Height Functions
This paper studies a lattice structure for almost perfect matchings on certain planar, bipartite (plabic) graphs embedded in a disk. Postnikov's boundary measurement map, and subsequent related work, yielded that plabic graphs parameterize positroid cells within the totally nonnegative Grassmannian with the map itself given in terms of almost perfect matchings with fixed boundary condition. For finite planar bipartite graphs, Propp introduced a distributive lattice structure on their set of perfect matchings. Subsequently Muller--Speyer, provided this distributive lattice structure on the aforementioned almost perfect matchings with fixed boundary condition. Their work also identified the extremal matchings of this lattice for boundary conditions that coincide with face labels of the plabic graph given by the positroid structure. We extend this by giving an explicit construction of extremal matchings in terms of height functions and show that all possible boundary conditions of an almost perfect matching can be obtained within this construction.
On zero-sum polytopes: reciprocity, rigidity, and cyclic sieving
Let $G$ be a finite abelian group of order $n$, and let $\mathsf M(G,m)$ denote the set of zero-sum sequences over $G$ of length $m$. We introduce the zero-sum polytope $\mathcal P_G$, a rational polytope of dimension $n-1$, whose lattice points encode zero-sum sequences: \[
|\mathsf M(G,m)|=|m\mathcal P_G\cap \mathbb Z^n|. \] This naturally realizes the enumeration of zero-sum sequences as a problem in rational Ehrhart theory, which leads to a combinatorial reciprocity theorem identifying the negative evaluations of the corresponding counting quasipolynomial with zero-sum sequences of full support. Our main results establish a face-stratified rigidity for zero-sum polytopes: whenever two such polytopes have equal total lattice point counts at specific dilations, the dimension-wise open-face strata are equinumerous. Moreover, we study the natural $\operatorname{Aut}(G)$-action on $\mathcal P_G$, derive equivariant generating functions and reciprocity formulas, and obtain cyclic sieving phenomena for natural cyclic actions.
There are matroid toric ideals without quadratic Gröbner bases
Our paper shows that if a matroid contains the Fano plane or its dual as a minor, then its toric ideal does not have any quadratic Gröbner basis. More than 25 years ago, Hibi, Herzog, and Sturmfels established a direct connection between the existence of quadratic Gröbner bases and regular unimodular flag triangulations. Our paper solves a famous question posed by Herzog and Hibi on a polyhedral reformulation for the existence of quadratic Gröbner bases: we show that the base polytopes of the Fano plane and its dual do not have regular unimodular flag triangulations which implies the main result on Gröbner bases.
Our proof relies on several novel tools: a lemma that connects the $1$-skeleton of a lattice polytope to the lattice points in its dilations, an encoding with Boolean formulas and SAT solvers, and symmetry-breaking arguments.
On the degree-$2$ Siegel theta series of extremal even unimodular lattices of ranks $48$, $72$, $96$, and $120$
We study degree-$2$ Siegel theta series of extremal even unimodular lattices from the genus-$2$ viewpoint initiated by Ozeki. Using Igusa's structure theorem, we define a depth filtration on genus-$2$ cusp forms, measured by the total degree in $χ_{10}$ and $χ_{12}$, and relate it to the vanishing of low Fourier--Jacobi coefficients forced by extremality. In ranks $48$, $72$, and $96$, this interaction closes exactly and yields a direct genus-$2$ proof that the degree-$2$ theta series is uniquely determined by extremality (conditional on existence in rank $96$).
In rank $120$ (again conditional on existence), the same argument leaves a one-dimensional residual line spanned by $χ_{10}^6$: with $χ_{10}$ in the standard integral normalization, any two such degree-$2$ theta series differ by an integer multiple of $χ_{10}^6$.
Extremal Type II lattices of rank $72$ are generated by their second shell
We show that if $L$ is an extremal Type II lattice of rank $72$, then $L$ is generated by its vectors of norm $10$. The proof determines the full inner product distribution between the shells of norms $8$ and $10$ using the spherical $11$-design property of the norm-$10$ shell.
Mixed Minkowski-Covering Inequalities for Convex Bodies and Lattices
In this paper we present a sharp mixed inequality relating successive minima and quotient covering radii of origin-symmetric convex bodies with respect to lattices. The inequality interpolates between the (classical) covering-density lower bound and the lower bound in Minkowski's second theorem.
On Isomorphism theorem of the Comparability Graph of Lattices
In recent years, researchers have actively contributed to the field of graphs associated with algebraic structures and ordered structures. It is a fundamental question to ask whether we infer algebraic or ordered structure from associated graphs and vice versa. In this paper, we gave characterizations about comparability graphs and associated lattices. In particular, we determined some properties of lattices that are preserved under the graph isomorphism. We have also provided a technique to construct non-isomorphic lattices with isomorphic comparability graphs. Also, we find two classes of lattices in which the graph isomorphism gives the lattice isomorphism.
Generating 2-Gray codes for grand Motzkin paths and grand Dyck paths with air pockets in constant amortized time
A grand Motzkin path with air pockets is a non-empty lattice path in the first and fourth quadrant of $\mathbb{Z}^2$, starting at the origin $(0,0)$, ending on the $x$-axis, and consisting of up-steps $(1, 1)$, horizontal steps $(1, 0)$, down-steps $(1, -k)$ where $k \geq 1$, and with no consecutive down-steps. A {grand Dyck path with air pockets} is a grand Motzkin path with air pockets that uses no horizontal steps. We present the first known 2-Gray codes for grand Motzkin paths with air pockets. Setting the number of horizontal steps to zero in our algorithm yields the first known 2-Gray codes for grand Dyck paths with air pockets. Our three-stage algorithm generates each path in constant amortized time per string, using $O(n^2)$ memory. We also provide enumeration formulae for grand Motzkin paths and grand Dyck paths with air pockets.
Majorization and Gaussian-Mass Maximality for Construction-A Lattices from Binary Self-Dual Codes
Regev and Stephens-Davidowitz conjectured that the integer lattice maximizes Gaussian mass among integral lattices of a given rank. We prove this, including the equality case, for all unimodular Construction-A lattices arising from binary self-dual codes. The proof reduces the theta-series inequality to a sharp majorization statement for codes: if $C$ is a binary self-dual $[2k,k]$ code, then the half-weight distribution of $C$ is dominated in convex order by $\operatorname{Bin}(k,1/2)$, which is the corresponding distribution for the repetition-code model of $\mathbb{Z}^{2k}$. Indeed, after putting $C$ in systematic form $[I\mid A]$, self-duality gives $AA^T=I$ over $\mathbb{F}_2$, so for a uniformly random message $a$ the two weights $\operatorname{wt}(a)$ and $\operatorname{wt}(aA)$ have the same binomial law. The half-weight of the resulting codeword is their average, and Jensen's inequality then gives convex-order domination. Applied to the convex test functions that build the theta series, this yields a sum-of-squares formula for the Gaussian-mass gap; applied to hinge functions, it gives coefficientwise nonnegativity of the reduced gap polynomial.
Uncrowding the 5-Vertex Model: RSK and Crystal Structures
While the uncrowding algorithm on set-valued tableaux has long been instrumental in proving the Schur positivity of stable symmetric Grothendieck polynomials, lattice models have emerged as a modern framework for investigating symmetric functions, in particular symmetric Grothendieck polynomials. In this work, we synthesize these combinatorial and lattice-theoretic approaches by defining both the Robinson--Schensted--Knuth (RSK) correspondence and the uncrowding operation directly on a 5-vertex model of Motegi and Sakai and its subsequent reinterpretation by Buciumas, Scrimshaw, and Weber. Our lattice-based RSK formulation yields a powerful new result: the direct construction of the associated crystal structure on the states of the 5-vertex model.
$λ$-Chromatic Polynomials and Polytope Geometry
In this paper, we investigate the notion of the \textit{$λ$-chromatic polynomial} of a graph, which enumerates the number of distinct $L(2,1)$-colorings using colors from a prescribed finite set. We prove that the $λ$-chromatic polynomial of a graph with $n$ vertices is a monic polynomial of degree $n$ and provide a combinatorial interpretation via lattice point enumeration within the framework of inside-out polytopes. Moreover, we compute the $λ$-chromatic polynomial of complete graphs $K_n$ using lattice path enumeration, and we develop a block-gap technique to derive the $λ$-chromatic polynomials for complete bipartite and multipartite graphs. Our approach unifies geometric, combinatorial, and algebraic methods to provide a systematic treatment of $λ$-colorings across various families of graphs.
Constraining Conformal Correlators
We study the space of conformally covariant $n$-point functions of spinning operators using methods from invariant theory, commutative algebra, and combinatorics. We show that the rational part of any such function can be expressed in terms of the basic building blocks introduced by Costa, Penedones, Poland, Rychkov, thereby providing a rigorous proof of a result that is widely used in the physics literature. We reformulate the problem of enumeration of $n$-point structures in terms of counting lattice points in fractional matching polytopes, and compute these counts using vector partition functions, Hilbert functions, and Kostka numbers. We show that all algebraic relations between the building blocks follow from Gram constraints and compute the number of algebraically independent building blocks. For three-point functions, we derive closed counting formulas for arbitrary integer spins, both with and without Bose symmetry, and discuss a necessary and sufficient condition for the partial conservation operator to lift to a differential operator written in terms of the building blocks. We provide code that generates a basis of three-point structures satisfying these constraints for given values of spins and scaling dimensions.
Ramsey-Turán theory for partially-ordered sets
We introduce weak and strong poset Ramsey-Turán numbers for $t$-chains in host poset families, focusing on the Boolean lattice family $\mathcal{B}=\{B_n:n\ge 1\}$. For any poset $P$, we show $\operatorname{RT}(\mathcal{B};n,P,l,t)\le \operatorname{RT}^{\sharp}(\mathcal{B};n,P,l,t)$, with equality when $P$ is a chain. In particular, for $t=1$, $\operatorname{RT}(\mathcal{B};n,C_k,l)=\operatorname{RT}^{\sharp}(\mathcal{B};n,C_k,l)=(k-1)(l-1)$. We also give universal upper bounds for both versions. For fixed $k,l,t$ with $\min\{l-1,k-1\}\ge 1$, we prove $\operatorname{RT}^{\sharp}(\mathcal{B};n,A_k,l,t)=Θ(n^t)$. More generally, for every non-chain poset $P$, the strong number is $Θ(n^t)$ for fixed $l,t$. Finally, if $h(P)=r>t$ and $l(n)=\lfloor M_n^β\rfloor$ with $0<β\le α<1$, then both weak and strong versions admit lower bounds of order $Ω\!\left(2^{βn}n^{-β/2}\right)$.
Rowmotion on hook and two-row alt $ν$-Tamari lattices
In 2024, Ceballos and Chenevi{è}re introduced alt $ν$-Tamari lattices, parameterized by a lattice path $ν$ and an increment vector $δ$, as a common generalization of $ν$-Tamari and $ν$-Dyck lattices. We study rowmotion on two families: the alt hook-Tamari lattice $\mathsf{H}_δ(a,b)$ (where $ν=EN^{a-1}E^{b-1}N$) and the alt $2$-row-Tamari lattice $\mathsf{T}_δ(a,b)$ (where $ν=E^aNE^bN$).
We explicitly determine the orbit structures of $\mathsf{H}_δ(a,b)$ and $\mathsf{T}_δ(a,b)$ under rowmotion, and prove that their orbit structures are independent of the increment vector $δ$. As a consequence, we show that rowmotion on $\mathsf{H}_δ(a,b)$ exhibits the cyclic sieving phenomenon. We also compute orbit sums for several natural statistics. In the hook case, we evaluate the down-degree, peak, valley, and area statistics; in the $2$-row case, we focus on the down-degree statistic. All of these -- except for the area statistic -- are homometric under rowmotion.
Regarding the methodology of this paper, our results in the hook case are obtained by applying a simple local modification to their Hasse diagrams. In the $2$-row case, we introduce a switching property for semidistributive lattices, which allows us to compare the orbit structures arising from different increment vectors.