lattice ↗ reference
4394 papers tagged with this keyword
Ehrhart quasi-polynomials via Barnes polynomials and discrete moments of parallelepipeds
We give novel and explicit formulas for the Ehrhart quasi-polynomials of rational simple polytopes, in terms of Barnes polynomials and discrete moments of half-open parallelepipeds. These formulas also hold for all positive dilations of a rational polytope. There is an interesting appearance of an extra complex z-parameter, which seems to allow for more compact formulations. We also give similar formulas for discrete moments of rational polytopes, and their positive dilates, objects known in the literature as sums of polynomials over a polytope. The appearance of the Barnes polynomials and the Barnes numbers allow for explicit computations. From this work, it is clear that the complexity of computing Ehrhart quasi-polynomials lies mainly in the computation of various discrete moments of parallelepipeds. These discrete moments are in general summed over a particular lattice flow on a compact torus, defined in this paper. Some of the consequences involve novel vanishing identities for rational polytopes. As another consequence, we obtain a differential equation for discrete moments of rational polytopes, which extends the work of Eva Linke. For smooth polytopes, we obtain novel and much simpler formulations of Ehrhart polynomials, discrete moments, and vanishing identities that may be of independent interest from the perspective of Barnes polynomials and Barnes numbers. These formulations show the utility of Barnes polynomials in geometric combinatorics, due to their very rich structure that extends the 1-dimensional Bernoulli polynomials.
Frame eversion and contextual geometric rigidity
We prove rigidity results describing contextually-constrained maps defined on Grassmannians and manifolds of ordered independent line tuples in finite-dimensional vector or Hilbert spaces. One statement in the spirit of the Fundamental Theorem of Projective Geometry classifies maps between full Grassmannians of two $n$-dimensional Hilbert spaces, $n\ge 3$, preserving dimension and lattice operations for pairs with commuting orthogonal projections, as precisely those induced by semilinear injections unique up to scaling.
In a different but related direction, denote the manifolds of ordered orthogonal (linearly-independent) $n$-tuples of lines in an $n$-dimensional Hilbert space $V$ by $\mathbb{F}^{\perp}(V)$ (respectively $\mathbb{F}(V)$) and, for partitions $π$ of the set $\{1..n\}$, call two tuples $π$-linked if the spans along $π$-blocks agree. A Wigner-style rigidity theorem proves that the symmetric maps $\mathbb{F}^{\perp}(\mathbb{C}^n)\to \mathbb{F}(\mathbb{C}^n)$, $n\ge 3$ respecting $π$-linkage are precisely those induced by semilinear injections, hence by linear or conjugate-linear maps if also assumed measurable. On the other hand, in the $\mathbb{F}(\mathbb{C}^n)$-defined analogue the only other possibility is a qualitatively new type of purely-contextual-global symmetry transforming a tuple $(\ell_i)_i$ of lines into $\left(\left(\bigoplus_{j\ne i}\ell_j\right)^{\perp}\right)_i$.
Coarsening Causal DAG Models
Directed acyclic graphical (DAG) models are a powerful tool for representing causal relationships among jointly distributed random variables, especially concerning data from across different experimental settings. However, it is not always practical or desirable to estimate a causal model at the granularity of given features in a particular dataset. There is a growing body of research on causal abstraction to address such problems. We contribute to this line of research by (i) providing novel graphical identifiability results for practically-relevant interventional settings, (ii) proposing an efficient, provably consistent algorithm for directly learning abstract causal graphs from interventional data with unknown intervention targets, and (iii) uncovering theoretical insights about the lattice structure of the underlying search space, with connections to the field of causal discovery more generally. As proof of concept, we apply our algorithm on synthetic and real datasets with known ground truths, including measurements from a controlled physical system with interacting light intensity and polarization.
Source localisation in simple random walks
We consider the problem of locating the source (starting vertex) of a simple random walk, given a snapshot of the set of edges (or vertices) visited in the first $n$ steps. Considering lattices $\mathbb{Z}^d$, in dimensions $d \geq 5$, we show that the source can be identified (a) with probability bounded away from $0$ using one guess, and (b) with probability arbitrarily close to $1$ using a constant number of guesses. On the other hand, for dimensions $d \leq 2$, we show that one cannot locate the source with positive constant probability. Our arguments apply more generally to strongly transient and recurrent simple random walks on vertex-transitive graphs.
Solution to a Problem of Erdős Concerning Distances and Points
In 1997, Erdős asked whether for arbitrarily large $n$ there exists a set of $n$ points in $\mathbb{R}^2$ that determines $O(\frac{n}{\sqrt{\log n}})$ distinct distances while satisfying the local constraint that every 4-point subset determines at least 3 distinct pairwise distances. We construct $n$-point sets from an $m\times m$ box of the lattice $L = \{(x,\sqrt{2}y):x,y \in \mathbb{Z}\} \subset \mathbb{R}^2.$ The distinct distance bound follows from applying Bernays' theorem to the number of integers represented by the binary quadratic form $u^2 + 2v^2$. The local 4-point constraint is verified through Perucca's similarity classification of the six similarity types determining exactly two distances.
Chip-firing on the Lattice of Nonnegative Integer Points
Published
• View Publication
• BIB
Chip-firing on a directed graph is a game in which chips, a discrete commodity, are placed on the vertices of the graph and are transferred between vertices. In this paper, we study a chip-firing game on the Hasse diagram of the lattice of nonnegative integer points on the plane, where we start with $2^n$ chips at the origin. When we fire a vertex $v$, we send one chip to each out-neighbor. We fire until we reach a stable configuration, a distribution of chips where no vertex can fire.
We study the intermediate firing configuration: a table that assigns to each vertex the total number of chips that pass through it. We prove that the nonzero entries of the stable configuration correspond to the odd entries of the intermediate configuration. The intermediate configuration consists of three parts: the top triangle, the midsection, and the bottom triangle. We describe properties of each part. We study properties of each row and the number of rows of the intermediate configuration. We also explore properties of the difference tables, which are tables of first differences of each row of the intermediate firing configuration.
Flow cones of graphs with cycles and locally gentle algebras
Flow cones of a directed acyclic graph admit a family of unimodular triangulations given by Danilov, Karzanov, and Koshevoy (DKK) whose normal fans are related to (generalizations) of the associahedron and permutahedron. A correspondence between these triangulations for certain graphs and maximal cones of a $g$-vector fan of a gentle quiver associated to the graph was discovered by von Bell, Braun, Bruegge, Hanely, Peterson, Serhiyenko, and Yip in 2022. This correspondence has been fruitful in uncovering lattice structures in the triangulations. We start by showing that this correspondence is actually a linear isomorphism. We then consider flow cones of certain graphs with cycles. For this case, we give a DKK-like triangulation of the cone, and extend the correspondence to the finite $g$-vector fan of a corresponding locally gentle quiver. In addition, we extend to cyclic graphs a mysterious result of Postnikov--Stanley and Baldoni--Vergne, giving the volume of flow polytopes of acyclic graphs as the number of certain integer flows on the same graph.
We illustrate our results with a two-parameter family of cyclic graphs that includes a cycle graph and nested 2-cycles as special cases. We show that the fans of its DKK-like triangulations are respectively isomorphic to the normal fan of the cyclohedron and of a new polytope with the same $f$-vector but different combinatorial type than the permutahedron.
Approximate FKG inequalities for phase-bound spin systems
The FKG inequality is an invaluable tool in monotone spin systems satisfying the FKG lattice condition, which provides positive correlations for all coordinate-wise increasing functions of spins. However, the FKG lattice condition is somewhat brittle and is not preserved when confining a spin system to a particular phase. For instance, consider the Curie-Weiss model, which is a model of a ferromagnet with two phases at low temperature corresponding to positive and negative overall magnetization. It is not a priori clear if each phase internally has positive correlations for increasing functions, or if the positive correlations in the model arise primarily from the global choice of positive or negative magnetization.
In this article, we show that the individual phases do indeed satisfy an approximate form of the FKG inequality in a class of generalized higher-order Curie-Weiss models (including the standard Curie-Weiss model as a special case), as well as in ferromagnetic exponential random graph models (ERGMs). To cover both of these settings, we present a general result which allows for the derivation of such approximate FKG inequalities in a straightforward manner from inputs related to metastable mixing; we expect that this general result will be widely applicable. In addition, we derive some consequences of the approximate FKG inequality, including a version of a useful covariance inequality originally due to Newman as well as Bulinski and Shabanovich. We use this to extend the proof of the central limit theorem for ERGMs within a phase at low temperatures, due to the second author, to the non-forest phase-coexistence regime, answering a question posed by Bianchi, Collet, and Magnanini for the edge-triangle model.
On the number of antichains in $\{0,1,2\}^n$
We provide precise asymptotics for the number of antichains in the poset $\{0,1,2\}^n$, answering a question of Sapozhenko. Finding improved estimates for this number was also a problem suggested by Noel, Scott, and Sudakov, who obtained asymptotics for the logarithm of the number. Key ingredients for the proof include a graph-container lemma to bound the number of expanding sets in a class of irregular graphs, isoperimetric inequalities for generalizations of the Boolean lattice, and methods from statistical physics based on the cluster expansion.
Reconfiguration of Hamiltonian Cycles in Rectangular Grid Graphs
An \textit{\(m \times n\) grid graph} is the induced subgraph of the square lattice whose vertex set consists of all integer grid points \(\{(i,j) : 0 \leq i < m,\ 0 \leq j < n\}\). Let $H$ and $K$ be Hamiltonian cycles in an $m \times n$ grid graph $G$. We study the problem of reconfiguring $H$ into $K$, \textcolor{blue}{\textbullet} where the Hamiltonian cycles are viewed as vertices of a reconfiguration graph \textcolor{blue}{\textbullet}, using a sequence of local transformations called \textit{moves}. A \textit{box} of $G$ is a unit square face. A box with vertices $a, b, c, d$ is \textit{switchable} in $H$ if exactly two of its edges belong to $H$, and these edges are parallel. Given such a box with edges $ab$ and $cd$ in $H$, a \textit{switch move} removes $ab$ and $cd$, and adds $bc$ and $ad$. A \textit{double-switch move} consists of performing two consecutive switch moves. If, after a double-switch move, we obtain a Hamiltonian cycle, we say that the double-switch move is \textit{valid}.
We prove that any Hamiltonian cycle $H$ can be transformed into any other Hamiltonian cycle $K$ via a sequence of valid double-switch moves, such that every intermediate graph remains a Hamiltonian cycle. Moreover, assuming $n \geq m$, the number of required moves is bounded by $mn^2$.
Reconfiguration of Hamiltonian Paths and Cycles in Rectangular Grid Graphs
\noindent An \textit{\(m \times n\) grid graph} is the induced subgraph of the square lattice whose vertex set consists of all integer grid points \(\{(i,j) : 0 \leq i < m,\ 0 \leq j < n\}\). Let $H$ and $K$ be Hamiltonian cycles in an $m \times n$ grid graph $G$. We study the problem of reconfiguring $H$ into $K$ using a sequence of local transformations called \textit{moves}. A \textit{box} of $G$ is a unit square face. A box with vertices $a, b, c, d$ is \textit{switchable} in $H$ if exactly two of its edges belong to $H$, and these edges are parallel. Given such a box with edges $ab$ and $cd$ in $H$, a \textit{switch move} removes $ab$ and $cd$, and adds $bc$ and $ad$. A \textit{double-switch move} consists of performing two consecutive switch moves. If, after a double-switch move, we obtain a Hamiltonian cycle, we say that the double-switch move is \textit{valid}.
We prove that any Hamiltonian cycle $H$ can be transformed into any other Hamiltonian cycle $K$ via a sequence of valid double-switch moves, such that every intermediate graph remains a Hamiltonian cycle.
This result extends to Hamiltonian paths. In that case, we also use single-switch moves and a third operation, the \textit{backbite move}, which enables the relocation of the path endpoints.
Canonical Lattices and Integer Relations Associated to Rational Fans
We propose a canonical local-to-global lattice theory for rational fans. We define the $\textit{ray lattice } L_{\mathrm{rays}}(Σ)$ and the $\textit{relation lattice } L_{\mathrm{rel}}(Σ)$ as invariants functorial under fan isomorphisms. We introduce $\textit{star-local relation lattices}$, defined via the relation lattice of the localized quotient fan, which capture the linear dependencies visible within local neighborhoods. We define a $\textit{codimension filtration}$ on the global relation lattice and prove a generation theorem: the global lattice is generated by local relations supported on the stars of cones of codimension at least 1. This filtration is sensitive to the facial structure of $Σ$; explicit examples and a conjecture suggest that subdivisions can only preserve or lower filtration depths, distinguishing fans with different combinatorial topologies.
Line Shellings of Geometric Lattices
Inspired by Bruggesser-Mani's line shellings of polytopes, we introduce line shellings for the lattice of flats of a matroid: given a normal complex for a Bergman fan of a matroid induced by a building set, we show that the lexicographic order of the coordinates of its vertices is a shelling order. This gives a new proof of Björner's classical result that the order complex of the lattice of flats of a matroid is shellable, and demonstrates shellability for all nested set complexes for matroids.
Flat simplices and kissing polytopes
We consider how flat a lattice simplex contained in the hypercube $[0,k]^d$ can be. This question is related to the notion of kissing polytopes: two lattice polytopes contained in the hypercube $[0,k]^d$ are kissing when they are disjoint but their distance is as small as possible. We show that the smallest possible distance of a lattice point $P$ contained in the cube $[0,k]^3$ to a lattice triangle in the same cube that does not contain $P$ is $$ \frac{1}{\sqrt{3k^4-4k^3+4k^2-2k+1}} $$ when $k$ is at least $2$. We also improve the known lower bounds on the distance of kissing polytopes for $d$ at least $4$ and $k$ at least $2$.
Parity-Dependent Real-Rootedness in Independence Polynomials of Generalized Petersen Graphs
We investigate the distribution of zeros of the independence polynomial ${\rm I}(G, x)$ for the family of Generalized Petersen graphs ${\rm GP}(n, k)$ in the complex plane. While the independence numbers and coefficients of these graphs have been studied, the global behavior of their roots remains largely unexplored. Using an exact transfer matrix algorithm parameterized by $k$, we compute ${\rm I}({\rm GP}(n,k), x)$ for $n$ up to $30$ and $k \in \{1, 2, 3, 4\}$. Our numerical analysis reveals a striking parity-based dichotomy: for odd $k$, the roots exhibit complex conjugate structures accumulating on closed curves, whereas for even $k$, the roots appear to be strictly real and negative. Motivated by this evidence, we conjecture that ${\rm I}({\rm GP}(n,k), x)$ is real-rooted, and hence log-concave, if and only if $k$ is even. This phenomenon connects algebraic properties of ${\rm GP}(n,k)$ to questions about zero-free regions and limiting behavior in the hard-core lattice gas model.
Hilbert Polynomials of Calabi Yau Hypersurfaces in Toric Varieties and Lattice Points in Polytope Boundaries
We show that the Hilbert polynomial of a Calabi-Yau hypersurface $Z$ in a smooth toric variety $M$ associated to a convex polytope $Δ$ is given by a lattice point count in the polytope boundary $\partial Δ,$ just as the Hilbert polynomial of $M$ is known to be given by a lattice point count in the convex polytope $Δ.$ Our main tool is a computation of the Euler class in $K$-theory of the normal line bundle to the hypersurface $Z,$ in terms of the Euler classes of the divisors corresponding to the facets of the moment polytope. We observe a remarkable parallel between our expression for the Euler class and the inclusion-exclusion principle in combinatorics. To obtain our result we combine these facts with the known relation between lattice point counts in the facets of $Δ$ and the Hilbert polynomials of the smooth toric varieties corresponding to these facets.
On counting polygons in a crystal
How many $n$-step polygons exist that contain a given vertex of an infinite quasi-transitive graph $G$? The exponential growth rate of such polygons is identified as the connective constant when $G$ has sub-exponential growth and possesses a so-called square graph height function. The last condition amounts to the requirement that $G$ has a certain ${\Bbb Z}^2$ action of automorphisms. The main theorem extends a result of Hammersley (Proc. Cambridge Philos. Soc. 57 (1961) 516--523) and others for the hypercubic lattice, and responds to Hammersley's challenge to prove such a result for more general "crystals''.
Kac--Moody Fibonacci sequences
We summarize known results on how to generate an infinite family of integer sequences from the root lattices of rank 2 Kac--Moody algebras. We compute and tabulate the first twenty entries of a number of these sequences. This provides an overarching framework for a large class of Fibonacci-type integer sequences, evaluations of Chebyshev S and U-polynomials and others.
Isomorphisms between Covering-Induced Lattices and Classical Geometric Lattices
Lattices induced by coverings arise naturally in matroid theory and combinatorial optimization, providing a structured framework for analyzing relationships between independent sets and closures. In this paper, we explore the structural properties of such lattices, with a particular focus on their rank structure, covering relations, and enumeration of elements per level. Leveraging these structural insights, we investigate necessary and sufficient conditions under which the lattice induced by a covering is isomorphic to classical geometric lattices, including the lattice of partitions, the lattice of subspaces of a vector space over a finite field, and the Dowling lattice. Our results provide a unified framework for comparing these combinatorial structures and contribute to the broader study of lattice theory, matroids, and their applications in combinatorics.
A categorical proof of the nonexistence of (120, 35, 10)-difference sets
A difference set with parameters $(v, k, λ)$ is a subset $D$ of cardinality $k$ in a finite group $G$ of order $v$, such that the number $λ$ of occurrences of $g \in G$ as the ratio $d^{-1}d'$ in distinct pairs $(d, d')\in D\times D$ is independent of $g$. We prove the nonexistence of $(120, 35, 10)$-difference sets, which has been an open problem for 70 years since Bruck introduced the notion of nonabelian difference sets.
Our main tools are 1. a generalization of the category of finite groups to that of association schemes (actually, to that of relation partitions), 2. a generalization of difference sets to equi-distributed functions and its preservation by pushouts along quotients, 3. reduction to a linear programming in the nonnegative integer lattice with quadratic constraints.