poset ↗ reference
2216 papers tagged with this keyword
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.
The poset of copies for automorphism groups of countable relational structures
Let $\mathrm{G}$ be a subgroup of the symmetric group $\mathfrak S(U)$ of all permutations of a countable set $U$. Let $\overline{\mathrm{G}}$ be the topological closure of $\mathrm{G}$ in the function topology on $U^U$. We initiate the study of the poset $\overline{\mathrm{G}}[U]:=\{f[U]\mid f\in \overline{\mathrm{G}}\}$ of images of the functions in $\overline{\mathrm{G}}$, being ordered under inclusion. This set $\overline{\mathrm{G}}[U]$ of subsets of the set $U$ will be called the \emph{poset of copies for} the group $\mathrm{G}$. A denomination being justified by the fact that for every subgroup $\mathrm{G}$ of the symmetric group $\mathfrak S(U)$ there exists a homogeneous relational structure $R$ on $U$ such that $\overline G$ is the set of embeddings of the homogeneous structure $R$ into itself and $\overline{\mathrm{G}}[U]$ is the set of copies of $R$ in $R$ and that the set of bijections $\overline G\cap \mathfrak S(U)$ of $U$ to $U$ forms the group of automorphisms of $\mathrm{R}$.
Rowmotion Orbits of Trapezoid Posets
Published
• View Publication
• BIB
Rowmotion is an invertible operator on the order ideals of a poset which has been extensively studied and is well understood for the rectangle poset. In this paper, we show that rowmotion is equivariant with respect to a bijection of Hamaker, Patrias, Pechenik and Williams between order ideals of rectangle and trapezoid posets, thereby affirming a conjecture of Hopkins that the rectangle and trapezoid posets have the same rowmotion orbit structures. Our main tools in proving this are $K$-jeu-de-taquin and (weak) $K$-Knuth equivalence of increasing tableaux. We define $almost$ $minimal$ $tableaux$ as a family of tableaux naturally arising from order ideals and show for any $λ$, the almost minimal tableaux of shape $λ$ are in different (weak) $K$-Knuth equivalence classes. We also discuss and make some progress on related conjectures of Hopkins on down-degree homomesy.
Cohomology ring of manifold arrangements
We study the cohomology ring of the complement $\mathcal{M}(\mathcal{A})$ of a manifold arrangement $\mathcal{A}$ in a smooth manifold $M$ without boundary. We first give the concept of monoidal cosheaf on a locally geometric poset $\mathfrak{L}$, and then define the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \mathcal{C})$ over a commutative ring with unit, which is built by the classical Orlik--Solomon algebra and a monoidal cosheaf $\mathcal{C}$ as coefficients. Furthermore, we construct a monoidal cosheaf $\hat{\mathcal{C}}(\mathcal{A})$ associated with $\mathcal{A}$, so that the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))$ becomes a double complex with suitable multiplication structure and the associated total complex $Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A})))$ is a differential algebra. Our main result is that $H^*(Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))))$ is isomorphic to $H^*(\mathcal{M}(\mathcal{A}))$ as algebras. Our argument is of topological with the use of a spectral sequence induced by a geometric filtration associated with $\mathcal{A}$. In particular, we also discuss the mixed Hodge complex structure on our model if $M$ and all elements in $\mathcal{A}$ are complex smooth varieties, and show that it induces the canonical mixed Hodge structure of $\mathcal{M}(\mathcal{A})$. As an application, we calculate the cohomology of chromatic configuration spaces, which agrees with many known results in some special cases. In addition, some explicit formulas with respect to Poincaré polynomial and chromatic polynomial are also given.
Generalized metric spaces. Relations with graphs, ordered sets and automata : A survey
In this survey we present a generalization of the notion of metric space and some applications to discrete structures as graphs, ordered sets and transition systems. Results in that direction started in the middle eighties based on the impulse given by Quilliot (1983). Graphs and ordered sets were considered as kind of metric spaces, where - instead of real numbers - the values of the distance functions $d$ belong to an ordered semigroup equipped with an involution. In this frame, maps preserving graphs or posets are exactly the nonexpansive mappings (that is the maps $f$ such that $d(f(x),f(y))\leq d(x,y)$, for all $x,y$). It was observed that many known results on retractions and fixed point property for classical metric spaces (whose morphisms are the nonexpansive mappings) are also valid for these spaces. For example, the characterization of absolute retracts, by Aronszajn and Panitchpakdi (1956), the construction of the injective envelope by Isbell (1965) and the fixed point theorem of Sine and Soardi (1979) translate into the Banaschewski-Bruns theorem (1967), the MacNeille completion of a poset (1933) and the famous Tarski fixed point theorem (1955). This prompted an analysis of several classes of discrete structures from a metric point of view. In this paper, we report the results obtained over the years with a particular emphasis on the fixed point property.
Two poset polytopes are mutation-equivalent
The combinatorial mutation $\mathrm{mut}_w(P,F)$ for a lattice polytope $P$ was introduced in the context of mirror symmetry for Fano manifolds in [1]. It was also proved in [1] that for a lattice polytope $P \subseteq N_\mathbb{R}$ containing the origin in its interior, the polar duals $P^* \subseteq M_\mathbb{R}$ and $\mathrm{mut}_w(P,F)^* \subseteq M_\mathbb{R}$ have the same Ehrhart series. For extending this framework, in this paper, we introduce the combinatorial mutation for the Minkowski sum of rational polytopes and rational polyhedral pointed cones in $N_\mathbb{R}$. We can also introduce the combinatorial mutation in the dual side $M_\mathbb{R}$, which we can apply for every rational polytope in $M_\mathbb{R}$ containing the origin (not necessarily in the interior). As an application of this extension of the combinatorial mutation, we prove that the chain polytope of a poset $Π$ can be obtained by a sequence of the combinatorial mutation in $M_\mathbb{R}$ from the order polytope of $Π$. Namely, the order polytope and the chain polytope of the same poset $Π$ are mutation-equivalent.
Excluding a ladder
Published in Combinatorica, 42:405--432, 2022
• View Publication
• BIB
A ladder is a $2 \times k$ grid graph. When does a graph class $\mathcal{C}$ exclude some ladder as a minor? We show that this is the case if and only if all graphs $G$ in $\mathcal{C}$ admit a proper vertex coloring with a bounded number of colors such that for every $2$-connected subgraph $H$ of $G$, there is a color that appears exactly once in $H$. This type of vertex coloring is a relaxation of the notion of centered coloring, where for every connected subgraph $H$ of $G$, there must be a color that appears exactly once in $H$. The minimum number of colors in a centered coloring of $G$ is the treedepth of $G$, and it is known that classes of graphs with bounded treedepth are exactly those that exclude a fixed path as a subgraph, or equivalently, as a minor. In this sense, the structure of graphs excluding a fixed ladder as a minor resembles the structure of graphs without long paths. Another similarity is as follows: It is an easy observation that every connected graph with two vertex-disjoint paths of length $k$ has a path of length $k+1$. We show that every $3$-connected graph which contains as a minor a union of sufficiently many vertex-disjoint copies of a $2 \times k$ grid has a $2 \times (k+1)$ grid minor.
Our structural results have applications to poset dimension. We show that posets whose cover graphs exclude a fixed ladder as a minor have bounded dimension. This is a new step towards the goal of understanding which graphs are unavoidable as minors in cover graphs of posets with large dimension.
Schubert polynomial analogues for degenerate involutions
Published in Advances in Algebra. SRAC 2017. Springer Proceedings in Mathematics & Statistics, vol 277, 2019, pp 183-199
• View Publication
• BIB
We survey the recent study of involution Schubert polynomials and a modest generalization that we call degenerate involution Schubert polynomials. We cite several conditions when (degenerate) involution Schubert polynomials have simple factorization formulae. Such polynomials can be computed by traversing through chains in certain weak order posets, and we provide explicit descriptions of such chains in weak order for involutions and degenerate involutions. As an application, we give several examples of how certain multiplicity-free sums of Schubert polynomials factor completely into very simple linear factors.
The index and spectrum of Lie poset algebras of type B, C, and D
Published
• View Publication
• BIB
In this paper, we define posets of types B, C, and D. These posets encode the matrix forms of certain Lie algebras which lie between the algebras of upper-triangular and diagonal matrices. Interestingly, such type-B, C, and D Lie poset algebras can be related to Reiner's notion of a parset. Our primary concern is the index and spectral theories of type-B, C, and D Lie poset algebras. For an important restricted class, we develop combinatorial index formulas and, in particular, characterize posets corresponding to Frobenius Lie algebras. In this latter case we show that the spectrum is binary; that is, consists of an equal number of 0's and 1's.
Pattern Hopf algebras
Published
• View Publication
• BIB
This is a study on pattern Hopf algebras in combinatorial structures. We introduce the notion of combinatorial presheaf, by adapting the algebraic framework of species to the study of substructures in combinatorics. Afterwards, we consider functions that count the number of patterns of objects and endow the linear span of these functions with a product and a coproduct. In this way, any well behaved family of combinatorial objects that admits a notion of substructure generates a Hopf algebra, and this association is functorial. For example, the Hopf algebra on permutations studied by Vargas in 2014 and the Hopf algebra on symmetric functions are particular cases of this construction. A specific family of pattern Hopf algebras is of interest, the ones arising from commutative combinatorial presheaves. This includes the presheaves on graphs, posets and generalized permutahedra. Here, we show that all the pattern Hopf algebras corresponding to commutative presheaves are free. We also study a non-commutative presheaf on marked permutations, i.e. permutations with a marked element. These objects have an inherent product called inflation, which is an operation motivated by factorization theorems of permutations. In this paper we find new factorization theorems on marked permutations, and use them to show that this is another example of a pattern Hopf algebra that is free.