arXiv++ Combinatorics

Browse math.CO papers from arXiv

poset ↗ reference

2216 papers tagged with this keyword
2011-10-23
On Stanley's Inequalities for Character Multiplicities
Published • View PublicationBIB
Let G be a group of automorphisms of a ranked poset Q and let N_{k} denote the number of orbits on the elements of rank k in Q. What can be said about the N_{k} for standard posets, such as finite projective spaces or the Boolean lattice? We discuss the connection of this question to the representation theory of the group, and in particular to the inequalities of Livingstone-Wagner and Stanley. We show that these are special cases of more general inequalities which depend on the prime divisors of the group order. The new inequalities often yield stronger bounds depending on the order of the group.
2011-10-20
The Young bouquet and its boundary
Published in Moscow Mathematical Journal 13 (2013), Issue 2, 193-232 • View PublicationBIB
The classification results for the extreme characters of two basic "big" groups, the infinite symmetric group S(infinity) and the infinite-dimensional unitary group U(infinity), are remarkably similar. It does not seem to be possible to explain this phenomenon using a suitable extension of the Schur-Weyl duality to infinite dimension. We suggest an explanation of a different nature that does not have analogs in the classical representation theory. We start from the combinatorial/probabilistic approach to characters of "big" groups initiated by Vershik and Kerov. In this approach, the space of extreme characters is viewed as a boundary of a certain infinite graph. In the cases of S(infinity) and U(infinity), those are the Young graph and the Gelfand-Tsetlin graph, respectively. We introduce a new related object that we call the Young bouquet. It is a poset with continuous grading whose boundary we define and compute. We show that this boundary is a cone over the boundary of the Young graph, and at the same time it is also a degeneration of the boundary of the Gelfand-Tsetlin graph. The Young bouquet has an application to constructing infinite-dimensional Markov processes with determinantal correlation functions.
2011-10-16
On Structural Descriptions of Lower Ideals of Series Parallel Posets
Published • View PublicationBIB
In this paper we give an algorithm to determine, for any given suborder closed class of series-parallel posets, a structure theorem for the class. We refer to these structure theorems as structural descriptions.
2011-10-14 v2
Some inequalities for orderings of acyclic digraphs
Published • View PublicationBIB
Let $D=(V,A)$ be an acyclic digraph. For $x\in V$ define $e_{_{D}}(x)$ to be the difference of the indegree and the outdegree of $x$. An acyclic ordering of the vertices of $D$ is a one-to-one map $g: V \rightarrow [1,|V|] $ that has the property that for all $x,y\in V$ if $(x,y)\in A$, then $g(x) < g(y)$. We prove that for every acyclic ordering $g$ of $D$ the following inequality holds: \[\sum_{x\in V} e_{_{D}}(x)\cdot g(x) ~\geq~ \frac{1}{2} \sum_{x\in V}[e_{_{D}}(x)]^2~.\] The class of acyclic digraphs for which equality holds is determined as the class of comparbility digraphs of posets of order dimension two.
2011-10-13
The Tamari lattice as it arises in quiver representations
Published • View PublicationBIB
In this paper, we explain how the Tamari lattice arises in the context of the representation theory of quivers, as the poset whose elements are the torsion classes of a directed path quiver, with the order relation given by inclusion.
2011-10-04 v2
Nonpolytopal nonsimplicial lattice spheres with nonnegative toric g-vector
Published • View PublicationBIB
We construct many nonpolytopal nonsimplicial Gorenstein* meet semi-lattices with nonnegative toric g-vector, supporting a conjecture of Stanley. These are formed as Bier spheres over the face posets of multiplexes, polytopes constructed by Bisztriczky as generalizations of simplices.
2011-09-26 v2
Antichain cutsets of strongly connected posets
Published in Order 30 (2013), no. 2, 351-361 • View PublicationBIB
Rival and Zaguia showed that the antichain cutsets of a finite Boolean lattice are exactly the level sets. We show that a similar characterization of antichain cutsets holds for any strongly connected poset of locally finite height. As a corollary, we get such a characterization for semimodular lattices, supersolvable lattices, Bruhat orders, locally shellable lattices, and many more. We also consider a generalization to strongly connected hypergraphs having finite edges.
On the structure of Borel stable abelian subalgebras in infinitesimal symmetric spaces
Published in Selecta Mathematica, Vol.19, Issue 2 (2013), 399-437 • View PublicationBIB
Let g=g_0+g_1 be a Z_2-graded Lie algebra. We study the posets of abelian subalgebras of g_1 which are stable w.r.t. a Borel subalgebra of g_0. In particular, we find out a natural parametrization of maximal elements and dimension formulas for them. We recover as special cases several results of Kostant, Panyushev, Suter.
2011-09-21 v3
Operations on Graphs Increasing Some Graph Parameters
In this partly expository paper we discuss and describe some of our old and recent results on partial orders on the set (m,n)-graphs (i.e. graphs with n vertices and m edges) and some operations on graphs that are monotone with respect to these partial orders. The partial orders under consideration include those related with some Laplacian characteristics of graphs as well as with some probabilistic characteristics of graphs with randomly deleted edges. Section 2 provides some notions, notation, and simple observations. Section 3 contains some basic facts on the Laplacian polynomial of a graph. Section 4 describes various graph operation and their properties. In Section 5 we introduce some partial orders on the set of (m,n)-graphs related, in particular, with the graph Laplacian and the graph reliability (Laplacian posets and reliability posets}). Section 6 contains some old and recent results on the monotonicity of some graph operations with respect to Laplacian posets. Section 7 and 8 include some old and recent results on the monotonicity of some graph operations with respect to reliability posets and to some other parameters of graphs as well as some open problems. Section 9 contains some generalizations of the described results on weighted graphs. Keywords: graph, graph operations, graph posets, random graphs, decomposable graphs, threshold graphs, weighted graphs, spanning subgraphs, Laplacian polynomial and spectrum, adjacency polynomial and spectrum, graph reliability, trees, forests, Hamiltonian cycle and path, symmetric polynomials
2011-09-16 v2
Pattern avoidance in ascent sequences
Published • View PublicationBIB
Ascent sequences are sequences of nonnegative integers with restrictions on the size of each letter, depending on the number of ascents preceding it in the sequence. Ascent sequences have recently been related to (2+2)-free posets and various other combinatorial structures. We study pattern avoidance in ascent sequences, giving several results for patterns of lengths up to 4, for Wilf equivalence and for growth rates. We establish bijective connections between pattern avoiding ascent sequences and various other combinatorial objects, in particular with set partitions. We also make a number of conjectures related to all of these aspects.
2011-09-06 v2
A geometric and combinatorial view of weighted voting
A natural partial ordering exists on the set of all weighted games and, more broadly, on all linear games. We describe several properties of the partially ordered sets formed by these games and utilize this perspective to enumerate proper linear games with one generator. We introduce a geometric approach to weighted voting by considering the convex polytope of all possible realizations of a weighted game and connect this geometric perspective to the weighted games poset in several ways. In particular, we prove that generic vertical lines in $C_n$, the union of all weighted $n$-player polytopes, correspond to maximal saturated chains in the poset of weighted games, i.e., the poset is a blueprint for how the polytopes fit together to form $C_n$. We show how to compare the relationships between the powers of the players using the polytope directly. Finally, we describe the facets of each polytope, from which we develop a method for determining the weightedness of any linear game that covers or is covered by a weighted game.
2011-08-31
Dichotomy of the addition of natural numbers
Published • View PublicationBIB
This is an elementary presentation of the arithmetic of trees. We show how it is related to the Tamari poset. In the last part we investigate various ways of realizing this poset as a polytope (associahedron), including one inferred from Tamari's thesis.
2011-08-29
The YY game
We introduce a new one-person game similar to the Sudoku game. It is based on combinatorial objects called planar binary rooted trees. It is related to the four color conjecture. Its mathematical analysis makes use of the Tamari poset, hence the Stasheff associahedron.
2011-08-29 v2
On a Subposet of the Tamari Lattice
Published in Order (2014) 31:337-363 • View PublicationBIB
We explore some of the properties of a subposet of the Tamari lattice introduced by Pallo, which we call the comb poset. We show that three binary functions that are not well-behaved in the Tamari lattice are remarkably well-behaved within an interval of the comb poset: rotation distance, meets and joins, and the common parse words function for a pair of trees. We relate this poset to a partial order on the symmetric group studied by Edelman.
2011-08-29 v2
On the shard intersection order of a Coxeter group
Published • View PublicationBIB
Introduced by Reading, the shard intersection order of a finite Coxeter group $W$ is a lattice structure on the elements of $W$ that contains the poset of noncrossing partitions $NC(W)$ as a sublattice. Building on work of Bancroft in the case of the symmetric group, we provide combinatorial models for shard intersections of all classical types, and use this understanding to prove the shard intersection order is EL-shellable. Further, inspired by work of Simion and Ullman on the lattice of noncrossing partitions, we show that the shard intersection order on the symmetric group admits a symmetric boolean decomposition, i.e., a partition into disjoint boolean algebras whose middle ranks coincide with the middle rank of the poset. Our decomposition also yields a new symmetric boolean decomposition of the noncrossing partition lattice.
2011-08-26 v2
On Orbits of Order Ideals of Minuscule Posets
Published in J. Algebraic Combin. 37 (2013), 545-569 • View PublicationBIB
An action on order ideals of posets considered by Fon-Der-Flaass is analyzed in the case of posets arising from minuscule representations of complex simple Lie algebras. For these minuscule posets, it is shown that the Fon-Der-Flaass action exhibits the cyclic sieving phenomenon, as defined by Reiner, Stanton, and White. A uniform proof is given by investigation of a bijection due to Stembridge between order ideals of minuscule posets and fully commutative Weyl group elements. This bijection is proven to be equivariant with respect to a conjugate of the Fon-Der-Flaass action and an arbitrary Coxeter element. If $P$ is a minuscule poset, it is shown that the Fon-Der-Flaass action on order ideals of the Cartesian product $P \times [2]$ also exhibits the cyclic sieving phenomenon, only the proof is by appeal to the classification of minuscule posets and is not uniform.
Convex Sublattices of a Lattice and a Fixed Point Property
Published • View PublicationBIB
The collection CL(T) of nonempty convex sublattices of a lattice T ordered by bi-domination is a lattice. We say that T has the fixed point property for convex sublattices (CLFPP for short) if every order preserving map f from T to CL(T) has a fixed point, that is x > f(x) for some x > T. We examine which lattices may have CLFPP. We introduce the selection property for convex sublattices (CLSP); we observe that a complete lattice with CLSP must have CLFPP, and that this property implies that CL(T) is complete. We show that for a lattice T, the fact that CL(T) is complete is equivalent to the fact that T is complete and the lattice of all subsets of a countable set, ordered by containment, is not order embeddable into T. We show that for the lattice T = I(P) of initial segments of a poset P, the implications above are equivalences and that these properties are equivalent to the fact that P has no infinite antichain. A crucial part of this proof is a straightforward application of a wonderful Hausdorff? type result due to Abraham, Bonnet, Cummings, Dzamondja and Thompson [2010]. Key words and phrases. posets, lattices, convex sublattice, retracts, fixed point property
2011-08-18
Monoids and Maximal Codes
Published in EPTCS 63, 2011, pp. 83-92 • View PublicationBIB
In recent years codes that are not Uniquely Decipherable (UD) are been studied partitioning them in classes that localize the ambiguities of the code. A natural question is how we can extend the notion of maximality to codes that are not UD. In this paper we give an answer to this question. To do this we introduce a partial order in the set of submonoids of a monoid showing the existence, in this poset, of maximal elements that we call full monoids. Then a set of generators of a full monoid is, by definition, a maximal code. We show how this definition extends, in a natural way, the existing definition concerning UD codes and we find a characteristic property of a monoid generated by a maximal UD code.
2011-08-18 v3
Incidence properties of cosets in loops
Published in J. Combinatorial Designs 20 (2012), 161-197 • View PublicationBIB
We study incidence properties among cosets of finite loops, with emphasis on well-structured varieties such as antiautomorphic loops and Bol loops. While cosets in groups are either disjoint or identical, we find that the incidence structure in general loops can be much richer. Every symmetric design, for example, can be realized as a canonical collection of cosets of a finite loop. We show that in the variety of antiautomorphic loops the poset formed by set inclusion among intersections of left cosets is isomorphic to that formed by right cosets. We present an algorithm that, given a finite Bol loop $S$, can in some cases determine whether $|S|$ divides $|Q|$ for all finite Bol loops $Q$ with $S \le Q$, and even whether there is a selection of left cosets of $S$ that partitions $Q$. This method results in a positive confirmation of Lagrange's Theorem for Bol loops for a few new cases of subloops. Finally, we show that in a left automorphic Moufang loop $Q$ (in particular, in a commutative Moufang loop $Q$), two left cosets of $S\le Q$ are either disjoint or they intersect in a set whose cardinality equals that of some subloop of $S$.
2011-08-11
Bipartite Q-polynomial distance-regular graphs and uniform posets
Let $\G$ denote a bipartite distance-regular graph with vertex set $X$ and diameter $D \ge 3$. Fix $x \in X$ and let $L$ (resp. $R$) denote the corresponding lowering (resp. raising) matrix. We show that each $Q$-polynomial structure for $\G$ yields a certain linear dependency among $RL^2$, $LRL$, $L^2R$, $L$. Define a partial order $\le$ on $X$ as follows. For $y,z \in X$ let $y \le z$ whenever $\partial(x,y)+\partial(y,z)=\partial(x,z)$, where $\partial$ denotes path-length distance. We determine whether the above linear dependency gives this poset a uniform or strongly uniform structure. We show that except for one special case a uniform structure is attained, and except for three special cases a strongly uniform structure is attained.