arXiv++ Combinatorics

We prove an analogue of a theorem of Berget and Rhoades about extending the parking space $\mathrm{Park}_n$ to an $S_{n+1}$-module $\mathrm{Slim}_n$. Specifically, we show that the \textit{bipartite parking space} $\mathrm{Park}_{K_{n,m}}$, which naturally comes with an $S_{n-1} \times S_m$ action, extends to an $S_n \times S_m$-representation $\mathrm{Slim}_{n,m}$. We then formulate a conjecture generalizing this statement to any simple graph.

Armstrong, Reiner, and Rhoades defined for all Weyl groups $W$ a natural representation of $W$ called the $W$-parking space. The type $B$ parking space is the representation $\mathbb{C}[(\mathbb{Z}/(2n+1)\mathbb{Z})^n]$ of the $n$th signed symmetric group. We consider more general representations of the form $\mathbb{C}[(\mathbb{Z}/m\mathbb{Z})^n]$; we conjecture that this representation extends to the $(n+1)$th signed symmetric group for all $n$ and $m$. We prove this conjecture when $m = 3$ or when $n \leq 2$.

In this paper, we explore parking distributions on caterpillar trees, focusing on two primary statistics: the number of lucky cars and the frequency with which cars prefer specific parking spaces. We use first-return decomposition to reveal a symmetry in their joint distribution and develop a $q, t$-analog of the Fuss-Catalan generating function. We prove that this generating function exhibits specific symmetry and satisfies a functional equation. Additionally, we extend our findings to any m statistics that satisfy certain criteria, presenting a concrete example of such $m$ statistics to illustrate the broader applicability of our results.

We answer an open problem of arXiv:1204.1760 and arXiv:1205.4293, extending their work to irreducible well--generated complex reflection groups $W$. We define a combinatorial $W$-noncrossing parking space and an algebraic $W$-parking space for such $W$, and exhibit a $(W \times C)$-equivariant isomorphism between the two. As a consequence of this isomorphism, we enumerate the $W$-noncrossing parking functions. Finally, we extend our results to the Fuss case. We prove the results for all such complex reflection groups except $G_{34}$, $E_7,$ and $E_8$.

A defective $(m,n)$-parking function with defect $d$ is a parking function with $m$ cars attempting to park on a street with $n$ parking spots in which exactly $d$ cars fail to park. We establish a way to compute the defect of a defective $(m,n)$-parking function and show that the defect of a parking function is invariant under the action of $\mathfrak{S}_m$, the symmetric group on $[m]=\{1,2,\ldots,m\}$. We introduce the defective parking space ${\sf DPark}_{m,n}$ spanned by defective parking functions and describe its Frobenius characteristic as an $\mathfrak{S}_m$ representation graded by defect via coefficients $\mathrm{Krew}_{d,n}(λ)$ called defective Kreweras numbers. We provide a conjectured formula for $\mathrm{Krew}_{d,n}(λ)$ for sufficiently large $n$. We also show that the set of nondecreasing defective $(m,n)$-parking functions with defect $d$ are in bijection with the set of standard Young tableaux of shape $(n + d, m - d)$. This implies that the number of $\mathfrak{S}_m$-orbits of defective $(m,n)$-parking functions with defect $d$ is given by $\frac{n-m+2d+1}{n+d+1}\binom{m+n}{n+d}$. We also give a multinomial formula for the size of an $\mathfrak{S}_m$-orbit of a nondecreasing $(m,n)$-parking function with defect $d$. We conclude by using these results to give a new formula for the number of defective parking functions.

A parking function on $[n]$ creates a permutation in $S_n$ via the order in which the $n$ cars appear in the $n$ parking spaces. Placing the uniform probability measure on the set of parking functions on $[n]$ induces a probability measure on $S_n$. We initiate a study of some properties of this distribution. Let $P_n^{\text{park}}$ denote this distribution on $S_n$ and let $P_n$ denote the uniform distribution on $S_n$. In particular, we obtain an explicit formula for $P_n^{\text{park}}(σ)$ for all $σ\in S_n$. Then we show that for all but an asymptotically $P_n$-negligible set of permutations, one has $P_n^{\text{park}}(σ)\in\left(\frac{(2-ε)^n}{(n+1)^{n-1}},\frac{(2+ε)^n}{(n+1)^{n-1}}\right)$. However, this accounts for only an exponentially small part of the $P_n^{\text{park}}$-probability. We also obtain an explicit formula for $P_n^{\text{park}}(σ^{-1}_{n-j+1}=i_1,σ^{-1}_{n-j+2}=i_2,\cdots, σ^{-1}_n=i_j)$, the probability that the last $j$ cars park in positions $i_1,\cdots, i_j$ respectively, and show that the $j$-dimensional random vector $(n+1-σ^{-1}_{n-j+l}, n+1-σ^{-1}_{n-j+2},\cdots, n+1-σ^{-1}_{n})$ under $P_n^{\text{park}}$ converges in distribution to a random vector $(\sum_{r=1}^jX_r,\sum_{r=2}^j X_r,\cdots, X_{j-1}+X_j,X_j)$, where $\{X_r\}_{r=1}^j$ are IID with the Borel distribution. We then show that in fact for $j_n=o(n^\frac16)$, the final $j_n$ cars will park in increasing order with probability approaching 1 as $n\to\infty$. We also obtain an explicit formula for the expected value of the left-to-right maximum statistic $X_n^{\text{LR-max}}$, which counts the total number of left-to-right maxima in a permutation, and show that $E_n^{\text{park}}X_n^{\text{LR-max}}$ grows approximately on the order $n^\frac12$.

The generalized cluster complex was introduced by Fomin and Reading, as a natural extension of the Fomin-Zelevinsky cluster complex coming from finite type cluster algebras. In this work, to each face of this complex we associate a parabolic conjugacy class of the underlying finite Coxeter group. We show that the refined enumeration of faces (respectively, positive faces) according to this data gives an explicit formula in terms of the corresponding characteristic polynomial (equivalently, in terms of Orlik-Solomon exponents). This characteristic polynomial originally comes from the theory of hyperplane arrangements, but it is conveniently defined via the parabolic Burnside ring. This makes a connection with the theory of parking spaces: our results eventually rely on some enumeration of chains of noncrossing partitions that were obtained in this context. The precise relations between the formulas counting faces and the one counting chains of noncrossing partitions are combinatorial reciprocities, generalizing the one between Narayana and Kirkman numbers.

Consider $n$ cars $C_1, C_2, \ldots, C_n$ that want to park in a parking lot with parking spaces $1,2,\ldots,n$ that appear in order. Each car $C_i$ has a parking preference $α_i \in \{1,2,\ldots,n\}$. The cars appear in order, if their preferred parking spot is not taken, they take it, if the parking spot is taken, they move forward until they find an empty spot. If they do not find an empty spot, they do not park. An $n$-tuple $(α_1, α_2, \ldots, α_n)$ is said to be a parking function, if this list of preferences allows every car to park under this algorithm. For an integer $k$, we say that an $n$-tuple is a $k$-Naples parking function if the cars can park with the modified algorithm, where park $C_i$ backs up $k$-spaces (one by one) if their spot is taken before trying to find a parking spot in front of them. We introduce randomness to this problem in two ways: 1) For the original parking function definition, for each car $C_i$ that has their preference taken, we decide with probability $p$ whether $C_i$ moves forwards or backwards when their preferred spot is taken; 2) For the $k$-Naples definition, for each car $C_i$ that has their preference taken, we decide with probability $p$ whether $C_i$ backs up $k$ spaces or not before moving forward. In each of these models, for an $n$-tuple $α\in\{1,2,\ldots,n\}^n$, there is now a probability that the model ends in all cars parking or not. For each of these random models, we find a formula for the expected value. Furthermore, for the second random model, in the case $k =1$, $p=1/2$, we prove that for any $1\le t\le 2^{n-2}$, there is exactly one $α\in\{1,2,\ldots,n\}^n$ such that the probability that $α$ parks is $(2t-1)/2^{n-1}$.

Suppose that $m$ drivers each choose a preferred parking space in a linear car park with $n$ spots. In order, each driver goes to their chosen spot and parks there if possible, and otherwise takes the next available spot if it exists. If all drivers park successfully, the sequence of choices is called a parking function. Classical parking functions correspond to the case $m=n$. We investigate various probabilistic properties of a uniform parking function. Through a combinatorial construction termed a parking function multi-shuffle, we give a formula for the law of multiple coordinates in the generic situation $m \lesssim n$. We further deduce all possible covariances, between two coordinates, between a coordinate and an unattempted spot, and between two unattempted spots. This asymptotic scenario in the generic situation $m \lesssim n$ is in sharp contrast with that of the special situation $m=n$. A generalization of parking functions called interval parking functions is also studied, in which each driver is willing to park only in a fixed interval of spots. We construct a family of bijections between interval parking functions with $n$ cars and $n$ spots and edge-labeled spanning trees with $n+1$ vertices and a specified root.

Suppose that $m$ drivers each choose a preferred parking space in a linear car park with $n$ spots. In order, each driver goes to their chosen spot and parks there if possible, and otherwise takes the next available spot if it exists. If all drivers park successfully, the sequence of choices is called a parking function. Classical parking functions correspond to the case $m=n$; we study here combinatorial and probabilistic aspects of this generalized case. We construct a family of bijections between parking functions $\text{PF}(m, n)$ with $m$ cars and $n$ spots and spanning forests $\mathscr{F}(n+1, n+1-m)$ with $n+1$ vertices and $n+1-m$ distinct trees having specified roots. This leads to a bijective correspondence between $\text{PF}(m, n)$ and monomial terms in the associated Tutte polynomial of a disjoint union of $n-m+1$ complete graphs. We present an identity between the "inversion enumerator" of spanning forests with fixed roots and the "displacement enumerator" of parking functions. The displacement is then related to the number of graphs on $n+1$ labeled vertices with a fixed number of edges, where the graph has $n+1-m$ disjoint rooted components with specified roots. We investigate various probabilistic properties of a uniform parking function, giving a formula for the law of a single coordinate. As a side result we obtain a recurrence relation for the displacement enumerator. Adapting known results on random linear probes, we further deduce the covariance between two coordinates when $m=n$.

In 1980, Edelman defined a poset on objects called the noncrossing 2-partitions. They are closely related with noncrossing partitions and parking functions. To some extent, his definition is a precursor of the parking space theory, in the framework of finite reflection groups. We present some enumerative and topological properties of this poset. In particular, we get a formula counting certain chains, that encompasses formulas for Whitney numbers (of both kinds). We prove shellability of the poset, and compute its homology as a representation of the symmetric group. We moreover link it with two well-known polytopes : the associahedron and the permutohedron.

The notion of parking sequences is a new generalization of parking functions introduced by Ehrenborg and Happ. In the parking process defining the classical parking functions, instead of each car only taking one parking space, we allow the cars to have different sizes and each takes up a number of adjacent parking spaces after a trailer $T$ parked on the first $z-1$ spots. A preference sequence in which all the cars are able to park is called a parking sequence. In this paper, we study increasing parking sequences and count them via bijections to lattice paths with right boundaries. Then we study two notions of invariance in parking sequences and present various characterizations and enumerative results.

Berget and Rhoades asked whether the permutation representation obtained by the action of $S_{n-1}$ on parking functions of length $n-1$ can be extended to a permutation action of $S_{n}$. We answer this question in the affirmative. We realize our module in two different ways. The first description involves binary Lyndon words and the second involves the action of the symmetric group on the lattice points of the trimmed standard permutahedron.

We construct a family of $S_n$ modules indexed by $c\in\{1,\dots,n\}$ with the property that upon restriction to $S_{n-1}$ they recover the classical parking function representation of Haiman. The construction of these modules relies on an $S_n$-action on a set that is closely related to the set of parking functions. We compute the characters of these modules and use the resulting description to classify them up to isomorphism. In particular, we show that the number of isomorphism classes is equal to the number of divisors $d$ of $n$ satisfying $ d\neq 2 \: (\!\!\!\!\mod 4)$. In the cases $c=n$ and $c=1$, we compute the number of orbits. Based on empirical evidence, we conjecture that when $c=1$, our representation is $h$-positive and is in fact the (ungraded) extension of the parking function representation constructed by Berget and Rhoades.

In this paper, we investigate a parking process on a uniform random rooted plane tree with $n$ vertices. Every vertex of the tree has a parking space for a single car. Cars arrive at independent uniformly random vertices of the tree. If the parking space at a vertex is unoccupied when a car arrives there, it parks. If not, the car drives towards the root and parks in the first empty space it encounters (if there is one). We are interested in asymptotics of the probability of the event that all cars can park when $\lfloor αn \rfloor$ cars arrive, for $α> 0$. We observe that there is a phase transition at $α_c := \sqrt{2} -1$: if $α< α_c$ then the event has positive probability, whereas for $α> α_c$ it has probability 0. Analogous results have been proved by Lackner and Panholzer, Goldschmidt and Przykucki, and Jones for different underlying random tree models.

Classical parking functions are defined as the parking preferences for $n$ cars driving (from west to east) down a one-way street containing parking spaces labeled from $1$ to $n$ (from west to east). Cars drive down the street toward their preferred spot and park there if the spot is available. Otherwise, the car continues driving down the street and takes the first available parking space, if such a space exists. If all cars can park using this parking rule, we call the $n$-tuple containing the cars' parking preferences a parking function. In this paper, we introduce a generalization of the parking rule allowing cars whose preferred space is taken to first proceed up to $k$ spaces west of their preferred spot to park before proceeding east if all of those $k$ spaces are occupied. We call parking preferences which allow all cars to park under this new parking rule $k$-Naples parking functions of length $n$. This generalization gives a natural interpolation between classical parking functions, the case when $k=0$, and all $n$-tuples of positive integers $1$ to $n$, the case when $k\geq n-1$. Our main result provides a recursive formula for counting $k$-Naples parking functions of length $n$. We also give a characterization for the $k=1$ case by introducing a new function that maps $1$-Naples parking functions to classical parking functions, i.e. $0$-Naples parking functions. Lastly, we present a bijection between $k$-Naples parking functions of length $n$ whose entries are in weakly decreasing order and a family of signature Dyck paths.

Models of parking in which cars are placed randomly and then move according to a deterministic rule have been studied since the work of Konheim and Weiss in the 1960s. Recently, Damron, Gravner, Junge, Lyu, and Sivakoff introduced a model in which cars are both placed and move at random. Independently at each point of a Cayley graph $G$, we place a car with probability $p$, and otherwise an empty parking space. Each car independently executes a random walk until it finds an empty space in which to park. In this paper we introduce three new techniques for studying the model, namely the space-based parking model, and the strategies for parking and for car removal. These allow us to study the original model by coupling it with models where parking behaviour is easier to control. Applying our methods to the one-dimensional parking problem in $\mathbb{Z}$, we improve on previous work, showing that for $p<1/2$ the expected journey length of a car is finite, and for $p=1/2$ the expected journey length by time $t$ grows like $t^{3/4}$ up to a polylogarithmic factor.

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.

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.

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.