poset ↗ reference
2216 papers tagged with this keyword
Some enumerative results related to ascent sequences
Published
• View Publication
• BIB
An ascent sequence is one consisting of non-negative integers in which the size of each letter is restricted by the number of ascents preceding it in the sequence. Ascent sequences have recently been shown to be related to (2+2)-free posets and a variety of other combinatorial structures. In this paper, we prove in the affirmative some recent conjectures concerning pattern avoidance for ascent sequences. Given a pattern $τ$, let $\mathcal{S}_τ(n)$ denote the set of ascent sequences of length $n$ avoiding $τ$. Here, we show that the joint distribution of the statistic pair $(\asc,\zero)$ on $\mathcal{S}_{0012}(n)$ is the same as $(\asc,\RLm)$ on the set of 132-avoiding permutations of length $n$. In particular, the ascent statistic on $\mathcal{S}_{0012}(n)$ has the Narayana distribution. We also enumerate $S_τ(n)$ when $τ=1012$ and $τ=0123$ and confirm the conjectured formulas in these cases. We combine combinatorial and algebraic techniques to prove our results, in two cases, making use of the kernel method. Finally, we discuss the case of avoiding 210 and determine two related recurrences.
Search Algorithms for Conceptual Graph Databases
Published
• View Publication
• BIB
We consider a database composed of a set of conceptual graphs. Using conceptual graphs and graph homomorphism it is possible to build a basic query-answering mechanism based on semantic search. Graph homomorphism defines a partial order over conceptual graphs. Since graph homomorphism checking is an NP-Complete problem, the main requirement for database organizing and managing algorithms is to reduce the number of homomorphism checks. Searching is a basic operation for database manipulating problems. We consider the problem of searching for an element in a partially ordered set. The goal is to minimize the number of queries required to find a target element in the worst case. First we analyse conceptual graph database operations. Then we propose a new algorithm for a subclass of lattices. Finally, we suggest a parallel search algorithm for a general poset. Keywords. Conceptual Graph, Graph Homomorphism, Partial Order, Lattice, Search, Database.
Updown categories: Generating functions and universal covers
Published in Discrete Math. 339 (2016), 906-922
• View Publication
• BIB
A poset can be regarded as a category in which there is at most one morphism between objects, and such that at most one of Hom(c,c') and Hom(c',c) is nonempty for distinct objects c,c'. If we keep in place the latter axiom but allow for more than one morphism between objects, we have a sort of generalized poset in which there are multiplicities attached to covering relations, and possibly nontrivial automorphism groups. We call such a category an "updown category". In this paper we give a precise definition of such categories and develop a theory for them. We also give a detailed account of ten examples, including updown categories of integer partitions, integer compositions, planar rooted trees, and rooted trees.
Splitting Algebras: Koszul, Cohen-Macaulay and Numerically Koszul
Published
• View Publication
• BIB
We study a finite dimensional quadratic graded algebra R defined from a finite ranked poset. This algebra has been central to the study of the splitting algebra of the poset, A, as introduced by Gelfand, Retakh, Serconek and Wilson . The algebra A is known to be quadratic when the poset satisfies a combinatorial condition known as uniform, and R is the quadratic dual of an associated graded algebra of A. We prove that R is Koszul and the poset is uniform if and only if the poset is Cohen-Macaulay. Koszulity of R implies Koszulity of A. We also show that when R is Koszul, the cohomology of the order complex of the poset can be identified with certain cohomology groups defined internally to the ring R. Finally, we settle in the negative the long-standing question: Does numerically Koszul imply Koszul for algebras of the form R?
On crown-free families of subsets
Published
• View Publication
• BIB
The crown $\Oh_{2t}$ is a height-2 poset whose Hasse diagram is a cycle of length $2t$. A family $\F$ of subsets of $[n]:=\{1,2..., n\}$ is {\em $\Oh_{2t}$-free} if $\Oh_{2t}$ is not a weak subposet of $(\F,\subseteq)$. Let $\La(n,\Oh_{2t})$ be the largest size of $\Oh_{2t}$-free families of subsets of $[n]$. De Bonis-Katona-Swanepoel proved $\La(n,\Oh_{4})= {n\choose \lfloor \frac{n}{2} \rfloor} + {n\choose \lceil \frac{n}{2} \rceil}$. Griggs and Lu proved that $\La(n,\Oh_{2t})=(1+o(1))\nchn$ for all even $t\ge 4$. In this paper, we prove $\La(n,\Oh_{2t})=(1+o(1))\nchn$ for all odd $t\geq 7$.
Arithmetic of marked order polytopes, monotone triangle reciprocity, and partial colorings
Published
• View Publication
• BIB
For a poset P, a subposet A, and an order preserving map F from A into the real numbers, the marked order polytope parametrizes the order preserving extensions of F to P. We show that the function counting integral-valued extensions is a piecewise polynomial in F and we prove a reciprocity statement in terms of order-reversing maps. We apply our results to give a geometric proof of a combinatorial reciprocity for monotone triangles due to Fischer and Riegler (2011) and we consider the enumerative problem of counting extensions of partial graph colorings of Herzberg and Murty (2007).
On 021-Avoiding Ascent Sequences
Published
• View Publication
• BIB
Ascent sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev in their study of $(\bf{2+2})$-free posets. An ascent sequence of length $n$ is a nonnegative integer sequence $x=x_{1}x_{2}... x_{n}$ such that $x_{1}=0$ and $x_{i}\leq \asc(x_{1}x_{2}...x_{i-1})+1$ for all $1<i\leq n$, where $\asc(x_{1}x_{2}...x_{i-1})$ is the number of ascents in the sequence $x_{1}x_{2}... x_{i-1}$. We let $\cA_n$ stand for the set of such sequences and use $\cA_n(p)$ for the subset of sequences avoiding a pattern $p$. Similarly, we let $S_{n}(τ)$ be the set of $τ$-avoiding permutations in the symmetric group $S_{n}$. Duncan and Steingrímsson have shown that the ascent statistic has the same distribution over $\cA_n(021)$ as over $S_n(132)$. Furthermore, they conjectured that the pair $(\asc, \rlm)$ is equidistributed over $\cA_n(021)$ and $S_n(132)$ where $\rlm$ is the right-to-left minima statistic. We prove this conjecture by constructing a bistatistic-preserving bijection.
Combinatorial Markov chains on linear extensions
Published in Journal of Algebraic Combinatorics, Volume 39, Issue 4 (2014), Page 853-881
• View Publication
• BIB
We consider generalizations of Schuetzenberger's promotion operator on the set L of linear extensions of a finite poset of size n. This gives rise to a strongly connected graph on L. By assigning weights to the edges of the graph in two different ways, we study two Markov chains, both of which are irreducible. The stationary state of one gives rise to the uniform distribution, whereas the weights of the stationary state of the other has a nice product formula. This generalizes results by Hendricks on the Tsetlin library, which corresponds to the case when the poset is the anti-chain and hence L=S_n is the full symmetric group. We also provide explicit eigenvalues of the transition matrix in general when the poset is a rooted forest. This is shown by proving that the associated monoid is R-trivial and then using Steinberg's extension of Brown's theory for Markov chains on left regular bands to R-trivial monoids.
Dyck tilings, increasing trees, descents, and inversions
Published in Journal of Combinatorial Theory A, 122:9-27, 2014
• View Publication
• BIB
Cover-inclusive Dyck tilings are tilings of skew Young diagrams with ribbon tiles shaped like Dyck paths, in which tiles are no larger than the tiles they cover. These tilings arise in the study of certain statistical physics models and also Kazhdan--Lusztig polynomials. We give two bijections between cover-inclusive Dyck tilings and linear extensions of tree posets. The first bijection maps the statistic (area + tiles)/2 to inversions of the linear extension, and the second bijection maps the "discrepancy" between the upper and lower boundary of the tiling to descents of the linear extension.
Abelian ideals of a Borel subalgebra and root systems
Published
• View Publication
• BIB
Let $g$ be a simple Lie algebra and $Ab$ the poset of non-trivial abelian ideals of a fixed Borel subalgebra of $g$. In 2003 (IMRN, no.35, 1889--1913), we constructed a partition of $Ab$ into the subposets $Ab_μ$, parameterised by the long positive roots of $g$, and established some properties of these subposets. In this note, we show that this partition is compatible with intersections, relate it to the Kostant-Peterson parameterisation of abelian ideals and to the centralisers of abelian ideals. We also prove that the poset of positive roots of $g$ is a join-semilattice.
On Maximal Green Sequences
Maximal green sequences are particular sequences of quiver mutations appearing in the context of quantum dilogarithm identities and supersymmetric gauge theory.
Interpreting maximal green sequences as paths in various natural posets arising in representation theory, we prove the finiteness of the number of maximal green sequences for cluster finite quivers, affine quivers and acyclic quivers with at most three vertices. We also give results concerning the possible numbers and lengths of these maximal green sequences.
MacWilliams-type equivalence relations
Let $\mathcal{P}$ be a poset on $[n]$, $\mathcal{I}(\mathcal{P})$ the set of order ideals of $\mathcal{P}$ and $E$ an equivalence relation on $\mathcal{I}(\mathcal{P})$. The concepts of the dual relation $E^*$ of an equivalence relation $E$, the $E$-weight (resp. $E^*$-weight) distribution of a linear poset code (resp. its dual poset code) and a MacWilliams-type equivalence relation are introduced. We give a characterization for a MacWilliams-type equivalence relation in terms of MacWilliams-type identities for a linear poset code. Three kinds of equivalence relations on $\mathcal{I}(\mathcal{P})$ which are of MacWilliams-type are found, i.e., $(i)$ we show that every equivalence relation defined by the automorphism of $\mathcal{P}$ is a MacWilliams-type; $(ii)$ we provide a new characterization for poset structures when the equivalence relation defined by the same cardinality on $\mathcal{I}(\mathcal{P})$ becomes a MacWilliams-type; $(iii)$ we also give necessary and sufficient conditions for poset structures in which the equivalence relation defined by the order-isomorphism on $\mathcal{I}(\mathcal{P})$ is a MacWilliams-type.
Combinatorial Topology and the Global Dimension of Algebras Arising in Combinatorics
Published
• View Publication
• BIB
In a highly influential paper, Bidigare, Hanlon and Rockmore showed that a number of popular Markov chains are random walks on the faces of a hyperplane arrangement. Their analysis of these Markov chains took advantage of the monoid structure on the set of faces. This theory was later extended by Brown to a larger class of monoids called left regular bands. In both cases, the representation theory of these monoids played a prominent role. In particular, it was used to compute the spectrum of the transition operators of the Markov chains and to prove diagonalizability of the transition operators.
In this paper, we establish a close connection between algebraic and combinatorial invariants of a left regular band: we show that certain homological invariants of the algebra of a left regular band coincide with the cohomology of order complexes of posets naturally associated to the left regular band. For instance, we show that the global dimension of these algebras is bounded above by the Leray number of the associated order complex. Conversely, we associate to every flag complex a left regular band whose algebra has global dimension precisely the Leray number of the flag complex.
Lexicographic Shellability of Partial Involutions
Published
• View Publication
• BIB
In this manuscript we study inclusion posets of Borel orbit closures on (symmetric) matrices. In particular, we show that the Bruhat poset of partial involutions is a lexicographiically shellable poset. Also, studying the embeddings of symmetric groups and involutions into rooks and partial involutions, respectively, we find new $EL$-labelings on permutations as well as on involutions.
The method of double chains for largest families with excluded subposets
Published
• View Publication
• BIB
For a given finite poset $P$, $La(n,P)$ denotes the largest size of a family $\mathcal{F}$ of subsets of $[n]$ not containing $P$ as a weak subposet. We exactly determine $La(n,P)$ for infinitely many $P$ posets. These posets are built from seven base posets using two operations. For arbitrary posets, an upper bound is given for $La(n,P)$ depending on $|P|$ and the size of the longest chain in $P$. To prove these theorems we introduce a new method, counting the intersections of $\mathcal{F}$ with double chains, rather than chains.
AZ-identities and Strict 2-part Sperner Properties of Product Posets
Published
• View Publication
• BIB
One of the central issues in extremal set theory is Sperner's theorem and its generalizations. Among such generalizations is the best-known BLYM inequality and the Ahlswede--Zhang (AZ) identity which surprisingly generalizes the BLYM inequality into an identity. Sperner's theorem and the BLYM inequality has been also generalized to a wide class of posets. Another direction in this research was the study of more part Sperner systems. In this paper we derive AZ type identities for regular posets. We also characterize all maximum 2-part Sperner systems for a wide class of product posets.
Enumeration of saturated chains in Dyck lattices
Published in Advances in Applied Mathematics, 62 (2015) 118-140
• View Publication
• BIB
We determine a general formula to compute the number of saturated chains in Dyck lattices, and we apply it to find the number of saturated chains of length 2 and 3. We also compute what we call the Hasse index (of order 2 and 3) of Dyck lattices, which is the ratio between the total number of saturated chains (of length 2 and 3) and the cardinality of the underlying poset.
A partial order structure on interval orders
We introduce a partial order structure on the set of interval orders of a given size, and prove that such a structure is in fact a lattice. We also provide a way to compute meet and join inside this lattice. Finally, we show that, if we restrict to series parallel interval order, what we obtain is the classical Tamari poset.
Tropical geometry of PERT
Based on a description of project networks by max-plus algebra and poset, the adjacency of critical paths is presented using tropical geometry.
Ext-quivers of hearts of A-type and the orientation of associahedron
Published in J. Algebra, 393 (2013), pp. 60-70
• View Publication
• BIB
We classify the Ext-quivers of hearts in the bounded derived category D(A_n) and the finite-dimensional derived category D(Γ_N A_n) of the Calabi-Yau-N Ginzburg algebra D(Γ_N A_n). This provides the classification for Buan-Thomas' colored quiver for higher clusters of A-type. We also give explicit combinatorial constructions from a binary tree with n+2 leaves to a torsion pair in mod k\overrightarrow{A_n} and a cluster tilting set in the corresponding cluster category, for the straight oriented A-type quiver \overrightarrow{A_n}. As an application, we show that the orientation of the n-dimensional ssociahedron induced by poset structure of binary trees coincides with the orientation induced by poset structure of torsion pairs in mod k\overrightarrow{A_n} (under the correspondence above).