poset ↗ reference
2287 papers tagged with this keyword
Special idempotents and projections
Published in Semigroup Froum (2021)
• View Publication
• BIB
We define, for any special matching of a finite graded poset, an idempotent, regressive and order preserving function. We consider the monoid generated by such functions. The idempotents of this monoid are called special idempotents. They are interval retracts. Some of them realize a kind of parabolic map and are called special projections. We prove that, in Eulerian posets, the image of a special projection, and its complement, are graded induced subposets. In a finite Coxeter group, all projections on right and left parabolic quotients are special projections, and some projections on double quotients too. We extend our results to special partial matchings.
Characterization and a 2D Visualization of B$_0$-VPG Cocomparability Graphs
Published
• View Publication
• BIB
B$_0$-VPG graphs are intersection graphs of vertical and horizontal line segments on a plane. Cohen, Golumbic, Trotter, and Wang [Order, 2016] pose the question of characterizing B$_0$-VPG permutation graphs. We respond here by characterizing B$_0$-VPG cocomparability graphs. This characterization also leads to a polynomial time recognition and B$_0$-VPG drawing algorithm for the class. Our B$_0$-VPG drawing algorithm starts by fixing any one of the many posets $P$ whose cocomparability graph is the input graph $G$. The drawing we obtain not only visualizes $G$ in that one can distinguish comparable pairs from incomparable ones, but one can also identify which among a comparable pair is larger in $P$ from this visualization.
The Universal Valuation of Coxeter Matroids
Published
• View Publication
• BIB
Coxeter matroids generalize matroids just as flag varieties of Lie groups generalize Grassmannians. Valuations of Coxeter matroids are functions that behave well with respect to subdivisions of a Coxeter matroid into smaller ones. We compute the universal valuative invariant of Coxeter matroids. A key ingredient is the family of Coxeter Schubert matroids, which correspond to the Bruhat cells of flag varieties. In the process, we compute the universal valuation of generalized Coxeter permutohedra, a larger family of polyhedra that model Coxeter analogues of combinatorial objects such as matroids, clusters, and posets.
Reconstructing Rooted Trees From Their Strict Order Quasisymmetric Functions
Determining whether two graphs are isomorphic is an important and difficult problem in graph theory. One way to make progress towards this problem is by finding and studying graph invariants that distinguish large classes of graphs. Stanley conjectured that his chromatic symmetric function distinguishes all trees, which has remained unresolved. Recently, Hasebe and Tsujie introduced an analogue of Stanley's function for posets, called the strict order quasisymmetric function, and proved that it distinguishes all rooted trees. In this paper, we devise a procedure to explicitly reconstruct a rooted tree from its strict order quasisymmetric function by sampling a finite number of terms. The procedure not only provides a combinatorial proof of the result of Hasebe and Tsujie, but also tracks down the representative terms of each rooted tree that distinguish it from other rooted trees.
Homological algebra of modules over posets
Published
• View Publication
• BIB
Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue is how to define finiteness to replace the noetherian hypothesis which fails. The tameness condition introduced for this purpose captures finiteness for variation in families of vector spaces indexed by posets in a way that is characterized equivalently by distinct topological, algebraic, combinatorial, and homological manifestations. Tameness serves both theoretical and computational purposes: it guarantees finite presentations and resolutions of various sorts, all related by a syzygy theorem, amenable to algorithmic manipulation. Tameness and its homological theory are new even in the finitely generated discrete setting of $\mathbb{N}^n$-gradings, where tame is materially weaker than noetherian. In the context of persistent homology of filtered topological spaces, especially with multiple real parameters, the algebraic theory of tameness yields topologically interpretable data structures in terms of birth and death of homology classes.
The inverse Kazhdan-Lusztig polynomial of a matroid
Published in Journal of Combinatorial Theory, Series B, Volume 151, November 2021, Pages 375-392
• View Publication
• BIB
In analogy with the classical Kazhdan-Lusztig polynomials for Coxeter groups, Elias, Proudfoot and Wakefield introduced the concept of Kazhdan-Lusztig polynomials for matroids. It is known that both the classical Kazhdan-Lusztig polynomials and the matroid Kazhdan-Lusztig polynomials can be considered as special cases of the Kazhdan-Lusztig-Stanley polynomials for locally finite posets. In the framework of Kazhdan-Lusztig-Stanley polynomials, we study the inverse of Kazhdan-Lusztig-Stanley functions and define the inverse Kazhdan-Lusztig polynomials for matroids. We also compute these polynomials for boolean matroids and uniform matroids. As an unexpected application of the inverse Kazhdan-Lusztig polynomials, we obtain a new formula to compute the Kazhdan-Lusztig polynomials for uniform matroids. Similar to the Kazhdan-Lusztig polynomial of a matroid, we conjecture that the coefficients of its inverse Kazhdan-Lusztig polynomial are nonnegative and log-concave.
Wilf Equivalences for Patterns in Rooted Labeled Forests
Published
• View Publication
• BIB
Building off recent work of Garg and Peng, we continue the investigation into classical and consecutive pattern avoidance in rooted forests, resolving some of their conjectures and questions and proving generalizations whenever possible. Through extensions of the forest Simion-Schmidt bijection introduced by Anders and Archer, we demonstrate a new family of forest-Wilf equivalences, completing the classification of forest-Wilf equivalence classes for sets consisting of a pattern of length 3 and a pattern of length at most $5$. We also find a new family of nontrivial c-forest-Wilf equivalences between single patterns using the forest analogue of the Goulden-Jackson cluster method, showing that a $(1-o(1))^n$-fraction of patterns of length $n$ satisfy a nontrivial c-forest-Wilf equivalence and that there are c-forest-Wilf equivalence classes of patterns of length $n$ of exponential size. Additionally, we consider a forest analogue of super-strong-c-Wilf equivalence, introduced for permutations by Dwyer and Elizalde, showing that super-strong-c-forest-Wilf equivalences are trivial by enumerating linear extensions of forest cluster posets.
A colorful Hochster formula and universal parameters for face rings
Published
• View Publication
• BIB
This paper has two related parts. The first generalizes Hochster's formula on resolutions of Stanley-Reisner rings to a colorful version, applicable to any proper vertex-coloring of a simplicial complex. The second part examines a universal system of parameters for Stanley-Reisner rings of simplicial complexes, and more generally, face rings of simplicial posets. These parameters have good properties, including being fixed under symmetries, and detecting depth of the face ring. Moreover, when resolving the face ring over these parameters, the shape is predicted, conjecturally, by the colorful Hochster formula.
Morse-Bott Theory on posets and an homological Lusternik-Schnirelmann Theorem
Published
• View Publication
• BIB
We develop Morse-Bott theory on posets, generalizing both discrete Morse-Bott theory for regular complexes and Morse theory on posets. Moreover, we prove a Lusternik-Schnirelmann theorem for general matchings on posets, in particular, for Morse-Bott functions.
Supersaturation, counting, and randomness in forbidden subposet problems
Published
• View Publication
• BIB
In the area of forbidden subposet problems we look for the largest possible size $La(n,P)$ of a family $\mathcal{F}\subseteq 2^{[n]}$ that does not contain a forbidden inclusion pattern described by $P$. The main conjecture of the area states that for any finite poset $P$ there exists an integer $e(P)$ such that $La(n,P)=(e(P)+o(1))\binom{n}{\lfloor n/2\rfloor}$.
In this paper, we formulate three strengthenings of this conjecture and prove them for some specific classes of posets. (The parameters $x(P)$ and $d(P)$ are defined in the paper.)
$\bullet$ For any finite connected poset $P$ and $\varepsilon>0$, there exists $δ>0$ and an integer $x(P)$ such that for any $n$ large enough, and $\mathcal{F}\subseteq 2^{[n]}$ of size $(e(P)+\varepsilon)\binom{n}{\lfloor n/2\rfloor}$, $\mathcal{F}$ contains at least $δn^{x(P)}\binom{n}{\lfloor n/2\rfloor}$ copies of $P$.
$\bullet$ The number of $P$-free families in $2^{[n]}$ is $2^{(e(P)+o(1))\binom{n}{\lfloor n/2\rfloor}}$.
$\bullet$ For any finite poset $P$, there exists a positive rational $d(P)$ such that if $p=ω(n^{-d(P)})$, then the size of the largest $P$-free family in $\mathcal{P}(n,p)$ is $(e(P)+o(1))p\binom{n}{\lfloor n/2\rfloor}$ with high probability.
The type $B$ permutohedron and the poset of intervals as a Tchebyshev transform
Published
• View Publication
• BIB
We show that the order complex of intervals of a poset, ordered by inclusion, is a Tchebyshev triangulation of the order complex of the original poset. Besides studying the properties of this transformation, we show that the dual of the type $B$ permutohedron is combinatorially equivalent to the suspension of the order complex of the poset of intervals of a Boolean algebra (with the minimum and maximum elements removed).
Interval posets for permutations
Published
• View Publication
• BIB
The interval poset of a permutation catalogues the intervals that appear in its one-line notation, according to set inclusion. We study this poset, describing its structural, characterizing, and enumerative properties.
Order-sensitive domination in partially ordered sets
Published in Order, Vol:40, 2023, 157-172
• View Publication
• BIB
For a (finite) partially ordered set (poset) $P$, we call a dominating set $D$ in the comparability graph of $P$, an order-sensitive dominating set in $P$ if either $x\in D$ or else $a<x<b$ in $P$ for some $a,b\in D$ for every element $x$ in $P$ which is neither maximal nor minimal, and denote by $γ_{os}(P)$, the least size of an order-sensitive dominating set of $P$. For every graph $G$ and integer $k\geq 2$, we associate a graded poset $\mathscr{P}_k(G)$ of height $k$, and prove that $γ_{os}(\mathscr{P}_3(G))=γ_{\text{R}}(G)$ and $γ_{os}(\mathscr{P}_4(G))=2γ(G)$ hold, where $γ(G)$ and $γ_{\text{R}}(G)$ are the domination and Roman domination number of $G$, respectively. Apart from these, we introduce the notion of a Helly poset, and prove that when $P$ is a Helly poset, the computation of order-sensitive domination number of $P$ can be interpreted as a weighted clique partition number of a graph, the middle graph of $P$. Moreover, we show that the order-sensitive domination number of a poset $P$ exactly corresponds to the biclique vertex-partition number of the associated bipartite transformation of $P$. Finally, we prove that the decision problem of order-sensitive domination on posets of arbitrary height is NP-complete, which is obtained by using a reduction from EQUAL-$3$-SAT problem.
Three Fuss-Catalan posets in interaction and their associative algebras
Published in Combinatorial Theory, 2, Issue 1, 2022
• View Publication
• BIB
We introduce $δ$-cliffs, a generalization of permutations and increasing trees depending on a range map $δ$. We define a first lattice structure on these objects and we establish general results about its subposets. Among them, we describe sufficient conditions to have EL-shellable posets, lattices with algorithms to compute the meet and the join of two elements, and lattices constructible by interval doubling. Some of these subposets admit natural geometric realizations. Then, we introduce three families of subposets which, for some maps $δ$, have underlying sets enumerated by the Fuss-Catalan numbers. Among these, one is a generalization of Stanley lattices and another one is a generalization of Tamari lattices. These three families of posets fit into a chain for the order extension relation and they share some properties. Finally, in the same way as the product of the Malvenuto-Reutenauer algebra forms intervals of the right weak Bruhat order of permutations, we construct algebras whose products form intervals of the lattices of $δ$-cliff. We provide necessary and sufficient conditions on $δ$ to have associative, finitely presented, or free algebras. We end this work by using the previous Fuss-Catalan posets to define quotients of our algebras of $δ$-cliffs. In particular, one is a generalization of the Loday-Ronco algebra.
Systems of parameters and the Cohen--Macaulay property
Published
• View Publication
• BIB
We recall a numerical criteria for Cohen--Macaulayness related to system of parameters, and introduce monomial ideals of König type which include the edge ideals of König graphs. We show that a monomial ideal is of König type if and only if its corresponding residue class ring admits a system of parameters whose elements are of the form $x_i-x_j$. This provides an algebraic characterization of König graphs. We use this special parameter systems for the study of the edge ideal of König graphs and the study of the order complex of a certain family of posets. Finally, for any simplicial complex $Δ$ we introduce a system of parameters for $K[Δ]$ with a universal construction principle, independent of the base field and only dependent on the faces of $Δ$. This system of parameters is an efficient tool to test Cohen--Macaulayness of the Stanley--Reisner ring of a simplicial complex.
Non-Gorenstein loci of Ehrhart rings of chain and order polytopes
Published
• View Publication
• BIB
Let $P$ be a finite poset, $K$ a field, and $O(P)$ (resp. $C(P)$) the order (resp. chain) polytope of $P$. We study the non-Gorenstein locus of $E_K[O(P)]$ (resp. $E_K[C(P)]$), the Ehrhart ring of $O(P)$ (resp. $C(P)$) over $K$, which are each normal toric rings associated $P$. In particular, we show that the dimension of non-Gorenstein loci of $E_K[O(P)]$ and $E_K[C(P)]$ are the same. Further, we show that $E_K[C(P)]$ is nearly Gorenstein if and only if $P$ is the disjoint union of pure posets $P_1, \ldots, P_s$ with $|\mathrm{rank} P_i-\mathrm{rank} P_j|\leq 1$ for any $i$ and $j$.
On Cohen-Macaulay Hopf monoids in species
We study Cohen-Macaulay Hopf monoids in the category of species. The goal is to apply techniques from topological combinatorics to the study of polynomial invariants arising from combinatorial Hopf algebras. Given a polynomial invariant arising from a linearized Hopf monoid, we show that under certain conditions it is the Hilbert polynomial of a relative simplicial complex. If the Hopf monoid is Cohen-Macaulay, we give necessary and sufficient conditions for the corresponding relative simplicial complex to be relatively Cohen-Macaulay, which implies that the polynomial has a nonnegative $h$-vector. We apply our results to the weak and strong chromatic polynomials of acyclic mixed graphs, and the order polynomial of a double poset.
The crosscut poset and the fixed point property
We introduce two novel ideas related to the crosscut poset and give many examples of application of these ideas to the fixed point property.
Schroder combinatorics and $ν$-associahedra
Published
• View Publication
• BIB
We study $ν$-Schröder paths, which are Schröder paths which stay weakly above a given lattice path $ν$. Some classical bijective and enumerative results are extended to the $ν$-setting, including the relationship between small and large Schröder paths. We introduce two posets of $ν$-Schröder objects, namely $ν$-Schröder paths and trees, and show that they are isomorphic to the face poset of the $ν$-associahedron $A_ν$ introduced by Ceballos, Padrol and Sarmiento. A consequence of our results is that the $i$-dimensional faces of $A_ν$ are indexed by $ν$-Schröder paths with $i$ diagonal steps, and we obtain a closed-form expression for these Schröder numbers in the special case when $ν$ is a `rational' lattice path. Using our new description of the face poset of $A_ν$, we apply discrete Morse theory to show that $A_ν$ is contractible. This yields one of two proofs presented for the fact that the Euler characteristic of $A_ν$ is one. A second proof of this is obtained via a formula for the $ν$-Narayana polynomial in terms of $ν$-Schröder numbers.
Positivity among P-partition generating functions
Published in Annals of Combinatorics, 26, 171-204, 2022
• View Publication
• BIB
We seek simple conditions on a pair of labeled posets that determine when the difference of their $(P,ω)$-partition enumerators is $F$-positive, i.e., positive in Gessel's fundamental basis. This is a quasisymmetric analogue of the extensively studied problem of finding conditions on a pair of skew shapes that determine when the difference of their skew Schur functions is Schur-positive. We determine necessary conditions and separate sufficient conditions for $F$-positivity, and show that a broad operation for combining posets preserves positivity properties. We conclude with classes of posets for which we have conditions that are both necessary and sufficient.