arXiv++ Combinatorics

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.

Tesler matrices are certain integral matrices counted by the Kostant partition function and have appeared recently in Haglund's study of diagonal harmonics. In 2014, Drew Armstrong defined a poset on such matrices and conjectured that the characteristic polynomial of this poset is a power of $(q-1)$. We use a method of Hallam and Sagan to prove a stronger version of this conjecture for posets of a certain class of generalized Tesler matrices. We also study bounds for the number of Tesler matrices and how they compare to the number of parking functions, the dimension of the space of diagonal harmonics.

For coprime positive integers $a<b$, Armstrong, Rhoades, and Williams (2013) defined a set $NC(a,b)$ of rational noncrossing partitions, a subset of the ordinary noncrossing partitions of $\{1, \ldots, b-1\}$. Bodnar and Rhoades (2015) confirmed their conjecture that $NC(a,b)$ is closed under rotation and proved an instance of the cyclic sieving phenomenon for this rotation action. We give a definition of $NC(a,b)$ which works for all coprime $a$ and $b$ and prove closure under rotation and cyclic sieving in this more general setting. We also generalize noncrossing parking functions to all coprime $a$ and $b$, and provide a character formula for the action of $\mathfrak{S}_a \times \mathbb{Z}_{b-1}$ on $\mathsf{Park}^{NC}(a,b)$.

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.

Let $1\leq r\leq n$ and suppose that, when the Depth-first Search Algorithm is applied to a given rooted labelled tree on $n+1$ vertices, exactly $r$ vertices are visited before backtracking. Let $R$ be the set of trees with this property. We count the number of elements of $R$. For this purpose, we first consider a bijection, due to Parkinson, Yang and Yu, that maps $R$ onto the set of parking function with center (defined by the authors in a previous article) of size $r$. A second bijection maps this set onto the set of parking functions with run $r$, a property that we introduce here. We then prove that the number of length $n$ parking functions with a given run is the number of length $n$ rook words (defined by Leven, Rhoades and Wilson) with the same run. This is done by counting related lattice paths in a ladder-shaped region. We finally count the number of length $n$ rook words with run $r$, which is the answer to our initial question.

Let $Φ$ be an irreducible crystallographic root system with Weyl group $W$, coroot lattice $\check{Q}$ and Coxeter number $h$. Recently the second named author defined a uniform $W$-isomorphism $ζ$ between the finite torus $\check{Q}/(mh+1)\check{Q}$ and the set of non-nesting parking fuctions $\operatorname{Park}^{(m)}(Φ)$. If $Φ$ is of type $A_{n-1}$ and $m=1$ this map is equivalent to a map defined on labelled Dyck paths that arises in the study of the Hilbert series of the space of diagonal harmonics. In this paper we investigate the case $m=1$ for the other infinite families of root systems ($B_n$, $C_n$ and $D_n$). In each type we define models for the finite torus and for the set of non-nesting parking functions in terms of labelled lattice paths. The map $ζ$ can then be viewed as a map between these combinatorial objects. Our work entails new bijections between (square) lattice paths and ballot paths.