lattice ↗ reference
4391 papers tagged with this keyword
The maximal hard-core model on the triangular lattice
The well-known hard-core model on the triangular lattice $\mathbb A$ is an interaction model defined on the independent sets of the lattice, parameterized by an activity parameter $λ> 0$. In this work, we consider an extension of this model to maximal independent sets, which we call the maximal hard-core model. We show that in the high-activity regime ($λ> 10^6$), the model admits at least two Gibbs measures on maximal independent sets in $\mathbb A$. In the low-activity regime ($λ$ close to $0$), we apply Pirogov-Sinai theory to characterize extremal periodic Gibbs measures of the model. Finally, we derive bounds on the capacity of a recoverable system on the lattice associated with the maximal hard-core model.
The maximal hard-core model as a recoverable system: Gibbs measures and phase coexistence
Published in Journal of Statistical Physics, 2026
• Search Publication
Recoverable systems provide coarse models of data storage on the two-dimensional square lattice, where each site reconstructs its value from neighboring sites according to a specified local rule. To study the typical behavior of recoverable patterns, this work introduces an interaction potential on the local recovery regions of the lattice, which defines a corresponding interaction model. We establish uniqueness of the Gibbs measure at high temperature and derive bounds on the entropy in the zero- and low-temperature regimes.
For the recovery rule under consideration, exactly recoverable configurations coincide with maximal independent sets of the grid. Relying on methods developed for the standard hard-core model, we show phase coexistence at high activity in the maximal case. Unlike the standard hard-core model, however, the maximal version admits nontrivial ground states even at low activity, and we manage to classify them explicitly. We further verify the Peierls condition for the associated contour model. Combined with Pirogov-Sinai theory, this shows that each ground state gives rise to an extremal Gibbs measure, proving phase coexistence at low activity.
Irreducible rootless unimodular lattices generated by vectors of norm $3$
The classical ADE classification implies that $E_8$ is the unique irreducible unimodular Euclidean lattice generated by vectors of norm $2$. In sharp contrast, for every positive integer $m$, we construct an irreducible odd unimodular lattice of rank $24m$ and minimum norm $3$ that is generated by its minimal vectors.
The number of touching pairs of congruent sphere packings in Euclidean 3-space
A packing of $n$ congruent balls in $\mathbb{R}^3$ is a family of interior-disjoint Euclidean balls all having the same radius. The contact number of a packing is the number of touching pairs of balls. In this paper we investigate the problem of determining the maximum contact number, $c(n)$, of a packing of $n$ congruent balls in $\mathbb{R}^3$. We first show that all packings of $n$ congruent balls that have a contact number of $c(n)$ are minimally rigid. Furthermore, we show that $c(n)=3n-6$ for $n=6,7,8,$ and $9$. These two results resolve a conjecture of K. Bezdek and Khan. During the proof of the latter result, we also enumerate the contact structures of all packings of $n$ congruent balls with contact number $c(n)$ for $n=6,7,$ and $8$. Additionally, we provide a lower bound construction which shows $c(n)> 6n-6\sqrt[3]{2}n^\frac{2}{3}$ when $n=16k^3-33k^2+24k-6$ where $k\in \mathbb{N}$. We also look at the restricted problem where each ball is centered on the face-centered cubic lattice $A_3$. In this case let $c_{A}(n)$ denote the maximum contact number. We show that $c_{A}(n)\leq 6n-\frac{6}{\sqrt[6]{2}}n^\frac{2}{3}$ for all $n$, and determine the asymptotics of $c_{A}(n)$ to be $c_{A}(n)=6n-(1+o(1))6\sqrt[3]{2}n^\frac{2}{3}$.
A non-lattice periodic point set beating the optimal lattice packing-covering constant in dimension five
The packing-covering constant of a point set $X\subseteq\mathbb{R}^d$ is $γ(X)=μ(X)/ρ(X)$, the covering radius divided by the packing radius. Among lattices, its minimum $γ_d$ is known for $d\leq 5$, attained by $\mathsf{A}_2^*$, $\mathsf{A}_3^*$, and Horváth's lattices $\mathsf{Ho}_4$, $\mathsf{Ho}_5$; Böröczky proved that $γ_3$ is optimal without the lattice restriction, but for $d=4,5$ the non-lattice problem was open. We exhibit a $2$-periodic non-lattice point set of $\mathbb{R}^5$ with $γ= 9/\sqrt{40} = 1.423024\ldots < γ_5 = \sqrt{3/2+\sqrt{13}/6} = 1.4494568\ldots$, so that in dimension five the packing-covering problem is not solved by lattices.
Combinatorial aspects of the Delannoy Lattice
The Delannoy numbers $d(n,k)$ count lattice paths from $(0,0)$ to $(n-k,k)$ using steps $(1,0),(0,1)$ and $(1,1)$. This paper introduces a graded poset $\mathcal{D}_n$ on the Delannoy paths ending on the line $x+y=n$, whose rank-generating function is the Delannoy polynomial $d_n(x)=\sum_{k=0}^n d(n,k)x^k$. We prove that $\\mathcal{D}_n$ is a self-dual lattice, which is call the Delannoy lattice. By establishing an explicit symmetric Boolean decomposition, we show that $\mathcal{D}_n$ is a symmetric Boolean order, thereby recovering the $γ$-positivity of $d_n(x)$. Such a decomposition is refined to a symmetric chain decomposition with the chain cover property, and is applied to determine all maximum antichains. We also investigate other combinatorial aspects of $\mathcal{D}_n$, including supersolvability, the Möbius number, characteristic polynomials, and zeta polynomials.
Generalized Weight Polynomials of Codes through Flats and Orlik-Solomon Algebras of Matroids
We present various ways of determining generalized weight polynomials of a matroid $M$, and we recall how one can find the generalized weight spectra of a linear code, given these polynomials, for the matroid determined by any generator matrix of the code. A main goal is to give coding theorists different ways to determine these polynomials.
We describe how one can find the generalized weight polynomials of any matroid $M$, directly from its lattice of flats, and we also show how one can find them from the Poincare series (in this case polynomials) of the associated Orlik-Solomon algebras of matroids arising as contractions of the flats of $M$. This opens for using information about broken circuits of the matroids to determine generalized weight polynomials. We also recall the well-known connection between the Orlik-Solomon algebra of a matroid, and Whitney numbers obtained by order homology, and use it to show how one can describe weight polynomials in terms of Whitney numbers from order homology of the matroid and its contraction of flats.
We recall briefly a well-known relation between the Orlik-Solomon algebra of a matroid $M$, which is representable over the complex numbers, and de Rham homology numbers obtained from complements of intersections of hyperplanes in a hyperplane arrangement corresponding to $M$. We also describe a way to find the generalized weight polynomials of a matroid in terms of polynomials defined in connection with its lattice of cyclic flats.
In a simple running example we show how one can calculate the generalized weight polynomials in different ways, including both the methods presented in this paper, and selected methods developed in earlier papers. We also include a less simple example with the projective Reed-Muller code $PR_3(2,2).$
Fourteen and fifteen lonely runners
We prove the Lonely Runner Conjecture for fourteen and fifteen runners. Our proof combines a stronger bound on the speed product in a primitive counterexample with exhaustive computations modulo primes. To obtain the bound, we work with a projected lattice basis and use cases of the conjecture with fewer runners to bound partial sums of its squared Gram-Schmidt lengths. For fifteen runners, the product bound derived from the work of Malikiosis, Santos, and Schymura gives a logarithmic threshold of about $810$; ours reduces this to about $415$, making the computation feasible. For fourteen runners, the new bound reduces the required number of primes from $111$ to $61$. The computations start with a complete two-branch covering search, followed by binary lifting. Since $14$ and $15$ are composite, the polynomial argument used in earlier work does not apply directly. We finish the fourteen-runner case by a direct search. For fifteen runners, we use the factorisation $15=3\cdot5$ and a shifting argument when all but a few speeds share a common divisor. The code and certificates are publicly archived.
Combinatorial decomposition theorem for Hitchin systems via zonotopes
We determine the summands of the decomposition theorem for the Hitchin system for $\mathrm{GL}_n$, in arbitrary degree, over the locus of reduced spectral curves. The key ingredient is an equivariant formula for lattice point counts in graphical zonotopes.
A bijection between edges of the Turán graph and irreducible elements in the dominance order lattice
Published
• View Publication
• BIB
In this paper we build a bijection between the meet-irreducible elements of the lattice of the compositions of $n$ with parts in $[1,p]$ equipped with the dominance order, and the edges of the $(n,p)$-Turán graph. Using this bijection, we then compute asymptotically the average value of some statistics on those meet-irreducible compositions.
Ehrhart polynomials of cyclic polytopes as averages of zonotope Ehrhart polynomials
We prove an averaging formula for the Ehrhart polynomial of a cyclic polytope whose vertices are given by integer parameters on the moment curve. More precisely, its Ehrhart polynomial is the average of the Ehrhart polynomials of an explicitly constructed family of lattice zonotopes. Since lattice zonotopes are magic positive, this formula implies magic positivity for these cyclic polytopes. Consequently, their $h^\ast$-polynomials are real-rooted, and their $h^\ast$-vectors are log-concave and unimodal.
Lonely Runner Relations
We study the Lonely Runner Conjecture (LRC), conceived by Jörg M. Wills in the 1960's: Given positive integers $n_1, n_2, \dots, n_k$, there exists a positive real number $t$ such that for all $1 \le j \le k$ the distance of $t \,n_j$ to the nearest integer is at least $\frac{ 1 }{ k+1 }$. We prove that for any counterexample or tight instance $\mathbf{n}$ of LRC, $\mathbf{m} \cdot \mathbf{n} = 0$ for some $\mathbf{m} \in \mathbb{Z}^k$ with $0 < \| \mathbf{m} \|_1 \le \min(2k+3, \ \frac{ k+1 }{ k-1 } \mathrm{flt}(k))$ where $\mathrm{flt}(k)$ denotes Khinchin's (1948) flatness constant limiting the lattice width of a $k$-dimensional convex body without interior integer points. In other words, potential counterexamples to LRC lie on a finite set of hyperplanes in the parameter space. Our proofs use Fourier analysis and a geometric reformulation of LRC, and our results generalize to the situation of shifted lonely runners of varying measures of loneliness. Our results imply and generalize a theorem of Czerwiński (2012) that when we choose $\mathbf{n}$ at random then, with probability tending to 1, the measure of loneliness $\frac{1}{ k+1 }$ can be replaced by $\frac 1 2 - ε$.
Real-rootedness and interlacing for parking functions and Chow polynomials
We prove real-rootedness for the Chow polynomials of the noncrossing partition lattices by transferring tieless parking functions to finite-alphabet Smirnov words and applying an interlacing-preserving transition of M.~Leander. We also derive a triangular recurrence for peaks and ties and identify the peakless-tieless descent polynomial as the Narayana polynomial. For the toric $g$-contributions of Ehrenborg--Hetyei--Readdy, we exhibit a fixed-row common interlacer and establish real-rootedness of all nonnegative row sums. Individual real-rootedness follows in particular; Q.~Xiao also proved it by a different differential recurrence. We also give a second proof of the individual statement, by finite Schur--Szegő convolution, that does not use the common interlacer. These results prove Conjecture~4.2 of Xiao and Conjecture~11.2 of Ehrenborg--Hetyei--Readdy, with consequences for weakly 123-avoiding parking functions. We also prove real-rootedness for the image-size polynomial on all parking functions and for the ascent and descent polynomials of four two-pattern-avoiding classes.
Toric surface codes and the periodicity of polytopes
Toric codes are error-correcting codes that are derived from toric varieties, which hold a unique correspondence to lattice polytopes. In this paper, we focus on lattice polytopes $P \subseteq \RR^2$ and the toric codes they define. We begin by studying period-1 polytopes -- polytopes satisfying the property $L(tP)$ = $tL(P)$ for all $t \in \mathbb{Z}^+$, where $tP$ is the $t$-dilate of $P$, and we prove an explicit formula for the minimum distance of toric codes associated to a particular class of period-1 polytopes. We also apply the methods of Little and Schwarz, using Vandermonde matrices, to compute the minimum distance of another class of period-1 polytopes.
Periodic Tilings of Cardinality Twice a Prime or Nine in Arbitrary Dimension
We prove that every finite translational tile of $\mathbb Z^d$ of cardinality $2q$, where $q$ is an odd prime, or of cardinality nine admits a fully periodic tiling complement. The result holds in every dimension, regardless of the rank of the subgroup generated by the differences of points of the tile. The proofs combine coprime dilation, vanishing sums of roots of unity, and periodic two-colorings. After translating the tile, both arguments restrict to its intrinsic lattice, and every periodic complement constructed there extends to the ambient lattice. For cardinality $2q$, spectral filtering in the intrinsic lattice yields either a lattice complement or a periodic twofold covering compatible with a tiling complement. This compatibility allows the covering to be split by a periodic proper two-coloring. For nine points, intrinsic ranks $1$ and $2$ are treated separately; in higher intrinsic rank, the algebraic reduction in the intrinsic lattice yields either a lattice complement or spectral support on finitely many rational affine circles. These results also give a decision algorithm for tileability in both cardinality families. The circle-supported alternative is resolved by a conditional-density dichotomy and a periodic replacement argument for the exceptional half-density components.
Pairs of lattice complements with complementary homology
In this paper we study whether there is a global to local principle for the homology of order complexes of finite lattices. We explore whether the non-vanishing of the homology of a lattice in degree $a+b-2$ forces the existence of a pair of lattice-complements whose open intervals below have non-vanishing homology in degrees $a$ and $b$ respectively. We consider the same question also in the language of multigraded free resolutions. We provide positive evidence for the existence of such pairs and give counterexamples to strengthenings of the question.
Enumerating pattern-avoiding translation-invariant total orders
Let $n$ be a positive integer. A translation-invariant total order (TITO) with period $n$ is a total order of the integers that is invariant under translations by multiples of $n$. These structures arise naturally in the study of Coxeter groups. In particular, real $n$-TITOs are in bijection with biclosed sets of positive roots of the affine symmetric group $\widetilde S_n$. Barkley and Defant recently introduced pattern avoidance for TITOs and used it to define the affine Tamari lattice.
The enumeration of TITOs avoiding a single pattern of length $3$ is due to Crites and Barkley--Defant. We extend this work to TITOs avoiding two patterns. Our main results include a complete enumeration of TITOs that avoid a pair of patterns in $S_3\times S_3$, as well as of TITOs that avoid a pair $(p, q)$ with $p \in S_3 \setminus \{123, 321\}$ and $q \in S_4$. Furthermore, we provide an explicit construction of the inverse of the bijection between $312$-avoiding TITOs and noncrossing arc diagrams, thereby extending the combinatorial framework introduced by Barkley.
Finding Kissing Numbers with Game-theoretic Reinforcement Learning
Since Isaac Newton first studied the Kissing Number Problem in 1694, determining the maximal number of non-overlapping spheres around a central sphere has remained a defining challenge in discrete geometry. As the local analogue of Hilbert's 18th problem, it has profound implications across geometry, number theory and information theory. Although lattices and codes have achieved significant progress, the field is confined to isolated extremal configurations, leaving underlying geometric principles obscured. Here we shift the object to the broader extremal configuration space, thereby opening a new path for the Kissing Number Problem. Accordingly, we recast this problem as a cooperative matrix-completion game, and train a reinforcement learning system, PackingStar, to solve it. One player fills cosine entries while the other corrects suboptimal ones, making explosive geometric complexity tractable. Working within extremal configuration spaces, PackingStar discovers new interpretable geometric structures that improve 15 strong bounds held for decades in kissing numbers and their generalizations, several of them provably optimal under natural inner products. These findings reveal the first explicit spherical-code realization of the Fischer group Fi22, extend the classical Euclidean representation of subgroup structure, and directly inspire subsequent breakthroughs by mathematicians. Overall, the work provides an early example of AI-driven progress on a Hilbert-calibre problem, showing how reinforcement learning advances mathematical discovery by unlocking more expressive objects.
On inversion sets of joins in weak Bruhat order
It is well-known that any Coxeter group $W$ is a meet-semilattice with respect to weak order. Furthermore, when $W$ is finite, it is a lattice. In the first part of this paper, we give a recursive algorithm that computes joins in weak order for arbitrary finite $W$. In the second part, we complete the proof of a conjecture of Dyer expressing the inversion set of a join in terms of the union of inversion sets of each factor, under the assumption that $W$ is finite.
Some proofs were developed in collaboration with Claude Opus 5.
On Smooth Combinatorial Products of Simplices
We show that every lattice weak Minkowski summand of a smooth polytope combinatorially isomorphic to a product of simplices has a quadratic triangulation. This is achieved by identifying this class of polytopes with the class of Nakajima polytopes. We combine these results to give a new proof that two lattice weak Minkowski summands of the same such smooth polytope are relatively IDP. Along the way, we prove a structure theorem for simple polytopes whose 2-faces are triangles and trapezoids.