狭い通路での“すれ違い不可”拡散を連続モデルで厳密に解いた研究
この論文は、粒子が一列に並び互いにすり抜けられない「シングルファイル拡散」を、連続(コンティニューム)のモデルで正確に解いたことを報告します。研究者たちは、長さを持つブラウン運動する硬い棒(Brownian hard rods, BHR)からなる一次元ガスを用い、その大きなゆらぎを記述する「巨視的ゆらぎ理論(macroscopic fluctuation theory, MFT)」を解析的に解きました。シングルファイル拡散はイオンチャネルや多孔質材料、ナノチューブなどの狭い通路で起きる現象です。
彼らが扱った具体的な観測量は二つです。一つはトレーサー位置(ある特定の棒の位置)で、もう一つは原点を左から右へ通過した棒の総数(積分した流れ、integrated current)です。初期状態の扱いには二種類の平均法があり、初期配列の確率分布も平均する「アニールド(annealed)」と、初期配列を固定して過程のみに平均する「クワンチド(quenched)」の両方で統計を求めています。
解析の要は「正準変換(canonical transformation)」と呼ぶ数学的操作です。これは相互作用する長さを持つ棒の問題を、相互作用のない点状粒子に対応させるような写像により扱いやすくします。この手法により、MFTで通常出てくる変分問題を明示的に解けるようになり、時間大きさtでの累積生成関数(scaled cumulant generating function, SCGF)が√tで振る舞うことや、その具体的な式を導き出しました。また、系が大きな偏りを示すときに系がたどる「最もありそうな経路(最適軌道)」も具体的に記述しています。
得られた具体的な結果には興味深い性質があります。通常の(典型的な)ゆらぎはガウス分布に近く、分散についてはアニールドとクワンチドで⟨O^2_t⟩_A = √2 ⟨O^2_t⟩_Qという関係が成り立ちます。一方で大きな偏りの裾(大偏差)は観測量ごとに異なり、積分流れの累積生成関数やクワンチドのトレーサーでは大きな変数でλ^{3/2}の振る舞いを示すのに対し、アニールドのトレーサーでは生成関数が有限の範囲にしか存在しない、という違いが出ました。さらに棒の長さaの効果も観測量ごとに違い、トレーサーの式は棒長の影響を“除外体積”を反映した補正密度にのみ通しているのに対し、積分流れは棒長aに明示的に依存します。これらの理論結果は、連続モデルと格子モデルの双方で稀な事象を扱うシミュレーションと照合して検証されています。
重要な注意点もあります。今回の厳密解はBHRという特定の連続モデルに対するもので、議論は無限直線上の拡散や拡散定数D0=1などの設定に基づいています。また「原理的には完全な統計記述を与える」とは言えるものの、実際の計算や応用は観測量や初期条件によって複雑さが残ります。さらに、ここで示された手法は格子上での有限体積排除ルールを持つガスにも拡張できると述べられていますが、現時点での検証は論文中の範囲に限られます。これらの点を踏まえれば、本研究はシングルファイル拡散の連続モデルに関する理解を大きく前進させる具体的な一歩であると言えます。