poset ↗ reference
2264 papers tagged with this keyword
Marginal Independence and Partial Set Partitions
Published
• View Publication
• BIB
We establish a bijection between marginal independence models on $n$ random variables and split closed order ideals in the poset of partial set partitions. We also establish that every discrete marginal independence model is toric in cdf coordinates. This generalizes results of Boege, Petrovic, and Sturmfels and Drton and Richardson, and provides a unified framework for discussing marginal independence models. Additionally, we provide an axiomatic characterization of marginal independence and we show that our set of axioms are sound and complete in the set of probability distributions. This follows the work of Geiger, Paz and Pearl who provided an analogous characterization of independence for statements involving 2 sets of random variables.
Poset polytopes and pipe dreams: types C and B
Published
• View Publication
• BIB
The first part of this paper concerns type C. We present new explicitly defined families of algebro-combinatorial structures of three kinds: combinatorial bases in representations, Newton--Okounkov bodies of flag varieties and toric degenerations of flag varieties. All three families are parametrized by the same family of polytopes: the marked chain-order polytopes of Fang and Fourier which interpolate between the type C Gelfand--Tsetlin and FFLV polytopes. Thus, in each case the obtained structures interpolate between the well-known bases, Newton--Okounkov bodies or degenerations associated with the latter two polytopes. We then obtain similar results for type B after introducing a new family of poset polytopes to be considered in place of marked chain-order polytopes. In both types our constructions and proofs rely crucially on a combinatorial connection between poset polytopes and pipe dreams.
Notes on a short-cut to the proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem
This paper presents two shortcuts to a classical proof of the $\mathbf{M}_3$-$\mathbf{N}_5$ Theorem, which can be found in B. Davey and H. Priestley [2] and S. Burris and H. Sankappanavar [1]. To be precise, the shortcuts pertain a particular step of the proof that requires showing an algebraic equality. In addition, we briefly discuss how to compare the lengths of the three proofs (the original and our two proposed shortcuts). To do so, we introduce two methods to compare the lengths of proofs based on algebraic lattice expressions. We call them the proof count method and the proof poset method. Both methods indicate that our proofs are shorter but the difference is more pronounced in the former.
Keywords: lattices, posets
Operahedron Lattices
Laplante-Anfossi associated to each rooted plane tree a polytope called an operahedron. He also defined a partial order on the vertex set of an operahedron and asked if the resulting poset is a lattice. We answer this question in the affirmative, motivating us to name Laplante-Anfossi's posets operahedron lattices. The operahedron lattice of a chain with $n+1$ vertices is isomorphic to the $n$-th Tamari lattice, while the operahedron lattice of a claw with $n+1$ vertices is isomorphic to $\mathrm{Weak}(\mathfrak S_n)$, the weak order on the symmetric group $\mathfrak S_n$. We characterize semidistributive operahedron lattices and trim operahedron lattices. Let $Δ_{\mathrm{Weak}(\mathfrak S_n)}(w_\circ(k,n))$ be the principal order ideal of $\mathrm{Weak}(\mathfrak S_n)$ generated by the permutation ${w_\circ(k,n)=k(k-1)\cdots 1(k+1)(k+2)\cdots n}$. Our final result states that the operahedron lattice of a broom with $n+1$ vertices and $k$ leaves is isomorphic to the subposet of $\mathrm{Weak}(\mathfrak S_n)$ consisting of the preimages of $Δ_{\mathrm{Weak}(\mathfrak S_n)}(w_\circ(k,n))$ under West's stack-sorting map; as a consequence, we deduce that this subposet is a semidistributive lattice.
Flipclasses and Combinatorial Invariance for Kazhdan--Lusztig polynomials
Published
• View Publication
• BIB
In this work, we investigate a novel approach to the Combinatorial Invariance Conjecture of Kazhdan--Lusztig polynomials for the symmetric group. Using the new concept of flipclasses, we introduce some combinatorial invariants of intervals in the symmetric group whose analysis leads us to a recipe to compute the coefficients of $q^h$ of the Kazhdan--Lusztig $\widetilde{R}$-polynomials, for $h\leq 6$. This recipe depends only on the isomorphism class (as a poset) of the interval indexing the polynomial and thus provides new evidence for the Combinatorial Invariance Conjecture.
Diagonal poset Ramsey numbers
Published
• View Publication
• BIB
A poset $(Q,\le_Q)$ contains an induced copy of a poset $(P,\le_P)$ if there exists an injective mapping $φ\colon P\to Q$ such that for any two elements $X,Y\in P$, $X\le_P Y$ if and only if $φ(X)\le_Q φ(Y)$. By $Q_n$ we denote the Boolean lattice $(2^{[n]},\subseteq)$. The poset Ramsey number $R(P,Q)$ for posets $P$ and $Q$ is the least integer $N$ for which any coloring of the elements of $Q_N$ in blue and red contains either a blue induced copy of $P$ or a red induced copy of $Q$. In this paper, we show that $R(Q_m,Q_n)\le nm-\big(1-o(1)\big)n\log m$ where $n\ge m$ and $m$ is sufficiently large. This improves the best known upper bound on $R(Q_n,Q_n)$ from $n^2-n+2$ to $n^2-\big(1-o(1)\big) n\log n$. Furthermore, we determine $R(P,P)$ where $P$ is an $n$-fork or $n$-diamond up to an additive constant of $2$.
A poset $(Q,\le_Q)$ contains a weak copy of $(P,\le_P)$ if there is an injection $ψ\colon P\to Q$ such that $ψ(X)\le_Q ψ(Y)$ for any $X,Y\in P$ with $X\le_P Y$. The weak poset Ramsey number $R^{\text{w}}(P,Q)$ is the smallest $N$ for which any blue/red-coloring of $Q_N$ contains a blue weak copy of $P$ or a red weak copy of $Q$. We show that $R^{\text{w}}(Q_n,Q_n)\le 0.96n^2$.
On a q-analogue of the Zeta polynomial of posets
We introduce a q-analogue of the classical Zeta polynomial of finite partially ordered sets, as a polynomial in one variable x with coefficients depending on the indeterminate q. We prove some properties of this polynomial invariant, including its behaviour with respect to duality, product and disjoint union. The leading term is a q-analogue of the number of maximal chains, but not always with non-negative coefficients. The value at q=0 turns out to be essentially the characteristic polynomial.
The common basis complex and the partial decomposition poset
Published in International Mathematics Research Notices, Volume 2024, Issue 18, September 2024, Pages 12746-12760
• View Publication
• BIB
For a finite-dimensional vector space $V$, the common basis complex of $V$ is the simplicial complex whose vertices are the proper non-zero subspaces of $V$, and $σ$ is a simplex if and only if there exists a basis $B$ of $V$ that contains a basis of $S$ for all $S\in σ$. This complex was introduced by Rognes in 1992 in connection with stable buildings. In this article, we prove that the common basis complex is homotopy equivalent to the proper part of the poset of partial direct sum decompositions of $V$. Moreover, we establish this result in a more general combinatorial context, including the case of free groups, matroids, vector spaces with non-degenerate sesquilinear forms, and free modules over commutative Hermite rings, such as local rings or Dedekind domains.
Operadic Kazhdan-Lusztig-Stanley theory
Published
• View Publication
• BIB
We introduce a new type of operad-like structure called a P-operad, which depends on the choice of some collection of posets P, and which is governed by chains in posets of P. We introduce several examples of such structures which are related to classical poset theoretic notions such as poset homology, Cohen--Macaulayness and lexicographic shellability. We then show that P-operads form a satisfactory framework to categorify Kazhdan--Lusztig polynomials of geometric lattices and their kernel. In particular, this leads to a new proof of the positivity of the coefficients of Kazhdan--Lusztig polynomials of geometric lattices.
A characterization of permutability of 2-uniform tolerances on posets
Published
• View Publication
• BIB
Tolerance relations were investigated by several authors in various algebraic structures, see e.g. the monograph by I. Chajda. Recently G. Czédli studied so-called 2-uniform tolerances on lattices, i.e. tolerances that are compatible with the lattice operations and whose blocks are of cardinality 2. He showed that two such tolerances on a lattice containing no infinite chain permute if and only if they are amicable (a concept introduced in his paper). We extend this study to tolerances on posets. Since in posets we have no lattice operations, we must modify the notion of amicability. We modified it in such a way that in case of lattices it coincides with the original definition. With this new definition we can prove that two tolerances on a poset containing no infinite chain permute if and only if they are amicable in the new sense.
Induced saturation for complete bipartite posets
Published
• View Publication
• BIB
Given $s,t\in\mathbb{N}$, a complete bipartite poset $\mathcal{K}_{s,t}$ is a poset whose Hasse diagram consists of $s$ pairwise incomparable vertices in the upper layer and $t$ pairwise incomparable vertices in the lower layer, such that every vertex in the upper layer is larger than all vertices in the lower layer. A family $\mathcal{F}\subseteq2^{[n]}$ is called induced $\mathcal{K}_{s,t}$-saturated if $(\mathcal{F},\subseteq)$ contains no induced copy of $\mathcal{K}_{s,t}$, whereas adding any set from $2^{[n]}\backslash\mathcal{F}$ to $\mathcal{F}$ creates an induced $\mathcal{K}_{s,t}$. Let $\mathrm{sat}^{*}(n,\mathcal{K}_{s,t})$ denote the smallest size of an induced $\mathcal{K}_{s,t}$-saturated family $\mathcal{F}\subseteq2^{[n]}$. It was conjectured that $\mathrm{sat}^{*}(n,\mathcal{K}_{s,t})$ is superlinear in $n$ for certain values of $s$ and $t$. In this paper, we show that $\mathrm{sat}^{*}(n,\mathcal{K}_{s,t})=O(n)$ for all fixed $s,t\in\mathbb{N}$. Moreover, we prove a linear lower bound on $\mathrm{sat}^{*}(n,\mathcal{P})$ for a large class of posets $\mathcal{P}$, particularly for $\mathcal{K}_{s,2}$ with $s\in\mathbb{N}$.
Branching rules of minuscule representations via a new partial order
Published
• View Publication
• BIB
We introduce a new partial order on the set of all antichains of a fixed size in any poset. When applied to minuscule posets, these partial orders give rise to distributive lattices that appear in the branching rules for minuscule representations of complex simple Lie algebras.
Networks bijective to permutations
We study the set of networks, which consist of sources, sinks and neutral points, bijective to the permutations. The set of directed edges, which characterizes a network, is constructed from a polyomino or a Rothe diagram of a permutation through a Dyck tiling on a ribbon. We introduce a new combinatorial object similar to a tree-like tableau, which we call a forest. A forest is shown to give a permutation, and be bijective to a network corresponding to the inverse of the permutation. We show that the poset of networks is a finite graded lattice and admits an $EL$-labeling. By use of this $EL$-labeling, we show the lattice is supersolvable and compute the Möbius function of an interval of the poset.
Shellable slices of hyperbolic polynomials and the degree principle
We study a natural stratification of certain affine slices of univariate hyperbolic polynomials. We look into which posets of strata can be realized and show that the dual of the poset of strata is a shellable simplicial complex and in particular a combinatorial sphere. From this we obtain a g-theorem and an upper bound theorem on the number of strata. We use these results to design smaller test sets to improve upon Timofte's degree principle and give bounds on how much the degree principle can be improved.
Heights of posets associated with Green's relations on semigroups
Published
• View Publication
• BIB
Given a semigroup $S$, for each Green's relation $\mathcal{K}\in\{\mathcal{L},\mathcal{R},\mathcal{J},\mathcal{H}\}$ on $S,$ the $\mathcal{K}$-height of $S,$ denoted by $H_{\mathcal{K}}(S),$ is the height of the poset of $\mathcal{K}$-classes of $S.$ More precisely, if there is a finite bound on the sizes of chains of $\mathcal{K}$-classes of $S,$ then $H_{\mathcal{K}}(S)$ is defined as the maximum size of such a chain; otherwise, we say that $S$ has infinite $\mathcal{K}$-height. We discuss the relationships between these four $\mathcal{K}$-heights. The main results concern the class of stable semigroups, which includes all finite semigroups. In particular, we prove that a stable semigroup has finite $\mathcal{L}$-height if and only if it has finite $\mathcal{R}$-height if and only if it has finite $\mathcal{J}$-height. In fact, for a stable semigroup $S,$ if $H_{\mathcal{L}}(S)=n$ then $H_{\mathcal{R}}(S)\leq2^n-1$ and $H_{\mathcal{J}}(S)\leq2^n-1,$ and we exhibit a family of examples to prove that these bounds are sharp. Furthermore, we prove that if $2\leq H_{\mathcal{L}}(S)<\infty$ and $2\leq H_{\mathcal{R}}(S)<\infty,$ then $H_{\mathcal{J}}(S)\leq H_{\mathcal{L}}(S)+H_{\mathcal{R}}(S)-2.$ We also show that for each $n\in\mathbb{N}$ there exists a semigroup $S$ such that $H_{\mathcal{L}}(S)=H_{\mathcal{R}}(S)=2^n+n-3$ and $H_{\mathcal{J}}(S)=2^{n+1}-4.$ By way of contrast, we prove that for a regular semigroup the $\mathcal{L}$-, $\mathcal{R}$- and $\mathcal{H}$-heights coincide with each other, and are greater or equal to the $\mathcal{J}$-height. Moreover, in a stable, regular semigroup the $\mathcal{L}$-, $\mathcal{R}$-, $\mathcal{H}$- and $\mathcal{J}$-heights are all equal.
Hyperoctahedral group characters and a type-BC analog of graph coloring
Published
• View Publication
• BIB
We state combinatorial formulas for hyperoctahedral group ($\mathfrak B_n$) character evaluations of the form $χ( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1))$, where ${{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1) \in \Bbb Z[\mathfrak B_n]$ is a type-BC Kazhdan-Lusztig basis element, with $w \in \mathfrak B_n$ corresponding to simultaneously smooth type-B and C Schubert varieties. We also extend the definition of symmetric group codominance to elements of $\mathfrak B_n$ and show that for each element $w \in \mathfrak B_n$ above, there exists a BC-codominant element $v \in \mathfrak B_n$ satisfying $χ( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1)) = χ( {{\widetilde C}_v}^{\negthickspace\negthickspace BC}\negthickspace(1))$ for all $\mathfrak B_n$-characters $χ$. Combinatorial structures and maps appearing in these formulas are type-BC extensions of planar networks, unit interval orders, indifference graphs, poset tableaux, and colorings. Using the ring of type-BC symmetric functions, we introduce natural generating functions $Y( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1))$ for the above evaluations. These provide a new type-BC analog of Stanley's chromatic symmetric functions [Adv. Math. 111 (1995) pp. 166-194].
Cluster parking functions
Published in Bull. Belg. Math. Soc. Simon Stevin 32(1): 1-44 (April 2025)
• View Publication
• BIB
The cluster complex on one hand, parking functions on the other hand, are two combinatorial (po)sets that can be associated to a finite real reflection group. Cluster parking functions are obtained by taking an appropriate fiber product (over noncrossing partitions). There is a natural structure of simplicial complex on these objects, and our main goal is to show that it has the homotopy type of a (pure) wedge of spheres. The unique nonzero homology group (as a representation of the underlying reflection group) is a sign-twisted parking representation, which is the same as Gordon's quotient of diagonal coinvariants. Along the way, we prove some properties of the poset of parking functions. We also provide a long list of remaining open problems.
Combinatorics of rectangulations: Old and new bijections
Published
• View Publication
• BIB
A rectangulation is a decomposition of a rectangle into finitely many rectangles. Via natural equivalence relations, rectangulations can be seen as combinatorial objects with a rich structure, with links to lattice congruences, flip graphs, polytopes, lattice paths, Hopf algebras, etc. In this paper, we first revisit the structure of the respective equivalence classes: weak rectangulations that preserve rectangle-segment adjacencies, and strong rectangulations that preserve rectangle-rectangle adjacencies. We thoroughly investigate posets defined by adjacency in rectangulations of both kinds, and unify and simplify known bijections between rectangulations and permutation classes. This yields a uniform treatment of mappings between permutations and rectangulations that unifies the results from earlier contributions, and emphasizes parallelism and differences between the weak and the strong cases. Then, we consider the special case of guillotine rectangulations, and prove that they can be characterized - under all known mappings between permutations and rectangulations - by avoidance of two mesh patterns that correspond to "windmills" in rectangulations. This yields new permutation classes in bijection with weak guillotine rectangulations, and the first known permutation class in bijection with strong guillotine rectangulations. Finally, we address enumerative issues and prove asymptotic bounds for several families of strong rectangulations.
Soft-linkedness
We have revised the softness property introduced by Jörg Brendle and Haim Judah (perfect sets of random reals. Israel J. Math., 83(1-2):153-176, 1993), to present a new definition of a class of posets called $σ$-soft-linked. Our work demonstrates that these posets work well to preserve the evasion number as well as the bounding number small in generic extensions. Furthermore, we establish a connection between our concept and the Fréchet-linked notion introduced by Diego A. Mejía (Matrix iterations with vertical support restrictions. In Proceedings of the 14th1 and 15th Asian Logic Conferences, pages 213-248. World Sci. Publ., Hackensack, NJ, 2019).
A canonical realization of the alt $ν$-associahedron
Given a lattice path $ν$, the alt $ν$-Tamari lattice is a partial order recently introduced by Ceballos and Chenevière, which generalizes the $ν$-Tamari lattice and the $ν$-Dyck lattice. All these posets are defined on the set of lattice paths that lie weakly above $ν$, and posses a rich combinatorial structure. In this paper, we study the geometric structure of these posets. We show that their Hasse diagram is the edge graph of a polytopal complex induced by a tropical hyperplane arrangement, which we call the alt $ν$-associahedron. This generalizes the realization of $ν$-associahedra by Ceballos, Padrol and Sarmiento. Our approach leads to an elegant construction, in terms of areas below lattice paths, which we call the canonical realization. Surprisingly, in the case of the classical associahedron, our canonical realization magically recovers Loday's ubiquitous realization, via a simple affine transformation.