poset ↗ reference
2264 papers tagged with this keyword
Asymptotic Semigroups and Two-sided Weak Orders
Various partial orders related to the structures of dual canonical monoids are investigated. It is shown that the nilpotent variety of a dual canonical monoid is equidimensional; its dimension is found. It is shown in type A that certain intervals of the Putcha poset of a dual canonical monoid are isomorphic to the Renner monoids of matrices. The notion of a two-sided weak order on a normal reductive monoid is introduced. A criterion, in terms of type maps, for the covering relations in a two-sided weak order to have degree 2 is found. It is shown that, for the unique equivariant divisor of a dual canonical monoid (the asymptotic semigroup), the covering relations of the two-sided weak order are always of degree 1. These computations provide new insights for the two-sided weak orders on Coxeter groups. In type A, some enumerative results for the covering relations are presented.
Antichain generating polynomials of posets
This paper gives a formula for the antichain generating polynomial $\mathcal{N}_{[k]\times Q}$ of the poset $[k]\times Q$, where $[k]$ is an arbitrary chain and $Q$ is any finite graded poset. When $Q$ specializes to be a connected minuscule poet, which was classified by Proctor in 1984, we find that the polynomial $\mathcal{N}_{[k]\times Q}$ bears nice properties. For instance, we will recover the $B_n$-Narayana polynomial and the $D_{2n+2}$-Narayana polynomial. We collect evidence for the conjecture that whenever $\mathcal{N}_{[k]\times P}(x)$ is palindromic, it must be $γ$-positive. Moreover, the family $\mathcal{N}_{[2]\times [n]\times [m]}$ should be real-rooted and $\mathcal{N}_{[2]\times [n]\times [n+1]}$ should be $γ$-positive. We also conjecture that $\mathcal{N}_{Q}(x)$ is log-concave (thus unimodal) for any connected Peck poset $Q$.
The covering lemma and $q$-analogues of extremal set theory problems
We prove a general lemma (inspired by a lemma of Holroyd and Talbot) about the connection of the largest cardinalities (or weight) of structures satisfying some hereditary property and substructures satisfying the same hereditary property. We use it to show how results concerning forbidden subposet problems in the Boolean poset imply analogous results in the poset of subspaces of a finite vector space. We also study generalized forbidden subposet problems in the poset of subspaces.
On the canonical ideal of the Ehrhart ring of the chain polytope of a poset
Let P be a poset, O(P) the order polytope of P and C(P) the chain polytope of P. In this paper, we study the canonical ideal of the Ehrhart ring K[C(P)] of C(P) over a field K and characterize the level (resp. anticanonical level) property of K[C(P)] by a combinatorial structure of P. In particular, we show that if K[C(P)] is level (resp. anticanonical level), then so is K[O(P)]. We exhibit examples which show the converse does not hold.
Moreover, we show that the symbolic powers of the canonical ideal of K[C(P)] are identical with ordinary ones and degrees of the generators of the canonical and anticanonical ideals are consecutive integers.
$N_\infty$-operads and associahedra
Published in Pacific J. Math. 315 (2021) 285-304
• View Publication
• BIB
We provide a new combinatorial approach to studying the collection of N-infinity-operads in G-equivariant homotopy theory for G a finite cyclic group. In particular, we show that for G the cyclic group of order p^n the natural order on the collection of N-infinity-operads stands in bijection with the poset structure of the (n+1)-associahedron. We further provide a lower bound for the number of possible N-infinity-operads for any finite cyclic group G.
Proofs of Conjectures about Pattern-Avoiding Linear Extensions
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 4, Combinatorics (October 2, 2019) dmtcs:5438
• View Publication
• BIB
After fixing a canonical ordering (or labeling) of the elements of a finite poset, one can associate each linear extension of the poset with a permutation. Some recent papers consider specific families of posets and ask how many linear extensions give rise to permutations that avoid certain patterns. We build off of two of these papers. We first consider pattern avoidance in $k$-ary heaps, where we obtain a general result that proves a conjecture of Levin, Pudwell, Riehl, and Sandberg in a special case. We then prove some conjectures that Anderson, Egge, Riehl, Ryan, Steinke, and Vaughan made about pattern-avoiding linear extensions of rectangular posets.
On the poset of King-Non-Attacking permutations
Published
• View Publication
• BIB
A king-non-attacking permutation is a permutation $π\in S_n$ such that $|π(i)-π(i-1)|\neq 1$ for each $i \in \{2,\dots,n\}$. We investigate the structure of the poset of these permutations under the containment relation, and also provide some results on its Möbius function.
Some enumerative properties of a class of Fibonacci-like cubes
A filter lattice is a distributive lattice formed by all filters of a poset in the anti-inclusion order. We study the combinatorial properties of the Hasse diagrams of filter lattices of certain posets, so called Fibonacci-like cubes, in this paper. Several enumerative polynomials, e.g.\ rank generating function, cube polynomials and degree sequence polynomials are obtained. Some of these results relate to Fibonacci sequence and Padovan sequence.
On the topology of bi-cyclopermutohedra
Motivated by the work of Panina and her coauthors on cyclopermutohedron we study a poset whose elements correspond to equivalence classes of partitions of the set $\{1,\cdots, n+1\}$ up to cyclic permutations and orientation reversion. This poset is the face poset of a regular CW complex which we call bi-cyclopermutohedron and denote it by $\mathrm{QP}_{n+1}$. The complex $\mathrm{QP}_{n+1}$ contains subcomplexes homeomorphic to moduli space of certain planar polygons with $n+1$ sides up to isometries. In this article we find an optimal discrete Morse function on $\mathrm{QP}_{n+1}$ and use it to compute its homology with $\mathbb{Z}$ as well as $\mathbb{Z}_2$ coefficients.
Coxeter submodular functions and deformations of Coxeter permutahedra
We describe the cone of deformations of a Coxeter permutahedron, or equivalently, the nef cone of the toric variety associated to a Coxeter complex. This family of polytopes contains polyhedral models for the Coxeter-theoretic analogs of compositions, graphs, matroids, posets, and associahedra. Our description extends the known correspondence between generalized permutahedra, polymatroids, and submodular functions to any finite reflection group.
Toric Bruhat interval polytopes
Published in Journal of Combinatorial Theory, Series A Volume 179, April 2021, 105387
• View Publication
• BIB
For two elements $v$ and $w$ of the symmetric group $\mathfrak{S}_n$ with $v\leq w$ in Bruhat order, the Bruhat interval polytope $Q_{v,w}$ is the convex hull of the points $(z(1),\ldots,z(n))\in \mathbb{R}^n$ with $v\leq z\leq w$. It is known that the Bruhat interval polytope $Q_{v,w}$ is the moment map image of the Richardson variety $X^{v^{-1}}_{w^{-1}}$. We say that $Q_{v,w}$ is \emph{toric} if the corresponding Richardson variety $X_{w^{-1}}^{v^{-1}}$ is a toric variety. We show that when $Q_{v,w}$ is toric, its combinatorial type is determined by the poset structure of the Bruhat interval $[v,w]$ while this is not true unless $Q_{v,w}$ is toric. We are concerned with the problem of when $Q_{v,w}$ is (combinatorially equivalent to) a cube because $Q_{v,w}$ is a cube if and only if $X_{w^{-1}}^{v^{-1}}$ is a smooth toric variety. We show that a Bruhat interval polytope $Q_{v,w}$ is a cube if and only if $Q_{v,w}$ is toric and the Bruhat interval $[v,w]$ is a Boolean algebra. We also give several sufficient conditions on $v$ and $w$ for $Q_{v,w}$ to be a cube.
Motzkin Intervals and Valid Hook Configurations
We define a new natural partial order on Motzkin paths that serves as an intermediate step between two previously-studied partial orders. We provide a bijection between valid hook configurations of $312$-avoiding permutations and intervals in these new posets. We also show that valid hook configurations of permutations avoiding $132$ (or equivalently, $231$) are counted by the same numbers that count intervals in the Motzkin-Tamari posets that Fang recently introduced, and we give an asymptotic formula for these numbers. We then proceed to enumerate valid hook configurations of permutations avoiding other collections of patterns. We also provide enumerative conjectures, one of which links valid hook configurations of $312$-avoiding permutations, intervals in the new posets we have defined, and certain closed lattice walks with small steps that are confined to a quarter plane.
The Hopf Monoid of Orbit Polytopes
Published in Journal of Combinatorics 11 (2020) 575-601
• View Publication
• BIB
Many families of combinatorial objects have a Hopf monoid structure. Aguiar and Ardila introduced the Hopf monoid of generalized permutahedra and showed that it contains various other notable combinatorial families as Hopf submonoids, including graphs, posets, and matroids. We introduce the Hopf monoid of orbit polytopes, which is generated by the generalized permutahedra that are invariant under the action of the symmetric group. We show that modulo normal equivalence, these polytopes are in bijection with integer compositions. We interpret the Hopf structure through this lens, and we show that applying the first Fock functor to this Hopf monoid gives a Hopf algebra of compositions. We describe the character group of the Hopf monoid of orbit polytopes in terms of noncommutative symmetric functions, and we give a combinatorial interpretation of the basic character and its polynomial invariant.
Flagged $(\mathcal{P},ρ)$-partitions
Published
• View Publication
• BIB
We introduce the theory of $(\mathcal{P},ρ)$-partitions, depending on a poset $\mathcal{P}$ and a map $ρ$ from $\mathcal{P}$ to positive integers. The generating function $\mathfrak{F}_{\mathcal{P},ρ}$ of $(\mathcal{P},ρ)$-partitions is a polynomial that, when the images of $ρ$ tend to infinity, tends to Stanley's generating function $F_{\mathcal{P}}$ of $\mathcal{P}$-partitions. Analogous to Stanley's fundamental theorem for $\mathcal{P}$-partitions, we show that the set of $(\mathcal{P},ρ)$-partitions decomposes as a disjoint union of $(\mathcal{L},ρ)$-partitions where $\mathcal{L}$ runs over the set of linear extensions of $\mathcal{P}$. In this more general context, the set of all $\mathfrak{F}_{\mathcal{L},ρ}$ for linear orders $\mathcal{L}$ over determines a basis of polynomials. We thus introduce the notion of flagged $(\mathcal{P},ρ)$-partitions, and we prove that the set of all $\mathfrak{F}_{\mathcal{L},ρ}$ for flagged $(\mathcal{L},ρ)$-partitions for linear orders $\mathcal{L}$ is precisely the fundamental slide basis of the polynomial ring, introduced by the first author and Searles. Our main theorem shows that any generating function $\mathfrak{F}_{\mathcal{P},ρ}$ of flagged $(\mathcal{P},ρ)$-partitions is a positive integer linear combination of slide polynomials. As applications, we give a new proof of positivity of the slide product and, motivating our nomenclature, we also prove flagged Schur functions are slide positive.
$k$-Indivisible Noncrossing Partitions
Published in Séminaire Lotharingien de Combinatoire 81 (2020). Article B81d
• Search Publication
For a fixed integer $k$, we consider the set of noncrossing partitions, where both the block sizes and the difference between adjacent elements in a block is $1\bmod k$. We show that these $k$-indivisible noncrossing partitions can be recovered in the setting of subgroups of the symmetric group generated by $(k+1)$-cycles, and that the poset of $k$-indivisible noncrossing partitions under refinement order has many beautiful enumerative and structural properties. We encounter $k$-parking functions and some special Cambrian lattices on the way, and show that a special class of lattice paths constitutes a nonnesting analogue.
Multicolour chain avoidance in the boolean lattice
Given a collection of colored chain posets, we estimate the number of colored subsets of the boolean lattice which avoid all chains in the collection.
Catalan Intervals and Uniquely Sorted Permutations
For each positive integer $k$, we consider five well-studied posets defined on the set of Dyck paths of semilength $k$. We prove that uniquely sorted permutations avoiding various patterns are equinumerous with intervals in these posets. While most of our proofs are bijective, some use generating trees and generating functions. We end with several conjectures.
Geometric realizations of Tamari interval lattices via cubic coordinates
We introduce cubic coordinates, which are integer words encoding intervals in the Tamari lattices. Cubic coordinates are in bijection with interval-posets, themselves known to be in bijection with Tamari intervals. We show that in each degree the set of cubic coordinates forms a lattice, isomorphic to the lattice of Tamari intervals. Geometric realizations are naturally obtained by placing cubic coordinates in space, highlighting some of their properties. We consider the cellular structure of these realizations. Finally, we show that the poset of cubic coordinates is shellable.
Sects and lattice paths over the Lagrangian Grassmannian
We examine Borel subgroup orbits in the classical symmetric space of type CI, which are parametrized by skew symmetric (n, n)-clans. We describe bijections between such clans, certain weighted lattice paths, and pattern-avoiding signed involutions, and we give a cell decomposition of the symmetric space in terms of collections of clans called sects. The largest sect with a conjectural closure order is isomorphic (as a poset) to the Bruhat order on partial involutions.
Wilf's conjecture in fixed multiplicity
We give an algorithm to determine whether Wilf's conjecture holds for all numerical semigroups with a given multiplicity $m$, and use it to prove Wilf's conjecture holds whenever $m \le 18$. Our algorithm utilizes techniques from polyhedral geometry, and includes a parallelizable algorithm for enumerating the faces of any polyhedral cone up to orbits of an automorphism group. We also introduce a new method of verifying Wilf's conjecture via a combinatorially-flavored game played on the elements of a certain finite poset.