lattice
4310 papers tagged with this keyword
Frozen Pipes: Lattice Models for Grothendieck Polynomials
Published
• View Publication
• BIB
We introduce families of two-parameter multivariate polynomials indexed by pairs of partitions $v,w$ -- biaxial double $(β,q)$-Grothendieck polynomials -- which specialize at $q=0$ and $v=1$ to double $β$-Grothendieck polynomials from torus-equivariant connective K-theory. Initially defined recursively via divided difference operators, our main result is that these new polynomials arise as partition functions of solvable lattice models. Moreover, the associated quantum group of the solvable model for polynomials in $n$ pairs of variables is a Drinfeld twist of the $U_q(\widehat{\mathfrak{sl}}_{n+1})$ $R$-matrix. By leveraging the resulting Yang-Baxter equations of the lattice model, we show that these polynomials simultaneously generalize double $β$-Grothendieck polynomials and dual double $β$-Grothendieck polynomials for arbitrary permutations. We then use properties of the model and Yang-Baxter equations to reprove Fomin-Kirillov's Cauchy identity for $β$-Grothendieck polynomials, generalize it to a new Cauchy identity for biaxial double $β$-Grothendieck polynomials, and prove a new branching rule for double $β$-Grothendieck polynomials.
Cartesian lattice counting by the vertical 2-sum
Published
• View Publication
• BIB
A vertical 2-sum of a two-coatom lattice $L$ and a two-atom lattice $U$ is obtained by removing the top of $L$ and the bottom of $U$, and identifying the coatoms of $L$ with the atoms of $U$. This operation creates one or two nonisomorphic lattices depending on the symmetry case. Here the symmetry cases are analyzed, and a recurrence relation is presented that expresses the number of such vertical 2-sums in some family of interest, up to isomorphism. Nonisomorphic, vertically indecomposable modular and distributive lattices are counted and classified up to 35 and 60 elements respectively. Asymptotically their numbers are shown to be at least $Ω(2.3122^n)$ and $Ω(1.7250^n)$, where $n$ is the number of elements. The number of semimodular lattices is shown to grow faster than any exponential in $n$.
Exact solutions of directed walk models of polymeric zipping with pulling in two and three dimensions
Published
• View Publication
• BIB
We provide the exact solution of several variants of simple models of the zipping transition of two bound polymers, such as occurs in DNA/RNA, in two and three dimensions using pairs of directed lattice paths. In three dimensions the solutions are written in terms of complete elliptic integrals. We analyse the phase transition associated with each model giving the scaling of the partition function. We also extend the models to include a pulling force between one end of the pair of paths, which competes with the attractive monomer-monomer interactions between the polymers.
Improved dispersion bounds for modified Fibonacci lattices
Published in J. Complexity 63, 2021
• View Publication
• BIB
We study the dispersion of point sets in the unit square; i.e. the size of the largest axes-parallel box amidst such point sets. It is known that $\liminf_{N\to\infty} N\mathrm{disp}(N,2)\in \left[\frac54,2\right],$ where $\mathrm{disp}(N,2)$ is the minimal possible dispersion for an $N$-element point set in the unit square. The upper bound 2 is obtained by an explicit point construction - the well-known Fibonacci lattice. In this paper we find a modification of this point set such that its dispersion is significantly lower than the dispersion of the Fibonacci lattice. Our main result will imply that $\liminf_{N\to\infty} N\mathrm{disp}(N,2)\leq \varphi^3/\sqrt{5}=1.894427...$
Three Fuss-Catalan posets in interaction and their associative algebras
Published in Combinatorial Theory, 2, Issue 1, 2022
• View Publication
• BIB
We introduce $δ$-cliffs, a generalization of permutations and increasing trees depending on a range map $δ$. We define a first lattice structure on these objects and we establish general results about its subposets. Among them, we describe sufficient conditions to have EL-shellable posets, lattices with algorithms to compute the meet and the join of two elements, and lattices constructible by interval doubling. Some of these subposets admit natural geometric realizations. Then, we introduce three families of subposets which, for some maps $δ$, have underlying sets enumerated by the Fuss-Catalan numbers. Among these, one is a generalization of Stanley lattices and another one is a generalization of Tamari lattices. These three families of posets fit into a chain for the order extension relation and they share some properties. Finally, in the same way as the product of the Malvenuto-Reutenauer algebra forms intervals of the right weak Bruhat order of permutations, we construct algebras whose products form intervals of the lattices of $δ$-cliff. We provide necessary and sufficient conditions on $δ$ to have associative, finitely presented, or free algebras. We end this work by using the previous Fuss-Catalan posets to define quotients of our algebras of $δ$-cliffs. In particular, one is a generalization of the Loday-Ronco algebra.
Shard polytopes
Published in Int. Math. Res. Not., 2023(9):7686-7796, 2023
• View Publication
• BIB
For any lattice congruence of the weak order on permutations, N. Reading proved that gluing together the cones of the braid fan that belong to the same congruence class defines a complete fan, called a quotient fan, and V. Pilaud and F. Santos showed that it is the normal fan of a polytope, called a quotientope. In this paper, we provide a simpler approach to realize quotient fans based on Minkowski sums of elementary polytopes, called shard polytopes, which have remarkable combinatorial and geometric properties. In contrast to the original construction of quotientopes, this Minkowski sum approach extends to type $B$.
A geometric and combinatorial exploration of Hochschild lattices
Published
• View Publication
• BIB
Hochschild lattices are specific intervals in the dexter meet-semilattices recently introduced by Chapoton. A natural geometric realization of these lattices leads to some cell complexes introduced by Saneblidze, called the Hochschild polytopes. We obtain several geometrical properties of the Hochschild lattices, namely we give cubic realizations, establish that these lattices are EL-shellable, and show that they are constructible by interval doubling. We also prove several combinatorial properties as the enumeration of their $k$-chains and compute their degree polynomials.
On the stringy Hodge numbers of mirrors of quasi-smooth Calabi-Yau hypersurfaces
Mirrors $X^{\vee}$ of quasi-smooth Calabi-Yau hypersurfaces $X$ in weighted projective spaces ${\Bbb P}(w_0, \ldots, w_d)$ can be obtained as Calabi-Yau compactifications of non-degenerate affine toric hypersurfaces defined by Laurent polynomials whose Newton polytope is the lattice simplex spanned by $d+1$ lattice vectors $v_i$ satisfying the relation $\sum_i w_i v_i =0$. In this paper, we compute the stringy $E$-function of mirrors $X^\vee$ and compare it with the Vafa's orbifold $E$-function of quasi-smooth Calabi-Yau hypersurfaces $X$. As a result, we prove the equalities of Hodge numbers $h^{p,q}_{\rm str}(X^{\vee}) = h^{d-1-p,q}_{\rm orb}(X)$
for all $p, q$ and $d$ as it is expected in mirror symmetry.
On polynomials counting essentially irreducible maps
Published
• View Publication
• BIB
We consider maps on genus-$g$ surfaces with $n$ (labeled) faces of prescribed even degrees. It is known since work of Norbury that, if one disallows vertices of degree one, the enumeration of such maps is related to the counting of lattice point in the moduli space of genus-$g$ curves with $n$ labeled points and is given by a symmetric polynomial $N_{g,n}(\ell_1,\ldots,\ell_n)$ in the face degrees $2\ell_1, \ldots, 2\ell_n$. We generalize this by restricting to genus-$g$ maps that are essentially $2b$-irreducible for $b\geq 0$, which loosely speaking means that they are not allowed to possess contractible cycles of length less than $2b$ and each such cycle of length $2b$ is required to bound a face of degree $2b$. The enumeration of such maps is shown to be again given by a symmetric polynomial $\hat{N}_{g,n}^{(b)}(\ell_1,\ldots,\ell_n)$ in the face degrees with a polynomial dependence on $b$. These polynomials satisfy (generalized) string and dilaton equations, which for $g\leq 1$ uniquely determine them. The proofs rely heavily on a substitution approach by Bouttier and Guitter and the enumeration of planar maps on genus-$g$ surfaces.
Four-element generating sets of partition lattices and their direct products
Let $n>3$ be a natural number. By a 1975 result of H. Strietz, the lattice Part$(n)$ of all partitions of an $n$-element set has a four-element generating set. In 1983, L. Zádori gave a new proof of this fact with a particularly elegant construction. Based on his construction from 1983, the present paper gives a lower bound on the number $ν(n)$ of four-element generating sets of Part$(n)$. We also present a computer assisted statistical approach to $ν(n)$ for small values of $n$.
In his 1983 paper, L. Zádori also proved that for $n\geq 7$, the lattice Part$(n)$ has a four element generating set that is not an antichain. He left the problem whether such a generating set for $n\in\{5,6\}$ exists open. Here we solve this problem in negative for $n=5$ and in affirmative for $n=6$.
Finally, the main theorem asserts that the direct product of some powers of partition lattices is four-generated. In particular, by the first part of this theorem, Part$(n_1)\times$ Part$(n_2)$ is four-generated for any two distinct integers $n_1$ and $n_2$ that are at least 5. The second part of the theorem is technical but it has two corollaries that are easy to understand. Namely, the direct product Part$(n)$ $\times$ Part$(n+1)$ $\times\dots\times$ Part$(3n-14)$ is four-generated for each integer $n\geq 9$. Also, for every positive integer $u$, the $u$-th the direct power of the direct product Part$(n)$ $\times$ Part$(n+1)$ $\times\dots\times$ Part$(n+u-1)$ is four-generated for all but finitely many $n$. If we do not insist on too many direct factors, then the exponent can be quite large. For example, our theorem implies that the $10^{127}$-th direct power of Part$(1011)$ $\times$ Part$(1012)$ $\times \dots \times$ Part$(2020)$ is four-generated.
Primitive point packing
Published in Mathematika 68(3), 979-1007 (2022)
• View Publication
• BIB
A point in the $d$-dimensional integer lattice $\mathbb{Z}^d$ is primitive when its coordinates are relatively prime. Two primitive points are multiples of one another when they are opposite, and for this reason, we consider half of the primitive points within the lattice, the ones whose first non-zero coordinate is positive. We solve the packing problem that asks for the largest possible number of such points whose absolute values of any given coordinate sum to at most a fixed integer $k$. We present several consequences of this result at the intersection of geometry, number theory, and combinatorics. In particular, we obtain an explicit expression for the largest possible diameter of a lattice zonotope contained in the hypercube $[0,k]^d$ and, conjecturally of any lattice polytope in that hypercube.
Integral flow and cycle chip-firing on graphs
Published in Ann. Comb. 25 (2021), pp. 595--616
• View Publication
• BIB
Motivated by the notion of chip-firing on the dual graph of a planar graph, we consider `integral flow chip-firing' on an arbitrary graph $G$. The chip-firing rule is governed by ${\mathcal L}^*(G)$, the dual Laplacian of $G$ determined by choosing a basis for the lattice of integral flows on $G$. We show that any graph admits such a basis so that ${\mathcal L}^*(G)$ is an $M$-matrix, leading to a firing rule on these basis elements that is avalanche finite. This follows from a more general result on bases of integral lattices that may be of independent interest. Our results provide a notion of $z$-superstable flow configurations that are in bijection with the set of spanning trees of $G$. We show that for planar graphs, as well as for the graphs $K_5$ and $K_{3,3}$, one can find such a flow M-basis that consists of cycles of the underlying graph. We consider the question for arbitrary graphs and address some open questions.
Schroder combinatorics and $ν$-associahedra
We study $ν$-Schröder paths, which are Schröder paths which stay weakly above a given lattice path $ν$. Some classical bijective and enumerative results are extended to the $ν$-setting, including the relationship between small and large Schröder paths. We introduce two posets of $ν$-Schröder objects, namely $ν$-Schröder paths and trees, and show that they are isomorphic to the face poset of the $ν$-associahedron $A_ν$ introduced by Ceballos, Padrol and Sarmiento. A consequence of our results is that the $i$-dimensional faces of $A_ν$ are indexed by $ν$-Schröder paths with $i$ diagonal steps, and we obtain a closed-form expression for these Schröder numbers in the special case when $ν$ is a `rational' lattice path. Using our new description of the face poset of $A_ν$, we apply discrete Morse theory to show that $A_ν$ is contractible. This yields one of two proofs presented for the fact that the Euler characteristic of $A_ν$ is one. A second proof of this is obtained via a formula for the $ν$-Narayana polynomial in terms of $ν$-Schröder numbers.
Decompositions of Ehrhart $h^*$-polynomials for rational polytopes
Published in Discrete & Computational Geometry 68, no. 1 (2022), 50-71
• View Publication
• BIB
The Ehrhart quasipolynomial of a rational polytope $P$ encodes the number of integer lattice points in dilates of $P$, and the $h^*$-polynomial of $P$ is the numerator of the accompanying generating function. We provide two decomposition formulas for the $h^*$-polynomial of a rational polytope. The first decomposition generalizes a theorem of Betke and McMullen for lattice polytopes. We use our rational Betke--McMullen formula to provide a novel proof of Stanley's Monotonicity Theorem for the $h^*$-polynomial of a rational polytope. The second decomposition generalizes a result of Stapledon, which we use to provide rational extensions of the Stanley and Hibi inequalities satisfied by the coefficients of the $h^*$-polynomial for lattice polytopes. Lastly, we apply our results to rational polytopes containing the origin whose duals are lattice polytopes.
Between Broadway and the Hudson: A Bijection of Corridor Paths
Published in Journal of Integer Sequences, vol. 24, art. 21.2.8 (2021)
• Search Publication
We present a substantial generalization of the equinumeracy of grand Dyck paths and Dyck-path prefixes, constrained within a band. The number of constrained paths starting at level $i$ and ending in a window of size $2j+2$ is equal to the number starting at level $j$ and ending in a window of size $2i+2$ centered around the same point. A new encoding of lattice paths provides a bijective proof.
Sorting with pattern-avoiding stacks: the $132$-machine
Published
• View Publication
• BIB
This paper continues the analysis of the pattern-avoiding sorting machines recently introduced by Cerbai, Claesson and Ferrari [CCF]. These devices consist of two stacks, through which a permutation is passed in order to sort it, where the content of each stack must at all times avoid a certain pattern. Here we characterize and enumerate the set of permutations that can be sorted when the first stack is $132$-avoiding, solving one of the open problems proposed in [CCF]. To that end we present several connections with other well known combinatorial objects, such as lattice paths and restricted growth functions (which encode set partitions). We also provide new proofs for the enumeration of some sets of pattern-avoiding restricted growth functions and we expect that the tools introduced can be fruitfully employed to get further similar results.
Mirror symmetry for quasi-smooth Calabi-Yau hypersurfaces in weighted projective spaces
Published
• View Publication
• BIB
We consider a $d$-dimensional well-formed weighted projective space $\mathbb{P}(\overline{w})$ as a toric variety associated with a fan $Σ(\overline{w})$ in $N_{\overline{w}} \otimes \mathbb{N}$ whose $1$-dimensional cones are spanned by primitive vectors $v_0, v_1, \ldots, v_d \in N_{\overline{w}}$ generating a lattice $N_{\overline{w}}$ and satisfying the linear relation $\sum_i w_i v_i =0$. For any fixed dimension $d$, there exist only finitely many weight vectors $\overline{w} = (w_0, \ldots, w_d)$ such that $\mathbb{P}(\overline{w})$ contains a quasi-smooth Calabi-Yau hypersurface $X_w$ defined by a transverse weighted homogeneous polynomial $W$ of degree $w = \sum_{i=0}^d w_i$. Using a formula of Vafa for the orbifold Euler number $χ_{\rm orb}(X_w)$, we show that for any quasi-smooth Calabi-Yau hypersurface $X_w$ the number $(-1)^{d-1}χ_{\rm orb}(X_w)$ equals the stringy Euler number $χ_{\rm str}(X_{\overline{w}}^*)$ of Calabi-Yau compactifications $X_{\overline{w}}^*$ of affine toric hypersurfaces $Z_{\overline{w}}$ defined by non-degenerate Laurent polynomials $f_{\overline{w}} \in \mathbb{C}[N_{\overline{w}}]$ with Newton polytope $\text{conv}(\{v_0, \ldots, v_d\})$. In the moduli space of Laurent polynomials $f_{\overline{w}}$ there always exists a special point $f_{\overline{w}}^0$ defining a mirror $X_{\overline{w}}^*$ with a $\mathbb{Z}/w\mathbb{Z}$-symmetry group such that $X_{\overline{w}}^*$ is birational to a quotient of a Fermat hypersurface via a Shioda map.
A connection between the Ice-type model of Linus Pauling and the three-color problem
Published in European Journal of Physics, 42, 025101 (2021)
• View Publication
• BIB
The ice-type model proposed by Linus Pauling to explain its entropy at low temperatures is here approached in a didactic way. We first present a theoretically estimated low-temperature entropy and compare it with numerical results. Then, we consider the mapping between this model and the three-colour problem, i.e.,colouring a regular graph with coordination equal to 4 (a two-dimensional lattice) with three colours, for which we apply the transfer-matrix method to calculate all allowed configurations for two-dimensional square lattices of $N$ oxygen atoms ranging from 4 to 225. Finally, from a linear regression of the transfer matrix results, we obtain an estimate for the case $N\rightarrow \infty $ which is compared with the exact solution by Lieb.
Enumeration of standard barely set-valued tableaux of shifted shapes
Published
• View Publication
• BIB
A standard barely set-valued tableau of shape $λ$ is a filling of the Young diagram $λ$ with integers $1,2,\dots,|λ|+1$ such that the integers are increasing in each row and column, and every cell contains one integer except one cell that contains two integers. Counting standard barely set-valued tableaux is closely related to the coincidental down-degree expectations (CDE) of lower intervals in Young's lattice. Using $q$-integral techniques we give a formula for the number of standard barely set-valued tableaux of arbitrary shifted shape. We show how it can be used to recover two formulas, originally conjectured by Reiner, Tenner and Yong, and proved by Hopkins, for numbers of standard barely set valued tableaux of particular shifted-balanced shapes. We also prove a conjecture of Reiner, Tenner and Yong on the CDE property of the shifted shape $(n,n-2,n-4,\dots,n-2k+2)$. Finally, in the Appendix we raise a conjecture on an $\mathsf a;q$-analogue of the down-degree expectation with respect to the uniform distribution for a specific class of lower order ideals of Young's lattice.
Computing linear extensions for polynomial posets subject to algebraic constraints
Published
• View Publication
• BIB
In this paper we consider the classical problem of computing linear extensions of a given poset which is well known to be a difficult problem. However, in our setting the elements of the poset are multivariate polynomials, and only a small "admissible" subset of these linear extensions, determined implicitly by the evaluation map, are of interest. This seemingly novel problem arises in the study of global dynamics of gene regulatory networks in which case the poset is a Boolean lattice. We provide an algorithm for solving this problem using linear programming for arbitrary partial orders of linear polynomials.
This algorithm exploits this additional algebraic structure inherited from the polynomials to efficiently compute the admissible linear extensions. The biologically relevant problem involves multilinear polynomials and we provide a construction for embedding it into an instance of the linear problem.