arXiv++ Combinatorics

We study the combinatorial equivalence of separable elements in types $A$ and $B$. A bijection is constructed from the set of separable permutations in the symmetric group $S_{n+1}$ to the set of separable signed permutations in the hyperoctahedral group $B_n$. This bijection preserves descent statistics and induces a poset isomorphism under the left weak order. As a consequence, separable signed permutations are enumerated by the large Schröder numbers, and their descent polynomials are shown to be $γ$-positive. Building on a recursive characterization of separable signed permutations via direct sum and skew sum operations, we derive explicit product formulas for the rank generating functions of the principal upper and lower ideals of separable signed permutations under the left weak order.

We classify complex hyperplane arrangements $\mathcal A$ whose intersection posets $L(\mathcal A)$ satisfy $L(\mathcal A)=π_i^{-1}\circπ_i\bigl(L(\mathcal A)\bigr)$ for $i=1,\dots,n$. Here $π_i$ denotes the projection from $\mathbb C^n$ onto $\mathbb C^{n-1}$ defined by that forgets the coordinate $x_i$ of $(x_1,\dots,x_n)\in\mathbb C^n$, and $π_i\bigl(L(\mathcal A)\bigr)=\{π_i(S)\mid S\in L(\mathcal A)\}$. We show that such arrangements $\mathcal A$ arise as pullbacks of the mirror hyperplanes of complex reflection groups of type $A$ or $B$.

In one of his papers on the weak order of Coxeter groups, Dyer formulates several conjectures. Among these, one affirms that the extended weak order forms a lattice, while another offers an algebraic-geometric description of the join of two elements in this poset. The former was recently proven for affine types by Barkley and Speyer. In this paper, we establish the latter for Coxeter groups of types $A$ and $I$. Moreover, we verified the validity of this conjecture for types $H_3$ and $F_4$ through the use of Sage.

The poset of maximal tubings of a graph generalizes several well-known and remarkable partial orders. Notable examples include the weak Bruhat order and the Tamari lattice, posets of maximal tubings for the complete graph and the path graph, respectively. It is an open problem to characterize graphs for which the poset of maximal tubings is a lattice. In this paper, we prove that the poset of maximal tubings for the cycle graph is a lattice, and moreover that it is semidistributive and congruence uniform. As main tools, we characterize all order relations in the poset, and introduce a useful map from maximal tubings of the cycle graph to maximal tubings of the path graph.

We survey three settings in which dimensions of intersection cohomology groups of algebraic varieties provide deep combinatorial and representation-theoretic information, and computations of the groups themselves have been made using combinatorial sheaves on finite posets. These settings are (1) intersection cohomology of Schubert varieties, the associated Kazhdan-Lusztig polynomials and their realizations via moment graph sheaves and Soergel bimodules; (2) intersection cohomology of toric varieties, the associated g-polynomials of convex polytopes, and their realization via the theory of intersection cohomology of fans; and (3) intersection cohomology of arrangement Schubert varieties, the associated Kazhdan-Lusztig polynomials of matroids, and their realization via intersection cohomology of matroids. In all three settings these constructions are valid in more general situations where the variety does not exist, leading to "intersection cohomology without spaces." We give parallel presentations of these three stories, highlighting applications to KLS-polynomials.

The characterization of the finite minimal automorphic posets of width three is still an open problem. Niederle has shown that this task can be reduced to the characterization of the nice sections of width three having a non-trivial tower of nice sections as retract. In our article, we characterize those of them which have a 4-crown stack as retract and we develop a recursive approach for their determination. We apply the approach on a sub-class $\mathfrak{N}_2$ of nice sections of width three and determine all posets in $\mathfrak{N}_2$ with height up to six having a 4-crown stack as retract. For each integer $n \geq 2$, the class $\mathfrak{N}_2$ contains $2^{n-2}$ different isomorphism types of posets of height $n$.

Given any poset $P$ and chain $φ$ in $P$, we define the $(P,φ)$-Tamari lattice. We study in depth these lattices and prove in particular that they are join-semidistributive, join-congruence uniform and left modular. We prove that the lattices of higher torsion classes of the higher Auslander and Nakayama algebras of type $\mathbb{A}$ are examples of $(P,φ)$-Tamari lattices and thus they inherit their properties. We also give general results related to left modular, extremal and congruence normal lattices.

Given a poset $P$, a family $\mathcal{S}=\{S_x:x\in P\}$ of sets indexed by the elements of $P$ is called an inclusion representation of $P$ if $x\leqslant y$ in $P$ if and only if $S_x\subseteq S_y$. The cube height of a poset is the least non-negative integer $h$ such that $P$ has an inclusion representation for which every set has size at most $h$. In turn, the cube width of $P$ is the least non-negative integer $w$ for which there is an inclusion representation $\mathcal{S}$ of $P$ such that $|\bigcup\mathcal{S}|=w$ and every set in $\mathcal{S}$ has size at most the cube height of $P$. In this paper, we show that the cube width of a poset never exceeds the size of its ground set, and we characterize those posets for which this inequality is tight. Our research prompted us to investigate related extremal problems for posets and inclusion representations. Accordingly, the results for cube width are obtained as extensions of more comprehensive results that we believe to be of independent interest.

We prove for finite, graded, bounded posets, that the Poincaré-extended ab-index is obtained from the ab-index via the omega-transformation. This proves a conjecture by Dorpalen-Barry, Maglione, and the second author, and provides a more conceptual approach to ab-indices and Chow polynomials beyond R-labeled posets.

Given a finite poset $\mathcal P$, the hypercube-height, denoted by $h^*(\mathcal P)$, is defined to be the largest $h$ such that, for any natural number $n$, the subsets of $[n]$ of size less than $h$ do not contain an induced copy of $\mathcal P$. The hypercube-width, denoted by $w^*(\mathcal P)$, is the smallest $w$ such that the subsets of $[w]$ of size at most $h^*(\mathcal P)$ contain an induced copy of $\mathcal P$. In other words, $h^*(\mathcal P)$ asks how `low' can a poset be embedded, and $w^*(\mathcal P)$ asks for the first hypercube in which such an `optimal' embedding occurs. These notions were introduced by Bastide, Groenland, Ivan and Johnston in connection to upper bounds for the poset saturation numbers. While it is not hard to see that $h^*(\mathcal P)\leq |\mathcal P|-1$ (and this bound can be tight), the hypercube-width has proved to be much more elusive. It was shown by the authors mentioned above that $w^*(\mathcal P)\leq|\mathcal P|^2/4$, but they conjectured that in fact $w^*(\mathcal P)\leq |\mathcal P|$ for any finite poset $\mathcal P$. In this paper we prove this conjecture. The proof uses Hall's theorem for bipartite graphs as a precision tool for modifing an existing copy of our poset.

We investigate the toric geometry of two families of generalised determinantal varieties arising from permutations: Matrix Schubert varieties ($\overline{X_w}$) and Kazhdan-Lusztig varieties ($\mathcal{N}_{v,w}$). Matrix Schubert varieties can be written as $\overline{X_w} = Y_w \times \mathbb C^d$, where $d$ is maximal. We are especially interested in the structure and complexity of these varieties $Y_w$ and $\mathcal{N}_{v,w}$ under the so-called usual torus actions. In the case when $Y_w$ is toric, we provide a full characterisation of the simple reflections $s_i$ that render ${Y_{w \cdot s_i}}$ toric, as well as the corresponding changes to the weight cone. For Kazhdan-Lusztig varieties, we consider how moving one of the two permutations $v,w$ along a chain in the Bruhat poset affects their complexity. Additionally, we study the complexity of these varieties, for permutations $v$ and $w$ of a specific structure. Finally, we consider the links between these determinantal varieties and two classes of statistical models; namely conditional independence and quasi-independence models.

In 2022 Kim showed when a graph $G$ is ternary (without induced cycles of length divisible by three), its independence complex $\text{Ind}(G)$ is either contractible or homotopy equivalent to a sphere. In this paper, we show that when $\text{Ind}(G)$ is homotopy equivalent to a sphere of dimension $\dim \text{Ind}(G)$, the complex is Gorenstein. Equivalently, $G$ is a $1$-well-covered graph. This answers a question by Faridi and Holleben. We then focus on the independence complexes of Gorenstein planar ternary graphs. We prove that they are boundaries of vertex decomposable simplicial polytopes. We show that the transformations among these flag spheres using edge subdivisions and contractions can be modeled by the Hasse diagram of the partition refinement poset. In addition, their $h$-polynomials are products of Delannoy polynomials and thus real-rooted. Finally, we demonstrate a way to construct nonplanar Gorenstein ($1$-well-covered) ternary graphs from planar ones.

Condorcet domains are subsets of permutations arising in voting theory: regarding their permutations as preference orders on a list of candidates, one avoids Condorcet's paradox when aggregating the preferences via a simple majority relation. We use poset theory to show that, for the subclass of Condorcet domains of tiling type, the majority rule has stronger properties. We then develop techniques to predict the majority rule explicitly for the uniform vote tally on Condorcet domains of tiling type, and apply this to several well-known examples.

We show that there is a constant $C>0$ such that for each integer $n\geq 1$, there is a poset on at most $2^{2n/3+C\sqrt{n}}$ elements that contains each $n$-element poset as an (induced) subposet.

Huh-Stevens and Ferroni-Schröter independently conjectured that Hilbert-Poincaré series of Chow rings of geometric lattices have only real zeros. Ferroni, Matherne and the second author extended this conjecture to Chow polynomials of Cohen-Macaulay poset. In this paper we address the above conjectures by providing new defining relations and properties of Chow functions of posets and matrices. These are used, in conjunction with new techniques on interlacing sequences of polynomials, to prove that Chow polynomials of totally nonnegative matrices have only real zeros, which, in turn, proves the above conjectures for a class of posets that contains projective and affine geometries, face lattices of cubical polytopes, partition lattices and Dowling lattices, perfect matroid designs, and lattices of flats of paving matroids. We also study Chow polynomials of Toeplitz matrices in greater detail, and show how these are related the combinatorics of binomial and Sheffer posets, as well as to a family of generalized Eulerian polynomials with coefficients in the ring of symmetric polynomials that have been studied by e.g. Stanley, Brenti, Stembridge and Shareshian-Wachs.

We study nested complexes of building sets on the Las Vergnas face lattices of oriented matroids. Such a nested complex is the face lattice of an oriented matroid, obtained by iterated stellar subdivisions of the positive tope. If the oriented matroid is realizable, the nested complex is isomorphic to the boundary complex of a polytope. We turn this into an explicit and combinatorially meaningful polytopal realization. We prove that the facial nested complex can be embedded as the acyclic subcomplex of the nested complex of a well-chosen boolean building set. In the realizable case, we show that this acyclic subcomplex can be geometrically selected as the section of a nestohedron by the evaluation space of the vector configuration, which we call acyclonestohedron. Our framework generalizes the poset associahedra recently introduced by P. Galashin, from order polytopes to any polytope. Poset associahedra are the graphical acyclonestohedra, and our approach recovers as particular cases the main results of P. Galashin and answers some of his open questions. Besides poset associahedra, our framework unifies various other existing families of nested-like polytopes, such as the simple polytope nestohedra, the hyperoctahedral nestohedra, the design graph associahedra and the permutopermutohedra, to which our palette of results can be directly applied. The core of our construction is the embedding of the facial nested complex inside a boolean nested complex. More generally, we provide conditions that guarantee an embedding between nested complexes over two lattices. For instance, any atomic nested complex has a canonical embedding inside a boolean nested complex. As another application, we embed nested complexes over lattices of faces into nested complexes over lattices of flats, recovering as a particular case, the embedding of the positive Bergman complex into the Bergman complex.

In this paper, we explore (slightly generalized) $f$-Eulerian polynomials introduced by Stanley and frequently appearing in combinatorics. Notable special cases include the classical Eulerian polynomials, the generating polynomials of order polynomials for certain labeled posets, and the $d$-Narayana polynomials. We establish simple sufficient conditions for the reality (and sign) of their zeros and present implications for total positivity of sequences generated by values of polynomials at integers. We further relate these polynomials to generalized Euler's transformations for the generalized hypergeometric functions with integral parameter differences. Exploiting this and other hypergeometric connections, we provide purely hypergeometric proofs for various known and some new properties of $d$-Narayana polynomials. Another family encompassed by our definition of the generalized $f$-Eulerian polynomials is that of Jacobi-Piñeiro type II multiple orthogonal polynomials. Their zero location can thus be analyzed, for both canonical and non-canonical parameter values, without invoking orthogonality. Finally, we present several connection formulas relating $d$-Narayana polynomials to particular Jacobi-Piñeiro polynomials.

We revisit classic balancing problems for linear extensions of a partially ordered set $P$, proving results that go far beyond many of the best earlier results on this topic. For example, with $p(x\prec y)$ the probability that $x$ precedes $y$ in a uniform linear extension, $δ_{xy} = \min\{p(x \prec y), p(y \prec x)\}$, and $δ(P)=\max δ_{xy}$, we show that $δ(P)$ tends to $1/2$ as $n := |P| \to\infty$ if $P$ has width $Ω(n)$ or $ω(\log(n))$ minimal elements, and is at least $1/e-o(1)$ if $P$ has width $ω(\sqrt{n})$ or height $o(n)$. Motivated by both consequences for balance problems and intrinsic interest, we also consider several old and new parameters associated with $P$. Here, in addition to balance, we study relations between the parameters and suggest various questions that are thought to be worthy of further investigation.

Motivated by the analogy with the Coxeter complex on one side, and parking functions on the other side, we study the poset of parabolic cosets in a finite Coxeter group. We show that this poset is Cohen-Macaulay, and get an explicit formula for the character of its (unique) nonzero homology group in terms of the Möbius function of the intersection lattice. This homology character becomes a positive element of the parabolic Burnside ring (in its natural basis) after tensoring with the sign character. The coefficients of this character essentially encode the colored $h$-vector of the positive chamber complex (following Bastidas, Hohlweg, and Saliola, this complex is defined by taking Weyl chambers that lie on the positive side of a generic hyperplane). Roughly speaking, tensoring by the sign character on one side corresponds to the transformation going from the $f$-vector to the $h$-vector on the other side.

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 saturation number of $\mathcal P$ is the size of the smallest $\mathcal P$-saturated family with ground set $[n]$. The saturation numbers have been shown to exhibit a dichotomy: for any poset, the saturation number is either bounded, or at least $2\sqrt n$. The general conjecture is that in fact, the saturation number for any poset is either bounded, or at least linear. The linear sum of two posets $\mathcal P_1$ and $\mathcal P_2$, dented by $\mathcal P_1*\mathcal P_2$, is defined as the poset obtained from a copy of $\mathcal P_1$ placed completely on top of a copy of $\mathcal P_2$. In this paper we show that the saturation number of $\mathcal P_1*\mathcal A_k*\mathcal P_2$ is always at least linear, for any $\mathcal P_1$, $\mathcal P_2$ and $k\geq2$, where $\mathcal A_k$ is the antichain of size $k$. This is a generalisation of the recent result that the saturation number for the diamond is linear (in that case $\mathcal P_1$ and $\mathcal P_2$ are both the single point poset, and $k=2$). We also show that, with the exception of chains which are known to have bounded saturation number, the saturation number for all complete multipartite posets is linear.