[論文レビュー] Hydrodynamic profiles for the totally asymmetric exclusion process with a slow bond

Timo Seppäläinen|ArXiv.org|Mar 8, 2000

Stochastic processes and statistical mechanics参考文献 8被引用数 6

ひとこと要約

本稿は、原点に1つのスローブondが存在する全非対称排除過程（TASEP）について、水力学的極限を確立する。ここで、跳躍レートは{0,1}のブondsでのみ r < 1 に低下する。変分的カップリング法を用いて、マクロな粒子密度が、r < 1 であっても非自明な効果を捉えるマクロなレート λ(0) ∈ (r,1] を含む変分公式に従って進化することを証明した。これは、非平衡統計力学における長年の未解決問題を解消する。

ABSTRACT

We study a totally asymmetric simple exclusion process where jumps happen at rate one, except at the origin where the rate is lower. We prove a hydrodynamic scaling limit to a macroscopic profile described by a variational formula. The limit is valid for all values of the slow rate. The only assumption required is that a law of large numbers holds for the initial particle distribution. This includes also deterministic initial configurations. The hydrodynamic description contains as an unknown parameter the macroscopic rate at the origin, which is strictly larger than the microscopic slow rate. The limit is proved by the variational coupling method.

研究の動機と目的

• 原点に1つのスローブンドが存在する全非対称排除過程（TASEP）の水力学的スケーリング極限を確立すること。ここで、{0,1}間の跳躍レートは r < 1 に低下する。
• 積型不変測度が存在しないにもかかわらず、エーラー・スケーリング極限におけるマクロな粒子密度プロファイルを特徴付けること。
• すべての r < 1 に対して、スローブンドが水力学的プロファイルに顕著なマクロな効果を及ぼすかどうかという未解決問題を解消すること。
• 不変分布の知識に依存しない一般化された手法を開発し、スローブンドモデルの直接的解析を可能にすること。

提案手法

• 不変測度構造に依存しない水力学的極限の証明のため、変分的カップリング法を適用する。
• マクロなレートプロファイル λ(x) を定義し、x ≠ 0 では λ(x) = 1、x = 0 では λ(0) ∈ (r,1] とする。これは、TASEPと双対的なラストパスゲージモデルから導出される。
• 水力学的極限は、空間依存レート λ(x) を反映する不連続な走行コストを伴うハミルトン・ジャコビ方程式の解として定式化される。
• TASEPの電流関数 f₀(ρ) = ρ(1−ρ) と成長モデルのレート関数 g₀ の双対性を用い、粒子フラックスの比較が可能になる。
• 背理法を用いて、マクロな密度プロファイルが、ρ* および 1−ρ* の値をとる区分的定数関数でなければならないことを示す。ここで ρ* は TASEP 電流の臨界密度である。
• この手法は、複数のスローブンドや、1サイトあたり K 個の粒子をもつ排除過程へと拡張可能であり、広範な適用可能性を示している。

実験結果

リサーチクエスチョン

• RQ1 原点にスローブンドが存在する場合、すべての r < 1 に対して粒子密度プロファイルにマクロに顕著な摂動が生じるか？
• RQ2 不変測度の知識を仮定しないで、1つのスローブンド付きTASEPの水力学的極限を確立できるか？
• RQ3 原点における正確なマクロなレート λ(0) は何か？ そして、微視的レート r とどのように関係するか？
• RQ4 マクロな密度プロファイルは区分的定数関数か？ もしそうならば、取り得る値は何か？
• RQ5 中間的近似を避ける変分原理に基づいて、水力学的極限を導出できるか？

主な発見

• すべての r ∈ (0,1) に対して、初期粒子密度の強大数法則の仮定のみで水力学的極限が成立する。
• 原点におけるマクロなレートは λ(0) ∈ (r,1] を満たし、r < 1 であってもスローブンドが非自明なマクロな効果を及ぼすことを証明する。
• マクロな密度プロファイルは区分的定数関数であり、ρ* および 1−ρ* の値のみをとる。ここで ρ* は f₀(ρ*) = λ(0)/4 を満たす唯一の解である。
• 範囲 [ρ*, 1−ρ*] 内の不変マクロプロファイルは、区間上で定数であり、λ(0) < 1 の下で変分原理を満たすものとして特徴付けられる。
• i.i.d. 初期測度で密度 ρ ∉ (ρ*, 1−ρ*) の場合、サイト0における時間平均不変測度の電流は rρ(1−ρ) であり、マクロなレート低下を確認する。
• この手法は頑健である：複数のスローブンドや、1サイトあたり K 個の粒子をもつ排除過程へと拡張可能であり、1つのブondsの場合を越えた広範な適用可能性を示している。