lattice
4305 papers tagged with this keyword
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.
Online Discrepancy Minimization for Sub-Gaussian Inputs via Regularization and Restriction
We study online discrepancy minimization: vectors $v_1,\ldots,v_T\in\mathbb{R}^n$ arrive sequentially, and each must immediately be assigned a sign $x_t\in\{\pm1\}$, with the aim of minimizing $\|\sum_{t=1}^T x_t v_t\|_\infty$. We give a polynomial-time potential-based algorithm combining a regularization of the $\ell_\infty$-norm with restriction to an adaptively chosen coordinate set. For i.i.d. inputs with independent, symmetric, centered, unit-variance sub-Gaussian coordinates of sub-Gaussian norm at most $σ$, the algorithm achieves terminal discrepancy $O(σ^8\sqrt{n})$ with probability at least $1-\exp(-Ω(σ^3\sqrt{n}))$. If the coordinates are independently masked by Bernoulli variables with mean $k/n$, where $k\gtrsim(\log n)^2$, the bound improves to $O(σ^8\sqrt{k})$, with failure probability $\exp(-Ω(σ^3\sqrt{k}))$. Both guarantees hold for every prescribed finite horizon $T$, with no dependence on $T$. The dense result substantially generalizes a theorem of Bansal and Spencer (2020) for Rademacher inputs and gives an efficient $O(\sqrt{n})$ bound for Gaussian inputs, as conjectured by Gamarnik et al. (2022). When $T$ is polynomially larger than $n$, this is conditionally close to optimal: under worst-case hardness assumptions for standard approximate lattice problems, Vafa and Vaikuntanathan (2025) showed that no polynomial-time algorithm, even offline, can improve the $\sqrt{n}$ scale by a fixed polynomial factor in $T/n$.
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.
Markov and lattice bases for Forman-Ricci curvature of graphs
Discrete Forman-Ricci curvature is a quantity associated to each edge of a graph that describes its local geometry. It has proven to be a useful tool in network analysis in a variety of applications. Recent work by Roost et al.\ (2024) proposed the use of Markov bases to sample from the space of graphs with prescribed vertex degrees and curvatures. In the present work, we further develop the algebraic and combinatorial theory of these Markov bases. We show that the degree of an indispensable Markov move grows at least quadratically in the maximum degree of the graph. In light of this result, a compact description of all Markov basis elements seems unattainable at present. Instead, we find a lattice basis for this problem using only degree three Markov moves, which allows us to employ recently-developed reinforcement learning methods for finding Markov moves that can be applied to a specific graph.
The equality case of Ehrhart's volume conjecture
We prove that every full-dimensional compact convex body in $\mathbb R^n$ whose barycenter is its unique interior lattice point and whose volume is $(n+1)^n/n!$ is a unimodular image of the simplex $(n+1)Δ_n-(1,\dots,1)$. This resolves the equality case of Ehrhart's volume conjecture, as a counterpart of the inequality part recently proved by OpenAI. The main result of this paper is obtained by generative AI, particularly GPT-5.6-sol, Fable 5, and the Danus system.
Lattice point sumsets and asymptotic approximate groups
We establish new quantitative bounds for asymptotic approximate groups arising from finite subsets of lattices and, more generally, semi-linear subsets of abelian groups. Our approach combines Khovanskii's theorem on sumsets with Rogers and Zong bounds for the covering numbers.
Collinear Interior Lattice Points in Triangles Satisfying $B(T)\in\{4,5\}$
A positive integer $k$ is called $Bn$-collinear if at least one lattice triangle with $n$ boundary points ($B(T)=n$) and $k$ interior lattice points exists, and every such triangle has all of its interior points collinear. Building on prior work on $B(T)=3$, we completely classify the $B4$- and $B5$-collinear integers. Using canonical lattice classifications together with arithmetic properties of Alder's generalized totient function $g(k)$, we prove that the only $B4$-collinear integers are $k\in\{1,2,5\}$. Furthermore, we show that no integer is $B5$-collinear. This establishes a structural contrast: while three and four boundary lattice points exhibit some collinearity constraints, five boundary points disrupt the pattern.
Lattice walks, pattern statistics, and Riordan arrays
We introduce a new class of Riordan matrices corresponding to lattice walks with colored steps. We show that this class corresponds to a class of pseudo-involutions and then find both generating functions and explicit combinatorial formulas for entries of these Riordan matrices. We use these Riordan matrices to find an explicit combinatorial formula for the occurences of an arbitrary pattern in our lattice walks. Finally, we define a distributive lattice on our lattice walks and connect our new RNA matrices to Whitney numbers of lattices.
On the number of factorable induced subgraphs
Let $F$ be an $r$-vertex graph. In this paper, we study the $F$-factor problem in random induced subgraphs of dense graphs. We show that for any $r$-vertex graph $F$ and $γ>0$, if $H$ is an $n$-vertex graph with minimum degree at least $(1-1/χ_{cr}(F)+γ)n$, then for every fixed $p \in (0,1)$, the random induced subgraph $H[p]$ contains an $F$-factor with probability at least $1/(rq)-o_n(1)$, where $q\in \mathbb{N}$ is the order of certain coset group defined from $H$. The probability is asymptotically best possible for infinitely many $F$ and $H$ and yields that a $1/(rq)-o_n(1)$ proportion of the subsets of $H$ induce $F$-factors, interestingly, regardless of whether $H$ itself admits an $F$-factor. Similar results are obtained for perfect matchings in hypergraphs under minimum degree conditions. Our proof combines concentration inequalities, lattice point counting in $\mathbb{Z}^d$ and structural theorems for $F$-factors in dense (hyper)graphs.
Nearly linear lattice coverings of arbitrary convex bodies
For an $n$-dimensional convex body $K$, let $θ_L(K)$ denote its lattice covering density. We prove that there is an absolute constant $C>0$ such that, uniformly over all such bodies, \[
θ_L(K) \le Cn\log n\,(\log\log n)^{10/3+o(1)}. \] The $o(1)$ term is independent of $K$. This improves the previous universal bound $O(n^2)$ of Ordentlich, Regev, and Weiss and, together with the classical linear lower bound of Coxeter, Few, and Rogers for Euclidean balls, determines the optimal polynomial growth exponent of the worst-case lattice covering density.
The main innovation is a vertical--horizontal construction that converts a uniform weight estimate on the full Boolean cube into a lattice covering of any convex body. In a low-dimensional vertical space, folded Gaussians and a finite-field Kakeya theorem select, for every translate, a Boolean pattern with total normalized weight $d^{-5/2+o(1)}$. Gaussian marginals transfer the resulting weights to sections of the body, while entropy yields one horizontal lattice with a very small uncovered set. Finite-index lifting then assembles all shifts into a single lattice, and Rogers' completion lemma makes the covering exact.
Redundant moments of non-melonic random tensor models: simplifying the tensor bootstrap
We prove the redundancy of a family (the so-called melonic family) of large-$N$ moments in arbitrary tensor models. This reduces the number of independent entries in the positive semidefinite matrices that build the core of the tensor bootstrap (for tensor models there are already several generalizations of the positive semidefinite Toeplitz and Hankel matrices of lattice gauge theory and random matrix bootstrap, respectively). More concretely, we prove that any melonic operator $C$ at large-$N$ has an expectation value that depends on $C$ exclusively through its degree. A similar statement is shown here to hold for the Schwinger-Dyson equations of melonic moments. The strength of our result is also its scope, which is not limited to melonic tensor models.