Papers
Topics
Authors
Recent
Search
2000 character limit reached

Parking Function Statistics

Updated 22 May 2026
  • Parking Function Statistics is a study of preference vectors that ensure all cars park under both classical and biased probabilistic protocols.
  • The analysis highlights p-coin invariance and phase transitions in last-car preference distributions, elucidating the impact of directional biases.
  • Combinatorial techniques including circle models, weighted Pascal recurrences, and Abel-binomial identities deepen our understanding of parking function enumeration.

A parking function of length nn is a preference vector α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n such that, under the canonical one-way parking protocol, all nn cars labeled 1,,n1,\ldots,n successfully park in a row of nn spots. Parking function statistics analyze random and enumerative properties of preference vectors, emphasizing probabilities and distributions of various features under both deterministic and probabilistic parking protocols. Parking function statistics are central in enumerative combinatorics, probability, and their connections to tree enumeration, Dyck paths, and shuffle conjectures.

1. Probabilistic Parking Protocol and pp-Coin Invariance

The probabilistic protocol parameterizes the classical process by a bias parameter p[0,1]p \in [0,1]: when a car's preferred spot is occupied, it chooses to search forward with probability pp and backward with probability $1-p$. Strikingly, the overall probability that a random preference vector α[n]n\alpha \in [n]^n is a parking function is independent of α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n0: α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n1 This invariance (Pollak–coin invariance) extends to α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n2 cars, yielding: α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n3 These results are proved via a row-shift/circle argument equating the probability that a particular spot is the unique empty one, independently of α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n4 (Durmić et al., 2022).

2. Finer Statistics: Last-Car Preference, Conditional Distributions, and Phase Transitions

Although the global parking function count is α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n5-invariant, conditional features—such as the distribution of the last-car preference α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n6—depend on α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n7: α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n8 As α=(a1,,an)[n]n\alpha = (a_1,\ldots,a_n) \in [n]^n9,

nn0

For nn1, the nn2 term vanishes, so the mean is centered. There is a phase transition in the approach to equidistribution: the total variation distance between the last-car law and uniform satisfies

nn3

This transition quantifies how the probabilistic bias affects decorrelation of coordinates (Durmić et al., 2022).

3. Combinatorial Consequences: Circle Models, Recurrences, and OEIS Arrays

Several combinatorial results arise from the analysis:

  • Circle Model: Label spot nn4 on a circle and fix car 1’s preference. Let nn5 be the expected number of circular preference vectors in nn6 with exactly nn7 unlucky cars (fail to park at their preference) among nn8,

nn9

  • Weighted Pascal Recurrence: For the count 1,,n1,\ldots,n0 of sequences in 1,,n1,\ldots,n1 with 1,,n1,\ldots,n2 unlucky cars,

1,,n1,\ldots,n3

This yields a “Pascal's triangle with weights” structure.

  • Connection to OEIS A220884: The expected number of such sequences satisfies

1,,n1,\ldots,n4

giving a combinatorial interpretation for a previously unresolved array (Durmić et al., 2022).

4. Abel-Binomial Identities, Shuffles, and Recurrence Techniques

The proofs exploit weighted Abel–binomial identities, “parking-function shuffle” decompositions, and circle-to-line reductions. Specifically, arguments repeatedly use the multivariate inversion principle (relating sums over preferences to weighted sums over outcomes via translation or rotation) and bijective shuffles reflecting the structure of preference vectors and outcome sequences under the parking protocol (Durmić et al., 2022).

5. Connections and Research Directions

These probabilistic parking statistics prompt several research directions:

  • Phase Transition Analysis: The sharp change at 1,,n1,\ldots,n5 may admit couplings or martingale-based probabilistic analysis.
  • Weighted Statistics: Other statistics, such as the number of forward vs.\ backward moves, vary significantly with 1,,n1,\ldots,n6, offering additional combinatorial and probabilistic insight.
  • Generating Functions: The resolving of OEIS triangles indicates further study of generating-function factorizations for weighted parking-function counts.
  • Statistical Inference: Given the Bernoulli structure for success/failure in the circle model, Bayesian and large-deviation analyses may allow inference of 1,,n1,\ldots,n7 from observed parking outcomes.

The interplay of combinatorics, probability, and weighted enumeration is central, with the parking function paradigm continuing to yield substantial theoretical and enumerative insight (Durmić et al., 2022).

Definition Search Book Streamline Icon: https://streamlinehq.com
References (1)

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Parking Function Statistics.