poset ↗ reference
2216 papers tagged with this keyword
Enumerating numerical sets associated to a numerical semigroup
Published
• View Publication
• BIB
A numerical set $T$ is a subset of $\mathbb N_0$ that contains $0$ and has finite complement. The atom monoid of $T$ is the set of $x \in \mathbb N_0$ such that $x+T \subseteq T$. Marzuola and Miller introduced the anti-atom problem: how many numerical sets have a given atom monoid? This is equivalent to asking for the number of integer partitions with a given set of hook lengths. We introduce the void poset of a numerical semigroup $S$ and show that numerical sets with atom monoid $S$ are in bijection with certain order ideals of this poset. We use this characterization to answer the anti-atom problem when $S$ has small type.
Modular flats of oriented matroids and poset quasi-fibrations
Published in Trans. Amer. Math. Soc. Ser. B 11 (2024), 306-328
• View Publication
• BIB
We study the combinatorics of modular flats of oriented matroids and the topological consequences for their Salvetti complexes. We show that the natural map to the localized Salvetti complex at a modular flat of corank one is what we call a poset quasi-fibration -- a notion derived from Quillen's fundamental Theorem B from algebraic $K$-theory. As a direct consequence, the Salvetti complex of an oriented matroid whose geometric lattice is supersolvable is a $K(π,1)$-space -- a generalization of the classical result for supersolvable hyperplane arrangements due to Falk, Randell and Terao. Furthermore, the fundamental group of the Salvetti complex of a supersolvable oriented matroid is an iterated semidirect product of finitely generated free groups -- analogous to the realizable case.
Our main tools are discrete Morse theory, the shellability of certain subcomplexes of the covector complex of an oriented matroid, a nice combinatorial decomposition of poset fibers of the localization map, and an isomorphism of covector posets associated to modular elements.
We provide a simple construction of supersolvable oriented matroids. This gives many non-realizable supersolvable oriented matroids and by our main result aspherical CW-complexes.
Linear isometries on Weighted Coordinates Poset Block Space
Given $[n]=\{1,2,\ldots,n\}$, a poset order $\preceq$ on $[n]$, a label map $π: [n] \rightarrow \mathbb{N}$ defined by $π(i)=k_i$ with $\sum_{i=1}^{n}π(i) = N$, and a weight function $w$ on $\mathbb{F}_{q}$, let $\mathbb{F}_{q}^N$ be the vector space of $N$-tuples over the field $\mathbb{F}_{q}$ equipped with $(P,w,π)$-metric where $ \mathbb{F}_q^N $ is the direct sum of spaces $ \mathbb{F}_{q}^{k_1}, \mathbb{F}_{q}^{k_2}, \ldots, \mathbb{F}_{q}^{k_n} $. In this paper, we determine the groups of linear isometries of $(P,w,π)$-metric spaces in terms of a semi-direct product, which turns out to be similar to the case of poset (block) metric spaces. In particular, we re-obtain the group of linear isometries of the $(P,w)$-mertic spaces and $(P,π)$-mertic spaces.
Restricted Chain-Order Polytopes via Combinatorial Mutations
Published
• View Publication
• BIB
We study restricted chain-order polytopes associated to Young diagrams using combinatorial mutations. These polytopes are obtained by intersecting chain-order polytopes with certain hyperplanes. The family of chain-order polytopes associated to a poset interpolate between the order and chain polytopes of the poset. Each such polytope retains properties of the order and chain polytope; for example its Ehrhart polynomial. For a fixed Young diagram, we show that all restricted chain-order polytopes are related by a sequence of combinatorial mutations. Since the property of giving rise to the period collapse phenomenon is invariant under combinatorial mutations, we provide a large class of rational polytopes that give rise to period collapse.
Cluster Expansions: T-walks, Labeled Posets and Matrix Calculations
Published in Journal of Algebra (2025), Volume 669, pp. 183-219
• View Publication
• BIB
We give two new combinatorial methods for computing cluster expansion formulas for arcs coming from possibly punctured surfaces. The first is by using $T$-walks, an extension of the $T$-path model for unpunctured surfaces to general surfaces. We also introduce a new way of generating $T$-paths. The second method is by using order ideals of labeled posets associated to arcs. We also use the theory of oriented posets to give a quick way to calculate the expressions using $2$ by $2$ matrices. The techniques introduced are applicable to different settings in cluster algebras and beyond.
A few words about maps
Published
• View Publication
• BIB
In this paper, we survey some properties, encoding, and bijections involving combinatorial maps, double occurrence words, and chord diagrams. We particularly study quasi-trees from a purely combinatorial point of view and derive a topological representation of maps with a given spanning quasi-tree using two fundamental polygons, which extends the representation of planar maps based on the equivalence with bipartite circle graphs. Then, we focus on Depth-First Search trees and their connection with a poset we define on the spanning quasi-trees of a map. We apply the bijections obtained in the first section to the problem of enumerating loopless rooted maps. Finally, we return to the planar case and discuss a decomposition of planar rooted loopless maps and its consequences on planar rooted loopless map enumeration.
Chainlink Polytopes and Ehrhart-Equivalence
Published in Annals of Combinatorics (2024), Vol 28, pp 1141-1166
• View Publication
• BIB
We introduce a class of polytopes that we call chainlink polytopes and which allow us to construct infinite families of pairs of non isomorphic rational polytopes with the same Ehrhart quasi-polynomial. Our construction is based on circular fence posets, which admit a non-obvious and non-trivial symmetry in their rank sequences that turns out to be reflected in the polytope level. We introduce the related class of chainlink posets and show that they exhibit the same symmetry properties. We further prove an outstanding conjecture on the unimodality of circular rank polynomials.
Cylindric $P$-Tableaux for (3+1)-Free Posets
Published
• View Publication
• BIB
For a $(3+1)$-free poset $P$, we define a hybrid of $P$-tableaux and cylindric tableaux called cylindric $P$-tableaux. We introduce $P$-analogs of cylindric Schur functions, defined by a determinantal formula, and prove that they are the weight generating functions of cylindric $P$-tableaux. We deduce that certain sums of the $e$-expansion coefficients of the chromatic symmetric function $X_{inc(P)}$ are positive. This improves on Gasharov's theorem on the Schur positivity of $X_{inc(P)}$ and gives further evidence for the Stanley-Stembridge conjecture.
Noncommutative Schur functions for posets
Published
• View Publication
• BIB
The machinery of noncommutative Schur functions is a general approach to Schur positivity of symmetric functions initiated by Fomin-Greene. Hwang recently adapted this theory to posets to give a new approach to the Stanley-Stembridge conjecture. We further develop this theory to prove that the symmetric function associated to any $P$-Knuth equivalence graph is Schur positive. This settles a conjecture of Kim and the third author, and refines results of Gasharov, Shareshian-Wachs, and Hwang on the Schur positivity of chromatic symmetric functions.
Chain-order polytopes: toric degenerations, Young tableaux and monomial bases
Published
• View Publication
• BIB
Our first result realizes the toric variety of every marked chain-order polytope (MCOP) of the Gelfand--Tsetlin poset as an explicit Gröbner (sagbi) degeneration of the flag variety. This generalizes the Sturmfels/Gonciulea--Lakshmibai/Kogan--Miller construction for the Gelfand--Tsetlin degeneration to the MCOP setting. The key idea of our approach is to use pipe dreams to define realizations of toric varieties in Plücker coordinates. We then use this approach to generalize two more well-known constructions to arbitrary MCOPs: standard monomial theories such as those given by semistandard Young tableaux and PBW-monomial bases in irreducible representations such as the FFLV bases. In an addendum we introduce the notion of semi-infinite pipe dreams and use it to obtain an infinite family of poset polytopes each providing a toric degeneration of the semi-infinite Grassmannian.
The chain covering number of a poset with no infinite antichains
Published
• View Publication
• BIB
The chain covering number $\Cov(P)$ of a poset $P$ is the least number of chains needed to cover $P$. For a cardinal $ν$, we give a list of posets of cardinality and covering number $ν$ such that for every poset $P$ with no infinite antichain, $\Cov(P)\geq ν$ if and only if $P$ embeds a member of the list. This list has two elements if $ν$ is a successor cardinal, namely $[ν]^2$ and its dual, and four elements if $ν$ is a limit cardinal with $\cf(ν)$ weakly compact. For $ν= \aleph_1$, a list was given by the first author; his construction was extended by F. Dorais to every infinite successor cardinal $ν$.
Poset Ramsey number $R(P,Q_n)$. II. N-shaped poset
Published
• View Publication
• BIB
Given partially ordered sets (posets) $(P, \leq_P)$ and $(P', \leq_{P'})$, we say that $P'$ contains a copy of $P$ if for some injective function $f\colon P\rightarrow P'$ and for any $A, B\in P$, $A\leq _P B$ if and only if $f(A)\leq_{P'} f(B)$. For any posets $P$ and $Q$, the poset Ramsey number $R(P,Q)$ is the least positive integer $N$ such that no matter how the elements of an $N$-dimensional Boolean lattice are colored in blue and red, there is either a copy of $P$ with all blue elements or a copy of $Q$ with all red elements.
We focus on the poset Ramsey number $R(P, Q_n)$ for a fixed poset $P$ and an $n$-dimensional Boolean lattice $Q_n$, as $n$ grows large. It is known that $n+c_1(P) \leq R(P,Q_n) \leq c_2(P) n$, for positive constants $c_1$ and $c_2$. However, there is no poset $P$ known, for which $R(P, Q_n)> (1+ε)n$, for $ε>0$. This paper is devoted to a new method for finding upper bounds on $R(P, Q_n)$ using a duality between copies of $Q_n$ and sets of elements that cover them, referred to as blockers. We prove several properties of blockers and their direct relation to the Ramsey numbers. Using these properties we show that $R(\mathcal{N},Q_n)=n+Θ(n/\log n)$, for a poset $\mathcal{N}$ with four elements $A, B, C, $ and $D$, such that $A<C$, $B<D$, $B<C$, and the remaining pairs of elements are incomparable.
Split graphs and Block Representations
Published
• View Publication
• BIB
In this paper, we study split graphs and related classes of graphs from the perspective of their sequence of vertex degrees and an associated lattice under majorization. Following the work of Merris in 2003, we define blocks $[α(π)|β(π)]$, where $π$ is the degree sequence of a graph, and $α(π)$ and $β(π)$ are sequences arising from $π$. We use the block representation $[α(π)|β(π)]$ to characterize membership in each of the following classes: unbalanced split graphs, balanced split graphs, pseudo-split graphs, and three kinds of Nordhaus-Gaddum graphs (defined by Collins and Trenk in 2013). As in Merris' work, we form a poset under the relation majorization in which the elements are the blocks $[α(π)|β(π)]$ representing split graphs with a fixed number of edges. We partition this poset in several interesting ways using what we call amphoras, and prove upward and downward closure results for blocks arising from different families of graphs. Finally, we show that the poset becomes a lattice when a maximum and minimum element are added, and we prove properties of the meet and join of two blocks.
Weighted Coordinates Poset Block Codes
Published
• View Publication
• BIB
Given $[n]=\{1,2,\ldots,n\}$, a partial order $\preceq$ on $[n]$, a label map $π: [n] \rightarrow \mathbb{N}$ defined by $π(i) = k_i$ with $\sum_{i=1}^{n}π(i) = N$, the direct sum $ \mathbb{F}_{q}^{k_1} \oplus \mathbb{F}_{q}^{k_2}\oplus \ldots \oplus \mathbb{F}_{q}^{k_n} $ of $ \mathbb{F}_q^N $, and a weight function $w$ on $ \mathbb{F}_q $, we define a poset block metric $d_{(P,w,π)}$ on $\mathbb{F}_{q}^{N}$ based on the poset $P=([n],\preceq)$. The metric $d_{(P,w,π)}$ is said to be weighted coordinates poset block metric ($(P,w,π)$-metric). It extends the weighted coordinates poset metric ($(P,w)$-metric) introduced by L. Panek and J. A. Pinheiro and generalizes the poset block metric ($(P,π)$-metric) introduced by M. M. S. Alves et al. We determine the complete weight distribution of a $(P,w,π)$-space, thereby obtaining it for $(P,w)$-space, $(P,π)$-space, $π$-space, and $P$-space as special cases. We obtain the Singleton bound for $(P,w,π)$-codes and for $(P,w)$-codes as well. In particular, we re-obtain the Singleton bound for any code with respect to $(P,π)$-metric and $P$-metric. Moreover, packing radius and Singleton bound for NRT block codes are found.
One-dimensional central measures on numberings of ordered sets
Published
• View Publication
• BIB
We describe one-dimensional central measures on numberings (tableaux) of ideals of partially ordered sets (posets). As the main example, we study the poset ${\Bbb Z}_+^d$ and the graph of its finite ideals, multidimensional Young tableaux; for $d=2$, it is the ordinary Young graph. The central measures are stratified by dimension; in the paper we give a complete description of the one-dimensional stratum and prove that every ergodic central measure is uniquely determined by its frequencies. The suggested method, in particular, gives the first purely combinatorial proof of E.~Thoma's theorem for one-dimensional central measures different from the Plancherel measure (which is of dimension~$2$).
e-basis Coefficients of Chromatic Symmetric Functions
A well-known result of Stanley's shows that given a graph $G$ with chromatic symmetric function expanded into the basis of elementary symmetric functions as $X_G = \sum c_λe_λ$, the sum of the coefficients $c_λ$ for $λ$ with $λ_1' = k$ (equivalently those $λ$ with exactly $k$ parts) is equal to the number of acyclic orientations of $G$ with exactly $k$ sinks.
However, more is known. The sink sequence of an acyclic orientation of $G$ is a tuple $(s_1,\dots,s_k)$ such that $s_1$ is the number of sinks of the orientation, and recursively each $s_i$ with $i > 1$ is the number of sinks remaining after deleting the sinks contributing to $s_1,\dots,s_{i-1}$. Equivalently, the sink sequence gives the number of vertices at each level of the poset induced by the acyclic orientation.
A lesser-known follow-up result of Stanley's determines certain cases in which we can find a sum of $e$-basis coefficients that gives the number of acyclic orientations of $G$ with a given partial sink sequence. Of interest in its own right, this result also admits as a corollary a simple proof of the $e$-positivity of $X_G$ when the stability number of $G$ is $2$.
In this paper, we prove a vertex-weighted generalization of this follow-up result, and conjecture a stronger version that admits a similar combinatorial interpretation for a much larger set of $e$-coefficient sums of chromatic symmetric functions. In particular, the conjectured formula would give a combinatorial interpretation for the sum of the coefficients $c_λ$ with prescribed values of $λ_1'$ and $λ_2'$ for any unweighted claw-free graph (not necessarily an incomparability graph, as in the setting of the Stanley-Stembridge conjecture).
On Equivariant flag $f$-vectors for balanced relative simplicial complexes
We study the equivariant flag $f$-vector and equivariant flag $h$-vector of a balanced relative simplicial complex with respect to a group action. When the complex satisfies Serre's condition $(S_{\ell}),$ we show that the equivariant flag $h$-vector, the equivariant $h$-vector, and the equivariant $f$-vector satisfy several inequalities.
We apply these results to the study of $P$-partitions of double posets, and weak colorings of mixed graphs.
Maximal chain descent orders
This paper introduces a partial order on the maximal chains of any finite bounded poset $P$ which has a CL-labeling $λ$. We call this the maximal chain descent order induced by $λ$, denoted $P_λ(2)$. As a first example, letting $P$ be the Boolean lattice and $λ$ its standard EL-labeling gives $P_λ(2)$ isomorphic to the weak order of type A. We discuss in depth other seemingly well-structured examples: the max-min EL-labeling of the partition lattice gives maximal chain descent order isomorphic to a partial order on certain labeled trees, and particular cases of the linear extension EL-labelings of finite distributive lattices produce maximal chain descent orders isomorphic to partial orders on standard Young tableaux. We observe that the order relations which one might expect to be the cover relations, those given by the "polygon moves" whose transitive closure defines the maximal chain descent order, are not always cover relations. Several examples illustrate this fact. Nonetheless, we characterize the EL-labelings for which every polygon move gives a cover relation, and we prove many well known EL-labelings do have the expected cover relations. One motivation for $P_λ(2)$ is that its linear extensions give all of the shellings of the order complex of $P$ whose restriction maps are defined by the descents with respect to $λ$. This yields strictly more shellings of $P$ than the lexicographic ones induced by $λ$. Thus, the maximal chain descent order $P_λ(2)$ might be thought of as encoding the structure of the set of shellings induced by $λ$.
The Image of the Pop Operator on Various Lattices
Published
• View Publication
• BIB
Extending the classical pop-stack sorting map on the lattice given by the right weak order on $S_n$, Defant defined, for any lattice $M$, a map $\mathsf{Pop}_{M}: M \to M$ that sends an element $x\in M$ to the meet of $x$ and the elements covered by $x$. In parallel with the line of studies on the image of the classical pop-stack sorting map, we study $\mathsf{Pop}_{M}(M)$ when $M$ is the weak order of type $B_n$, the Tamari lattice of type $B_n$, the lattice of order ideals of the root poset of type $A_n$, and the lattice of order ideals of the root poset of type $B_n$. In particular, we settle four conjectures proposed by Defant and Williams on the generating function \begin{equation*} \mathsf{Pop}(M; q) = \sum_{b \in \mathsf{Pop}_{M}(M)} q^{|\mathscr{U}_{M}(b)|}, \end{equation*} where $\mathscr{U}_{M}(b)$ is the set of elements of $M$ that cover $b$.
Exceptional sequences in semidistributive lattices and the poset topology of wide subcategories
Published
• View Publication
• BIB
Let $Λ$ be a finite-dimensional algebra over a field $K$. We describe how Buan and Marsh's $τ$-exceptional sequences can be used to give a "brick labeling" of a certain poset of wide subcategories of finitely-generated $Λ$-modules. When $Λ$ is representation-directed, we prove that there exists a total order on the set of bricks which makes this into an EL-labeling. Motivated by the connection between classical exceptional sequences and noncrossing partitions, we then turn our attention towards the study of (well-separated) completely semidistributive lattices. Such lattices come equipped with a bijection between their completely join-irreducible and completely meet-irreducible elements, known as rowmotion or simply the "$κ$-map". Generalizing known results for finite semidistributive lattices, we show that the $κ$-map determines exactly when a set of completely join-irreducible elements forms a "canonical join representation". A consequence is that the corresponding "canonical join complex" is a flag simplicial complex, as has been shown for finite semidistributive lattices and lattices of torsion classes of finite-dimensional algebras. Finally, in the case of lattices of torsion classes of finite-dimensional algebras, we demonstrate how Jasso's $τ$-tilting reduction can be encoded using the $κ$-map. We use this to define $κ^d$-exceptional sequences for finite semidistributive lattices. These are distinguished sequences of completely join-irreducible elements which we prove specialize to $τ$-exceptional sequences in the algebra setting.