lattice ↗ reference
4394 papers tagged with this keyword
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
Published
• View Publication
• BIB
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.
Ergodicity of the Wang--Swendsen--Kotecký algorithm on several classes of lattices on the torus
Published in J. Phys. A: Math. Theor. 55 (2022) 415004
• View Publication
• BIB
We prove the ergodicity of the Wang--Swendsen--Kotecký (WSK) algorithm for the zero-temperature $q$-state Potts antiferromagnet on several classes of lattices on the torus. In particular, the WSK algorithm is ergodic for $q\ge 4$ on any quadrangulation of the torus of girth $\ge 4$. It is also ergodic for $q \ge 5$ (resp. $q \ge 3$) on any Eulerian triangulation of the torus such that one sublattice consists of degree-4 vertices while the other two sublattices induce a quadrangulation of girth $\ge 4$ (resp.~a bipartite quadrangulation) of the torus. These classes include many lattices of interest in statistical mechanics.
Improved bounds for 1-independent percolation on $\mathbb{Z}^n$
Published
• View Publication
• BIB
A 1-independent bond percolation model on a graph $G$ is a probability distribution on the spanning subgraphs of $G$ in which, for all vertex-disjoint sets of edges $S_1$ and $S_2$, the states of the edges in $S_1$ are independent of the states of the edges in $S_2$. Such a model is said to percolate if the random subgraph has an infinite component with positive probability. In 2012 the first author and Bollobás defined $p_{\max}(G)$ to be the supremum of those $p$ for which there exists a 1-independent bond percolation model on $G$ in which each edge is present in the random subgraph with probability at least $p$ but which does not percolate.
A fundamental and challenging problem in this area is to determine the value of $p_{\max}(G)$ when $G$ is the lattice graph $\mathbb{Z}^2$. Since $p_{\max}(\mathbb{Z}^n)\leq p_{\max}(\mathbb{Z}^{n-1})$, it is also of interest to establish the value of $\lim_{n\to\infty} p_{\max}(\mathbb{Z}^n)$. In this paper we significantly improve the best known upper bound on this limit and obtain better upper and lower bounds on $p_{\max}(\mathbb{Z}^2)$. In proving these results, we also give an upper bound on the critical probability for a 1-independent model on the hypercube graph to contain a giant component asymptotically almost surely.
Algebraic area enumeration for open lattice walks
Published in J. Phys. A: Math. Theor. 55 (2022) 485005
• View Publication
• BIB
We calculate the number of open walks of fixed length and algebraic area on a square planar lattice by an extension of the operator method used for the enumeration of closed walks. The open walk area is defined by closing the walks with a straight line across their endpoints and can assume half-integer values in lattice cell units. We also derive the length and area counting of walks with endpoints on specific straight lines and outline an approach for dealing with walks with fully fixed endpoints.
Cutpoints of (1,2) and (2,1) random walks on the lattice of positive half line
Published
• View Publication
• BIB
In this paper, we study (1,2) and (2,1) random walks in varying environments on the lattice of positive half line. We assume that the transition probabilities at site $n$ are asymptotically constants as $n\rightarrow\infty.$ For (1,2) random walk, we get some elaborate asymptotic behaviours of various escape probabilities and hitting probabilities of the walk. Such observations and some delicate analysis of continued fractions and the product of nonnegative matrices enable us to give criteria for finiteness of the number of cutpoints of both (1,2) and (2,1) random walks, which generalize E. Csáki, A. Földes and P. Révész [J. Theor. Probab. 23: 624-638 (2010)] and H.-M. Wang [Markov Processes Relat. Fields 25: 125-148 (2019)]. For near-recurrent random walks, whenever there are infinitely many cutpoints, we also study the asymptotics of the number of cutpoints in $[0,n].$
Asymmetric tropical distances and power diagrams
Published in Algebraic Combinatorics, Volume 6 (2023) no. 5, pp. 1211-1233
• View Publication
• BIB
We investigate the Voronoi diagrams with respect to an asymmetric tropical distance function, also for infinite point sets. These turn out to be much better behaved than the tropical Voronoi diagrams arising from the standard tropical distance, which is symmetric. In particular, we show that the asymmetric tropical Voronoi diagrams may be seen as tropicalizations of power diagrams over fields of real Puiseux series. Our results are then applied to rational lattices and Laurent monomial modules.
Rank-Metric Lattices
Published
• View Publication
• BIB
We introduce the class of rank-metric geometric lattices and initiate the study of their structural properties. Rank-metric lattices can be seen as the $q$-analogues of higher-weight Dowling lattices, defined by Dowling himself in 1971. We fully characterize the supersolvable rank-metric lattices and compute their characteristic polynomials. We then concentrate on the smallest rank-metric lattice whose characteristic polynomial we cannot compute, and provide a formula for it under a polynomiality assumption on its Whitney numbers of the first kind. The proof relies on computational results and on the theory of vector rank-metric codes, which we review in this paper from the perspective of rank-metric lattices. More precisely, we introduce the notion of lattice-rank weights of a rank-metric code and investigate their properties as combinatorial invariants and as code distinguishers for inequivalent codes.
Anti-Ramsey theory problems, lattice point counts on polytopes, and Hodge structures on the cohomology of toric varieties
We find families of graphs $G$ and subgraphs $H$ of $G$ such that the number of edge colorings of $G$ avoiding a monochromatic coloring of $H$ is determined by lattice point counts or a Hodge structure on the cohomology of a certain toric variety. In general, this gives a class of ``anti-Ramsey theory problems'' with a geometric structure. For example, we find one for Ramsey numbers of classes of such graphs. The key observation is that our previous result expressing simplicial chromatic polynomials in terms of $h$-vectors of auxiliary simplicial complexes can be reinterpreted as one on edge colorings of graphs avoiding monochromatic colorings of specified forbidden subgraphs. Specializing to simplicial complexes arising from triangulations of polytopes (e.g. unimodular triangulations), we obtain families of graphs and forbidden subgraphs where edge colorings avoiding monochromatic colorings of the forbidden subgraphs depend on lattice point counts or Hodge structures on the cohomology of toric varieties.
On the homology of the noncrossing partition lattice and the Milnor fibre
Published
• View Publication
• BIB
Let $\mathcal{L}$ be the noncrossing partition lattice associated to a finite Coxeter group $W$. In this paper we construct explicit bases for the top homology groups of intervals and rank-selected subposets of $\mathcal{L}$. We define a multiplicative structure on the Whitney homology of $\mathcal{L}$ in terms of the basis, and the resulting algebra has similarities to the Orlik-Solomon algebra. As an application, we obtain four chain complexes which compute the integral homology of the Milnor fibre of the reflection arrangement of $W$, the Milnor fibre of the discriminant of $W$, the hyperplane complement of $W$ and the Artin group of type $W$, respectively. We also tabulate some computational results on the integral homology of the Milnor fibres.
Barcode Posets: Combinatorial Properties and Connections
A barcode is a finite multiset of intervals on the real line, $B = \{ (b_i, d_i)\}_{i=1}^n$. Barcodes are important objects in topological data analysis, where they serve as summaries of the persistent homology groups of a filtration. The combinatorial properties of barcodes have also been studied, mainly in the context of interval orders and interval graphs. In this paper, we define a new family of maps from the space of barcodes with $n$ bars to the permutation sets of various multisets, known as multipermutations. These multipermutations provide new combinatorial invariants on the space of barcodes. We then define an order relation on these multipermutations, which we show can be interpreted as a crossing number for barcodes, reminiscent of Túran's crossing number for graphs. Next, we show that the resulting posets are order-isomorphic to principal ideals of a well known poset known as the multinomial Newman lattice. Consequently, these posets form the graded face-lattices of polytopes, which we refer to as barcode lattices or barcode polytopes. Finally, we show that for a large class of barcodes, these invariants can provide bounds on the Wasserstein and bottleneck distances between a pair of barcodes, linking these discrete invariants to continuous metrics on barcodes.
A bijection between Tamari intervals and extended fighting fish
Published
• View Publication
• BIB
We introduce extended fighting fish as branching surfaces that can also be seen as walks in the quarter plane defined by simple rewriting rules. The main result we present in the article is a direct bijection between extended fighting fish and intervals of the Tamari lattice that exchanges multiple natural statistics. The model includes the recently introduced fighting fish of (Duchi, Guerrini, Rinaldi, Schaeffer 2017) that were shown to be equinumerated with synchronized Tamari intervals. Using the dual surface/walk points of view on extended fighting fish, we show that the area statistics on these fish corresponds to the distance statistics (or maximal length of a chain) in Tamari invervals. We also show that the average area of a uniform random extended fighting fish of size $n$, and hence the average distance over the set of Tamari intervals of size $n$, is of order $n^{5/4}$, in accordance with earlier result for the subclass fighting fish.
Boundary $h^\ast$-polynomials of rational polytopes
Published in SIAM Journal on Discrete Mathematics 37 (2023), no. 3, 1952-1969
• View Publication
• BIB
If $P$ is a lattice polytope (i.e., $P$ is the convex hull of finitely many integer points in $\mathbb{R}^d$) of dimension $d$, Ehrhart's famous theorem (1962) asserts that the integer-point counting function $|nP \cap \mathbb{Z}^d|$ is a degree-$d$ polynomial in the integer variable $n$. Equivalently, the generating function $1 + \sum_{n\geq 1} |nP \cap \mathbb{Z}^d| \, z^n$ is a rational function of the form $\frac{ h^\ast(z) }{ (1-z)^{ d+1 } }$; we call $h^\ast(z)$ the $h^\ast$-polynomial of $P$. There are several known necessary conditions for $h^\ast$-polynomials, including results by Hibi (1990), Stanley (1991), and Stapledon (2009), who used an interplay of arithmetic (integer-point structure) and topological (local $h$-vectors of triangulations) data of a given polytope. We introduce an alternative ansatz to understand Ehrhart theory through the $h^\ast$-polynomial of the boundary of a polytope, recovering all of the above results and their extensions for rational polytopes in a unifying manner. We include applications for (rational) Gorenstein polytopes and rational Ehrhart dilations.
Restricted Birkhoff polytopes and Ehrhart period collapse
Published in Discrete & Computational Geometry, 2024
• View Publication
• BIB
We show that the polytopes obtained from the Birkhoff polytope by imposing additional inequalities restricting the "longest increasing subsequence" have Ehrhart quasi-polynomials which are honest polynomials, even though they are just rational polytopes in general. We do this by defining a continuous, piecewise-linear bijection to a certain Gelfand-Tsetlin polytope. This bijection is not an integral equivalence but it respects lattice points in the appropriate way to imply that the two polytopes have the same Ehrhart (quasi-)polynomials. In fact, the bijection is essentially the Robinson-Schensted-Knuth correspondence.
Labeled Chip-firing on Binary Trees with $2^n-1$ Chips
Published
• View Publication
• BIB
We study labeled chip-firing on binary trees and some of its modifications. We prove a sorting property of terminal configurations of the process. We also analyze the endgame moves poset and prove that this poset is a modular lattice.
On binomial sums, additive energies, and lazy random walks
Published in J. Math. Anal. Appl. 528 (2023), issue 1, article 127510
• View Publication
• BIB
We establish a sharp estimate for $k$-additive energies of subsets of the discrete hypercube conjectured by de Dios Pont, Greenfeld, Ivanisvili, and Madrid in arXiv:2112.09352, which generalizes a result by Kane and Tao. This note proves the only missing ingredient, which is an elementary inequality for real numbers, previously verified only for $k\leq100$. We also give an interpretation of this inequality in terms of a lazy non-symmetric simple random walk on the integer lattice.
Columnar order in random packings of $2\times2$ squares on the square lattice
Published
• View Publication
• BIB
We study random packings of $2\times2$ squares with centers on the square lattice $\mathbb{Z}^{2}$, in which the probability of a packing is proportional to $λ$ to the number of squares. We prove that for large $λ$, typical packings exhibit columnar order, in which either the centers of most tiles agree on the parity of their $x$-coordinate or the centers of most tiles agree on the parity of their $y$-coordinate. This manifests in the existence of four extremal and periodic Gibbs measures in which the rotational symmetry of the lattice is broken while the translational symmetry is only broken along a single axis. We further quantify the decay of correlations in these measures, obtaining a slow rate of exponential decay in the direction of preserved translational symmetry and a fast rate in the direction of broken translational symmetry. Lastly, we prove that every periodic Gibbs measure is a mixture of these four measures.
Additionally, our proof introduces an apparently novel extension of the chessboard estimate, from finite-volume torus measures to all infinite-volume periodic Gibbs measures.