[論文レビュー] Monotone Classes Beyond VNP

Prerona Chatterjee, Kshitij Gajjar+1 more|arXiv (Cornell University)|Feb 26, 2022

Formal Methods in Verification被引用数 1

ひとこと要約

本稿では、Poizatの特徴付けを用いて定義されるVPSPACEの単調版であるmVPSPACEを導入し、これがmVNPよりも指数的に強力であることが示され、主要な代数的演算に関して閉じている。本研究では、従来mVNPに対して困難であると知られていた透明多項式が、mVPSPACEに対しても依然として困難であることが明らかになり、VNPをはるかに超える堅牢な単調複雑性階層が存在することが示された。

ABSTRACT

In this work, we study the natural monotone analogues of various equivalent definitions of VPSPACE: a well studied class (Poizat 2008, Koiran & Perifel 2009, Malod 2011, Mahajan & Rao 2013) that is believed to be larger than VNP. We observe that these monotone analogues are not equivalent unlike their non-monotone counterparts, and propose monotone VPSPACE (mVPSPACE) to be defined as the monotone analogue of Poizat’s definition. With this definition, mVPSPACE turns out to be exponentially stronger than mVNP and also satisfies several desirable closure properties that the other analogues may not. Our initial goal was to understand the monotone complexity of transparent polynomials, a concept that was recently introduced by Hrubeš & Yehudayoff (2021). In that context, we show that transparent polynomials of large sparsity are hard for the monotone analogues of all the known definitions of VPSPACE, except for the one due to Poizat.

研究の動機と目的

• 構造的サポートを持つ最近導入された多項式のクラスである透明多項式の単調複雑性を理解すること。
• VPSPACEの複数の同値な定義の単調版を探索し、それらの相対的な計算パワーを評価すること。
• 望ましい閉包性質を満たす、堅牢で扱いやすいmVPSPACEの単調版を同定すること。
• 特に永久多項式と透明多項式の文脈において、単調回路クラスとその量化された拡張との間の分離を調査すること。

提案手法

• Poizatの定義を用いて、単調回路に射影ゲートを含む形でmVPSPACEを定義する。
• 多項式のサポート構造と単調性を用いて、和、積、射影などの演算が単項式の集合に与える影響を分析する。
• Lemma 7.5を活用し、単調回路に射影ゲートを含む構造が、永久多項式のような既約多項式のサポートを保存することを証明する。
• ゲートの複製技術を適用して、mVPSPACEが同次化に関して閉じていることを示し、各ゲートをk+1個のコピーで再構成して同次成分を計算する。
• 単調代数的回路に対する既知の指数的下界を用いて、下界を確立する。
• 単調回路では項のキャンセルが不可能であるため、単調操作の下で多項式のサポートが保存されることを活用する。

実験結果

リサーチクエスチョン

• RQ1 同値なVPSPACE定義の自然な単調版は、計算パワーにおいて同等であるか？
• RQ2 mVPSPACEは、同次化などの基本的な代数的演算に関して閉じており、かつ堅牢な定義が可能か？
• RQ3 透明多項式はmVPSPACEに対して困難であり、これはmVNPに対する下界よりも強いものであるか？
• RQ4 単調VNPの下界を示す技術は、特にスパースなサポートを持つ多項式に対してmVPSPACEへ拡張可能か？
• RQ5 mVNPと量化された単調回路との間に分離が存在するか？このような分離は単調複雑性に何を意味するか？

主な発見

• 異なるVPSPACE定義の単調版は同等ではなく、Poizatの定式化に基づくmVPSPACEはmVNPよりも指数的に強力である。
• mVPSPACEは同次化に関して閉じており、次数kの多項式に対して、mVPSPACEに属する多項式の同次化版は、サイズO(k²·s)の単調回路と射影ゲートで計算可能である。
• 永久多項式Permnは、単調回路に射影ゲートを含む場合、サイズO(n³)で計算可能であるが、任意の量化された単調回路がそれを計算するにはサイズ2Ω(n)が必要である。
• 非常にスパースなスパarsityを持つ透明多項式は、Poizatのアプローチに基づく定義を除くすべてのVPSPACEの単調版に対して困難であることが示され、mVPSPACEがより自然な単調複雑性クラスを捉えていることが示された。
• 射影ゲートを含む回路で計算される単調多項式のサポートは、単調操作の下で保存されるため、既知の結果から下界を転送できる。
• mVPSPACEはmVNPよりも厳密に強力であり、このような分離により、ハイパーキューブ上でもmVNPに対して困難な新たなブール関数が得られる可能性がある。