[論文レビュー] Reconnecting statistical physics and combinatorics beyond ensemble equivalence

Tiziano Squartini, Diego Garlaschelli|arXiv (Cornell University)|Oct 31, 2017

Statistical Mechanics and Entropy被引用数 5

ひとこと要約

この論文は、系のサイズが有限であっても、統計力学におけるマイクロカノニカルおよびカノニカル集合の間の正確な関係を確立する。微小な系では集合等価性（EE）が成立しないが、制約の共分散行列に依存する補正項を用いることで、マイクロカノニカル状態の列挙がカノニカル確率から可能になる。これにより、熱力学的極限を超えた統計力学と組合せ論の深い関係が回復される。

ABSTRACT

In statistical physics, the challenging combinatorial enumeration of the configurations of a system subject to hard constraints (microcanonical ensemble) is mapped to a mathematically easier calculation where the constraints are softened (canonical ensemble). However, the mapping is exact only when the size of the system is infinite and if the property of ensemble equivalence (EE), i.e. the asymptotic identity of canonical and microcanonical large deviations, holds. For finite systems, or when EE breaks down, statistical physics is currently believed to provide no answer to the combinatorial problem. In contrast with this expectation, here we establish exact relationships connecting conjugate ensembles in full generality, even for finite system size and when EE does not hold. We also show that in the thermodynamic limit the ensembles are directly related through the matrix of canonical (co)variances of the constraints, plus a correction term that survives only if this matrix has an infinite number of finite eigenvalues. These new relationships restore the possibility of enumerating microcanonical configurations via canonical probabilities, thus reconnecting statistical physics and combinatorics in realms where they were believed to be no longer in mutual correspondence.

研究の動機と目的

• 集合等価性が破綻する状況においても、統計力学が組合せ的列挙を扱えないという長年の誤解を解消すること。
• 集合等価性の有効性に依存しない、有限サイズのマイクロカノニカルおよびカノニカル集合の間の正確な関係を導出すること。
• 制約の共分散行列を含む補正項を用いることで、カノニカル確率がマイクロカノニカル状態を完全に再構成できることを示すこと。
• 補正項の漸近的挙動を熱力学的極限で特徴づけ、それが消えるか、または残る条件を特定すること。
• 集合等価性が成立しなかったとされる系においても、統計力学と組合せ論の対応関係を回復すること。

提案手法

• 生成関数法と特性関数を用いて、マイクロカノニカル確率とカノニカル確率を結ぶ正確な恒等式を導出する。
• 制約のカノニカル共分散行列 $ \tilde{\mathbf{\Sigma}}^* $ に依存する補正項 $ T^* $ を導入する。
• マイクロカノニカル正規化 $ \Omega_{\vec{C}^*} $ をカノニカル分配関数と $ T^* $ の積として表現し、カノニカルデータから正確な列挙が可能になるようにする。
• カノニカル共分散行列 $ \tilde{\mathbf{\Sigma}}^* $ の固有値を発散するか有限かに分類することで、$ T^* $ の漸近的挙動を分析する。
• 大規模系における補正項の挙動を評価するための極限量 $ \tau^{*}_{\alpha_{\infty}} $ を定義する。
• カノニカル（共）分散行列を用いて、補正項が生存する条件を特定し、無限個の固有値が有限のまま残る場合にのみ、補正項が持続することを示す。

実験結果

リサーチクエスチョン

• RQ1 集合等価性が成立しなくても、マイクロカノニカルおよびカノニカル集合の間の正確な関係を確立できるか？
• RQ2 制約のカノニカル共分散行列が、集合間の不一致を是正するために果たす役割は何か？
• RQ3 補正項 $ T^* $ が熱力学的極限で消える条件は何か？
• RQ4 有限の補正項を用いて、カノニカル確率のみでマイクロカノニカルな組合せ的列挙を達成できるか？
• RQ5 補正項が熱力学的極限にわたって生存する条件は何か？ これは制約共分散行列の固有値スペクトルによってどのように特定されるか？

主な発見

• 論文は、マイクロカノニカルとカノニカル集合を結ぶ正確な恒等式 $ \Omega_{\vec{C}^*} = \mathcal{Z}(\vec{\theta}^*) \cdot T^* \cdot \sqrt{\det(2\pi \tilde{\mathbf{\Sigma}}^*)} $ を確立した。
• 補正項 $ T^* $ は、カノニカル共分散行列 $ \tilde{\mathbf{\Sigma}}^* $ の固有値の積として表現され、有限の固有値からの寄与を含む。
• 熱力学的極限においては、制約共分散行列に無限個の有限固有値が存在し、かつその成長が $ \alpha_n $ 以上である場合を除き、$ \tau^{*}_{\alpha_{\infty}} = 0 $ となる。
• すべての固有値が発散する場合、$ T^* \to 1 $ となり、補正項が消えて、標準的な意味での集合等価性が回復される。
• 制約数 $ \tilde{K} $ が $ \alpha_n $ 以上で増加する場合、$ \tau^{*}_{\alpha_{\infty}} > 0 $ となり、補正項が持続する可能性がある。
• 本手法により、組合せ的列挙が困難な状況を避けて、カノニカル確率から正確なマイクロカノニカル列挙が可能になる。