poset ↗ reference
2264 papers tagged with this keyword
Birational rowmotion and coxeter-motion on minuscule posets
Published in Electron. J. Combin. 28 (2021), P1.17
• View Publication
• BIB
Birational rowmotion is a discrete dynamical system on the set of all positive real-valued functions on a finite poset, which is a birational lift of combinatorial rowmotion on order ideals. It is known that combinatorial rowmotion for a minuscule poset has order equal to the Coxeter number, and exhibits the file homomesy phenomenon for refined order ideal cardinality statistic. In this paper we generalize these results to the birational setting. Moreover, as a generalization of birational promotion on a product of two chains, we introduce birational Coxeter-motion on minuscule posets, and prove that it enjoys periodicity and file homomesy.
Combinatorics of quasi-hereditary structures
Published in Journal of Combinatorial Theory, Series A. Volume 187, April 2022
• View Publication
• BIB
A quasi-hereditary algebra is an Artin algebra together with a partial order on its set of isomorphism classes of simple modules which satisfies certain conditions. In this article we investigate all the possible choices that yield to quasi-hereditary structures on a given algebra, in particular we introduce and study what we call the poset of quasi-hereditary structures. Our techniques involve certain quiver decompositions and idempotent reductions. For a path algebra of Dynkin type $\mathbb{A}$, we provide a full classification of its quasi-hereditary structures. For types $\mathbb{D}$ and $\mathbb{E}$, we give a counting method for the number of quasi-hereditary structures. In the case of a hereditary incidence algebra, we present a necessary and sufficient condition for its poset of quasi-hereditary structures to be a lattice.
Star factorizations and noncrossing partitions
Published
• View Publication
• BIB
We develop the relationship between minimal transitive star factorizations and noncrossing partitions. This gives a new combinatorial proof of a result by Irving and Rattan, and a specialization of a result of Kreweras. It also arises in a poset on the symmetric group whose definition is motivated by the Subword Property of the Bruhat order.
Dilworth's Theorem for Borel Posets
A famous theorem of Dilworth asserts that any finite poset of width $k$ can be decomposed into $k$ chains. We study the following problem: given a Borel poset $P$ of finite width $k$, is it true that it can be decomposed into $k$ Borel chains? We give a positive answer in a special case of Borel posets embeddable into the real line. We also prove a dual theorem for posets whose comparability graphs are locally countable.
Two enriched poset polytopes
Published in Annals of Combinatorics, 28 (2024), 257--282
• View Publication
• BIB
Stanley introduced and studied two lattice polytopes, the order polytope and chain polytope, associated to a finite poset. Recently Ohsugi and Tsuchiya introduce an enriched version of them, called the enriched order polytope and enriched chain polytope. In this paper, we give a piecewise-linear bijection between these enriched poset polytopes, which is an enriched analogue of Stanley's transfer map and bijectively proves that they have the same Ehrhart polynomials. Also we construct explicitly unimodular triangulations of two enriched poset polytopes.
Atomicity and well quasi-order for consecutive orderings on words and permutations
Published
• View Publication
• BIB
Algorithmic decidability is established for two order-theoretic properties of downward closed subsets defined by finitely many obstructions in two infinite posets. The properties under consideration are: (a) being atomic, i.e. not being decomposable as a union of two downward closed proper subsets, or, equivalently, satisfying the joint embedding property; and (b) being well quasi-ordered. The two posets are: (1) words over a finite alphabet under the consecutive subword ordering; and (2) finite permutations under the consecutive subpermutation ordering. Underpinning the four results are characterisations of atomicity and well quasi-order for the subpath ordering on paths of a finite directed graph.
Möbius Functions of Some Annular Noncrossing Objects
We present the Möbius functions of several posets of annular noncrossing objects, namely a self-dual extension of the annular noncrossing permutations, minimal length annular partitioned permutations, and annular noncrossing partitons.
Largest family without a pair of posets on consecutive levels of the Boolean lattice
Published
• View Publication
• BIB
Suppose $k \ge 2$ is an integer. Let $Y_k$ be the poset with elements $x_1, x_2, y_1, y_2, \ldots, y_{k-1}$ such that $y_1 < y_2 < \cdots < y_{k-1} < x_1, x_2$ and let $Y_k'$ be the same poset but all relations reversed. We say that a family of subsets of $[n]$ contains a copy of $Y_k$ on consecutive levels if it contains $k+1$ subsets $F_1, F_2, G_1, G_2, \ldots, G_{k-1}$ such that $G_1\subset G_2 \subset \cdots \subset G_{k-1} \subset F_1, F_2$ and $|F_1| = |F_2| = |G_{k-1}|+1 =|G_{k-2}|+ 2= \cdots = |G_{1}|+k-1$. If both $Y_k$ and $Y'_k$ on consecutive levels are forbidden, the size of the largest such family is denoted by $\mathrm{La}_{\mathrm{c}}(n, Y_k, Y'_k)$. In this paper, we will determine the exact value of $\mathrm{La}_{\mathrm{c}}(n, Y_k, Y'_k)$.
Random bipartite posets and extremal problems
Previously, Erdős, Kierstead and Trotter investigated the dimension of random height~$2$ partially ordered sets. Their research was motivated primarily by two goals: (1)~analyzing the relative tightness of the Füredi-Kahn upper bounds on dimension in terms of maximum degree; and (2)~developing machinery for estimating the expected dimension of a random labeled poset on $n$ points. For these reasons, most of their effort was focused on the case $0<p\le 1/2$. While bounds were given for the range $1/2\le p <1$, the relative accuracy of the results in the original paper deteriorated as $p$ approaches~$1$.
Motivated by two extremal problems involving conditions that force a poset to contain a large standard example, we were compelled to revisit this subject, but now with primary emphasis on the range $1/2\le p<1$. Our sharpened analysis shows that as $p$ approaches~$1$, the expected value of dimension increases and then decreases, answering in the negative a question posed in the original paper. Along the way, we apply inequalities of Talagrand and Janson, establish connections with latin rectangles and the Euler product function, and make progress on both extremal problems.
Self-dual intervals in the Bruhat order
Published in Selecta Mathematica volume 26, Article number: 77 (2020)
• View Publication
• BIB
Björner-Ekedahl prove that general intervals $[e,w]$ in Bruhat order are "top-heavy", with at least as many elements in the $i$-th corank as the $i$-th rank. Well-known results of Carrell and of Lakshmibai-Sandhya give the equality case: $[e,w]$ is rank-symmetric if and only if the permutation $w$ avoids the patterns $3412$ and $4231$ and these are exactly those $w$ such that the Schubert variety $X_w$ is smooth.
In this paper we study the finer structure of rank-symmetric intervals $[e,w]$, beyond their rank functions. In particular, we show that these intervals are still "top-heavy" if one counts cover relations between different ranks. The equality case in this setting occurs when $[e,w]$ is self-dual as a poset; we characterize these $w$ by pattern avoidance and in several other ways.
Combinatorial statistics on restricted growth functions containing a pattern exactly $k$ times
In this undergraduate thesis, we expand on the study of statistics on restricted growth functions avoiding patterns initiated by Campbell, et. al. Restricted growth functions are of interest because they are in bijection with set partitions. We examine the case when a restricted growth function contains a pattern exactly $k$ times, where $k=0$ corresponds to pattern avoidance. We prove results for several statistic and pattern combinations in the case when $k=1$ and define a new type of Wilf equivalence for these patterns. We also examine a poset related to $M(n)$, the poset of integer partitions into distinct parts, and give a conjecture on the new poset's unimodality. We begin with a brief history of the field and end with a list of conjectures.
The localization spectral sequence in the motivic setting
Published in Algebr. Geom. Topol. 24 (2024) 1431-1466
• View Publication
• BIB
We construct and study a motivic lift of a spectral sequence associated to a stratified scheme, recently discovered by Petersen in the context of mixed Hodge theory and $\ell$-adic Galois representations. The original spectral sequence expresses the compactly supported cohomology of an open stratum in terms of the compactly supported cohomology of the closures of strata and the combinatorics of the poset underlying the stratification. Some of its special cases are classical tools in the study of arrangements of subvarieties and configuration spaces. Our motivic lift lives in the triangulated category of étale motives and takes the shape of a Postnikov system. We describe its connecting morphisms and study some of its functoriality properties.
Induced and non-induced poset saturation problems
Published in Journal of Combinatorial Theory, Series A, 184, 2021, 105497
• View Publication
• BIB
A subfamily $\mathcal{G}\subseteq \mathcal{F}\subseteq 2^{[n]}$ of sets is a non-induced (weak) copy of a poset $P$ in $\mathcal{F}$ if there exists a bijection $i:P\rightarrow \mathcal{G}$ such that $p\le_P q$ implies $i(p)\subseteq i(q)$. In the case where in addition $p\le_P q$ holds if and only if $i(p)\subseteq i(q)$, then $\mathcal{G}$ is an induced (strong) copy of $P$ in $\mathcal{F}$. We consider the minimum number $sat(n,P)$ [resp.\ $sat^*(n,P)$] of sets that a family $\mathcal{F}\subseteq 2^{[n]}$ can have without containing a non-induced [induced] copy of $P$ and being maximal with respect to this property, i.e., the addition of any $G\in 2^{[n]}\setminus \mathcal{F}$ creates a non-induced [induced] copy of $P$.
We prove for any finite poset $P$ that $sat(n,P)\le 2^{|P|-2}$, a bound independent of the size $n$ of the ground set. For induced copies of $P$, there is a dichotomy: for any poset $P$ either $sat^*(n,P)\le K_P$ for some constant depending only on $P$ or $sat^*(n,P)\ge \log_2 n$. We classify several posets according to this dichotomy, and also show better upper and lower bounds on $sat(n,P)$ and $sat^*(n,P)$ for specific classes of posets.
Our main new tool is a special ordering of the sets based on the colexicographic order. It turns out that if $P$ is given, processing the sets in this order and adding the sets greedily into our family whenever this does not ruin non-induced [induced] $P$-freeness, we tend to get a small size non-induced [induced] $P$-saturating family.
Gröbner fans of Hibi ideals, generalized Hibi ideals and flag varieties
Published
• View Publication
• BIB
The main goal of this paper is to give explicit descriptions of two maximal cones in the Gröbner fan of the Plücker ideal. These cones correspond to the monomial ideals given by semistandard and PBW-semistandard Young tableaux. For the first cone, as an intermediate result we obtain the description of a maximal cone in the Gröbner fan of any Hibi ideal. For the second, we generalize the notion of Hibi ideals by associating an ideal with every interpolating polytope. This is a family of polytopes that generalizes the order and chain polytopes of a poset (à la Fang--Fourier--Litza--Pegel). We then describe a maximal cone in the Gröbner fan of each of these ideals. We also establish some useful facts concerning PBW-semistandardness, in particular, we prove that it provides a new Hodge algebra structure on the Plücker algebra.
Saturation for the Butterfly Poset
Published
• View Publication
• BIB
Given a finite poset $\mathcal P$, we call a family $\mathcal F$ of subsets of $[n]$ $\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 saturated 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 are mainly interested in the four-point poset called the butterfly. Ferrara, Kay, Kramer, Martin, Reiniger, Smith and Sullivan showed that the saturation number for the butterfly lies between $\log_2{n}$ and $n^2$. We give a linear lower bound of $n+1$. We also prove some other results about the butterfly and the poset $\mathcal N$.
Non-Eulerian Dehn-Sommerville relations
Published
• View Publication
• BIB
The classical Dehn--Sommerville relations assert that the $h$-vector of an Eulerian simplicial complex is symmetric. We establish three generalizations of the Dehn--Sommerville relations: one for the $h$-vectors of pure simplicial complexes, another one for the flag $h$-vectors of balanced simplicial complexes and graded posets, and yet another one for the toric $h$-vectors of graded posets with restricted singularities. In all of these cases, we express any failure of symmetry in terms of "errors coming from the links." For simplicial complexes, this further extends Klee's semi-Eulerian relations.
Three interacting families of Fuss-Catalan posets
Published in Formal Power Series and Algebraic Combinatorics, Séminaire Lotharingien de Combinatoire, 84B.22, 2020
• Search Publication
Three families of posets depending on a nonnegative integer parameter $m$ are introduced. The underlying sets of these posets are enumerated by the $m$-Fuss Catalan numbers. Among these, one is a generalization of Stanley lattices and another one is a generalization of Tamari lattices. The three families of posets are related: they fit into a chain for the order extension relation and they share some properties. Two associative algebras are constructed as quotients of generalizations of the Malvenuto-Reutenauer algebra. Their products describe intervals of our analogues of Stanley lattices and Tamari lattices. In particular, one is a generalization of the Loday-Ronco algebra.
The pyramidal growth
Can one build an arbitrary polytope from any polytope inside by iteratively stacking pyramids onto facets, without losing the convexity throughout the process? We prove that this is indeed possible for (i) 3-polytopes, (ii) 4-polytopes under a certain infinitesimal quasi-pyramidal relaxation, and (iii) all dimensions asymptotically. The motivation partly comes from our study of K-theory of monoid rings and of certain posets of discrete-convex objects.
Fundamental Theorems of Morse Theory on posets
Published
• View Publication
• BIB
We prove a version of the fundamental theorems of Morse Theory in the setting of finite spaces or partially ordered sets. By using these results we extend Forman's discrete Morse theory to more general cell complexes and derive the Morse-Pitcher inequalities in the context of finite spaces.
The poset of morphism-extension classes of countable graphs
Published
• View Publication
• BIB
Let $\mathrm{XY_{L,T}}$ denote the class of countably infinite $L$-structures that satisfy the axioms $T$ and in which all homomorphisms of type X (these could be homomorphisms, monomorphisms, or isomorphisms) between finite substructures of $M$ are restrictions of an endomorphism of $M$ of type Y (for example, an automorphism or a surjective endomorphism). Lockett and Truss introduced 18 such morphism-extension classes for relational structures. For a given pair $L,T$, however, two or more morphism-extension properties may define the same class of structures.
In this paper, we establish all equalities and inequalities between morphism-extension classes of countable (undirected, loopless) graphs.