Unit Interval Parking Functions Overview

• Unit interval parking functions are parking functions where every car parks in its preferred or immediately following spot, ensuring a displacement of at most one.
• They exhibit a block decomposition that rigidly controls valid rearrangements and yield bijections with Fubini rankings, ordered set partitions, and Cayley permutations.
• Their enumeration is governed by Fubini numbers and geometric models, connecting combinatorial statistics to permutohedral and path interpretations.

Unit interval parking functions are parking functions in which every car parks either in its preferred spot or in the immediately following spot. In current notation they are the $1$-interval parking functions $\UPF_n=\IPF_n(1)$, and they occupy a distinctive position between classical parking functions and ordered set-partition models: they admit rigid local displacement constraints, a block decomposition that controls all valid rearrangements, bijections with Fubini rankings, ordered set partitions, Cayley permutations, certain path families, and faces of the permutohedron, and they are enumerated by the Fubini numbers rather than by $(n+1)^{n-1}$ (Celano et al., 9 Jul 2025, Bradt et al., 2024, Meyles et al., 2023).

1. Definition and basic characterizations

A parking function of length $n$ is a word $\alpha=(a_1,\dots,a_n)\in[n]^n$ for which the standard parking procedure parks all $n$ cars. If car $i$ parks in spot $s_i$, its displacement is $s_i-a_i$. A unit interval parking function is a parking function for which every displacement is at most $1$; equivalently, each car parks in spot $\UPF_n=\IPF_n(1)$0 or $\UPF_n=\IPF_n(1)$1 (Celano et al., 9 Jul 2025). In the notation of $\UPF_n=\IPF_n(1)$2-interval parking functions, this is exactly the case $\UPF_n=\IPF_n(1)$3, so recent work treats “unit interval parking function” and “$\UPF_n=\IPF_n(1)$4-interval parking function” as synonymous (Celano et al., 9 Jul 2025).

Two equivalent formulations are especially useful. First, for a parking function $\UPF_n=\IPF_n(1)$5 with outcome $\UPF_n=\IPF_n(1)$6, the condition $\UPF_n=\IPF_n(1)$7 is equivalent to $\UPF_n=\IPF_n(1)$8 for all $\UPF_n=\IPF_n(1)$9 (Selig et al., 2024). Second, if $(n+1)^{n-1}$0 is the weakly increasing rearrangement of $(n+1)^{n-1}$1, then $(n+1)^{n-1}$2 if and only if $(n+1)^{n-1}$3 for all $(n+1)^{n-1}$4; this is the block-word characterization used throughout the recent enumerative theory (Celano et al., 9 Jul 2025).

The nondecreasing case is particularly transparent. For a nondecreasing parking function $(n+1)^{n-1}$5, the outcome is $(n+1)^{n-1}$6, so $(n+1)^{n-1}$7. Hence a nondecreasing parking function is unit-interval if and only if

$(n+1)^{n-1}$8

This yields an immediate count $(n+1)^{n-1}$9 for the nondecreasing subclass $n$0 (Selig et al., 2024).

A useful structural caveat is that the class is not closed under arbitrary rearrangement. For unit interval parking functions, only very particular permutations of the entries preserve unit-intervality, and even path-theoretic images that characterize the nondecreasing subclass do not characterize the full labeled class (Selig et al., 2024).

2. Block structure, prime decomposition, and internal organization

The central structural invariant is the block structure of the sorted word. If $n$1 and $n$2, one inserts a separator before each position $n$3 with $n$4. This decomposes $n$5 into blocks

$n$6

Each block has the form

$n$7

where $n$8. Within each block, entries appear in increasing order in $n$9; conversely, every shuffle of the blocks that preserves the internal order within each block is again a unit interval parking function (Celano et al., 9 Jul 2025).

This implies a complete rearrangement criterion. If $\alpha=(a_1,\dots,a_n)\in[n]^n$0, then the number of rearrangements of $\alpha=(a_1,\dots,a_n)\in[n]^n$1 that remain in $\alpha=(a_1,\dots,a_n)\in[n]^n$2 is exactly

$\alpha=(a_1,\dots,a_n)\in[n]^n$3

and a rearrangement is valid if and only if it preserves the relative order of the entries within each block (Bradt et al., 2024). This result explains why the block structure is the correct analogue of a canonical factorization for unit interval parking functions.

A complementary description uses prime parking functions. A parking function is prime when its only breakpoint is $\alpha=(a_1,\dots,a_n)\in[n]^n$4. In the unit-interval setting, the prime object of length $\alpha=(a_1,\dots,a_n)\in[n]^n$5 is unique: $\alpha=(a_1,\dots,a_n)\in[n]^n$6 A parking-ordered unit interval parking function decomposes uniquely as a pipe of such prime unit-interval parking functions, shifted appropriately. This makes the class unusually rigid: the only freedom lies in how prime blocks of specified lengths are interleaved by labels (Meyles et al., 2023).

The block count has a direct displacement meaning. If the block lengths are $\alpha=(a_1,\dots,a_n)\in[n]^n$7, then the total displacement is

$\alpha=(a_1,\dots,a_n)\in[n]^n$8

Thus the number of blocks, the number of lucky cars, and the total displacement are equivalent statistics in this class (Djemmada, 30 Jun 2026).

3. Bijections with Fubini rankings, ordered set partitions, and Cayley permutations

A Fubini ranking of length $\alpha=(a_1,\dots,a_n)\in[n]^n$9 is a ranking with ties in which, if $n$0 entries are equal to $n$1, then the next largest value is $n$2. These objects are counted by the Fubini numbers. There is a bijection

$n$3

and an explicit inverse

$n$4

giving $n$5 (Bradt et al., 2024).

The inverse map $n$6 is expressed directly in terms of the block structure. If $n$7 has block structure $n$8, then $n$9 is the minimum entry of the block containing $i$0. This collapses each unit-interval block to a single rank value, and the block minima satisfy exactly the Fubini ranking condition (Bradt et al., 2024).

The same block structure yields a bijection with ordered set partitions. If $i$1 has blocks $i$2, then one may record, for each position $i$3, the block index of $i$4. This gives a surjection $i$5, equivalently an ordered set partition of $i$6 into $i$7 blocks. Summing over $i$8 recovers the Fubini numbers, so unit interval parking functions are canonically equivalent to ordered set partitions (Celano et al., 9 Jul 2025).

Another equivalent model is given by Cayley permutations, also called packed words, surjective words, or Fubini words. The bijection $i$9 sends each entry to its block index; it preserves inversions: $s_i$0 This identification is the basis of the symmetric-function and $s_i$1-enumerative theory of unit interval parking functions (Celano et al., 15 Aug 2025).

These correspondences are not merely equinumerative. They transfer statistics and restrictions faithfully. Block sizes become composition parts, ordered set-partition block sizes, and content of packed words; the number of blocks becomes the number of distinct ranks; and total displacement becomes $s_i$2 for a content composition $s_i$3 (Celano et al., 15 Aug 2025).

4. Enumerative geometry and path models

The displacement-refined enumeration of unit interval parking functions is governed by Stirling numbers and the face structure of the permutohedron. For $s_i$4, the unit interval parking functions of length $s_i$5 with total displacement $s_i$6 are in bijection with the $s_i$7-dimensional faces of the permutohedron of order $s_i$8. Consequently,

$s_i$9

which is equivalent to the statement that the number with total displacement $s_i-a_i$0 is $s_i-a_i$1 (Meyles et al., 2023).

This geometric correspondence is compatible with the prime decomposition. If a unit interval parking function has prime block lengths $s_i-a_i$2, then the corresponding face has combinatorial type

$s_i-a_i$3

and the stabilizer size under the natural $s_i-a_i$4-action is $s_i-a_i$5 (Meyles et al., 2023).

For nondecreasing unit interval parking functions, several path models coexist. Under the bijection between nondecreasing parking functions and Łukasiewicz paths, the maximal displacement corresponds to path height and the total displacement to path area. Restricting to unit interval parking functions yields a bijection

$s_i-a_i$6

where $s_i-a_i$7 denotes Motzkin paths of length $s_i-a_i$8 and height at most one, called $s_i-a_i$9-Motzkin paths. This again gives

$1$0

(Selig et al., 2024).

A separate path encoding identifies nondecreasing $1$1-interval parking functions with Dyck paths of bounded height. Specializing to $1$2, nondecreasing unit interval parking functions correspond to Dyck paths of semilength $1$3 and height at most $1$4 (Aguilar-Fraga et al., 2023).

Family	Corresponding objects	Enumeration
$1$5	Fubini rankings / ordered set partitions	$1$6
$1$7	$1$8-Motzkin paths	$1$9
displacement $\UPF_n=\IPF_n(1)$00 in $\UPF_n=\IPF_n(1)$01	$\UPF_n=\IPF_n(1)$02-faces of $\UPF_n=\IPF_n(1)$03	$\UPF_n=\IPF_n(1)$04
$\UPF_n=\IPF_n(1)$05	deranged ordered set partitions	$\UPF_n=\IPF_n(1)$06

The path correspondences also clarify an important limitation: the $\UPF_n=\IPF_n(1)$07-Motzkin characterization applies to the nondecreasing subclass, not to the full labeled class. The paper exhibiting the Łukasiewicz bijection gives an explicit counterexample showing that a $\UPF_n=\IPF_n(1)$08-Motzkin image need not come from a general unit interval parking function unless the nondecreasing restriction is imposed (Selig et al., 2024).

5. Statistics, symmetric functions, and algebraic refinements

The inversion enumerator for unit interval parking functions is especially tractable because of the bijection with Cayley permutations. Writing

$\UPF_n=\IPF_n(1)$09

one has the $\UPF_n=\IPF_n(1)$10-exponential generating function

$\UPF_n=\IPF_n(1)$11

Equivalently,

$\UPF_n=\IPF_n(1)$12

with the sum over compositions of $\UPF_n=\IPF_n(1)$13 (Celano et al., 15 Aug 2025).

The Frobenius characteristic is unusually simple: $\UPF_n=\IPF_n(1)$14 and the corresponding generating series is

$\UPF_n=\IPF_n(1)$15

The graded version with respect to the area statistic satisfies

$\UPF_n=\IPF_n(1)$16

In this formulation, the content composition is exactly the block-size composition (Celano et al., 15 Aug 2025).

The displacement–inversion bivariate enumerator of unit interval parking functions has the form

$\UPF_n=\IPF_n(1)$17

Setting $\UPF_n=\IPF_n(1)$18 yields

$\UPF_n=\IPF_n(1)$19

so the number of unit interval parking functions with total displacement $\UPF_n=\IPF_n(1)$20 is $\UPF_n=\IPF_n(1)$21, in agreement with the permutohedral model (Celano et al., 9 Jul 2025).

Several further statistics admit closed formulas. The total numbers of descents and inversions across all unit interval parking functions are

$\UPF_n=\IPF_n(1)$22

and these formulas hold equally for Cayley permutations under the inversion-preserving bijection (Celano et al., 15 Aug 2025).

For the major index, Foata’s transform preserves $\UPF_n=\IPF_n(1)$23 exactly when $\UPF_n=\IPF_n(1)$24. In particular it preserves $\UPF_n=\IPF_n(1)$25, so inversions and major index are equidistributed on unit interval parking functions (Celano et al., 9 Jul 2025). The same paper proves a cyclic sieving phenomenon: for fixed total displacement $\UPF_n=\IPF_n(1)$26, the triple $\UPF_n=\IPF_n(1)$27 exhibits the cyclic sieving phenomenon (Celano et al., 9 Jul 2025).

6. Generalizations, restricted families, and terminological boundaries

Several recent works study refined or extended versions of unit interval parking functions. One direction fixes additional constraints on the first cars. An $\UPF_n=\IPF_n(1)$28-Fubini ranking of length $\UPF_n=\IPF_n(1)$29 is a Fubini ranking whose first $\UPF_n=\IPF_n(1)$30 entries are distinct, and it is in bijection with unit interval parking functions of length $\UPF_n=\IPF_n(1)$31 whose first $\UPF_n=\IPF_n(1)$32 preferences are distinct. These objects are counted by the $\UPF_n=\IPF_n(1)$33-Fubini numbers

$\UPF_n=\IPF_n(1)$34

(Bradt et al., 2024).

Another direction imposes restrictions on block data. “Restricted unit interval parking functions” have been developed in three forms: restrictions on the number of lucky cars, on allowed block sizes, and on block sizes position by position. For type 1 restrictions, if $\UPF_n=\IPF_n(1)$35, then the exponential generating function is

$\UPF_n=\IPF_n(1)$36

These restrictions are transported through explicit bijections to restricted Fubini rankings and restricted ordered set partitions (Barreto et al., 3 Nov 2025).

Deranged unit-interval parking functions form a further distinguished subclass. Under the ordered-set-partition bijection, a unit interval parking function is deranged if no block occupies the position indexed by its minimum element. The resulting set $\UPF_n=\IPF_n(1)$37 satisfies

$\UPF_n=\IPF_n(1)$38

and the refinement by number of blocks is

$\UPF_n=\IPF_n(1)$39

Intrinsically, the deranged condition can be stated in terms of lucky cars, equivalently block leaders (Djemmada, 30 Jun 2026).

The $\UPF_n=\IPF_n(1)$40-interval theory extends beyond $\UPF_n=\IPF_n(1)$41. For general $\UPF_n=\IPF_n(1)$42, $\UPF_n=\IPF_n(1)$43 denotes the class of parking functions with maximum displacement at most $\UPF_n=\IPF_n(1)$44, and $\UPF_n=\IPF_n(1)$45. Rational analogues with $\UPF_n=\IPF_n(1)$46 parking spots are also studied; in particular, the $\UPF_n=\IPF_n(1)$47-interval rational parking functions with $\UPF_n=\IPF_n(1)$48 cars and $\UPF_n=\IPF_n(1)$49 spots are in bijection with barred preferential arrangements of $\UPF_n=\IPF_n(1)$50 with $\UPF_n=\IPF_n(1)$51 bars (Aguilar-Fraga et al., 2023).

A terminological caution is necessary. There is also a distinct notion of interval parking functions in which each car may park only within a prescribed interval $\UPF_n=\IPF_n(1)$52, encoded as a pair $\UPF_n=\IPF_n(1)$53. This “interval parking function” theory generalizes ordinary parking functions in a different direction and leads to the pseudoreachability order on permutations (Colaric et al., 2020). In current usage, however, “unit interval parking function” usually refers to the displacement-bounded class $\UPF_n=\IPF_n(1)$54, not to the interval-constrained pair model.

Taken together, these results place unit interval parking functions at a well-defined intersection of Catalan combinatorics, ordered set partitions, permutohedral geometry, symmetric functions, and refined word statistics. Their rigidity is strong enough to permit explicit bijections and closed formulas, but weak enough to retain a large and varied combinatorial ecosystem.