Complete local expansion of the availability function in random sequential adsorption of aligned squares at low density: Termination at fourth order

あなたは、広大で空っぽの平らなフィールドに、同一の正方形の車を駐車しようとしているところだと想像してください。あなたには厳格なルールがあります。それは、すでにそこにある車と重なる場所に車を停めてはいけないというルールです。あなたは、衝突することなくこれ以上車を停められなくなるまで、ランダムな場所に一つずつ車を停めていきます。このプロセスは**ランダム逐次吸着（Random Sequential Adsorption: RSA）**と呼ばれます。

F. ToleaとM. Toleaによる論文は、この「駐車ゲーム」の初期段階に関する数学的な調査を行っています。彼らが知りたかったのは、**「フィールドを埋めていくにつれて、次の車のためにどれだけの空きスペースが残されているのか？」**ということです。

彼らはこの残されたスペースを**「可用性関数（availability function）」**と呼んでいます。

問題：単なる引き算ではない

最初は、数学的に簡単だと思うかもしれません。車が一定の面積を塞ぐなら、2台の車は2倍の面積を塞ぐはずですよね？

いいえ。 それは、目に見えない泡（バブル）を使ったテトリスのゲームのようなものです。

• バブル（泡）： 車を停めると、その車が占めるスペースだけでなく、他の車が停められない「禁止区域（排除領域）」も作成します。正方形の車の場合、この禁止区域はより大きな正方形になります。
• 重なり（オーバーラップ）： 2台の車の禁止区域が重なることがあります。もし、単に両方のゾーンのサイズを足してしまうと、その重なっている中間部分を二重にカウントしてしまいます。真の阻止面積を得るためには、その重なり部分を引かなければなりません。
• 連鎖反応： しかし、もし3台の車があった場合、それらのゾーンが同じ小さな一点で重なる可能性があります。もしペアの重なりだけを引いたとしたら、その「3重の重なり」の部分を何度も引きすぎてしまったかもしれません。だから、また足し戻さなければなりません。

著者たちは**「包含排除原理（Inclusion-Exclusion）」**という手法を用いています。これは、グループで集まっている人たちの数を数えようとしているけれど、グループになっているために何度も数え間違えてしまう友人たちのグループのようなものです：

1. まず全員を個別に数える（一次項）。
2. ペアで立っている人を2回数えてしまったことに気づくので、ペアを引く（二次項）。
3. 3人組のグループにいる人を引きすぎてしまったことに気づくので、また足し戻す（三次項）。
4. 4人組のグループについてもミスをしたことに気づくので、再び引く（四次項）。

大きな発見： 「魔法の数字」4

この論文の最もエキサイティングな部分は、整列した正方形（軸に対して平行に停められた車）の場合、このカウントのゲームは正確に4で止まるということです。

著者たちは、幾何学的な事実を証明しました。それは、**「非重複の駐車された車が、その禁止区域（バブル）をすべて同じ一点で重ね合わせるように配置されることは、物理的に不可能である」**ということです。

• 1台、2台、または3台の車の「禁止区域（バブル）」が重なることはあります。
• 4台の車のバブルが重なることもあります。
• しかし、5台の車がこれを行うことはできません。

この幾何学的な限界があるため、「利用可能なスペース」のための計算は、無限の修正リストを必要としません。4回目の修正で終了するのです。著者たちは、これら最初の4つのステップに対する正確な数値を算出しました。

結果： 完璧な公式

彼らは、すでにフィールドがどれくらい埋まっているか（$q$）に基づいた、新しい車のためにどれだけのスペースが残されているかを正確に示す特定の公式（多項式）を導き出しました。

その公式は以下の通りです：
$$\text{利用可能なスペース} = 1 - 4q + 3.5q^2 - 0.88q^3 + 0.05 \text{ } 9q^4$$

• $1$： 全体の空っぽのフィールド。
• $-4q$： 単独の車によって占有されたスペース。
• $+3.5q^2$： 2台の車のバブルが重なった時の補正。
• $-0.88q^3$： 3つのバブルが重なった時の補正。
• $+0.059q^4$： 4つのバブルが重なった時の最終的な補正。

なぜこれが重要なのか（論文による説明）

著者たちは、この公式が「局所的（ローカル）」な視点においては正確であることを説明しています。これは、車がどのように互いにブロックし合うかという幾何学的な様子を完璧に記述しています。

しかし、彼らは同時に、一つの限界についても指摘しています。この公式は、フィールドが約**34.5%埋まった時点で、もう車を停めることができなくなると予測します。しかし実際には、ゲームを続ければ、本当に詰まってしまう（ジャミング状態になる）まで、フィールドを約56%**まで埋めることができます。

なぜ違いが出るのでしょうか？
この公式は、局所的な重なり（隣同士がぶつかり合うこと）のみを見ています。現実のゲームには、**全域的な（グローバルな）**組織化が関わっています。フィールドが満たされていくにつれ、車は複雑な長距離のパターンを作り上げます。この単純な局所的公式には、それが見えないのです。「ジャミング（詰まり）」は、単なる隣接関係ではなく、こうした長距離のつながりによって起こります。

まとめ

簡単に言えば、著者たちは複雑な幾何学のパズルを解きました：

1. 正方形の車をランダムに停めたときに、どれだけのスペースが失われるかを正確に解明しました。
2. 正方形の場合、局所的な答えを得るためには4台のグループまで数えればよいことを証明しました。
3. これに対する精密な公式を作成しました。これは、駐車の初期段階における「完璧な地図」として機能しますが、現実の世界の駐車場が複雑になりすぎると、単純な局所的ルールでは説明できなくなり、次第にその力を失っていきます。

彼らはまた、コンピュータ・シミュレーションを用いて数学的な検証を行い、その数値が完璧に一致することも確認しました。