poset ↗ reference
2216 papers tagged with this keyword
Toric Richardson Varieties
In this article, we provide characterizations of toric Richardson varieties across all types through three distinct approaches: 1) poset theory, 2) root theory, and 3) geometry.
Heights of one- and two-sided congruence lattices of semigroups
Published in Pacific J. Math. 333 (2024) 17-57
• View Publication
• BIB
The height of a poset $P$ is the supremum of the cardinalities of chains in $P$. The exact formula for the height of the subgroup lattice of the symmetric group $\mathcal{S}_n$ is known, as is an accurate asymptotic formula for the height of the subsemigroup lattice of the full transformation monoid $\mathcal{T}_n$. Motivated by the related question of determining the heights of the lattices of left- and right congruences of $\mathcal{T}_n$, we develop a general method for computing the heights of lattices of both one- and two-sided congruences for semigroups. We apply this theory to obtain exact height formulae for several monoids of transformations, matrices and partitions, including: the full transformation monoid $\mathcal{T}_n$, the partial transformation monoid $\mathcal{PT}_n$, the symmetric inverse monoid $\mathcal{I}_n$, the monoid of order-preserving transformations $\mathcal{O}_n$, the full matrix monoid $\mathcal{M}(n,q)$, the partition monoid $\mathcal{P}_n$, the Brauer monoid $\mathcal{B}_n$ and the Temperley-Lieb monoid $\mathcal{TL}_n$.
On the order sequence of a group
Published in The Electronic Journal of Combinatorics, 32(2) (2025), #P2.9
• View Publication
• BIB
This paper provides a bridge between two active areas of research, the spectrum (set of element orders) and the power graph of a finite group.
The order sequence of a finite group $G$ is the list of orders of elements of the group, arranged in non-decreasing order. Order sequences of groups of order $n$ are ordered by elementwise domination, forming a partially ordered set. We prove a number of results about this poset, among them the following.
M.~Amiri recently proved that the poset has a unique maximal element, corresponding to the cyclic group. We show that the product of orders in a cyclic group of order $n$ is at least $q^{φ(n)}$ times as large as the product in any non-cyclic group,where $q$ is the smallest prime divisor of $n$ and $φ$ is Euler's function, with a similar result for the sum.
The poset of order sequences of abelian groups of order $p^n$ is naturally isomorphic to the (well-studied) poset of partitions of $n$ with its natural partial order.
If there exists a non-nilpotent group of order $n$, then there exists such a group whose order sequence is dominated by the order sequence of any nilpotent group of order $n$.
There is a product operation on finite ordered sequences, defined by forming all products and sorting them into non-decreasing order. The product of order sequences of groups $G$ and $H$ is the order sequence of a group if and only if $|G|$ and $|H|$ are coprime.
The paper concludes with a number of open problems.
A Polynomial Upper Bound for Poset Saturation
Published
• View Publication
• BIB
Given a finite poset $\mathcal P$, we say that a family $\mathcal F$ of subsets of $[n]$ is $\mathcal P$-saturated if $\mathcal F$ does not contain an induced copy of $\mathcal P$, but adding any other set to $\mathcal F$ creates an induced copy of $\mathcal P$. The induced saturation number of $\mathcal P$, denoted by $\text{sat}^*(n,\mathcal P)$, is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$. In this paper we prove that the saturation number for any given poset grows at worst polynomially. More precisely, we show that $\text{sat}^*(n, \mathcal P)=O(n^c)$, where $c\leq|\mathcal{P}|^2/4+1$ is a constant depending on $\mathcal P$ only. We obtain this result by bounding the VC-dimension of our family.
Poset Associahedra and Stack-sorting
For any finite connected poset $P$, Galashin introduced a simple convex $(|P|-2)$-dimensional polytope $\mathscr{A}(P)$ called the poset associahedron. For a certain family of posets, whose poset associahedra interpolate between the classical permutohedron and associahedron, we give a simple combinatorial interpretation of the $h$-vector. Our interpretation relates to the theory of stack-sorting of permutations. It also allows us to prove real-rootedness of some of their $h$-polynomials.
Erdős-Hajnal problems for posets
Published
• View Publication
• BIB
We say that a poset $(Q,\le_{Q})$ contains an induced copy of a poset $(P,\le_P)$ if there is an injective function $φ\colon P\to Q$ such that for every two $X,Y\in P$,\;\;$X\le_P Y$ if and only if $φ(X)\le_Q φ(Y)$. We denote the Boolean lattice $(2^{[n]},\subseteq)$ by $Q_n$. Given a fixed $2$-coloring $c$ of a poset $P$, the poset Erdős-Hajnal number of this colored poset is the smallest integer $N$ such that every $2$-coloring of the Boolean lattice $Q_N$ contains an induced copy of $P$ colored as in $c$, or a monochromatic induced copy of $Q_n$. We present bounds on the poset Erdős-Hajnal number of general colored posets, antichains, chains, and small Boolean lattices. Let the poset Ramsey number $R(Q_n,Q_n)$ be the least $N$ such that every $2$-coloring of $Q_N$ contains a monochromatic induced copy of $Q_n$. As a corollary, we show that $R(Q_n,Q_n)> 2.02n$, improving on the best known lower bound $2n+1$ by Cox and Stolee \cite{CS}.
Coverings by open and closed hemispheres
In this paper we study the nerves of two types of coverings of a sphere $S^{d-1}$: (1) coverings by open hemispheres; (2) antipodal coverings by closed hemispheres. In the first case, nerve theorem implies that the nerve is homotopy equivalent to $S^{d-1}$. In the second case, we prove that the nerve is homotopy equivalent to a wedge of $(2d-2)$-dimensional spheres. The number of wedge summands equals the Möbius invariant of the geometric lattice (or hyperplane arrangement) associated with the covering. This result explains some observed large-scale phenomena in topological data analysis. We review the particular case, when the coverings are centered in the root system $A_d$. In this case the nerve of the covering by open hemispheres is the space of directed acyclic graphs (DAGs), and the nerve of the covering by closed hemispheres is the space of non-strongly connected directed graphs. The homotopy types of these spaces were described by Björner and Welker, and the incarnation of these spaces appeared independently as "the poset of orders" and "the poset of preorders" respectively in the works of Bouc. We study the space of DAGs in terms of Gale and combinatorial Alexander dualities, and propose how this space can be applied in automated machine learning.
The poset associahedron $f$-vector is a comparability invariant
We show that the $f$-vector of Galashin's poset associahedron $\mathscr A(P)$ only depends on the comparability graph of $P$. In particular, this allows us to produce a family of polytopes with the same $f$-vectors as permutohedra, but that are not combinatorially equivalent to permutohedra.
Minimum-sized generating sets of the direct powers of free distributive lattices
For a finite lattice $L$, let Gm($L$) denote the least $n$ such that $L$ can be generated by $n$ elements. For integers $r>2$ and $k>1$, denote by FD$(r)^k$ the $k$-th direct power of the free distributive lattice FD($r$) on $r$ generators. We determine Gm(FD$(r)^k$) for many pairs $(r,k)$ either exactly or with good accuracy by giving a lower estimate that becomes an upper estimate if we increase it by 1. For example, for $(r,k)=(5,25\,000)$ and $(r,k)=(20,\ 1.489\cdot 10^{1789})$, Gm(FD$(r)^k$) is $300$ and $6000$, respectively. To reach our goal, we give estimates for the maximum number of pairwise unrelated copies of some specific posets (called full segment posets) in the subset lattice of an $n$-element set. In addition to analogous earlier results in lattice theory, a connection with cryptology is also mentioned among the motivations.
On ranked and bounded Kohnert posets
In this paper, we explore combinatorial properties of the posets associated with Kohnert polynomials. In particular, we determine a sufficient condition guaranteeing when such ``Kohnert posets'' are bounded and two necessary conditions for when they are ranked. Moreover, we apply the aforementioned conditions to find complete characterizations of when Kohnert posets are bounded and when they are ranked in special cases, including those associated with Demazure characters.
Equality cases of the Alexandrov--Fenchel inequality are not in the polynomial hierarchy
Published in \Forum Math. Pi 12 (2024), e21 1--38
• View Publication
• BIB
Describing the equality conditions of the Alexandrov--Fenchel inequality has been a major open problem for decades. We prove that in the case of convex polytopes, this description is not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level. This is the first hardness result for the problem, and is a complexity counterpart of the recent result by Shenfeld and van Handel (arXiv:archive/201104059), which gave a geometric characterization of the equality conditions. The proof involves Stanley's order polytopes and employs poset theoretic technology.
A Torelli theorem for graphs via quasistable divisors
Published in Forum of Mathematics, Sigma 13 (2025) e25
• View Publication
• BIB
The Torelli theorem establishes that the Jacobian of a smooth projective curve, together with the polarization provided by the theta divisor, fully characterizes the curve. In the case of nodal curves, there exists a concept known as fine compactified Jacobian. The fine compactified Jacobian of a curve comes with a natural stratification that can be regarded as a poset. Furthermore, this poset is entirely determined by the dual graph of the curve and is referred to as the poset of quasistable divisors on the graph. We present a combinatorial version of the Torelli theorem, which demonstrates that the poset of quasistable divisors of a graph completely determines the biconnected components of the graph (up to contracting separating edges). Moreover, we achieve a natural extension of this theorem to tropical curves.
Order and chain polytopes of maximal ranked posets
The order and chain polytopes, introduced by Richard P. Stanley, form a pair of Ehrhart equivalent polytopes associated to a given finite poset. A conjecture by Takayuki Hibi and Nan Li states that the $f$-vector of the chain polytope dominates the $f$-vector of the order polytope. In this paper we prove a stronger form of that conjecture for a special class of posets. More precisely, we show that the $f$-vectors increase monotonically over an admissible family of chain-order polytopes for such posets.
Enumerating regions of Shi arrangements per Weyl Cone
Published
• View Publication
• BIB
Given a Shi arrangement $\mathcal{A}_Φ$, it is well-known that the total number of regions is counted by the parking number of type $Φ$ and the total number of regions in the dominant cone is given by the Catalan number of type $Φ$. In the case of the latter, Shi gave a bijection between antichains in the root poset of $Φ$ and the regions in the dominant cone. This result was later extended by Armstrong, Reiner and Rhoades where they gave a bijection between the number of regions contained in an arbitrary Weyl cone $C_w$ in $\mathcal{A}_Φ$ and certain subposets of the root poset. In this article we expand on these results by giving a determinental formula for the precise number of regions in $C_w$ using paths in certain digraphs related to Shi diagrams.
A lattice on Dyck paths close to the Tamari lattice
Published in Séminaire Lotharingien de Combinatoire 89 (2025)
• Search Publication
We introduce a new poset structure on Dyck paths where the covering relation is a particular case of the relation inducing the Tamari lattice. We prove that the transitive closure of this relation endows Dyck paths with a lattice structure. We provide a trivariate generating function counting the number of Dyck paths with respect to the semilength, the numbers of outgoing and incoming edges in the Hasse diagram. We deduce the numbers of coverings, meet and join irreducible elements. As a byproduct, we present a new involution on Dyck paths that transports the bistatistic of the numbers of outgoing and incoming edges into its reverse. Finally, we give a generating function for the number of intervals, and we compare this number with the number of intervals in the Tamari lattice.
Sperner theorems for unrelated copies of some partially ordered sets in a powerset lattice and minimum generating sets of powers of distributive lattices
For a finite poset (partially ordered set) $U$ and a natural number $n$, let Sp$(U,n)$ denote the largest number of pairwise unrelated copies of $U$ in the powerset lattice (AKA subset lattice) of an $n$-element set. If $U$ is the singleton poset, then Sp$(U,n)$ was determined by E. Sperner in 1928; this result is well known in extremal combinatorics. Later, exactly or asymptotically, Sperner's theorem was extended to other posets by A. P. Dove, J. R. Griggs, G. O. H. Katona, D Nagy, J. Stahl, and W. T. Jr. Trotter. We determine Sp$(U,n)$ for all finite posets with 0 and 1, and we give reasonable estimates for the ``V-shaped'' 3-element poset and the 4-element poset with 0 and three maximal elements.
For a lattice $L$, let Gmin($L$) denote the minimum size of generating sets of $L$. We prove that if $U$ is the poset of the join-irreducible elements of a finite distributive lattice $D$, then the function $k\mapsto$ Gmin($D^k)$ is the left adjoint of the function $n\mapsto$ Sp$(U,n)$. This allows us to determine Gmin($D^k)$ in many cases. E.g., for a 5-element distributive lattice $D$, Gmin($D^{2023})=18$ if $D$ is a chain and Gmin($D^{2023})=15$ otherwise.
It follows that large direct powers of small distributive lattices are appropriate for our 2021 cryptographic authentication protocol.
On some extremal and probabilistic questions for tree posets
Given two posets $P,Q$ we say that $Q$ is $P$-free if $Q$ does not contain a copy of $P$. The size of the largest $P$-free family in $2^{[n]}$, denoted by $La(n,P)$, has been extensively studied since the 1980s. We consider several related problems. Indeed, for posets $P$ whose Hasse diagrams are trees and have radius at most $2$, we prove that there are $2^{(1+o(1))La(n,P)}$ $P$-free families in $2^{[n]}$, thereby confirming a conjecture of Gerbner, Nagy, Patkós and Vizer [Electronic Journal of Combinatorics, 2021] in these cases. For such $P$ we also resolve the random version of the $P$-free problem, thus generalising the random version of Sperner's theorem due to Balogh, Mycroft and Treglown [Journal of Combinatorial Theory Series A, 2014], and Collares Neto and Morris [Random Structures and Algorithms, 2016]. Additionally, we make a general conjecture that, roughly speaking, asserts that subfamilies of $2^{[n]}$ of size sufficiently above $La(n,P)$ robustly contain $P$, for any poset $P$ whose Hasse diagram is a tree.
Cliquewidth and dimension
We prove that every poset with bounded cliquewidth and with sufficiently large dimension contains the standard example of dimension $k$ as a subposet. This applies in particular to posets whose cover graphs have bounded treewidth, as the cliquewidth of a poset is bounded in terms of the treewidth of the cover graph. For the latter posets, we prove a stronger statement: every such poset with sufficiently large dimension contains the Kelly example of dimension $k$ as a subposet. Using this result, we obtain a full characterization of the minor-closed graph classes $\mathcal{C}$ such that posets with cover graphs in $\mathcal{C}$ have bounded dimension: they are exactly the classes excluding the cover graph of some Kelly example. Finally, we consider a variant of poset dimension called Boolean dimension, and we prove that posets with bounded cliquewidth have bounded Boolean dimension.
The proofs rely on Colcombet's deterministic version of Simon's factorization theorem, which is a fundamental tool in formal language and automata theory, and which we believe deserves a wider recognition in structural and algorithmic graph theory.
Poset modules of the $0$-Hecke algebras and related quasisymmetric power sum expansions
Published in European Journal of Combinatorics (2024)
• View Publication
• BIB
Duchamp--Hivert--Thibon introduced the construction of a right $H_n(0)$-module, denoted as $M_P$, for any partial order $P$ on the set $[n]$. This module is defined by specifying a suitable action of $H_n(0)$ on the set of linear extensions of $P$. In this paper, we refer to this module as the poset module associated with $P$. Firstly, we show that $\bigoplus_{n \ge 0} G_0(\mathscr{P}(n))$ has a Hopf algebra structure that is isomorphic to the Hopf algebra of quasisymmetric functions, where $\mathscr{P}(n)$ is the full subcategory of $\textbf{mod-}H_n(0)$ whose objects are direct sums of finitely many isomorphic copies of poset modules and $G_0(\mathscr{P}(n))$ is the Grothendieck group of $\mathscr{P}(n)$. We also demonstrate how (anti-)automorphism twists interact with these modules, the induction product and restrictions. Secondly, we investigate the (type 1) quasisymmetric power sum expansion of some quasi-analogues $Y_α$ of Schur functions, where $α$ is a composition. We show that they can be expressed as the sum of the $P$-partition generating functions of specific posets, which allows us to utilize the result established by Liu--Weselcouch. Additionally, we provide a new algorithm for obtaining these posets. Using these findings, for the dual immaculate function and the extended Schur function, we express the coefficients appearing in the quasisymmetric power sum expansions in terms of border strip tableaux.
Computational complexity of counting coincidences
Published in Theoret. Comput. Sci. 1015 (2024) 114776
• View Publication
• BIB
Can you decide if there is a coincidence in the numbers counting two different combinatorial objects? For example, can you decide if two regions in $\mathbb{R}^3$ have the same number of domino tilings? There are two versions of the problem, with $2\times 1 \times 1$ and $2\times 2 \times 1$ boxes. We prove that in both cases the coincidence problem is not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level. While the conclusions are the same, the proofs are notably different and generalize in different directions.
We proceed to explore the coincidence problem for counting independent sets and matchings in graphs, matroid bases, order ideals and linear extensions in posets, permutation patterns, and the Kronecker coefficients. We also make a number of conjectures for counting other combinatorial objects such as plane triangulations, contingency tables, standard Young tableaux, reduced factorizations and the Littlewood--Richardson coefficients.