lattice
4310 papers tagged with this keyword
On the number of non-comparable pairs of elements in a distributive lattice
In this article we introduce the study of the number of pairs of non-comparable elements in a distributive lattice $Ł$. We give several tight lower and upper bounds for the number and give as an application the lattices precisely for which the algebraic variety associated to is a complete intersection.
On singularities of lattice varieties
Toric varieties associated with distributive lattices arise as a fibre of a flat degeneration of a Schubert variety in a minuscule. The singular locus of these varieties has been studied by various authors. In this article we prove that the number of diamonds incident on a lattice point $\a$ in a product of chain lattices is more than or equal to the codimension of the lattice. Using this we also show that the lattice varieties associated with product of chain lattices is smooth.
Enumerating lattices of subsets
Given k sets such that no one is contained in another, there is an associated lattice on the power set P([k]) corresponding to inclusion relations among unions of the sets. Two lattices on P([k]) are equivalent if there is a permutation of [k] under which they correspond. We show that for k=1, 2, 3, and 4, there are 1, 1, 4, and 50 equivalence classes of lattices on P([k]) obtained from sets in this way. We cannot find a reference to previous work on this enumeration problem in the literature, and so wish to introduce it for subsequent investigation. We explain how the problem arose from algebraic topology.
Smith Normal Form of a Multivariate Matrix Associated with Partitions
Published
• View Publication
• BIB
Consideration of a question of E. R. Berlekamp led Carlitz, Roselle, and Scoville to give a combinatorial interpretation of the entries of certain matrices of determinant~1 in terms of lattice paths. Here we generalize this result by refining the matrix entries to be multivariate polynomials, and by determining not only the determinant but also the Smith normal form of these matrices. A priori the Smith form need not exist but its existence follows from the explicit computation. It will be more convenient for us to state our results in terms of partitions rather than lattice paths.
Aperiodic pseudorandom number generators based on infinite words
Published in Theoret. Comput. Sci. 647 (2016), 85 -- 100
• View Publication
• BIB
In this paper we study how certain families of aperiodic infinite words can be used to produce aperiodic pseudorandom number generators (PRNGs) with good statistical behavior. We introduce the \emph{well distributed occurrences} (WELLDOC) combinatorial property for infinite words, which guarantees absence of the lattice structure defect in related pseudorandom number generators. An infinite word $u$ on a $d$-ary alphabet has the WELLDOC property if, for each factor $w$ of $u$, positive integer $m$, and vector $\mathbf v\in\mathbb Z_{m}^{d}$, there is an occurrence of $w$ such that the Parikh vector of the prefix of $u$ preceding such occurrence is congruent to $\mathbf v$ modulo $m$. (The Parikh vector of a finite word $v$ over an alphabet $\mathcal A$ has its $i$-th component equal to the number of occurrences of the $i$-th letter of $\mathcal A$ in $v$.) We prove that Sturmian words, and more generally Arnoux-Rauzy words and some morphic images of them, have the WELLDOC property. Using the TestU01 and PractRand statistical tests, we moreover show that not only the lattice structure is absent, but also other important properties of PRNGs are improved when linear congruential generators are combined using infinite words having the WELLDOC property.
Two bijections on Tamari intervals
Published in DMTCS Proceedings, 0(01):241-252 (FPSAC 2014)
• View Publication
• BIB
We use a recently introduced combinatorial object, the interval-poset, to describe two bijections on intervals of the Tamari lattice. Both bijections give a combinatorial proof of some previously known results. The first one is an inner bijection between Tamari intervals that exchanges the initial rise and lower contacts statistics. Those were introduced by Bousquet-Mélou, Fusy, and Préville-Ratelle who proved they were symmetrically distributed but had no combinatorial explanation. The second bijection sends a Tamari interval to a closed flow of an ordered forest. These combinatorial objects were studied by Chapoton in the context of the Pre-Lie operad and the connection with the Tamari order was still unclear.
Counting smaller elements in the Tamari and m-Tamari lattices
Published
• View Publication
• BIB
We introduce new combinatorial objects, the interval- posets, that encode intervals of the Tamari lattice. We then find a combinatorial interpretation of the bilinear operator that appears in the functional equation of Tamari intervals described by Chapoton. Thus, we retrieve this functional equation and prove that the polynomial recursively computed from the bilinear operator on each tree T counts the number of trees smaller than T in the Tamari order. Then we show that a similar m + 1-linear operator is also used in the functionnal equation of m-Tamari intervals. We explain how the m-Tamari lattices can be interpreted in terms of m+1-ary trees or a certain class of binary trees. We then use the interval-posets to recover the functional equation of m-Tamari intervals and to prove a generalized formula that counts the number of elements smaller than or equal to a given tree in the m-Tamari lattice.
Supersolvable restrictions of reflection arrangements
Published
• View Publication
• BIB
Let A = (A,V) be a complex hyperplane arrangement and let L(A) denote its intersection lattice. The arrangement A is called supersolvable, provided its lattice L(A) is supersolvable. For X in L(A), it is known that the restriction A^X is supersolvable provided A is.
Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A(W) = (A(W), V) be its associated hyperplane arrangement. In earlier work by the last two authors, we classified all supersolvable reflection arrangements. Extending this work, the aim of this note is to determine all supersolvable restrictions of reflection arrangements. It turns out that apart from the obvious restrictions of supersolvable reflection arrangements there are only a few additional instances. Moreover, in our previous work, we classified all inductively free restrictions A(W)^X of reflection arrangements A(W). Since every supersolvable arrangement is inductively free, the supersolvable restrictions A(W)^X of reflection arrangements A(W) form a natural subclass of the class of inductively free restrictions A(W)^X.
Finally, we characterize the irreducible supersolvable restrictions of reflection arrangements by the presence of modular elements of dimension 1 in their intersection lattice. This in turn shows that reflection arrangements as well as their restrictions are of fiber type if and only if they are strictly linearly fibered.
On the Lattice Isomorphism Problem
Published
• View Publication
• BIB
We study the Lattice Isomorphism Problem (LIP), in which given two lattices L_1 and L_2 the goal is to decide whether there exists an orthogonal linear transformation mapping L_1 to L_2. Our main result is an algorithm for this problem running in time n^{O(n)} times a polynomial in the input size, where n is the rank of the input lattices. A crucial component is a new generalized isolation lemma, which can isolate n linearly independent vectors in a given subset of Z^n and might be useful elsewhere. We also prove that LIP lies in the complexity class SZK.
A Determinantal Formula for Catalan Tableaux and TASEP Probabilities
Published in Journal of Combinatorial Theory, Series A (2015), pp. 120-141
• View Publication
• BIB
We present a determinantal formula for the steady state probability of each state of the TASEP (Totally Asymmetric Simple Exclusion Process) with open boundaries, a 1D particle model that has been studied extensively and displays rich combinatorial structure. These steady state probabilities are computed by the enumeration of Catalan tableaux, which are certain Young diagrams filled with $α$'s and $β$'s that satisfy some conditions on the rows and columns. We construct a bijection from the Catalan tableaux to weighted lattice paths on a Young diagram, and from this we enumerate the paths with a determinantal formula, building upon a formula of Narayana that counts unweighted lattice paths on a Young diagram. Finally, we provide a formula for the enumeration of Catalan tableaux that satisfy a given condition on the rows, which corresponds to the steady state probability that in the TASEP on a lattice with $n$ sites, precisely $k$ of the sites are occupied by particles. This formula is an $α /\ β$ generalization of the Narayana numbers.
On the ideal of the shortest vectors in the Leech lattice and other lattices
Published
• View Publication
• BIB
Let $X \subset {\mathbb R}^m$ be a spherical code (i.e., a finite subset of the unit sphere) and consider the ideal of all polynomials in $m$ variables which vanish on $X$. Motivated by a study of cometric ($Q$-polynomial) association schemes and spherical designs, we wish to determine certain properties of this ideal. After presenting some background material and preliminary results, we consider the case where $X$ is the set of shortest vectors of one of the exceptional lattices $E_6$, $E_7$, $E_8$, $Λ_{24}$ (the Leech lattice) and determine for each: (i) the smallest degree of a non-trivial polynomial in the ideal, and (ii) the smallest $k$ for which the ideal admits a generating set of polynomials all of degree $k$ or less. As it turns out, in all four cases mentioned above, these two values coincide, as they also do for the icosahedron, our introductory example. The paper concludes with a discussion of these two parameters, two open problems regarding their equality, and a few remarks concerning connections to cometric association schemes.
Homomesy in products of two chains
Published
• View Publication
• BIB
Many invertible actions $τ$ on a set ${\mathcal{S}}$ of combinatorial objects, along with a natural statistic $f$ on ${\mathcal{S}}$, exhibit the following property which we dub \textbf{homomesy}: the average of $f$ over each $τ$-orbit in ${\mathcal{S}}$ is the same as the average of $f$ over the whole set ${\mathcal{S}}$. This phenomenon was first noticed by Panyushev in 2007 in the context of the rowmotion action on the set of antichains of a root poset; Armstrong, Stump, and Thomas proved Panyushev's conjecture in 2011. We describe a theoretical framework for results of this kind that applies more broadly, giving examples in a variety of contexts. These include linear actions on vector spaces, sandpile dynamics, Suter's action on certain subposets of Young's Lattice, Lyness 5-cycles, promotion of rectangular semi-standard Young tableaux, and the rowmotion and promotion actions on certain posets. We give a detailed description of the latter situation for products of two chains.
Secret sharing on the $d$-dimensional cube
Published
• View Publication
• BIB
We prove that for $d>1$ the best information ratio of the perfect secret sharing scheme based on the edge set of the $d$-dimensional cube is exactly $d/2$. Using the technique developed, we also prove that the information ratio of the infinite $d$-dimensional lattice is $d$.
Applications in Enumerative Combinatorics of Infinite Weighted Automata and Graphs
Published
• View Publication
• BIB
In this paper we studied infinite weighted automata and a general methodology to solve a wide variety of classical lattice path counting problems in an uniform way. This counting problems are related to Dyck paths, Motzkin paths and some generalizations. These methodology uses weighted automata, equations of ordinary generating functions and continued fractions. It is a variation of the one proposed by J. Rutten.
Combinatoire algébrique liée aux ordres sur les permutations
This thesis comes within the scope of algebraic combinatorics and studies problems related to three orders on permutations: the two said weak orders (right and left) and the strong order or Bruhat order. The first part deals with bases of multivariate polynomials. Most specifically, we study a product of Grothendieck polynomials and prove that it can interpreted as a sum over the Bruhat order. We also present our implementation of Grothendieck polynomials and other bases in Sage. In a second part, we study the Tamari order binary trees. We obtain a new enumeration formula on the Tamari lattice and a new combinatorial prove of Chapoton's functional equation of the generating functions of Tamari intervals. We extend our results to the m-Tamari case and thus retrieve a formula given by Bousquet-Mélou, Préville-Ratelle and Fusy.
A categorification of non-crossing partitions
Published
• View Publication
• BIB
We present a categorification of the non-crossing partitions given by crystallographic Coxeter groups. This involves a category of certain bilinear lattices, which are essentially determined by a symmetrisable generalised Cartan matrix together with a particular choice of a Coxeter element. Examples arise from Grothendieck groups of hereditary artin algebras.
A Generalization of Aztec Diamond Theorem, Part II
Published
• View Publication
• BIB
The author gave a proof of a generalization of the Aztec diamond theorem for a family of $4$-vertex regions on the square lattice with southwest-to-northeast diagonals drawn in (Electron. J. Combin., 2014) by using a bijection between tilings and non-intersecting lattice paths. In this paper, we use Kuo graphical condensation to give a new proof.
On Lattices of Regular Sets of Natural Integers Closed under Decrementation
We consider lattices of regular sets of non negative integers, i.e. of sets definable in Presbuger arithmetic. We prove that if such a lattice is closed under decrement then it is also closed under many other functions: quotients by an integer, roots, etc.
Newton Polytopes of Cluster Variables of Type A_n
Published
• View Publication
• BIB
We study Newton polytopes of cluster variables in type A_n cluster algebras, whose cluster and coefficient variables are indexed by the diagonals and boundary segments of a polygon. Our main results include an explicit description of the affine hull and facets of the Newton polytope of the Laurent expansion of any cluster variable, with respect to any cluster. In particular, we show that every Laurent monomial in a Laurent expansion of a type A cluster variable corresponds to a vertex of the Newton polytope. We also describe the face lattice of each Newton polytope via an isomorphism with the lattice of elementary subgraphs of the associated snake graph.
A generalization of Aztec diamond theorem, part I
Published
• View Publication
• BIB
We generalize Aztec diamond theorem (N. Elkies, G. Kuperberg, M. Larsen, and J. Propp, Alternating-sign matrices and domino tilings, Journal Algebraic Combinatoric, 1992) by showing that the numbers of tilings of a certain family of regions in the square lattice with southwest-to-northeast diagonals drawn in are given by powers of 2. We present a proof for the generalization by using a bijection between domino tilings and non-intersecting lattice paths.