arXiv++ Combinatorics

Spherical $G$-parking functions are a distinguished subset of standard monomials, arising from the skeleton ideals of the $G$-parking function ideal. Explicit spherical $G$-parking function enumeration formulas are known only in a few classes of graphs. In this paper, we consider a family of graphs $\Gl$ ($1\leq \ell \leq n-2$), obtained from the complete bipartite $K_{n+1}$ by deleting the $\ell$ edges joining vertex $1$ to the vertices in $F_\ell= \{n-\ell+1, \ldots, n\}$. The uprooted spanning trees of $\Gl-\{0\}$ are counted by the set $\UnFl$ of uprooted trees with the vertex set $[n]$ in which vertex $1$ is not adjacent to any vertex in $F_\ell$, and we establish that $|\UnFl| = (n-1)^{n-\ell-2}(n-2)^{\ell}(n-\ell-1).$ We derive this formula combinatorially and independently recover it as an application of the matrix tree theorem, obtaining some combinatorial identities as consequences. Finally, we determine the number of spherical $\Gl$-parking functions as $|\SPF(\Gl)| = (n-1)^{n-3}(n-\ell-1)^2.$

We present several short proofs that resolve open problems from the algebraic and enumerative combinatorics literature. First, we consider the echelonmotion operator on modular lattices. We resolve a conjecture of Defant, Jiang, Marczinzik, Segovia, Speyer, Thomas, and Williams and, consequently, obtain a new algebraic bijective proof of a classical result of Dilworth. Second, we consider statistics on parking functions studied by Stanley and Yin and by Hopkins. We prove some conjectures of Hopkins. Third, we consider centralizers in the plactic monoid. We settle two conjectures of Sagan and Wilson. All of these proofs were obtained autonomously by ChatGPT 5.4 Pro.

Let $G$ be a finite group acting on a finite set $X$. This group action splits $X$ into disjoint orbits. The Burnside process is a Markov chain on $X$ which has a uniform stationary distribution when the chain is projected to orbits. We initiate the study of the Burnside process on Catalan structures. We consider two special cases: the first where the state space is the set of parking functions of length $n$ and $G = S_n$ is the symmetric group on $[n]$, such that $G$ acts by permuting coordinates, and the second where the state space is the set of labeled Dyck paths of length $2n$ and $G = S_n$ acts by permuting labels. The resulting Burnside processes give novel algorithms for sampling, respectively, an increasing parking function and a Dyck path approximately uniformly at random. Our main result shows that both processes are rapidly mixing, with mixing times upper bounded by $O(n \log n)$. As an application, we show how our Burnside process can be used to sample triangulations of an $(n+2)$-gon approximately uniformly at random.

We introduce the priority lattice, a structure arising from the priority search algorithm on rooted trees and forests. We prove bijectively that its maximal chains are labeled by parking functions, and that the maximal chains of its principal ideals are labeled by partial parking functions. We establish that it is a graded lattice and compute its Möbius function and characteristic polynomials.

The Pak-Stanley labeling is a bijection between the regions of the $m$-Shi arrangement and the $m$-parking functions. Mazin generalized this labeling to every deformation of the braid arrangement and proved that this labeling is always surjective onto a set of directed multigraph parking functions. We provide a right inverse to the generalized Pak-Stanley labeling, and identify a class $\mathcal{C}$ of arrangements for which this labeling is bijective. The class $\mathcal{C}$ includes the multi-Shi arrangements and the multi-Catalan arrangements. We also show that the arrangements in $\mathcal{C}$ are the only transitive arrangements for which the generalized Pak-Stanley labeling is bijective.

Motivated by the combinatorics of parking functions and their several generalizations, we study the Ehrhart theory of Pitman--Stanley polytopes. We prove a strong positivity phenomenon called \emph{magic positivity} for the Ehrhart polynomials of these polytopes, which in turn implies that their $h^*$-polynomials are real-rooted (and thus log-concave and unimodal). Our result is achieved by interpreting the coefficients of these Ehrhart polynomials in the \emph{magic basis} in terms of the number of \emph{lucky cars} in a modified parking protocol. Furthermore, we address the magic positivity problem for $\mathbf{y}$-generalized permutohedra and also discuss a \emph{magic} combinatorial interpretation for them, under the assumption that the input parameters are sufficiently large.

This article introduces a quantized chip-firing model with close connections to the theory of rational lattice paths and rational parking functions. Given a graph with a sink and positive integers a,b,c with gcd(a,b)=1, a set S of vertices fires by the following rule. Each vertex in S provisionally sends c chips to the sink and a/b chips to each non-sink neighbor outside of S. The novel feature is that the total number of chips leaving from or arriving at any vertex gets rounded down to the nearest integer before being finalized. We define the notions of chip configurations being superstable, k-stable, or k-skeletal in this model. When c=1 and the graph is complete, superstable configurations correspond to rational parking functions. There is a bijection between superstable configurations and k-skeletal configurations for each k. We establish these results by building a combinatorial theory of k-skeletal rational lattice paths (both unlabeled and labeled) and translating that theory to chip configurations. There is a group structure on the set of chip configurations modulo firing and borrowing moves. We show that this group is isomorphic to the product of b-1 copies of the integers modulo a; and, for each k, each coset of chip configurations in this group contains a unique k-skeletal representative.

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.

Parking functions are tuples that describe the parking of $M$ cars on a street with $M$ parking spots. In this paper, we define exact $k$-typed parking functions ($k$-TPFs) to be a variant of classical parking functions. We then establish that every exact $k$-TPF $α$ of length $M$, corresponds to a unique parking configuration $C$. We observe that the collection of all exact $k$-TPFs which result in the same configuration form a disjoint subset of all exact $k$-TPFs. Lastly, we conclude by showing how parking permutations of an exact $k$-TPF can be related to other combinatorial objects.

We introduce the class of bilateral parking procedures on the integer line. While cars try to park in the nearest available spot to their right in the classical case, we consider more general parking rules that allow cars to use the nearest available spot to their left. We show that for a natural subclass of local procedures, the number of corresponding parking functions of length $r$ is always equal to $(r+1)^{r-1}$. The setting can be extended to probabilistic procedures, in which the decision to park left or right is random. We finally describe how bilateral procedures can naturally be encoded by certain labeled binary forests, whose combinatorics shed light on several results from the literature.

We study certain groups and ideals arising from the chip-firing game on a generalisation of graphs called pargraphs. Several well-known families of toric ideals, including those defining rational normal curves and binomial edge ideals of complete graphs, arise as toppling ideals of pargraphs. We provide sufficient conditions under which the toppling ideal of a pargraph to be toric. In addition, we construct a Gröbner basis for the toppling ideal, a minimal cellular free resolution for a distinguished initial ideal known as the $G$-parking function ideal, and establish Cohen-Macaulay property for these ideals. We also study the Picard group of a pargraph and provide sufficient conditions ensuring its freeness.

We prove that the symmetric function $e_{(1^k)}[-MX^{m,n}] \cdot 1$, arising from the elliptic Hall algebra, equals the generating function for $k$-tuples of cyclic $(m,n)$-parking functions. This result resolves a conjecture of Gorsky--Mazin--Vazirani and Wilson, establishing that the elliptic Hall algebra governs the Khovanov--Rozansky homology of torus links $T(km,kn)$. Consequently, this provides an affirmative answer to a question of Galashin and Lam in the torus link case. As a key step in the proof, we develop a rational analogue of the Shareshian--Wachs involution originally introduced to prove the symmetry property of the chromatic quasisymmetric functions.

We extend the notion of parking function polytopes and study their geometric and combinatorial structure, including normal fans, face posets, and $h$-polynomials, as well as their connections to other classes of polytopes. To capture their combinatorial features, we introduce generalizations of ordered set partitions, called binary partitions and skewed binary partitions. Using properties of preorder cones, we characterize the skewed binary partitions that are in bijection with the cones of the normal fan of a parking function polytope. This description of the normal fan yields an explicit formula for the $h$-polynomials of simple parking function polytopes in terms of generalized Eulerian polynomials. Finally, we relate parking function polytopes to several well-known polytopes, leading to additional results, including formulas for their volumes and Ehrhart polynomials.

We introduce a new broadly unifying family of combinatorial objects, which we call permutation flows, associated to an acyclic directed graph $G$ together with a framing $F$. This new family is combinatorially rich and contains as special cases various families of combinatorial objects that are frequently studied in the literature, as is the case of permutations, circular permutations, multipermutations, Stirling permutations, Catalan objects and their generalizations. When permutation flows are decorated with compatible shuffles, they also include the combinatorics of parking functions and their generalizations. This model is geometrically rich. We show that permutation flow shuffles define a family of unimodular triangulations of the flow polytope $F_G(a)$ on $G$ with an integer balanced netflow vector a where only the last entry is negative. As an application we provide a new proof of the Lidskii volume formula of Baldoni and Vergne for this family of polytopes and a reformulation of the same formula where every term is explained by the nature of the combinatorial objects involved. Permutation flow triangulations extend the Danilov, Karzanov, and Koshevoy triangulations that were defined for the case where a=e_0-e_n. We provide a formula for the h^*-polynomial of the flow polytope as the descent enumerating polynomial of permutation flows. The model comes with an order structure induced by intuitive operators on permutation flows which we call the weak order. This order includes as special cases the weak order on permutations, the Tamari lattice, order ideals in Young's lattice, and their generalizations, among others. It was conjectured in 2020 by the three authors, together with Benedetti, Harris, and Morales, that this poset is in general a lattice. This conjecture has been recently established with independent proofs by Bell and Ceballos, and by Berggren and Serhiyenko.

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 express the toric g-vector entries of any simple polytope as a nonnegative integer linear combination of its gamma-vector entries. Using this expression we obtain that the toric g-vector of the associahedron is the ascent statistic of 123-avoiding parking functions. An analogous result holds for the cyclohedron and 123-avoiding functions. We prove that the toric g-vector of the permutahedron records the ascent statistics of parking trees representing 123-avoiding parking functions. We indicate how our approach extends to all chordal nestohedra.

We study three natural types of restrictions on Fubini rankings and unit interval parking functions, which are motivated by their correspondence with ordered set partitions. For each restriction type, we define the corresponding subset of Fubini rankings and unit interval parking functions, establish enumerative results, and provide bijections between the restricted families. We also obtain exponential generating functions and combinatorial interpretations, including connections with exceedances in permutations and with the absence of cyclical adjacencies in set partitions.

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.

We introduce a rather natural family of non-uniform distributions on $PF_n$, $n\in\mathbb{N}$, the set of parking functions of length $n$. One of the motivations for this comes from a similar situation in the context of integer partitions. For a permutation $σ\in S_n$ and for $j\in[n]$, let $I_{n,<j}(σ)$ denote the number of inversions in $σ$ that involve the number $j$ and a number less than $j$. Let $\tilde I_{n,<j}(σ)=I_{n,<j}(σ)+1$. The map $(σ,τ)\to\left(\tilde I_{n,<τ_1}(σ),\cdots, \tilde I_{n,< τ_n}(σ)\right)$ maps $S_n\times S_n$ onto $PF_n$. Consider the family of distributions $P_n^{(q)}\times P_n$, $q\in(0,\infty)$, on $S_n\times S_n$, where $P_n$ is the uniform distribution on $S_n$ and $P_n^{(q)}$ is the Mallows distribution with parameter $q$ on $S_n$. The Mallows distributions are defined by exponential tilting via the inversion statistic. For each $q>0$, the above map along with the distribution $P_n^{(q)}\times P_n$ induces an exchangeable distribution $\mathcal{P}_n^{(q)}$ on $PF_n$. We study the asymptotic behavior of two fundamental statistics of parking functions under the family of distributions $\mathcal{P}_n^{(q)}$.

We introduce a bi-graded polynomial that encodes the cohomology groups of the wild Hitchin system of type~$A_{n-1}$, constructed using an irregular singularity (determined by an integer~$m$) and an arbitrary regular singularity~$f$. When the regular singularity is of the form~$f = [1, \ldots, 1]$, the bi-graded polynomial~$C_{m,n}(q,t)$ coincides with the bigraded rational parking function defined combinatorially, admitting a Schur expansion~$C_{m,n}(q,t) = \sum_λf_λ(q,t) s_λ(x)$. For general~$f$, the polynomial takes the form~$C^f_{m,n}(q,t) = \sum_λf_λ(q,t) K_{λf}$, where~$K_{λf}$ denotes the Kostka number. We conjecture that this bi-graded polynomial agrees with the one arising from the perverse filtration of the Hitchin fibration, or equivalently, from the weight filtration of the mixed Hodge structure from the character variety. We also give a description by using the geometry of affine Springer fiber.}