lattice
4310 papers tagged with this keyword
Finite distributive lattices, polyominoes and ideals of König type
Published
• View Publication
• BIB
Finite distributive lattices whose join-meet ideals are of König type will be classified. Furthermore, a class of polyominoes whose polyomino ideals are of König type will be studied.
Combinatorial aspects of sandpile models on wheel and fan graphs
Published in European Journal of Combinatorics, Volume 110, May 2023
• View Publication
• BIB
We study combinatorial aspects of the sandpile model on wheel and fan graphs, seeking bijective characterisations of the model's recurrent configurations on these families. For wheel graphs, we exhibit a bijection between these recurrent configurations and the set of subgraphs of the cycle graph which maps the level of the configuration to the number of edges of the subgraph. This bijection relies on two key ingredients. The first consists in considering a stochastic variant of the standard Abelian sandpile model (ASM), rather than the ASM itself. The second ingredient is a mapping from a given recurrent state to a canonical minimal recurrent state, exploiting similar ideas to previous studies of the ASM on complete bipartite graphs and Ferrers graphs. We also show that on the wheel graph with $2n$ vertices, the number of recurrent states with level $n$ is given by the first differences of the central Delannoy numbers. Finally, using similar tools, we exhibit a bijection between the set of recurrent configurations of the ASM on fan graphs and the set of subgraphs of the path graph containing the right-most vertex of the path. We show that these sets are also equinumerous with certain lattice paths, which we name Kimberling paths after the author of the corresponding entry in the Online Encyclopedia of Integer Sequences.
Lattice path enumeration for semi-magic squares by Latin rectangles
Similar to how standard Young tableaux represent paths in the Young lattice, Latin rectangles may be use to enumerate paths in the poset of semi-magic squares with entries zero or one. The symmetries associated to determinant preserve this poset, and we completely describe the orbits, covering data, and maximal chains for squares of size 4, 5, and 6. The last item gives the number of Latin squares in these cases. To calculate efficiently for size 6, we in turn identify orbits with certain equivalence classes of hypergraphs.
Integrable systems and crystals for edge labeled tableaux
Published in J. Algebra, 644 (2024), pp. 152-190
• View Publication
• BIB
We introduce the edge Schur functions $E^λ$ that are defined as a generating series over edge labeled tableaux. We formulate $E^λ$ as the partition function for a solvable lattice model, which we use to show they are symmetric polynomials and derive a Cauchy-type identity with factorial Schur polynomials. Finally, we give a crystal structure on edge labeled tableau to give a positive Schur polynomial expansion of $E^λ$ and show it intertwines with an uncrowding algorithm.
Lower Bounds on Lattice Covering Densities of Simplices
Published
• View Publication
• BIB
This paper presents new lower bounds for the lattice covering densities of simplices by studying the Degree-Diameter Problem for abelian Cayley digraphs. In particular, it proves that the density of any lattice covering of a tetrahedron is at least $25/18$ and the density of any lattice covering of a four-dimensional simplex is at least $343/264$.
On the preferred extensions of argumentation frameworks: bijections with naive sets
Published
• View Publication
• BIB
This paper deals with the problem of finding the preferred extensions of an argumentation framework by means of a bijection with the naive sets of another framework. First, we consider the case where an argumentation framework is naive-bijective: its naive sets and preferred extensions are equal. Recognizing naive-bijective argumentation frameworks is hard, but we show that it is tractable for frameworks with bounded in-degree. Next, we give a bijection between the preferred extensions of an argumentation framework being admissible-closed (the intersection of two admissible sets is admissible) and the naive sets of another framework on the same set of arguments. On the other hand, we prove that identifying admissible-closed argumentation frameworks is coNP-complete. At last, we introduce the notion of irreducible self-defending sets as those that are not the union of others. It turns out there exists a bijection between the preferred extensions of an argumentation framework and the naive sets of a framework on its irreducible self-defending sets. Consequently, the preferred extensions of argumentation frameworks with some lattice properties can be listed with polynomial delay and polynomial space.
Product-Coproduct Prographs and Triangulations of the Sphere
In this paper, we explain how the classical Catalan families of objects involving paths, tableaux, triangulations, parentheses configurations and more generalize canonically to a three-dimensional version. In particular, we present product-coproduct prographs as central objects explaining the combinatorics of the triangulations of the sphere. Then we expose a natural way to extend the Tamari lattice to the product-coproduct prographs.
Non-very generic arrangements in low dimension
Published
• View Publication
• BIB
The discriminantal arrangement $\mathcal{B}(n,k,\mathcal{A})$ has been introduced by Manin and Schectman in 1989 and it consists of all non-generic translates of a generic arrangement $\mathcal{A}$ of n hyperplanes in a $k$-dimensional space. It is known that its combinatorics depends on the original arrangement A which, following Bayer and Brandt [3], is called very generic if the intersection lattice of the induced discriminantal arrangement has maximum cardinality, non-very generic otherwise. While a complete description of the combinatorics of $\mathcal{B}(n,k,\mathcal{A})$ when $\mathcal{A}$ is very generic is known (see [2]), very few is known in the non-very generic case. Even to provide examples of non very generic arrangements proved to be a non-trivial task (see [17]). In this paper, we characterize, classify and provide examples of non-very generic arrangements in low dimension.
A bijection for Delannoy paths
We exhibit a bijection between central Delannoy $n$-paths, that is, lattice paths from the origin to $(n,n)$ with steps $E=(1,0), \,N=(0,1),\,D=(1,1)$ and the lattice paths from the origin to $(n+1,n)$ where the only restriction on the steps is that they have finite nonnegative slope.
Modular lattices of finite length (Part B)
Part B (of a project involving four Parts) is about "bases of lines", a concept introduced by C. Herrmann and the author in the late 80's. Bases of lines attempt to describe a given modular lattice in a geometric way akin to how projective geometries describe complemented modular lattices. This e.g. yields the result that each modular lattice L of finite length d(L), and having s(L) many maximal congruences, has at least 2d(L)-s(L) many join-irreducible elements. Furthermore, an algorithm is proposed that calculates, in a compressed way, the (full) submodule lattice Sub(W) of any (sufficiently known) finite R-module W.
Bubble Lattices I: Structure
Published in Algebra Universalis 85:12 (2024)
• View Publication
• BIB
C. Greene introduced the shuffle lattice as an idealized model for DNA mutation and discovered remarkable combinatorial and enumerative properties of this structure. We attempt an explanation of these properties from a lattice-theoretic point of view. To that end, we introduce and study an order extension of the shuffle lattice, the bubble lattice. We characterize the bubble lattice both locally (via certain transformations of shuffle words) and globally (using a notion of inversion set). We then prove that the bubble lattice is extremal and constructable by interval doublings. Lastly, we prove that our bubble lattice is a generalization of the Hochschild lattice studied earlier by Chapoton, Combe and the second author.
Bogoyavlensky lattices and generalized Catalan numbers
Published in Russian J. Math. Phys. 31, 1-23 (2024)
• View Publication
• BIB
We study the problem of the decay of initial data in the form of a unit step for the Bogoyavlensky lattices. In contrast to the Gurevich--Pitaevskii problem of the decay of initial discontinuity for the KdV equation, it turns out to be exactly solvable, since the dynamics is linearizable due to termination on the half-line. The answer is written in terms of generalized hypergeometric functions, which serve as exponential generating functions for generalized Catalan numbers. This can be proved by the fact that the generalized Hankel determinants for these numbers are equal to 1, which is a well-known result in combinatorics. Another method is based on a non-autonomous symmetry reduction consistent with the dynamics. It reduces the lattice equation to a finite-dimensional system and makes it possible to solve the problem for a more general finite-parameter family of initial data.
Note on BDL property of fixed points of primitive morphisms
We consider an infinite word $\boldsymbol{u}$ fixed by a primitive morphism. We show a necessary condition under which $\boldsymbol{u}$ has a non-trivial geometric representation which is bounded distance equivalent to a lattice.
Proto-exact categories of modules over semirings and hyperrings
Published
• View Publication
• BIB
\emph{Proto-exact categories}, introduced by Dyckerhoff and Kapranov, are a generalization of Quillen exact categories which provide a framework for defining algebraic K-theory and Hall algebras in a \emph{non-additive} setting. This formalism is well-suited to the study of categories whose objects have strong combinatorial flavor.
In this paper, we show that the categories of modules over semirings and hyperrings - algebraic structures which have gained prominence in tropical geometry - carry proto-exact structures.
In the first part, we prove that the category of modules over a semiring is equipped with a proto-exact structure; modules over an idempotent semiring have a strong connection to matroids. We also prove that the category of algebraic lattices $\mathcal{L}$ has a proto-exact structure, and furthermore that the subcategory of $\mathcal{L}$ consisting of finite lattices is equivalent to the category of finite $\mathbb{B}$-modules as proto-exact categories, where $\mathbb{B}$ is the \emph{Boolean semifield}. We also discuss some relations between $\mathcal{L}$ and geometric lattices (simple matroids) from this perspective.
In the second part, we prove that the category of modules over a hyperring has a proto-exact structure. In the case of finite modules over the \emph{Krasner hyperfield} $\mathbb{K}$, a well-known relation between finite $\mathbb{K}$-modules and finite incidence geometries yields a combinatorial interpretation of exact sequences.
The combinatorics of hopping particles and positivity in Markov chains
The asymmetric simple exclusion process (ASEP) is a model for translation in protein synthesis and traffic flow; it can be defined as a Markov chain describing particles hopping on a one-dimensional lattice. In this article I give an overview of some of the connections of the stationary distribution of the ASEP to combinatorics (tableaux and multiline queues) and special functions (Askey-Wilson polynomials, Macdonald polynomials, and Schubert polynomials). I also make some general observations about positivity in Markov chains.
On the Pernici-Wanless Expansion for the Entropy ( and Virial Coefficients ) of a Dimer Gas on an Infinite Regular Lattice
We work with the following expression for the entropy (density) of a dimer gas on an infinite r-regular lattice lambda(p) = 1/2 [ pln(r)-ln(p)-2(1-p)ln(1-p)-p ]+sum_{k=2}(d_k)(p^k) where the indicated sum converges for density, p, small enough. Pernici has computed the coefficients d_k for k < 13. He found these d_k to be polynomials in certain interesting "geometric quantites" arising in the work of Wanless. Each of these quantities is the number density of isomorphic mappings of some graph into the lattice (graph). So for a bipartite lattice d_2 = c_2 d_3 = c_3 d_4 = c_4 + c_5 hat{G}_1 d_5 = c_6 + c_7 hat{G}_1. The c_i depend only on r. Here hat{G}_1 is the density of mapping classes of the four loop graph into the lattice. The limit of 1/V times the number of such mapping classes into a lattice of volume V as V goes to infinity. The infinite volume limit. There is a simple linear relation that yields the kth virial coefficient from the value of d_k! We feel this expression gives the deepest insight into the virial coefficients so far obtained.
What we show in this paper is that such polynomial relations for the d_k in these geometric quantities holds for the d_k for k < 28. Of course we expect it to hold for all k. We use the same computation procedure as Pernici. We note this procedure is not rigorously established. So far a procedure for the physicist, perhaps not the mathematician (their loss). It is a worthy challenge for the mathematical physicist to supply the needed rigor.
Facets of Symmetric Edge Polytopes for Graphs with Few Edges
Symmetric edge polytopes, also called adjacency polytopes, are lattice polytopes determined by simple undirected graphs. We introduce the integer array \(\mathrm{maxf}(n,m)\) giving the maximum number of facets of a symmetric edge polytope for a connected graph having \(n\) vertices and \(m\) edges, and the corresponding sequence \(\mathrm{minf}(n,m)\) of minimal values. We establish formulas for the number of facets obtained in several classes of sparse graphs and provide partial progress toward conjectures that identify facet-maximizing graphs in these classes. These formulas are combinatorial in nature and lead to independently interesting observations and conjectures regarding integer sequences defined by sums of products of binomial coefficients.
Counting lattice triangulations: Fredholm equations in combinatorics
Published in Sbornik: Mathematics, 213 (2022), 1530-1558
• View Publication
• BIB
Let $f(m,n)$ be the number of primitive lattice triangulations of $m\times n$ rectangle. We compute the limits $\lim_n f(m,n)^{1/n}$ for $m=2$ and $3$. For $m=2$ we obtain the exact value of the limit which is equal to $(611+\sqrt{73})/36$. For $m=3$, we express the limit in terms of certain Fredholm's integral equation on generating functions. This provides a polynomial time algorithm for computation of the limit with any given precision (polynomial with respect the the number of computed digits).
Irreversible Markov Dynamics and Hydrodynamics for KPZ States in the Stochastic Six Vertex Model
Published
• View Publication
• BIB
We introduce a family of Markov growth processes on discrete height functions defined on the 2-dimensional square lattice. Each height function corresponds to a configuration of the six vertex model on the infinite square lattice. We focus on the stochastic six vertex model corresponding to a particular two-parameter family of weights within the ferroelectric regime. It is believed (and partially proven, see Aggarwal, arXiv:2004.13272) that the stochastic six vertex model displays nontrivial pure (i.e., translation invariant and ergodic) Gibbs states of two types, KPZ and liquid. These phases have very different long-range correlation structure. The Markov processes we construct preserve the KPZ pure states in the full plane. We also show that the same processes put on the torus preserve arbitrary Gibbs measures for generic six vertex weights (not necessarily in the ferroelectric regime).
Our dynamics arise naturally from the Yang-Baxter equation for the six vertex model via its bijectivisation, a technique first used in Bufetov-Petrov (arXiv:1712.04584). The dynamics we construct are irreversible; in particular, the height function has a nonzero average drift. In each KPZ pure state, we explicitly compute the average drift (also known as the current) as a function of the slope. We use this to analyze the hydrodynamics of a non-stationary version of our process acting on quarter plane stochastic six vertex configurations. The fixed-time limit shapes in the quarter plane model were obtained in Borodin-Corwin-Gorin (arXiv:1407.6729).
Ehrhart Theory of Paving and Panhandle Matroids
Published
• View Publication
• BIB
We show that the base polytope $P_M$ of any paving matroid $M$ can be systematically obtained from a hypersimplex by slicing off certain subpolytopes, namely base polytopes of lattice path matroids corresponding to panhandle-shaped Ferrers diagrams. We calculate the Ehrhart polynomials of these matroids and consequently write down the Ehrhart polynomial of $P_M$, starting with Katzman's formula for the Ehrhart polynomial of a hypersimplex. The method builds on and generalizes Ferroni's work on sparse paving matroids. Combinatorially, our construction corresponds to constructing a uniform matroid from a paving matroid by iterating the operation of stressed-hyperplane relaxation introduced by Ferroni, Nasr, and Vecchi, which generalizes the standard matroid-theoretic notion of circuit-hyperplane relaxation. We present evidence that panhandle matroids are Ehrhart positive and describe a conjectured combinatorial formula involving chain forests and Eulerian numbers from which Ehrhart positivity of panhandle matroids will follow. As an application of the main result, we calculate the Ehrhart polynomials of matroids associated with Steiner systems and finite projective planes, and show that they depend only on their design-theoretic parameters: for example, while projective planes of the same order need not have isomorphic matroids, their base polytopes must be Ehrhart equivalent.