Forward-backward correspondence between stationary structure and splitting probabilities in active matter

技術要約：能動的物質における順方向–逆方向の対応関係

問題提起
硬い壁に閉じ込められた能動粒子は、熱揺らぎが存在しない状況下での方向性の持続性によって駆動される、2つの明確な現象を示す：(1) 境界に粒子が蓄積する動的な吸着、および (2) 有限の壁分離確率 ($\pi_L(0) > 0$)。これは、壁から初期化された粒子が、壁に戻る前に反対側の境界に到達する非ゼロの確率を持つことを意味する。定常分布は順方向コルモゴロフ方程式によって支配され、第一通過観測量（分裂確率のようなもの）は逆方向方程式によって支配されるが、これら2つの記述間の関係はこれまで不明であった。先行研究では、不連続なランダムウォーク（跳躍粒子）についてはこの接続が確立されていたが、連続的な能動モデル（Run-and-Tumble、Active Brownian、および Active Ornstein–Uhlenbeck particles）もこの特性を共有しているかどうかは不明であった。

手法
著者は、3つの標準的な能動物質モデル（RTP, ABP, AOUP）を共通の基盤として扱うため、拡張された位置–速度位相空間 $(x, v)$ において問題を定式化している。その手法は以下の通りである：

1. 微視的解析： 粒子が確率的な方向転換が起こる前に壁から離れて移動する、ゼロ温度極限における弾道的短時間ダイナミクスから、有限の分裂確率が生じることを実証する。
2. 演算子の比較： バルク分布 $n(z, w)$ のための定常順方向方程式と、分裂確率 $\pi_\lambda(z, w)$ のための逆方向方程式を導出する。
3. 補助システムの構築： ドリフト項が反転した（$w \to -w$）補助的な順方向密度 $\tilde{n}(z, w)$ を導入する。このシステムは、元のシステムのジークムト双対（Siegmund dual）として特定される。
4. 境界適合： 補助密度 $\tilde{n}(z, w)$ の境界条件と、分裂確率の空間微分 $u(z, w) = \partial_z \pi_\lambda(z, w)$ を比較する。これら2つの量が、比例定数を除いて同じ微分方程式および境界条件を満たすことを示すことで、著者は厳密な数学的対応関係を確立する。

主要な貢献および結果
本論文は、任意の空間次元 $d$ における RTP, ABP, および AOUP ダイナミクスに関する、定常分布と分裂確率を結びつける厳密な恒等式を導出している。核心となる結果は以下の通りである：

• 速度分解された対応関係：
  $$p_v(w) \partial_z \pi_\lambda(z, w) = \rho(z, -w)$$
  $$p_v(w) \pi_\lambda(0, w) = f_0(-w)$$
  ここで、$\rho(z, w)$ は定常バルク密度、$p_v(w)$ は定常速度分布、$\pi_\lambda(z, w)$ は分裂確率、$f_0(w)$ は左壁に吸着した粒子の速度分布である。

• 周辺対応関係：
  速度について積分することで、中心的な知見が得られる：
  $$\partial_z \pi_\lambda(z) = \rho(z)$$
  $$\pi_\lambda(0) = f_w$$
  これは、壁に動的に吸着した粒子の割合 ($f_w$) が、その壁から出発した粒子が反対側の境界に到達する確率 ($\pi_L(0)$) と厳密に等しいことを示している。

• 跳躍プロセスへの一般化：
  本フレームワークは、任意の速度分布を持つ一般化された RTP モデルへと拡張されている。これにより、跳躍長分布と定常吸着率を結びつけ、レヴィ飛行のようなプロセス（具体的には代数的な速度の裾を持つもの）の第一通過の結果を、定常吸着率の厳密な予測へと翻訳することを可能にしている。

• 数値検証：
  理論的な恒等式は、3次元における RTP, ABP, および AOUP 粒子の数値シミュレーションを通じて検証されている。結果は、$f_w$ と $\pi_\lambda(0)$ が統計誤差の範囲内で区別不能であり、大きな分離に対して同じ漸近スケーリング ($\propto \lambda^{-1}$) を示すことを確認している。

意義
本論文は、閉じ込められた能動物質の定常記述と第一通過記述の間の「厳密な架け橋」を確立したと主張している。その意義は、動的な吸着と有限の壁分裂確率が、単に関連した現象であるだけでなく、同じ持続性駆動型のダイナミクスの相補的な表現であることを明らかにしている点にある。順方向および逆方向の演算子を直接比較することにより、本研究は、$\pi_L(0) > 0$ という条件が不連続なランダムウォークに限定されるものではないという疑問を解決し、連続的な能動モデルに適用可能な統一的なフレームワークを提供している。この対応関係により、既知の第一通過の結果を、吸着粒子の密度のような定常的な構造特性の厳密な予測へと直接変換することが可能となる。