[論文レビュー] Sharp Convergence to Equilibrium for the SSEP with Reservoirs

Patrícia Gonçalves, Milton Jara+2 more|arXiv (Cornell University)|Oct 12, 2021

Stochastic processes and statistical mechanics参考文献 15被引用数 9

ひとこと要約

本稿では、境界にバッファーを有する1次元格子上の対称的単純排除過程（SSEP）について、相対エントロピー法を用いて、平衡状態への鋭い収束を確立する。初期密度プロファイルがマクロな密度 $ u_0 $ を持つ場合、全変動距離は時間 $ t^n(b) = \frac{1}{2\lambda}n^2\log n + \frac{1}{\lambda}bn^2 $ において、ガウス型カットオフプロファイル $ \mathcal{G}(\gamma e^{-b}) $ に収束する。ここで $ \gamma $ は $ u_0 $ に依存し、$ \lambda $ はラプラシアンのスペクトルギャップを表す。

ABSTRACT

We consider the symmetric simple exclusion process evolving on the interval of length $n-1$ in contact with reservoirs of density $ρ\in (0,1)$ at the boundary. We use Yau's relative entropy method to show that if the initial measure is associated with a profile $u_0:[0,1] o (0,1)$, then at explicit times $t^n(b)$ that depend on $u_0$, the distance to equilibrium, in total variation distance, converges, as $n o \infty$, to a profile $\mathcal G(γe^{-b})$. The parameter $γ$ also depends on the initial profile $u_0$ and $\mathcal G(m)$ stands for the total variation distance $\|\mathcal N (m,1) - \mathcal N(0,1)\|_{\mathrm{TV}}$.

研究の動機と目的

• 境界にバッファーを有する有限区間における対称的単純排除過程（SSEP）の平衡状態への収束を分析すること。
• 混合時間および収束プロファイルが初期マクロ密度プロファイル $ u_0 $ にどのように依存するかを研究すること。
• 相対エントロピー法を用いて、平衡状態への全変動距離の鋭いカットオフプロファイルを確立すること。
• パラメータ $ \gamma $ を通じて初期プロファイルに依存する収束速度の特性を特定すること。

提案手法

• 進化する測度と定常状態との距離を制御するために、Yauの相対エントロピー法が適用される。
• 時間スケール $ t^n(b) = \frac{1}{2\lambda}n^2\log n + \frac{1}{\lambda}bn^2 $ が導入され、ここで $ \lambda $ はディリクレおよびノイマン境界条件を伴う区間上のラプラシアンのスペクトルギャップを表す。
• 密度プロファイルのフーリエ展開を用いてダイナミクスが分析され、$ c_\ell^n(u_0) $ は初期プロファイルの離散フーリエ係数を表す。
• スペクトルギャップ推定とフーリエモードの指数的減衰を用いて、密度プロファイルのリプシッツ境界が導かれる。
• 極限 $ n \to \infty $ において、スケーリングされた密度 $ \sqrt{n}(u_t^n(x) - \rho) $ が $ c_{\ell_0}(u_0)e^{-b}\phi_{\ell_0}^n(x) $ に収束することが確立される。
• 全変動距離が $ \mathcal{G}(\gamma e^{-b}) $ に収束することが示され、ここで $ \mathcal{G}(m) = \| \mathcal{N}(m,1) - \mathcal{N}(0,1) \|_{\text{TV}} $ である。

実験結果

リサーチクエスチョン

• RQ1 バッファーを有するSSEPの平衡状態への収束は、初期マクロ密度プロファイル $ u_0 $ にどのように依存するか？
• RQ2 相対エントロピー法を用いて、バッファ付きSSEPにおける全変動距離の鋭いカットオフプロファイルを導出できるか？
• RQ3 系が非平衡状態から任意に定常状態に近づくまでの遷移が起こる正確な時間スケールは何か？
• RQ4 カットオフプロファイルを調整するパラメータ $ \gamma $ は初期プロファイル $ u_0 $ とどのように関係するか？
• RQ5 臨界時間 $ t^n(b) $ における密度プロファイルの漸近的挙動は何か？また、これは最初の非ゼロフーリエモードとどのように関係するか？

主な発見

• 全変動距離は $ n \to \infty $ において $ \mathcal{G}(\gamma e^{-b}) $ に収束する。ここで $ \mathcal{G}(m) $ は平均 $ m $ と $ 0 $、同じ分散 $ 1 $ を持つ2つのガウス分布間の全変動距離を表す。
• 収束は時間 $ t^n(b) = \frac{1}{2\lambda}n^2\log n + \frac{1}{\lambda}bn^2 $ において起こり、$ \lambda $ は混合境界条件を伴う区間上のラプラシアンのスペクトルギャップを表す。
• パラメータ $ \gamma $ は初期プロファイル $ u_0 $ の最初の非ゼロフーリエ係数 $ c_{\ell_0}(u_0) $ によって決定され、境界条件およびプロファイルの正則性に依存する。
• スケーリングされた密度 $ \sqrt{n}(u_t^n(x) - \rho) $ は極限 $ n \to \infty $ において、$ x $ およびコンパクト集合上の $ b $ に関して一様に $ c_{\ell_0}(u_0)e^{-b}\phi_{\ell_0}^n(x) $ に収束する。
• フーリエ近似の誤差は $ C/n $ で有界であり、高次モードは $ O(n^{-1/(2\ell_0)}) $ の速度で減衰するため、臨界時間スケールでは無視できる寄与を持つ。
• 本結果により、ガウス型カットオフプロファイルを持つプロファイルカットオフが確立され、一般の初期プロファイルを想定した境界駆動型の排除過程への既存結果の拡張が達成された。