arXiv++ Combinatorics

Classical parking functions can be defined in terms of drivers with preferred parking spaces searching a linear parking lot for an open parking spot. We may consider this linear parking lot as a collection of $n$ vertices (parking spots) arranged in a directed path. We generalize this notion to allow for more complicated "parking lots" and define parking functions on arbitrary directed graphs. We then consider a relationship proved by Lackner and Panholzer between parking functions on trees and "mapping digraphs" and we show that a similar relationship holds when edge orientations are reversed.

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.

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.