A Linear Variance Bound for Ballistic Deposition

技術要約：弾道堆積における線形分散界

問題提起
本論文は、格子 $\mathbb{Z}^d$ 上の標準的な連続時間弾道堆積過程における、表面の高さ $f(t,0)$ のゆらぎの次数に関する根本的な問いに取り組んでいる。このモデルはカルダー・パラディ・パッツィニ（KPZ）普遍クラスに属することが広く予想されており（これは、1次元において高さの分散が $t^{2/3}$ に比例してスケールすることを意味する）、それに関連する厳密な結果はこれまで極めて乏しかった。本研究以前に確立されていた厳密な境界は、Penrose [10] による $\Omega(\log t)$ の下界と、$o(t^2)$ という自明な上界のみであった。本ノートの具体的な目的は、すべての次元 $d \ge 1$ において、表面の高さの分散に対する厳密な上界を確立することである。

手法
著者は、最後通過パーコレーション（last-passage percolation）の表現に通常適用される有界差分法や集中不等式とは異なる戦略を採用している。これは、弾道堆積における更新が将来の高さに与える影響が一般に非有界であることに起因する。証明は、主に以下の3つの構成要素に基づいている。

1. 双対変換： 本論文は、Penrose [10] によって確立された双対定理を利用している。この結果は、平坦なプロファイルから始まる弾道堆積の高さ $f(t,0)$ の分布を、「遅延次到着（delayed next-arrival）」過程 $H_t$ と等価にするものである。具体的には、$f(t,0) \stackrel{(d)}{=} H_t$ であり、ここで $H_t$ は、シード初期配置から進化する次到着過程 $\eta(t,x)$ の上限である。次到着過程 $\eta$ はマルコフ的であり、時計の鳴動（時刻 $(t,x)$）において、高さ $x$ は1増加し、隣接する $y \sim x$ の高さは $\max\{\eta(t-,x), \eta(t-,y)\}$ に更新される。

2. 到達時刻に関するマルチンゲール論法： Aldous [20] の議論を適応させ、著者は次到着過程の最大値の初到達時刻 $T_n = \inf\{t : H_t \ge n\}$ を分析する。生成子（generator）を調べ、プロセス $\eta$ の単調性と表面成長の構造を精査することで、「残り時間マルチンゲール」 $M_t = \mathbb{E}[T_n \mid \mathcal{F}_t] - \mathbb{E}[T_n]$ を構築し、特定の指数変換された $M_t$ が超マルチンゲールであることを示す。

3. 反転と平均間隔： 到達時刻 $T_n$ に関する集中境界を、関係式 $P(T_n \le t) = P(H_t \ge n)$ を用いて反転させることで、高さ過程 $H_t$ のテール境界を得る。重要な技術的ステップは、到達時刻の平均 $\mu_n = \mathbb{E}[T_n]$ が「あまりに平坦ではない」ことを確立することである。著者は、平均の差 $\mu_{n+k} - \mu_n$ が（対数的な補正を除いて） $k$ に対して線形に増大することを示す下界を証明しており、これが到達時刻の集中を高さの線形分散界へと翻訳するために必要となる。

主要な結果
主要な結果は定理 1.1 であり、これは平均からの偏差に関する指数的なテール境界を確立している。すべての次元 $d \ge 1$ について、すべての $t \ge 1$ および $r \ge 0$ に対して、以下の定数 $c_d, C_d \in (0, \infty)$ が存在する：
$$P(|f(t,0) - \mathbb{E}f(t,0)| \ge r) \le C_d \exp\left\{-c_d \frac{r^2}{t + r}\right\}$$
この直接的な帰結として、本論文は以下の線形分散界を証明している：
$$\text{Var}f(t,0) \le C_d t, \quad t \ge 1$$
この結果は、すべての次元 $d \ge 1$ で成立する。

意義および主張
本論文は、あらゆる次元における標準的な弾道堆積モデルに対して、表面の高さの分散に関する最初の厳密な $O(t)$ 上界を提供したと主張している。著者は、この境界が予想されている KPZ クラスの $O(t^{2/3})$ スケーリングよりも弱いものであることを認めつつも、従来の $o(t^2)$ 境界からは大幅な改善であることを述べている。

本研究の意義は、その手法にある：

• 単調な表面成長過程に対する Aldous のマルチンゲール論法を適応させ、到達時刻のテール境界を導出できることを示した点。
• 更新の影響が非有界であるために標準的な集中不等式（有界差分法など）が機能しない場合でも、これらのテール境界を反転させ、双対定理と組み合わせることで、高さ過程の分散界を得られることを示した点。
• 著者は、この戦略が、伝統的なアプローチが成果を上げにくい弾道堆積モデルの変種を分析する際にも有用である可能性を示唆している。

本論文は、KPZ 予想に対して謙虚な姿勢を保っており、$O(t)$ の境界が $t^{2/3}$ スケーリングを裏付けるものではないことを認めているが、既知の厳密な結果と物理的な予想との間のギャップを狭めるものである。本稿は、この特定の境界を確立するためのノートとして提示されており、その厳密な証明こそが中心的な貢献である。