Circular s-choice parking functions: an exact closed formula via rotational symmetry
Abstract
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 mn−1binomm−sd+s−1s−1n 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−1nn. The admissible tuples are enumerated through Kaplansky's lemma on circular selections, and all results are verified by exhaustive computer enumeration.
Related
- Pattern restricted parking functions with limited preferences
- Characterizing k-Naples parking functions and refining bounds via obstructed parking functions
- A new generalization of parking functions: ρ-Naples parking functions
- A total variation threshold for the first coordinates of uniform parking functions via Lorentzian polynomials
- Symmetries on vector parking functions via bounded lattice paths
BibTeX
@misc{belbachir2026circular,
title = {{Circular s-choice parking functions: an exact closed formula via rotational symmetry}},
author = {Hacène Belbachir and Asma Recioui and Abdelhakim Ait-Zai},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.23607},
eprint = {2609.23607},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.23607},
note = {CC0},
}
RIS
TY - UNPB
TI - Circular s-choice parking functions: an exact closed formula via rotational symmetry
AU - Hacène Belbachir
AU - Asma Recioui
AU - Abdelhakim Ait-Zai
PY - 2026
DA - 2026/09/20
PB - arXiv
DO - 10.48550/arxiv.2609.23607
UR - https://arxiv.org/abs/2609.23607
AB - 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−1binomm−sd+s−1s−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−1n^n. The admissible tuples are enumerated through Kaplansky's lemma on circular selections, and all results are verified by exhaustive computer enumeration.
ER -