Coalescence and fluctuations of O'Connell$\unicode{x2013}$Yor polymers via the free-energy correlation profile

技術要約：自由エネルギー相関プロファイルによるO'Connell–Yorポリマーの合体とゆらぎ

問題設定
本論文は、Kardar–Parisi–Zhang (KPZ) 普遍性クラスにおける基本的かつ厳密に解けるモデルであるO'Connell–Yorポリマーを研究している。このモデルの可積分構造（Whittaker関数、Macdonald過程、およびFredholm行列式を介したもの）およびその定常的性質（結合技術やBurkeの定理を介したもの）については多大な進展が見られるが、幾何学的な経路の性質——具体的には、独立したポリマー・レプリカの合体（coalescence）と、単一のポリマーの出口点の位置——を、自由エネルギー相関の空間微分へと結びつける点において、依然として空白が存在する。

本研究が取り組む中心的な問題は、二点自由エネルギー相関 $\partial_x \mathbb{E}[F^{\alpha, \beta}_{\hat{x}} F^{\alpha, \beta}_x]$ の空間微分を、以下の2つの基本的な幾何学的量に関連付ける厳密な恒等式を導出することである：

1. 同一の環境内において、独立にサンプリングされた2つのポリマーが、終端レベルに到達する前に合体する（coalesce）アニールド（annealed）確率。
2. 単一のポリマーの終端出口点の位置に関するクエンチド（quenched）確率。

手法
著者らは、GuおよびQuastelによって連続KPZ方程式に対して適用されたガウス積分による部分積分フレームワークを、半離散的なO'Connell–Yorポリマーの設定に適応させた証明戦略を展開している。

1. モリフィケーション（平滑化）: ブラウン運動による環境は微分不可能であるため、著者らはポリマーのハミルトニアンを駆動するホワイトノイズを標準的なモリファイア $\phi_\epsilon$ を用いて正則化する。これにより、分配関数および自由エネルギーは空間変数に関して微分可能となる。
2. Malliavinによる部分積分: 証明の核となるのは、Malliavin解析における部分積分公式を、モリファイされたホワイトノイズ項に適用することである。これにより、自由エネルギー相関の微分を、「バルク」項（経路に沿ったブラウン運動の増分から生じるもの）と「境界」項（終端のブラウン運動条件から生じるもの）に分離できる。
3. 相殺と対称性:
   • バルク項: Malliavin微分をギブス密度に適用すると、追加の項が発生する。著者らは、これらの項が消失することを示す特定の相殺恒等式（付録B）を証明する。残る式は、$\epsilon \to 0$ のとき符号カーネル $D$ に収束するカーネル $\Xi^\epsilon$ を含む。
   • クエンチド・スイッチング恒等式: 指数型ジャンプ時刻（ポアソン過程）の無記憶性を利用した経路論的な議論が重要なステップとなる。2つの独立したレプリカの最初の合体レベル $\tau$ で条件付けすることにより、合体点以降の経路の継続が条件付きで交換可能であることを示す。この対称性により、反対称な寄与は消失し、合体イベントの指示関数のみが残る。
   • 境界項: 同様の対称性の議論を境界項に適用し、終端の出口点の寄与を孤立させる。
4. 極限操作: モリフィケーションの除去 ($\epsilon \downarrow 0$) およびゼロ温度極限 ($\beta \to \infty$) に関して、関連する測度および期待値の収束を厳密に正当化する。

主な貢献と結果

• 主要な恒等式 (Theorem 1.1): 本論文は以下の厳密な公式を確立する：
  $$\frac{\partial}{\partial x} \mathbb{E}\left[F^{\alpha, \beta}_{\hat{x}} F^{\alpha, \beta}_x\right] = \frac{1-\alpha^2}{2} \text{sgn}(\hat{x}-x) P^{\alpha, \beta}_{\hat{x}, x}(\tau \le n-1) + \alpha^2 \left( \mathbb{E}\left[Q^{\alpha, \beta}_0\{\gamma_n > -x\}\right] - \mathbb{1}_{\{\hat{x}<x\}} \right)$$
  ここで、$P^{\alpha, \beta}_{\hat{x}, x}(\tau \le n-1)$ はアニールド合体確率であり、$Q^{\alpha, \beta}_0\{\gamma_n > -x\}$ は終端点が $-x$ より右側に位置するクエンチド確率である。

• 特殊なケース:

  • ゼロ終端条件 ($\alpha=0$): この恒等式は、合体確率と自由エネルギー共分散の微分を直接結びつける公式へと簡略化される (Corollary 1.3)。
  • 定常終端条件 ($\alpha=1$): 合体項が消失し、終端出口点の分布に関する恒等式が得られる (Corollary 1.5)。
  • 定常合体: $\alpha=1$ におけるこの主要恒等式の $\alpha$ に関する微分により、定常合体確率が回収される (Corollary 1.11)。

• 非線形拡張とSteinの恒等式: 複数の自由エネルギーのテスト関数 $\phi$ を含む非線形な設定への拡張を行う (Proposition 1.8)。これは、多変量正規分布のStein型の特徴付けへとつながる。

  • ブラウン・ブセマース過程: これを連続的な空間増分に適用することで、アンカーされた水平定常自由エネルギープロファイルが二側標準ブラウン運動であることを証明する (Corollary 1.10)。これは、ガウス積分による部分積分を用いた、水平Burke特性の直接的な証明となる。

• ゼロ温度極限: $\beta \to \infty$ の極限を取ることで、ブラウン最後通過パーコレーション (BLPP) に対する対応する恒等式を導出する (Corollary 1.12)。このレジームにおいて、ポリマー測度は測地線に集中し、恒等式は最後通過共分散の微分を、測地線の合体およびそれらの終端出口点に関連付ける。

意義と主張
本論文は、典型的な可積分構造（決定論的公式など）に依存することなく、自由エネルギー相関の解析的性質とポリマー経路の幾何学的挙動（合体および出口点）との間の新しい確率論的結びつきを提供することを主張している。

著者らは、Itôの公式に依存するGuおよびQuastelによる連続KPZの証明とは異なるアプローチをとっていることを強調している。代わりに、本研究は、半離散的ポリマーモデル固有の対称性と、基礎となるポアソン過程の無記憶性を活用している。得られた恒等式は合体確率を自由エネルギーの微分を通じて表現するものであるが、特定の点対線の幾何学的な性質により、既存の可積分公式を用いてこれらの確率を明示的に評価することは依然として未解決の問題であるとしている。