arXiv++ Combinatorics

Partly motivated by enumeration of parking functions and their variants, there is a long-standing interest in lattice paths refined by several statistics, including the notable $\mathsf{run}$ and $\mathsf{return}$. We consider bounded lattice paths, which are bounded by a given lattice path and are related to vector parking functions, for which we generalize $\mathsf{run}$ to composition runs, parameterized by a composition. By constructing involutions on these paths, we establish symmetries relating composition runs to some generalized return statistics. As an application, we settle an open problem of Dai, Fu, and Qiu on rational Dyck paths. The symmetries between generalized $\mathsf{run}$ and $\mathsf{return}$ are then transferred to vector parking functions, which suggest a new notion of prime decomposition. In the special case of $(a, b)$-parking functions, we compute the generating function refined by $\mathsf{run}$ and $\mathsf{pri}$, which is new even for classical parking functions.

A parking function is said to have $\ell$-limited preferences if there are at most $\ell$ copies of each element in the parking function. In this paper, we define a notion of pattern avoidance for parking functions and enumerate those $2$-limited parking functions that avoid certain patterns.

Imagine there are $n$ cars lined up along a one-way street containing $n$ spots. Each car contains a group of friends, including a reluctant driver. Each car has a preferred spot and cars enter one by one. The cars drive to their preferred spot and if it is empty park there. If it is not empty, a friend in the back yells out ``Hey! You should have driven faster!". Frustrated by this, the driver continues down the road until they find the last unoccupied spot (if one exists) and parks there. We say a sequence $(a_1,a_2,\dots, a_n)$ of preferred spots is a frustrated parking function if all cars can park under this rule. In this paper, we study the enumerative properties of frustrated parking functions. In particular, we show that the number of frustrated parking functions of length $n$ is $(2n-1)!!$. This is done by associating frustrated parking functions with height labeled Dyck paths. Using this association, we are then able to better understand the sets of lucky cars and lucky spots for frustrated parking functions. We show that the frustrated parking functions of length $n$ where the first $k$ cars (or first $k$ spots) are lucky is given by $k!S(n,k)$ where $S(n,k)$ is the Stirling number of the second kind. This in turn implies that the number of frustrated parking functions where once a car (or spot) is unlucky, the remaining cars (or spots) are unlucky is counted by the $n^{th}$ Fubini number. We also show that the number of frustrated parking functions with $k$ lucky cars (or spots) is given by the second order Eulerian number.

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

Pattern avoidance is a central topic in the study of permutations. Parking functions provide a natural setting in which to ask analogous questions. In this paper, we study parking functions whose parking permutations avoid the patterns $1234$ and $2134$, obtaining an analog of the Schröder numbers for parking functions. To enumerate these objects, we develop an enumeration scheme that runs in polynomial time and adapt the prefix-based framework introduced by Zeilberger in 1998, and later improved by Vatter, by instead using ``suffixes.''

We prove real-rootedness for the Chow polynomials of the noncrossing partition lattices by transferring tieless parking functions to finite-alphabet Smirnov words and applying an interlacing-preserving transition of M.~Leander. We also derive a triangular recurrence for peaks and ties and identify the peakless-tieless descent polynomial as the Narayana polynomial. For the toric $g$-contributions of Ehrenborg--Hetyei--Readdy, we exhibit a fixed-row common interlacer and establish real-rootedness of all nonnegative row sums. Individual real-rootedness follows in particular; Q.~Xiao also proved it by a different differential recurrence. We also give a second proof of the individual statement, by finite Schur--Szegő convolution, that does not use the common interlacer. These results prove Conjecture~4.2 of Xiao and Conjecture~11.2 of Ehrenborg--Hetyei--Readdy, with consequences for weakly 123-avoiding parking functions. We also prove real-rootedness for the image-size polynomial on all parking functions and for the ascent and descent polynomials of four two-pattern-avoiding classes.

We study a circular variant of the $s$-choice parking model: $n$ cars park on $m=n+1$ spots arranged on a circle, each car carrying an anchor and $s-1$ clockwise increments at least $d$ apart with return gap at least $d$; a car tries its choices in order and then sweeps clockwise from its last choice. On the circle every car parks and exactly one spot remains empty. Exploiting rotational symmetry in the spirit of Pollak's proof of the count $(n+1)^{n-1}$, we prove that the empty spot is exactly equidistributed, which yields the closed formula $m^{n-1}\binom{m-sd+s-1}{s-1}^{n}$ for the number of preferences leaving any prescribed spot empty. This appears to be the first closed product formula in the multi-choice parking landscape. We further prove a refinement: within every class of preferences with prescribed increments, the empty spot is still exactly equidistributed, which explains the product structure of the formula and, for $s=2$, $d=1$, the appearance of the classical count $(n+1)^{n-1}$ as a factor of $(n+1)^{n-1}n^{n}$. The admissible tuples are enumerated through Kaplansky's lemma on circular selections, and all results are verified by exhaustive computer enumeration.

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.

In the study of the generating series of Demazure characters, Lascoux used isobaric divided differences to define a family of polynomials $\mathcal{E}_σ(t)$ indexed by permutations $σ$, and asked for a satisfactory expression of these polynomials. In this paper we obtain a combinatorial interpretation of $\mathcal{E}_σ(t)$ for the permutation $σ=[2,3,\ldots,n,1]$ or its inverse in terms of the descent statistic of parking functions of length $n-1$. Based on this progress on Lascoux's open problem, we find that the polynomial $\mathcal{E}_σ(t)$ for this special case coincides with the $h$-polynomial $h(Δ(\mathrm{NC}_W),t)$ of the order complex of the noncrossing partition lattice associated to the irreducible Coxeter group $W$ of type $A_{n-1}$. We are inspired by this coincidence to give an operator approach to $h(Δ(\mathrm{NC}_W),t)$ for any finite Coxeter group $W$. As an application, we completely solve an open problem on $h(Δ(\mathrm{NC}_W),t)$ which was proposed by Athanasiadis, Douvropoulos and Kalampogia-Evangelinou. For any $k$-divisible noncrossing partition poset $\mathrm{NC}^{(k)}_W$, we also obtain the interlacing symmetric decomposition property of the $h$-polynomial $h(Δ(\mathrm{NC}^{(k)}_W),t)$.

The classical bond lattice of a graph was used in a formula of Whitney to compute the chromatic polynomial. In this paper, we use weighted versions of the bond lattice, to introduce and study a new polynomial and a new symmetric function invariant of a graph. Examples of the new polynomial invariant include the classical Narayana polynomials (for the path graph), the tree-Eulerian polynomials (for the complete graph), and the binomial-Eulerian polynomials (for the star graph). These examples suggest an interesting connection to $h$-polynomials of general graph-associahedra. We prove that for any chordal graph, our polynomial graph invariant is $γ$-positive. Multiweighted bond posets yield a symmetric function graph invariant that is an analog of the chromatic polynomial. The highest degree homogeneous component of this symmetric function is of particular interest. The parking function symmetric function introduced by Haiman arises as an example, as do symmetric functions studied by the first author in connection with multibracketed Lie algebras and with colored exterior algebras. The $γ$-positivity result mentioned above is a specialization of an $e$-positivity result for the highest degree homogeneous component, which we prove for any chordal graph using the theory of lexicographic shellability. We conjecture that this symmetric function is Schur-log-concave, which specializes to Huh's log-concavity theorem for the chromatic polynomial.

In this paper, we study the regions of asymmetric extensions of the Catalan and Shi arrangements. We first determine the characteristic polynomials of a general class of Catalan and Shi arrangements using the finite field method, thereby obtaining explicit formulas for the number of regions. We then introduce two new classes of combinatorial objects: $\mathbf{c}$-labelled Dyck paths and $\mathbf{c}$-building functions, which generalize classical Dyck paths and parking functions, respectively. We prove that the regions of the asymmetric Catalan arrangement are in natural bijection with $\mathbf{c}$-labelled Dyck paths, while those of the asymmetric Shi arrangement are in natural bijection with $\mathbf{c}$-building functions. This resolves a problem proposed by Theo Douvropoulos during the 2022 Oberwolfach Workshop on Enumerative Combinatorics. In particular, our results extend Stanley's celebrated correspondence between $m$-parking functions and the regions of the $m$-Shi arrangement by introducing new combinatorial models and developing entirely different proof techniques.

We prove that the Chow polynomial of the noncrossing partition lattice is equal to the descent generating function of tieless parking functions. As a consequence, we obtain new results on the descent statistic for parking functions.

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.

In this expository article we review a remarkable bijection $φ_n$ due to Loehr and Remmel from the set of parking functions of size n into itself, which sends the bistatistic (dinv, area) into the bistatistic (area, pmaj). The only novelty of the present work is our definition of $φ_n$, which is more direct than the original one, hence easier to compute and to work with.

Parking functions correspond with preferences of $n$ cars which enter sequentially to park on a one-way street where (1) each car parks in the first available spot greater than or equal to its preference and (2) all cars successfully park. We generalize parking functions to parking completions: Here, we are given that some cars have already parked in a set of spots, which are indexed in a sequence $\mathbf{t}$. We then consider a preference list $\mathbf{c}$, where length of $\mathbf{t}$ + length of $\mathbf{c}$ = $n$. If all cars can park, we say that $\mathbf{c}$ is a parking completion. Adeniran et al. (2020) state an open problem which proposes a connection between the number of parking completions to the volumes of Pitman-Stanley polytopes by explicit computation on small values of $n$. In this paper, we provide a solution to this open problem by proving a theorem which explains that the set of parking completions is the set of $\mathbf{x}$-parking functions.

We introduce notions of (weak) shuffle-compatibility for statistics on words, parking functions, and set partitions, generalizing Gessel and Zhuang's shuffle-compatibility for statistics on permutations. For parking functions and set partitions, we perform a systematic review of statistics that appear in the FindStat database (as well as the literature). We further define (shifted) shuffle algebras of (weakly) shuffle-compatible statistics on the equivalence classes induced by the statistics. These algebras relate closely to various combinatorial Hopf algebras such as QSym, FQSym, PQSym, and NCSym. These constructions yield new combinatorial interpretations of various Hopf algebra bases and, in some cases, new bases entirely.

In a previous work, we defined the complex of cluster parking functions. On one side, they encode the type-refined enumeration of faces of the cluster complex, and on the other side, they have a reduced homology which is isomorphic to (ungraded) diagonal coinvariants. The goal of this work is to take into account the underlying dihedral symmetry. We thus have a product of a dihedral group and a symmetric group (there is a precise conjecture in the case of other finite Coxeter groups, but we focus on symmetric groups because of technicalities about diagonal coinvariants beyond this case). Under the action of the product group, the reduced homology of cluster parking functions is conjecturally isomorphic to diagonal coinvariants up to tensoring by a sign character of the dihedral group. This isomorphism can be reformulated as a dihedral sieving phenomenon. The main technical contribution is the definition of the dihedral automorphism group of cluster parking functions, and we discuss various features of the reduced homology character and its conjectural connection with diagonal coinvariants.

For positive integers \(m,n\), the partial permutohedron $\mathcal{P}(m,n)$ is a lattice polytope constructed as the convex hull of vectors in $\{0, 1, \dots, n\}^m$ that have distinct non-zero entries. We prove that for $n \ge m-1$, the Ehrhart polynomial of $\mathcal{P}(m,n)$ is magic positive except for the single case \((m,n)=(2,1)\). In particular, the Ehrhart polynomial of the parking function polytope (integrally equivalent to $\mathcal{P}(m,m-1)$) is magic positive for $m \ge 3$. For $n<m-1$, we discuss the magic positivity of the Ehrhart polynomial of $\mathcal{P}(m,n)$ for $n=1,2,3$. There exist infinitely many counterexamples with $n<m-1$ showing that the Ehrhart polynomial of $\mathcal{P}(m,n)$ is not magic positive. This partially resolves an open problem proposed by Ferroni and Higashitani.

Unit-interval parking functions of length $n$ are enumerated by the Fubini numbers $F_n$ and are in explicit bijection with the ordered set partitions of $[n]$. We use this bijection to single out the unit-interval parking functions whose associated ordered set partition is \emph{deranged} in the sense of Belbachir, Djemmada, and Németh -- no block occupies the position indexed by its minimum element -- and call them the \emph{deranged unit-interval parking functions} $\DUPF_n$. Since the bijection restricts to the deranged objects, $|\DUPF_n| = \tilde F_n$, the $n$-th deranged Bell number. We give an intrinsic, coordinate-wise characterization of the deranged condition through the lucky cars (equivalently, the block leaders) of a parking function, and we refine the enumeration by total displacement, obtaining $d_m\Stir{n}{m}$ deranged unit-interval parking functions with $m$ blocks. We derive the exponential generating function $e^{1-e^x}/(2-e^x)$ by the symbolic method, prove a fixed-block convolution relating $F_n$, the Bell numbers, and $\tilde F_n$, refine the count by singleton blocks via $2$-associated Stirling numbers, and describe an $r$-start extension together with a deranged Cayley-permutation model. Worked examples and a table of values are included.

In this paper we study cycles in multiset permutations and parking functions. As combinatorial objects, multiset permutations are essential building blocks for mappings and permutations, while parking functions lie between mappings and permutations. We take both algebraic and analytic views in our investigation and present exact as well as asymptotic results. We point to a surprising correspondence between two statistics on multiset permutations, terminal closers and cyclic points, shedding light on the combinatorial structure.