lattice
4305 papers tagged with this keyword
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.
Connectivity of Districting Metagraphs
In this article, we prove irreducibility results for a family of Markov chains arising in the study of redistricting and detecting gerrymandering. These chains use ReCom moves as their transition mechanism and are commonly employed in Markov chain Monte Carlo methods to generate ensembles of districting plans. Such ensembles are frequently used for outlier analysis, in which a proposed districting map is compared against the ensemble to determine whether it behaves atypically; this methodology often appears in expert testimony in redistricting litigation.
We show that when the underlying dual graph is a triangular subset of the triangular lattice and each district consists of two merged geographic regions, the associated ReCom chain is irreducible. This provides another entry in the very small list of known classes of ReCom chains for which irreducibility has been established.
We also demonstrate the fragility of this phenomenon by constructing an infinite family of maps for which the corresponding ReCom chain is not irreducible. Indeed, we produce a districting map that, after implementing a single ReCom move, always yields the same original map. These examples remain structurally close to the triangular lattice: they arise as subdivisions of the triangular lattice, and the resulting graphs have maximum degree at most 8.
Finally, we prove irreducibility for a further special case: the ReCom chain on a 3 x n grid graph partitioned into three districts of size n.
Finite-n Estimate of Dedekind Numbers by Layer-Ratio Monte Carlo
Dedekind's problem counts monotone Boolean functions, equivalently downsets of a Boolean lattice. We recast this enumeration as a finite layer-ratio reconstruction problem for the Whitney numbers of the ranked ideal lattice. An exact adjacent-layer double count expresses each layer ratio through local averages of the number of addable elements and the number of removable elements. Reversible fixed-layer Markov chains estimate these averages and hence estimate the Dedekind number M(n). Backtests at M(8) and M(9) calibrate seed-level variability under the fixed protocol and measure the observed Monte Carlo budget scaling. The resulting estimate probes the Whitney-number sequence of the ideal lattice. Although these rows have previously been described empirically as unimodal, the high-precision n=9 estimate has a shallow two-shoulder feature around the central rank, contrary to that empirical description; n=11 and n=13 center-window estimates show a larger-contrast analogous pattern. The protocol estimate for M(10) is \[
\widehat M(10)=(8.9360\pm0.0010)\times 10^{78}, \] where the displayed uncertainty is the budget-based forecast scale from the cross-n scaling law under the production budget.
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.
Gauss Circle Lattices with Geometric Convolutions for Synthesizing High Dimensional Image-Source Room Impulse Responses
The image-source model (ISM) is a widely adopted method for efficiently simulating acoustic room impulse responses (RIRs) under specular reflection assumptions. Acoustic paths between source and receiver are traced to lattice points computed from successive reflections over bounding planes of the room. Rectangular rooms bound the total number of image-sources to be polynomial in the RIR's duration or distance $k$ equivalent, with degree equal the number of room dimensions $N$. Direct ISM simulations are therefore compute upper-bound by $O \left ( k^N \right )$, and consider only cases of $N \leq 3$ for tractability and real-world applications. This work proposes an alternative computational method that lowers the asymptotic compute bound to $O \left ( N k^2 \log k \right )$ for integer coordinates and room dimensions via reducing ISM lattice point counting to the classic Gauss circle problem (GCP). We extend the lattice counting model to frequency-dependent and reflection weighted image-sources in higher dimensions, relating solutions between successive dimensions via the convolution operator. Two constructions for realizing RIRs are presented, along with time-frequency controls, error and run-time analysis, and RIR statistics.
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.
Motivic Segre classes of Schubert cells and the connective formal group law
We use the connective formal group law to define a one-parameter ($β$-)deformation of the motivic Segre classes of Schubert cells in the $d$-step flag variety. This $β$-deformation specializes to the motivic Segre classes of Schubert cells when $β=1$ and to the Segre-Schwartz-MacPherson classes of Schubert cells when $β=0$. We define rational function representatives for the $β$-deformed classes in the $d=1$ case in terms of a solvable lattice model, and we prove a combinatorial formula for the structure constants in the $β$-deformed basis in the $d=1$ case using Knutson-Tao puzzles. The proof of the puzzle formula involves intertwiners for representations of the multi-parameter quantum group of type $\widehat{a}_2$. We show that our $β$-deformations can be viewed as quotients of canonical elements in a quotient of the equivariant algebraic cobordism ring of the cotangent bundle of the flag variety by proving that the canonical elements satisfy a GKM type condition.