lattice ↗ reference
4394 papers tagged with this keyword
Segre powers of posets preserve EL-shellability
Published
• View Publication
• BIB
For a bounded and graded poset $P$, we show that if $P$ is EL-shellable, then so is its $t$-fold Segre power $P^{(t)}=P\circ \cdots \circ P$ ($t$ factors), as defined by Björner and Welker [J. Pure Appl. Algebra, 198(1-3), 43--55 (2005)]. Our EL-labeling leads to formulas for the rank-selected invariants of $P^{(t)}$, generalising those given by Stanley for the subspace lattice [J. Combinatorial Theory Ser. A, 20(3):336-356, 1976].
Local dimension of a Boolean lattice
For every integer $n$ with $n \geq 4$, we prove that the local dimension of a poset consisting of all the subsets of $\{1,\dots,n\}$ equipped with the inclusion relation is strictly less than $n$, answering a question of Kim, Martin, Masařík, Shull, Smith, Uzzell, and Wang (Eur. J. Comb. 2020). We also study several related problems.
Left regular bands with symmetry
The representation theory of left regular band semigroup algebras is well-studied and known to have close connections with combinatorial topology, as established in the work of Margolis--Saliola--Steinberg ('15, '21). In this paper, we investigate the representation theory of the invariant subalgebras of left regular band semigroup algebras carrying the action of a finite group through the lens of group-equivariant combinatorial topology.
We characterize when the invariant subalgebra is semisimple or commutative and examine the equivariant structure of the Peirce components of the semigroup algebra. For CW left regular bands, we interpret these Peirce components in terms of the equivariant topology of intervals in the support semilattice, yielding the Cartan invariants of the invariant subalgebras of left regular bands associated to CAT(0)-cube complexes. We also give a topological formula for the Peirce components for left regular bands with hereditary algebras. Finally, in specializing to left regular bands associated to geometric lattices, we explore generalizations of the Desarménién--Wachs derangement representation and their connections to Markov chains.
Closed Colored Models and Demazure Crystals
We will construct solvable lattice models whose partition functions are Demazure characters. We will construct a crystal structure on the states of the model and prove that the states of the closed model form a Demazure crystal.
A poset representation for stable contracts in a two-sided market generated by integer choice functions
Generalizing a variety of earlier problems on stable contracts in two-sided markets, Alkan and Gale introduced in 2003 a general stability model on a bipartite graph $G=(V,E)$ in which the vertices are interpreted as ``agents'', and the edges as possible ``contract'' between pairs of ``agents''. The edges are endowed with nonnegative capacities $b$ giving upper bounds on ``contract intensities'', and the preferencies of each ``agent'' $v\in V$ depend on a \emph{choice function} (CFs) that acts on the set of ``contracts'' involving $v$, obeying three well motivated axioms of \it{consistence}, \it{substitutability} and \it{cardinal monotonicity}. In their model, the capacities and choice functions can take reals or discrete values and, extending well-known earlier results on particular cases, they proved that systems of \it{stable} contracts always exist and, moreover, their set $\cal S$ constitutes a distributive lattice under a natural comparison relation $\prec$.
In this paper, we study Alkan--Gale's model when all capacities and choice functions take integer values. We characterize the set of rotations -- augmenting cycles linking neighboring stable assignments in the lattice $(\cal S,\prec)$, explain how to construct the rotations efficiently, and devise a weighted poset in which the lattice of closed functions is isomorphic to $(\cal S,\prec)$, thus obtaining an explicit representation for the latter. We show that in general the size of the poset is at most $b^{\rm max}|E|$, where $b^{\rm max}$ is the maximal capacity, and the poset can be constructed in pseudo polynomial time. Then we explain that by imposing an additional condition on CFs, the size of the poset becomes polynomial in $|V|$, and the total time reduces to a polynomial in $|V|,\log b^{\rm max}$.
Inhomogeneous $q$-Whittaker Polynomials I: Duality and Expansions
We introduce a new family of symmetric polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_λ$ arising from exactly solvable lattice models associated with the quantised loop algebra $\mathcal{U}_{q}(\mathfrak{sl}_{2}[z^\pm])$. The polynomials $\mathfrak{G}^{(\mathbf{u},\mathbf{v})}_λ$ unify $q$-Whittaker polynomials, inhomogeneous $q$-Whittaker polynomials, Grothendieck polynomials and their duals. Using Yang--Baxter equation, we derive Cauchy identities and combinatorial formulas for the transition coefficients.
Permutation Flows I: Triangulations of Flow Polytopes (Research Announcement)
We introduce a new broadly unifying family of combinatorial objects, which we call permutation flows, associated to an acyclic directed graph $G$ together with a framing $F$. This new family is combinatorially rich and contains as special cases various families of combinatorial objects that are frequently studied in the literature, as is the case of permutations, circular permutations, multipermutations, Stirling permutations, Catalan objects and their generalizations. When permutation flows are decorated with compatible shuffles, they also include the combinatorics of parking functions and their generalizations.
This model is geometrically rich. We show that permutation flow shuffles define a family of unimodular triangulations of the flow polytope $F_G(a)$ on $G$ with an integer balanced netflow vector a where only the last entry is negative. As an application we provide a new proof of the Lidskii volume formula of Baldoni and Vergne for this family of polytopes and a reformulation of the same formula where every term is explained by the nature of the combinatorial objects involved. Permutation flow triangulations extend the Danilov, Karzanov, and Koshevoy triangulations that were defined for the case where a=e_0-e_n. We provide a formula for the h^*-polynomial of the flow polytope as the descent enumerating polynomial of permutation flows.
The model comes with an order structure induced by intuitive operators on permutation flows which we call the weak order. This order includes as special cases the weak order on permutations, the Tamari lattice, order ideals in Young's lattice, and their generalizations, among others. It was conjectured in 2020 by the three authors, together with Benedetti, Harris, and Morales, that this poset is in general a lattice. This conjecture has been recently established with independent proofs by Bell and Ceballos, and by Berggren and Serhiyenko.
Combinatorial foundations for solvable chaotic local Euclidean quantum circuits in two dimensions
We investigate a graph-theoretic problem motivated by questions in quantum computing concerning the propagation of information in quantum circuits. A graph $G$ is said to be a bounded extension of its subgraph $L$ if they share the same vertex set, and the graph distance $d_L(u, v)$ is uniformly bounded for edges $uv\in G$. Given vertices $u, v$ in $G$ and an integer $k$, the geodesic slice $S(u, v, k)$ denotes the subset of vertices $w$ lying on a geodesic in $G$ between $u$ and $v$ with $d_G(u, w) = k$. We say that $G$ has bounded geodesic slices if $|S(u, v, k)|$ is uniformly bounded over all $u, v, k$. We call a graph $L$ geodesically directable if it has a bounded extension $G$ with bounded geodesic slices.
Contrary to previous expectations, we prove that $\mathbb{Z}^2$ is geodesically directable. Physically, this provides a setting in which one could devise exactly-solvable chaotic local quantum circuits with non-trivial correlation patterns on 2D Euclidean lattices. In fact, we show that any bounded extension of $\mathbb{Z}^2$ is geodesically directable. This further implies that all two-dimensional regular tilings are geodesically directable.
Counting Lattice Points in Generalized Permutohedra From A to B
We derive a formula for the number of lattice points in type B generalized permutohedra, providing a concise alternative to the formula obtained recently by Eur, Fink, Larson, and Spink as a result from a study of delta-matroids. Our approach builds upon the existing framework and techniques introduced by Postnikov in his work on type A generalized permutohedra, a family of polytopes interconnected with many mathematical concepts such as matroids and Weyl groups. In particular, we express the number of lattice points in type B generalized permutohedra in terms of Postnikov's notion of G-draconian sequences, from which their Ehrhart polynomials and volume formula follow as consequences.
North-East Lattice Paths Avoiding $k$ Collinear Points via Satisfiability
Published
• View Publication
• BIB
We investigate the Gerver-Ramsey collinearity problem of determining the maximum number of points in a north-east lattice path without $k$ collinear points. Using a satisfiability solver, up to isomorphism we enumerate all north-east lattice paths avoiding $k$ collinear points for $k \leq 6$. We also find a north-east lattice path avoiding $k = 7$ collinear points with 327 steps, improving on the previous best length of 260 steps found by Shallit.
Cohen-Macauleyness of the Zero-Divisor Graph of a Boolean Poset
Published
• View Publication
• BIB
In this paper, we prove that the zero-divisor graph $Γ(P)$ of a Boolean poset $P$ is both well-covered and Cohen--Macaulay. Furthermore, for a poset $\mathbf{P} = \prod_{i=1}^{n} P_i$ $(n \ge 3)$, where each $P_i$ is a finite bounded poset satisfying $Z(P_i) = \{0\}$ for all $i$, and $\le |P_1| \le |P_2| \le \cdots \le |P_n|, $ we show that the zero-divisor graph $Γ(\mathbf{P})$ is Cohen--Macaulay if and only if $\mathbf{P}$ is a Boolean lattice.
Local Geometric and Transport Properties of Networks that are Generated from Hyperuniform Point Patterns
Hyperuniformity, which is a type of long-range order that is characterized by the suppression of long-range density fluctuations in comparison to the fluctuations in standard disordered systems, has emerged as a powerful concept to aid in the understanding of diverse natural and engineered phenomena. In the present paper, we harness hyperuniform point patterns to generate a class of disordered, spatially embedded networks that are distinct from both perfectly ordered lattices and uniformly random geometric graphs. We refer to these networks as \emph{hyperuniform-point-pattern-induced (HuPPI) networks}, and we compare them to their counterpart \emph{Poisson-point-pattern-induced (PoPPI) networks}. By computing the local geometric and transport properties of HuPPI networks, we demonstrate how hyperuniformity imparts advantages in both transport efficiency and robustness. Specifically, we show that HuPPI networks have systematically smaller total effective resistances, slightly faster random-walk mixing times, and fewer extreme-curvature edges than PoPPI networks. Counterintuitively, we also find that HuPPI networks simultaneously have more negative mean Ollivier--Ricci curvatures and smaller total effective resistances than PoPPI networks, indicating that edges with moderately negative curvatures need not create severe bottlenecks to transport. Moreover, HuPPI networks are consistently more robust under both random edge removals and curvature-based targeted edge removals, maintaining larger connected components for larger fractions of removed edges than their PoPPI counterparts. We also demonstrate that the network-generation method strongly influences these properties and in particular that it often overshadows differences that arise from underlying point patterns.
The $d$-gonal locus in the moduli space of tropical plane curves
We introduce and study the locus $\mathbb{M}_{g,d}^\textrm{nd}$ of genus $g$ tropical plane curves of gonality $d$ inside the moduli space $\mathbb{M}^{\textrm{nd}}_{g}$ of tropical plane curves of genus $g$. Each such tropical curve arises from a Newton polygon, and we conjecture that the gonality of the tropical curve is equal to an easily computed parameter of this polygon called the expected gonality, closely related to the lattice width of the polygon. Let $\mathbb{M}_{g,{\underline{d}}}^\textrm{nd}$ denote the locus of tropical curves whose associated Newton polygon has expected gonality $d$. We prove that for fixed $d$ and sufficiently large genus $g$, the dimensions of these two loci agree: \[ \\dim\left(\mathbb{M}_{g,d}^\textrm{nd}\right) =\dim\left(\mathbb{M}_{g,{\underline{d}}}^\textrm{nd}\right). \] Our results provide evidence that, in sufficiently high genus compared to expected gonality, the gonality of a tropical curve is determined by the expected gonality of the Newton polygon from which it arises.
Lattices of pretorsion classes
Since their introduction, torsion theories have played a key role in the study of abelian and pointed categories. In representation theory, torsion theories and lattices of torsion classes of mod$ A$, for $A$ a finite-dimensional algebra, have been widely studied. The more recent definition of pretorsion theories, that can be given for any category, has expanded the theory, giving many more instances of ``non-pointed torsion theories'' in unexpected settings. In this work, we introduce and study the lattice $\mathcal{L}_t(A)$ of pretorsion classes of mod$ A$. These lattices are in close connection with the lattices tors$ A$ of torsion classes of mod$ A$. We fully describe the completely join-irreducible elements of $\mathcal{L}_t(A)$. Moreover, we characterise and give a full classification of when $\mathcal{L}_t(A)$ is distributive and further describe when it can be identified with the \emph{distributive closure} of tors$ A$. Finally, we show how the lattices of pretorsion classes, together with their duals, can be used to build pretorsion theories in mod$ A$.
Explicit Formulas and Combinatorial Interpretation of Triangular Arrays
Published
• View Publication
• BIB
Using the lattice $\mathbb{N}\times\mathbb{N}$, we derive a general formula for the sequences $\big(T(n,k)\big)_{n,k\in \mathbb{N}}$ satysfying the recurence relation of the form:
\begin{equation*}
T(n,k)=a_{n,k}T(n-1,k)+b_{n,k}T(n-1,k-1).
\end{equation*}
We apply this result to the case where $a_{n,k}=a_0+a_1k+a_2n$ and $b_{n,k}=b_0+b_1k+b_2n$.
This leads to explicit expressions for general $T(n,k)$, with simpler formulas arising in the case $b_2=0$, as well as in the fully general case, using Faà di Bruno's type expression. In particular, we will analyze the case $b_{n,k}=1$, which frequently occurs in enumerative combinatorics. Applications include explicit formulas for the $r$-Eulerian numbers. We will write also the case where $b_{n,k}=1$, as a matrix of passage.
\textbf{Keywords:} triangular recurrence, weighted paths, $r$-Eulerian numbers, combinatorial interpretation.
A Generalized Grassmann-Pfaffian Framework for Monomer-Dimer and Spanning Trees
We develop a unified framework for Berezin integrals over Grassmann variables that establishes master identities for exponential quadratic fermionic forms and linear fermionic forms coupled to both bosonic and fermionic sources. The construction is rigorous for both real and complex fermions in arbitrary dimensions and remains well-defined even when the underlying matrices are singular. Our main mathematical results appear in two master theorems. Theorem 12 provides a comprehensive identity for Berezin integrals over Grassmann variables for real fermions with mixed bosonic-fermionic sources, applicable to any antisymmetric matrix. Its complex analogue, Theorem 13, yields corresponding determinant-based representations. Together, they serve as generating functionals for a wide range of combinatorial and physical models. Key applications include the dimer, monomer-dimer, matching, and almost-matching problems. We revisit the Kasteleyn theorem for planar dimers using Berezin integrals. We construct monomer-dimer systems through the \textit{Monobisyzexant (Mbsz)} function, which generalizes the Hafnian to incorporate monomer contributions and admits a Pfaffian-sum representation for planar graphs (Theorem 5); and practical techniques for handling singular matrices via unitary block decomposition (Theorem 6) and spectral analysis. We further present explicit mappings between Hafnians and Pfaffians and their submatrix generalizations (Hafnianinhos and Pfaffianinhos); an alternative source-ordered Berezin integral representation for spanning trees and forests using complex bosonic sources that regularizes the Laplacian zero mode (Theorem 10). Overall, this work offers a flexible toolkit for the theoretical analysis and computational implementation of graph-based models and lattice field theories using Berezin integrals over Grassmann variables .
Extremality in semidistributive lattices
We establish several independent results concerning extremal, left modular, congruence uniform, and semidistributive lattices. An equivalent characterization of left modular lattices is obtained in terms of edge-labellings, together with necessary and sufficient conditions on the doubling steps in the construction of congruence normal lattices that ensure left modularity or extremality. We prove that a congruence uniform lattice is shellable if and only if it is extremal. We answer a question of Barnard by constructing a counterexample showing that an induced subcomplex of a canonical join complex need not itself be such a complex. Finally, we show that the order dimension of a semidistributive extremal lattice equals the chromatic number of the complement of its Galois graph, generalizing a theorem of Dilworth for distributive lattices. As an application, we determine the dimensions of generalizations of the Hochschild lattice, of the parabolic Tamari lattice, and of some lattices of torsion classes.
Equilateral n-gons in planar integer lattices
We study the existence of equilateral polygons in planar integer lattices. Maehara showed that it's sufficient to work with rectangular lattices $Λ(m) = L[(1,0),(0,\sqrt{m})]$ with $m \equiv 3 \pmod{4}$. Building on results of Maehara and of Iino and Sakiyama, we show that for every such $m$ there exists $N$ such that for all $n \geq N$, the lattice $Λ(m)$ contains an equilateral $n$-gon. This extends previous classifications of equilateral polygons in planar lattices.
Characterizing Transfer Systems for Non-Abelian Groups
For a finite group $G$, the notion of a $G$-transfer system provides homotopy theorists with a combinatorial way to study equivariant objects. In this paper, we focus on the properties of transfer systems for non-abelian groups. We explicitly describe the width of all dihedral groups, quaternion groups, and dicyclic groups. For a given $G$, the set of all $G$-transfer systems forms a poset lattice under inclusion; these are a useful resource to homotopical combinatorialists for detecting patterns and checking conjectures. We expand the suite of known transfer system lattices for non-abelian groups including those which are dihedral, dicyclic, Frobenius, and alternating.
Chow polynomials of rank-uniform labeled posets
We introduce and develop the theory of UMEL-shellable posets. These are posets equipped with an edge-lexicographical labeling satisfying certain uniformity and monotonicity properties. This framework encompasses classical families of combinatorial geometries, including uniform matroids, projective and affine geometries, braid matroids of type A and B, and all Dowling geometries. It also comprises all rank-uniform supersolvable lattices, and therefore also all rank-uniform distributive lattices. Our main result establishes real-rootedness phenomena for the Chow polynomials, the augmented Chow polynomials, and the chain polynomials associated with those posets, thus making simultaneous progress towards conjectures by Ferroni--Schröter, Huh--Stevens, and Athanasiadis--Kalampogia-Evangelinou. In the special case of lattices of flats of matroids, the (augmented) Chow polynomials coincide with the Hilbert--Poincaré series of the Chow ring associated to the smooth and generally noncompact toric varieties of the (augmented) Bergman fan of the matroid, whereas the chain polynomial encodes the Hilbert--Poincaré series of the Stanley--Reisner ring of the Bergman complex of the matroid. Therefore, these real-rootedness results are tightly linked to the study of these algebro-geometric structures in matroid theory.