[論文レビュー] On P vs. NP, Geometric Complexity Theory, and the Flip I: a high level view

Ketan Mulmuley|ArXiv.org|Sep 5, 2007

Advanced Combinatorial Mathematics参考文献 51被引用数 5

ひとこと要約

この論文は、幾何的複雑性理論（GCT）の高レベルな概要を提示し、P対NP問題を解消する戦略として、'フリップ'原理を用いて難しい下界問題をより簡単な存在問題に変換することを提案する。P ≠ NP over ℂ を証明することは、代数幾何学および表現論における正値性予想の確立に還元され、これは有限体上の一般化されたリーマン予想と関連している。

ABSTRACT

Geometric complexity theory (GCT) is an approach to the $P$ vs. $NP$ and related problems through algebraic geometry and representation theory. This article gives a high-level exposition of the basic plan of GCT based on the principle, called the flip, without assuming any background in algebraic geometry or representation theory.

研究の動機と目的

• 代数幾何学や表現論の背景を必要としない、コンピュータサイエンティスト向けの幾何的複雑性理論（GCT）の高レベルで理解しやすい解説を提供すること。
• GCTにおけるコア原則「フリップ」——非存在性（下界）問題を存在性（上界）問題に変換する——の説明。
• 複雑性理論におけるPバリアが、Pに属する可能性のある表現論および代数幾何学の決定問題に還元されることで乗り越え可能であることを動機づけること。
• GCTにおける数学的正値性仮説の妥当性が、有限体上のリーマン予想および量子群理論と深く関連していることを主張すること。
• P ≠ NP に対するPで検証可能でPで構築可能な証明技法が可能かどうかを検討し、GCTがそのようなアプローチの中で最も単純なものの一つである可能性を示唆すること。

提案手法

• フリップ原理により、ℂ 上のP対NP問題は、表現論および代数幾何学における特定の決定問題がPに属することの証明に還元される。
• 否定的仮説（例：NP完全問題に対して多項式時間アルゴリズムが存在しない）が、代数多様体における障害の存在という肯定的命題に変換される。
• 障害は、特定の既約表現または不変量として定義され、効率的なアルゴリズムの非存在を証明する。
• このアプローチは、複雑性理論的正値性仮説を数学的正値性予想——符号の反転がない式——に還元する。これはパーマネントの式に類似している。
• 非標準量子群が、これらの正値性予想の証明を支援するための標準量子群の一般化として導入される。
• この枠組みは、標準的および非標準的量子群の理論を通じて、代数幾何学の深い結果、たとえば有限体上のリーマン予想と結びつく。

実験結果

リサーチクエスチョン

• RQ1 P対NP問題は、表現論および代数幾何学におけるPに属する決定問題の系列に還元可能か？
• RQ2 フリップ原理は、難しい下界問題を扱いやすい存在問題に変換するのに十分か？
• RQ3 代数幾何学および表現論における数学的正値性予想——たとえば非負の構造関数が正の式で表せるか——は真であるか？
• RQ4 有限体上のリーマン予想および非標準量子群への一般化は、これらの正値性予想を証明するために拡張可能か？
• RQ5 Pで検証可能でPで構築可能なP ≠ NPの証明技法は存在するか？ もし存在するなら、GCTはそのようなアプローチの中で最も単純なものの一つであるか？

主な発見

• ℂ 上のP対NP問題は、特定の決定問題がPに属することを証明することに還元可能であり、その例としてリトルウッド＝リチャードソン問題、クロネッカー問題、およびプレティズム問題が挙げられる。
• フリップ原理により、NP完全問題に対して多項式サイズの回路が存在しないという非存在性は、代数多様体における障害の存在に変換される。
• GCTにおける数学的正値性仮説の妥当性は、有限体上の一般化されたリーマン予想と同値であり、標準的設定では既に成立することが知られている。
• 非標準量子群が構成され、標準量子群の理論を拡張し、GCTにおける正値性予想の証明を支援する。
• GCTはℂ 上でPで検証可能かつPで構築可能であると予想されており、P ≠ NP に対する既知のPで検証可能なアプローチの中で最も単純なものの一つである可能性を示唆する。
• GCTにおける障害の明示的構成の複雑さはPに属すると予想され、検証の複雑さについてもPに属すると予想されているため、実行可能なかつ証明可能なかつ証明可能なかつ証明可能な証明技法の候補となる。