arXiv++ Combinatorics

Given a positive-integer-valued vector $u=(u_1, \dots, u_m)$ with $u_1<\cdots<u_m$. A $u$-parking function of length $m$ is a sequence $π=(π_1, \dots, π_m)$ of positive integers whose non-decreasing rearrangement $(λ_1, \dots, λ_m)$ satisfies $λ_i\leq u_i$ for all $1\leq i\leq m$. We introduce a combinatorial construction termed a parking function multi-shuffle to generic $u$-parking functions and obtain an explicit characterization of multiple parking coordinates. As an application, we derive various asymptotic probabilistic properties of a uniform $u$-parking function when $u_i=cm+ib$. The asymptotic scenario in the generic situation $c>0$ is in sharp contrast with that of the special situation $c=0$.

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}$.

We study the action of $S_n$ on the set of break divisors on complete multigraphs $K_{n}^m$. We provide an alternative characterization for these divisors, by virtue of which we show that orbits of this action are enumerated by the numerical Donaldson-Thomas invariants of $(m+1)$-loop quivers. Our characterization also allows us to restrict this action to $S_{n-1}$ and we identify the resulting $S_{n-1}$-module as that afforded by $K_n^m$-parking functions.

We develop direct bijections between the set $F_n^k$ of minimal factorizations of the long cycle $(0\,1\,\cdots\, kn)$ into $(k+1)$-cycle factors and the set $R_n^k$ of rooted labelled forests on vertices $\{1,\ldots,n\}$ with edges coloured with $\{0,1,\ldots,k-1\}$ that map natural statistics on the former to generalized Mahonian statistics on the latter. In particular, we examine the generalized major index on forests $R_n^k$ and show that it has a simple and natural interpretation in the context of factorizations. Our results extend those by the present authors (2021), which treated the case $k=1$ through a different approach, and provide a bijective proof of the equidistribution observed by Yan (1997) between displacement of $k$-parking functions and generalized inversions of $k$-forests.

We define two symmetric $q,t$-Catalan polynomials in terms of the area and depth statistic and in terms of the dinv and dinv of depth statistics. We prove symmetry using an involution on plane trees. The same involution proves symmetry of the Tutte polynomials. We also provide a combinatorial proof of a remark by Garsia et al. regarding parking functions and the number of connected graphs on a fixed number of vertices.

We construct three new combinatorial Hopf algebras based on the Loday-Ronco operations on planar binary trees. The first and second algebras are defined on planar trees and labeled planar trees extending the Loday-Ronco and Malvenuto-Reutenauer Hopf algebras respectively. We show that the latter is bidendriform which implies that is also free, cofree, and self-dual. The third algebra involves a new visualization of parking functions as decorated binary trees; it is also bidendriform, free, cofree, and self-dual, and therefore abstractly isomorphic to the algebra PQSym of Novelli and Thibon. We define partial orders on the objects indexing each of these three Hopf algebras, one of which, when restricting to (m+1)-ary trees, coarsens the m-Tamari order of Bergeron and Préville-Ratelle. We show that multiplication of dual fundamental basis elements are given by intervals in each of these orders. Finally, we use an axiomatized version of the techniques of Aguiar and Sottile on the Malvenuto-Reutenauer Hopf algebra to define a monomial basis on each of our Hopf algebras, and to show that comultiplication is cofree on the monomial elements. This in particular, implies the cofreeness of the Hopf algebra on planar trees. We also find explicit positive formulas for the multiplication on monomial basis and a cancellation-free and grouping-free formula for the antipode of monomial elements.

This paper studies a generalization of parking functions named $k$-Naples parking functions, where backward movement is allowed. One consequence of backward movement is that the number of ascending $k$-Naples is not the same as the number of descending $k$-Naples. This paper focuses on generalizing the bijections of ascending parking functions with combinatorial objects enumerated by the Catalan numbers in the setting of both ascending and descending $k$-Naples parking functions. These combinatorial objects include Dyck paths, binary trees, triangulations of polygons, and non-crossing partitions. Using these bijections, we enumerate both ascending and descending $k$-Naples parking functions.

In this paper we study the asymptotic behavior of a random uniform parking function $π_n$ of size $n$. We show that the first $k_n$ places $π_n(1),\dots,π_n(k_n)$ of $π_n$ are asymptotically i.i.d. and uniform on $\{1,2,\dots,n\}$, for the total variation distance when $k_n = o(\sqrt{n})$, and for the Kolmogorov distance when $k_n=o(n)$, improving results of Diaconis & Hicks. Moreover we give bounds for the rate of convergence, as well as limit theorems for some statistics like the sum or the maximum of the first $k_n$ parking places. The main tool is a reformulation using conditioned random walks.

We provide a new geometric interpretation of the multidegrees of the (iterated) Kapranov embedding $Φ_n:\overline{M}_{0,n+3}\hookrightarrow \mathbb{P}^1\times \mathbb{P}^2\times \cdots \times \mathbb{P}^n$, where $\overline{M}_{0,n+3}$ is the moduli space of stable genus $0$ curves with $n+3$ marked points. We enumerate the multidegrees by disjoint sets of boundary points of $\overline{M}_{0,n+3}$ via a combinatorial algorithm on trivalent trees that we call a lazy tournament. These sets are compatible with the forgetting maps used to derive the recursion for the multidegrees proven in 2020 by Gillespie, Cavalieri, and Monin. The lazy tournament points are easily seen to total $(2n-1)!!=(2n-1)\cdot (2n-3) \cdots 5 \cdot 3 \cdot 1$, giving a natural proof of the fact that the total degree of $Φ_n$ is the odd double factorial. This fact was first proven using an insertion algorithm on certain parking functions, and we additionally give a bijection to those parking functions.

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.

Let $\mathcal{P}_n$ be the convex hull in $\mathbb{R}^n$ of all parking functions of length $n$. Stanley found the number of vertices and the number of facets of $\mathcal{P}_n$. Building upon these results, we determine the number of faces of arbitrary dimension, the volume, and the number of integer points of $\mathcal{P}_n$.

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.

Univariate delta Gončarov polynomials arise when the classical Gončarov interpolation problem in numerical analysis is modified by replacing derivatives with delta operators. When the delta operator under consideration is the backward difference operator, we acquire the univariate difference Gončarov polynomials, which have a combinatorial relation to lattice paths in the plane with a given right boundary. In this paper, we extend several algebraic and analytic properties of univariate difference Gončarov polynomials to the multivariate case. We then establish a combinatorial interpretation of multivariate difference Gončarov polynomials in terms of certain constraints on $d$-tuples of non-decreasing integer sequences. This motivates a connection between multivariate difference Gončarov polynomials and a higher-dimensional generalized parking function, the $\boldsymbol{U}$-parking function, from which we derive several enumerative results based on the theory of multivariate delta Gončarov polynomials.

Parking functions were classically defined for $n$ cars attempting to park on a one-way street with $n$ parking spots, where cars only drive forward. Subsequently, parking functions have been generalized in various ways, including allowing cars the option of driving backward. The set $PF_{n,k}$ of $k$-Naples parking functions have cars who can drive backward a maximum of $k$ steps before driving forward. A recursive formula for $|PF_{n,k}|$ has been obtained, though deriving a closed formula for $|PF_{n,k}|$ appears difficult. In addition, an important subset $B_{n,k}$ of $PF_{n,k}$, called the contained $k$-Naples parking functions, has been shown, with a non-bijective proof, to have the same cardinality as that of the set $PF_n$ of classical parking functions, independent of $k$. In this paper, we study $k$-Naples parking functions in the more general context of $m$ cars and $n$ parking spots, for any $m \leq n$. We use various parking function involutions to establish a bijection between the contained $k$-Naples parking functions and the classical parking functions, from which it can be deduced that the two sets have the same number of ties. Then we extend this bijection to inject the set of $k$-Naples parking functions into a certain set of obstructed parking functions, providing an upper bound for the cardinality of the former set.

We give a combinatorial formula for LLT cumulants of unicellular unilevelled shapes in terms of parking functions and Cayley trees. Our formula implies previously conjectured Schur positivity.

We recall that the $k$-Naples parking functions of length $n$ (a generalization of parking functions) are defined by requiring that a car which finds its preferred spot occupied must first back up a spot at a time (up to $k$ spots) before proceeding forward down the street. Note that the parking functions are the specialization of $k$ to $0$. For a fixed $0\leq k\leq n-1$, we define a function $\varphi_k$ which maps a $k$-Naples parking function to the permutation denoting the order in which its cars park. By enumerating the sizes of the fibers of the map $\varphi_k$ we give a new formula for the number of $k$-Naples parking functions as a sum over the permutations of length $n$. We remark that our formula for enumerating $k$-Naples parking functions is not recursive, in contrast to the previously known formula of Christensen et al [CHJ+20]. It can be expressed as the product of the lengths of particular subsequences of permutations, and its specialization to $k=0$ gives a new way to describe the number of parking functions of length $n$. We give a formula for the sizes of the fibers of the map $\varphi_0$, and we provide a recurrence relation for its corresponding logarithmic generating function. Furthermore, we relate the $q$-analog of our formula to a new statistic that we denote $\texttt{area}_k$ and call the $k$-Naples area statistic, the specialization of which to $k=0$ gives the $\texttt{area}$ statistic on parking functions.

We study the enumeration problem for different kind of tree parking functions introduced recently, called tree parking functions, tree parking distributions, prime tree parking functions, and prime tree parking distributions, for rooted labelled trees of important combinatorial tree families including labelled ordered, unordered and binary trees. Using combinatorial decompositions of the underlying structures yields, after solving the resulting equations, implicit characterizations of suitable generating functions of the total number of such tree parking functions for trees of size $n$ and $n$ successful drivers, from which we obtain exact and asymptotic enumeration results. The approach can be extended to the general situation of tree parking functions for trees of size $n$ and $m<n$ drivers for which we are also able to characterize the generating functions solutions, which allow, by applying analytic combinatorics techniques, a study of the asymptotic behaviour of the total number of tree parking functions and distributions for $n \to \infty$ depending on the load factor $0 < α= \frac{m}{n} < 1$.

Interval parking functions (IPFs) are a generalization of ordinary parking functions in which each car is willing to park only in a fixed interval of spaces. Each interval parking function can be expressed as a pair $(a,b)$, where $a$ is a parking function and $b$ is a dual parking function. We say that a pair of permutations $(x,y)$ is \emph{reachable} if there is an IPF $(a,b)$ such that $x,y$ are the outcomes of $a,b$, respectively, as parking functions. Reachability is reflexive and antisymmetric, but not in general transitive. We prove that its transitive closure, the \emph{pseudoreachability order}, is precisely the bubble-sort order on the symmetric group $\Sym_n$, which can be expressed in terms of the normal form of a permutation in the sense of du~Cloux; in particular, it is isomorphic to the product of chains of lengths $2,\dots,n$. It is thus seen to be a special case of Armstrong's sorting order, which lies between the Bruhat and (left) weak orders.

We classify recurrent states of the Abelian sandpile model (ASM) on the complete split graph. There are two distinct cases to be considered that depend upon the location of the sink vertex in the complete split graph. This characterisation of decreasing recurrent states is in terms of Motzkin words and can also be characterised in terms of combinatorial necklaces. We also give a characterisation of the recurrent states in terms of a new type of parking function that we call a tiered parking function. These parking functions are characterised by assigning a tier (or colour) to each of the cars, and specifying how many cars of a lower-tier one wishes to have parked before them. We also enumerate the different sets of recurrent configurations studied in this paper, and in doing so derive a formula for the number of spanning trees of the complete split graph that uses a bijective Prüfer code argument.