[論文レビュー] Quantifying the Rise and Fall of Complexity in Closed Systems: The Coffee Automaton

Scott Aaronson, Sean M. Carroll+1 more|arXiv (Cornell University)|May 27, 2014

Cellular Automata and Applications参考文献 13被引用数 15

ひとこと要約

本稿は、粗粒度化された状態のコルモゴロフ複雑度を複雑さの尺度として用い、閉じた系における複雑さの上昇と低下を研究するための細胞自動遷移モデル「コーヒー自動遷移」を導入する。解析的に、非相互作用粒子は低複雑さを示すが、相互作用する粒子は系の横方向寸法と同等のピーク複雑さを示すことが示され、閉じた系における中間的複雑さの一般的メカニズムが示唆される。

ABSTRACT

In contrast to entropy, which increases monotonically, the "complexity" or "interestingness" of closed systems seems intuitively to increase at first and then decrease as equilibrium is approached. For example, our universe lacked complex structures at the Big Bang and will also lack them after black holes evaporate and particles are dispersed. This paper makes an initial attempt to quantify this pattern. As a model system, we use a simple, two-dimensional cellular automaton that simulates the mixing of two liquids ("coffee" and "cream"). A plausible complexity measure is then the Kolmogorov complexity of a coarse-grained approximation of the automaton's state, which we dub the "apparent complexity." We study this complexity measure, and show analytically that it never becomes large when the liquid particles are non-interacting. By contrast, when the particles do interact, we give numerical evidence that the complexity reaches a maximum comparable to the "coffee cup's" horizontal dimension. We raise the problem of proving this behavior analytically.

研究の動機と目的

• 閉じた系において複雑さが時間とともに増加してから減少するという直感的な考えを形式化すること。
• 力学系における構造的・非一様なパターンの出現を捉える「複雑さ」の定量的尺度を開発すること。
• コーヒーと生クリームの混合をシンプルなモデルとして用い、閉じた系における相互作用粒子が中間時間に高複雑さを生成できるかどうかを調査すること。
• 近似に基づく複雑さ推定の限界を探索し、コルモゴロフ複雑度に対する理論的下界の必要性を特定すること。

提案手法

• コーヒーとクリームの混合を模倣する2次元細胞自動遷移として閉じた系をモデル化し、グリッド上をランダムに移動する粒子を用いる。
• 「顕在的複雑さ」を、各領域の粒子密度に基づいて色分けされた粗粒度化された状態の画像のコルモゴロフ複雑度として定義する。
• 非相互作用系の場合に、粗粒度化領域が期待値から著しく逸脱する確率をチェルノフの不等式を用いて分析する。
• 粗粒度化に起因するアーチファクトを回避するため、ライトコーンメトリクスを代替の複雑さ尺度として適用し、標準的な粗粒度化手法と結果を比較する。
• 数値シミュレーションを実施し、相互作用あり・なしの粒子系における複雑さのダイナミクスを観察する。
• 和集合の不等式を用いて、粒子の相互作用が存在しない場合に、高確率でどの粗粒度化領域に対しても期待値から著しく逸脱しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 定量的複雑さ尺度は、閉じた系において時間とともに増加してから減少するという直感的なパターンを捉えられるか？
• RQ2 非相互作用粒子からなる閉じた系では、モデルが示唆するように、時間経過とともに複雑さが低いままであるか？
• RQ3 相互作用粒子を含む系では複雑さはどのように振る舞い、中間時間にピークを示すか？
• RQ4 粗粒度化された状態のコルモゴロフ複雑度は、下から有界に保証できるか、高複雑さ状態の存在を確認できるか？
• RQ5 粗粒度化とライトコーンメトリクスの両方の複雑さ尺度は、系の構造をどのように捉えているか、比較できるか？

主な発見

• 非相互作用系の場合、L ≫ G√(log n) であるとき、任意の粗粒度化領域が期待粒子数から L²/G 以上逸脱する確率は、指数関数的に小さくなる。
• 非相互作用系における粗粒度化画像のコルモゴロフ複雑度は、O(log n + log t) で有界であり、すべての時間で低複雑さであることを示す。
• 数値的証拠により、相互作用粒子を含む系では、複雑さが系の横方向寸法 n と同等の大きさのピークに達することが示された。
• ライトコーンメトリクスに基づく複雑さ尺度は、粗粒度化に起因するアーチファクトを回避し、構造的複雑さをより頑健に近似する。
• 本稿では、現在の手法における根本的な欠落を特定した：近似アルゴリズムはコルモゴロフ複雑度に対して上界しか提供できず、下界は得られないため、複雑さのピークに関する決定的な結論は得られない。
• 著者らは、相互作用系が中間時間に高複雑さに達することを解析的に証明するという未解決の問題を提起し、新たな理論的ツールの必要性を強調した。