lattice
4310 papers tagged with this keyword
Some bijections for lattice paths
We present three bijections, the first between little Schröder paths and a class of growth-constrained integer sequences, the second between lattice paths consisting of steps with nonnegative slope and another class of growth-constrained sequences, the third between a class of lattice paths with steps $(1,1)$ and $(1,-j\,),\ j\ge 1$, and a class with steps $(k,1),\ k\ge 1$, and $(1,-1)$.
Polymatroids, closure operators and lattices
Published
• View Publication
• BIB
We study the closure operators of polymatroids from a lattice theoretic point of view. We show that polymatroid closure operators relate to lattices enriched with a generating set in the same way that matroids relate to geometric lattices. Through this relation we define a notion of minors for lattices enriched with a generating set. For the lattice of flats of a graphic matroid, the minors of the lattice are shown to correspond to simple minors of the graph when the vertices are labeled and the edges unlabeled. This correspondence is generalized to all polymatroids.
Lattice walks confined to an octant in dimension 3: (non-)rationality of the second critical exponent
Published
• View Publication
• BIB
In the field of enumeration of walks in cones, it is known how to compute asymptotically the number of excursions (finite paths in the cone with fixed length, starting and ending points, using jumps from a given step set). As it turns out, the associated critical exponent is related to the eigenvalues of a certain Dirichlet problem on a spherical domain. An important underlying question is to decide whether this asymptotic exponent is a (non-)rational number, as this has important consequences on the algebraic nature of the associated generating function. In this paper, we ask whether such an excursion sequence might admit an asymptotic expansion with a first rational exponent and a second non-rational exponent. While the current state of the art does not give any access to such many-term expansions, we look at the associated continuous problem, involving Brownian motion in cones. Our main result is to prove that in dimension three, there exists a cone such that the heat kernel (the continuous analogue of the excursion sequence) has the desired rational/non-rational asymptotic property. Our techniques come from spectral theory and perturbation theory. More specifically, our main tool is a new Hadamard formula, which has an independent interest and allows us to compute the derivative of eigenvalues of spherical triangles along infinitesimal variations of the angles.
Schur's theorem in integer lattices
Published in Involve 15 (2022) 857-884
• Search Publication
A standard proof of Schur's Theorem yields that any $r$-coloring of $\{1,2,\dots,R_r-1\}$ yields a monochromatic solution to $x+y=z$, where $R_r$ is the classical $r$-color Ramsey number, the minimum $N$ such that any $r$-coloring of a complete graph on $N$ vertices yields a monochromatic triangle. We explore generalizations and modifications of this result in higher dimensional integer lattices, showing in particular that if $k\geq d+1$, then any $r$-coloring of $\{1,2,\dots,R_r(k)^d-1\}^d$ yields a monochromatic solution to $x_1+\cdots+x_{k-1}=x_k$ with $\{x_1,\dots,x_d\}$ linearly independent, where $R_r(k)$ is the analogous Ramsey number in which triangles are replaced by complete graphs on $k$ vertices. We also obtain computational results and examples in the case $d=2$, $k=3$, and $r\in\{2,3,4\}$.
Sharp Szemerédi-Trotter Constructions in the Plane
Published
• View Publication
• BIB
We present a new family of sharp examples for the Szemerédi-Trotter theorem. These are the first examples not based on a rectangular lattice. We also include an application to the discrete inverse Loomis-Whitney problem.
Rank Polynomials of Fence Posets are Unimodal
Published in Discrete Mathematics (2023), Vol. 346, Issue 2
• View Publication
• BIB
We prove a conjecture of Morier-Genoud and Ovsienko that says that rank polynomials of the distributive lattices of lower ideals of fence posets are unimodal. We do this by introducing a related class of circular fence posets and proving a stronger version of the conjecture due to McConville, Sagan and Smyth. We show that the rank polynomials of circular fence posets are symmetric and conjecture that unimodality holds except in some particular cases. We also apply the recent work of Elizalde, Plante, Roby and Sagan on rowmotion on fences and show many of their homomesy results hold for the circular case as well.
A walk in my lattice path garden
Various lattice path models are reviewed. The enumeration is done using generating functions. A few bijective considerations are woven in as well. The kernel method is often used. Computer algebra was an essential tool. Some results are new, some have appeared before.
The lattice path models we treated, are: Hoppy's walks, the combinatorics of sequence A002212 in \cite{OEIS} (skew Dyck paths, Schröder paths, Hex-trees, decorated ordered trees, multi-edge trees, etc.) Weighted unary-binary trees also occur, and we could improve on our old paper on Horton-Strahler numbers \cite{FlPr86}, by using a different substitution. Some material on ternary trees appears as well, as on Motzkin numbers and paths (a model due to Retakh), and a new concept called amplitude that was found in \cite{irene}. Some new results on Deutsch paths in a strip are included as well. During the Covid period, I spent much time with this beautiful concept that I dare to call Deutsch paths, since Emeric Deutsch stands at the beginning with a problem that he posted in the American Mathematical Monthly some 20 years ago. Peaks and valleys, studied by Rainer Kemp 40 years under the names \textsc{max}-turns and \textsc{min}-turns, are revisited with a more modern approach, streamlining the analysis, relying on the `subcritical case' (named so by Philippe Flajolet), the adding a new slice technique and once again the kernel method.
The lattice of nil-Hecke algebras over real and complex reflection groups
Associated to every complex reflection group, we construct a lattice of quotients of its braid monoid-algebra, which we term nil-Hecke algebras, and which are obtained by killing all braid words that are "sufficiently long", as well as some integer power of each generator. These include usual nil-Coxeter algebras, nil-Temperley-Lieb algebras, and their variants, and lead to symmetric semigroup module categories which necessarily cannot be monoidal.
Motivated by classical work of Coxeter (1957) and the Broue-Malle-Rouquier freeness conjecture [Crelle 1998], and continuing beyond work of the second author [Trans. Amer. Math. Soc. 2018], we obtain a complete classification of the finite-dimensional nil-Hecke algebras for all complex reflection groups $W$. These comprise the usual nil-Coxeter algebras for $W$ of finite type, their "fully commutative" analogues for $W$ of FC-finite type, three exceptional algebras (of types $F_4,H_3,H_4$), and three exceptional series (of types $B_n$ and $A_n$, two of them novel). In particular, we find the first - and only two - finite-dimensional nil-Hecke algebras over discrete complex reflection groups; this breaks from the nil-Coxeter case (where no braid words are further killed, and) where Marin [J. Pure Appl. Alg. 2014] and Khare [Trans. Amer. Math. Soc. 2018] showed that such algebras do not exist.
In addition to these algebras, and also algebraic connections (to PBW deformations and non-monoidal tensor categories), we further uncover combinatorial bases of algebras, both known (fully commutative elements) and novel ($\bar{12}$-avoiding signed permutations). Our classification draws from and brings together results of Popov [Comm. Math. Inst. Utrecht 1982], Stembridge [J. Alg. Combin. 1996, 1998], Malle [Transform. Groups} 1996], Postnikov via Gowravaram-Khovanova (2015), Hart [J. Group Th. 2017], and Khare [Trans. Amer. Math. Soc. 2018].
Congruence for lattice path models with filter restrictions and long steps
Published
• View Publication
• BIB
We derive a path counting formula for two-dimensional lattice path model with filter restrictions in the presence of long steps, source and target points of which are situated near the filters. This solves a problem of finding an explicit formula for multiplicities of modules in tensor product decomposition of $T(1)^{\otimes N}$ for $U_q(sl_2)$ with divided powers, where $q$ is a root of unity. Combinatorial treatment of this problem calls for definition of congruence of regions in lattice path models, properties of which are explored in this paper.
Acyclic reorientation lattices and their lattice quotients
Published in Ann. Comb. 28(4):1035-1092, 2024
• View Publication
• BIB
We prove that the acyclic reorientation poset of a directed acyclic graph $D$ is a lattice if and only if the transitive reduction of any induced subgraph of $D$ is a forest. We then show that the acyclic reorientation lattice is always congruence normal, semidistributive (thus congruence uniform) if and only if $D$ is filled, and distributive if and only if $D$ is a forest. When the acyclic reorientation lattice is semidistributive, we introduce the ropes of $D$ that encode the join irreducibles acyclic reorientations and exploit this combinatorial model in three directions. First, we describe the canonical join and meet representations of acyclic reorientations in terms of non-crossing rope diagrams. Second, we describe the congruences of the acyclic reorientation lattice in terms of lower ideals of a natural subrope order. Third, we use Minkowski sums of shard polytopes of ropes to construct a quotientope for any congruence of the acyclic reorientation lattice.
Skew Howe duality and limit shapes of Young diagrams
Published in J. Lond. Math. Soc., 2023
• View Publication
• BIB
We consider the skew Howe duality for the action of certain dual pairs of Lie groups $(G_1, G_2)$ on the exterior algebra $\bigwedge(\mathbb{C}^{n} \otimes \mathbb{C}^{k})$ as a probability measure on Young diagrams by the decomposition into the sum of irreducible representations. We prove a combinatorial version of this skew Howe for the pairs $(\mathrm{GL}_{n}, \mathrm{GL}_{k})$, $(\mathrm{SO}_{2n+1}, \mathrm{Pin}_{2k})$, $(\mathrm{Sp}_{2n}, \mathrm{Sp}_{2k})$, and $(\mathrm{Or}_{2n}, \mathrm{SO}_{k})$ using crystal bases, which allows us to interpret the skew Howe duality as a natural consequence of lattice paths on lozenge tilings of certain partial hexagonal domains. The $G_1$-representation multiplicity is given as a determinant formula using the Lindström-Gessel-Viennot lemma and as a product formula using Dodgson condensation. These admit natural $q$-analogs that we show equals the $q$-dimension of a $G_2$-representation (up to an overall factor of $q$), giving a refined version of the combinatorial skew Howe duality. Using these product formulas (at $q =1$), we take the infinite rank limit and prove the diagrams converge uniformly to the limit shape.
The Young matroid: A multiset extension of the Catalan matroid to arbitrary Young diagrams
Introduced by Ardila (J. Combin. Theory Ser. A, 2003), the Catalan matroid is obtained by defining the bases of the matroid using Dyck paths from $(0,0)$ to $(n,n)$. Further research has gone into the topic, with variants like lattice path matroids (introduced by Bonin, de Mier, and Noy (J. Combin. Theory Ser. A, 2003)) and shifted matroids (introduced independently by Klivans (2003), and Ardila) being studied intensively. In this short note, we introduce the Young matroid, an extension of the Catalan matroid, where the bases are defined using the standard Young tableaux of a fixed shape. This extension necessarily involves the consideration of independent multisets and multiset bases.
The canonical complex of the weak order
Published in Order, 40:349-370, 2023
• View Publication
• BIB
We define and study the canonical complex of a finite semidistributive lattice $L$. It is the simplicial complex on the join or meet irreducible elements of $L$ which encodes each interval of $L$ by recording the canonical join representation of its bottom element and the canonical meet representation of its top element. This complex behaves properly with respect to lattice quotients of $L$, in the sense that the canonical complex of a quotient of $L$ is the subcomplex of the canonical complex of $L$ induced by the join or meet irreducibles of $L$ uncontracted in the quotient. We then describe combinatorially the canonical complex of the weak order on permutations in terms of semi-crossing arc bidiagrams, formed by the superimposition of two non-crossing arc diagrams of N. Reading. We provide explicit direct bijections between the semi-crossing arc bidiagrams and the weak order interval posets of G. Châtel, V. Pilaud and V. Pons. Finally, we provide an algorithm to describe the Kreweras maps in any lattice quotient of the weak order in terms of semi-crossing arc bidiagrams.
A lattice structure for ancestral configurations arising from the relationship between gene trees and species trees
Published
• View Publication
• BIB
To a given gene tree topology $G$ and species tree topology $S$ with leaves labeled bijectively from a fixed set $X$, one can associate a set of ancestral configurations, each of which encodes a set of gene lineages that can be found at a given node of the species tree. We introduce a lattice structure on ancestral configurations, studying the directed graphs that provide graphical representations of lattices of ancestral configurations. For a matching gene tree topology and species tree topology $G=S$, we present a method for defining the digraph of ancestral configurations from the tree topology by using iterated cartesian products of graphs. We show that a specific set of paths on the digraph of ancestral configurations is in bijection with the set of labeled histories -- a well-known phylogenetic object that enumerates possible temporal orderings of the coalescences of a tree. For each of a series of tree families, we obtain closed-form expressions for the number of labeled histories by using this bijection to count paths on associated digraphs. Finally, we prove that our lattice construction extends to nonmatching tree pairs, and we use it to characterize pairs $(G,S)$ having the maximal number of ancestral configurations for a fixed $G$. We discuss how the construction provides new methods for performing enumerations of combinatorial aspects of gene and species trees.
Lattice-free simplices with lattice width $2d - o(d)$
Published
• View Publication
• BIB
The Flatness theorem states that the maximum lattice width ${\rm Flt}(d)$ of a $d$-dimensional lattice-free convex set is finite. It is the key ingredient for Lenstra's algorithm for integer programming in fixed dimension, and much work has been done to obtain bounds on ${\rm Flt}(d)$. While most results have been concerned with upper bounds, only few techniques are known to obtain lower bounds. In fact, the previously best known lower bound ${\rm Flt}(d) \ge 1.138d$ arises from direct sums of a $3$-dimensional lattice-free simplex. In this work, we establish the lower bound ${\rm Flt}(d) \ge 2d - O(\sqrt{d})$, attained by a family of lattice-free simplices. Our construction is based on a differential equation that naturally appears in this context. Additionally, we provide the first local maximizers of the lattice width of $4$- and $5$-dimensional lattice-free convex bodies.
The Lovász Local Lemma is Not About Probability
Given a collection of independent events each of which has strictly positive probability, the probability that all of them occur is also strictly positive. The Lovász local lemma (LLL) asserts that this remains true if the events are not too strongly negatively correlated. The formulation of the lemma involves a graph with one vertex per event, with edges indicating potential negative dependence. The word "Local" in LLL reflects that the condition for the negative correlation can be expressed solely in terms of the neighborhood of each vertex. In contrast to this local view, Shearer developed an exact criterion for the avoidance probability to be strictly positive, but it involves summing over all independent sets of the graph.
In this work we make two contributions. The first is to develop a hierarchy of increasingly powerful, increasingly non-local lemmata for bounding the avoidance probability from below, each lemma associated with a different set of walks in the graph. Already, at its second level, our hierarchy is stronger than all known local lemmata. To demonstrate its power we prove new bounds for the negative-fugacity singularity of the hard-core model on several lattices, a central problem in statistical physics.
Our second contribution is to prove that Shearer's connection between the probabilistic setting and the independent set polynomial holds for \emph{arbitrary supermodular} functions, not just probability measures. This means that all LLL machinery can be employed to bound from below an arbitrary supermodular function, based only on information regarding its value at singleton sets and partial information regarding their interactions. We show that this readily implies both the quantum LLL of Ambainis, Kempe, and Sattath~[JACM 2012], and the quantum Shearer criterion of Sattath, Morampudi, Laumann, and Moessner~[PNAS 2016].
On the moments of moments of random matrices and Ehrhart polynomials
Published
• View Publication
• BIB
There has been significant interest in studying the asymptotics of certain generalised moments, called the moments of moments, of characteristic polynomials of random Haar-distributed unitary and symplectic matrices, as the matrix size $N$ goes to infinity. These quantities depend on two parameters $k$ and $q$ and when both of them are positive integers it has been shown that these moments are in fact polynomials in the matrix size $N$. In this paper we classify the integer roots of these polynomials and moreover prove that the polynomials themselves satisfy a certain symmetry property. This confirms some predictions from the thesis of Bailey. The proof uses the Ehrhart-Macdonald reciprocity for rational convex polytopes and certain bijections between lattice points in some polytopes.
Semidistrim Lattices
Published
• View Publication
• BIB
We introduce semidistrim lattices, a simultaneous generalization of semidistributive and trim lattices that preserves many of their common properties. We prove that the elements of a semidistrim lattice correspond to the independent sets in an associated graph called the Galois graph, that products and intervals of semidistrim lattices are semidistrim, and that the order complex of a semidistrim lattice is either contractible or homotopy equivalent to a sphere.
Semidistrim lattices have a natural rowmotion operator, which simultaneously generalizes Barnard's $\overlineκ$ map on semidistributive lattices as well as Thomas and the second author's rowmotion on trim lattices. Every lattice has an associated pop-stack sorting operator that sends an element $x$ to the meet of the elements covered by $x$. For semidistrim lattices, we are able to derive several intimate connections between rowmotion and pop-stack sorting, one of which involves independent dominating sets of the Galois graph.
Multi-colored dimer models in one-dimension: lattice paths and generalized Rogers--Ramanujan identities
We define and study multi-colored dimer models on a segment and on a circle. The multivariate generating functions for the dimer models satisfy the recurrence relations similar to the one for Fibonacci numbers. We give closed formulae for the generating functions. We show that, in the large size limit with specializations of the formal variables, the generating functions exhibit the summations appearing in generalized Rogers--Ramanujan identities. Further, the generating functions of the dimer models have infinite product formulae for general values of formal variables in the large size limit. These formulae are generalizations of Rogers--Ramanujan identities for multi variables. We also give other several specializations which exhibit simple combinatorial formulae. The analysis of the correlation functions, which we call emptiness formation probabilities and moments, leads to the application of the formal power series associated to the Dyck, Motzkin and Schröder paths to the generating functions for the dimer models. We give descriptions of the generating functions of finite size in terms of these combinatorial objects, Dyck and Motzkin paths with statistics. We have three additional results. First, the convoluted generating functions for Fibonacci, Catalan and Motzkin numbers are shown to be expressed as generating functions of Fibonacci, Dyck and Motzkin words with the weights given by binomial coefficients. The second one is a weight preserving correspondence between a Motzkin path and a set of Dyck paths. The third one is a connection of the generating functions for the dimer models to the generating functions of independent sets of special classes of graphs.
Lattice Packings of Cross-polytopes from Reed-Solomon Codes and Sidon Sets
Published in Bull. London Math. Soc., vol. 54, no. 6, pp. 2372-2378, 2022
• View Publication
• BIB
Two constructions of lattice packings of $ n $-dimensional cross-polytopes ($ \ell_1 $ balls) are described, the density of which exceeds that of any prior construction by a factor of at least $ 2^{\frac{n}{\ln n}(1 + o(1))} $ when $ n \to \infty $. The first family of lattices is explicit and is obtained by applying Construction A to a class of Reed-Solomon codes. The second family has subexponential construction complexity and is based on the notion of Sidon sets in finite Abelian groups. The construction based on Sidon sets also gives the highest known asymptotic density of packing discrete cross-polytopes of fixed radius $ r \geqslant 3 $ in $ \mathbb{Z}^n $.