poset ↗ reference
2216 papers tagged with this keyword
The poset of the nilpotent commutator of a nilpotent matrix
Published
• View Publication
• BIB
Let $B$ be an $n \times n$ nilpotent matrix with entries in an infinite field $\k$. Assume that $B$ is in Jordan canonical form with the associated Jordan block partition $P$. In this paper, we study a poset $\mathcal{D}_P$ associated to the nilpotent commutator of $B$ and a certain partition of $n$, denoted by $λ_U(P)$, defined in terms of the lengths of unions of special chains in $\mathcal{D}_P$. Polona Oblak associated to a given partition $P$ another partition $Ob(P)$ resulting from a recursive process. She conjectured that $Ob(P)$ is the same as the Jordan partition $Q(P)$ of a generic element of the nilpotent commutator of $B$. Roberta Basili, Anthony Iarrobino and the author later generalized the process introduced by Oblak. In this paper we show that all such processes result in the partition $λ_U(P)$.
Action of the symmetric groups on the homology of the hypertree posets
Published
• View Publication
• BIB
The set of hypertrees on $n$ vertices can be endowed with a poset structure. J. McCammond and J. Meier computed the dimension of the unique non zero homology group of the hypertree poset. We give another proof of their result and use the theory of species to determine the action of the symmetric group on this homology group, which is linked with the anti-cyclic structure of the $\operatorname{Prelie}$ operad. We also compute the action on the Whitney homology of the poset.
-----
L'ensemble des hyperarbres à $n$ sommets peut être muni d'un ordre partiel. J. McCammond et J. Meier ont calculé la dimension de l'unique groupe d'homologie non trivial du poset des hyperarbres. Après avoir donné une autre preuve de ce résultat, nous utilisons la théorie des espèces pour déterminer l'action du groupe symétrique sur ce groupe, que nous relions à la structure anti-cyclique de l'opérade $\operatorname{Prelie}$. Nous calculons aussi l'action du groupe symétrique sur l'homologie de Whitney du poset.
Differential posets have strict rank growth: a conjecture of Stanley
Published
• View Publication
• BIB
We establish strict growth for the rank function of an r-differential poset. We do so by exploiting the representation theoretic techniques developed by Reiner and the author for studying related Smith forms.
Comparing Codimension and Absolute Length in Complex Reflection Groups
Published
• View Publication
• BIB
Reflection length and codimension of fixed point spaces induce partial orders on a complex reflection group. While these partial orders are of independent combinatorial interest, our investigation is motivated by a connection between the codimension order and the algebraic structure of cohomology governing deformations of skew group algebras. In this article, we compare the reflection length and codimension functions and discuss implications for cohomology of skew group algebras. We give algorithms using character theory for computing reflection length, atoms, and poset relations. Using a mixture of theory, explicit examples, and computer calculations in GAP, we show that Coxeter groups and the infinite family G(m,1,n) are the only irreducible complex reflection groups for which the reflection length and codimension orders coincide. We describe the atoms in the codimension order for the infinite family G(m,p,n), which immediately yields an explicit description of generators for cohomology.
Parameterized and Approximation Algorithms for Boxicity
Published
• View Publication
• BIB
Boxicity of a graph $G(V,$ $E)$, denoted by $box(G)$, is the minimum integer $k$ such that $G$ can be represented as the intersection graph of axis parallel boxes in $\mathbb{R}^k$. The problem of computing boxicity is inapproximable even for graph classes like bipartite, co-bipartite and split graphs within $O(n^{1 - ε})$-factor, for any $ε>0$ in polynomial time unless $NP=ZPP$. We give FPT approximation algorithms for computing the boxicity of graphs, where the parameter used is the vertex or edge edit distance of the given graph from families of graphs of bounded boxicity. This can be seen as a generalization of the parameterizations discussed in \cite{Adiga2}.
Extending the same idea in one of our algorithms, we also get an $O\left(\frac{n\sqrt{\log \log n}}{\sqrt{\log n}}\right)$ factor approximation algorithm for computing boxicity and an $O\left(\frac{n {(\log \log n)}^{\frac{3}{2}}}{\sqrt{\log n}}\right)$ factor approximation algorithm for computing the cubicity. These seem to be the first $o(n)$ factor approximation algorithms known for both boxicity and cubicity. As a consequence of this result, a $o(n)$ factor approximation algorithm for computing the partial order dimension of finite posets and a $o(n)$ factor approximation algorithm for computing the threshold dimension of split graphs would follow.
New Wilf-equivalence results for dashed patterns
Published
• View Publication
• BIB
We give a sufficient condition for the two dashed patterns $τ^{(1)}-τ^{(2)}-\cdots-τ^{(\ell)}$ and $τ^{(\ell)}-τ^{(\ell-1)}-\cdots-τ^{(1)}$ to be (strongly) Wilf-equivalent. This permits to solve in a unified way several problems of Heubach and Mansour on Wilf-equivalences on words and compositions, as well as a conjecture of Baxter and Pudwell on Wilf-equivalences on permutations. We also give a better explanation of the equidistribution of the parameters $\MAK+\bMAJ$ and $\MAK'+\bMAJ$ on ordered set partitions. These results can be viewed as consequences of a simple proposition which states that the set valued statistics "descent set'' and "rise set'' are equidistributed over each equivalence class of the partially commutative monoid generated by a poset $(X,\leq)$.
Euler flag enumeration of Whitney stratified spaces
Published in Advances in Mathematics 268 (2015) 85-128
• View Publication
• BIB
The flag vector contains all the face incidence data of a polytope, and in the poset setting, the chain enumerative data. It is a classical result due to Bayer and Klapper that for face lattices of polytopes, and more generally, Eulerian graded posets, the flag vector can be written as a cd-index, a non-commutative polynomial which removes all the linear redundancies among the flag vector entries. This result holds for regular CW complexes.
We relax the regularity condition to show the cd-index exists for Whitney stratified manifolds by extending the notion of a graded poset to that of a quasi-graded poset. This is a poset endowed with an order-preserving rank function and a weighted zeta function. This allows us to generalize the classical notion of Eulerianness, and obtain a cd-index in the quasi-graded poset arena. We also extend the semi-suspension operation to that of embedding a complex in the boundary of a higher dimensional ball and study the simplicial shelling components.
Veronese Algebras and Modules of Rings with Straightening Laws
Published
• View Publication
• BIB
Do the Veronese rings of an algebra with straightening laws (ASL) still have an ASL structure? We give positive answers to this question in some particular cases, namely for the second Veronese algebra of Hibi rings and of discrete ASLs. We also prove that the Veronese modules of the polynomial ring have a structure of module with straightening laws. In dimension at most three we present a poset construction that has the required combinatorial properties to support such a structure.
The Topology of the $m$-Tamari Lattices
The $m$-Tamari lattices $\mathcal{T}_{n}^{(m)}$ were recently introduced by Bergeron and Préville-Ratelle as posets on $m$-Dyck paths, and it was shown by Bousquet-Mélou, Fusy and Préville-Ratelle that these lattices form intervals in the classical Tamari lattice $\mathcal{T}_{nm}$. It follows from a theorem by Björner and Wachs and a basic property of EL-shellable posets, that the $m$-Tamari lattices are EL-shellable. In this article, we define a new EL-labeling of the $m$-Tamari lattices completely in terms of $m$-Dyck paths. With the help of this labeling, we compute the values of the Möbius function of $\mathcal{T}_{n}^{(m)}$, and we characterize the intervals of $\mathcal{T}_{n}^{(m)}$ according to their topological properties.
Weak Order on Complete Quadrics
Published
• View Publication
• BIB
Using an action of the Richardson-Springer monoid on involutions, we study the weak order on the variety of complete quadrics. Maximal chains in the poset are explicitly determined. Applying results of Brion, our calculations describe certain cohomology classes in the complete flag variety.
Arrangements of Spheres and Projective Spaces
Published
• View Publication
• BIB
We develop the theory of arrangements of spheres. Consider a finite collection of codimension-$1$ subspheres in a positive-dimensional sphere. There are two posets associated with this collection: the poset of faces and the poset of intersections. We also associate a topological space: the complement of the union of tangent bundles of these subspheres in the tangent bundle of the ambient sphere. We call this space the tangent bundle complement. As in the case of hyperplane arrangements the aim of this new notion is to understand the interaction between the combinatorics of the intersections and the topology of the tangent bundle complement. In the present paper we find a closed form formula for the homotopy type of the complement and express some of its topological invariants in terms of the associated combinatorial information.
Notions of Möbius inversion
Published in Bulletin of the Belgian Mathematical Society 19 (2012), 911-935
• View Publication
• BIB
Möbius inversion, originally a tool in number theory, was generalized to posets for use in group theory and combinatorics. It was later generalized to categories in two different ways, both of which are useful. We provide a unifying abstract framework. This allows us to compare and contrast the two theories of Möbius inversion for categories, and advance each of them. Among several side benefits is an improved understanding of the following fact: the Euler characteristic of the classifying space of a (suitably finite) category depends only on its underlying graph.
Upper bounds on the size of 4- and 6-cycle-free subgraphs of the hypercube
Published
• View Publication
• BIB
In this paper we modify slightly Razborov's flag algebra machinery to be suitable for the hypercube. We use this modified method to show that the maximum number of edges of a 4-cycle-free subgraph of the n-dimensional hypercube is at most 0.6068 times the number of its edges. We also improve the upper bound on the number of edges for 6-cycle-free subgraphs of the n-dimensional hypercube from the square root of 2 - 1 to 0.3755 times the number of its edges. Additionally, we show that if the n-dimensional hypercube is considered as a poset, then the maximum vertex density of three middle layers in an induced subgraph without 4-cycles is at most 2.15121 times n choose n/2.
Linear extensions and order-preserving poset partitions
Published in Journal of Combinatorial Theory, Series A, Volume 122, February 2014, Pages 28-38
• View Publication
• BIB
We examine the lattice of all order congruences of a finite poset from the viewpoint of combinatorial algebraic topology. We will prove that the order complex of the lattice of all nontrivial order congruences (or order-preserving partitions) of a finite $n$-element poset $P$ with $n\geq 3$ is homotopy equivalent to a wedge of spheres of dimension $n-3$. If $P$ is connected, then the number of spheres is equal to the number of linear extensions of $P$. In general, the number of spheres is equal to the number of cyclic extensions of $P$.
EL-Shellability and Noncrossing Partitions Associated with Well-Generated Complex Reflection Groups
Published in European Journal of Combinatorics 43(C) (2015), pages 249-278
• View Publication
• BIB
In this article we prove that the lattice of noncrossing partitions is EL-shellable when associated with the well-generated complex reflection group of type $G(d,d,n)$, for $d,n\geq 3$, or with the exceptional well-generated complex reflection groups which are no real reflection groups. This result was previously established for the real reflection groups and it can be extended to the well-generated complex reflection group of type $G(d,1,n)$, for $d,n\geq 3$, as well as to three exceptional groups, namely $G_{25},G_{26}$ and $G_{32}$, using a braid group argument. We thus conclude that the lattice of noncrossing partitions of any well-generated complex reflection group is EL-shellable. Using this result and a construction by Armstrong and Thomas, we conclude further that the poset of $m$-divisible noncrossing partitions is EL-shellable for every well-generated complex reflection group. Finally, we derive results on the Möbius function of these posets previously conjectured by Armstrong, Krattenthaler and Tomie.
On the rank function of a differential poset
Published in Electron. J. Combin. 19 (2012), no. 2, P13, 17 pages
• View Publication
• BIB
We study $r$-differential posets, a class of combinatorial objects introduced in 1988 by the first author, which gathers together a number of remarkable combinatorial and algebraic properties, and generalizes important examples of ranked posets, including the Young lattice. We first provide a simple bijection relating differential posets to a certain class of hypergraphs, including all finite projective planes, which are shown to be naturally embedded in the initial ranks of some differential poset. As a byproduct, we prove the existence, if and only if $r\geq 6$, of $r$-differential posets nonisomorphic in any two consecutive ranks but having the same rank function. We also show that the Interval Property, conjectured by the second author and collaborators for several sequences of interest in combinatorics and combinatorial algebra, in general fails for differential posets. In the second part, we prove that the rank function $p_n$ of any arbitrary $r$-differential poset has nonpolynomial growth; namely, $p_n\gg n^ae^{2\sqrt{rn}},$ a bound very close to the Hardy-Ramanujan asymptotic formula that holds in the special case of Young's lattice. We conclude by posing several open questions.
A relation between the shape of a permutation and the shape of the base poset derived from the Lehmer codes
Published
• View Publication
• BIB
For a permutation $ω\in S_{n}$ Denoncourt constructed a poset $M_ω$ which is the set of join-irreducibles of the Lehmer codes of the permutations in $[e, ω]$ in the inversion order on $S_{n}$. In this paper we show that $M_ω$ is a $B_{2}$-free poset if and only if $ω$ is a 3412-3421-avoiding permutation.
An Improved Bound for First-Fit on Posets Without Two Long Incomparable Chains
Published in SIAM Journal on Discrete Mathematics, 26/3:1068--1075, 2012
• View Publication
• BIB
It is known that the First-Fit algorithm for partitioning a poset P into chains uses relatively few chains when P does not have two incomparable chains each of size k. In particular, if P has width w then Bosek, Krawczyk, and Szczypka (SIAM J. Discrete Math., 23(4):1992--1999, 2010) proved an upper bound of ckw^{2} on the number of chains used by First-Fit for some constant c, while Joret and Milans (Order, 28(3):455--464, 2011) gave one of ck^{2}w. In this paper we prove an upper bound of the form ckw. This is best possible up to the value of c.
Partially Ordinal Sums and $P$-partitions
Published in The Electronic Journal of Combinatorics 19(4) (2012) #P29
• View Publication
• BIB
We present a method of computing the generating function $f_P(\x)$ of $P$-partitions of a poset $P$. The idea is to introduce two kinds of transformations on posets and compute $f_P(\x)$ by recursively applying these transformations. As an application, we consider the partially ordinal sum $P_n$ of $n$ copies of a given poset, which generalizes both the direct sum and the ordinal sum. We show that the sequence $\{f_{P_n}(\x)\}_{n\ge 1}$ satisfies a finite system of recurrence relations with respect to $n$. We illustrate the method by several examples, including a kind of 3-rowed posets and the multi-cube posets.
Generalizing the Borel property
Published
• View Publication
• BIB
We introduce the notion of Q-Borel ideals: ideals which are closed under the Borel moves arising from a poset Q. We study decompositions and homological properties of these ideals, and offer evidence that they interpolate between Borel ideals and arbitrary monomial ideals.