lattice ↗ reference
4431 papers tagged with this keyword
Counting Lattice Points in Minkowski Sums of Cross Polytopes
Motivated by Postnikov's study of lattice-point enumeration in Minkowski sums of simplices, we investigate lattice points in Minkowski sums of cross polytopes and establish analogous results, together with several related consequences. In particular, we introduce the support-enumerator associated with Postnikov's notion of draconian sequences and show that it coincides with the $h^*$-polynomial of the corresponding root polytope. This provides a new interpretation of the $h^*$-polynomial and yields a simple method for computing the volume of the corresponding polytope. We further exploit the symmetry of such root polytopes to establish a duality property for support-enumerators, which in turn provides a proof of a conjecture by Chapoton and Athanasiadis concerning the $h$-polynomials of preorders. As an immediate consequence, we prove that a Minkowski sum of cross polytopes and its dual polytope have the same number of lattice points. This duality then leads to a general formula for the number of lattice points in Minkowski sums of cross polytopes in terms of draconian sequences. Our formula enables us to compute the Ehrhart polynomials of these polytopes and show that they are Ehrhart positive. Furthermore, the formula allows us to derive analogous formulas for the number of lattice points on their boundaries and for their surface volumes.
Towards discrete convex analysis over classical root systems
Discrete Convex Analysis (DCA) is a discrete analog of continuous convex analysis, originally proposed as a unified theoretical framework for efficiently solvable combinatorial optimization problems. Recently, DCA has proven to be a powerful tool across diverse fields, ranging from operations research to economics and pure mathematics.
Motivated by the broad applicability of DCA, this paper establishes a unified theory of discrete convex analysis over discrete structures arising from classical root systems, extending the usual setting of the integer lattice, which essentially corresponds to type A. We adopt the vertex set of the Euclidean Coxeter complex as the primal discrete domain for L-convexity, and the root lattice as the dual discrete domain for M-convexity. Using the associated polyhedral structures, we formulate L- and M-convex functions together with notions of integrality determined by the root system. We show that local optimality guarantees global optimality for these functions. Furthermore, we establish that integral L-convex functions and integral M-convex functions correspond one-to-one via the discrete Fenchel--Legendre conjugate, thereby extending the conjugacy in the original DCA from type A to all classical root systems.
Lattice balls with large additive energy in discrete cubes
For a finite set $A$ in an abelian group, let \[
E(A)=\#\{(a_1,a_2,a_3,a_4)\in A^4:a_1+a_2=a_3+a_4\}. \]
We obtain an estimate uniform in $d$ that compares the normalized additive energy of $\mathbb{Z}^d \cap B_d(R)$ with the continuous energy of $B_d(R)$ .
If $R_d/\sqrt d\to\infty$, then \[
\lim_{d\to\infty}
\left(
\frac{E\bigl(\mathbb{Z}^d\cap B_d(R_d)\bigr)}
{\lvert \mathbb{Z}^d\cap B_d(R_d)\rvert^3}
\right)^{1/d}
=\frac{4\sqrt{3}}{9}. \] As an application, consider \[
A_n
=
R_n\mathbf{1}_d
+
\bigl(\mathbb{Z}^d\cap B_d(R_n)\bigr), \] where $d=d(n)\to\infty$ satisfy $\log d=o(\log n)$, and $R_n=\lfloor(n-1)/2\rfloor$. Then $A_n\subset\{0,1,\ldots,n-1\}^d$ and \[
\log E(A_n)
=3\log|A_n|-d\log\frac{3\sqrt3}{4}+o(d). \] In particular, taking $d=\lfloor(\log n)^{1/2}\rfloor$ gives an explicit construction answering a question of Shao \cite{Shao2026}. We also prove that in Gram-matrix coordinates, the exponential rate of the continuous ball energy is determined by a fixed dimensional determinant maximization whose extremizer is the Gram matrix of a regular tetrahedron.
Measurable Matroids: Foundations and Min--Max Theorems
We develop a measure-theoretic analogue of matroid theory on standard atomless measure spaces. Motivated by the quotient-convergence framework for submodular set functions, our aim is to identify suitable measurable objects on the limit side of finite matroid theory and to develop their basic structural and optimization theory. We prove that measurable matroids admit equivalent descriptions by independent sets, bases, rank functions, and closure operators. The class includes normalized finite matroids, cycle matroids of graphings, and measurable analogues of partition, nested, lattice path, transversal, and matching matroids. We establish measurable analogues of truncation, elongation, direct sum, duality, and minors.
We prove measurable versions of Edmonds' matroid intersection theorem and the Edmonds--Fulkerson matroid union theorem, together with an attainment theorem for common bases. The intersection theorem retains the classical min--max form, with the maximum replaced in general by a supremum. Applied to partition matroids, it gives an exact Hall-deficiency formula for measurable matchings in bipartite graphings and a min--max theorem for continuous bipartite $b$-matchings, with applications to capacity-constrained transport and prescribed cross-sections. We give a rank-expansion criterion under which the supremum is attained. For bipartite graphings, this criterion specializes to the measurable perfect matching theorem of Lyons and Nazarov.
For measurable union, the Edmonds--Fulkerson rank formula remains valid. As a main application of measurable union and its attainment theorem, we prove measurable Nash-Williams--Tutte theorems for graphings, characterizing approximate coverings and packings by hyperfinite essential spanning forests and obtaining exact decompositions under strengthened rank inequalities.
Variations of colored multiset Eulerian polynomials and applications
Deligeorgaki, Han and Solus introduced colored multiset Eulerian polynomials, derived a generating function identity which generalizes MacMahon's identity, proved their self-interlacing under suitable parameter conditions, and identified these polynomials as the h^*-polynomials of direct products of dilated lattice simplices. In this paper, we introduce an ascent analogue of the colored multiset Eulerian polynomial, derive an explicit generating function identity for this polynomial, show that it is equal to the h^*-polynomial of a family of half-open lattice polytopes, and verify that this ascent polynomial also satisfies self-interlacing under the same parameter conditions. By establishing recurrence relations, we prove that both polynomials are real-rooted for all positive integer parameters. The obtained identities are further applied to interpret combinatorially the h^*-polynomials of Pitman--Stanley polytopes, composition polytopes and a family of reflexive lattice polytopes defined from preorders.
Lascoux series, parking functions and noncrossing partitions
In the study of the generating series of Demazure characters, Lascoux used isobaric divided differences to define a family of polynomials $\mathcal{E}_σ(t)$ indexed by permutations $σ$, and asked for a satisfactory expression of these polynomials. In this paper we obtain a combinatorial interpretation of $\mathcal{E}_σ(t)$ for the permutation $σ=[2,3,\ldots,n,1]$ or its inverse in terms of the descent statistic of parking functions of length $n-1$. Based on this progress on Lascoux's open problem, we find that the polynomial $\mathcal{E}_σ(t)$ for this special case coincides with the $h$-polynomial $h(Δ(\mathrm{NC}_W),t)$ of the order complex of the noncrossing partition lattice associated to the irreducible Coxeter group $W$ of type $A_{n-1}$. We are inspired by this coincidence to give an operator approach to $h(Δ(\mathrm{NC}_W),t)$ for any finite Coxeter group $W$. As an application, we completely solve an open problem on $h(Δ(\mathrm{NC}_W),t)$ which was proposed by Athanasiadis, Douvropoulos and Kalampogia-Evangelinou. For any $k$-divisible noncrossing partition poset $\mathrm{NC}^{(k)}_W$, we also obtain the interlacing symmetric decomposition property of the $h$-polynomial $h(Δ(\mathrm{NC}^{(k)}_W),t)$.
Gamma-positivity for octopuses: a bijective proof
Chapoton introduced an interesting family of polytopes called arbor polytopes, where a polytope $\mathcal{Q}_τ$ is associated to any arbor $τ$. Chapoton conjectured that the polynomial $h(τ)$ which counts lattice points in $\mathcal{Q}_τ$ by number of nonzero entries is palindromic and unimodal. Athanasiadis, Xiao, and Yan recently proved that $h(τ)$ is gamma-positive for a certain class of arbors they call octopuses. Since their proof was computational, they asked for one that is bijective. We present such a proof. We also extend their results by showing that $h(τ)$ is gamma-positive for a larger class of arbors we call lopsided octopuses.
The balanced upper chromatic number of linear hypergraphs and the $n$-cube over $t$ elements
A coloring of the vertices of a hypergraph is called \emph{balanced} if the sizes of the color classes differ by at most one. We say that a hyperedge is \emph{rainbow} if its elements have pairwise distinct colors. In this paper, we provide a general upper bound on the \emph{balanced upper chromatic number} of arbitrary linear hypergraphs, that is, the largest integer $k$ such that there exists a balanced $k$-coloring of the vertices of the hypergraph without rainbow hyperedges. We focus on the cube $C_t^n$, defined as the linear hypergraph whose vertices are the lattice points in $[0,t-1]^n$, and whose hyperedges are the sets of $t$ collinear points. We determine the exact balanced upper chromatic number of $C_t^n$ for $t\geq 4n-2$. For smaller values of $t$, we present bounds and determine this parameter (with few exceptions) in dimensions $2$ and $3$.
A proof of Zeilberger's recurrence for solid standard Young tableaux of shape $[[n,n],[n,1]]$
Let $g(n)$ denote the number of solid standard Young tableaux of the two-layer shape $[[n,n],[n,1]]$. In his First Rigorous Challenge accompanying the solid-SYT project, Zeilberger observed empirically that $g(n)$ satisfies a linear recurrence of order $2$ with polynomial coefficients of degree $12$, and offered a prize for a proof. We prove the recurrence. The proof proceeds by a deletion-insertion bijection reducing $g(n)$ to weighted enumerations of Kreweras-type lattice walks in the quarter plane, which we evaluate in closed form via the algebraic kernel method of Bousquet-Melou and Mishna. Along the way we obtain several enumerative results of independent interest: a closed form for reverse-Kreweras walks ending on the diagonal, an explicit algebraic generating function for the diagonal, and the identity that a ballot-weighted sum of diagonal walk counts enumerates reverse-Kreweras walks of length $3n+1$ ending at $(1,0)$. The recurrence itself is explained structurally: $g$ lies in a $2$-dimensional module over $\mathbb{Q}(n)$ spanned by two hypergeometric terms, which forces a second-order recurrence and produces its coefficients by Cramer's rule.
Minimal Bridges and a Rotation-Based Bijection
A classical problem in lattice path enumeration counts paths that remain on one side of a boundary line. We study several classes of paths where this boundary is porous and show that they are related through a single half-turn rotation bijection. As a first application, we enumerate minimal bridges by relating them to excursions: for positive integers $k$ and $n$, the number of paths from $(0,0)$ to $(kn,n)$ with unit right and up steps that avoid all other lattice points on the line $y=x/k$ is $\frac{k}{kn+n-1}\binom{kn+n}{n}$. The same bijection yields a relation between the ordinary generating functions for binomial coefficients and $k$-Catalan numbers through a dual edge-forbidden model, extends to forbidden strips containing the diagonal, and handles a rational-slope case involving Duchon paths. Finally, our bijection also proves that the number of bridges from $(0,0)$ to $(2n,2n)$ that avoid even diagonal points is $C_{2n}+4C_{2n-1}$, with $C_n$ the $n$th Catalan number. This complements a result of Shapiro.
An interlacing pattern between the types $C_n$ and $D_n$ coordinator polynomials
The study of coordinator polynomials of Weyl group lattices was initiated by Conway and Sloane. In 2013, by using a trigonometric substitution approach, Wang and Zhao proved the real-rootedness of the type $D$ coordinator polynomials. Subsequently, Xie and Zhang proved the compatibility between the types $C_n$ and $D_n$ coordinator polynomials. In this paper, we discover the interlacing pattern between the types $C_n$ and $D_n$ coordinator polynomials, which may be named as the second pattern of interlacing zeros.
Weighted bond posets and a new chromatic symmetric function
The classical bond lattice of a graph was used in a formula of Whitney to compute the chromatic polynomial. In this paper, we use weighted versions of the bond lattice, to introduce and study a new polynomial and a new symmetric function invariant of a graph. Examples of the new polynomial invariant include the classical Narayana polynomials (for the path graph), the tree-Eulerian polynomials (for the complete graph), and the binomial-Eulerian polynomials (for the star graph). These examples suggest an interesting connection to $h$-polynomials of general graph-associahedra. We prove that for any chordal graph, our polynomial graph invariant is $γ$-positive.
Multiweighted bond posets yield a symmetric function graph invariant that is an analog of the chromatic polynomial. The highest degree homogeneous component of this symmetric function is of particular interest. The parking function symmetric function introduced by Haiman arises as an example, as do symmetric functions studied by the first author in connection with multibracketed Lie algebras and with colored exterior algebras. The $γ$-positivity result mentioned above is a specialization of an $e$-positivity result for the highest degree homogeneous component, which we prove for any chordal graph using the theory of lexicographic shellability. We conjecture that this symmetric function is Schur-log-concave, which specializes to Huh's log-concavity theorem for the chromatic polynomial.
Long Lattice Paths with No Three Collinear Vertices
For $d\ge 1$, let $L(d)\in\mathbb N\cup\{\infty\}$ be the supremum of the lengths of paths in $\mathbb Z^d$ whose steps are standard basis vectors and whose vertex sets contain no collinear triple. We prove that \[
\log_2\log_2 L(d)\ge \frac{2}{5}d-O(1) \] for all sufficiently large $d$.
Erdős--Ko--Rado and Hilton--Milner Theorems in the Partition Lattice
Let $M_n=M(K_{n+1})$ be the graphic matroid of the complete graph, and let $\mathcal{F}_k(M_n)$ be its rank-$k$ flats. We study families $\mathcal{A}\subseteq\mathcal{F}_k(M_n)$ satisfying $\mathrm{rk}(A\wedge B)\ge t$ for all $A,B\in\mathcal{A}$. For $t=1$, this problem is exactly equivalent to Czabarka's partition-EKR conjecture, first introduced in print by P.~L. Erdős and L.~A. Székely~\cite{ErdosSzekelyHigher}. We prove the corresponding Erdős--Ko--Rado theorem in the explicit linear range $n+1\ge8k$, giving a constant-factor advance toward the conjectured sharp range $n\ge2k$. For every fixed $t$, we further prove an Erdős--Ko--Rado theorem under an explicit condition of order $O_t(k^2)$ on the block number $n+1-k$, with equality only for a full $t$-star. We also determine the largest nontrivial intersecting families under an explicit $O(k^6)$ threshold and characterize the unique extremal family up to isomorphism.
Noncrossing Combinatorics, the Full Twist, and Decategorification of Knot Invariants
Much work in knot theory has consisted of categorifying, and thereby strengthening, knot invariants. We take the opposite approach: decategorification, more commonly called combinatorics. We introduce a technique that relates the dual braid group generators, the Hecke images of pure braids, and factorization problems in reflection groups to knot invariants. We prove that the $(a,z{=}0)$-HOMFLYPT polynomial can be computed as a solution to such a problem. This technique was motivated by Coxeter--Catalan combinatorics. For example, we give a new proof of EL-shellability of the noncrossing partition lattice using the image of the full twist in the Hecke algebra; in a surprising sort of combinatorial reciprocity, its inverse computes the homotopy type. Similarly, noncrossing partitions naturally arise from our construction applied to positive powers of the full twist, while cluster complexes come from the same construction applied to negative powers. In crystallographic type, we exploit the conjugacy of all Coxeter elements to give the first reflection subword models for rational noncrossing Catalan objects. Our reciprocity gives two models: one generalizing noncrossing partitions, and one generalizing clusters. Applying the same method produces two (rational) noncrossing parking models.
Cardinal Grid Slime Trail is PSPACE-Complete
Slime Trail is a two-player combinatorial game in which the players alternately move a shared token to an adjacent vertex, permanently removing each vertex the token leaves, while attempting to reach a goal node. Ferland and Burke (2017) proved that Slime Trail is PSPACE-complete on arbitrary planar graphs and asked whether the same holds for the grid version actually used in play. We resolve this open problem by proving that Cardinal Grid Slime Trail, that is, Slime Trail on a square grid with four-directional movement, is PSPACE-complete. We adapt their QBF reduction to the grid setting, designing grid-compatible gadgets that respect the degree-4 bound and the parity constraints of the integer lattice. We further show the construction extends, under a 45-degree rotation, to the eight-directional variant.
Elements represented as intersections of sets
For a natural number $n$ let $[n] = \{1,\ldots,n\}$. We say that a family ${\cal{S}}\subseteq 2^{[n]}$ is \emph{representing} if every singleton set of $[n]$ is an intersection of some sets from ${\cal{S}}$. We show that the smallest possible cardinality of a representing set for $[n]$ is the discrete inverse $s(n)$ of the Sperner's function $n\mapsto \binom{n}{\lfloor n/2\rfloor}$, which by Sperner's Theorem is the maximum number of elements in an antichain in $2^{[n]}$ when viewed as subset (or boolean) lattice. Specifically, $s(n)$ is then the smallest positive integer such that $2^{[n]}$ contains an $n$-element antichain. Some generalization, further applications and asymptotics in terms of the second real branch of the Lambert $W$ function are presented.
Economical lattice coverings by determined segments
For fixed $d\geq 2$, let $τ_d(n)$ be the minimum size of a set $S\subseteq\{0,\ldots,n\}^d$ such that the affine lines determined by pairs of distinct points of $S$ cover the grid. Let $σ_d(n)$ be the analogous minimum when every grid point must lie on the closed segment joining two distinct points of $S$. A celebrated result of Alon [GAFA, 1991] proved that $τ_d(n)$ is of order between $Ω_d(n^{α_d})$ and $O_d(n^{α_d}\log n)$, where $α_d=\frac{d(d-1)}{2d-1}$, and asked whether the logarithm term is necessary. We prove that $$c_d n^{α_d}\leqτ_d(n)\leqσ_d(n)\leq C_d n^{α_d}$$ for every fixed $d\geq 2$, thereby resolving Alon's problem in a stronger form.
Lattice polytopes of large width have real-rooted Ehrhart $h^*$-polynomials
In this note we prove that in fixed dimension the Ehrhart $h^*$-polynomial of a lattice polytope of sufficiently large lattice width is real-rooted. In particular, this implies strict log-concavity and unimodality of the $h^*$-vector and answers a question of Averkov, Hofscheier and the author. For a lattice simplex we prove the analogous statement for its local $h^*$-polynomial, also called box polynomial. The proofs were found using ChatGPT 5.6 Sol and follow essentially directly from a result by Basu and Oertel that for large enough lattice width counting lattice points approximates the volume.
The Chow Polynomial of the Noncrossing Partition Lattice
We prove that the Chow polynomial of the noncrossing partition lattice is equal to the descent generating function of tieless parking functions. As a consequence, we obtain new results on the descent statistic for parking functions.