poset ↗ reference
2287 papers tagged with this keyword
Facet numbers of non-centrally symmetric reflexive polytopes arising from posets
Published
• View Publication
• BIB
Twinned chain polytopes form a broad class of non-centrally symmetric reflexive polytopes and exhibit intriguing structures. In the present paper, we show that the number of facets of $d$-dimensional twinned chain polytopes is at most $6^{d/2}$. In case $d$ is even, the equality holds if and only if the polytope is isomorphic to a free sum of $d/2$ copies of del Pezzo polygons. This result contributes a partial answer to Nill's conjecture: the number of facets of a $d$-dimensional reflexive polytope is at most $6^{d/2}$.
A formula for the Euler characteristic of a poset through the determinant of the order-complement matrix
Given a finite poset $P$, its zeta matrix $\mathbf Z$ encode fundamental incidence-theoretic information about the order structure. In this paper we introduce and study the \emph{order-complement matrix} $\overline{\mathbf Z} = \mathbf J - \mathbf Z$, where $\mathbf J$ is the all-ones matrix. We prove a closed formula for its characteristic polynomial and for its determinant, showing that $\det(\overline{\mathbf Z}) = (-1)^n \tildeχ(P)$, where $n = |P|$ and $\tildeχ(P)$ is the reduced Euler characteristic of $P$. This provides a new, unexpectedly simple linear-algebraic expression for the Euler characteristic of a poset, complementing existing determinant formulas for matrices derived from incidence relations.
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.
Posets of decompositions in spherical buildings
We propose definitions of the common bases complex, the poset of decompositions, and the poset of partial decompositions for arbitrary spherical buildings. We show that the poset of decompositions is Cohen-Macaulay, and that the poset of partial decompositions is spherical and homotopy equivalent to the common bases complex. To prove these results, we rely on the concepts of opposition, Levi spheres, and convexity in buildings.
In particular, our results extend the already known constructions for the linear case (vector spaces) to arbitrary buildings. As a byproduct, we see that the poset of ordered partial decompositions carries the square of the Steinberg representation.
Subdivisions of lower Eulerian posets
There is a natural notion of a subdivision of a lower Eulerian poset called a strong formal subdivision, which abstracts the notion of a polyhedral subdivision of a polytope, or a proper, surjective morphism of fans. We show that there is a canonical bijection between strong formal subdivisions and triples consisting of a lower Eulerian poset, a corresponding rank function, and a non-minimal element such that the join with any other element exists. The bijection uses the non-Hausdorff mapping cylinder construction introduced by Barmak and Minian. A corresponding bijection for $CW$-posets is given, as well as an application to computing the $cd$-index of an Eulerian poset. A companion paper explores applications to Kazhdan-Lusztig-Stanley theory.
Subdivisions of lower Eulerian posets and KLS theory
In a companion paper, a canonical bijection was established between strong formal subdivisions of lower Eulerian posets and triples consisting of a lower Eulerian poset, a corresponding rank function, and a non-minimal element such that the join with any other element exists. The main goal of this paper is to relate the local $h$-polynomials of a strong formal subdivision to the Kazhdan-Lusztig-Stanley (KLS) invariants associated to its corresponding lower Eulerian poset under this bijection. As an application, we show that Braden and MacPherson's relative $g$-polynomials are alternative encodings of corresponding local $h$-polynomials. We also further develop equivariant KLS theory and give equivariant generalizations of our main results, as well as an application to equivariant Ehrhart theory.
Rainbow Turán problems for forbidden subposets
A family $\mathcal{G}$ of sets is a copy of a poset $(P,\leqslant)$ if $(\mathcal{G},\subseteq)$ is isomorphic to $(P,\leqslant)$. The forbidden subposet problem asks for determining $La^*(n,P)$, the maximum size of a family $\mathcal{F}\subseteq 2^{[n]}$ that does not contain any copy of $P$. We study the rainbow version of this problem: what is the maximum size $La_R^*(n,P)$ of a family $\mathcal{F}=\cup_{i=1}^mA^i$ such that all $A^i$ are antichains and there is no copy of $P$ with all sets coming from distinct $A^i$ or equivalently $\mathcal{F}$ admits a proper coloring (sets $F\subset F'$ must receive different colors) with no rainbow copy of $P$.
A poset $(Q,\leqslant')$ rainbow forces $(P,\leqslant)$ if any proper coloring $c$ of $Q$ ($q\leqslant' q'$ or $q'\leqslant' q$ implies $c(q)\neq c(q')$) admits a rainbow copy of $P$. We establish connection between the $La^*$ and the $La^*_R$ functions via poset rainbow forcing, determine the asymptotics of $La_R^*(n,T)$ for all tree posets and obtain further exact or asymptotic results for antichains and complete bipartite posets.
The Generalized Interval Polynomial of a Poset
For any finite poset we define a generating polynomial counting upsets, downsets, and their intersection. We investigate the behaviour of this polynomial with respect to poset operations, show that it distinguishes series-parallel posets, and comment on connections to the causal set approach to quantum gravity.
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.
$q$-analogs of rational numbers: from Ostrowski numeration systems to perfect matchings
We consider the $q$-deformation of rational numbers introduced recently by Morier-Genoud and Ovsienko. We propose three enumerative interpretations of these $q$-rationals: in terms of a new version of Ostrowski's numeration system for integers, in terms of order ideals of fence posets and in terms of perfect matchings of snake graphs. Contrary to previous results which are restricted to rational numbers greater than one, our interpretations work for all positive rational numbers and are based on a single combinatorial object for defining both the numerator and denominator. The proofs rest on order-preserving bijections between posets over these objects. We recover a formula for a $q$-analog of Markoff numbers. We also deduce a fourth interpretation given in terms of the integer points inside a polytope in $\mathbb{R}^k$ on both sides of a hyperplane where $k$ is the length of the continued fraction expansion.
Decompositions of Chow rings of direct sums of matroids
We prove two dual recursive decompositions as a graded $\underline{\mathrm{CH}}(M)\otimes \underline{\mathrm{CH}}(N)$-module of the Chow ring $\underline{\mathrm{CH}}(M\oplus N)$ of the direct sum of matroids. We use this to obtain a decomposition of $\underline{\mathrm{CH}}(M\oplus N)$ into irreducible $\underline{\mathrm{CH}}(M) \otimes \underline{\mathrm{CH}}(N)$-modules. The result implies a new recursive formula for the Eulerian numbers. Similarly, we find a recursive decomposition of the augmented Chow ring $\mathrm{CH}(M \oplus N)$ into $\mathrm{CH}(M)\otimes \mathrm{CH}(N)$-modules, generalizing some of the results of arXiv:2002.03341. We prove analogous decompositions of (augmented) Chow polynomials of weakly ranked posets in the sense of arXiv:2411.04070.
Enumeration in the lattice of $q$-decreasing words
We prove that the poset of $q$-decreasing words equipped with the componentwise order forms a lattice. We enumerate the join-irreducible elements for arbitrary $q>0$, and for any positive rational number $q$, we determine the number of coverings, intervals and meet-irreducible elements. The latter present the same structure as words over an alphabet of $2\lceil q\rceil+1$ letters avoiding $\lceil q\rceil^2+2\lceil q\rceil-1$ consecutive patterns of length 2. Furthermore, we analyze the asymptotic behavior of several of these quantities.
Region level via centralization for hyperplane arrangements and beyond
In "Faces of a Hyperplane Arrangement Enumerated by Ideal Dimension, with Applications to Plane, Plaids, and Shi," Zaslavsky showed how to compute the number $r_\ell(\mathcal{A})$ of regions of a real hyperplane arrangement $\mathcal{A}$ with a given level, refining his well known enumeration of regions and relatively bounded regions. We restate this theorem in terms of a construction called the centralization of $\mathcal{A}$, give a bijective proof, and then apply it in two ways to answer questions concerning the concept of level. Firstly, a consequence of this enumeration is that $r_\ell(\mathcal{A})$ depends only on the intersection poset $\mathcal{L}(\mathcal{A})$, such that both $r_\ell$ and centralization can be defined in the more general setting of geometric semilattices. In this context we derive a very general expression for the characteristic polynomial of a geometric semilattice with several interesting corollaries. Secondly, recent investigations into the phenomenon of level have made little use of Zaslavsky's level-counting theorem, but it can be applied to obtain or generalize many of their results. In particular we show how exponential generating function identities (arXiv:2410.10198, arXiv:2411.02971) and an expression giving the characteristic polynomial in terms of $r_\ell$ (arXiv:2411.03756) can be derived for deformations of the braid arrangement.
Left and right Bousfield localization on lattices
The key information of a model category structure on a poset is encoded in a transfer system, which is a combinatorial gadget, originally introduced to investigate homotopy coherence structures in equivariant homotopy theory. We describe how a transfer system associated with in a model structure on a lattice is affected by left and right Bousfield localization and provide a minimal generating system of morphisms which are responsible for the change in model structure. This leads to new concrete insights into the behavior of model categories on posets in general.
On the combinatorics of tableaux -- Classification of lattices underlying Schensted correspondences
The celebrated Robinson-Schensted algorithm and each of its variants that have attracted substantial attention can be constructed using Fomin's "growth diagram" construction from a modular lattice that is also a weighted-differential poset. We classify all such lattices that meet certain criteria; the main criterion is that the lattice is distributive. Intuitively, these criteria seem excessively strict, but all known Fomin lattices satisfy all of these criteria, with the sole exception of one family that is not even distributive, the Young-Fibonacci lattices and cartesian products involving them. We discover a new class of Fomin lattices, but unfortunately they cannot be used to construct Robinson-Schensted algorithms.
Simplex inequalities of order and chain polytopes of recursively defined posets
Published
• View Publication
• BIB
In this paper, we study the simplex faces of the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ of a finite poset $P$. We show that, if $P$ can be recursively constructed from $\mathbf{X}$-free posets using disjoint unions and ordinal sums, then $\mathcal{C}(P)$ has at least as many $k$-dimensional simplex faces as $\mathcal{O}(P)$ does, for each dimension $k$. This generalizes a previous result of Mori, both in terms of the dimensions of the simplices and in terms of the class of posets considered.
Variance vs. range for linear extensions, and balancing extensions in posets of bounded width
An old conjecture of Kahn and Saks says, roughly, that any poset $P$ of large enough width contains elements $x,y$ which are "balanced" in the sense that the probability that $x$ precedes $y$ in a uniformly random linear extension of $P$ is close to $1/2$. We show this implies the seemingly stronger statement that the same conclusion holds if, instead of large width, we assume only that, for some $x$, the number, $π(x)$, of elements of $P$ incomparable to $x$ is large. The implication follows from our two main results: first, that if $π(P):=\max π(x)$ is large then $P$ has large variance, i.e. there is a $y$ whose position in a uniform extension of $P$ has large variance; and second, that the conclusion of the Kahn-Saks Conjecture holds for $P$ with large variance and bounded width. These two assertions also yield an easy proof of a (not easy) result of Chan, Pak and Panova on "sorting probabilities" for Young diagrams, together with its natural generalization to higher dimensions.
Operators on complemented posets
Given a complemented poset P, we can assign to every element x of P the set x^+ of all its complements. We study properties of the operator ^+ on P, in particular, we are interested in the case when x^+ forms an antichain or when ^+ is involutive or antitone. We apply ^+ to the set Min U(x,y) of all minimal elements of the upper cone U(x,y) of x,y and to the set Max L(x,y) of all maximal elements of the lower cone L(x,y) of x,y. By using ^+ we define four binary operators on P and investigate their properties that are close to adjointness. We present an example of a uniquely complemented poset that is not Boolean. In the last section we study the orthogonality relation induced by complementation. We characterize when two elements of the Dedekind-MacNeille completion of P are orthogonal to each other. Finally, we extend the orthogonality relation from elements to subsets and we prove that two non-empty subsets of P are orthogonal to each other if and only if their convex hulls are orthogonal to each other within the poset of all non-empty convex subsets of P.
Homological freeness criterion for operadic modules and application to Cohen-Macalayness of posets
We show a variation of the usual homological freeness criterion for operadic modules over a Koszul operad. We then apply this result to decorated partition posets for some operads, showing that their augmentation is Cohen-Macaulay and computing its homology. This work answers several open questions asked by Bérénice Delcroix-Oger and Clément Dupont in a recent article.