Independence Threshold for Collision Times of Many Planar Random Walks

技術要約：多数の平面ランダムウォークにおける衝突時間の独立性閾値

問題提起
本論文は、2次元整数格子 $\mathbb{Z}^2$ 上の $h$ 個の独立な単純対称ランダムウォークの系における、衝突時間の漸近挙動を調査している。具体的には、時間ホライゾン $N$ における、ペアごとの衝突局所時間 $\mathsf{L}_{N}^{\mathrm{i},\mathrm{j}}$ の同時モーメント母関数（MGF）を検討する。

単一のペアの正規化された衝突時間が指数分布に収束するという古典的な結果（Erdős-Taylor）や、固定された数のウォーク $h$ に対して正規化されたペアごとの衝突時間が漸近的に独立であることを示した最近の研究（Lygkonis-Zygouras）がある一方で、ウォークの数 $h$ が $N$ と共に増大する場合のこの系の挙動は不明なままであった。中心となる問いは、$h = h_N$ のどのスケールにおいて、ペアごとの衝突の漸近的独立性が崩れ、相関が出現するのか？ という点である。

手法
著者は、同時 MGF
\mathcal{M}_{N,\hat{\beta}}^{h}:=\mathsf{E}^{\otimes h}\Big{[}e^{\sum_{1\leq\mathrm{i}<\mathrm{j}<h}\frac{\pi\hat{\beta}_{\mathrm{i},\mathrm{j}}}{\log N }\mathsf{L}_{N}^{\downarrow\downarrow}}\Big{]}
を解析するために、カオス展開、再生理論、および確率不等論の組み合わせを用いている。

1. 展開と簡約化： MGF を衝突イベントの和へと展開する。著者は、「真の多体衝突」（3つ以上のウォークが同時に衝突する、あるいは複数のペアが同時に衝突する）からの寄与と、「ペア」による衝突を分離する。$h = o(\sqrt{\log N})$ という条件下では、多体項は無視できるほど小さいことが示される。
2. 上界（独立性領域）： 独立性を証明するために、ペアごとの衝突の寄与を抑え込む。これには以下が含まれる：
   • 同一ペアの連続する衝突を再生カーネルへとグループ化する。
   • 離散和を単体（simplex）上の積分で近似する。
   • 境界項を扱うために「修正上セルカーネル（modified upper-cell kernel）」を導入する。
   • 局所極限定理から導出された累積分布関数（CDF）の境界を用いて、再帰的な積分をシフトされた単体上の確率へと変換する。
   • 単体のランダムなシフトによって導入される誤差を推定する。この誤差は、「共通のインデックスを共有する連続するペア」（例：衝突 $\{i,j\}$ と $\{j,k\}$）の数に依存する。
3. 下界（依存性領域）： 独立性の崩壊を証明するために、以下の手順を踏む：
   • 衝突構成の「良質な集合（good set）」を定義し、そこでは時刻の目印が十分に離れており、衝突数が制御されている。
   • 衝突確率をガウスカーネルで近似するために局所極限定理を利用する。
   • 衝突時間のフル共分散行列の行列式と、部分行列（個々のペア）の行列式の積とを関連付けるために、アダマール・フィッシャー（Hadamard-Fischer）の不等式を適用する。
   • 隣接する2つのペア（1つのウォークを共有するもの）が、ほぼ同等の最初の衝突時刻を持つ特定のイベントを特定する。このイベントは、行列式の比に非自明な相関（「ウェッジ・ゲイン（wedge gain）」）を生じさせる。
   • Paley-Zygmund 不等式を用いて、このイベントが $h$ が十分に大きいときに非無視できる確率で発生することを示す。

主要な貢献と結果

本論文は、$(\log N)^{1/3}$ のスケールによって支配される、独立性から依存性への遷移に関する正確な閾値を特定している。

1. 独立性領域 (Theorem 1.1 & 1.3)：
   ウォークの数が $h = o((\log N)^{1/3})$ を満たす場合、同時 MGF は漸近的に因子分解される：
   \lim_{N\to\infty}\Big{(}\mathcal{M}_{N,\boldsymbol{\hat{\beta}}}^{h}\prod_{1 \leq\mathrm{i}<\mathrm{j}\leq h}(1-\hat{\beta}_{\mathrm{i,j}})\Big{)}=1.
   これは、$h$ が $(\log N)^{1/3}$ よりも遅く成長する場合、ペアごとの衝突時間はあたかも独立であるかのように振る舞うことを裏付けている。上界における誤差項は $h^3/\log N$ によって支配される。

2. 依存性領域 (Theorem 1.2 & 1.4)：
   $h$ が $C(\log N)^{1/3} \leq h = o(\sqrt{\log N / \log \log N})$ の速度で成長する場合、因子分解は失敗する。具体的には：
   \liminf_{N\to\infty}\Big{(}\mathcal{M}_{N,\boldsymbol{\hat{\beta}}}^{h}\prod_{1 \leq\mathrm{i}<\mathrm{j}\leq h}(1-\hat{\beta}_{\mathrm{i,j}})\Big{)}>1.
   この崩壊は、共通の粒子を含む衝突（例：ウォーク $i, j$ と $j, k$）間の相関によって引き起こされる。このような相関のあるイベントの確率は、$h$ が $(\log N)^{1/3}$ の閾値を超えると有意になる。

3. 指向性ポリマーとの関連：
   本論文は、これらの指数モーメントが、中間無秩序領域におけるランダム環境下の2次元指向性ポリマーの分配関数の混合モーメントに対応していることを指摘している。したがって、これらの結果は、多くのレプリカを持つポリマーモデルにおける平均場近似の妥当性に関する精密な閾値を提供するものである。

意義

本論文は、多数の平面ランダムウォークにおける「独立性閾値」の問題を解決したと主張している。先行研究（Cosco-Zeitouni）では $h \leq C\sqrt{\log N}$ における因子分解が確立されていたが、その指数の誤差項のために、全衝突ファミリーに対する漸近的独立性を厳密に導出することはできなかった。本論文は、解析を精緻化し、独立性が崩れる正確なスケール $h \asymp (\log N)^{1/3}$ を特定した。

その意義は以下の点にある：

• 精密さ： 「制御された成長」の領域から、独立性の崩壊に関する正確な臨界指数へと移行したこと。
• メカニズム： 相関の出現を司る幾何学的なメカニズム（共通のウォークを共有する隣接ペアの衝突）を明示的に特定したこと。
• 手法の統合： ランダムウォーク系における高次元の相関構造を扱うために、カオス展開、再生測度、および線形代数的不等式（Hadamard-Fischer）を組み合わせたこと。

著者は、本研究を、遷移スケールを特定し、独立性領域を特徴付けるために必要な上界および下界を提供したものとして控えめに位置づけており、ランダムウォークの衝突およびそれらのポリマー分配関数への関連という直接的な文脈を超えた、より広い応用については主張していない。