lattice
4310 papers tagged with this keyword
The chain algebra of a pure poset
We extend the notion of chain algebra, originally defined in \cite{GN} for finite distributive lattices, to that of finite pure posets. We show this algebra corresponds to the Ehrhart ring of a (0,1)-polytope, termed the chain polytope, and characterize the indecomposability of this polytope. Furthermore, we prove the normality of the chain algebra, describe its canonical module, and extend one of main results from \cite{GN} by computing its Krull dimension. For width-2 pure posets, we determine the algebra's regularity and conditions for it to be Gorenstein or nearly Gorenstein.
Geometric Combinatorics of Polynomials II: Polynomials and Cell Structures
This article introduces a finite piecewise Euclidean cell complex homeomorphic to the space of monic centered complex polynomials of degree $d$ whose critical values lie in a fixed closed rectangular region. We call this the branched rectangle complex since its points are indexed by marked $d$-sheeted planar branched covers of the fixed rectangle. The vertices of the cell structure are indexed by the combinatorial "basketballs" studied by Martin, Savitt and Singer. Structurally, the branched rectangle complex is a full subcomplex of a direct product of two copies of the order complex of the noncrossing partition lattice. Topologically, it is homeomorphic to the closed $2n$-dimensional ball where $n=d-1$. Metrically, the simplices in each factor are orthoschemes. It can also be viewed as a compactification of the space of all monic centered complex polynomials of degree $d$.
We also introduce a finite piecewise Euclidean cell complex homeomorphic to the space of monic centered complex polynomials of degree $d$ whose critical values lie in a fixed closed annular region. We call this the branched annulus complex since its points are indexed by marked $d$-sheeted planar branched covers of the fixed annulus.It can be constructed from the branched rectangle complex as a cellular quotient by isometric face identifications. And it can be viewed as a compactification of the space of all monic centered complex polynomials of degree $d$ with distinct roots.
Finally, the branched annulus complex deformation retracts to the branched circle complex, which we identify with the dual braid complex. Our explicit embedding of the dual braid complex as a spine for the space of polynomials with distinct roots provides a direct proof that these two classifying spaces for the braid group are homotopy equivalent.
Conditional Non-Soficity of p-adic Deligne Extensions: on a Theorem of Gohla and Thom
A long standing problem asks whether every group is sofic, i.e., can be separated by almost-homomorphisms to the symmetric group $Sym(n)$. Similar problems have been asked with respect to almost-homomorphisms to the unitary group $U(n)$, equipped with various norms. One of these problems has been solved for the first time in [De Chiffre, Gelbsky, Lubotzky, Thom, 2020]: some central extensions $\widetildeΓ$ of arithmetic lattices $Γ$ of $Sp(2g,\mathbb{Q}_p)$ were shown to be non-Frobenius approximated by almost homomorphisms to $U(n)$. Right after, it was shown that similar results hold with respect to the $p$-Schatten norms in [Lubotzky, Oppenheim, 2020]. It is natural, and has already been suggested in [Chapman, Lubotzky, 2024] and [Gohla, Thom, 2024], to check whether the $\widetildeΓ$ are also non-sofic. In order to show that they are (also) non-sofic, it suffices:
(a) To prove that the permutation Cheeger constant of the simplicial complex underlying $Γ$ is positive, generalizing [Evra, Kaufman, 2016]. This would imply that $Γ$ is stable.
(b) To prove that the (flexible) stability of $Γ$ implies the non-soficity of $\widetildeΓ$.
Clause (b) was proved by Gohla and Thom. Here we offer a more algebraic/combinatorial treatment to their theorem.
The Ehrhart $h^*$-polynomials of positroid polytopes
A positroid is a matroid realized by a matrix such that all maximal minors are non-negative. Positroid polytopes are matroid polytopes of positroids. In particular, they are lattice polytopes. The Ehrhart polynomial of a lattice polytope counts the number of integer points in the dilation of that polytope. The Ehrhart series is the generating function of the Ehrhart polynomial, a rational function with a numerator called the $h^*$-polynomial. We give explicit formulas for the $h^*$-polynomials of an arbitrary positroid polytope regarding permutation descents. Our result generalizes that of Early, Kim, and Li for hypersimplices.
Lattice-Valued Bottleneck Duality
This note reformulates certain classical combinatorial duality theorems in the context of order lattices. For source-target networks, we generalize bottleneck path-cut and flow-cut duality results to edges with capacities in a distributive lattice. For posets, we generalize a bottleneck version of Dilworth's theorem, again weighted in a distributive lattice. These results are applicable to a wide array of non-numerical network flow problems, as shown. All results, proofs, and applications were created in collaboration with AI language models. An appendix documents their role and impact.
Rook matroids and log-concavity of $P$-Eulerian polynomials
We define and study rook matroids, the bases of which correspond to non-nesting rook placements on a skew Ferrers board. We show that rook matroids are closed under taking duals and direct sums but not minors. Rook matroids are also a subclass of transversal matroids, positroids, and bear a subtle relationship to lattice path matroids that centers around not having the quaternary matroid $Q_{6}$ as a minor. The enumerative and distributional properties of non-nesting rook placements stand in contrast to that of usual rook placements: the non-nesting rook polynomial is not real-rooted in general, and is instead ultra-log-concave. We leverage this property together with a correspondence between rook placements and linear extensions of a poset to show that if $P$ is a naturally labeled width two poset, then the $P$-Eulerian polynomial $W_{P}$ is ultra-log-concave. This takes an important step towards resolving a log-concavity conjecture of Brenti (1989) and completes the story of the Neggers--Stanley conjecture for naturally labeled width two posets.
Hankel Determinants for a Class of Weighted Lattice Paths
In this paper, our primary goal is to calculate the Hankel determinants for a class of lattice paths, which are distinguished by the step set consisting of \(\{(1,0), (2,0), (k-1,1), (-1,1)\}\), where the parameter \(k\geq 4\). These paths are constrained to return to the $x$-axis and remain above the \(x\)-axis.
When calculating for \(k = 4\), the problem essentially reduces to determining the Hankel determinant of \(E(x)\), where \(E(x)\) is defined as \[ E(x) = \frac{a}{E(x)x^2(dx^2 - bx - 1) + cx^2 + bx + 1}. \] Our approach involves employing the Sulanke-Xin continued fraction transform to derive a set of recurrence relations, which in turn yield the desired results. For \(k \geq 5\), we utilize a class of shifted periodic continued fractions as defined by Wang-Xin-Zhai, thereby obtaining the results presented in this paper.
Graph minors, Ehrhart theory, and a monotonicity property
We study the extended root polytope associated to a directed graph. We show that under the operations of deletion and contraction of an edge of the graph, none of the coefficients of the $h^*$-polynomial of the associated extended root polytope increase. We examine cases when the $h^*$-polynomial does not change, for instance when contracting the edges of a minimal directed join in a digraph whose lattice polytope has the Gorenstein property.
Hook-length Formulas for Skew Shapes via Contour Integrals and Vertex Models
The number of standard Young tableaux of a skew shape $λ/μ$ can be computed as a sum over excited diagrams inside $λ$. Excited diagrams are in bijection with certain lozenge tilings, with flagged semistandard tableaux and also nonintersecting lattice paths inside $λ$. We give two new proofs of a multivariate generalization of this formula, which allow us to extend the setup beyond standard Young tableaux and the underlying Schur symmetric polynomials. The first proof uses multiple contour integrals. The second one interprets excited diagrams as configurations of a six-vertex model at a free fermion point, and derives the formula for the number of standard Young tableaux of a skew shape from the Yang-Baxter equation.
On the Bivariate Characteristic Polynomial of the Shuffle Lattice
The shuffle lattice was introduced by Greene in 1988 as an idealized model for DNA mutation, when he revealed remarkable combinatorial properties of this structure. In this paper, we prove an explicit formula for the $M$-triangle of the shuffle lattice, a bivariate refinement of the characteristic polynomial, as conjectured by McConville and Mühle in 2022, and find a relation between the $M$-triangle and the $H$-triangle, a bivariate refinement of the rank generating function.
The ascent lattice on Dyck paths
Published in Elec. J. Combinatorics, 32(2), 2025, P2.36
• Search Publication
In the Stanley lattice defined on Dyck paths of size $n$, cover relations are obtained by replacing a valley $DU$ by a peak $UD$. We investigate a greedy version of this lattice, first introduced by Chenevière, where cover relations replace a factor $DU^k D$ by $U^kD^2$. By relating this poset to another poset recently defined by Nadeau and Tewari, we prove that this still yields a lattice, which we call the ascent lattice, $L_n$. We then count intervals in $L_n$. Their generating function is found to be algebraic of degree $3$. The proof is based on a recursive decomposition of intervals involving two catalytic parameters. The solution of the corresponding functional equation is inspired by recent work on the enumeration of walks confined to a quadrant. We also consider the order induced in $L_{mn}$ on $m$-Dyck paths, that is, paths in which all ascent lengths are multiples of $m$, and on mirrored $m$-Dyck paths, in which all descent lengths are multiples of $m$. The first poset $L_{m,n}$ is still a lattice for any $m$, while the second poset $L'_{m,n}$ is only a join semilattice when $m>1$. In both cases, the enumeration of intervals is still described by an equation in two catalytic variables. Interesting connections arise with the sylvester congruence of Hivert, Novelli and Thibon, and again with walks confined to a quadrant. We combine the latter connection with probabilistic results to give asymptotic estimates of the number of intervals in both $L_{m,n}$ and $L'_{m,n}$. Their form implies that the generating functions of intervals are no longer algebraic, nor even D-finite, when $m>1$.
Integer Area Dissections of Lattice Polygons via a Non-Abelian Sperner's Lemma
We give a simple and complete description of those convex lattice polygons in the plane that can be dissected into lattice triangles of integer area. A new version of Sperner's Lemma plays a central role.
Acyclotopes and Tocyclotopes
There is a well-established dictionary between zonotopes, hyperplane arrangements, and their (oriented) matroids. Arguably one of the most famous examples is the class of graphical zonotopes, also called acyclotopes, which encode subzonotopes of the type-A root polytope, the permutahedron. Stanley (1991) gave a general interpretation of the coefficients of the Ehrhart polynomial (integer-point counting function for a polytope) of a zonotope via linearly independent subsets of its generators. Applying this to the graphical case shows that Ehrhart coefficients count induced forests of the graph of fixed sizes. Our first goal is to extend and popularize this story to other root systems, which on the combinatorial side is encoded by signed graphs analogously to the work by Greene and Zaslavsky (1983). We compute the Ehrhart polynomial of the acyclotope in the signed case, and we give a matroid-dual construction, giving rise to tocyclotopes, and compute their Ehrhart polynomials. Applying the same duality construction to a general integral matrix gives rise to a lattice Gale zonotope, whose face structure was studies by McMullen (1971) and whose duality nature is a special instance of D'Adderio--Moci's arithmetic matroids. We describe its Ehrhart polynomials in terms of the given matrix.
On the $f$-vectors of flow polytopes for the complete graph
The Chan-Robbins-Yuen polytope ($CRY_n$) of order $n$ is a face of the Birkhoff polytope of doubly stochastic matrices that is also a flow polytope of the directed complete graph $K_{n+1}$ with netflow $(1,0,0, \ldots , 0, -1)$. The volume and lattice points of this polytope have been actively studied, however its face structure has received less attention. We give generating functions and explicit formulas for computing the $f$-vector by using Hille's (2003) result bijecting faces of a flow polytope to certain graphs, as well as Andresen-Kjeldsen's (1976) result that enumerates certain subgraphs of the directed complete graph. We extend our results to flow polytopes of the complete graph having arbitrary (non-negative) netflow vectors and recover the $f$-vector of the Tesler polytope of Mészáros--Morales--Rhoades (2017).
Maximal chains in lattices from graph associahedra: Tamari to the weak order
In this paper, we study the maximal chains of lattices which generalizes both the weak order and the Tamari lattice: certain lattices of maximal tubings. A maximal tubing poset $\mathfrak{L}(G)$ is defined for any graph $G$, but for the graphs we consider in this paper, the poset is a lattice. Just as the weak order is an orientation of the $1$-skeleton of the permutahedron and the Tamari of the associahedron, each tubing lattice is an orientation of the $1$-skeleton of a graph associahedron. The partial order on $\mathfrak{L}(G)$ is given by a projection from $\mathfrak{S}_n$ to $\mathfrak{L}(G)$. In particular, when the graph is the complete graph, the graph associahedron is the the permutahedron, and when it is the path graph, it is the Stasheff associahedron.
Our main results are for lollipop graphs, graphs that ``interpolate'' between the path and the complete graphs. For lollipop graphs, the lattices consist of permutations which satisfy a generalization of $312$-avoiding. The maximum length chains correspond to partially shiftable tableaux under the Edelman-Greene's Coxeter-Knuth bijection. We also consider functions defined analogously to Stanley's symmetric function for the maximum length chains and find their expansion in terms of Young quasisymmetric Schur functions.
Higher-dimensional book-spaces
In 2017, Walter Taylor showed that there exist $2$-dimensional simplicial complexes which admit the structure of topological modular lattice but not topological distributive lattice. We give a positive answer to his question as to whether $n$-dimensional simplicial complexes with the same property exist. We do this by giving, for each $n\ge2$, an infinite family of compact simplicial complexes which admit the structure of topological modular lattice but not topological distributive lattice.
Lattice polytopes with the minimal volume
Published in Australasian J. Combin. 90 (2024), 357--362
• Search Publication
Let $\mathcal{P} \subset \mathbb{R}^d$ be a lattice polytope of dimension $d$. Let $b(\mathcal{P})$ denote the number of lattice points belonging to the boundary of $\mathcal{P}$ and $c(\mathcal{P})$ that to the interior of $\mathcal{P}$. It follows from the lower bound theorem of Ehrhart polynomials that, when $c > 0$, \[ {\rm vol}(\mathcal{P}) \geq (d \cdot c(\mathcal{P}) + (d-1) \cdot b(\mathcal{P}) - d^2 + 2)/d!, \] where ${\rm vol}(\mathcal{P})$ is the (Lebesgue) volume of $\mathcal{P}$. Pick's formula guarantees that, when $d = 2$, the above inequality is an equality. In the present paper several classes of lattice polytopes for which the equality here holds will be presented.
A tale of two $q$-deformations : connecting dual polar spaces and weighted hypercubes
Two $q$-analogs of the hypercube graph are introduced and shown to be related through a graph quotient. The roles of the subspace lattice graph, of a twisted primitive elements of $U_q(\mathfrak{su}(2))$ and of the dual $q$-Krawtchouk polynomials are elaborated upon. This paper is dedicated to Tom Koornwinder.
Knot theory and cluster algebra III: Posets
In previous work, we associated a module $T(i)$ to every segment $i$ of a link diagram $K$ and showed that there is a poset isomorphism between the submodules of $T(i)$ and the Kauffman states of $K$ relative to $i$. In this paper, we show that the posets are distributive lattices and give explicit descriptions of the join irreducibles in both posets. We also prove that the subposet of join irreducible Kauffman states is isomorphic to the poset of the coefficient quiver of $T(i)$.
Permutation groups, partition lattices and block structures
Published in Forum of Mathematics, Sigma 13 (2025) e180
• View Publication
• BIB
Let $G$ be a transitive permutation group on $Ω$. The $G$-invariant partitions form a sublattice of the lattice of all partitions of $Ω$, having the further property that all its elements are uniform (that is, have all parts of the same size). If, in addition, all the equivalence relations defining the partitions commute, then the relations form an \emph{orthogonal block structure}, a concept from statistics; in this case the lattice is modular. If it is distributive, then we have a \emph{poset block structure}, whose automorphism group is a \emph{generalised wreath product}. We examine permutation groups with these properties, which we call the \emph{OB property} and \emph{PB property} respectively, and in particular investigate when direct and wreath products of groups with these properties also have these properties.
A famous theorem on permutation groups asserts that a transitive imprimitive group $G$ is embeddable in the wreath product of two factors obtained from the group (the group induced on a block by its setwise stabiliser, and the group induced on the set of blocks by~$G$). We extend this theorem to groups with the PB property, embeddng them into generalised wreath products. We show that the map from posets to generalised wreath products preserves intersections and inclusions.
We have included background and historical material on these concepts.