[論文レビュー] Towards an algebraic natural proofs barrier via polynomial identity testing

Joshua A. Grochow, Mrinal Kumar+2 more|arXiv (Cornell University)|Jan 6, 2017

Complexity and Algorithms in Graphs参考文献 39被引用数 8

ひとこと要約

この論文は、VPとVNPの設定における回路下界に関する代数的自然証明の障壁を確立している。具体的には、VPに対する簡潔なヘッティング集合が存在するならば、ランクに基づく手法や代入法を含む、多くの既知の代数的証明技法はVPとVNPを分離できないことを示している。主な結果は、Razborov–Rudichの自然証明の障壁に類似しており、多項式恒等式テスト（PIT）の決定的化が代数的証明手法の限界をもたらすというものである。

ABSTRACT

We observe that a certain kind of algebraic proof - which covers essentially all known algebraic circuit lower bounds to date - cannot be used to prove lower bounds against VP if and only if what we call succinct hitting sets exist for VP. This is analogous to the Razborov-Rudich natural proofs barrier in Boolean circuit complexity, in that we rule out a large class of lower bound techniques under a derandomization assumption. We also discuss connections between this algebraic natural proofs barrier, geometric complexity theory, and (algebraic) proof complexity.

研究の動機と目的

• 代数的回路複雑性の文脈において、Razborov–Rudichの自然証明の障壁の代数的アナログを形式化すること。
• テスト多項式と行列ランク法に基づく証明技法のクラスを同定し、決定的化の仮定の下で、これらがVPとVNPの下界を証明できないことを示すこと。
• VPの簡潔なヘッティング集合の存在を、特定の代数的下界技法の不可能性と結びつけること。これは、ブール計算における擬似乱数生成子の役割と類似している。
• この代数的自然証明の障壁と、幾何的複雑性理論、および代数的証明複雑性（特にアイディアル証明系（IPS）の文脈において）の関係を調査すること。
• 不満たな3CNF論理式から得られる多項式写像の像からヘッティング集合を構築するという、幾何的IPSにおける下界証明のための未解決問題を提起すること。

提案手法

• 代数的設定における「大きさ」を、Zariski開性として定義する。これは、ある性質を満たす多項式の集合が、多項式方程式の零点集合の補集合であることを意味する。
• 「構成可能性」を、証明に使われるテスト多項式が、入力多項式の係数の数に対して多項式サイズの代数的回路によって計算可能であるという性質として定義する。
• VPの簡潔なヘッティング集合が存在するならば、そのような構成可能で大きな証明技法は、VPとVNPを分離できないことを示す。
• この障壁を多項式恒等式テスト（PIT）と結びつける。決定的化が可能ならば、行列式のランダムな線形射影が、制限されたPITクラスの良いヘッティング集合であると主張する。
• あるメタ多項式Tが、簡単なクラスC_easyに属するすべての多項式で消えるが、難しい多項式f_hardでは消えないというアイデアを用い、Tの回路複雑性を分析する。
• このようなヘッティング集合が存在するならば、標準的な代数的技法（例えば、シフトされた部分導関数、Waringランクなど）は強力な下界を証明できないと提案する。

実験結果

リサーチクエスチョン

• RQ1 Razborov–Rudichの障壁と類似した自然証明のスタイルの障壁を、代数的設定で確立できるか？
• RQ2 既知の代数的回路下界技法が、VPとVNPを分離できない条件は何か？
• RQ3 VPの簡潔なヘッティング集合の存在と、代数的証明技法の限界との間に、関係があるか？
• RQ4 代数的自然証明の障壁を、多項式恒等式テスト（PIT）の決定的化と結びつけることができるか？
• RQ5 この障壁を、幾何的または一般のアイディアル証明系（IPS）における下界証明に活用できるか？

主な発見

• ランクに基づく手法や代入に基づく証明を含む、広範な代数的証明技法のクラスは、VPの簡潔なヘッティング集合が存在する限り、VPとVNPを分離できない。
• VPの簡潔なヘッティング集合の存在は、これらの技法が不十分であることを示しており、これは、ブール計算における擬似乱数生成子が自然証明をブロックするのと類似している。
• この障壁は、多項式恒等式テスト（PIT）の決定的化に結びついている。具体的には、行列式のランダムな線形射影が、制限されたPITクラスに対して良いヘッティング集合であるとされる。
• PITとの関連は、代数的下界技法の全体をブロックする自然な決定的化仮定を提供する。
• 結果として、不満たな3CNF論理式に関連する多項式写像の像からヘッティング集合を構築できるならば、幾何的IPSにおける下界証明が可能になる可能性がある。
• 本論文は、このようなヘッティング集合の構築に関する未解決問題、および一般のIPSへの関連の拡張に関する問題を同定している。