lattice ↗ reference
4391 papers tagged with this keyword
On splitting properties of the stability problem with integer choice functions
We consider the integer version of Alkan--Gale's model on stability in a two-sided market, called the stable generalized allocation one. It is given by a triple $(G,b,C)$, where $G=(V,E)$ is a finite bipartite graph with nonnegative integer capacities $b(e)\in{\mathbb Z}_+$ of edges $e\in E$, and for each vertex (``agent'') $v\in V$, the preferences on the set $E_v$ of its incident edges depend on a choice function $C_v$. The latter acts on the set of vectors in ${\mathbb Z}_+^{E_v}$ bounded by the capacities and obeys the standard axioms of substitutability and size monotonicity. Alkan--Gale's prominent theorem implies that the stability problem in this case always has a stable solution $x\in{\mathbb Z}_+^E$ and, moreover, the set ${\cal S}_{G,b,C}$ of these solutions (``stable generalized allocations'') forms a distributive lattice.
However, this lattice is rather intricate to construct and work with, and we wonder whether it can be represented via a ``simpler'' stability model. Answering this issue, we arrange a sort of splitting techniques to embed ${\cal S}_{G,b,C}$, as a sublattice, in the lattice of stable matchings and, more compactly, in the lattice of stable allocations (as in Baiou--Balinski's stability model). This generalizes Fleiner's result on a detachment in the special case with all-unit capacities.
Keywords: stable marriage, stable allocation, choice function, rotation, distributive lattice, poset representation
Positive formulas for q-Zeta numerators of Ferrers-cell posets
We give explicit positive formulas for Chapoton's $q$-Zeta numerators of the Ferrers-cell posets $F_{\mathbf b}=\{(i,c):1\leq i\leq r, i\leq c\leq b_i\}$, where $b_1\geq\cdots\geq b_r\geq r$, and for every interval of their minimum-augmented lattices. A constructive signed EL-labelling expresses the numerator as a descent enumerator over boundary-admissible path words. A finite transfer-matrix recursion recovers the full multivariate descent-set polynomial.
For trapezoidal boundaries, Gaussian-binomial formulas describe every interval and every $t$-slice. At $q=1$, a Jacobi-polynomial transform gives simple negative zeros, strict fixed-offset interlacing, and an explicit arcsine push-forward limit. We also obtain algebraic fixed-offset generating functions and the growth rate $(1+\sqrt t)^2$ for $t\geq0$.
The standard positive-root posets of types $A_r$, $B_r$, and $C_r$ are specializations, graded by root height minus one with Chapoton's fixed denominator. For types $B_r$ and $C_r$, this yields all-rank coefficientwise positivity, the reversed-ballot formula, the specialization $[t^k]\mathbb{H}_{P_r,\operatorname{rk}}(1,t)=\binom{r-1}{k}^2$, and sharp slice degrees with unique leading monomials.
The main results of this paper were obtained through a generative-AI workflow using OpenAI GPT-5.6 Sol, Anthropic Claude Fable 5, and Grok 4.6. OpenAI GPT-6 Astra was used for subsequent proof and citation review and manuscript revision. Further details appear in the disclosure at the end of the paper.
Engel's Interval Packing Problem in the Boolean Lattice
Let \(\mathcal{B}_n\) be the Boolean lattice of all subsets of \([n]\) and let \(\mathcal{P}_{n;\ell,u}\) be the subposet of \(\mathcal{B}_n\) induced by the consecutive levels \(\ell,\ell+1,\ldots,u\). We determine $ν_{n;\ell,u}$, the maximum size of a family of pairwise disjoint maximal intervals in $\mathcal P_{n;\ell,u}$, whenever
\(u\le ({n+\ell^2})/({\ell+1})\). This completely settles Engel's problem~[Combin. Probab. Comput., 1996]. The proof is constructive. We also record consequences for weakly cross-intersecting set-pair systems and discuss the three-level case.
Sylvester simplices: Triangulations and Ehrhart-theoretic aspects
The Sylvester simplex $\mathsf{Sylv}_d^k$ is a $d$-dimensional lattice simplex with exactly $k$ interior lattice points. Sylvester simplices are conjectured to be the volume maximizers among all $d$-dimensional lattice polytopes with exactly $k$ interior lattice points for any $k\geq 1$. Even stronger, it is conjectured that they maximize (entry-wise) the $h^\ast$-vector among all $d$-dimensional lattice polytopes with exactly $k$ interior lattice points. Yet, Sylvester simplices seem to be rarely studied in their own right. In particular, their Ehrhart-theoretic properties are far from being well understood.
In the present article, we tackle this problem. We describe flag, regular and unimodular triangulations for the Sylvester simplices, and prove that their $h^\ast$-vectors are unimodal. Moreover, we explicitly determine the values of some entries of their $f^\ast$-vectors, and prove that they are Ehrhart magic positive up to dimension $6$ but not in dimension $7$. We conclude by detailing tables of Ehrhart-theoretic quantities (numbers of lattice points, Ehrhart polynomials, local and boundary $h^\ast$-vectors, $f^\ast$-vectors) for Sylvester simplices of dimensions 7 and lower.
The unique extremal threemodular lattice of rank 26, the generalized hexagon $(2,8)$, and the tight Cayley-plane $5$-design
We reconstruct the generalized hexagon of order $(2,8)$ from an abstract even rank-$26$ lattice of determinant $3$ and minimum $4$, and conversely reconstruct the lattice from the hexagon. Harmonic theta identities determine the $819$ shortest vectors in a non-zero discriminant class and their association scheme, and show that every non-empty positive-norm shell of the lattice and its dual is a spherical $5$-design. In the converse direction, the rank-$26$ idempotent gives the lattice, with saturation proved by a short dual-coset argument. A positive-definite Niemeier construction proves existence and uniqueness of the lattice and hence of the hexagon.
The third moment of a projective $3$-design in the Cayley plane reconstructs the traceless Albert product. This upgrades angle-preserving bijections to elements of $F_4(\mathbb R)$ and proves geometric uniqueness of the tight $819$-point projective $5$-design. Finally, line deletion gives a rootless index-four sublattice of $N(A_1^{24})$ with a Golay trio and an oriented gluing. The gluing data form eight root-sign orbits, on which $L_3(2)\cong L_2(7)$ acts as on $\mathbf P^1(\mathbf{F}_7)$; two explicit Golay permutations prove transitivity. This proves uniqueness and gives the automorphism-group order. The group is identified afterward as ${}^3D_4(2):3$, with a central factor $C_2$ for the full lattice group. The reconstruction and deletion arguments parallel the length-$26$ binary code construction.
The lattice covering density of the regular octahedron
We prove that the lattice covering density of the regular octahedron is $9/8$, settling a conjecture of Dougherty and Faber.
Gaussian Vertex-Face Balance in Random Convex Polyhedra with Fixed Edge Count
Choose uniformly among the combinatorial types of convex three-dimensional polyhedra with a fixed admissible number $e$ of edges, and let $V_e$ be the number of vertices. This resolves a fixed-edge limit-distribution question posed by Rüdinger: if $β_e=V_e/(e+2)$, then $\sqrt e(β_e-1/2)\Rightarrow N(0,1/32)$, equivalently $\operatorname{Var}(V_e)\sim e/32$. Using the classical rooted enumeration and asymmetry results of Bender and Wormald, we derive a relative lattice local limit theorem on every $o(e^{3/4})$ window, a quartic correction from the rate function on every $o(e^{5/6})$ window, precise moderate-tail constants, a quadratic moderate-deviation principle for every $a_e\to\infty$ with $a_e=o(\sqrt e)$, and a full speed-$e$ large-deviation principle with an explicit good rate function. All fixed standardised moments converge. When $e=3m$, the two extremal vertex counts have equal probability asymptotic to $\frac{6561}{32\sqrt2}(4/27)^m$. Rooted and unrooted fixed-edge laws are also uniformly exponentially close, with relative discrepancy $O(ρ^e)$.
Boolean building set arrangements
In this article, we generalize the notion of connected subgraph arrangements, established by Cuntz and Kühne by allowing edges of cardinality greater than two, with a focus on local properties. We show that the class of free connected hypersubgraph arrangements is larger than the class of free connected subgraph arrangements, but that there exists a necessary condition for freeness that refers back to the graphic case. Furthermore, we obtain a unique description of these arrangements by associating them with Boolean building sets. We study the nested complex of the building set in relation to the lattice of intersections, and characterize all simplicial arrangements within this new class.
A Gelfand model for the Okada algebra
In this paper, we construct a Gelfand model for the Okada algebra $O_n(X,Y)$ with generic parameters $X$ and $Y$, on the space of symmetric Okada arc diagrams using a conjugation-type action. The model is constructed inductively by identifying the Okada algebra as a diagram algebra and using the Jones basic construction to obtain a tower of algebras that are themselves Okada algebras at lower levels. We use the model to obtain all the irreducible representations of $O_n(X,Y)$, indexed by the elements of rank $n$ of the Young--Fibonacci lattice, and identify them with the cell modules of $O_n(X,Y)$.
Intractable enumeration problems are like Russian nesting dolls: structural properties of monomer-dimer coverings on two-dimensional quadratic lattices
Counting the number of coverings of $s$ dimers on two-dimensional quadratic lattices is considered as intractable and belongs to \#P-complete class. We reveal the structure of the exact solution to the problem and provide an explicit formula for it, which includes $s-1$ nesting sums. This results in an exponential time complexity of $O(2^s)$. The solution is explicitly determined by a sequence that exhibits double-exponential growth.
Quasipolynomial density bounds for $K$-point configurations in $\mathbb{Z}^d$
Let $d,K,N\in \mathbb{N}$ with $K\geq 3$ and $d\geq 4K+4$. Let $Δ\subset \mathbb{Z}^d$ be the vertex set of a nondegenerate $(K-1)$-simplex, and let $A\subseteq[N]^d$ contain no nontrivial similar copy of $Δ$. We prove that
\[
|A|\ll_{Δ,d}
N^d\exp\!\left(-c_{Δ,d}\sqrt{\log N}\right)
\] improving upon a polylogarithmic bound due to Magyar. We perform a density increment argument using the circle method, and we introduce a ``cut operator'' method to decouple the weighted exponential sum over the system of quadratic forms describing the simplex. Our proof combines ideas from graph theory, functional analysis, and the geometry of numbers. In the process, we apply Finner's fractional form of Hölder's inequality, the analytic large sieve, and Kim's mean value formula for primitive lattice flags.
Framingtopes
Framing lattices arise from the dual graphs of framed (or DKK) triangulations of flow polytopes and provide a common framework encompassing classical lattices such as the Boolean, Tamari, and weak-order lattices, as well as $τ$-tilting posets of certain gentle algebras. In this paper, we introduce the \emph{framingtope}, a polytopal complex that provides a geometric counterpart to a framing lattice: its edge graph is the Hasse diagram of the framing lattice. We prove that the framingtope admits three equivalent descriptions, in terms of interior faces of the framed triangulation, sets of pairwise coherent routes covering the graph, and pure intervals of the framing lattice. We further construct a tropical realization of the framingtope as the bounded-cell complex of an arrangement of tropical hypersurfaces associated with an admissible height function. This construction yields explicit vertex coordinates for broad classes of framed graphs, including plane framed graphs and multioruga graphs. In the multioruga case, these coordinates give tropical realizations of weak orders on multipermutations and, in the ordinary oruga case, recover the classical permutahedron.
The extensible no-four-on-a-circle problem
We show that there exists a set $S \subset \mathbb{Z}^2$ containing no four points on a circle or a line such that $|S \cap [n]^2| = Ω(n)$ as $n \rightarrow \infty$. Since any no-four-on-a-circle set in $[n]^2$ has size $O(n)$, this resolves (up to a constant) a question raised by the current authors and Keevash concerning the density of extensible no-four-on-a-circle constructions. Our construction is based on weighted random sampling from the integer lattice followed by careful deletion.
New upper bounds for the chromatic numbers of Euclidean spaces
A coloring of $\R^n$ is \emph{proper for the forbidden distance segment} $[1,\ell]$ if no two points of the same color are at a distance from $[1,\ell]$; the minimum number of colors is $χ(\R^n,[1,\ell])$, and $\ell=1$ gives the classical chromatic number $χ(\R^n)$ of the Nelson--Hadwiger problem. We prove the new upper bounds $χ(\R^4)\le43$, $χ(\R^5)\le132$, $χ(\R^7)\le1029$, $χ(\R^9)\le7203$, $χ(\R^{10})\le45619$, improving the previously known $49$, $140$, $1372$, $17253$ and $3^{10}$; in particular, this refutes the conjecture of Arman, Bondarenko, Prymak and Radchenko that $49$ and $140$ are optimal among all lattice colorings of $\R^4$ and $\R^5$. The first four bounds come from explicit rational lattices --- an Eisenstein lattice in $\R^4$, a lattice in general position in $\R^5$, and laminations of the Eisenstein colorings $E_6^*/343$ and $E_8/2401$ in $\R^7$ and $\R^9$ --- and each is reduced, by one verification protocol, to a finite list of inequalities between explicitly written rational numbers checked in exact arithmetic. The fifth bound is analytic: we prove that for every Eisenstein lattice $Λ$ the distance between same-colored cells of $(3+ω)Λ$ equals $\sqrt{7/3}\,λ_1(Λ)$, which gives the exact widths of all known colorings with $7^{n/2}$ colors, and a product rule $\sum_i1/d_i^2\le1$ for the widths of orthogonal products; together they yield $45619=2401\cdot19$, the first bound in $\R^{10}$ below $3^n$, as well as $χ(\R^{25})\le4\cdot7^{12}$ and $χ(\R^{26})\le19\cdot7^{12}$. We also show that no sublattice of $E_8$ of index below $2401$ defines a proper coloring. All code, exact certificates and data are open.
Two-sided linear hashing and quadratic density bounds for smooth lattice coverings
We study random linear projections of a finite-field subset for which every fiber has cardinality close to its mean. We bound the mean fiber size needed to ensure that all fibers satisfy a prescribed relative discrepancy, with a prescribed failure probability. For $S\subseteq\mathbb F_q^n$ projected to $\mathbb F_q^b$, one theorem gives three regimes: at fixed discrepancy and failure probability, sufficient mean fiber sizes are $O(q2^b)$ for arbitrary $q$, $O(q^2)$ when $q$ is at least a suitable constant multiple of $b$, and $O_q(b)$ for fixed $q$. The resulting entropy loss over fixed fields is $h-b=\log_q h+O(1)$, where $h=\log_q|S|$ is the input entropy. This matches the order of the binary obstruction of Alon, Dietzfelbinger, Miltersen, Petrank, and Tardos (1999); we give a quantitative random-source refinement over every fixed field. Our proof combines a quotient-and-average counting lemma with the local balanced/unbalanced argument of Dhar and Dvir (arXiv:2204.01665) and Furstenberg estimates of Dhar and Dvir and Kumar and Mon (arXiv:2609.17020).
We apply these bounds in the reduction of Ordentlich, Regev, and Weiss (arXiv:2311.04644) to improve their $O(n^3)$ bound for smooth lattice coverings to $O(n^2)$. For each fixed convex body $K\subseteq\mathbb R^n$, a Haar-Siegel random lattice of covolume one has the number of lattice points in every translate of $K$ within a prescribed relative error of $\operatorname{vol}(K)$, with prescribed high probability, once $\operatorname{vol}(K)\ge Cn^2$ and $n$ is sufficiently large. The constant and dimension cutoff depend only on the error and failure probability. Complements of higher-rank Kakeya sets of Kopparty, Lev, Saraf, and Sudan (arXiv:1003.3736) show that no hashing guarantee for arbitrary subsets can yield a smaller order in the same reduction.
The face lattice of any simplicial polytope is Hamiltonian
We show that the face lattice of any simplicial polytope is Hamiltonian. This proves a major part of a recent conjecture by \citeauthor{Listingfaces} which states that the face lattice of any polytope is Hamiltonian (SODA26). We use a line shelling in both directions to obtain two different decompositions of the face lattice into disjoint cubes, which allows the application of a theorem by Gregor to obtain the Hamilton cycle.
Unimodality for IDP Lattice Simplices of Prime Normalized Volume
Recently, Ferroni constructed a family of counterexamples to the well-known conjecture in Ehrhart theory stating that the $h^*$-polynomial of a lattice polytope with the integer decomposition property is unimodal. This raises the question of whether the $h^*$-polynomial of a lattice simplex with the integer decomposition property remains unimodal. In this note, we prove that every lattice simplex with the integer decomposition property and prime normalized volume has a unimodal $h^*$-polynomial. Furthermore, we establish several sufficient conditions for the unimodality of the $h^*$-polynomial of such simplices.
A combinatorial model for the canonical join complex of alt $ν$-Tamari lattices
Alt $ν$-Tamari lattices constitute a remarkable family of lattices associated with lattice paths that broadly generalize the Dyck and Tamari lattices. To systematically study the structural properties of this family, we introduce a combinatorial model that realizes the canonical join complex of alt $ν$-Tamari lattices. Serving as a universal tool, this model allows us to prove vertex decomposability, establish an explicit shelling order, and reveal the underlying homology of the canonical join complex of alt $ν$-Tamari lattices.
Examples of complete Calabi--Yau metrics on affine smoothings of irregular toric Calabi--Yau cones
We present infinitely many new examples of affine Calabi--Yau manifolds of Euclidean volume growth and quadratic curvature decay, whose tangent cones at infinity are irregular and have smooth links. In the process, we demonstrate (and provide the relevant computer code) how to explicitly compute the Reeb field, the Minkowski summand cone, and its maximal decompositions for a given toric Calabi--Yau cone with smooth link from the data of its toric diagram. In complex dimension three, the component corresponding to a maximal Minkowski decomposition into lattice summands is a smoothing component if and only if every summand is either a primitive lattice segment or a unimodular lattice triangle. Furthermore, we propose an effective strategy to generate smoothable Calabi--Yau cones from a given non-smoothable one by taking Minkowski sums of certain toric diagrams, and provide an example to illustrate the method.
Posets of Hyper $(b,t)$-ary Partitions are Distributive Lattices
Posets of integer partitions, ordered by refinement, were criticized for unruly structural behavior by both Birkhoff and Ziegler. However, recent work of Propp, McConville, and Sagan demonstrated that such posets of hyperbinary partitions are distributive, with posets of join irreducible elements isomorphic to the well-studied class of fence posets. We provide a generalization of this result for hyper $(b,t)$-ary partitions, where all parts are powers of some positive integer $b$, and multiplicities are restricted to $t\ge b$. Then, we show that posets of hyper $(b,t)$-ary partitions are indeed also distributive lattices.