arXiv++ Combinatorics

Tiered trees were introduced as a combinatorial object for counting absolutely indecomposable representation of certain quivers and torus orbit of certain homogeneous variety. In this paper, we define a bijection between the set of parallelogram polyominoes and graphical parking functions. Moreover, we defined the space $\mathcal{S}_{G}$ for complete tiered graphs and described tiered graphs in terms of Whitney's operations.

Zonotopal algebras (external, central, and internal) of an undirected graph G introduced by Postnikov-Shapiro and Holtz-Ron, are finite-dimensional commutative graded algebras whose Hilbert series contain a wealth of combinatorial information about G. In this paper, we associate to G a new family of algebras, which we call bizonotopal, because their definition involves doubling the set of edges of G. These algebras are monomial and have intricate properties related, among other things, to the combinatorics of graphical parking functions and their polytopes. Unlike the case of usual zonotopal algebras, the Hilbert series of bizonotopal algebras are not specializations of the Tutte polynomial of G. Still, we show that in the external and central cases these Hilbert series satisfy a modified deletion-contraction relation. In addition, we prove that the external bizonotopal algebra is a complete graph invariant.

We introduce a generalization of parking functions called $t$-metered $(m,n)$-parking functions, in which one of $m$ cars parks among $n$ spots per hour then leaves after $t$ hours. We characterize and enumerate these sequences for $t=1$, $t=m-2$, and $t=n-1$, and provide data for other cases. We characterize the $1$-metered parking functions by decomposing them into sections based on which cars are unlucky, and enumerate them using a Lucas sequence recursion. Additionally, we establish a new combinatorial interpretation of the numerator of the continued fraction $n-1/(n-1/\cdots)$ ($n$ times) as the number of $1$-metered $(n,n)$-parking functions. We introduce the $(m,n)$-parking function shuffle in order to count $(m-2)$-metered $(m,n)$-parking functions, which also yields an expression for the number of $(m,n)$-parking functions with any given first entry. As a special case, we find that the number of $(m-2)$-metered $(m, m-1)$-parking functions is equal to the sum of the first entries of classical parking function of length $m-1$. We enumerate the $(n-1)$-metered $(m,n)$-parking functions in terms of the number of classical parking functions of length $n$ with certain parking outcomes, which we show are periodic sequences with period $n$. We conclude with an array of open problems.

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.

We define a partial order $\mathcal{P}_n$ on permutations of any given size $n$, which is the image of a natural partial order on inversion sequences. We call this the ``middle order''. We demonstrate that the poset $\mathcal{P}_n$ refines the weak order on permutations and admits the Bruhat order as a refinement, justifying the terminology. These middle orders are distributive lattices and we establish some of their combinatorial properties, including characterization and enumeration of intervals and boolean intervals (in general, or of any given rank), and a combinatorial interpretation of their Euler characteristic. We further study the (not so well-behaved) restriction of this poset to involutions, obtaining a simple formula for the Möbius function of principal order ideals there. Finally, we offer further directions of research, initiating the study of the canonical Heyting algebra associated with $\mathcal{P}_n$, and defining a parking function analogue of $\mathcal{P}_n$.

Naples parking functions were introduced as a generalization of classical parking functions, in which cars are allowed to park backwards, by checking up to a fixed number of previous spots, before proceeding forward as usual. In this work we introduce the notion of a complete parking preference, through which we are able to give some information on the combinatorics of Naples parking functions. Roughly speaking, a complete parking preference is a parking preference such that, for any index $j$, there are more cars with preference at least $j$ than spots available from $j$ onward. We provide a characterization of Naples parking functions in terms of certain complete subsequences of them. As a consequence of this result we derive a characterization of permutation-invariant Naples parking functions which turns out to be equivalent to the one given by (Carvalho et al., 2021), but using a totally different approach (and language).

In 2000, it was demonstrated that the set of $x$-parking functions of length $n$, where $x$=($a,b,...,b$) $\in \mathbbm{N}^n$, is equivalent to the set of rooted multicolored forests on [$n$]=\{1,...,$n$\}. In 2020, Yue Cai and Catherine H. Yan systematically investigated the properties of rational parking functions. Subsequently, a series of Context-free grammars possessing the requisite property were introduced by William Y.C. Chen and Harold R.L. Yang in 2021. %An Abelian-type identity is derived from a comparable methodology and grammatical framework. %Leveraging a comparable methodology and grammatical framework, an Abelian-type identity is derived herein. In this paper, I discuss generalized parking functions in terms of grammars. The primary result is to obtain the q-analogue about the number of '1's in certain vector parking functions with the assistance of grammars.

We define a "shifted analogue" $\mathrm{SH}_n$ of the parking function symmetric function $\mathrm{PF}_n$. The expansion of $\mathrm{SH}_n$ in terms of three bases for shifted symmetric functions is explicitly described. We don't know a shifted analogue for parking functions themselves, but some desirable properties of such an analogue are discussed.

In this expository article I describe classical results in the combinatorics of parking functions. Its English-Spanish translation is included. -- -- En este artículo de difusión matemática describo resultados clásicos en la combinatoria de funciones de parqueo. Su traducción español-inglés está incluida.

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

In this paper, we mainly study two notions of pattern avoidance in parking functions. First, for any collection of length 3 patterns, we compute the number of parking functions of size $n$ that avoid them under the first notion. This is motivated by the recent work of Adeniran and Pudwell, who obtained analogous results using a second notion of pattern avoidance. Then, we provide new purely bijective proofs for two of their results, and improve the formula of another one. Finally, we apply similar enumeration techniques to the work of Novelli and Thibon on certain Hopf algebras of generalised parking functions, and compute their graded dimensions.

We present a bijection between two well-known objects in the ubiquitous Catalan family: non-decreasing parking functions and Łukasiewicz paths. This bijection maps the maximal displacement of a parking function to the height of the corresponding Łukasiewicz path, and the total displacement to the area of the path. We also study this bijection restricted to two specific families of parking-functions: unit-interval parking functions, and prime parking functions.

A parking function of length $n$ is a sequence $π=(π_1,\dots, π_n)$ of positive integers such that if $λ_1\leq\cdots\leq λ_n$ is the increasing rearrangement of $π_1,\dots,π_n$, then $λ_i\leq i$ for $1\leq i\leq n$. The index $i$ is a fixed point of the parking function $π$ if $π_i=i$. More generally, for $m\geq 1$, the indices $(i_1, \dots, i_m)$ where the $i_j$'s are all distinct constitute an $m$-cycle of the parking function $π$ if $π_{i_1}=i_2, π_{i_2}=i_3, \dots, π_{i_{m-1}}=i_m, π_{i_m}=i_1$. In this paper we obtain some exact results on the number of fixed points and cycles of parking functions. Our derivations are based on generalizations of Pollak's argument and the symmetry of parking coordinates. Extensions of our techniques are discussed.

For $\mathbf{b}=(b_1,\dots,b_n)\in \mathbb{Z}_{>0}^n$, a $\mathbf{b}$-parking function is defined to be a sequence $(β_1,\dots,β_n)$ of positive integers whose nondecreasing rearrangement $β'_1\leq β'_2\leq \cdots \leq β'_n$ satisfies $β'_i\leq b_1+\cdots + b_i$. The $\mathbf{b}$-parking-function polytope $\mathfrak{X}_n(\mathbf{b})$ is the convex hull of all $\mathbf{b}$-parking functions of length $n$ in $\mathbb{R}^n$. Geometric properties of $\mathfrak{X}_n(\mathbf{b})$ were previously explored in the specific case where $\mathbf{b}=(a,b,b,\dots,b)$ and were shown to generalize those of the classical parking-function polytope. In this work, we study $\mathfrak{X}_n(\mathbf{b})$ in full generality. We present a minimal inequality and vertex description for $\mathfrak{X}_n(\mathbf{b})$, prove it is a generalized permutahedron, and study its $h$-polynomial. Furthermore, we investigate $\mathfrak{X}_n(\mathbf{b})$ through the perspectives of building sets and polymatroids, allowing us to identify its combinatorial types and obtain bounds on its combinatorial and circuit diameters.

For positive integers $m$ and $n$, the partial permutohedron $\mathcal{P}(m,n)$ is a certain integral polytope in $\mathbb{R}^m$, which can be defined as the convex hull of the vectors from $\{0,1,\ldots,n\}^m$ whose nonzero entries are distinct. For $n=m-1$, $\mathcal{P}(m,m-1)$ is (after translation by $(1,\ldots,1)$) the polytope $P_m$ of parking functions of length $m$, and for $n\ge m$, $\mathcal{P}(m,n)$ is combinatorially equivalent to an $m$-stellohedron. The main result of this paper is an explicit expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ for any $m$ and $n$ with $n\ge m-1$. The result confirms the validity of a conjecture for this Ehrhart polynomial in arXiv:2207.14253, and the $n=m-1$ case also answers a question of Stanley regarding the number of integer points in $P_m$. The proof of the result involves transforming $\mathcal{P}(m,n)$ to a unimodularly equivalent polytope in $\mathbb{R}^{m+1}$, obtaining a decomposition of this lifted version of $\mathcal{P}(m,n)$ with $n\ge m-1$ as a Minkowski sum of dilated coordinate simplices, applying a result of Postnikov for the number of integer points in generalized permutohedra of this form, observing that this gives an expression for the Ehrhart polynomial of $\mathcal{P}(m,n)$ with $n\ge m-1$ as an edge-weighted sum over graphs (with loops and multiple edges permitted) on $m$ labelled vertices in which each connected component contains at most one cycle, and then applying standard techniques for the enumeration of such graphs.

Stirling permutations are parking functions, and we investigate two parking function statistics in the context of these objects: lucky cars and displacement. Among our results, we consider two extreme cases: extremely lucky Stirling permutations (those with maximally many lucky cars) and extremely unlucky Stirling permutations (those with exactly one lucky car). We show that the number of extremely lucky Stirling permutations of order $n$ is the Catalan number $C_n$, and the number of extremely unlucky Stirling permutations is $(n-1)!$. We also give some results for luck that lies between these two extremes. Further, we establish that the displacement of any Stirling permutation of order $n$ is $n^2$, and we prove several results about displacement composition vectors. We conclude with directions for further study.

The cluster complex on one hand, parking functions on the other hand, are two combinatorial (po)sets that can be associated to a finite real reflection group. Cluster parking functions are obtained by taking an appropriate fiber product (over noncrossing partitions). There is a natural structure of simplicial complex on these objects, and our main goal is to show that it has the homotopy type of a (pure) wedge of spheres. The unique nonzero homology group (as a representation of the underlying reflection group) is a sign-twisted parking representation, which is the same as Gordon's quotient of diagonal coinvariants. Along the way, we prove some properties of the poset of parking functions. We also provide a long list of remaining open problems.

For any integers $1\leq k\leq n$, we introduce a new family of parking functions called $k$-vacillating parking functions of length $n$. The parking rule for $k$-vacillating parking functions allows a car with preference $p$ to park in the first available spot in encounters among the parking spots numbered $p$, $p-k$, and $p+k$ (in that order and if those spots exists). In this way, $k$-vacillating parking functions are a modification of Naples parking functions, which allow for backwards movement of a car, and of $\ell$-interval parking functions, which allow a car to park in its preference or up to $\ell$ spots in front of its preference. Among our results, we establish a combinatorial interpretation for the numerator of the $n$th convergent of the continued fraction of $\sqrt{2}$, as the number of non-decreasing $1$-vacillating parking functions of length~$n$. Our main result gives a product formula for the enumeration of $k$-vacillating parking functions of length $n$ based on the number of $1$-vacillating parking functions of smaller length. We conclude with some directions for further research.

We recall that unit interval parking functions of length $n$ are a subset of parking functions in which every car parks in its preference or in the spot after its preference, and Fubini rankings of length $n$ are rankings of $n$ competitors allowing for ties. We present an independent proof of a result of Hadaway, which establishes that unit interval parking functions and Fubini rankings are in bijection. We also prove that the cardinality of these sets are given by Fubini numbers. In addition, we give a complete characterization of unit interval parking functions by determining when a rearrangement of a unit interval parking function is again a unit interval parking function. This yields an identity for the Fubini numbers as a sum of multinomials over compositions. Moreover, we introduce a generalization of Fubini rankings, which we call the $r$-Fubini rankings of length $n+r$. We show that this set is in bijection with unit interval parking functions of length $n+r$ where the first $r$ cars have distinct preferences. We conclude by establishing that these sets are enumerated by the $r$-Fubini numbers.

Recall that $α=(a_1,a_2,\ldots,a_n)\in[n]^n$ is a parking function if its nondecreasing rearrangement $β=(b_1,b_2,\ldots,b_n)$ satisfies $b_i\leq i$ for all $1\leq i\leq n$. In this article, we study parking functions based on their ascents (indices at which $a_i<a_{i+1}$), descents (indices at which $a_i>a_{i+1}$), and ties (indices at which $a_i=a_{i+1}$). By utilizing multiset Eulerian polynomials, we give a generating function for the number of parking functions of length $n$ with $i$ descents. We present a recursive formula for the number of parking functions of length $n$ with descents at a specified subset of $[n-1]$. We establish that the number of parking functions of length $n$ with descents at $I\subset[n-1]$ and descents at $J=\{n-i:i\in I\}$ are equinumerous. As a special case, we show that the number of parking functions of length $n$ with descents at the first $k$ indices is given by $f(n, n-k-1)=\frac{1}{n}\binom{n}{k}\binom{2n-k}{n-k-1}$. We prove this by bijecting to the set of standard Young tableaux of shape $((n-k)^2,1^k)$, which are enumerated by $f(n,n-k-1)$. We also study peaks of parking functions, which are indices at which $a_{i-1}<a_i>a_{i+1}$. We show that the set of parking functions with no peaks and no ties is enumerated by the Catalan numbers. We conclude our study by characterizing when a parking function is uniquely determined by their statistic encoding; a word indicating what indices in the parking function are ascents, descents, and ties. We provide open problems throughout.