lattice
4310 papers tagged with this keyword
A Lower Bound Theorem for strongly regular CW spheres with up to $2d+1$ vertices
Published
• View Publication
• BIB
In 1967, Grünmbaum conjectured that any $d$-dimensional polytope with $d+s\leq 2d$ vertices has at least
\[φ_k(d+s,d) = {d+1 \choose k+1 }+{d \choose k+1 }-{d+1-s \choose k+1 } \] $k$-faces. This conjecture along with the characterization of equality cases was recently proved by the author. In this paper, several extensions of this result are established. Specifically, it is proved that lattices with the diamond property (for example, abstract polytopes) and $d+s\leq 2d$ atoms have at least $φ_k(d+s,d)$ elements of rank $k+1$. Furthermore, in the case of face lattices of strongly regular CW complexes representing normal pseudomanifolds with up to $2d$ vertices, a characterization of equality cases is given. Finally, sharp lower bounds on the number of $k$-faces of strongly regular CW complexes representing normal pseudomanifolds with $2d+1$ vertices are obtained. These bounds are given by the face numbers of certain polytopes with $2d+1$ vertices.
Partial permutohedra
Published
• View Publication
• BIB
Partial permutohedra are lattice polytopes which were recently introduced and studied by Heuer and Striker. For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is the convex hull of all vectors in $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. We study the face lattice, volume and Ehrhart polynomial of $\mathcal{P}(m,n)$, and our methods and results include the following. For any $m$ and $n$, we obtain a bijection between the nonempty faces of $\mathcal{P}(m,n)$ and certain chains of subsets of $\{1,\dots,m\}$, thereby confirming a conjecture of Heuer and Striker, and we then use this characterization of faces to obtain a closed expression for the $h$-polynomial of $\mathcal{P}(m,n)$. For any $m$ and $n$ with $n\ge m-1$, we use a pyramidal subdivision of $\mathcal{P}(m,n)$ to establish a recursive formula for the normalized volume of $\mathcal{P}(m,n)$, from which we then obtain closed expressions for this volume. We also use a sculpting process (in which $\mathcal{P}(m,n)$ is reached by successively removing certain pieces from a simplex or hypercube) to obtain closed expressions for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with arbitrary $m$ and fixed $n\le 3$, the normalized volume of $\mathcal{P}(m,4)$ with arbitrary $m$, and the Ehrhart polynomial of $\mathcal{P}(m,n)$ with fixed $m\le4$ and arbitrary $n\ge m-1$.
Lattice models, differential forms, and the Yang-Baxter equation
We introduce new methods to describe admissible states of the six-vertex and the eight-vertex lattice models of statistical mechanics. For the six-vertex model, we view the admissible states as differential forms on a grid graph. This yields a new proof of the correspondence between admissible states and 3-colorings of a rectangular grid. For the eight-vertex model, we interpret the set of admissible states as an $\mathbb{F}_2$-vector space. This viewpoint lets us enumerate the set of admissible states. Finally, we find necessary conditions for a Yang-Baxter equation to hold for the general eight-vertex model.
Lattice Size of Width One Lattice Polytopes in $\mathbb{R}^3$
The lattice size $\operatorname{ls_Δ}(P)$ of a lattice polytope $P$ is a geometric invariant, which was formally introduced in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve, but appeared implicitly earlier in geometric combinatorics. In this paper, we show that for an empty lattice polytope $P\subset\mathbb{R}^3$ there exists a reduced basis of $\mathbb{Z}^3$ which computes its lattice size $\operatorname{ls_Δ}(P)$. This leads to a fast algorithm for computing $\operatorname{ls_Δ}(P)$ for such $P$. We also extend this result to another class of lattice width one polytopes $P\subset\mathbb{R}^3$. We then provide a counterexample demonstrating that this result does not hold true for an arbitrary lattice polytope $P\subset\mathbb{R}^3$ of lattice width one.
Robustness of Excitations in the Random Dimer Model
The ground state solution of the random dimer model is at a critical point after, which has been shown with random link excitations. In this paper we test the robustness of the random dimer model to the random link excitation by imposing the maximum weight excitation. We numerically compute the scaling exponents of the curves arising in the model as well as the fractal dimension. Although strong finite size corrections are present, the results are compatible with that of the random link excitation. Furthermore, another form of excitation, the ε - coupling excitation is studied. We find that near-optimal configurations belong to the same universality class as the travelling salesman problem. Thus, we confirm a conjecture on the scaling properties of combinatorial optimisation problems, for the specific case of minimum weight perfect matchings on 2-dimensional lattices. This document was submitted as my thesis project for the MSc Complex Systems Modelling course at King's College London in 2021. In particular, I would like to thank my supervisor, Dr Gabriele Sicuro for his insights and guidance.
Thin polytopes: Lattice polytopes with vanishing local $h^*$-polynomial
Published
• View Publication
• BIB
In this paper we study the novel notion of thin polytopes: lattice polytopes whose local $h^*$-polynomials vanish. The local $h^*$-polynomial is an important invariant in modern Ehrhart theory. Its definition goes back to Stanley with fundamental results achieved by Karu, Borisov & Mavlyutov, Schepers, and Katz & Stapledon. The study of thin simplices was originally proposed by Gelfand, Kapranov and Zelevinsky, where in this case the local $h^*$-polynomial simply equals its so-called box polynomial. Our main results are the complete classification of thin polytopes up to dimension 3 and the characterization of thinness for Gorenstein polytopes. The paper also includes an introduction to the local $h^*$-polynomial with a survey of previous results.
Fractons on Graphs and Complexity
Published
• View Publication
• BIB
We introduce two exotic lattice models on a general spatial graph. The first one is a matter theory of a compact Lifshitz scalar field, while the second one is a certain rank-2 $U(1)$ gauge theory of fractons. Both lattice models are defined via the discrete Laplacian operator on a general graph. We unveil an intriguing correspondence between the physical observables of these lattice models and graph theory quantities. For instance, the ground state degeneracy of the matter theory equals the number of spanning trees of the spatial graph, which is a common measure of complexity in graph theory ("GSD = complexity"). The discrete global symmetry is identified as the Jacobian group of the graph. In the gauge theory, superselection sectors of fractons are in one-to-one correspondence with the divisor classes in graph theory. In particular, under mild assumptions on the spatial graph, the fracton immobility is proven using a graph-theoretic Abel-Jacobi map.
Tau functions, infinite Grassmannians and lattice recurrences
Published in J. Math. Phys. 64, 023502 (2023)
• View Publication
• BIB
The addition formulae for KP $τ$-functions, when evaluated at lattice points in the KP flow group orbits in the infinite dimensional Sato-Segal-Wilson Grassmannian, give infinite parametric families of solutions to discretizations of the KP hierarchy. The CKP hierarchy may similarly be viewed as commuting flows on the Lagrangian sub-Grassmannian of maximal isotropic subspaces with respect to a suitably defined symplectic form. Evaluating the $τ$-functions at a sublattice of points within the KP orbit, the resulting discretization gives solutions both to the hyperdeterminantal relations (or Kashaev recurrence) and the hexahedron (or Kenyon-Pemantle) recurrence.
Bidding combinatorial games
Published
• View Publication
• BIB
Combinatorial Game Theory is a branch of mathematics and theoretical computer science that studies sequential 2-player games with perfect information. Normal play is the convention where a player who cannot move loses. Here, we generalize the classical alternating normal play to infinitely many game families, by means of discrete Richman auctions (Develin et al. 2010, Larsson et al. 2021, Lazarus et al. 1996). We generalize the notion of a perfect play outcome, and find an exact characterization of outcome feasibility. As a main result, we prove existence of a game form for each such outcome class; then we describe their lattice structures. By imposing restrictions to the general families, such as impartial and {\em symmetric termination}, we find surprising analogies with alternating play.
Exact antichain saturation numbers via a generalisation of a result of Lehman-Ron
Published
• View Publication
• BIB
For given positive integers $k$ and $n$, a family $\mathcal{F}$ of subsets of $\{1,\dots,n\}$ is $k$-antichain saturated if it does not contain an antichain of size $k$, but adding any set to $\mathcal{F}$ creates an antichain of size $k$. We use sat$^*(n, k)$ to denote the smallest size of such a family. For all $k$ and sufficiently large $n$, we determine the exact value of sat$^*(n, k)$. Our result implies that sat$^*(n, k)=n(k-1)-Θ(k\log k)$, which confirms several conjectures on antichain saturation. Previously, exact values for sat$^*(n,k)$ were only known for $k$ up to $6$.
We also prove a generalisation of a result of Lehman-Ron which may be of independent interest. We show that given $m$ disjoint chains in the Boolean lattice, we can create $m$ disjoint skipless chains that cover the same elements (where we call a chain skipless if any two consecutive elements differ in size by exactly one).
Machine Learning the Dimension of a Polytope
Published
• View Publication
• BIB
We use machine learning to predict the dimension of a lattice polytope directly from its Ehrhart series. This is highly effective, achieving almost 100% accuracy. We also use machine learning to recover the volume of a lattice polytope from its Ehrhart series, and to recover the dimension, volume, and quasi-period of a rational polytope from its Ehrhart series. In each case we achieve very high accuracy, and we propose mathematical explanations for why this should be so.
Combinatorial descriptions of biclosed sets in affine type
Published in Comb. Theory 4(2) (2024), #7
• View Publication
• BIB
Let $W$ be a Coxeter group and let $Φ^+$ be its positive roots. A subset $B$ of $Φ^+$ is called biclosed if, whenever we have roots $α$, $β$ and $γ$ with $γ\in \mathbb{R}_{>0} α+ \mathbb{R}_{>0} β$, if $α$ and $β\in B$ then $γ\in B$ and, if $α$ and $β\not\in B$, then $γ\not\in B$. The finite biclosed sets are the inversion sets of the elements of $W$, and the containment between finite inversion sets is the weak order on $W$. Matthew Dyer suggested studying the poset of all biclosed subsets of $Φ^+$, ordered by containment, and conjectured that it is a complete lattice. As progress towards Dyer's conjecture, we classify all biclosed sets in the affine root systems. We provide both a type uniform description, and concrete models in the classical types $\widetilde{A}$, $\widetilde{B}$, $\widetilde{C}$, $\widetilde{D}$. We use our models to prove that biclosed sets form a complete lattice in types $\widetilde{A}$ and $\widetilde{C}$.
An algebraic characterization of self-generating chemical reaction networks using semigroup models
Published
• View Publication
• BIB
The ability of a chemical reaction network to generate itself by catalyzed reactions from constantly present environmental food sources is considered a fundamental property in origin-of-life research. Based on Kaufmann's autocatalytic sets, Hordijk and Steel have constructed the versatile formalism of catalytic reaction systems (CRS) to model and to analyze such self-generating networks, which they named reflexively autocatalytic and food generated (RAF). Previously, it was established that the subsequent and simultaenous catalytic functions of the chemicals of a CRS give rise to an algebraic structure, termed a semigroup model. The semigroup model allows to naturally consider the function of any subset of chemicals on the whole CRS. This gives rise to a generative dynamics by iteratively applying the function of a subset to the externally supplied food set. The fixed point of this dynamics yields the maximal self-generating set of chemicals. Moreover, the lattice of all functionally closed self-generating sets of chemicals is discussed and a structure theorem for this lattice is proven. It is also shown that a CRS which contains self-generating sets of chemicals cannot be nilpotent and thus a useful link to the combinatorial theory of finite semigroups is established. The main technical tool introduced and utilized in this work is the representation of the semigroup elements as decorated rooted trees, allowing to translate the generation of chemicals from a given set of resources into the semigroup language.
Grassmannians in the Lattice points of Dilations of the Standard Simplex
A remarkable connection between the cohomology ring ${\rm H^{\ast}(Gr}(d, d+r),\Z)$ of the Grasssmannian ${\rm Gr}(d,d+r)$ and the lattice points of the dilation $rΔ_{d}$ of the standard d-simplex is investigated. The natural grading on the cohomology induces different gradings of the lattice points of $rΔ_{d}$. This leads to different refinements of the Ehrhart polynomial $L_{Δ_{d}}(r)$ of the standard $d$-simplex. We study two of these refinements which are defined by the weights $(1,1,\dots,1)$ and $(1,2,\dots, d)$. One of the refinements interprets the Poincaré polynomial ${\rm P(Gr}(d,d+r),z)$ as the counting of the lattice points which lie on the slicing hyperplanes of the dilation $rΔ_d$. Therefore, on the combinatorial level the Poincaré polynomial of the Grassmannian Gr$(d,d+r)$ is a refinement of the Ehrhart polynomial $L_{Δ_d}(r)$ of the standard $d$-simplex $Δ_{d}$.
Extension of sectional pseudocomplementation in posets
Sectional pseudocomplementation (sp-complementation) on a poset is a partial operation $*$ which associates with every pair $(x,y)$ of elements, where $x \ge y$, the pseudocomplement $x*y$ of $x$ in the upper section $[y)$. Any total extension $\to$ of $*$ is said to be an extended sp-complementation and is considered as an implication-like operation. Extended sp-complementations have already be studied on semilattices and lattices. We describe several naturally arising classes of general posets with extended sp-complementation, present respective elementary properties of this operation, demonstrate that two other known attempts to isolate particular such classes are in fact not quite correct, and suggest suitable improvements.
The web of reflexive polygons is connected
We discuss the problem on the connectedness of various webs of lattice polytopes by introducing a geometric point of view from the toric Mori theory. To this end, we provide a combinatorial description of toric Sarkisov links in terms of certain sets of lattice points, which we call primitive generating sets. In two dimensions, the description is further translated into the language of lattice polygons. As an application, we prove in two ways (constructive and non-constructive) that reflexive or terminal polygons form a single connected web via inclusion relations even without taking modulo unimodular equivalences.
Exactly-Solvable Self-Trapping Lattice Walks. Part I: Trapping in Ladder Graphs
A growing self-avoiding walk (GSAW) is a stochastic process that starts from the origin on a lattice and grows by occupying an unoccupied adjacent lattice site at random. A sufficiently long GSAW will reach a state in which all adjacent sites are already occupied by the walk and become trapped, terminating the process. It is known empirically from simulations that on a square lattice, this occurs after a mean of 71 steps. In Part I of a two-part series of manuscripts, we consider simplified lattice geometries only two sites high ("ladders") and derive generating functions for the probability distribution of GSAW trapping. We prove that a self-trapping walk on a square ladder will become trapped after a mean of 17 steps, while on a triangular ladder trapping will occur after a mean of 941/48 (~19.6 steps). We discuss additional implications of our results for understanding trapping in the "infinite" GSAW.
Product of exponentials concentrates around the exponential of the sum
Published
• View Publication
• BIB
For two matrices $A$ and $B$, and large $n$, we show that most products of $n$ factors of $e^{A/n}$ and $n$ factors of $e^{B/n}$ are close to $e^{A + B}$. This extends the Lie-Trotter formula. The elementary proof is based on the relation between words and lattice paths, asymptotics of binomial coefficients, and matrix inequalities. The result holds for more than two matrices.
Generalization of the addition and restriction theorems from free arrangements to the class of projective dimension one
Published
• View Publication
• BIB
We study a generalized version of Terao's famous addition theorem for free arrangements to the category of those with projective dimension one. Namely, we give a criterion to determine the algebraic structure of logarithmic derivation modules of the addition when the deletion and restrictions are free with a mild condition. Also, we introduce a class of divisionally SPOG arrangements whose SPOGness depends only on the intersection lattice like Terao's famous conjecture on combinatoriality of freeness.
Dual structures on Coxeter and Artin groups of rank three
Published in Geom. Topol. 28 (2024) 4295-4336
• View Publication
• BIB
We extend the theory of dual Coxeter and Artin groups to all rank-three Coxeter systems, beyond the previously studied spherical and affine cases. Using geometric, combinatorial, and topological techniques, we show that rank-three noncrossing partition posets are EL-shellable lattices and give rise to Garside groups isomorphic to the associated standard Artin groups. Within this framework, we prove the $K(π, 1)$ conjecture, the triviality of the center, and the solubility of the word problem for rank-three Artin groups. Some of our constructions apply to general Artin groups; we hope they will help develop complete solutions to the $K(π, 1)$ conjecture and other open problems in the area.