Random walk on sphere packings and Delaunay triangulations in arbitrary dimension

技術要約：任意の次元における球充填およびデロネー三角形分割上のランダムウォーク

問題設定
本論文は、$d$次元ユークリッド空間（$\mathbb{R}^d$）に埋め込まれた特定のクラスのグラフ、すなわち**直交タイリング（orthogonal tilings）**と呼ばれるグラフ上のランダムウォークの大規模な振る舞いを調査している。これらのグラフには以下が含まれる：

1. デロネー三角形分割（ボロノイテセレーションの双対）。
2. 球充填の接当グラフ（tangency graphs）。

中心となる問題は、幾何学的タイリングから導出される標準的なコンダクタンス（導電率）の選択を備えたこれらの離散構造上のランダムウォークが、メッシュサイズがゼロに近づくにつれて、ブラウン運動（時間の再パラメータ化を除いて）に収束するかどうかを判定することである。

「単純ランダムウォーク（単位コンダクタンス）」と、本論文で定義された「重み付きランダムウォーク」の間には決定的な違いがある。著者らは、直交タイリング上の単純ランダムウォークは、強い正則性仮定の下であっても、必ずしもブラウン運動に収束しないことを指摘している。本論文は、遷移確率が多面体の共有ファセット（面）の$(d-1)$次元体積と、それらの中心間のユークリッド距離の比によって決定される、重み付きウォークに焦点を当てている。

手法
著者らは、離散ポテンシャル論、幾何学的解析、および確率的極限定理を組み合わせて用いている。核心となる手法は以下の通りである：

1. 離散PDEおよびエネルギー評価： ランダムウォークは離散ラプラシアン $\Delta^G_a$ に結び付けられている。著者らは、連続的な調和関数とその離散的な調和拡張との差のディリクレ・エネルギーが小さい（$L^2$収束）ことを確立している。これは、有限体積スキーム理論（Eymardら [2000] を参照）に基づいている。
2. $L^2$ から $L^\infty$ への反復： $\Delta^G_a$ は一般に一様楕円型ではない（コンダクタンスが激しく変動し得る）ため、これが主要な技術的障壁となる。これを克服するために、著者らは$L^2$境界から$L^\infty$境界へとアップグレードするための反復スキームを開発した。
   • 著者らは、ポアンカレ型不等式を利用して、離散調和関数が（領域の射影である）密な「カラム（列）」の集合上で連続関数に近いことを示す。
   • $d=2$ の場合、最大値原理と平面性が、この局所的な近接性が即座にグローバルな近接性を意味することを可能にする。
   • $d \ge 3$ では、平面性の議論が成立しないため、誤差が大きくなる可能性のある「悪い」集合を制御するための正則性仮定を導入する。著者らは近似を反復し、幾何学が極端に退化しない限り、誤差が大きくなる集合の測度が幾何級数的に減少することを示す。
3. ブラックボックス定理： 著者らは、離散的なディリクレ問題が連続的なディリクレ問題に一様に収束する場合、関連するランダムウォークは（時間の再パラメータ化を除いて）ブラウン運動に収束するという一般的な結果（定理 4.1）を証明している。これにより、解析的な困難（調和関数の収束）と確率的な極限（ランダムウォークの収束）を分離している。

主要な貢献と結果

• 主要定理 (Theorem A): ほぼ最小限の正則性仮定の下で、直交タイリング上のランダムウォークは、ブラウン運動（時間の再パラメータ化を除いて）に収束する。要求される仮定は以下の通りである：
  • 平面性 ($d=2$): タイリング構造を超えた追加の幾何学的制約はない。
  • 高次元 ($d \ge 3$): 以下の3つの条件のうちいずれかが成立すること：
    1. 体積下界: 最小のタイルの体積が $\exp(-o(\epsilon_n^{-1}))$ 以上であること（ここで $\epsilon_n$ は最大のタイル直径）。
    2. 幾何学的比率の境界: 各タイルの直径が、エッジ長とファセット体積の比のべき乗によって抑えられている。
  • （注：原文では条件2と3が並列されているが、文脈上これらが選択肢となっている）
• ディリクレ問題の収束 (Theorem B): 連続的な調和関数の離散的な調和拡張は、連続関数に一様に収束する。論文では、滑らかな境界データに対する収束速度の定量的境界を提供している。
• 反例 (Theorem 6.1): 著者らは、単純ランダムウォーク（単位コンダクタンス）がブラウン運動に収束しないような $d \ge 3$ の球充填を構成している。これは、本論文で定義された特定の標準的コンダクタンスの必要性を浮き彫りにしている。
• ランダム幾何への応用: 本結果は、特定の強度測度（ガウス型マルチプリカティブ・カオス（GMC）を含む）を満たす点過程によって生成されるボロノイテセレーションなどの、Voronoiテセレーションに適用される。これにより、高次元のリウヴィル量子重力（LQG）の離散化への収束が確立される。

意義と主張
本論文は、二次元における離称共形幾何学および普遍性の理論を任意次元へと拡張するための基礎的なステップとして位置づけられている。

• 普遍性: 本研究は、高次元および他のグラフクラスへのアイソラディアルグラフに関する結果の一般化について、Smirnov [2010] が提起した問題に取り組んでいる。これは、球充填やデロネー三角形分割が高次元における共形平坦リーマン計量の離散的な類似物として機能することを示唆している。
• 数値解析: 定理Bは、ラプラス方程式の有限体積近似スキームの一種としての一様収束の言明として構成されている。著者らは、従来の有限体積スキームの収束結果は$L^2$に限定されており、ランダムウォークの収束を証明するには不十分であったことを指摘しており、本論文はそのギャップを埋めるものである。
• 高次元LQG: 本結果は、二次元におけるmated-CRTマップで知られている結果と同様に、高次元LQG（GMC測量による）の離散化上のランダムウォークが、時間の再パラメータ化を除いてブラウン運動に収束するという証拠を提供している。
• 必要性に関する謙虚な姿勢: 著者らは、仮定（IIおよびIII）は緩やかであり、興味深い多くのモデル（フラクタル幾何を含む）において満たされるものであるが、これらが $d \ge 3$ において厳密に必要なのかどうかは未解決の問題であると明記している。彼らはこれらの条件の必要性を証明したのではなく、それらの条件下で結果が成立することを証明している。

結論
本論文は、タイリングの幾何学が極端に退化しない限り、直交タイリング上の重み付きランダムウォークがブラウン運動に収束することを成功裏に確立した。これは、非一様楕円性を扱うための新しい反復テクニックを開発し、調和関数の解析的収束とランダムウォークの確率的収束を分離することによって達成された。本研究は、離散共形幾何の範囲を $d \ge 3$ へと拡張し、球充填やGMCベースのテセレーションのようなランダムな幾何構造上のランダムウォークを分析するための厳密な枠組みを提供するものである。