[論文レビュー] Problem Complexity Research from Energy Perspective

Feng Pan, Heng-Liang Zhang+1 more|arXiv (Cornell University)|Sep 16, 2013

Computability, Logic, AI Algorithms参考文献 10被引用数 3

ひとこと要約

この論文は、ランドアウアーの原理を古典的問題（整列、順序付き探索、N個の無順序数の最大値の特定）に適用することで、エントロピーの変化に基づいて最小エネルギー要件を導出し、熱力学的視点から計算複雑性を再定義する。エネルギー制約を用いて時間計算量の厳密な下界を確立し、逆転計算が熱力学的に不可能であると示唆するとともに、超線形エネルギー容量と量子優位性の関係を示す仮説を提示し、P対NP問題の解決に寄与する可能性がある。

ABSTRACT

Computational complexity is a particularly important objective. The idea of Landauer principle was extended through mapping three classic problems (sorting,ordered searching and max of N unordered numbers) into Maxwell demon thought experiment in this paper. The problems'complexity is defined on the entropy basis and the minimum energy required to solve them are rigorous deduced from the perspective of energy (entropy) and the second law of thermodynamics. Then the theoretical energy consumed by real program and basic operators of classical computer are both analyzed, the time complexity lower bounds of three problems'all possible algorithms are derived in this way. The lower bound is also deduced for the two n*n matrix multiplication problem. In the end, the reason why reversible computation is impossible and the possibility of super-linear energy consumption capacity which may be the power behind quantum computation are discussed, a conjecture is proposed which may prove NP!=P. The study will bring fresh and profound understanding of computation complexity.

研究の動機と目的

• 計算複雑性を熱力学的原則、特にランドアウアーの原理を用いて再定式化し、基本的問題を解くための最小エネルギー要件を導出すること。
• 古典的プログラムおよび基本論理演算の理論的エネルギー消費を分析し、それらを時間計算量の下界と結びつけること。
• 問題をマクスウェルの悪魔の思考実験としてモデル化することで、情報理論と熱力学を結びつけることにより、計算の物理的限界を調査すること。
• エネルギー制約が逆転計算に与える影響および、超線形エネルギー消費能力が量子計算の優位性を可能にする可能性を検討すること。
• P対NP問題の解決に寄与する可能性があるエネルギーに基づく複雑性に根ざした仮説を提示すること。

提案手法

• 整列、順序付き探索、N個の無順序数の最大値の特定という3つの古典的計算問題を、マクスウェルの悪魔の思考実験の枠組みにマッピングすること。
• エントロピーの減少に基づき、情報の消去に要する最小熱力学的仕事（エネルギー）を計算するためにランドアウアーの原理を適用すること。
• 古典的計算ハードウェアの物理的限界と最小エネルギー要件を等置することで、時間計算量の下界を導出すること。
• 実プログラムのエネルギー消費および基本論理ゲート操作（例：AND、OR、NOT）を分析し、1操作あたりの最小エネルギーを推定すること。
• 行列乗算への分析を拡張し、標準的およびストラッセン型のアルゴリズムに対してエネルギーベースの下界を導出すること。
• 熱力学第二法則を用いて、不可逆計算が根本的になくてはならないことを主張し、したがって逆転計算は物理的に実現不可能であると結論づけること。

実験結果

リサーチクエスチョン

• RQ1 エントロピーの変化とランドアウアーの原理に基づいて、整列問題を解くために必要な最小エネルギーは何か？
• RQ2 熱力学的エネルギー制約から、古典的アルゴリズムの時間計算量の下界をどのように導出できるか？
• RQ3 熱力学第二法則とランドアウアーの原理に従うと、なぜ逆転計算は物理的に不可能なのか？
• RQ4 超線形エネルギー消費能力は、量子計算の潜在的パワーを説明できるか？
• RQ5 エネルギーに基づく複雑性枠組みは、P ≠ NP を証明する道筋を提供するのか？

主な発見

• 比較ベースの整列におけるエントロピーの減少に基づき、整列問題を解くために必要な最小エネルギーは、N log N に比例することが導出された。
• 順序付き探索の時間計算量の下界が Ω(log N) であることが示され、これは二分探索と一致しており、N 個の状態を区別するために必要な最小エネルギーから導出された。
• N 個の無順序数から最大値を特定するための最小エネルギーは、N kT ln 2 に比例することが示され、N 個の要素から1つを特定する際のエントロピーコストを反映している。
• 研究は、古典的アルゴリズムが、根本的な熱力学的制約により導出されたエネルギーに基づく下界を下回る時間計算量を達成できないことを確立した。
• 論文は、逆転計算がエントロピー生成をゼロに保つ必要があるため、熱力学第二法則に反するため、物理的に実現不可能であると結論づけた。
• 超線形エネルギー消費能力が量子計算の優位性の背後にある可能性を示す仮説が提示され、P 対 NP 問題の解決に寄与する可能性のある物理的根拠を提供する。