一様カーパーキングの厳密な有限長理論：空間法則、吸収、凝集

本論文は、1次元の有限長セグメント上での一様なカーパーキング過程（単位長の車がランダムな位置に到着し、空きがあれば駐車し、隙間がなくなるまで続く、1次元ランダム逐次吸着の一種）について、有限長$s$に対する厳密な理論を展開したものである。具体的には、駐車位置の同時密度をジャミングセルに分解し、各セル上で有理関数として表現し、部分集合再帰により$O(2^n n)$の演算で評価する。また、周辺分布やギャップの順序統計量を超対数関数（hyperlogarithms）として得る。さらに、吸収数や集計量をRényiの積分方程式を用いて扱う。

先行研究では、無限長または漸近的な解析が主であり、有限長$s$に対する厳密な理論は未発達だった。本論文は、有限$s$に対して厳密な式を初めて与え、計算量$O(2^n n)$のアルゴリズムを提供する点が新しい。また、周辺分布やギャップの順序統計量をhyperlogarithmsとして明示的に導出した点も先行研究にはない貢献である。

手法の核は、駐車位置の同時密度をジャミングセル（jamming cells）に分解し、各セル上で有理関数として表現すること。そして、部分集合再帰（subset recursion）を用いて効率的に評価する。周辺分布やギャップの順序統計量は、積分によりhyperlogarithmsとして表され、その重みは積分した座標の数で決まる。吸収数や集計量は、Rényiの積分方程式を有限長に拡張して扱う。

要旨からは、具体的な検証方法（数値実験やシミュレーションとの比較など）は明記されていない。理論的な導出とアルゴリズムの複雑性解析が主な検証と思われるが、詳細は不明。

要旨からは、議論の内容は不明。ただし、有限長での厳密解が得られたことで、無限長極限との関係や、より高次元への拡張可能性などが議論の対象となり得るが、要旨には記載がない。

要旨で参照されているのはRényiの積分方程式であり、関連研究としてRényiの元論文が挙げられる。また、ランダム逐次吸着（RSA）の一般理論に関する論文が関連する。具体的なタイトルは要旨からは不明だが、Rényiのcar-parking problemの原論文や、RSAのレビュー論文が次に読むべき候補である。