円形駐車モデルの選択パターン数を回転対称性で導出
Circular s-choice parking functions: an exact closed formula via rotational symmetry
この論文をやさしく読む
ひとことで言うと
円形に並ぶ駐車区画で、複数の候補を持つ車が順番に駐車するとき、特定の一か所が空くような選び方を数える組合せ数学の研究です。
何に役立つ？
複数候補や間隔制約のある駐車関数の数え上げに、直接使える公式を与えます。ここでの駐車は数学モデルで、実際の交通システムの性能評価ではありません。
この研究の面白いところ
円を回転しても規則が変わらないことから、どの区画も同じ回数だけ空くと示します。増分を固定しても一様性が残るため、公式が積になる理由まで説明できます。
どこまで分かった？
m=n+1、候補間隔と戻り間隔の条件、時計回りの探索規則を持つモデルです。binomは二項係数を表します。初の積公式という位置付けは著者の見解で、全数列挙を行った具体的な範囲は要旨にありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
s個の選択肢を持つ駐車モデルの円形版を研究する。n台の車が、円上に配置されたm=n+1個の区画に駐車する。各車は基点となる選択肢と、時計回りのs−1個の増分を持ち、各間隔は少なくともd、最後から基点へ戻る間隔も少なくともdとする。車は選択肢を順番に試し、その後は最後の選択肢から時計回りに空きを探す。円上ではすべての車が駐車でき、ちょうど一つの区画が空く。個数(n+1)^(n−1)に関するPollakの証明と同様の考え方で回転対称性を利用し、空く区画が厳密に一様に分布することを証明する。これにより、指定した任意の区画を空ける選好の個数について、閉じた公式 m^(n−1) × binom(m−sd+s−1,s−1)^n を得る。これは、多選択肢駐車モデルにおける初めての閉じた積公式であると考えられる。さらに精密化として、増分を指定した選好の各クラス内でも、空く区画が厳密に一様分布することを証明する。これにより公式の積構造が説明され、s=2、d=1の場合に、(n+1)^(n−1)n^nの因子として古典的な個数(n+1)^(n−1)が現れることも説明される。許容される組は円環上の選択に関するKaplanskyの補題で数え上げ、すべての結果を計算機による全数列挙で検証する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
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.
著者のコメント
5 pages, 1 table
arXiv ID: 2609.23607 ／ 要約の誤りについて