lattice
4310 papers tagged with this keyword
Modular lattices of finite length (Part A)
This is Part A of four Parts dedicated to modular lattices of finite length. It builds on 1992 notes of the author (available on ResearchGate), and in so doing heeds a wish of the late Gian-Carlo Rota. Part A is in fairly final form and mainly features known material, exceptions being a short proof of the distributivity of congruence lattices of lattices, as well as the concept of a point-splitting (which applies to arbitrary partial linear spaces). The planned content of Parts B,C,D is given in the introduction of Part A. Suffice it to say that deep results from C.Herrmann and R.Wille will be treated in English for the first time. All of this (even Part A) is work in process and comments/contributions are welcome.
The Pop-stack-sorting Operator on Tamari Lattices
Published in Adv. Applied Math., Volume 139, August 2022, 102362
• View Publication
• BIB
Motivated by the pop-stack-sorting map on the symmetric groups, Defant defined an operator $\mathsf{Pop}_M : M \to M$ for each complete meet-semilattice $M$ by $$\mathsf{Pop}_M(x)=\bigwedge(\{y\in M: y\lessdot x\}\cup \{x\}).$$ This paper concerns the dynamics of $\mathsf{Pop}_{\mathrm{Tam}_n}$, where $\mathrm{Tam}_n$ is the $n$-th Tamari lattice.
We say an element $x\in \mathrm{Tam}_n$ is $t$-$\mathsf{Pop}$-sortable if $\mathsf{Pop}_M^t (x)$ is the minimal element and we let $h_t(n)$ denote the number of $t$-$\mathsf{Pop}$-sortable elements in $\mathrm{Tam}_n$. We find an explicit formula for the generating function $\sum_{n\ge 1}h_t(n)z^n$ and verify Defant's conjecture that it is rational. We furthermore prove that the size of the image of $\mathsf{Pop}_{\mathrm{Tam}_n}$ is the Motzkin number $M_n$, settling a conjecture of Defant and Williams.
An inverse Fraïssé limit for finite posets and duality for posets and lattices
We consider a category of all finite partial orderings with quotient maps as arrows and construct a Fraïssé sequence in this category. Then we use commonly known relations between partial orders and lattices to construct a sequence of lattices associated with it. Each of these two sequences has a limit object -- an inverse limit, which is an object of our interest as well.
In the first chapter there are some preliminaries considering partial orders, lattices, topology, inverse limits, category theory and Fraïssé theory, which are used later. In the second chapter there are our results considering a Fraïssé sequence in category of finite posets with quotient maps and properties of inverse limit of this sequence. In the third chapter we investigate connections between posets and order ideals corresponding to them, getting an inductive sequence made of these ideals; then we study properties of the inverse limit of this sequence.
Some statistics on generalized Motzkin paths with vertical steps
Published
• View Publication
• BIB
Recently, several authors have considered lattice paths with various steps, including vertical steps permitted. In this paper, we consider a kind of generalized Motzkin paths, called {\it G-Motzkin paths} for short, that is lattice paths from $(0, 0)$ to $(n, 0)$ in the first quadrant of the $XOY$-plane that consist of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, -1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, -1)$. We mainly count the number of G-Motzkin paths of length $n$ with given number of $\mathbf{z}$-steps for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, and enumerate the statistics "number of $\mathbf{z}$-steps" at given level in G-Motzkin paths for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, some explicit formulas and combinatorial identities are given by bijective and algebraic methods, some enumerative results are linked with Riordan arrays according to the structure decompositions of G-Motzkin paths. We also discuss the statistics "number of $\mathbf{z}_1\mathbf{z}_2$-steps" in G-Motzkin paths for $\mathbf{z}_1, \mathbf{z}_2\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$, the exact counting formulas except for $\mathbf{z}_1\mathbf{z}_2=\mathbf{dd}$ are obtained by the Lagrange inversion formula and their generating functions.
The $\mathbf{uvu}$-avoiding $(a,b,c)$-Generalized Motzkin paths with vertical steps: bijections and statistic enumerations
Published
• View Publication
• BIB
A generalized Motzkin path, called G-Motzkin path for short, of length $n$ is a lattice path from $(0, 0)$ to $(n, 0)$ in the first quadrant of the XOY-plane that consists of up steps $\mathbf{u}=(1, 1)$, down steps $\mathbf{d}=(1, -1)$, horizontal steps $\mathbf{h}=(1, 0)$ and vertical steps $\mathbf{v}=(0, -1)$. An $(a,b,c)$-G-Motzkin path is a weighted G-Motzkin path such that the $\mathbf{u}$-steps, $\mathbf{h}$-steps, $\mathbf{v}$-steps and $\mathbf{d}$-steps are weighted respectively by $1, a, b$ and $c$. In this paper, we first give bijections between the set of $\mathbf{uvu}$-avoiding $(a,b,b^2)$-G-Motzkin paths of length $n$ and the set of $(a,b)$-Schröder paths as well as the set of $(a+b,b)$-Dyck paths of length $2n$, between the set of $\{\mathbf{uvu, uu}\}$-avoiding $(a,b,b^2)$-G-Motzkin paths of length $n$ and the set of $(a+b,ab)$-Motzkin paths of length $n$, between the set of $\{\mathbf{uvu,uu}\}$-avoiding $(a,b,b^2)$-G-Motzkin paths of length $n+1$ beginning with an $\mathbf{h}$-step weighted by $a$ and the set of $(a,b)$-Dyck paths of length $2n+2$. In the last section, we focus on the enumeration of statistics "number of $\mathbf{z}$-steps" for $\mathbf{z}\in \{\mathbf{u}, \mathbf{h}, \mathbf{v}, \mathbf{d}\}$ and "number of points" at given level in $\mathbf{uvu}$-avoiding G-Motzkin paths. These counting results are linked with Riordan arrays.
A class of maps on the torus and their vertex orbits
A tiling (edge-to-edge) of the plane is a family of tiles that cover the plane without gaps or overlaps. Vertex figure of a vertex in a tiling to be the union of all edges incident to that vertex. A tiling is $k$-vertex-homogeneous if any two vertices with congruent vertex figures are symmetric with each other and the vertices form precisely $k$ transitivity classes with respect to the group of all symmetries of the tiling. In this article, we discuss that if a map is the quotient of a plane's $k$-vertex-homogeneous lattice ($k \ge 4$) then what would be the sharp bounds of the number of vertex orbits.
On an approach for evaluating certain trigonometric character sums using the discrete time heat kernel
Published
• View Publication
• BIB
In this article we develop a general method by which one can explicitly evaluate certain sums of $n$-th powers of products of $d\geq 1$ elementary trigonometric functions evaluated at $\mathbf{m}=(m_1,\ldots,m_d)$-th roots of unity. Our approach is to first identify the individual terms in the expression under consideration as eigenvalues of a discrete Laplace operator associated to a graph whose vertices form a $d$-dimensional discrete torus $G_{\mathbf{m}}$ which depends on $\mathbf{m}$. The sums in question are then related to the $n$-th step of a Markov chain on $G_{\mathbf{m}}$. The Markov chain admits the interpretation as a particular random walk, also viewed as a discrete time and discrete space heat diffusion, so then the sum in question is related to special values of the associated heat kernel. Our evaluation follows by deriving a combinatorial expression for the heat kernel, which is obtained by periodizing the heat kernel on the infinite lattice $\mathbb{Z}^{d}$ which covers $G_{\mathbf{m}}$.
Shuffles of deformed permutahedra, multiplihedra, constrainahedra, and biassociahedra
Published in Ann. Henri Lebesgue, 7:1535-1601, 2024
• View Publication
• BIB
We introduce the shuffle of deformed permutahedra (a.k.a. generalized permutahedra), a simple associative operation obtained as the Cartesian product followed by the Minkowski sum with the graphical zonotope of a complete bipartite graph. Besides preserving the class of graphical zonotopes (the shuffle of two graphical zonotopes is the graphical zonotope of the join of the graphs), this operation is particularly relevant when applied to the classical permutahedra and associahedra. First, the shuffle of an $m$-permutahedron with an $n$-associahedron gives the $(m,n)$-multiplihedron, whose face structure is encoded by $m$-painted $n$-trees, generalizing the classical multiplihedron. We show in particular that the graph of the $(m,n)$-multiplihedron is the Hasse diagram of a lattice generalizing the weak order on permutations and the Tamari lattice on binary trees. Second, the shuffle of an $m$-associahedron with an $n$-associahedron gives the $(m,n)$-constrainahedron, whose face structure is encoded by $(m,n)$-cotrees, and reflects collisions of particles constrained on a grid. Third, the shuffle of an $m$-anti-associahedron with an $n$-associahedron gives the $(m,n)$-biassociahedron, whose face structure is encoded by $(m,n)$-bitrees, with relevant connections to bialgebras up to homotopy. We provide explicit vertex, facet, and Minkowski sum descriptions of these polytopes, as well as summation formulas for their $f$-polynomials based on generating functionology of decorated trees.
The Newton polytope and Lorentzian property of chromatic symmetric functions
Published in Sel. Math. New Ser. 30, 42 (2024)
• View Publication
• BIB
Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize the chromatic polynomial and are related to Hessenberg varieties and diagonal harmonics. Motivated by the Stanley--Stembridge conjecture, we show that the allowable coloring weights for indifference graphs of Dyck paths are the lattice points of a permutahedron $\mathcal{P}_λ$, and we give a formula for the dominant weight $λ$. Furthermore, we conjecture that such chromatic symmetric functions are Lorentzian, a property introduced by Brändén and Huh as a bridge between discrete convex analysis and concavity properties in combinatorics, and we prove this conjecture for abelian Dyck paths. We extend our results on the Newton polytope to incomparability graphs of (3+1)-free posets, and we give a number of conjectures and results stemming from our work, including results on the complexity of computing the coefficients and relations with the $ζ$ map from diagonal harmonics.
Infinite Hex is a draw
We introduce the game of infinite Hex, extending the familiar finite game to natural play on the infinite hexagonal lattice. Whereas the finite game is a win for the first player, we prove in contrast that infinite Hex is a draw -- both players have drawing strategies. Meanwhile, the transfinite game-value phenomenon, now abundantly exhibited in infinite chess and infinite draughts, regrettably does not arise in infinite Hex; only finite game values occur. Indeed, every game-valued position in infinite Hex is intrinsically local, meaning that winning play depends only on a fixed finite region of the board. This latter fact is proved under very general hypotheses, establishing the conclusion for all simple stone-placing games.
On the interaction of the Coxeter transformation and the rowmotion bijection
Published
• View Publication
• BIB
Let $P$ be a finite poset and $L$ the associated distributive lattice of order ideals of $P$. Let $ρ$ denote the rowmotion bijection of the order ideals of $P$ viewed as a permutation matrix and $C$ the Coxeter matrix for the incidence algebra $kL$ of $L$. Then we show the identity $(ρ^{-1} C)^2=id$, as was originally conjectured by Sam Hopkins. Recently it was noted that the rowmotion bijection is a special case of the much more general grade bijection $R$ that exists for any Auslander regular algebra. This motivates to study the interaction of the grade bijection and the Coxeter matrix for general Auslander regular algebras. For the class of higher Auslander algebras coming from $n$-representation finite algebras we show that $(R^{-1} C)^2=id$ if $n$ is even and $(R^{-1}C+id)^2=0$ when $n$ is odd.
Vertex-edge marking score of certain triangular lattices
The vertex-edge marking game is played between two players on a graph, $G=(V,E)$, with one player marking vertices and the other marking edges. The players want to minimize/maximize, respectively, the number of marked edges incident to an unmarked vertex. The vertex-edge coloring number for $G$ is the maximum score achievable with perfect play. Brešar et al., [4], give an upper bound of $5$ for the vertex-edge coloring number for finite planar graphs. It is not known whether the bound is tight. In this paper, in response to questions in [4], we show that the vertex-edge coloring number for the infinite regular triangularization of the plane is 4. We also give two general techniques that allow us to calculate the vertex-edge coloring number in many related triangularizations of the plane.
Partial rank symmetry of distributive lattices for fences
Published
• View Publication
• BIB
Associated with any composition beta=(a,b,...) is a corresponding fence poset F(beta) whose covering relations are
x_1 < x_2 < ... < x_{a+1} > x_{a+2} > ... > x_{a+b+1} < x_{a+b+2} < ... The distributive lattice L(beta) of all lower order ideals of F(beta) is important in the theory of cluster algebras. In addition, its rank generating function r(q;beta) is used to define q-analogues of rational numbers. Oguz and Ravichandran recently showed that its coefficients satisfy an interlacing condition, proving a conjecture of McConville, Smyth and Sagan, which in turn implies a previous conjecture of Morier-Genoud and Ovsienko that r(q;beta) is unimodal. We show that, when beta has an odd number of parts, then the polynomial is also partially symmetric: the number of ideals of F(beta) of size k equals the number of filters of size k, when k is below a certain value. Our proof is completely bijective. Oguz and Ravichandran also introduced a circular version of fences and proved, using algebraic techniques, that the distributive lattice for such a poset is rank symmetric. We give a bijective proof of this result as well. We end with some questions and conjectures raised by this work.
Skew Dyck paths with catastrophes
Skew Dyck paths are like Dyck paths, but an additional south-west step $(-1,-1)$ is allowed, provided that the path does not intersect itself. Lattice paths with catastrophes can drop from any level to the origin in just one step. We combine these two ideas. The analysis is strictly based on generating functions, and the kernel method is used.
Standard Young tableaux and lattice paths
Using lattice path counting arguments, we reproduce a well known formula for the number of standard Young tableaux. We also produce an interesting new formula for tableaux of height $\leq 3$ using the Fourier methods of Ault and Kicey.
A Conjecture of Kozlov from the 1998 Proceedings of the American Mathematical Society: Non-Evasive Order Complexes and Generalizations of Non-Complemented Lattices
Let $P$ be a finite poset with an element $s$ such that (1) for all $x\in P$, either $s\vee x$ or $s\wedge x$ exists; and (2) for all $x,y\in P$ such that $x<y$, if $s\wedge x$ does not exist but $s\wedge y$ does exist, then $(s\wedge y)\vee x$ exists. Kozlov, the winner of the 2005 European Prize in Combinatorics ("for deep combinatorial results obtained by algebraic topology and particularly for the solution of a conjecture of Lovász"), conjectured in the 1998 Proceedings of the American Mathematical Society that the order complex of $P$ is non-evasive. We prove this conjecture.
From the lattice of torsion classes to the posets of wide subcategories and ICE-closed subcategories
Published
• View Publication
• BIB
In this paper, we compute the posets of wide subcategories and ICE-closed subcategories from the lattice of torsion classes in an abelian length category in a purely lattice-theoretical way, by using the kappa map in a completely semidistributive lattice. As for the poset of wide subcategories, we give two more simple constructions via a bijection between wide subcategories and torsion classes with canonical join representations. More precisely, for a completely semidistributive lattice, we give two poset structures on the set of elements with canonical join representations: the kappa order (defined using the extended kappa map of Barnard--Todorov--Zhu), and the core label order (generalizing the shard intersection order for congruence-uniform lattices). Then we show that these posets for the lattice of torsion classes coincide and are isomorphic to the poset of wide subcategories. As a byproduct, we give a simple description of the shard intersection order on a finite Coxeter group using the extended kappa map.
Introducing DASEP: the doubly asymmetric simple exclusion process
Published in "Séminaire Lotharingien de Combinatoire" 87B (2023), pp. 81-91
• Search Publication
Research in combinatorics has often explored the asymmetric simple exclusion process (ASEP). The ASEP, inspired by examples from statistical mechanics, involves particles of various species moving around a lattice. With the traditional ASEP particles of a given species can move but do not change species. In this paper a new combinatorial formalism, the DASEP (doubly asymmetric simple exclusion process), is explored. The DASEP is inspired by biological processes where, unlike the ASEP, the particles can change from one species to another. The combinatorics of the DASEP on a one dimensional lattice are explored, including the associated generating function. The stationary probabilities of the DASEP are explored, and results are proven relating these stationary probabilities to those of the simpler ASEP.
Bounds on Area Involving Lattice Size
Published in Electron. J. Combin., 30, No 4, Paper No. 4.45 (2023), 18 pp
• View Publication
• BIB
The lattice size of a lattice polygon $P$ was introduced and studied by Schicho, and by Castryck and Cools in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve. In this paper we establish sharp lower bounds on the area of plane convex bodies $P\subset\mathbb{R}^2$ that involve the lattice size of $P$. In particular, we improve bounds established by Arnold, and Bárány and Pach. We also provide a classification of minimal lattice polygons $P\subset\mathbb{R}^2$ of fixed lattice size $\operatorname{ls_\square}(P)$.
How to Construct the Lattice of Submodules of a Multiplicity free Module from Partial Information
In general it is a difficult problem to construct the lattice of submodules $L(M)$ of a given module $M$. In \cite{St} R. P. Stanley outlined a method for constucting a distributive lattice from a knowledge of its join irreducibles. However it is not an easy task to identify all join irreducible submodules of a given module. In the case of a multiplicity free module $M$ we present a modifiiction of Stanley's method based on the composition factors of $M$. As input we require a set of submodules $A_1,\ldots , A_n$ whose submodule lattices are known and which contain all composition factors of $M$. From this we can reconstruct $L(M)$. We illustrate the process for a family of Verma modules $M(\gl_n)$, with $n $ a positive integer, for the Lie superalgebra $\osp(3,2)$. We show that for $n\ge 2$, $L(M(\gl_n))$ is isomorphic to the (extended) free distributive lattice of rank 3.