poset ↗ reference
2264 papers tagged with this keyword
A symmetric chain decomposition of $N(m,n)$ of composition
A poset is called a symmetric chain decomposition if the poset can be expressed as a disjoint union of symmetric chains. For positive integers $m$ and $n$, let $N(m,n)$ denote the set of all compositions $α=(α_1,\cdots,α_m)$, with $0\le α_i \le n$ for each $i=1,\cdots,m$. Define order $<$ as follow, $\forall α,β\in N(m,n)$, $β< α$ if and only if $β_i \le α_i(i=1,\cdots,m)$ and $\sum\limits_{i=1}^{m}β_i <\sum\limits_{i=1}^{m}α_i$. In this paper, we show that the poset $(N(m,n),<)$ can be expressed as a disjoint of symmetric chains by constructive method.
Revisiting Faigle geometries from a perspective of semimodular lattices
Published
• View Publication
• BIB
In 1980, U. Faigle introduced a sort of finite geometries on posets that are in bijective correspondence with finite semimodular lattices. His result has almost been forgotten in lattice theory. Here we simplify the axiomatization of these geometries, which we call Faigle geometries. To exemplify their usefulness, we give a short proof of a theorem of Grätzer and E. Knapp (2009) asserting that each slim semimodular lattice $L$ has a congruence-preserving extension to a slim rectangular lattice of the same length as $L$. As another application of Faigle geometries, we give a short proof of G. Grätzer and E. W. Kiss' result from 1986 (also proved by M. Wild in 1993 and the present author and E. T. Schmidt in 2010) that each finite semimodular lattice $L$ has an extension to a geometric lattice of the same length as $L$.
Lattice path enumeration for semi-magic squares of size three
We give formulas for enumerating directed paths in the graded poset of semi-magic squares of size three. We give two applications of these formulas: an advanced example of Vandermonde convolution for finite graded posets, and a direct method for deriving Regge symmetry formulas for un-normalized Clebsch-Gordan coefficients.
On a formula that is not in "Grothendieck Topologies in Posets"
The paper "Grothendieck Topologies on Posets" by A.J. Lindenhovius shows that when $\mathbf{P}$ is an Artinian poset and $\mathbf{E}$ is the topos $\mathbf{Set}^\mathbf{P}$ then there are bijections between the set of subsets of $\mathbf{P}$, the set of Grothendieck topologies on $\mathbf{E}$, and the set of nuclei on the Heyting Algebra $\mathrm{Sub}(1_\mathbf{E})$. It also shows that there are nice formulas for converting between subsets, Grothendieck topologies, and nuclei, but the formula for converting a nucleus to a subset is not spelled out explicitly. These notes fix that gap.
A counterexample to a Gröbner approach for noetherianity of the twisted commutative algebra ${\rm Sym}({\rm Sym}^2(\mathbf{C}^\infty))$
We resolve an open question posed by the authors of arXiv:1501.06925v2 in 2015 concerning a Gröbner theoretic approach for the noetherianity of the twisted commutative algebra ${\rm Sym}({\rm Sym}^2(\mathbf{C}^\infty))$. We provide a negative answer to their question by producing an explicit antichain. In doing so, we establish a connection to well studied posets of graphs under the subgraph and induced subgraph relation. We then analyze this connection to suggest future paths of investigation, for example a deeper study of initial ideals in twisted commutative algebras.
Borel chain conditions of Borel posets
Published
• View Publication
• BIB
We study the coarse classification of partial orderings using chain conditions in the context of descriptive combinatorics. We show that (unlike the Borel counterpart of many other combinatorics), we have a distinct hierarchy of different chain conditions, similar to the classical case.
The fixed point property of a poset and the fixed point property of the poset induced by its extremal points
For a connected finite poset $P$, let $E(P)$ be the poset induced by the extremal points of $P$. We show that the fixed point property of $E(P)$ implies the fixed point property of $P$. On the other hand, we show that a homomorphism $f : E(P) \rightarrow Q$ can be extended to $P$ if $Q$ is a flat poset not containing a 4-crown. We conclude that every retract-crown of $E(P)$ with more than four points is a retract-crown of $P$, too. We see that for $P$ having the fixed point property but $E(P)$ not, every edge of every crown in $E(P)$ must belong to a so-called improper 4-crown, with additional specifications if $P$ has height two. The results provide several sufficient and necessary conditions for $P$ having the fixed point property, and these conditions refer to objects simpler than $P$.
Minuscule analogues of the plane partition periodicity conjecture of Cameron and Fon-Der-Flaass
Published in Combinatorial Theory 2(1), 2022
• View Publication
• BIB
Let $P$ be a graded poset of rank $r$ and let $\mathbf{c}$ be a $c$-element chain. For an order ideal $I$ of $P \times \mathbf{c}$, its rowmotion $ψ(I)$ is the smallest ideal containing the minimal elements of the complementary filter of $I$. The map $ψ$ defines invertible dynamics on the set of ideals. We say that $P$ has NRP ("not relatively prime") rowmotion if no $ψ$-orbit has cardinality relatively prime to $r+c+1$.
In work with R. Patrias (2020), we proved a 1995 conjecture of P. Cameron and D. Fon-Der-Flaass by establishing NRP rowmotion for the product $P = \mathbf{a} \times \mathbf{b}$ of two chains, the poset whose order ideals correspond to the Schubert varieties of a Grassmann variety $\mathrm{Gr}_a(\mathbb{C}^{a+b})$ under containment. Here, we initiate the general study of posets with NRP rowmotion.
Our first main result establishes NRP rowmotion for all minuscule posets $P$, posets whose order ideals reflect the Schubert stratification of minuscule flag varieties. Our second main result is that NRP promotion depends only on the isomorphism class of the comparability graph of $P$.
Conditions forcing the existence of relative complements in lattices and posets
Published
• View Publication
• BIB
It is elementary and well-known that if an element x of a bounded modular lattice L has a complement in L then x has a relative complement in every interval [a,b] containing x. We show that the relatively strong assumption of modularity of L can be replaced by a weaker one formulated in the language of so-called modular triples. We further show that, in general, we need not suppose that x has a complement in L. By introducing the concept of modular triples in posets, we extend our results obtained for lattices to posets. It should be remarked that the notion of a complement can be introduced also in posets that are not bounded.
Twin-Width is Linear in the Poset Width
Twin-width is a new parameter informally measuring how diverse are the neighbourhoods of the graph vertices, and it extends also to other binary relational structures, e.g. to digraphs and posets. It was introduced just very recently, in 2020 by Bonnet, Kim, Thomasse and Watrigant. One of the core results of these authors is that FO model checking on graph classes of bounded twin-width is in FPT. With that result, they also claimed that posets of bounded width have bounded twin-width, thus capturing prior result on FO model checking of posets of bounded width in FPT. However, their translation from poset width to twin-width was indirect and giving only a very loose double-exponential bound. We prove that posets of width d have twin-width at most 9d with a direct and elegant argument, and show that this bound is asymptotically tight. Specially, for posets of width 2 we prove that in the worst case their twin-width is also equal 2. These two theoretical results are complemented with straightforward algorithms to construct the respective contraction sequence for a given poset.
Topological posets and tropical phased matroids
Published
• View Publication
• BIB
For a discrete poset $\mathcal X$ McCord proved that the natural map $|{\mathcal X}|\to {\mathcal X}$ from the order complex to the poset equipped with the Up topology is a weak homotopy equivalence. Much later, Zivaljević defined the notion of order complex for a topological poset. For a large class of such topological posets we prove the analog of McCord's theorem, namely that the natural map from the order complex to the topological poset with the Up topology is a weak homotopy equivalence. A familiar topological example is the Grassmann poset of proper non-zero linear subspaces of R^{n+1} partially ordered by inclusion. But our motivation in topological combinatorics is to apply the theorem to posets associated with tropical phased matroids over the tropical phase hyperfield, and in particular to elucidate the tropical version of the MacPhersonian Conjecture. This is explained in Section 2.
Extensions of the Kahn--Saks inequality for posets of width two
Published in Comb. Theory 3 (2023), P1.8
• View Publication
• BIB
The Kahn--Saks inequality is a classical result on the number of linear extensions of finite posets. We give a new proof of this inequality for posets of width two using explicit injections of lattice paths. As a consequence we obtain a $q$-analogue, a multivariate generalization and an equality condition in this case. We also discuss the equality conditions of the Kahn--Saks inequality for general posets and prove several implications between conditions conjectured to be equivalent.
On the $q$-Enumeration of Barely Set-Valued Tableaux and Plane Partitions
Published in European Journal of Combinatorics, 113, 2023
• View Publication
• BIB
Barely set-valued tableaux are a variant of Young tableaux in which one box contains two numbers as its entry. It has recently been discovered that there are product formulas enumerating certain classes of barely set-valued tableaux. We give some $q$-analogs of these product formulas by introducing a version of major index for these tableaux. We also give product formulas and $q$-analogs for barely set-valued plane partitions. Many of the results are stated in the generality of $P$-partitions that then specialize to particularly nice formulas for rectangles and minuscule posets. The proofs use several probability distributions on the set of order ideals of a poset, depending on the real parameter $q>0$, which we think could be of independent interest.
The lattice of arithmetic progressions
Published in Australasian Journal of Combinatorics 84,3 (2022), 357-374
• Search Publication
This paper concerns the lattice $L_n$ of subsets of $\{1,\ldots,n\}$ that are arithmetic progressions, under the inclusion order. For $n\geq 4$, this poset is not graded and thus not semimodular. We give three independent proofs of the fact that for $n\geq 2$, $μ_n(L_n) = μ(n-1)$, where $μ_n$ is the Möbius function of $L_n$ and $μ$ is the classical (number-theoretic) Möbius function. We also show that $L_n$ is comodernistic, which implies that $L_n$ is EL-labelable. Comodernism is then used to prove that the order complex $Δ_n$ of the lattice is either contractible or homotopy equivalent to a sphere.
The Chromatic Quasisymmetric Class Function of a Digraph
Published
• View Publication
• BIB
We introduce a quasisymmetric class function associated with a group acting on a double poset or on a directed graph. The latter is a generalization of the chromatic quasisymmetric function of a digraph introduced by Ellzey, while the latter is a generalization of a quasisymmetric function introduced by Grinberg. We prove representation-theoretic analogues of classical and recent results, including $F$-positivity, and combinatorial reciprocity theorems. We also deduce results for orbital quasisymmetric functions. We also study a generalization of the notion of strongly flawless sequences.
Extending higher Bruhat orders to non-longest words in $S_n$
In this paper, we extend Manin and Schechtman's higher Bruhat orders for the symmetric group to higher Bruhat orders for non-longest words $w$ in $S_n$. We prove that the higher Bruhat orders of non-longest words are ranked posets with unique minimal and maximal elements. As in Manin and Schechtman's original paper, the $k$-th Bruhat order for $w$ is created out of equivalence classes of maximal chains in its $(k-1)$-st Bruhat order. We also define the second and third Bruhat orders for arbitrary realizable k-sets, and prove that the second Bruhat order has a unique minimal and maximal element. Lastly, we also outline how this extension may guide future research into developing higher Bruhat orders for affine type A Weyl groups.
Incidence Monoids: Automorphisms and Complexity
Published
• View Publication
• BIB
The algebraic monoid structure of an incidence algebra is investigated. We show that the multiplicative structure alone determines the algebra automorphisms of the incidence algebra. We present a formula that expresses the complexity of the incidence monoid with respect to the two sided action of its maximal torus in terms of the zeta polynomial of the poset. In addition, we characterize the finite (connected) posets whose incidence monoids have complexity $\leq 1$. Finally, we determine the covering relations of the adherence order on the incidence monoid of a star poset.
An algebra over the operad of posets and structural binomial identities
Published in Bol. Soc. Mat. Mex. 29, 8 (2023)
• View Publication
• BIB
We study generating functions of strict and non-strict order polynomials of series-parallel posets, called order series. These order series are closely related to Ehrhart series and h*-polynomials of the associated order polytopes. We explain how they can be understood as algebras over a certain operad of posets. Our main results are based on the fact that the order series of chains form a basis in the space of order series. This allows to reduce the search space of an algorithm that finds for a given power series f, if possible, a poset P such that f is the generating function of the order polynomial of P. In terms of Ehrhart theory of order polytopes, the coordinates with respect to this basis describe the number of (internal) simplices in the canonical triangulation of the order polytope of P. Furthermore, we derive a new proof of the reciprocity theorem of Stanley. As an application, we find new identities for binomial coefficients and for finite partitions that allow for empty sets, and we describe properties of the negative hypergeometric distribution.
On the enumeration of plane bipolar posets and transversal structures
Published
• View Publication
• BIB
We show that plane bipolar posets (i.e., plane bipolar orientations with no transitive edge) and transversal structures can be set in correspondence to certain (weighted) models of quadrant walks, via suitable specializations of a bijection due to Kenyon, Miller, Sheffield and Wilson. We then derive exact and asymptotic counting results. In particular we prove (computationally and then bijectively) that the number of plane bipolar posets on $n+2$ vertices equals the number of plane permutations of size $n$. Regarding transversal structures, for each $v\geq 0$ we consider $t_n(v)$ the number of such structures with $n+4$ vertices and weight $v$ per quadrangular inner face (the case $v=0$ corresponds to having only triangular inner faces). We obtain a recurrence to compute $t_n(v)$, and an asymptotic formula that for $v=0$ gives $t_n(0)\sim c\ \!(27/2)^nn^{-1-π/\mathrm{arccos}(7/8)}$ for some $c>0$, which also ensures that the associated generating function is not D-finite.
Combinatorial invariance conjecture for $\widetilde{A}_2$
Published
• View Publication
• BIB
The combinatorial invariance conjecture (due independently to G. Lusztig and M. Dyer) predicts that if $[x,y]$ and $[x',y']$ are isomorphic Bruhat posets (of possibly different Coxeter systems), then the corresponding Kazhdan-Lusztig polynomials are equal, that is, $P_{x,y}(q)=P_{x',y'}(q)$. We prove this conjecture for the affine Weyl group of type $\widetilde{A}_2$. This is the first infinite group with non-trivial Kazhdan-Lusztig polynomials where the conjecture is proved.