arXiv++ Combinatorics

Classical Gončarov polynomials arose in numerical analysis as a basis for the solutions of the Gončarov interpolation problem. These polynomials provide a natural algebraic tool in the enumerative theory of parking functions. By replacing the differentiation operator with a delta operator and using the theory of finite operator calculus, Lorentz, Tringali and Yan introduced the sequence of generalized Gončarov polynomials associated to a pair $(Δ, Z)$ of a delta operator $Δ$ and an interpolation grid $Z$. Generalized Gončarov polynomials share many nice algebraic properties and have a connection with the theories of binomial enumeration and order statistics. In this paper we give a complete combinatorial interpretation for any sequence of generalized Gončarov polynomials. First, we show that they can be realized as weight enumerators in partition lattices. Then, we give a more concrete realization in exponential families and show that these polynomials enumerate various enriched structures of vector parking functions.

Two partial orders on a reflection group, the codimension order and the prefix order, are together called the absolute order when they agree. We show that in this case the absolute order on a complex reflection group has the strong Sperner property, except possibly for the Coxeter group of type $D_n$, for which this property is conjectural. The Sperner property had previously been established for the noncrossing partition lattice $NC_W$, a certain maximal interval in the absolute order, but not for the entire poset, except in the case of the symmetric group. We also show that neither the codimension order nor the prefix order has the Sperner property for general complex reflection groups.

Non-crossing partitions have been a staple in combinatorics for quite some time. More recently, they have surfaced (sometimes unexpectedly) in various other contexts from free probability to classifying spaces of braid groups. Also, analogues of the non-crossing partition lattice have been introduced. Here, the classical non-crossing partitions are associated to Coxeter and Artin groups of type $\mathsf{A}_n$, which explains the tight connection to the symmetric groups and braid groups. We shall outline those developments.

A remarkable result of Stanley shows that the set of maximal chains in the non-crossing partition lattice of type $A$ is Schur-positive, where descents are defined by a distinguished edge labeling. A bijection between these chains and labeled trees was presented by Goulden and Yong. Using Adin-Roichman's variant of Björner's $EL$-labeling, we show that the subset of maximal chains in the non-crossing partition lattice of type $A$, whose underlying tree is a convex caterpillar, is Schur-positive.

We introduce the notion of a \emph{Whitney dual} of a graded poset. Two posets are Whitney duals to each other if (the absolute value of) their Whitney numbers of the first and second kind are interchanged between the two posets. We define new types of edge and chain-edge labelings which we call \emph{Whitney labelings}. We prove that every graded poset with a Whitney labeling has a Whitney dual. Moreover, we show how to explicitly construct a Whitney dual using a technique involving quotient posets. As applications of our main theorem, we show that geometric lattices, the lattice of noncrossing partitions, the poset of weighted partitions studied by González D'León-Wachs, and most of the R$^*$S-labelable posets studied by Simion-Stanley all have Whitney duals. Our technique gives a combinatorial description of a Whitney dual of the noncrossing partition lattice in terms of a family of noncrossing Dyck paths. Our method also provides an explanation of the Whitney duality between the poset of weighted partitions and a poset of rooted forests studied by Reiner and Sagan. An integral part of this explanation is a new chain-edge labeling for the poset of weighted partitions which we show is a Whitney labeling. Finally, we show that a graded poset with a Whitney labeling admits a local action of the $0$-Hecke algebra of type $A$ on its set of maximal chains. The characteristic of the associated representation is Ehrenborg's flag quasisymmetric function. The existence of this action implies, using a result of McNamara, that when the maximal intervals of the constructed Whitney duals are bowtie-free, they are also snellable. In the case where these maximal intervals are lattices, they are supersolvable.

Restricted Whitney numbers of the first kind appear in the combinatorial recursion for the matroid Kazhdan-Lusztig polynomials. In the special case of braid matroids (the matroid associated to the partition lattice, the complete graph, the type A Coxeter arrangement and the symmetric group) these restricted Whitney numbers are Stirling numbers of the first kind. We use this observation to obtain a formula for the coefficients of the Kazhdan-Lusztig polynomials for braid matroids in terms of sums of products of Stirling numbers of the first kind. This results in new identities between Stirling numbers of the first kind and Stirling numbers of the second kind, as well as a non-recursive formula for the braid matroid Kazhdan-Lusztig polynomials.

There are two natural simplicial complexes associated to the noncrossing partition lattice: the order complex of the full lattice and the order complex of the lattice with its bounding elements removed. The latter is a complex that we call the noncrossing partition link because it is the link of an edge in the former. The first author and his coauthors conjectured that various collections of simplices of the noncrossing partition link (determined by the undesired parking spaces in the corresponding parking functions) form contractible subcomplexes. In this article we prove their conjecture by combining the fact that the star of a simplex in a flag complex is contractible with the second author's theory of noncrossing hypertrees.

Hypertrees and noncrossing trees are well-established objects in the combinatorics literature, but the hybrid notion of a noncrossing hypertree has received less attention. In this article I investigate the poset of noncrossing hypertrees as an induced subposet of the hypertree poset. Its dual is the face poset of a simplicial complex, one that can be identified with a generalized cluster complex of type $A$. The first main result is that this noncrossing hypertree complex is homeomorphic to a piecewise spherical complex associated with the noncrossing partition lattice and thus it has a natural metric. The fact that the order complex of the noncrossing partition lattice with its bounding elements removed is homeomorphic to a generalized cluster complex was not previously known or conjectured. The metric noncrossing hypertree complex is a union of unit spheres with a number of remarkable properties: 1) the metric subspheres and simplices in each dimension are both bijectively labeled by the set of noncrossing hypertrees with a fixed number of hyperedges, 2) the number of spheres containing the simplex labeled by the noncrossing tree $τ$ is the same as the number simplices in the sphere labeled by the noncrossing tree $τ$, and 3) among the maximal spherical subcomplexes one finds every normal fan of a metric realization of the simple associahedron associated to the cluster algebra of type $A$. In particular, the poset of noncrossing hypertrees and its metric simplicial complex provide a new perspective on familiar combinatorial objects and a common context in which to view the known bijections between noncrossing partitions and the vertices/facets of simple/simplicial associahedra.

For any finite Coxeter group $W$ of rank $n$ we show that the order complex of the lattice of non-crossing partitions $\mathrm{NC}(W)$ embeds as a connected chamber subcomplex into a spherical building of type $A_{n-1}$. We use this to give a new proof of the fact that the non-crossing partition lattice in type $A_n$ is supersolvable for all $n$ and show that in case $B_n$, this is only the case if $n<4$. We also obtain a lower bound on the radius of the Hurwitz graph $H(W)$ in all types and re-prove that in type $A_n$ the radius is ${n \choose 2}$.

Representing lattices L by equivalence relations amounts to embed them into the lattice Part(V) of all partitions of a set V, and has a long history. Here we are concerned with MODULAR lattices L and aim for sets V as small as possible, i.e. |V| = d(L)+1 where d(L) is the length of L. In other words, we strive for a tight (=cover-preserving) lattice homomorphism from L into Part(V). After a 24 year break the author offers progress, and outlines a program to finally fully characterize the lattices L that admit a tight embedding. Not just 'modular latticians' but also combinatorists are encouraged to contribute. Specifically, eight open questions are posed, four of which purely graph- and matroid-theoretic in nature.

Consider the noncrossing set partitions of an $n$-element set which either do not contain the block $\{n-1,n\}$, or which do not contain the singleton block $\{n\}$ whenever $1$ and $n-1$ are in the same block. In this article we study the subposet of the noncrossing partition lattice induced by these elements, and show that it is a supersolvable lattice, and therefore lexicographically shellable. We give a combinatorial model for the NBB bases of this lattice and derive an explicit formula for the value of its Möbius function between least and greatest element. This work is motivated by a recent article by M. Bruce, M. Dougherty, M. Hlavacek, R. Kudo, and I. Nicolas, in which they introduce a subposet of the noncrossing partition lattice that is determined by parking functions with certain forbidden entries. In particular, they conjecture that the resulting poset always has a contractible order complex. We prove this conjecture by embedding their poset into ours, and showing that it inherits the lexicographic shellability.

For a topological space $X$, we introduce a criterion for the $\rm FI$ module $H^i({\rm Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C \times \mathbb{R}^2$ satisfies the criterion. Our main tool is a spectral sequence that we derive from the homological algebra of the partition lattice.

This work proposes an alternative approach to the so-called lattice of embedded subsets, which is included in the product of the subset and partition lattices of a finite set, and whose elements are pairs consisting of a subset and a partition where the former is a block of the latter. The lattice structure proposed in a recent contribution relies on ad-hoc definitions of both the join operator and the bottom element, while also including join-irreducible elements distinct from atoms. Conversely, here embedded subsets obtain through a closure operator defined over the product of the subset and partition lattices, where elements are generic pairs of a subset and a partition. Those such pairs that coincide with their closure are precisely embedded subsets, and since the Steinitz exchange axiom is also satisfied, what results is a geometric (hence atomic) lattice given by a simple matroid (or combinatorial geometry) included in the product of the subset and partition lattices (as the partition lattice itself is the polygon matroid defined on the edges of a complete graph). By focusing on its Möbius function, this geometric lattice of embedded subsets of a n-set is shown to be isomorphic to the lattice of partitions of a n+1-set.

Given a filter $Δ$ in the poset of compositions of $n$, we form the filter $Π^{*}_Δ$ in the partition lattice. We determine all the reduced homology groups of the order complex of $Π^{*}_Δ$ as ${\mathfrak S}_{n-1}$-modules in terms of the reduced homology groups of the simplicial complex $Δ$ and in terms of Specht modules of border shapes. We also obtain the homotopy type of this order complex. These results generalize work of Calderbank--Hanlon--Robinson and Wachs on the $d$-divisible partition lattice. Our main theorem applies to a plethora of examples, including filters associated to integer knapsack partitions and filters generated by all partitions having block sizes $a$ or~$b$. We also obtain the reduced homology groups of the filter generated by all partitions having block sizes belonging to the arithmetic progression $a, a + d, \ldots, a + (a-1) \cdot d$, extending work of Browdy.

We introduce a new class of lattices, the modernistic lattices, and their duals, the comodernistic lattices. We show that every modernistic or comodernistic lattice has shellable order complex. We go on to exhibit a large number of examples of (co)modernistic lattices. We show comodernism for two main families of lattices that were not previously known to be shellable: the order congruence lattices of finite posets, and a weighted generalization of the k-equal partition lattices. We also exhibit many examples of (co)modernistic lattices that were already known to be shellable. To start with, the definition of modernistic is a common weakening of the definitions of semimodular and supersolvable. We thus obtain a unified proof that lattice in these classes are shellable. Subgroup lattices of solvable groups form another family of comodernistic lattices that were already proved to be shellable. We show not only that subgroup lattices of solvable groups are comodernistic, but that solvability of a group is equivalent to the comodernistic property on its subgroup lattice. Indeed, the definition of comodernistic exactly requires on every interval a lattice-theoretic analogue of the composition series in a solvable group. Thus, the relation between comodernistic lattices and solvable groups resembles, in several respects, that between supersolvable lattices and supersolvable groups.

There is a well-known bijection between parking functions of a fixed length and maximal chains of the noncrossing partition lattice which we can use to associate to each set of parking functions a poset whose Hasse diagram is the union of the corresponding maximal chains. We introduce a decomposition of parking functions based on the largest number omitted and prove several theorems about the corresponding posets. In particular, they share properties with the noncrossing partition lattice such as local self-duality, a nice characterization of intervals, a readily computable Möbius function, and a symmetric chain decomposition. We also explore connections with order complexes, labeled Dyck paths, and rooted forests.

We extend the work of Hanlon on the chromatic polynomial of an unlabeled graph to define the unlabeled chromatic polynomial of an unlabeled signed graph. Explicit formulas are presented for labeled and unlabeled signed chromatic polynomials as summations over distinguished order-ideals of the signed partition lattice. We also define the quotient of a signed graph by a signed permutation, and show that its signed graphic arrangement is closely related to an induced arrangement on a distinguished subspace. Lastly, a formula for the number of unlabeled acyclic orientations of a signed graph is presented which recalls classical reciprocity theorems of Stanley and Zaslavsky.

We prove that the noncrossing partition lattices associated with the complex reflection groups $G(d,d,n)$ for $d,n\geq 2$ admit symmetric decompositions into Boolean subposets. As a result, these lattices have the strong Sperner property and their rank-generating polynomials are symmetric, unimodal, and $γ$-nonnegative. We use computer computations to complete the proof that every noncrossing partition lattice associated with a well-generated complex reflection group is strongly Sperner, thus answering affirmatively a question raised by D. Armstrong.

We describe some open problems related to homology representations of subposets of the partition lattice, beginning with questions first raised in Stanley's work on group actions on posets.

This paper studies representation stability in the sense of Church and Farb for representations of the symmetric group $S_n$ on the cohomology of the configuration space of $n$ ordered points in $\mathbf{R}^d$. This cohomology is known to vanish outside of dimensions divisible by $d-1$; it is shown here that the $S_n$-representation on the $i(d-1)^{st}$ cohomology stabilizes sharply at $n=3i$ (resp. $n=3i+1$) when $d$ is odd (resp. even). The result comes from analyzing $S_n$-representations known to control the cohomology: the Whitney homology of set partition lattices for $d$ even, and the higher Lie representations for $d$ odd. A similar analysis shows that the homology of any rank-selected subposet in the partition lattice stabilizes by $n\geq 4i$, where $i$ is the maximum rank selected. Further properties of the Whitney homology and more refined stability statements for $S_n$-isotypic components are also proven, including conjectures of J. Wiltshire-Gordon.