poset ↗ reference
2293 papers tagged with this keyword
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.
Small flag complexes with torsion
Published
• View Publication
• BIB
We classify flag complexes on at most 12 vertices with torsion in the first homology group. The result is moderately computer-aided.
As a consequence we confirm a folklore conjecture that the smallest poset whose order complex is homotopy equivalent to the real projective plane (and also the smallest poset with torsion in the first homology group) has exactly 13 elements.
An equivalence relation on the symmetric group and multiplicity-free flag h-vectors
Published
• View Publication
• BIB
We consider the equivalence relation ~ on the symmetric group S_n generated by the interchange of two adjacent elements a_i and a_{i+1} of w=a_1 ... a_n in S_n such that |a_i - a_{i+1}|=1. We count the number of equivalence classes and the sizes of equivalence classes. The results are generalized to permutations of multisets using umbral techniques. In the original problem, the equivalence class containing the identity permutation is the set of linear extensions of a certain poset. Further investigation yields a characterization of all finite graded posets whose flag h-vector takes on only the values -1, 0, 1.
A new operation on partially ordered sets
Published
• View Publication
• BIB
Recently it has been shown that all non-trivial closed permutation groups containing the automorphism group of the random poset are generated by two types of permutations: the first type are permutations turning the order upside down, and the second type are permutations induced by so-called rotations. In this paper we introduce rotations for finite posets, which can be seen as the poset counterpart of Seidel-switch for finite graphs. We analyze some of their combinatorial properties, and investigate in particular the question of when two finite posets are rotation-equivalent. We moreover give an explicit combinatorial construction of a rotation of the random poset whose image is again isomorphic to the random poset. As an corollary of our results on rotations of finite posets, we obtain that the group of rotating permutations of the random poset is the automorphism group of a homogeneous structure in a finite language.
Output polynomial enumeration of all fixed-cardinality ideals of a poset, respectively all fixed-cardinality subtrees of a tree
Published in Order 31 (2014) 121-135
• View Publication
• BIB
The N cardinality k ideals of any w-element poset (w, k variable) can be enumerated in time O(Nw^3). The corresponding bound for k-element subtrees of a w-element tree is O(Nw^5). An algorithm is described that by the use of wildcards displays all order ideals of a poset in a compact manner, i.e. not one by one.
Topology of eigenspace posets for unitary reflection groups
The eigenspace theory of unitary reflection groups, initiated by Springer and Lehrer, suggests that the following object is worthy of study: the poset of eigenspaces of elements of a unitary reflection group, for a fixed eigenvalue, ordered by the reverse of inclusion. We investigate topological properties of this poset. The new results extend the well-known work of Orlik and Solomon on the lattice of intersections of hyperplanes.
Eigenspace arrangements of reflection groups
Published
• View Publication
• BIB
The lattice of intersections of reflecting hyperplanes of a complex reflection group W may be considered as the poset of 1-eigenspaces of the elements of W. In this paper we replace 1 with an arbitrary eigenvalue and study the topology and homology representation of the resulting poset. After posing the main question of whether this poset is shellable, we show that all its upper intervals are geometric lattices, and then answer the question in the affirmative for the infinite family G(m,p,n) of complex reflection groups, and the first 31 of the 34 exceptional groups, by constructing CL-shellings. In addition, we completely determine when these eigenspaces of W form a K(pi,1) (resp. free) arrangement.
For the symmetric group, we also extend the combinatorial model available for its intersection lattice to all other eigenvalues by introducing "balanced partition posets", presented as particular upper order ideals of Dowling lattices, study the representation afforded by the top (co)homology group, and give a simple map to the posets of pointed d-divisible partitions.
Cyclic Symmetry of the Scaled Simplex
Published
• View Publication
• BIB
Let Z_m^k consist of the m^k alcoves contained in the m-fold dilation of the fundamental alcove of the type A_k affine hyperplane arrangement. As the fundamental alcove has a cyclic symmetry of order (k+1), so does Z_m^k. By bijectively exchanging the natural poset structure of Z_m^k for a natural cyclic action on a set of words, we prove an instance of the cyclic sieving phenomenon.
Bergman Complexes of Lattice Path Matroids
Published
• View Publication
• BIB
We give an explicit description of the poset of cells of Bergman complexes of Lattice Path Matroids and establish a criterion for its simpliciality, in terms of the shape of the bounding paths.
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.