arXiv++ Combinatorics

For a fixed integer $k$, we consider the set of noncrossing partitions, where both the block sizes and the difference between adjacent elements in a block is $1\bmod k$. We show that these $k$-indivisible noncrossing partitions can be recovered in the setting of subgroups of the symmetric group generated by $(k+1)$-cycles, and that the poset of $k$-indivisible noncrossing partitions under refinement order has many beautiful enumerative and structural properties. We encounter $k$-parking functions and some special Cambrian lattices on the way, and show that a special class of lattice paths constitutes a nonnesting analogue.

As a classical object, the Tamari lattice has many generalizations, including $ν$-Tamari lattices and parabolic Tamari lattices. In this article, we unify these generalizations in a bijective fashion. We first prove that parabolic Tamari lattices are isomorphic to $ν$-Tamari lattices for bounce paths $ν$. We then introduce a new combinatorial object called `left-aligned colorable tree', and show that it provides a bijective bridge between various parabolic Catalan objects and certain nested pairs of Dyck paths. As a consequence, we prove the Steep-Bounce Conjecture using a generalization of the famous zeta map in $q,t$-Catalan combinatorics. A generalization of the zeta map on parking functions, which arises in the theory of diagonal harmonics, is also obtained as a labeled version of our bijection.

We define an action of words in $[m]^n$ on $\mathbb{R}^m$ to give a new characterization of rational parking functions -- they are exactly those words whose action has a fixed point. We use this viewpoint to give a simple definition of Gorsky, Mazin, and Vazirani's zeta map on rational parking functions when m and n are coprime, and prove that this zeta map is invertible. A specialization recovers Loehr and Warrington's sweep map on rational Dyck paths.

The original Pak-Stanley labeling was defined by Pak and Stanley as a bijective map from the set of regions of an extended Shi arrangement to the set of parking functions. This map was later generalized to other arrangements associated with graphs and directed multigraphs. In these more general cases the map is no longer bijective. However, it was shown Hopkins and Perkinson and then the first author that it is surjective to the set of the $G$-parking functions, where $G$ is the multigraph associated with the arrangement. This leads to a natural question: when is the generalized Pak-Stanley map bijective? In this paper we answer this question in the special case of central hyperplane arrangements, i.e. the case when all the hyperplanes of the arrangement pass through a common point.

The machinery of zonotopal algebra is linked with two particular polytopes: the Stanley-Pitman polytope and the regular simplex $\mathfrak{Sim}_n(t_1,...,t_n)$ with parameters $t_1,...,t_n\in \mathbb{R}_+^n$, defined by the inequalities $\sum_{i=1}^n r_i\leq \sum_{i=1}^n t_i, \mbox{ } r_i\in \mathbb{R}_+^n,$ where the $(r_i)_{i\in [n]}$ are variables. Specifically, we will discuss the central Dahmen-Micchelli space of the broken wheel graph $BW_n$ and its dual, the $\mathcal{P}$-central space. We will observe that the $\mathcal{P}$-central space of $BW_n$ is monomial, with a basis given by the $BW_n$-parking functions. We will show that the volume polynomial of the the Stanley-Pitman polytope lies in the central Dahmen-Micchelli space of $BW_n$ and is precisely the polynomial in a particular basis of the central Dahmen-Micchelli space which corresponds to the monomial $t_1t_2\cdots t_n$ in the dual monomial basis of the $\mathcal{P}$-central space. We will then define the generalized broken wheel graph $GBW_n(T)$ for a given rooted tree $T$ on $n$ vertices. For every such tree, we can construct $2^{n-1}$ directed graphs, which we will refer to as \textit{generalized broken wheel graphs}. Each generalized broken wheel graph constructed from $T$ will give us a polytope, its volume polynomial, and a \textit{reference monomial}. The $2^{n-1}$ polytopes together give a polyhedral subdivision of $\mathfrak{Sim}_n(t_1,...,t_n)$, their volume polynomials together give a basis for the subspace of homogeneous polynomials of degree $n$ of the corresponding central Dahmen-Micchelli space, and their reference monomials together give a basis for its dual.

Parking functions are a widely studied class of combinatorial objects, with connections to several branches of mathematics. On the algebraic side, parking functions can be identified with the standard monomials of $M_n$, a certain monomial ideal in the polynomial ring $S = {\mathbb K}[x_1, \dots, x_n]$ where a set of generators are indexed by the nonempty subsets of $[n] = \{1,2,\dots,n\}$. Motivated by constructions from the theory of chip-firing on graphs we study generalizations of parking functions determined by $M^{(k)}_n$, a subideal of $M_n$ obtained by allowing only generators corresponding to subsets of $[n]$ of size at most $k$. For each $k$ the set of standard monomials of $M^{(k)}_n$, denoted $\text{stan}_n^k$, contains the usual parking functions and has interesting combinatorial properties in its own right. For general $k$ we show that elements of $\text{stan}_n^k$ can be recovered as certain vector-parking functions, which in turn leads to a formula for their count via results of Yan. The symmetric group $S_n$ naturally acts on the set $\text{stan}_n^k$ and we also obtain a formula for the number of orbits under this action. For the case of $k = n-2$ we study combinatorial interpretations of $\text{stan}_n^{n-2}$ and relate them to properties of uprooted trees in terms of root degree and surface inversions. As a corollary we obtain a combinatorial identity for $n^n$ involving Catalan numbers, reminiscent of a result of Benjamin and Juhnke. For the case of $k = 1$ we observe that the number of elements $\text{stan}_n^1$ is given by the determinant of the reduced `signless' Laplacian, which provides a weighted count for $|\text{stan}_n^1|$ in terms generalized spanning trees known as `spanning TU-subgraphs'. Our constructions naturally generalize to arbitrary graphs and lead to a number of open questions.

In the early 2000's the first and second named authors worked for a period of six years in an attempt of proving the Compositional Shuffle Conjecture [1]. Their approach was based on the discovery that all the Combinatorial properties predicted by the Compositional Shuffle Conjecture remain valid for each family of Parking Functions with prescribed diagonal cars. The validity of this property was reduced to the proof of a functional equation satisfied by a Catalan family of univariate polynomials. The main result in this paper is a proof of this functional equation. The Compositional Shuffle Conjecture was proved in 2015 by Eric Carlsson and Anton Mellit [3]. Our proof of the Functional Equation removes one of the main obstacles in the completion of the Garsia-Hicks approach to the proof of the Compositional Shuffle Conjecture. At the end of this writing we formulate a few further conjectures including what remains to be proved to complete this approach.

We illustrate the experimental, empirical, approach to mathematics (that contrary to popular belief, is often rigorous), by using parking functions and their "area" statistic, as a case study. Our methods are purely finitistic and elementary, taking full advantage, of course, of our beloved silicon servants.

To a vector configuration one can associate a polynomial ideal generated by powers of linear forms, known as a power ideal, which exhibits many combinatorial features of the matroid underlying the configuration. In this note we observe that certain power ideals associated to transversal matroids are, somewhat unexpectedly, monomial. Moreover, the (monomial) basis elements of the quotient ring defined by such a power ideal can be naturally identified with the lattice points of a remarkable convex polytope: a polymatroid, also known as generalized permutohedron. We dub the exponent vectors of these monomial basis elements "parking functions" of the corresponding transversal matroid. We highlight the connection between our investigation and Stanley-Reisner theory, and relate our findings to Stanley's conjectured necessary condition on matroid $h$-vectors.

The Catalan numbers constitute one of the most important sequences in combinatorics. Catalan objects have been generalized in various directions, including the classical Fuss-Catalan objects and the rational Catalan generalization of Armstrong-Rhoades-Williams. We propose a wider generalization of these families indexed by a composition $s$ which is motivated by the combinatorics of planar rooted trees; when $s=(2,...,2)$ and $s=(k+1,...,k+1)$ we recover the classical Catalan and Fuss-Catalan combinatorics, respectively. Furthermore, to each pair $(a,b)$ of relatively prime numbers we can associate a signature that recovers the combinatorics of rational Catalan objects. We present explicit bijections between the resulting $s$-Catalan objects, and a fundamental recurrence that generalizes the fundamental recurrence of the classical Catalan numbers. Our framework allows us to define signature generalizations of parking functions which coincide with the generalized parking functions studied by Pitman-Stanley and Yan, as well as generalizations of permutations which coincide with the notion of Stirling multipermutations introduced by Gessel-Stanley. Some of our constructions differ from the ones of Armstrong-Rhoades-Williams, however as a byproduct of our extension, we obtain the additional notions of rational permutations and rational trees.

We characterise the Pak-Stanley labels of the regions of a family of hyperplane arrangements that interpolate between the Shi arrangement and the Ish arrangement.

We consider a variant of the game of Brussels Sprouts that, like Conway's original version, ends in a predetermined number of moves. We show that the endstates of the game are in natural bijection with noncrossing trees and that the game histories are in natural bijection with both parking functions and factorizations of a cycle of $S_n$.

The modified Macdonald polynomials introduced by Garsia and Haiman (1996) have many remarkable combinatorial properties. One such class of properties involves applying the $\nabla$ operator of Bergeron and Garsia (1999) to basic symmetric functions. The first discovery of this type was the Shuffle Conjecture of Haglund, Haiman, Loehr, Remmel, and Ulyanov (2005), which relates the expression $\nabla e_n$ to parking functions. A refinement of this conjecture, called the Compositional Shuffle Conjecture, was introduced by Haglund, Morse, and Zabrocki (2012) and proved by Carlsson and Mellit (2015). We give a symmetric function identity relating hook monomial symmetric functions to the operators used in the Compositional Shuffle Conjecture. This implies a parking function interpretation for nabla of a hook monomial symmetric function, as well as LLT positivity. We show that our identity is a $q$-analog of the expansion of a hook monomial into complete homogeneous symmetric functions given by Kulikauskas and Remmel (2006). We use this connection to conjecture a model for expanding $\nabla m_μ$ in this way when $μ$ is not a hook.

For a labeled, rooted tree with edges oriented towards the root, we consider the vertices as parking spots and the edge orientation as a one-way street. Each driver, starting with her preferred parking spot, searches for and parks in the first unoccupied spot along the directed path to the root. If all $n$ drivers park, the sequence of spot preferences is called a parking function. We consider the sequences, called \emph{prime} parking functions, for which each driver parks and each edge in the tree is traversed by some driver after failing to park at her preferred spot. We prove that the total number of prime parking functions on trees with $n$ vertices is $(2n-2)!$. Additionally, we generalize \emph{increasing} parking functions, those in which the drivers park with a weakly-increasing order of preference, to trees and prove that the total number of increasing prime parking functions on trees with $n$ vertices is $(n-1)!S_{n-1}$, where $\{S_i\}_{i \geq 0}$ are the large Schröder numbers.

We introduce new families of combinatorial objects whose enumeration computes volumes of flow polytopes. These objects provide an interpretation, based on parking functions, of Baldoni and Vergne's generalization of a volume formula originally due to Lidskii. We recover known flow polytope volume formulas and prove new volume formulas for flow polytopes that were seemingly unapproachable. A highlight of our model is an elegant formula for the flow polytope of a graph we call the caracol graph. As by-products of our work, we uncover a new triangle of numbers that interpolates between Catalan numbers and the number of parking functions, we prove the log-concavity of rows of this triangle along with other sequences derived from volume computations, and we introduce a new Ehrhart-like polynomial for flow polytope volume and conjecture product formulas for the polytopes we consider.

Recently, the authors extended the notion of parking functions to parking sequences, which include cars of different sizes, and proved a product formula for the number of such sequences. We here give a refinement of that result involving parking the cars after a trailer. The proof of the refinement uses a multi-parameter extension of the Abel--Rothe polynomial due to Strehl.

We extend the notion of parking functions to parking sequences, which include cars of different sizes, and prove a product formula for the number of such sequences.

Given a graph $G$, the $G$-parking function ideal $M_G$ is an artinian monomial ideal in the polynomial ring $S$ with the property that a linear basis for $S/M_G$ is provided by the set of $G$-parking functions. It follows that the dimension of $S/M_G$ is given by the number of spanning trees of $G$, which by the Matrix Tree Theorem is equal to the determinant of the reduced Laplacian of $G$. The ideals $M_G$ and related algebras were introduced by Postnikov and Shapiro where they studied their Hilbert functions and homological properties. The author and Sanyal showed that a minimal resolution of $M_G$ can be constructed from the graphical hyperplane arrangement associated to $G$, providing a combinatorial interpretation of the Betti numbers. Motivated by constructions in the theory of chip-firing on graphs, we study certain `skeleton' ideals $M_G^{(k)} \subset M_G$ generated by subsets of vertices of $G$ of size at most $k+1$. Here we focus our attention on the case $k=1$, the $1$-skeleton of the $G$-parking functions ideals. We consider standard monomials of $M_G^{(1)}$ and provide a combinatorial interpretation for the dimension of $S/M_G^{(1)}$ in terms of the signless Laplacian for the case $G = K_{n+1}$ is the complete graph. Our main study concerns homological properties of these ideals. We study resolutions of $M_G^{(1)}$ and show that for a certain class of graphs minimal resolution is supported on decompositions of Euclidean space coming from the theory of tropical hyperplane arrangements. This leads to combinatorial interpretations of the Betti numbers of these ideals.

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.

We prove a combinatorial formula for Macdonald cumulants which generalizes the celebrated formula of Haglund for Macdonald polynomials. We provide several applications of our formula. Firstly, it gives a new, constructive proof of a strong factorization property of Macdonald polynomials proven recently by the author of this paper. Moreover it proves that Macdonald cumulants are $q,t$--positive in the monomial and in the fundamental quasisymmetric bases. Furthermore, we use our formula to prove the recent higher-order Macdonald positivity conjecture for the coefficients of the Schur polynomials indexed by hooks. Our combinatorial formula relates Macdonald cumulants to the generating function of $G$-parking functions, or equivalently to a certain specialization of the Tutte polynomials.