poset ↗ reference
2264 papers tagged with this keyword
Non-embeddability of geometric lattices and buildings
Published
• View Publication
• BIB
A fundamental question for simplicial complexes is to find the lowest dimensional Euclidean space in which they can be embedded. We investigate this question for order complexes of posets. We show that order complexes of thick geometric lattices as well as several classes of finite buildings, all of which are order complexes, are hard to embed. That means that such d-dimensional complexes require (2d + 1)-dimensional Euclidean space for an embedding. (This dimension is in general always sufficient for any d-complex.)
We develop a method to show non-embeddability for general order complexes of posets which builds on properties of the van Kampen obstruction.
Poset limits can be totally ordered
S.Janson [Poset limits and exchangeable random posets, Combinatorica 31 (2011), 529--563] defined limits of finite posets in parallel to the emerging theory of limits of dense graphs.
We prove that each poset limit can be represented as a kernel on the unit interval with the standard order, thus answering an open question of Janson. We provide two proofs: real-analytic and combinatorial. The combinatorial proof is based on a Szemeredi-type Regularity Lemma for posets which may be of independent interest.
Also, as a by-product of the analytic proof, we show that every atomless ordered probability space admits a measure-preserving and almost order-preserving map to the unit interval.
The extended permutohedron on a transitive binary relation
Published
• View Publication
• BIB
For a given transitive binary relation e on a set E, the transitive closures of open (i.e., co-transitive in e) sets, called the regular closed subsets, form an ortholattice Reg(e), the extended permutohedron on e. This construction, which contains the poset Clop(e) of all clopen sets, is a common generalization of known notions such as the generalized permutohedron on a partially ordered set on the one hand, and the bipartition lattice on a set on the other hand. We obtain a precise description of the completely join-irreducible (resp., completely meet-irreducible) elements of Reg(e) and the arrow relations between them. In particular, we prove that (1) Reg(e) is the Dedekind-MacNeille completion of the poset Clop(e); (2) Every open subset of e is a set-theoretic union of completely join-irreducible clopen subsets of e; (3) Clop(e) is a lattice iiff every regular closed subset of e is clopen, iff e contains no "square" configuration, iff Reg(e)=Clop(e); (4) If e is finite, then Reg(e) is pseudocomplemented iff it is semidistributive, iff it is a bounded homomorphic image of a free lattice, iff e is a disjoint sum of antisymmetric transitive relations and two-element full relations. We illustrate the strength of our results by proving that, for n greater than or equal to 3, the congruence lattice of the lattice Bip(n) of all bipartitions of an n-element set is obtained by adding a new top element to a Boolean lattice with n2^{n-1} atoms. We also determine the factors of the minimal subdirect decomposition of Bip(n).
Moving robots efficiently using the combinatorics of CAT(0) cubical complexes
Published in SIAM J. Discrete Math. 28(2) (2014) 986-1007
• View Publication
• BIB
Given a reconfigurable system X, such as a robot moving on a grid or a set of particles traversing a graph without colliding, the possible positions of X naturally form a cubical complex S(X). When S(X) is a CAT(0) space, we can explicitly construct the shortest path between any two points, for any of the four most natural metrics: distance, time, number of moves, and number of steps of simultaneous moves.
CAT(0) cubical complexes are in correspondence with posets with inconsistent pairs (PIPs), so we can prove that a state complex S(X) is CAT(0) by identifying the corresponding PIP. We illustrate this very general strategy with one known and one new example: Abrams and Ghrist's positive robotic arm on a square grid, and the robotic arm in a strip. We then use the PIP as a combinatorial "remote control" to move these robots efficiently from one position to another.
Some open problems on permutation patterns
This is a brief survey of some open problems on permutation patterns, with an emphasis on subjects not covered in the recent book by Kitaev, \emph{Patterns in Permutations and words}. I first survey recent developments on the enumeration and asymptotics of the pattern 1324, the last pattern of length 4 whose asymptotic growth is unknown, and related issues such as upper bounds for the number of avoiders of any pattern of length $k$ for any given $k$. Other subjects treated are the Möbius function, topological properties and other algebraic aspects of the poset of permutations, ordered by containment, and also the study of growth rates of permutation classes, which are containment closed subsets of this poset.
Posets, Tensor Products and Schur positivity
Published in Algebra Number Theory 8 (2014) 933-961
• View Publication
• BIB
Let g be a complex finite-dimensional simple Lie algebra. Given a positive integer k and a dominant weight λ, we define a preorder on the set $P(λ, k)$ of k-tuples of dominant weights which add up to λ. Let $P(λ, k)/\sim$ be the corresponding poset of equivalence classes defined by the preorder. We show that if λis a multiple of a fundamental weight (and k is general) or if k=2 (and λis general), then $P(λ, k)/\sim$ coincides with the set of S_k-orbits in $P(λ,k)$, where S_k acts on $P(λ, k)$ as the permutations of components. If g is of type A_n and k=2, we show that the S_2-orbit of the row shuffle defined by Fomin et al is the unique maximal element in the poset.
Given an element of $P(λ, k)$, consider the tensor product of the corresponding simple finite-dimensional g-modules. We show that (for general g, λ, and k) the dimension of this tensor product increases along with the partial order.
We also show that in the case when λis a multiple of a fundamental minuscule weight (g and k are general) or if g is of type A_2 and k=2 (λis general), there exists an inclusion of tensor products of g-modules along with the partial order. In particular, if g is of type A_n, this means that the difference of the characters is Schur positive.
Clusters, generating functions and asymptotics for consecutive patterns in permutations
Published in Adv. in Appl. Math. 49 (2012) 351--374
• View Publication
• BIB
We use the cluster method to enumerate permutations avoiding consecutive patterns. We reprove and generalize in a unified way several known results and obtain new ones, including some patterns of length 4 and 5, as well as some infinite families of patterns of a given shape. By enumerating linear extensions of certain posets, we find a differential equation satisfied by the inverse of the exponential generating function counting occurrences of the pattern. We prove that for a large class of patterns, this inverse is always an entire function. We also complete the classification of consecutive patterns of length up to 6 into equivalence classes, proving a conjecture of Nakamura. Finally, we show that the monotone pattern asymptotically dominates (in the sense that it is easiest to avoid) all non-overlapping patterns of the same length, thus proving a conjecture of Elizalde and Noy for a positive fraction of all patterns.
Equality of P-partition generating functions
Published in Annals of Combinatorics 18 (3) (2014) 489-514
• View Publication
• BIB
To every labeled poset (P,ω), one can associate a quasisymmetric generating function for its (P,ω)-partitions. We ask: when do two labeled posets have the same generating function? Since the special case corresponding to skew Schur function equality is still open, a complete classification of equality among (P,ω) generating functions is likely too much to expect. Instead, we determine necessary conditions and separate sufficient conditions for two labeled posets to have equal generating functions. We conclude with a classification of all equalities for labeled posets with small numbers of linear extensions.
Bipermutahedron and biassociahedron
Published
• View Publication
• BIB
We give a simple description of the face poset of the biassociahedra that generalizes, in a straightforward manner, the description of the faces of the Stasheff's associahedra via planar trees.
Schubert Polynomials and $k$-Schur functions
Published in Electron. J. Combin. 21 (2014), no. 4, Paper 4.27, 21 pp
• View Publication
• BIB
The main purpose of this paper is to show that the multiplication of a Schubert polynomial of finite type $A$ by a Schur function, which we refer to as Schubert vs. Schur problem, can be understood from the multiplication in the space of dual $k$-Schur functions. Using earlier work by the second author, we encode both problems by means of quasisymmetric functions. On the Schubert vs. Schur side, we study the poset given by the Bergeron-Sottile's $r$-Bruhat order, along with certain operators associated to this order. On the other side, we connect this poset with a graph on dual $k$-Schur functions given by studying the affine grassmannian order of Lam-Lapointe-Morse-Shimozono. Also, we define operators associated to the graph on dual $k$-Schur functions which are analogous to the ones given for the Schubert vs. Schur problem.
Mobius Conjugation and Convolution Formulae
Published in Journal of Combinatorial Theory, Series B Volume 115, November 2015, Pages 117-131
• View Publication
• BIB
Let $P$ be a locally finite poset with the interval space $\Int(P)$, and $R$ a ring with identity. We shall introduce the Möbius conjugation $μ^\ast$ sending each function $f:P\to R$ to an incidence function $μ^\ast(f):\Int(P)\to R$ such that $μ^\ast(fg)=μ^\ast(f)\astμ^\ast(g)$. Taking $P$ to be the intersection poset of a hyperplane arrangement $\mathcal{A}$, we shall obtain a convolution identity for the number $r(\mathcal{A})$ of regions and the number $b(\mathcal{A})$ of relatively bounded regions, and a reciprocity theorem of the characteristic polynomial $χ(\mathcal{A},t)$, which also leads to a combinatorial interpretation to the values $|χ(\mathcal{A},-q)|$ for large primes $q$. Moreover, all known convolution identities on Tutte polynomials of matroids will be direct consequences after specializing the poset $P$ and functions $f,g$.
On the Möbius function of the locally finite poset associated with a numerical semigroup
Published in Semigroup Forum, Springer Verlag, 2013, 87 (2), pp.313-330
• View Publication
• BIB
Let $S$ be a numerical semigroup and let $\left(\mathbb{Z},\leqslant\_S\right)$ be the (locally finite) poset induced by $S$ on the set of integers $\mathbb{Z}$ defined by $x \leqslant\_S y$ if and only if $y-x\in S$ for all integers $x$ and $y$. In this paper, we investigate the M{ö}bius function associated to $\left(\mathbb{Z},\leqslant\_S\right)$ when $S$ is an arithmetic semigroup.
Decorated hypertrees
Published in Journal of Combinatorial Theory, Series A (2013) Vol. 120, n°7, 1871-1905
• View Publication
• BIB
C. Jensen, J. McCammond and J. Meier have used weighted hypertrees to compute the Euler characteristic of a subgroup of the automorphism group of a free product. Weighted hypertrees also appear in the study of the homology of the hypertree poset. We link them to decorated hypertrees after a general study on decorated hypertrees, which we enumerate using box trees.---C. Jensen, J. McCammond et J. Meier ont utilisé des hyperarbres pondérés pour calculer la caractéristique d'Euler d'un sous-groupe du groupe des automorphismes d'un produit libre. Un autre type d'hyperarbres pondérés apparaît aussi dans l'étude de l'homologie du poset des hyperarbres. Nous étudions les hyperarbres décorés puis les comptons à l'aide de la notion d'arbre en boîte avant de les relier aux hyperarbres pondérés.
Schubert calculus of Richardson varieties stable under spherical Levi subgroups
Published
• View Publication
• BIB
We observe that the expansion in the basis of Schubert cycles for $H^*(G/B)$ of the class of a Richardson variety stable under a spherical Levi subgroup is described by a theorem of Brion. Using this observation, along with a combinatorial model of the poset of certain symmetric subgroup orbit closures, we give positive combinatorial descriptions of certain Schubert structure constants on the full flag variety in type $A$. Namely, we describe $c_{u,v}^w$ when $u$ and $v$ are inverse to Grassmannian permutations with unique descents at $p$ and $q$, respectively. We offer some conjectures for similar rules in types $B$ and $D$, associated to Richardson varieties stable under spherical Levi subgroups of $SO(2n+1,\C)$ and $SO(2n,\C)$, respectively.
Combinatorics of combinatorial topology
We develop a tighter implementation of basic PL topology, which keeps track of some combinatorial structure beyond PL homeomorphism type. With this technique we clarify some aspects of PL transversality and give combinatorial proofs of a number of known results.
New results include a combinatorial characterization of collapsible polyhedra in terms of constructible posets (generalizing face posets of constructible simplicial complexes in the sense of Hochster). The relevant constructible posets are also characterized in terms of Reading's zipping of posets, which is a variation of edge contractions in simplicial complexes.
The Poset of Hypergraph Quasirandomness
Published
• View Publication
• BIB
Chung and Graham began the systematic study of k-uniform hypergraph quasirandom properties soon after the foundational results of Thomason and Chung-Graham-Wilson on quasirandom graphs. One feature that became apparent in the early work on k-uniform hypergraph quasirandomness is that properties that are equivalent for graphs are not equivalent for hypergraphs, and thus hypergraphs enjoy a variety of inequivalent quasirandom properties. In the past two decades, there has been an intensive study of these disparate notions of quasirandomness for hypergraphs, and an open problem that has emerged is to determine the relationship between them.
Our main result is to determine the poset of implications between these quasirandom properties. This answers a recent question of Chung and continues a project begun by Chung and Graham in their first paper on hypergraph quasirandomness in the early 1990's.
Pattern Avoidance in Poset Permutations
Published in Order, 33(2), 2016
• View Publication
• BIB
We extend the concept of pattern avoidance in permutations on a totally ordered set to pattern avoidance in permutations on partially ordered sets. The number of permutations on $P$ that avoid the pattern $π$ is denoted $Av_P(π)$. We extend a proof of Simion and Schmidt to show that $Av_P(132) \leq Av_P(123)$ for any poset $P$, and we exactly classify the posets for which equality holds.
Degeneration and orbits of tuples and subgroups in an Abelian group
Published
• View Publication
• BIB
A tuple (or subgroup) in a group is said to degenerate to another if the latter is an endomorphic image of the former. In a countable reduced abelian group, it is shown that if tuples (or finite subgroups) degenerate to each other, then they lie in the same automorphism orbit. The proof is based on techniques that were developed by Kaplansky and Mackey in order to give an elegant proof of Ulm's theorem. Similar results hold for reduced countably generated torsion modules over principal ideal domains. It is shown that the depth and the description of atoms of the resulting poset of orbits of tuples depend only on the Ulm invariants of the module in question (and not on the underlying ring). A complete description of the poset of orbits of elements in terms of the Ulm invariants of the module is given. The relationship between this description of orbits and a very different-looking one obtained by Dutta and Prasad for torsion modules of bounded order is explained.
Topology of eigenspace posets for imprimitive reflection groups
Published
• View Publication
• BIB
This paper studies the poset of eigenspaces of elements of an imprimitive unitary reflection group, for a fixed eigenvalue, ordered by the reverse of inclusion. The study of this poset is suggested by the eigenspace theory of Springer and Lehrer. The posets are shown to be isomorphic to certain subposets of Dowling lattices (the `d-divisible, k-evenly coloured Dowling lattices'). This enables us to prove that these posets are Cohen-Macaulay, and to determine the dimension of their top homology.
Poset-free Families and Lubell-boundedness
Published
• View Publication
• BIB
Given a finite poset $P$, we consider the largest size $\lanp$ of a family $\F$ of subsets of $[n]:=\{1,...,n\}$ that contains no subposet $P$. This continues the study of the asymptotic growth of $\lanp$; it has been conjectured that for all $P$, $π(P):= \lim_{n\rightarrow\infty} \lanp/\nchn$ exists and equals a certain integer, $e(P)$. While this is known to be true for paths, and several more general families of posets, for the simple diamond poset $\D_2$, the existence of $π$ frustratingly remains open. Here we develop theory to show that $π(P)$ exists and equals the conjectured value $e(P)$ for many new posets $P$. We introduce a hierarchy of properties for posets, each of which implies $π=e$, and some implying more precise information about $\lanp$. The properties relate to the Lubell function of a family $\F$ of subsets, which is the average number of times a random full chain meets $\F$. We present an array of examples and constructions that possess the properties.