lattice
4310 papers tagged with this keyword
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.
Weak Ramanujan property of the standard non-uniform arithmetic quotient of $PGL_4$
Published
• View Publication
• BIB
Let $F$ be a field of formal series over a finite field and $\mathcal{B}_d$ be the affine building associated to $PGL_d(F)$. Given a lattice $Γ$ in $PGL_d(F)$, the complex arising as a quotient $Γ\backslash \mathcal{B}_d$ is called weakly Ramanujan if every non-tivial discrete simultaneous spectrum of the colored adjacency operators $A_1,A_2,\ldots,A_{d-1}$ acting on $L^2(Γ\backslash \mathcal{B}_d)$ is contained in the simultaneous spectrum of those operators acting on $L^2(\mathcal{B})$. In this paper, we prove that the standard non-uniform arithmetic quotient $PGL_4(\mathbb{F}_q[t])\backslash \mathcal{B}_4$ of $PGL_4(F)$ is weakly Ramanujan.
A symmetric function lift of torus link homology
Published
• View Publication
• BIB
Suppose $M$ and $N$ are positive integers and let $k = \gcd(M, N)$, $m = M/k$, and $n=N/k$. We define a symmetric function $L_{M,N}$ as a weighted sum over certain tuples of lattice paths. We show that $L_{M,N}$ satisfies a generalization of Mellit and Hogancamp's recursion for the triply-graded Khovanov--Rozansky homology of the $M,N$-torus link. As a corollary, we obtain the triply-graded Khovanov--Rozansky homology of the $M,N$-torus link as a specialization of $L_{M,N}$. We conjecture that $L_{M,N}$ is equal (up to a constant) to the elliptic Hall algebra operator $\mathbf{Q}_{m,n}$ composed $k$ times and applied to 1.
On the Construction of New Toric Quantum Codes and Quantum Burst-Error Correcting Codes
Published
• View Publication
• BIB
A toric quantum error-correcting code construction procedure is presented in this work. A new class of an infinite family of toric quantum codes is provided by constructing a classical cyclic code on the square lattice $\mathbb{Z}_{q}\times \mathbb{Z}_{q}$ for all odd integers $q\geq 5$ and, consequently, new toric quantum codes are constructed on such square lattices regardless of whether $q$ can be represented as a sum of two squares. Furthermore this work supplies for each $q$ the polyomino shapes that tessellate the corresponding square lattices and, consequently, tile the lattice $\mathbb{Z}^{2}$. The channel without memory to be considered for these constructed toric quantum codes is symmetric, since the $\mathbb{Z}^{2}$-lattice is autodual. Moreover, we propose a quantum interleaving technique by using the constructed toric quantum codes which shows that the code rate and the coding gain of the interleaved toric quantum codes are better than the code rate and the coding gain of Kitaev's toric quantum codes for $q=2n+1$, where $n\geq 2$, and of an infinite class of Bombin and Martin-Delgado's toric quantum codes. In addition to the proposed quantum interleaving technique improves such parameters, it can be used for burst-error correction in errors which are located, quantum data stored and quantum channels with memory.
A sharp threshold for a random version of Sperner's Theorem
Published
• View Publication
• BIB
The Boolean lattice $\mathcal{P}(n)$ consists of all subsets of $[n] = \{1,\dots, n\}$ partially ordered under the containment relation. Sperner's Theorem states that the largest antichain of the Boolean lattice is given by a middle layer: the collection of all sets of size $\lfloor{n/2}\rfloor$, or also, if $n$ is odd, the collection of all sets of size $\lceil{n/2}\rceil$. Given $p$, choose each subset of $[n]$ with probability $p$ independently. We show that for every constant $p>3/4$, the largest antichain among these subsets is also given by a middle layer, with probability tending to $1$ as $n$ tends to infinity. This $3/4$ is best possible, and we also characterize the largest antichains for every constant $p>1/2$. Our proof is based on some new variations of Sapozhenko's graph container method.
On the subdivision algebra for the polytope $\mathcal{U}_{I,\bar{J}}$
The polytopes $\mathcal{U}_{I,\bar{J}}$ were introduced by Ceballos, Padrol, and Sarmiento to provide a geometric approach to the study of $(I,\bar{J})$-Tamari lattices. They observed a connection between certain $\mathcal{U}_{I,\bar{J}}$ and acyclic root polytopes, and wondered if Mészáros' subdivision algebra can be used to subdivide all $\mathcal{U}_{I,\bar{J}}$. We answer this in the affirmative from two perspectives, one using flow polytopes and the other using root polytopes. We show that $\mathcal{U}_{I,\bar{J}}$ is integrally equivalent to a flow polytope that can be subdivided using the subdivision algebra. Alternatively, we find a suitable projection of $\mathcal{U}_{I,\bar{J}}$ to an acyclic root polytope which allows subdivisions of the root polytope to be lifted back to $\mathcal{U}_{I,\bar{J}}$. As a consequence, this implies that subdivisions of $\mathcal{U}_{I,\bar{J}}$ can be obtained with the algebraic interpretation of using reduced forms of monomials in the subdivision algebra. In addition, we show that the $(I,\bar{J})$-Tamari complex can be obtained as a triangulated flow polytope.