lattice
4305 papers tagged with this keyword
Fuss--Catalan algebras on generalized Dyck paths via non-crossing partitions
We study the Fuss--Catalan algebras, which are generalizations of the Temperley--Lieb algebra and act on generalized Dyck paths, through non-crossing partitions. First, the Temperley--Lieb algebra is defined on non-crossing partitions, and a bijection between a Dyck path and a non-crossing partition is shown to be compatible with the Temperley--Lieb algebra on Dyck paths, or equivalently chord diagrams. We show that the Kreweras endomorphism on non-crossing partitions is equivalent to the rotation of chord diagrams under the bijection. Secondly, by considering an increasing $r$-chain in the graded lattice of non-crossing partitions, we define the Fuss--Catalan algebras on increasing $r$-chains. Through a bijection between an increasing $r$-chain and a generalized Dyck path, one naturally obtains the Fuss--Catalan algebra on generalized Dyck paths. As generalizations of the Fuss--Catalan algebra, we introduce the one- and two-boundary Fuss--Catalan algebras. Increasing $r$-chains of symmetric non-crossing partitions give symmetric generalized Dyck paths by the bijection, and the boundary Fuss--Catalan algebras naturally act on them. We show that these representations are compatible with the diagrammatic representations of the algebras by use of generalized chord diagrams. Thirdly, we discuss the integrability of the Fuss--Catalan algebras. For the Fuss--Catalan algebras with boundaries, we obtain a new solution of the reflection equation in the case of $r=2$.
On the geometry of stack-sorting simplices
We show that all stack-sorting polytopes are simplices. Furthermore, we show that the stack-sorting polytopes generated from $Ln1$ permutations have relative volume 1. We establish an upper bound for the number of lattice points in a stack-sorting polytope. In particular, stack-sorting polytopes generated from $2Ln1$ permutations have no interior points.
An explicit power series result for the two type ASEP
Research in combinatorics has often focused on the ASEP (asymmetric simple exclusion process). The ASEP is inspired by processes in statistical mechanics, and involves particles of various species moving around a lattice. The particles do not change species. In the present paper, based on earlier results of Mortimer and Prellberg and others, we obtain a new power series results for the two type ASEP.
Strichartz estimate for discrete Schrödinger equation on layered King's grid
We establish the sharp \( l^1 \to l^{\infty} \) decay estimate for the discrete Schrödinger equation (DS) on the Layered King's Grid (LKG), with a dispersive decay rate of \( \langle t \rangle^{-13/12} \), which is faster than that for $3$-dimensional lattice (\( \langle t \rangle^{-1} \), see \cite{SK05}). This decay estimate enables us to derive the corresponding Strichartz estimate via the standard Keel--Tao argument. Our approach relies on using techniques from Newton polyhedra to analyze singularities.
A Proof of Rubey's Lattice Conjecture
In 2011, Rubey generalized chute and ladder moves on the set of reduced pipe dreams for a permutation $w$ and conjectured that the induced poset on reduced pipe dreams is a lattice. In this paper, we prove this conjecture. Our key tool is a new type of move operation $\mathcal{M}_{ij}$, defined as a composite of certain general ladder moves in Rubey's poset. We show that joins and meets exist in Rubey's poset by proving simple recursive formulas in terms of $\mathcal{M}_{ij}$ operations. In addition, we give an explicit criterion to determine if two elements of Rubey's poset are comparable.
Rowmotion and Echelonmotion
Given a linear extension $σ$ of a finite poset $R$, we consider the permutation matrix indexing the Schubert cell containing the Cartan matrix of $R$ with respect to $σ$. This yields a bijection $\mathrm{Ech}_σ\colon R\to R$ that we call echelonmotion; it is the inverse of the Coxeter permutation studied by Klász, Marczinzik, and Thomas. Those authors proved that echelonmotion agrees with rowmotion when $R$ is a distributive lattice. We generalize this result to semidistributive lattices. In addition, we prove that every trim lattice has a linear extension with respect to which echelonmotion agrees with rowmotion. We also show that echelonmotion on an Eulerian poset (with respect to any linear extension) is an involution. Finally, we initiate the study of echelon-independent posets, which are posets for which echelonmotion is independent of the chosen linear extension. We prove that a lattice is echelon-independent if and only if it is semidistributive. Moreover, we show that echelon-independent connected posets are bounded and have semidistributive MacNeille completions.
Unitary actions and equivariant volumes of symmetric edge polytopes
The symmetric edge polytope ($\mathrm{SEP}$) of a finite simple graph $G$ is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. Among the information encoded by these polytopes are the symmetries of the graph, which appear as symmetries of the polytope. We describe the rigid symmetries of these polytopes, and show that $\mathrm{SEP}$s are unitarily equivalent exactly when their associated graphs are isomorphic. We then find an explicit relationship between the relative volumes of the subsets of the symmetric edge polytope $\mathrm{SEP}$ fixed by the natural action of symmetric group elements and the symmetric edge polytopes of smaller graphs to which the subsets are linearly equivalent. We also provide a vertex description of the fixed polytopes and find a description of the symmetric edge polytopes to which they are equivalent, in terms of contractions of the graph $G$ induced by the cycle decompositions of the permutations under which the subsets are fixed. Specializations of our results provide equivalence and volume relationships for fixed polytopes of symmetric edge polytopes of complete graphs (equivalently, for fixed polytopes of root polytopes of type $A_n$), and describe the symmetry group of this family of polytopes.
Exact solution of asymmetric gelation between three walks on the square lattice
We find and analyse the exact solution of a model of three different
polymers with asymmetric contact interactions in two dimensions, modelling a
scenario where there are different types of polymers involved. In particular, we find
the generating function of three directed osculating walks in star
configurations on the square lattice with two interaction Boltzmann weights,
so that there is one type of contact interaction between the top pair of walks and a
different interaction between the bottom pair of walks. These osculating
stars are found to be the most amenable to exact solution using functional
equation techniques in comparison to the symmetric case where three friendly
walks in watermelon configurations were successfully solved with the same
techniques. We elucidate the phase diagram, which has four phases, and find
the order of all the phase transitions between them. We also calculate the
entropic exponents in each phase.
Elliptic Curves, Riordan arrays and Lattice Paths
In this note, we show that to each elliptic curve of the form $$y^2-axy-y=x^3-bx^2-cx,$$ we can associate a family of lattice paths whose step set is determined by the parameters of the elliptic curve. The enumeration of these lattice paths is by means of an associated Riordan array. The curves and the paths have associated Somos $4$ sequences which are essentially the same. For the curves the link to Somos $4$ sequences is a classical result, via the elliptic divisibility sequence. For the paths the link is via a Hankel transform.
Domino tilings, nonintersecting lattice paths and subclasses of Koutschan-Krattenthaler-Schlosser determinants
Koutschan, Krattenthaler and Schlosser recently considered a family of binomial determinants. In this work, we give combinatorial interpretations of two subclasses of these determinants in terms of domino tilings and nonintersecting lattice paths, thereby partially answering a question of theirs. Furthermore, the determinant evaluations established by Koutschan, Krattenthaler and Schlosser produce many product formulas for our weighted enumerations of domino tilings and nonintersecting lattice paths. However, there are still two enumerations left corresponding to conjectural formulas made by the three. We hereby prove the two conjectures using the principle of holonomic Ansatz plus the approach of modular reduction for creative telescoping, and hence fill the gap.
Formal Concept Analysis and Homotopical Combinatorics
Formal Concept Analysis makes the fundamental observation that any finite lattice $(L, \leq)$ is determined up to isomorphism by the restriction of the relation ${\leq} \subseteq L \times L$ to the set $J(L) \times M(L)$, where $J(L)$ is the set of join-irreducible elements of $L$ and $M(L)$ is the set of meet-irreducible elements of $L$.
For any finite lattice $L$ equipped with the action of a finite group $G$, we explicitly describe this restricted relation for the lattice of transfer systems $\mathsf{Tr}(L)$ in terms of $L$ only. We apply this to give new computations of the number of transfer systems for certain finite groups, and to produce bounds on the number of transfer systems on certain families of abelian finite groups. We also provide computer code to enable other researchers' use of these techniques.
Combinatorial generation via permutation languages. VII. Supersolvable hyperplane arrangements
For an arrangement $\mathcal{H}$ of hyperplanes in $\mathbb{R}^n$ through the origin, a region is a connected subset of $\mathbb{R}^n\setminus\mathcal{H}$. The graph of regions $G(\mathcal{H})$ has a vertex for every region, and an edge between any two vertices whose corresponding regions are separated by a single hyperplane from $\mathcal{H}$. We aim to compute a Hamiltonian path or cycle in the graph $G(\mathcal{H})$, i.e., a path or cycle that visits every vertex (=region) exactly once. Our first main result is that if $\mathcal{H}$ is a supersolvable arrangement, then the graph of regions $G(\mathcal{H})$ has a Hamiltonian cycle. More generally, we consider quotients of lattice congruences of the poset of regions $P(\mathcal{H},R_0)$, obtained by orienting the graph $G(\mathcal{H})$ away from a particular base region $R_0$. Our second main result is that if $\mathcal{H}$ is supersolvable and $R_0$ is a canonical base region, then for any lattice congruence $\equiv$ on $P(\mathcal{H},R_0)=:L$, the cover graph of the quotient lattice $L/\equiv$ has a Hamiltonian path. [...]
Strata of toric hyperplane arrangements, zonotope lattice points, and the Bondal-Thomsen collection
We show that strata of oriented toric hyperplane arrangements are in bijection with a collection of lattice points in a zonotope. Moreover, we relate the dimension of the stratum and the dimension of the minimal face of the zonotope containing the corresponding lattice point. We discuss how this correspondence is related to toric varieties and the Bondal-Thomsen generators of their derived categories.
Chute Move Posets are Lattices
For each permutation $w$, we consider the set $\mathrm{PD}(w)$ of reduced pipe dreams for $w$, partially ordered so that cover relations correspond to (generalized) chute moves. Settling a conjecture of Rubey from 2012, we prove that $\mathrm{PD}(w)$ is a lattice. To establish this result, we provide a global description of the partial order on $\mathrm{PD}(w)$ by showing that $\mathrm{PD}(w)$ is isomorphic to a poset consisting of objects called Lehmer tableaux. In addition, we prove that $\mathrm{PD}(w)$ is a semidistributive polygonal lattice whose polygons are all diamonds or pentagons.
Andrews--Gordon and Stanton type identities: bijective and Bailey lemma approaches
In 2018, Stanton proved two types of generalisations of the celebrated Andrews--Gordon and Bressoud identities (in their $q$-series version): one with a similar shape to the original identities, and one involving binomial coefficients. In this paper, we give new proofs of these identities. For the non-binomial identities, we give bijective proofs using the original Andrews--Gordon and Bressoud identities as key ingredients. These proofs are based on particle motion introduced by Warnaar and extended by the first and third authors and Konan. For the binomial identities, we use the Bailey lemma and key lemmas of McLaughlin and Lovejoy, and the order in which we apply the different lemmas plays a central role in the result. We also give an alternative proof of the non-binomial identities using the Bailey lattice. With each of these proofs, new Stanton-type generalisations of classical identities arise naturally, such as generalisations of Kurşungöz's analogue of Bressoud's identity with opposite parity conditions, and of the Bressoud--Göllnitz--Gordon identities.
Framing Triangulations and Framing Posets of Planar DAGs with Nontrivial Netflow Vectors
The space of unit flows on a directed acyclic graph (DAG) with one source and one sink is known to admit regular unimodular triangulations induced by framings of the DAG. The dual graph of any of these triangulations may be given the structure of the Hasse diagram of a lattice, generalizing many variations of the Tamari lattice and the weak order. We extend this theory to flow polytopes of DAGs which may have multiple sources, multiple sinks, and nontrivial netflow vectors under certain planarity conditions. We construct a unimodular triangulation of such a flow polytope indexed by combinatorial data and give a poset structure on its maximal simplices generalizing the strongly planar one-source-one-sink case.
The model theory of metric lattices: pseudofinite partition lattices
We initiate the study of general metric lattices in the context of the model theory of metric structures. As an application we develop a theory of pseudo-finite limits of partition lattices and connect this theory with the theory of continuous limits of partition lattices due to Björner and Lovász.
Absolute order and involutions
Published
• View Publication
• BIB
We study the restriction of the absolute order on a Coxeter group $W$ to an interval $[1,w]_T$, where $w\in W$ is an involution. We characterize and classify those involutions $w$ for which $[1,w]_T$ is a lattice, using the notion of involutive parabolic subgroups.
Symplectic Hecke eigenbases from Ehrhart polynomials
For $n\in\mathbb{N}$ and $\ell\in\{0,1,\dots,n\}$, we consider the function extracting the $\ell$th coefficient of the Ehrhart polynomials of lattice polytopes in $\mathbb{R}^n$. These functions form a basis of the space of unimodular invariant valuations. We show that, in even dimensions, these functions are in fact simultaneous symplectic Hecke eigenfunctions. We leverage this and apply the theory of spherical functions and their associated zeta functions to prove analytic, asymptotic, and combinatorial results about the arithmetic functions averaging $\ell$th Ehrhart coefficients.
On Lattice Isomorphism Problems for Lattices from LCD Codes over Finite Rings
These days, post-quantum cryptography based on the lattice isomorphism problem has been proposed. Ducas-Gibbons introduced the hull attack, which solves the lattice isomorphism problem for lattices obtained by Construction A from an LCD code over a finite field. Using this attack, they showed that the lattice isomorphism problem for such lattices can be reduced to the lattice isomorphism problem with the trivial lattice $\mathbb{Z}^n$ and the graph isomorphism problem. While the previous work by Ducas-Gibbons only considered lattices constructed by a code over a \textit{finite field}, this paper considers lattices constructed by a code over a \textit{finite ring} $\mathbb{Z}/k\mathbb{Z}$, which is a more general case. In particular, when $k$ is odd, an odd prime power, or not divisible by $4$, we show that the lattice isomorphism problem can be reduced to the lattice isomorphism problem for $\mathbb{Z}^n$ and the graph isomorphism problem.