lattice
4310 papers tagged with this keyword
Quotients of the magmatic operad: lattice structures and convergent rewrite systems
Published in Experimental Mathematics, 2019
• View Publication
• BIB
We study quotients of the magmatic operad, that is the free nonsymmetric operad over one binary generator. In the linear setting, we show that the set of these quotients admits a lattice structure and we show an analog of the Grassmann formula for the dimensions of these operads. In the nonlinear setting, we define comb associative operads, that are operads indexed by nonnegative integers generalizing the associative operad. We show that the set of comb associative operads admits a lattice structure, isomorphic to the lattice of nonnegative integers equipped with the division order. Driven by computer experimentations, we provide a finite convergent presentation for the comb associative operad in correspondence with~$3$. Finally, we study quotients of the magmatic operad by one cubic relation by expressing their Hilbert series and providing combinatorial realizations.
Periodic structure of translational multi-tilings in the plane
Published
• View Publication
• BIB
Suppose $f\in L^1(\mathbb{R}^d)$, $Λ\subset\mathbb{R}^d$ is a finite union of translated lattices such that $f+Λ$ tiles with a weight. We prove that there exists a lattice $L\subset{\mathbb{R}}^d$ such that $f+L$ also tiles, with a possibly different weight. As a corollary, together with a result of Kolountzakis, it implies that any convex polygon that multi-tiles the plane by translations admits a lattice multi-tiling, of a possibly different multiplicity.
Our second result is a new characterization of convex polygons that multi-tile the plane by translations. It also provides a very efficient criteria to tell whether a convex polygon admits translational multi-tilings. As an application, one can easily construct symmetric $(2m)$-gons, for any $m\geq 4$, that do not multi-tile by translations.
Finally, we prove a convex polygon which is not a parallelogram only admits periodic multiple tilings, if any.
The peeling process on random planar maps coupled to an O(n) loop model (with an appendix by Linxiao Chen)
We extend the peeling exploration introduced in arxiv:1506.01590 to the setting of Boltzmann planar maps coupled to a rigid $O(n)$ loop model. Its law is related to a class of discrete Markov processes obtained by confining random walks to the positive integers with a new type of boundary condition. As an application we give a rigorous justification of the phase diagram of the model presented in arXiv:1106.0153. This entails two results pertaining to the so-called fixed-point equation: the first asserts that any solution determines a well-defined model, while the second result, contributed by Chen in the appendix, establishes precise existence criteria.
A scaling limit for the exploration process is identified in terms of a new class of positive self-similar Markov processes, going under the name of ricocheted stable processes. As an application we study distances on loop-decorated maps arising from a particular first passage percolation process on the maps. In the scaling limit these distances between the boundary and a marked point are related to exponential integrals of certain Lévy processes. The distributions of the latter can be identified in a fairly explicit form using machinery of positive self-similar Markov processes.
Finally we observe a relation between the number of loops that surround a marked vertex in a Boltzmann loop-decorated map and the winding angle of a simple random walk on the square lattice. As a corollary we give a combinatorial proof of the fact that the total winding angle around the origin of a simple random walk started at $(p,p)$ and killed upon hitting $(0,0)$ normalized by $\log p$ converges in distribution to a Cauchy random variable.
The Lecture Hall Cone as a toric deformation
The Lecture Hall cone is a simplicial cone whose lattice points naturally correspond to Lecture Hall partitions. The celebrated Lecture Hall Theorem of Bousquet-Mélou and Eriksson states that a particular specialization of its multivariate Ehrhart series factors in a very nice and unexpected way. Over the years, several proofs of this result have been found, but it is still not considered to be well-understood from a geometric perspective. In this note we propose two conjectures which aim at clarifying this result. Our main conjecture is that the Ehrhart ring of the Lecture Hall cone is actually an initial subalgebra $A_n$ of a certain subalgebra of a polynomial ring, which is itself isomorphic to a polynomial ring. As passing to initial subalgebras does not affect the Hilbert function, this explains the observed factorization. We give a recursive definition of certain Laurent polynomials, which generate the algebra $A_n$. Our second conjecture is that these Laurent polynomials are in fact polynomials. We computationally verified that both conjectures hold for Lecture Hall partitions of length at most 12.
Noncrossing Arc Diagrams, Tamari Lattices, and Parabolic Quotients of the Symmetric Group
Published in Annals of Combinatorics 25 (2020), pages 307-344
• View Publication
• BIB
Ordering permutations by containment of inversion sets yields a fascinating partial order on the symmetric group: the weak order. This partial order is, among other things, a semidistributive lattice. As a consequence, every permutation has a canonical representation as a join of other permutations. Combinatorially, these canonical join representations can be modeled in terms of arc diagrams. Moreover, these arc diagrams also serve as a model to understand quotient lattices of the weak order. A particularly well-behaved quotient lattice of the weak order is the well-known Tamari lattice, which appears in many seemingly unrelated areas of mathematics. The arc diagrams representing the members of the Tamari lattices are better known as noncrossing partitions. Recently, the Tamari lattices were generalized to parabolic quotients of the symmetric group. In this article, we undertake a structural investigation of these parabolic Tamari lattices, and explain how modified arc diagrams aid the understanding of these lattices.
Bounding the number of self-avoiding walks: Hammersley-Welsh with polygon insertion
Published in Ann. Probab. 48(4): 1644-1692 (2020)
• View Publication
• BIB
Let $c_n = c_n(d)$ denote the number of self-avoiding walks of length $n$ starting at the origin in the Euclidean nearest-neighbour lattice $\mathbb{Z}^d$. Let $μ= \lim_n c_n^{1/n}$ denote the connective constant of $\mathbb{Z}^d$. In 1962, Hammersley and Welsh [HW62] proved that, for each $d \geq 2$, there exists a constant $C > 0$ such that $c_n \leq \exp(C n^{1/2}) μ^n$ for all $n \in \mathbb{N}$. While it is anticipated that $c_n μ^{-n}$ has a power-law growth in $n$, the best known upper bound in dimension two has remained of the form $n^{1/2}$ inside the exponential.
The natural first improvement to demand for a given planar lattice is a bound of the form $c_n \leq \exp (C n^{1/2 - ε})μ^n$, where $μ$ denotes the connective constant of the lattice in question. We derive a bound of this form for two such lattices, for an explicit choice of $ε> 0$ in each case. For the hexagonal lattice $\mathbb{H}$, the bound is proved for all $n \in \mathbb{N}$; while for the Euclidean lattice $\mathbb{Z}^2$, it is proved for a set of $n \in \mathbb{N}$ of limit supremum density equal to one.
A power-law upper bound on $c_n μ^{-n}$ for $\mathbb{H}$ is also proved, contingent on a non-quantitative assertion concerning this lattice's connective constant.
Generalized angle vectors, geometric lattices, and flag-angles
Interior and exterior angle vectors of polytopes capture curvature information at faces of all dimensions and can be seen as metric variants of $f$-vectors. In this context, Gram's relation takes the place of the Euler--Poincaré relation as the unique linear relation among interior angles. We show the existence and uniqueness of Euler--Poincaré-type relations for generalized angle vectors by building a bridge to the algebraic combinatorics of geometric lattices, generalizing work of Klivans--Swartz.
We introduce flag-angles of polytopes as a geometric counterpart to flag-$f$-vectors. Flag-angles generalize the angle deficiencies of Descartes--Shephard, Grassmann angles, and spherical intrinsic volumes. Using the machinery of incidence algebras, we relate flag-angles of zonotopes to flag-$f$-vectors of graded posets. This allows us to determine the linear relations satisfied by interior/exterior flag-angle vectors.
Cambrian triangulations and their tropical realizations
Published in European J. Combin., 83, 19 pp., 2020
• View Publication
• BIB
This paper develops a Cambrian extension of the work of C. Ceballos, A. Padrol and C. Sarmiento on $ν$-Tamari lattices and their tropical realizations. For any signature $\varepsilon \in \{\pm\}^n$, we consider a family of $\varepsilon$-trees in bijection with the triangulations of the $\varepsilon$-polygon. These $\varepsilon$-trees define a flag regular triangulation $\mathcal{T}^\varepsilon$ of the subpolytope $\operatorname{conv} \{(\mathbf{e}_{i_\bullet}, \mathbf{e}_{j_\circ}) \, | \, 0 \le i_\bullet < j_\circ \le n+1 \}$ of the product of simplices $\triangle_{\{0_\bullet, \dots, n_\bullet\}} \times \triangle_{\{1_\circ, \dots, (n+1)_\circ\}}$. The oriented dual graph of the triangulation $\mathcal{T}^\varepsilon$ is the Hasse diagram of the (type $A$) $\varepsilon$-Cambrian lattice of N. Reading. For any $I_\bullet \subseteq \{0_\bullet, \dots, n_\bullet\}$ and $J_\circ \subseteq \{1_\circ, \dots, (n+1)_\circ\}$, we consider the restriction $\mathcal{T}^\varepsilon_{I_\bullet, J_\circ}$ of the triangulation $\mathcal{T}^\varepsilon$ to the face $\triangle_{I_\bullet} \times \triangle_{J_\circ}$. Its dual graph is naturally interpreted as the increasing flip graph on certain $(\varepsilon, I_\bullet, J_\circ)$-trees, which is shown to be a lattice generalizing in particular the $ν$-Tamari lattices in the Cambrian setting. Finally, we present an alternative geometric realization of $\mathcal{T}^\varepsilon_{I_\bullet, J_\circ}$ as a polyhedral complex induced by a tropical hyperplane arrangement.
Finiteness theorems for matroid complexes with prescribed topology
Published
• View Publication
• BIB
It is known that there are finitely many simplicial complexes (up to isomorphism) with a given number of vertices. Translating to the language of $h$-vectors, there are finitely many simplicial complexes of bounded dimension with $h_1=k$ for any natural number $k$. In this paper we study the question at the other end of the $h$-vector: Are there only finitely many $(d-1)$-dimensional simplicial complexes with $h_d=k$ for any given $k$? The answer is no if we consider general complexes, but when focus on three cases coming from matroids: (i) independence complexes, (ii) broken circuit complexes, and (iii) order complexes of geometric lattices. We prove the answer is yes in cases (i) and (iii) and conjecture it is also true in case (ii).
A categorification of biclosed sets of strings
Published
• View Publication
• BIB
We consider the closure space on the set of strings of a gentle algebra of finite representation type. Palu, Pilaud, and Plamondon proved that the collection of all biclosed sets of strings forms a lattice, and moreover, that this lattice is congruence-uniform. Many interesting examples of finite congruence-uniform lattices may be represented as the lattice of torsion classes of an associative algebra. We introduce a generalization, the lattice of torsion shadows, and we prove that the lattice of biclosed sets of strings is isomorphic to a lattice of torsion shadows.
Finite congruence-uniform lattices admit an alternate partial order known as the shard intersection order. In many cases, the shard intersection order of a congruence-uniform lattice is isomorphic to a lattice of wide subcategories of an associative algebra. Analogous to torsion shadows, we introduce wide shadows, and prove that the shard intersection order of the lattice of biclosed sets is isomorphic to a lattice of wide shadows.
Lyashko-Looijenga morphisms and primitive factorizations of the Coxeter element
Published
• View Publication
• BIB
In a seminal work, Bessis gave a geometric interpretation of the noncrossing lattice $NC(W)$ associated to a well-generated complex reflection group $W$. Chief component of this was the trivialization theorem, a fundamental correspondence between families of chains of $NC(W)$ and the fibers of a finite quasi-homogeneous morphism, the $LL$ map.
We consider a variant of the $LL$ map, prescribed by the trivialization theorem, and apply it to the study of finer enumerative and structural properties of $NC(W)$. In particular, we extend work of Bessis and Ripoll and enumerate the so-called "primitive factorizations" of the Coxeter element $c$. That is, length additive factorizations of the form $c=w\cdot t_1\cdots t_k$, where $w$ belongs to a given conjugacy class and the $t_i$'s are reflections.
On self-avoiding polygons and walks: the snake method via polygon joining
Published
• View Publication
• BIB
For $d \geq 2$ and $n \in \mathbb{N}$, let $\mathsf{W}_n$ denote the uniform law on self-avoiding walks beginning at the origin in the integer lattice $\mathbb{Z}^d$, and write $Γ$ for a $\mathsf{W}_n$-distributed walk. We show that the closing probability $\mathsf{W}_n \big( \vert \vert Γ_n \vert \vert = 1 \big)$ that $Γ$'s endpoint neighbours the origin is at most $n^{-4/7 + o(1)}$ for a positive density set of odd $n$ in dimension $d = 2$. This result is proved using the snake method, a technique for proving closing probability upper bounds, which originated in [3] and was made explicit in [8]. Our conclusion is reached by applying the snake method in unison with a polygon joining technique whose use was initiated by Madras in [13].
On self-avoiding polygons and walks: the snake method via pattern fluctuation
Published
• View Publication
• BIB
For $d \geq 2$ and $n \in \mathbb{N}$, let $\mathsf{W}_n$ denote the uniform law on self-avoiding walks of length $n$ beginning at the origin in the nearest-neighbour integer lattice $\mathbb{Z}^d$, and write $Γ$ for a $\mathsf{W}_n$-distributed walk. We show that the closing probability $\mathsf{W}_n \big( \vert\vert Γ_n \vert\vert = 1 \big)$ that $Γ$'s endpoint neighbours the origin is at most $n^{-1/2 + o(1)}$ in any dimension $d \geq 2$. The method of proof is a reworking of that in [4], which found a closing probability upper bound of $n^{-1/4 + o(1)}$. A key element of the proof is made explicit and called the snake method. It is applied to prove the $n^{-1/2 + o(1)}$ upper bound by means a technique of Gaussian pattern fluctuation.
The Martin Gardner Polytopes
Published
• View Publication
• BIB
In the chapter "Magic with a Matrix" in \emph{Hexaflexagons and Other Mathematical Diversions} (1988), Martin Gardner describes a delightful "party trick" to fill the squares of a $d$-by-$d$ chessboard with nonnegative integers such that the sum of the numbers covered by any placement of $d$ nonthreatening rooks is a given number $N$. We consider such chessboards from a geometric perspective which gives rise to a family of lattice polytopes. The polyhedral structure of these Gardner polytopes explains the underlying trick and enables us to count such chessboards for given $N$ in three different ways. We also observe a curious duality that relates Gardner polytopes to Birkhoff polytopes.
No lattice tiling of $\mathbb{Z}^n$ by Lee Sphere of radius 2
Published in Journal of Combinatorial Theory, Series A, Vol. 171, April 2020
• View Publication
• BIB
We prove the nonexistence of lattice tilings of $\mathbb{Z}^n$ by Lee spheres of radius $2$ for all dimensions $n\geq 3$. This implies that the Golomb-Welch conjecture is true when the common radius of the Lee spheres equals $2$ and $2n^2+2n+1$ is a prime. As a direct consequence, we also answer an open question in the degree-diameter problem of graph theory: the order of any abelian Cayley graph of diameter $2$ and degree larger than $5$ cannot meet the abelian Cayley Moore bound.
Large deviations and one-sided scaling limit of randomized multicolor box-ball system
Published
• View Publication
• BIB
The basic $κ$-color box-ball (BBS) system is an integrable cellular automaton on one dimensional lattice whose local states take $\{0,1,\cdots,κ\}$ with $0$ regarded as an empty box. The time evolution is defined by a combinatorial rule of quantum group theoretical origin, and the complete set of conserved quantities is given by a $κ$-tuple of Young diagrams. In the randomized BBS, a probability distribution on $\{0,1,\cdots,κ\}$ to independently fill the consecutive $n$ sites in the initial state induces a highly nontrivial probability measure on the $κ$-tuple of those invariant Young diagrams. In a recent work \cite{kuniba2018randomized}, their large $n$ `equilibrium shape' has been determined in terms of Schur polynomials by a Markov chain method and also by a very different approach of Thermodynamic Bethe Ansatz (TBA). In this paper, we establish a large deviations principle for the row lengths of the invariant Young diagrams. As a corollary, they are shown to converge almost surely to the equilibrium shape at an exponential rate. We also refine the TBA analysis and obtain the exact scaling form of the vacancy, the row length and the column multiplicity, which exhibit nontrivial factorization in a one-parameter specialization.
Clock theorems for triangulated surfaces
We investigate triangulations of the two-dimensional sphere and torus with the faces properly colored white and black. We focus on matchings between white triangles and incident vertices. On the torus our objects are perfect pairings, whereas on the sphere this is only true after removing one triangle and its vertices. In the latter case, such matchings (first studied by Tutte) extend the notion of state in Kauffman's formal knot theory and we show that his Clock Theorem, in its form due to Gilmer and Litherland, also extends: the set of matchings naturally forms a distributive lattice. Here the role of state transposition is played by a simple local operation about black triangles. By contrast, on the torus, the analogous state transition graph is usually disconnected: some of its components still form distributive lattices with global maxima and minima, while other components contain directed cycles and are without local extrema.
Lattices from graph associahedra and subalgebras of the Malvenuto-Reutenauer algebra
Published
• View Publication
• BIB
The Malvenuto-Reutenauer algebra is a well-studied combinatorial Hopf algebra with a basis indexed by permutations. This algebra contains a wide variety of interesting sub Hopf algebras, in particular the Hopf algebra of plane binary trees introduced by Loday and Ronco. We compare two general constructions of subalgebras of the Malvenuto-Reutenauer algebra, both of which include the Loday-Ronco algebra. The first is a construction by Reading defined in terms of lattice quotients of the weak order, and the second is a construction by Ronco in terms of graph associahedra. To make this comparison, we consider a natural partial ordering on the maximal tubings of a graph and characterize those graphs for which this poset is a lattice quotient of the weak order.
A Brief Survey on Lattice Zonotopes
Published
• View Publication
• BIB
Zonotopes are a rich and fascinating family of polytopes, with connections to many areas of mathematics. In this article we provide a brief survey of classical and recent results related to lattice zonotopes. Our emphasis is on connections to combinatorics, both in the sense of enumeration (e.g. Ehrhart theory) and combinatorial structures (e.g. graphs and permutations).
Control Energy of Lattice Graphs
Published
• View Publication
• BIB
The control of complex networks has generated a lot of interest in a variety of fields from traffic management to neural systems. A commonly used metric to compare two particular control strategies that accomplish the same task is the control energy, the integral of the sum of squares of all control inputs. The minimum control energy problem determines the control input that lower bounds all other control inputs with respect to their control energies. Here, we focus on the infinite lattice graph with linear dynamics and analytically derive the expression for the minimum control energy in terms of the modified Bessel function. We then demonstrate that the control energy of the infinite lattice graph accurately predicts the control energy of finite lattice graphs.