arXiv++ Combinatorics

We introduce $k$-cascading parking functions, a parametrized variant of parking functions in which cars form bumping cascades of up to $k \geq 0$ cars. Setting $k = 0$ recovers classical parking functions, whereas $k = 1$ recovers MVP parking functions. Although parking functions and cascading parking functions are equivalent as sets, they are generally distinct as maps. Therefore, in this paper we consider the enumeration of the fibers of their outcomes. Our main result is a recursive, permutation pattern-based formula for the size of the fiber of any given permutation, for any given $k \geq 0$. When specialized to the longest word, the formula reduces to a family of integer sequences that interpolate between the simplest sequence ($k=0$), the Motzkin numbers ($k = 1$), and the Catalan numbers ($k\geq n-1$). When specialized to the set of layered permutations, the formula gives new combinatorial interpretations for the row sums of certain convolution triangles, including Motzkin and Catalan convolution triangles.

Fubini rankings with $n$ competitors are $n$-tuples with entries in $[n]=\{1,2,3,\ldots, n\}$ that encode the conclusion of a race that allows ties. Since Fubini rankings are parking functions, we can study their parking outcomes, which are permutations encoding the final parking order of the cars using the Fubini ranking as a preference list. We establish that the number of Fubini rankings with $n$ competitors having a fixed parking outcome $π$ is given by $2^{n-k}$, where $k$ denotes the number of runs in $π$. We then use this formula to give a new proof for the number of Fubini rankings, which is given by the Fubini numbers. We also consider the set of $\ell$-interval Fubini rankings with $n$ competitors, which are Fubini rankings where at most $\ell+1$ competitors tie at any rank. We show that the number of $\ell$-interval Fubini rankings with $n$ competitors having a fixed parking outcome $π$ is given by a product of a power of two and a product of $\ell$-Pingala numbers, where these factors depend only on the lengths of the runs that make up the parking outcome $π$. The $1$-interval Fubini rankings are known as unit Fubini rankings, and we show that the number of unit Fubini rankings having a fixed parking outcome $π$ is given by a product of Fibonacci numbers indexed by the lengths of the runs in $π$. We use these results to give a formula for the number of $\ell$-interval Fubini rankings with $n$ competitors for all $\ell\in[n]$. We conclude with some directions for further study.

We recall that a parking function of length $n+1$ is said to be prime if removing any instance of 1 yields a parking function of length $n$. In this article, we study prime parking functions from multiple lenses. We derive an explicit formula for the average value of the total displacement of prime parking functions. We present a formula for the displacement-enumerator of prime parking functions that involves a sum over Łukasiewicz paths. We describe the one-to-one correspondence between parking functions and labeledŁukasiewicz paths via Dyck paths. We introduce the concept of $\ell$-forward differences and use this as a vehicle for examining ties, ascents, and descents in prime parking functions. We establish a link between Schur functions corresponding to the partition $(i,1^{n-i})$ and fundamental quasisymmetric functions indexed by prime parking function tie sets of size $n-i.$

We develop a circular-street argument, in the style of Pollak, to obtain a new proof that there are $C_n = \frac{1}{n+1}\binom{2n}{n}$ weakly increasing parking functions of length $n \geq 1$, where $C_n$ is the $n$th Catalan number.

We study lucky cars in subsets of parking functions, called Fubini rankings and unit Fubini rankings. A Fubini ranking is a sequence of nonnegative integers that encodes a valid ranking of competitors, where ties are allowed. A car (or competitor) is said to be lucky if it is the first instance of that rank appearing in the sequence. We present combinatorial characterizations and enumeration formulas for lucky cars in both Fubini rankings and unit Fubini rankings, and establish connections between these objects and ordered set partitions, as well as integer compositions. To obtain our results, we use several techniques to enumerate statistics over these families of objects. In particular, we employ generating functions, bijective and combinatorial arguments, recurrence relations, and Zeilberger's creative telescoping method.

In a parking function, a car is considered lucky if it is able to park in its preferred spot. Extending work of Harris and Martinez, we enumerate outcomes of parking functions with a fixed set of lucky cars. We then consider a generalization of parking functions known as vector parking functions or $\boldsymbol{u}$-parking functions, in which a nonnegative integer capacity is given to each parking spot in the street. With certain restrictions on $\boldsymbol{u}$, we enumerate outcomes of $\boldsymbol{u}$-parking functions with a fixed set of lucky cars or with a fixed number of lucky cars. We also count outcomes according to which spots contain lucky cars, and give formulas for enumerating $\boldsymbol{u}$-parking functions themselves according to their set of lucky cars.

In this paper, we obtain a q-exponential generating function for inversions on parking functions via symmetric function theory and also through a direct bijection to rooted labeled forests. We then apply these techniques to unit interval parking functions to give analogous results. We conclude by introducing a probabilistic approach through which we obtain formulas for the total number of inversions and several other statistics across all parking functions and other sets of words closed under rearrangement.

The displacement of a car with respect to a parking function is the number of spots it must drive past its preferred spot in order to park. An $\ell$-interval parking function is one in which each car has displacement at most $\ell$. Among our results, we enumerate $\ell$-interval parking functions with respect to statistics such as inversion, displacement, and major index. We show that $1$-interval parking functions with fixed displacement exhibit a cyclic sieving phenomenon. We give closed formulas for the number of $1$-interval parking functions with a fixed number of inversions. We prove that a well-known bijection of Foata preserves the set of $\ell$-interval parking functions exactly when $\ell\leq 2$ or $\ell\geq n-2$, which implies that the inversion and major index statistics are equidistributed in these cases.

Recall that the set of Fubini rankings on $n$ competitors consists of the $n$-tuples that encode the possible rankings of $n$ competitors in a competition allowing ties. Moreover, recall that a run (weak run) in a tuple is a subsequence of consecutive ascents (weak ascents). If the leading terms of the set of maximally long runs (weak runs) of a tuple are in increasing (weakly increasing) order, then the tuple is said to be flattened (weakly flattened). We define the set of strictly flattened Fubini rankings, which is the subset of Fubini rankings with runs of strict ascents whose leading term are strictly increasing. Analogously, we define the set of weakly flattened Fubini rankings, which is the subset of Fubini rankings with runs of weak ascents whose leading terms are in weakly increasing order. Our main results give formulas for the enumeration of strictly flattened Fubini rankings and weakly flattened Fubini rankings. We also provide some conjectures for further study.

We introduce a generalization of parking functions in which cars are limited in their movement backwards and forwards by two nonnegative integer parameters $k$ and $\ell$, respectively. In this setting, there are $n$ spots on a one-way street and $m$ cars attempting to park in those spots, and $1\leq m\leq n$. We let $α=(a_1,a_2,\ldots,a_m)\in[n]^m$ denote the parking preferences for the cars, which enter the street sequentially. Car $i$ drives to their preference $a_i$ and parks there if the spot is available. Otherwise, car $i$ checks up to $k$ spots behind their preference, parking in the first available spot it encounters if any. If no spots are available, or the car reaches the start of the street, then the car returns to its preference and attempts to park in the first spot it encounters among spots $a_i+1,a_i+2,\ldots,a_i+\ell$. If car $i$ fails to park, then parking ceases. If all cars are able to park given the preferences in $α$, then $α$ is called a $(k,\ell)$-pullback $(m,n)$-parking function. Our main result establishes counts for these parking functions in two ways: counting them based on their final parking outcome (the order in which the cars park on the street), and via a recursive formula. Specializing $\ell=n-1$, our result gives a new formula for the number of $k$-Naples $(m,n)$-parking functions and further specializing $m=n$ recovers a formula for the number of $k$-Naples parking functions given by Christensen et al. The specialization of $k=\ell=1$, gives a formula for the number of vacillating $(m,n)$-parking functions, a generalization of vacillating parking functions studied by Fang et al., and the $m=n$ result answers a problem posed by the authors. We conclude with a few directions for further study.

In this article, we establish new results on the probabilistic parking model (introduced by Durmíc, Han, Harris, Ribeiro, and Yin) with $m$ cars and $n$ parking spots and probability parameter $p\in[0,1]$. For any $ m \leq n$ and $p \in [0,1]$, we study the parking preference of the last car, denoted $a_m$, and determine the conditional distribution of $a_m$ and compute its expected value. We show that both formulas depict explicit dependence on the probability parameter $p$. We study the case where $m = cn $ for some $ 0 < c < 1 $ and investigate the asymptotic behavior and show that the presence of ``extra spots'' on the street significantly affects the rate at which the conditional distribution of $ a_m $ converges to the uniform distribution on $[n]$. Even for small $ \varepsilon = 1 - c $, an $ \varepsilon $-proportion of extra spots reduces the convergence rate from $ 1/\sqrt{n} $ to $ 1/n $ when $ p \neq 1/2 $. Additionally, we examine how the convergence rate depends on $c$, while keeping $n$ and $p$ fixed. We establish that as $c$ approaches zero, the total variation distance between the conditional distribution of $a_m$ and the uniform distribution on $[n]$ decreases at least linearly in $c$.

In 1966, Konheim and Weiss [33] introduced a now classical parking protocol. The deterministic process and its resultant objects, known as parking functions, have since become a favorite object of study in enumerative combinatorics. In our work, we introduce and study a probabilistic variant of the classical parking protocol, which is closely related to Internal Diffusion Limited Aggregation, or IDLA, introduced in 1991 by Diaconis and Fulton [19]. In particular, we compute the stationary distribution of this process when initiated with a particular class of initial preferences, of which weakly increasing parking functions are a subset. Furthermore, we compute the expected time it takes for the protocol to complete assuming all of the cars park, and prove that, in some cases, the parking process is negatively correlated. In addition, we study statistics of uniformly random weakly increasing parking functions such as the distribution of the last entry, the probability that a specific set of cars is lucky, and the expected number of lucky cars.

For integral weights $λ$ and $μ$ of a classical simple Lie algebra $\mathfrak{g}$, Kostant's weight multiplicity formula gives the multiplicity of the weight $μ$ in the irreducible representation with highest weight $λ$, which we denote by $m(λ,μ)$. Kostant's weight multiplicity formula is an alternating sum over the Weyl group of the Lie algebra whose terms are determined via a vector partition function. The Weyl alternation set $\mathcal{A}(λ,μ)$ is the set of elements of the Weyl group that contribute nontrivially to the multiplicity $m(λ,μ)$. In this article, we prove that Weyl alternation sets are order ideals in the weak Bruhat order of the corresponding Weyl group. Specializing to the Lie algebra $\mathfrak{sl}_{r+1}(\mathbb{C})$, we give a complete characterization of the Weyl alternation sets $\mathcal{A}(\tildeα,μ)$, where $\tildeα$ is the highest root and $μ$ is a negative root, answering a question of Harry posed in 2024. We also provide some enumerative results that pave the way for our future work, where we aim to prove Harry's conjecture that the $q$-analog of Kostant's weight multiplicity formula is $m_q(\tildeα,μ)=q^{r+j-i+1}+q^{r+j-i}-q^{j-i+1}$ when $μ=-(α_i+α_{i+1}+\cdots+α_{j})$ is a negative root of $\mathfrak{sl}_{r+1}(\mathbb{C})$.

In a parking function, a lucky car is a car that parks in its preferred parking spot and the parking outcome is the permutation encoding the order in which the cars park on the street. We give a characterization for the set of parking outcomes arising from parking functions with a fixed set of lucky cars. This characterization involves the descent bottom set of a permutation, and we use the characterization to we give a formula for the number of parking functions with a fixed set of lucky cars. Our work includes the cases where the number of cars is equal to the number of parking spots, and where there are more spots than cars. We also give product formulas for the number of weakly increasing parking functions having a fixed set of lucky cars, and when the number of cars equals the number of spots this is a product of Catalan numbers.

For a pair of positive integer parameters $(t,r)$, a subset $T$ of vertices of a graph $G$ is said to $(t,r)$ broadcast dominate a graph $G$ if, for any vertex $u$ in $G$, we have $\sum_{v\in T, u\in N_t(v)}(t-d(u,v))\geq r$, where where $N_{t}(v)=\{u\in V:d(u,v)<t\}$ and $d(u,v)$ denotes the distance between $u$ and $v$. This can be interpreted as each vertex $v$ of $T$ sending $\max(t-\text{d}(u,v),0)$ signal to vertices within a distance of $t-1$ away from $v$. The signal is additive and we require that every vertex of the graph receives a minimum reception $r$ from all vertices in $T$. For a finite graph the smallest cardinality among all $(t,r)$ broadcast dominating sets of a graph is called the $(t,r)$ broadcast domination number. We remark that the $(2,1)$ broadcast domination number is the domination number and the $(t,1)$ (for $t\geq 1$) is the distance domination number of a graph. We study a family of graphs that arise as a finite subgraph of the truncated square titling, which utilizes regular squares and octagons to tile the Euclidean plane. For positive integers $m$ and $n$, we let $H_{m,n}$ be the graph consisting of $m$ rows of $n$ octagons (cycle graph on $8$ vertices). For all $t\geq 2$, we provide lower and upper bounds for the $(t,1)$ broadcast domination number for $H_{m,n}$ for all $m,n\geq 1$. We give exact $(2,1)$ broadcast domination numbers for $H_{m,n}$ when $(m,n)\in\{(1,1),(1,2),(1,3),(1,4),(2,2)\}$. We also consider the infinite truncated square tiling, denoted $H_{\infty,\infty}$, and we provide constructions of infinite $(t,r)$ broadcasts for $(t,r)\in\{(2,1),(2,2),(3,1),(3,2),(3,3),(4,1)\}$. Using these constructions we give upper bounds on the density of these broadcasts i.e., the proportion of vertices needed to $(t,r)$ broadcast dominate this infinite graph. We end with some directions for future study.

We introduce and study the pinnacle sets of a simple graph $G$ with $n$ vertices. Given a bijective vertex labeling $λ\,:\,V(G)\rightarrow [n]$, the label $λ(v)$ of vertex $v$ is a pinnacle of $(G, λ)$ if $λ(v)>λ(w)$ for all vertices $w$ in the neighborhood of $v$. The pinnacle set of $(G, λ)$ contains all the pinnacles of the labeled graph. A subset $S\subseteq[n]$ is a pinnacle set of $G$ if there exists a labeling $λ$ such that $S$ is the pinnacle set of $(G,λ)$. Of interest to us is the question: Which subsets of $[n]$ are the pinnacle sets of $G$? Our main results are as follows. We show that when $G$ is connected, $G$ has a size-$k$ pinnacle set if and only if $G$ has an independent set of the same size. Consequently, determining if $G$ has a size-$k$ pinnacle set and determining if $G$ has a particular subset $S$ as a pinnacle set are NP-complete problems. Nonetheless, we completely identify all the pinnacle sets of complete graphs, complete bipartite graphs, cycles and paths. We also present two techniques for deriving new pinnacle sets from old ones that imply a typical graph has many pinnacle sets. Finally, we define a poset on all the size-$k$ pinnacle sets of $G$ and show that it is a join semilattice. If, additionally, the poset has a minimum element, then it is a distributive lattice. We conclude with some open problems for further study.

If G is a finite connected graph, then an arithmetical structure on $G$ is a pair of vectors $(\mathbf{d}, \mathbf{r})$ with positive integer entries such that $(\diag(\mathbf{d}) - A)\cdot \mathbf{r} = \mathbf{0}$, where $A$ is the adjacency matrix of $G$ and the entries of $\mathbf{r}$ have no common factor other than $1$. In this paper, we generalize the result of Archer, Bishop, Diaz-Lopez, García Puente, Glass, and Louwsma on enumerating arithmetical structures on bidents (also called coconut tree graphs $\CT{p}{2}$) to all coconut tree graphs $\CT{p}{s}$ which consists of a path on $p>0$ vertices to which we append $s>0$ leaves to the right most vertex on the path. We also give a characterization of smooth arithmetical structures on coconut trees when given number assignments to the leaf nodes.

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.

A fundamental identity in the representation theory of the partition algebra is $n^k = \sum_λ f^λm_k^λ$ for $n \geq 2k$, where $λ$ ranges over integer partitions of $n$, $f^λ$ is the number of standard Young tableaux of shape $λ$, and $m_k^λ$ is the number of vacillating tableaux of shape $λ$ and length $2k$. Using a combination of RSK insertion and jeu de taquin, Halverson and Lewandowski constructed a bijection $DI_n^k$ that maps each integer sequence in $[n]^k$ to a pair of tableaux of the same shape, where one is a standard Young tableau and the other is a vacillating tableau. In this paper, we study the fine properties of Halverson and Lewandowski's bijection and explore the correspondence between integer sequences and the vacillating tableaux via the map $DI_n^k$ for general integers $n$ and $k$. In particular, we characterize the integer sequences $\boldsymbol{i}$ whose corresponding shape, $λ$, in the image $DI_n^k(\boldsymbol{i})$, satisfies $λ_1 = n$ or $λ_1 = n-k$.