lattice ↗ reference
4431 papers tagged with this keyword
Characterizing model structures on finite lattices
Transfer systems on finite posets have recently been gaining traction as a key ingredient in equivariant homotopy theory. Additionally, they also naturally occur in the data of a model structure. We give a complete characterization of all model category structures on a finite lattice, using transfer systems as our main tool, resulting in new connections between abstract homotopy theory and equivariant methods.
On Lattice Diameter Segments: Algorithms and Structure
Published in Integer Programming and Combinatorial Optimization (IPCO 2026), LNCS, Springer, 2026, pp. 220-232
• Search Publication
The lattice diameter of a bounded set $S \subset \mathbb{R}^d$ counts the maximal number of lattice points in a segment whose endpoints are lattice points in $S$. Such a segment is called a lattice diameter segment of $S$. This basic invariant in the geometry of numbers has several interesting applications. Our first type of contribution is algorithmic: We describe a polynomial-time algorithm that computes lattice diameter segments of polytopes in fixed dimension, with a simpler algorithm for polygons. In contrast, we show hardness of computing the lattice diameters of polytopes of variable dimension and for semi-algebraic sets. Our second type of contribution concerns the structure of lattice diameter segments: Generalizing the classical Ehrhart function, we prove that the function that counts distinct lattice diameter segments in dilations of a lattice polytope is eventually a quasi-polynomial in the dilation factor. Finally, we prove a Borsuk-type theorem on the number of parts needed to partition a set of lattice points such that each part has strictly smaller lattice diameter.
Sharp Antipode-Neighbor Bounds in Every Dimension
Let $P\subset\mathbb R^d$ be finite with $\operatorname{diam}(P)\le1$. For $0<\varepsilon<1$, let $\mathcal N_\varepsilon(P)$ denote the number of ordered pairs at distance at most $\varepsilon$, including the diagonal, and let $\mathcal A_\varepsilon(P)$ denote the number of ordered pairs at distance at least $1-\varepsilon$. We prove the sharp bound \[
\mathcal N_\varepsilon(P)\gtrsim_d \varepsilon^{(d-1)/2}\mathcal A_\varepsilon(P) \] conjectured by Steinerberger (2025). More generally, the same inequality holds for finite positive Borel measures. The main input is a uniform $L^2$ estimate, at cap thickness comparable to lattice spacing, for a supporting-direction incidence operator. In gnomonic coordinates, this operator is controlled by an incidence estimate for small Fenchel--Young gaps.
A generalized Terao Conjecture for line arrangements
For a line arrangement $\mathcal{A} \colon f=0$ in $\mathbb{P}^2$, let $ν(\mathcal{A})$ be the maximal dimension of a graded piece of the Jacobian module of $f$. We study the conjecture that $ν(\mathcal{A})$ depends only on the intersection lattice of $\mathcal{A}$. It is known that $\mathcal{A}$ is free if and only if $ν(\mathcal{A})=0$, and hence this conjecture is a strengthening of Terao's conjecture for line arrangements. We show that the conjecture holds for arrangements of at most $13$ lines, except possibly for arrangements of exactly $13$ lines whose intersection points have maximal multiplicity $5$.
Equal Lagrange Numbers with Non-Isomorphic Band Graphs: A Counterexample to Schiffler's Problem 6.3
We consider the following question: if two lattice paths in the same set $\mathcal{D}(a,b)$ have the same Lagrange number, must their band graphs be isomorphic? We exhibit two explicit lattice paths in $\mathcal{D}(17,9)$ with the same Lagrange number but non-isomorphic associated band graphs, thereby giving a counterexample to this question.
Coloopless zonotopes and counterexamples to the Shifted Lonely Runner Conjecture
Henze and Malikiosis (2017) have shown that the Lonely Runner Conjecture (LRC) can be restated as a convex-geometric question on the so-called LR zonotopes, lattice zonotopes with one more generator than their dimension. This relation naturally suggests a more general statement, the shifted LRC, the zonotopal version of which concerns a classical parameter, the covering radius.
In this paper we do two things:
1) We show explicit counterexamples to both the shifted Lonely Runner Conjecture (starting at $n=5$) and to the Lonely Vector Property of Malikiosis-Schymura-Santos (2025).
2) We push the analogies between the two versions of LRC and their zonotopal counterparts, in particular highlighting that the proofs of the finite-checking Theorems A and B in Malikiosis-Schymura-Santos (2025) are more transparent, and the statements more general, if regarded in terms of two quite general classes of lattice zonotopes: the coloopless zonotopes that we introduce here and the cosimple ones, already defined by them.
An extension of Birkhoff's representation theorem to locally-finite distributive lattices
Birkhoff's representation theorem identifies a finite distributive lattice with the lattice of order ideals of its poset of join-irreducible elements This can be extended to identifying a finitary distributive lattice with the lattice of finite order ideals of its poset of join-irreducible elements. Each of these representations can be extended into a duality, where the representation and reconstruction are inverse constructions between the isomorphism classes of the selected class of distributive lattices and the isomorphism classes of of the selected class of posets. Many lattices arising in combinatorics are locally finite but not finitary (where ``locally-finite'' means all intervals contain a finite number of elements). The main result of this paper is an analogous representation duality for locally-finite distributive lattices: A locally-finite distributive lattice is dual to a \emph{pair}, consisting of a poset (the poset of prime filters of the lattice) and a distinguished subset of the order ideals of the poset. The distinguished subset is (1) a sublattice that is a maximal collection of order ideals whose mutual symmetric differences are finite, and (2) for every element of the poset, the subset contains ideals that both include and exclude the element. An alternative duality is given where, in the pairs, the subset of order ideals is replaced by a single order ideal, and where isomorphism on the class of pairs is correspondingly made broader. We further show that when the Hasse diagram of the lattice of order ideals of a poset is regarded as a graph, any dual lattice is exactly one connected component of the graph.
Bubble sort and Howe duality for staircase matrices
We prove the alternating Cauchy identity for staircase matrices conjectured in arXiv:2411.03117, together with an explicit description of the coefficients occurring in it. As a byproduct, our approach also yields a new, independent (more combinatorial) proof of the Cauchy identities for staircase matrices established in arXiv:2411.03117.
The first part of the paper focuses on combinatorial aspects. It is self-contained, of independent interest, and introduces a generalization of parabolic Bruhat graphs for monotone functions on an arborescent poset. The second part centers on representation theory. We propose a generalization of the classical Howe duality for staircase matrices in terms of the distributive lattice of Demazure submodules within a given integrable representation. Computing the associated character yields all desired Cauchy identities for staircase matrices.
The Boolean lattice $\mathcal{B}_6$ is not a sphere order
Using the equivalence of sphere order representations of posets with Minkowski space embeddings, we show that the Boolean lattice $\mathcal{B}_6$ is not a sphere order. This is the first explicit finite example of a poset that is not a sphere order.
Antichains among Divisor Sums of Divisors
For a positive integer $n$, let $S(n)=\{σ(d): d\mid n\}$ be ordered by divisibility, and let $a(n)$ be its width. We study how much of the divisor lattice of $n$ survives under the map $d\mapsto σ(d)$. For every fixed prime-exponent pattern, the largest possible value of $a(n)$ is the width of a corresponding product of divisibility posets, and this maximum is attained infinitely often. In the squarefree case with $ω(n)=r$, every width from $1$ to $\binom{r}{\lfloor r/2\rfloor}$ occurs, again infinitely often.
For repeated exponent patterns, Engel's limit theory reduces the asymptotic width problem to optimal representation variance. We show that for the divisibility poset $D_m=(\{1,\ldots,m\},\mid)$, the prime directions $2$ and $3$ already determine the exact variance. The structural reason is the critical dilation $4$, lying strictly between $3$ and the next prime $5$. This yields an exact finite formula, the limit $V(D_m)\to 1.0367934201598\ldots$, and asymptotics for repeated exponent patterns. The complementary minimum-width problem remains largely open.
Matroid liftability and Oxley--Wang derived matroids, with connections to scene analysis
Liftability was first introduced for paving matroids, where it was used to systematically construct polynomials in the ideals of the associated matroid varieties. In this paper, we generalise the notion of liftability to matroids with realisable truncations. We additionally introduce the notion of generic realisability of a matroid; a strong notion of realisability that implies both realisability and liftability of the matroid. We study the behaviour of liftability and generic realisability under the weak order of matroids within the lattice of matroids with fixed truncation. We develop a unified framework for studying liftability of matroids through Oxley--Wang derived matroid of generic matroid realisations. We characterise liftability and generic realisability in terms of Oxley--Wang derived matroids. Moreover, we give an algebraic description of the bases of the generic Oxley--Wang derived matroids in terms of coordinate sections of matroid realisation spaces and relate our constructions to slack realisation spaces of matroids.
As an application of our framework, we obtain a combinatorial characterisation of liftable and generically realisable paving matroids and connect it with Whiteley's theory of scene analysis. In particular, our approach gives a new proof, via Oxley--Wang derived matroids, of Whiteley's characterisation of hypergraphs admitting non-trivial (sharp) scenes. Finally, we compute the generic Oxley--Wang derived matroid for a special class of sparse paving matroids.
Towards Strongly Aperiodic Monotiles in Higher Dimensions
The discovery of Chair44 (Tsiokos, 2026) settled the three-dimensional einstein problem with a strongly aperiodic polyhedral monotile in $\mathbb{R}^3$. This note extends the underlying mechanism---the rep-$2^N$ chair $C_N = [0,2]^N \setminus (1,2]^N$ with corner/socket markings---to $\mathbb{R}^N$. Besides expository material (the rep-$2^N$ dissection and a conditional strong-aperiodicity theorem under lattice registration and hierarchical enforcement), the note makes a new computational contribution. We introduce a frame-marking formalism in which the marking of a tile is its full orientation frame and the matching rule is the contact language generated by the substitution itself; this makes the search for matching rules finite in every dimension. We give a finite certificate (coarsening closure, tightness, and a two-shell enclosure analysis) whose validity implies that every lattice-registered tiling by the marked tile is uniquely hierarchical, hence strongly aperiodic. For $N=3$ the certificate passes: it yields explicit facet matching rules on the 24 panels of $C_3$ (135 admissible facet-contact triples) and reproduces, from first principles and independently of published constructions, the Chair44 statistics 2388 $\to$ 44 admissible contacts (30 occurring), 33 one-shell clusters, 15 extendable, each forcing a unique supertile. Among the 2187 homochiral frame assignments of the 3D substitution with a translated central child, the certified one is unique up to conjugation. For $N=4$ the same pipeline is run on several structured families of frame assignments (canonical, $D_4$-, $Z_2\times Z_2$- and $Z_4$-symmetric, and a lift of the 3D solution); none is coarsening-closed, and we report the failure data. A self-similar marking of $C_4$ thus remains an explicitly finite, open computational problem, which we state precisely. Code: https://github.com/dimkadimon/Monotile-RN
Density of large holes among power-free lattice points
For fixed integers $d,r\ge1$ with $dr\ge2$, the $r$-free points of $\mathbb{Z}^d$ are those whose coordinate gcd is not divisible by the $r$th power of any prime. Fix $1\le q\le \infty$. A lattice point is $R$-deep if every lattice point in the closed $\ell_q$-ball of radius $R$ centred there is non-$r$-free. We mark each finite nearest-neighbour component of non-$r$-free points containing an $R$-deep point by its lexicographically least such point. Uniformly for $1\le q\le\infty$, the densities of $R$-deep points and of these representatives both have the asymptotic form $\exp\left\{-\frac{v_{d,q}R^d}{ζ(dr)}\left[d(dr-1)\log R+dr\log\log R-Υ_{d,r,q}+r\frac{\log\log R}{\log R}-\frac{Λ_{d,r,q}}{\log R}+O_{d,r}\left(\frac{(\log\log R)^2}{(\log R)^2}\right)\right]\right\}$ as $R\to\infty$, where $v_{d,q}$ is the volume of the unit $\ell_q$-ball and $Υ_{d,r,q},Λ_{d,r,q}$ are explicit constants. For deep points, this sharpens the positive-density hole constructions of Baake, Moody, and Pleasants and of Pleasants and Huck, and the latter authors' upper bounds for sparse-pattern frequencies.
For $d=1$, consider the densities of $r$-free integers followed by at least $g-1$ consecutive non-$r$-free integers, or by exactly $g-1$ such integers and then another $r$-free integer. Both have the asymptotics $\exp\left\{-\frac{g}{ζ(r)}\left[(r-1)\log g+r\log\log g-\widehatΥ_r+r\frac{\log\log g}{\log g}-\frac{\widehatΛ_r}{\log g}+O_r\left(\frac{(\log\log g)^2}{(\log g)^2}\right)\right]\right\}$ as $g\to\infty$, where $\widehatΥ_r=Υ_{1,r,1}+(r-1)\log2$ and $\widehatΛ_r=Λ_{1,r,1}+r\log2$. The exact-gap expansion improves Grimmett's leading asymptotic and refines the formula in Jiang's recent preprint.
For fixed $r$, we also obtain estimates uniform in growing dimensions $d=O_r((\log R)^r)$.
A lattice family with kissing numbers $τ(\mathcal{L}_n) \ge e^{2 \sqrt{n}}$
For all prime powers $q\geq5$, we construct lattices $\mathcal{L}_q\subseteq\mathbb{Z}^q$ with kissing numbers \[
τ(\mathcal{L}_q)\geq
\left(\frac{1}{2πe^2}+o(1)\right)\sqrt{q}\,e^{2\sqrt{q}}. \] The same asymptotic bound holds on a set of integer dimensions of natural density $1$, and in every sufficiently large integer dimension $n$ with an additional factor $e^{-\tfrac{1}{2}n^{1/40}}$. The construction is an extension of a previous construction by Bennett-Peikert based on Reed-Solomon codes.
A Proof of Rubey's Lattice Conjecture
In 2011, Rubey generalized chute and ladder moves on the set of reduced pipe dreams for a permutation $w$ and conjectured that the induced poset on reduced pipe dreams is a lattice. In this paper, we prove this conjecture. Our key tool is a new type of move operation $\mathcal{M}_{ij}$, defined as a composite of certain generalized ladder moves and then simplified in terms of swaps on a partition shape. We show that joins and meets exist in Rubey's poset by proving simple recursive formulas in terms of $\mathcal{M}_{ij}$ operations, so we refer to the poset as the Rubey lattice henceforth. In addition, we give an explicit criterion to determine if two elements of the Rubey lattice are comparable using an injective map from reduced pipe dreams to tableaux on the diagram of a permutation. The pipe dream tableaux construction also gives an exact formula for the maximum length of any chain in the Rubey lattice and bounds on the number of reduced pipe dreams for $w$, or equivalently the sum of the coefficients in the corresponding Schubert polynomial. Several open problems for further development of the Rubey lattice related to Markov processes, Schubert polynomials, and Grothendieck polynomials are given.
A Pick-type theorem for halfway-lattice polygons
Given a polygon in the plane with vertices on lattice points, Pick's theorem expresses its area A in terms of the number I of lattice points in its interior and the number B of lattice points in its boundary: A = I + B/2 - 1. We consider polygons in the plane whose edges are halfway between lattice points. For such a polygon that is also unimodular, we express its area A in terms of the number I of lattice points in its interior and the number V of its vertices: A = I - V/8 + 1/2 .
Negative Correlations for Forests and the $q<1$ Random Cluster Model
We study negative edge correlation for two well-known models in statistical physics, the arboreal gas and the $q < 1$ random-cluster model. We show that after the edges $e$ and $f$ are removed, their Rayleigh difference is a crossing contribution minus the covariance of two endpoint-connectivity events. For the arboreal gas on an arbitrary finite graph, we analyze the two leading coefficients of this difference. The first is the classical transfer-current square. If it vanishes, the second has an electrical sum-of-squares formula. This proves negative edge correlation at sufficiently large fugacity whenever one of the two leading coefficients of the Rayleigh difference is nonzero, and characterizes simultaneous equality by an equipotential decomposition. For the random-cluster model on the complete graph $K_n$, we prove negative edge correlation throughout $q<1$ when all edge weights are at least $2$. In the uniform case, we prove something stronger:negative correlation holds when all the weights are equal and at least $1$. In particular, distinct edges in a connected spanning subgraph of $K_n$, weighted by a fixed fugacity, are negatively correlated for every $n$. We also explore what seems to be a general phenomenon: positive correlation of connectivity events. For the arboreal gas, we prove positive correlation for connectivity events at high fugacities. On lattices, the conjectured inequality would make the two-point function supermultiplicative and produce a convex inverse correlation length. Exact computations support the graph and matroid conjectures, including the Seymour--Welsh matroid $\mathcal S_8$, where ordinary edge-negative correlation fails. The results in this paper were derived by the authors without the use of Large Language models. The authors did benefit from using GPT-5 Pro for generating code to test out hypotheses as well as for simplifying the arguments.
Log-concavity and Approximate Counting for Totally Unimodular Polytopes
We present a new lower bound on the number of lattice points of all totally unimodular polytopes, generalizing previous lower bounds on contingency tables, integer flows, and beyond. Our bound is based on the Gurvits capacity convex optimization problem, and thus our result implies an efficient deterministic algorithm for approximate counting of the lattice points up to an explicit exponential factor. We achieve our bounds by showing that the associated generating polynomials fit into a new general class of log-concave polynomials called VLC ("variable-wise log-concavity''). This also implies a conjecture of Ferroni and Higashitani on the evaluations of the Ehrhart polynomials of unimodular polytopes. The essential ingredient for these results is the resolution of Barvinok's log-concavity conjecture for contingency tables on lines, which was proven using ChatGPT 6 Astra. We conjecture a generalization of Barvinok's conjecture, which we believe will lead to stronger and more general bounds.
Nice Partitions, Supersolvability, and Freeness in Deformations of Graphic Arrangements
We study affine deformations $\mathcal{A}(G_{\mathcal{S}})$ of graphic arrangements and their cones. Here $G=([n],E(G))$ is a simple graph, $\mathcal{S}=(S_{ij})$ is a family of finite gain sets, and $\mathcal{A}(G_{\mathcal{S}})$ consists of the hyperplanes $x_i-x_j=a$ with $a\in S_{ij}$. We call $G_{\mathcal{S}}$ blockwise admissible if every block has a vertex ordering $v_1,\ldots,v_m$ satisfying $S_{v_kv_j}-S_{v_kv_i}\subseteq S_{v_iv_j}$ for every $k$ and all distinct $i,j>k$. Every such ordering is a perfect elimination ordering. We prove, for arbitrary $G$, that the following are equivalent: (i) $G_{\mathcal{S}}$ is blockwise admissible; (ii) the cone $c\mathcal{A}(G_{\mathcal{S}})$ is supersolvable; and (iii) $\mathcal{A}(G_{\mathcal{S}})$ admits a nice partition. We give a direct arrangement-theoretic proof of these equivalences. For a block, the equivalence between admissibility and supersolvability is already contained in Zaslavsky's characterization of supersolvable graphic-lift lattices. We further show that every nice partition on a block is induced by an admissible ordering and that its induced edge classes are stars with distinct centers. Under these equivalent conditions, we construct a maximal modular chain through the hyperplane at infinity. We also prove that if $c\mathcal{A}(G_{\mathcal{S}})$ is free, then $G$ is chordal.
Arithmetic Nonexistence Conditions for Tight Spherical $5$-Designs
We prove two arithmetic nonexistence conditions for tight spherical $5$-designs in dimension $(2m+1)^2-2$. Let $m$ be a positive even integer satisfying $ν_2(m(m+1))\leq5$, where $ν_p(a)$ denotes the exponent of the prime $p$ in the positive integer $a$. We show that such a design does not exist if either (i) $m\equiv1\pmod3$ and $ν_p(m(m+1))\leq1$ for every prime $p\geq7$ with $p\equiv3\pmod4$, or (ii) $m\equiv0\pmod3$, $ν_3(m(m+1))=1$, and $ν_p(m(m+1))\leq1$ for every prime $p\geq5$ with $p\not\equiv1\pmod{12}$. Together, these conditions recover the corresponding nonexistence results of Bannai, Munemasa, and Venkov and of Nebe and Venkov, and exclude parameters not covered by either earlier result, including $m=16,40,88,96,100$. The proofs use lattice theory to constrain the discriminant groups of the associated lattices, and derive contradictions through Gauss sums and determinant congruences.