poset ↗ reference
2264 papers tagged with this keyword
On a generalization of P(3,n)
By using techniques of poset representation theory, we present a formula for the number of partitions of a positive integer into three polygonal numbers.
Composition of transpositions and equality of ribbon Schur Q-functions
Published in Electron. J. Combin. 16:R110 (2009)
• View Publication
• BIB
We introduce a new operation on skew diagrams called composition of transpositions, and use it and a Jacobi-Trudi style formula to derive equalities on skew Schur Q-functions whose indexing shifted skew diagram is an ordinary skew diagram. When this skew diagram is a ribbon, we conjecture necessary and sufficient conditions for equality of ribbon Schur Q-functions. Moreover, we determine all relations between ribbon Schur Q-functions; show they supply a Z-basis for skew Schur Q-functions; assert their irreducibility; and show that the non-commutative analogue of ribbon Schur Q-functions is the flag h-vector of Eulerian posets.
Differential posets and Smith normal forms
Published
• View Publication
• BIB
We conjecture a strong property for the up and down maps U and D in an r-differential poset: DU+tI and UD+tI have Smith normal forms over Z[t]. In particular, this would determine the integral structure of the maps U, D, UD, DU, including their ranks in any characteristic.
As evidence, we prove the conjecture for the Young-Fibonacci lattice YF studied by Okada and its r-differential generalizations Z(r), as well as verifying many of its consequences for Young's lattice Y and the r-differential Cartesian products Y^r.
The numbers game and Dynkin diagram classification results
The numbers game is a one-player game played on a finite simple graph with certain "amplitudes" assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. Combinatorial reasoning is used to show that those connected graphs with negative integer amplitudes for which the numbers game meets a certain finiteness requirement are precisely the Dynkin diagrams associated with the finite-dimensional complex simple Lie algebras. This strengthens a result originally due to the second author. A more general result is obtained when certain real number amplitudes are allowed. The resulting graphs are in families, each family corresponding to a finite irreducible Coxeter group. These results are used to demonstrate that the only generalized Cartan matrices for which there exist finite edge-colored ranked posets enjoying a certain structure property are the Cartan matrices for the finite-dimensional complex semisimple Lie algebras. In this setting, classifications of the finite-dimensional Kac--Moody algebras and of the finite Coxeter and Weyl groups are re-derived.
Properties of weight posets for weight multiplicity free representations
Published
• View Publication
• BIB
We study weight posets of weight multiplicity free (=wmf) representations $R$ of reductive Lie algebras. Specifically, we are interested in relations between $\dim R$ and the number of edges in the Hasse diagram of the corresponding weight poset, $# E(R)$. We compute the number of edges and upper covering polynomials for the weight posets of all wmf-representations. We also point out non-trivial isomorphisms between weight posets of different irreducible wmf-representations.
Our main results concern wmf-representations associated with periodic gradings or Z-gradings of simple Lie algebras. For Z-gradings, we prove that $0< 2dim R-# E(R) < h$, where $h$ is the Coxeter number of $\mathfrak g$. For periodic gradings, we prove that $0\le 2dim R-# E(R)$.
The area above the Dyck path of a permutation
Published
• View Publication
• BIB
In this paper we study a mapping from permutations to Dyck paths. A Dyck path gives rise to a (Young) diagram and we give relationships between statistics on permutations and statistics on their corresponding diagrams. The distribution of the size of this diagram is discussed and a generalisation given of a parity result due to Simion and Schmidt. We propose a filling of the diagram which determines the permutation uniquely. Diagram containment on a restricted class of permutations is shown to be related to the strong Bruhat poset.
Fulton-MacPherson compactification, cyclohedra, and the polygonal pegs problem
The cyclohedron (Bott-Taubes polytope) arises both as the polyhedral realization of the poset of all cyclic bracketings of a circular word and as an essential part of the Fulton-MacPherson compactification of the configuration space of n distinct, labelled points on the circle S^1. The "polygonal pegs problem" asks whether every simple, closed curve in the plane or in the higher dimensional space admits an inscribed polygon of a given shape. We develop a new approach to the polygonal pegs problem based on the Fulton-MacPherson (Axelrod-Singer, Kontsevich) compactification of the configuration space of (cyclically) ordered n-element subsets in S^1. Among the results obtained by this method are proofs of Grunbaum's conjecture about affine regular hexagons inscribed in smooth Jordan curves and a new proof of the conjecture of Hadwiger about inscribed parallelograms in smooth, simple, closed curves in the 3-space (originally established by Victor Makeev).
The Fundamental Group of Balanced Simplicial Complexes and Posets
Published in Electronic Journal of Combinatorics, 16 (2009-10) no. 2, Research Paper 7, 12pp
• View Publication
• BIB
We establish an upper bound on the cardinality of a minimal generating set for the fundamental group of a large family of connected, balanced simplicial complexes and, more generally, simplicial posets.
Simplicial simple-homotopy of flag complexes in terms of graphs
Published in European Journal of Combinatorics, doi:10.1016/j.ejc.2009.05.003 and doi:10.1016/j.ejc.2019.05.004
• View Publication
• BIB
A flag complex can be defined as a simplicial complex whose simplices correspond to complete subgraphs of its 1-skeleton taken as a graph. In this article, by introducing the notion of s-dismantlability, we shall define the s-homotopy type of a graph and show in particular that two finite graphs have the same s-homotopy type if, and only if, the two flag complexes determined by these graphs have the same simplicial simple-homotopy type (Theorem 2.10, part 1). This result is closely related to similar results established by Barmak and Minian (Adv. in Math., 218 (2008), 87-104) in the framework of posets and we give the relation between the two approaches (theorems 3.5 and 3.7). We conclude with a question about the relation between the s-homotopy and the graph homotopy defined by Chen, Yau and Yeh (Discrete Math., 241(2001), 153-170).
Diametral Pairs of Linear Extensions
Published
• View Publication
• BIB
Given a finite poset P, we consider pairs of linear extensions of P with maximal distance, where the distance between two linear extensions L_1, L_2 is the number of pairs of elements of P appearing in different orders in L_1 and L_2. A diametral pair maximizes the distance among all pairs of linear extensions of P. Felsner and Reuter defined the linear extension diameter of P as the distance between a diametral pair of linear extensions.
We show that computing the linear extension diameter is NP-complete in general, but can be solved in polynomial time for posets of width 3.
Felsner and Reuter conjectured that, in every diametral pair, at least one of the linear extensions reverses a critical pair. We construct a counterexample to this conjecture. On the other hand, we show that a slightly stronger property holds for many classes of posets: We call a poset "diametrally reversing" if, in every diametral pair, both linear extensions reverse a critical pair. Among other results we show that interval orders and 3-layer posets are diametrally reversing. From the latter it follows that almost all posets are diametrally reversing.
Quantized dual graded graphs
Published
• View Publication
• BIB
We study quantized dual graded graphs, which are graphs equipped with linear operators satisfying the relation DU - qUD = rI. We construct examples based upon: the Fibonacci poset, permutations, standard Young tableau, and plane binary trees.
Marked tubes and the graph multiplihedron
Published in Algebraic and Geometric Topology 8 (2008) 2081-2108
• View Publication
• BIB
Given a graph G, we construct a convex polytope whose face poset is based on marked subgraphs of G. Dubbed the graph multiplihedron, we provide a realization using integer coordinates. Not only does this yield a natural generalization of the multiphihedron, but features of this polytope appear in works related to quilted disks, bordered Riemann surfaces, and operadic structures. Certain examples of graph multiplihedra are related to Minkowski sums of simplices and cubes and others to the permutohedron.
On families of subsets with a forbidden subposet
Published
• View Publication
• BIB
Let $\F\subset 2^{[n]}$ be a family of subsets of $\{1,2,..., n\}$. For any poset $H$, we say $\F$ is $H$-free if $\F$ does not contain any subposet isomorphic to $H$. Katona and others have investigated the behavior of $\La(n,H)$, which denotes the maximum size of $H$-free families $\F\subset 2^{[n]}$. Here we use a new approach, which is to apply methods from extremal graph theory and probability theory to identify new classes of posets $H$, for which $\La(n,H)$ can be determined asymptotically as $n\to\infty$ for various posets $H$, including two-end-forks, up-down trees, and cycles $C_{4k}$ on two levels.
Nonhomogeneous analytic families of trees
Published
• View Publication
• BIB
We consider a dichotomy for analytic families of trees stating that either there is a colouring of the nodes for which all but finitely many levels of every tree are nonhomogeneous, or else the family contains an uncountable antichain. This dichotomy implies that every nontrivial Souslin poset satisfying the countable chain condition adds a splitting real.
We then reduce the dichotomy to a conjecture of Sperner Theory. This conjecture is concerning the asymptotic behaviour of the product of the sizes of the m-shades of pairs of cross-t-intersecting families.
Promotion and Evacuation
Published
• View Publication
• BIB
Promotion and evacuation are bijections on the set of linear extensions of a finite poset first defined by Schutzenberger. This paper surveys the basic properties of these two operations and discusses some generalizations.
Relations on Generalized Degree Sequences
Published
• View Publication
• BIB
We study degree sequences for simplicial posets and polyhedral complexes, generalizing the well-studied graphical degree sequences. Here we extend the more common generalization of vertex-to-facet degree sequences by considering arbitrary face-to-flag degree sequences. In particular, these may be viewed as natural refinements of the flag f-vector of the poset. We investigate properties and relations of these generalized degree sequences, proving linear relations between flag degree sequences in terms of the composition of rank jumps of the flag. As a corollary, we recover an f-vector inequality on simplicial posets first shown by Stanley.
On multi F-nomial coefficients and Inversion formula for F-nomial coefficients
In response to [6], we discover the looked for inversion formula for F-nomial coefficients. Before supplying its proof, we generalize F-nomial coefficients to multi F-nomial coefficients and we give their combinatorial interpretation in cobweb posets language, as the number of maximal-disjoint blocks of the form sP_{k_1,k_2,...,k_s} of layer <Phi_1-->Phi_n>. Then we present inversion formula for F-nomial coefficients using multi F-nomial coefficients for all cobweb-admissible sequences. To this end we infer also some identities as conclusions of that inversion formula for the case of binomial, Gaussian and Fibonomial coefficients.
Posets and Permutations in the Duplication-Loss Model: Minimal Permutations with d Descents
Published
• View Publication
• BIB
In this paper, we are interested in the combinatorial analysis of the whole genome duplication - random loss model of genome rearrangement initiated in a paper of Chaudhuri, Chen, Mihaescu, and Rao in SODA 2006 and continued by Bouvel and Rossin in 2007. In this model, genomes composed of n genes are modeled by permutations of the set of integers [1..n], that can evolve through duplication-loss steps. It was previously shown that the class of permutations obtained in this model after a given number p of steps is a class of pattern-avoiding permutations of finite basis. The excluded patterns were described as the minimal permutations with d=2^p descents, minimal being intended in the sense of the pattern-involvement relation on permutations. Here, we give a local and simpler characterization of the set B_d of minimal permutations with d descents. We also provide a more detailed analysis - characterization, bijection and enumeration - of two particular subsets of B_d, namely the patterns in B_d of size d+2 and 2d.
The Möbius Function of a Restricted Composition Poset
We study a poset of compositions restricted by part size under a partial ordering introduced by Björner and Stanley. We show that our composition poset $C_{d+1}$ is isomorphic to the poset of words $A_d^*$. This allows us to use techniques developed by Björner to study the Möbius function of $C_{d+1}$. We use counting arguments and shellability as avenues for proving that the Möbius function is $μ(u,w)=(-1)^{|u|+|w|}{w\choose u}_{dn}$, where ${w\choose u}_{dn}$ is the number of $d$-normal embeddings of $u$ in $w$. We then prove that the formal power series whose coefficients are given by the zeta and the Möbius functions are both rational. Following in the footsteps of Björner and Reutenauer and Björner and Sagan, we rely on definitions to prove rationality in one case, and in another case we use finite-state automata.
Homotopy Type of the Boolean Complex of a Coxeter System
Published
• View Publication
• BIB
In any Coxeter group, the set of elements whose principal order ideals are boolean forms a simplicial poset under the Bruhat order. This simplicial poset defines a cell complex, called the boolean complex. In this paper it is shown that, for any Coxeter system of rank n, the boolean complex is homotopy equivalent to a wedge of (n-1)-dimensional spheres. The number of such spheres can be computed recursively from the unlabeled Coxeter graph, and defines a new graph invariant called the boolean number. Specific calculations of the boolean number are given for all finite and affine irreducible Coxeter systems, as well as for systems with graphs that are disconnected, complete, or stars. One implication of these results is that the boolean complex is contractible if and only if a generator of the Coxeter system is in the center of the group. of these results is that the boolean complex is contractible if and only if a generator of the Coxeter system is in the center of the group.