poset ↗ reference
2287 papers tagged with this keyword
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.
Relation between the Weyl group orbits of fundamental weights for multiply-laced finite dimensional simple Lie algebras and d-complete posets
Published
• View Publication
• BIB
It is known that there exists an order isomorphism between the Weyl group orbit through a minuscule weight of a simply-laced finite-dimensional simple Lie algebra and the set of all order filters in a self-dual connected d-complete poset. In this paper, we try to extend this fact to the case of multiply-laced finite-dimensional simple Lie algebras by using the "folding" technique with respect to a Dynkin diagram automorphism.
Causal Fourier Analysis on Directed Acyclic Graphs and Posets
Published in IEEE Transactions on Signal Processing, Vol. 71, pp. 3805-3820, 2023
• View Publication
• BIB
We present a novel form of Fourier analysis, and associated signal processing concepts, for signals (or data) indexed by edge-weighted directed acyclic graphs (DAGs). This means that our Fourier basis yields an eigendecomposition of a suitable notion of shift and convolution operators that we define. DAGs are the common model to capture causal relationships between data values and in this case our proposed Fourier analysis relates data with its causes under a linearity assumption that we define. The definition of the Fourier transform requires the transitive closure of the weighted DAG for which several forms are possible depending on the interpretation of the edge weights. Examples include level of influence, distance, or pollution distribution. Our framework is different from prior GSP: it is specific to DAGs and leverages, and extends, the classical theory of Moebius inversion from combinatorics. For a prototypical application we consider DAGs modeling dynamic networks in which edges change over time. Specifically, we model the spread of an infection on such a DAG obtained from real-world contact tracing data and learn the infection signal from samples assuming sparsity in the Fourier domain.
On the Automorphism Group of the Substructure Ordering of Finite Directed Graphs
We investigate the automorphism group of the substructure ordering of finite directed graphs. The second author conjectured that it is isomorphic to the 768-element group $(\mathbb{Z}_2^4 \times S_4)\rtimes_α \mathbb{Z}_2$. Though unable to prove it, we solidify this conjecture by showing that the automorphism group behaves as expected by the conjecture on the first few levels of the poset in question. With the use of computer calculation we analyze the first four levels holding 3160 directed graphs.
Pop, Crackle, Snap (and Pow): Some Facets of Shards
Published
• View Publication
• BIB
Reading cut the hyperplanes in a real central arrangement $\mathcal H$ into pieces called \emph{shards}, which reflect order-theoretic properties of the arrangement. We show that shards have a natural interpretation as certain generators of the fundamental group of the complement of the complexification of $\mathcal H$. Taking only positive expressions in these generators yields a new poset that we call the \emph{pure shard monoid}.
When $\mathcal H$ is simplicial, its poset of regions is a lattice, so it comes equipped with a pop-stack sorting operator $\mathsf{Pop}$. In this case, we use $\mathsf{Pop}$ to define an embedding $\mathsf{Crackle}$ of Reading's shard intersection order into the pure shard monoid. When $\mathcal H$ is the reflection arrangement of a finite Coxeter group, we also define a poset embedding $\mathsf{Snap}$ of the shard intersection order into the positive braid monoid; in this case, our three maps are related by $\mathsf{Snap}=\mathsf{Crackle} \cdot \mathsf{Pop}$.
A Proof of the Alternate Thomassé Conjecture for Countable $NE$-Free Posets
Published
• View Publication
• BIB
An $N$-free poset is a poset whose comparability graph does not embed an induced path with four vertices. We use the well-quasi-order property of the class of countable $N$-free posets and some labelled ordered trees to show that a countable $N$-free poset has one or infinitely many siblings, up to isomorphism. This, partially proves a conjecture stated by Thomassé for this class.