poset ↗ reference
2287 papers tagged with this keyword
Counting weighted maximal chains in the circular Bruhat order
Published
• View Publication
• BIB
The totally nonnegative Grassmannian $\mathrm{Gr}(k,n)_{\geq0}$ is the subset of the real Grassmannian $\mathrm{Gr}(k,n)$ consisting of points with all nonnegative Plücker coordinates. The circular Bruhat order is a poset isomorphic to the face poset of A. Postnikov's (2005) positroid cell decomposition of $\mathrm{Gr}(k,n)_{\geq0}$. We provide a closed formula for the sum of its weighted chains in the spirit of J. Stembridge (2002).
Multipath cohomology of directed graphs
Published in Algebr. Geom. Topol. 24 (2024) 4373-4421
• View Publication
• BIB
This work is part of a series of papers focusing on multipath cohomology of directed graphs. Multipath cohomology is defined as the (poset) homology of the path poset -- i.e., the poset of disjoint simple paths in a graph -- with respect to a certain functor. This construction is essentially equivalent, albeit more computable, to taking the higher limits of said functor on (a certain modification of) the path poset. We investigate the functorial properties of multipath cohomology. We provide a number of sample computations, show that the multipath cohomology does not vanish on trees, and that, when evaluated at the coherently oriented polygon, it recovers Hochschild homology. Finally, we use the same techniques employed to study the functoriality to investigate the connection with the chromatic homology of (undirected) graphs introduced by L. Helme-Guizon and Y. Rong.
Three families of toric rings arising from posets or graphs with small class groups
Published
• View Publication
• BIB
The main objects of the present paper are (i) Hibi rings (toric rings arising from order polytopes of posets), (ii) stable set rings (toric rings arising from stable set polytopes of perfect graphs), and (iii) edge rings (toric rings arising from edge polytopes of graphs satisfying the odd cycle condition). The goal of the present paper is to analyze those three toric rings and to discuss their structures in the case where their class groups have small rank. We prove that the class groups of (i), (ii) and (iii) are torsionfree. More precisely, we give descriptions of their class groups. Moreover, we characterize the posets or graphs whose associated toric rings have rank $1$ or $2$. By using those characterizations, we discuss the differences of isomorphic classes of those toric rings with small class groups.
Groups generated by involutions, numberings of posets, and central measures
Published in Russian Math Surv. vol 76, #4 (2021) 143-144
• View Publication
• BIB
We define a new class of countable groups, which are defined by its action on the set of monotonic numberings (diagrams) of an arbitrary finite or countable partial ordered set (poset). These groups are generated by the set of involutions? and in the case of finite posets could be considered as generalization of Coxeter's symmetric groups. We discuss the problems concerned to infinite groups jf this type, in particular the problem of the descripton of invariant measures on the space of numberings (central measures)with respect to actions of those groups. The probelms are tightly connected with the new theory of representations of the generalizations of infinite symmetric group.
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.