[論文レビュー] Computational Complexity of Avalanches in the Kadanoff two-dimensional Sandpile Model

Eric Goles, Bruno Martin|arXiv (Cornell University)|Oct 7, 2010

Theoretical and Computational Physics参考文献 8被引用数 4

ひとこと要約

本稿は、2次元のカダノフ砂だんモデルにおけるアバランチ問題がP完全であることを証明し、このクラスの砂だんシステムにおける計算不能性を確立している。著者らは、カダノフモデルのダイナミクス内に構築された論理ゲートと配線を用いて、単調回路値問題をアバランチ問題へ還元することで、2次元砂だんの挙動に本質的な逐次的複雑性が存在することを示している。

ABSTRACT

In this paper we prove that the avalanche problem for Kadanoff sandpile model (KSPM) is P-complete for two-dimensions. Our proof is based on a reduction from the monotone circuit value problem by building logic gates and wires which work with configurations in KSPM. The proof is also related to the known prediction problem for sandpile which is in NC for one-dimensional sandpiles and is P-complete for dimension 3 or greater. The computational complexity of the prediction problem remains open for two-dimensional sandpiles.

研究の動機と目的

• 2次元カダノフ砂だんモデルにおけるアバランチ伝播の予測の計算複雑性を特定すること。
• 1次元（NCに属する）および3次元以上（P完全）の先行結果に続く、2次元におけるアバランチ問題がP完全であるかどうかという未解決問題を閉じること。
• 単調回路値問題（MCVP）からカダノフモデルにおけるアバランチ問題への形式的還元を確立すること。
• カダノフモデルが単調性制約のもとで論理ゲートと配線を用いて普遍計算を実現できることを示すこと。

提案手法

• 2次元カダノフ砂だんモデルにおける安定配置を用いて論理ゲート（AND、OR）と信号配線を構築すること。
• 物理的妥当性と計算の決定論的性を保証するため、単調かつ非増加の初期状態を定義すること。
• 単調回路値問題（MCVP）を多項式時間変換によってアバランチ問題へ還元すること。
• カダノフ規則におけるパラメータ $ p $ を用いて、隣接セル間の粒の再分配を制御し、$ p \geq 2 $ とすること。
• 遠く離れた地点に粒が到達するかを追跡することで、アバランチ伝播が回路評価をシミュレートできることを保証すること。
• すべての $ p \geq 2 $ に対して、特に $ p = 2 $（標準的な2次元バク砂だんモデルに対応）においてもP完全性が保たれることを検証すること。

実験結果

リサーチクエスチョン

• RQ1 2次元カダノフ砂だんモデルにおけるアバランチ問題は、計算的に難しい、具体的にはP完全であるか？
• RQ2 論理ゲートと配線をカダノフ砂だんモデルに埋め込むことで、単調回路をシミュレートできるか？
• RQ3 単調性と決定論的性という物理的制約のもとでもP完全性の結果は成り立つか？
• RQ4 異なる次元および砂だんモデルにおいて、アバランチ問題の計算複雑性はどのように比較できるか？
• RQ5 $ p=2 $ のカダノフモデルは、2次元における標準的バク砂だんモデルと同等の計算能力を有するか？

主な発見

• 2次元カダノフ砂だんモデルにおけるアバランチ問題は、すべての $ p \geq 2 $ に対してP完全であり、$ p = 2 $（標準的な2次元バク砂だんモデルに対応）に対しても同様に成り立つ。
• 証明は、既にP完全であることが知られている単調回路値問題（MCVP）からアバランチ問題への還元を確立している。
• カダノフモデルのダイナミクス内に論理ゲートと配線を構築することで、単調ブール回路のシミュレーションが成功裏に実現された。
• 重力駆動の砂だんダイナミクスによって物理的に妥当であるとされる単調性制約のもとでも、この結果は成り立つ。
• P完全性の結果は、カダノフテンプレートから導かれるさまざまな局所更新ルールに対しても、$ p \geq 3 $ の「バタフライ」配置を含めて、堅牢に保たれる。
• 本研究は、2次元において砂だんが単調減少構造としてモデル化されても、アバランチ問題がP完全のままであることを確認し、その計算普遍性を裏付けた。