[論文レビュー] Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity

Joel Friedman|ArXiv.org|Dec 1, 2005

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 6

ひとこと要約

本稿は、Grothendieck位相と層理論を用いた、有限圏上の層のコホモロジー的複雑度によって回路の深さ複雑度をモデル化する、新しいコホモロジー的アプローチを提案する。AND演算には仮想ゼロ拡張を、否定には双対性を導入し、引き戻しと基底変換に関して安定であることを示し、コホモロジー的不変量を用いた深さ下界の確立を目的としている。

ABSTRACT

This paper is motivated by questions such as P vs. NP and other questions in Boolean complexity theory. We describe an approach to attacking such questions with cohomology, and we show that using Grothendieck topologies and other ideas from the Grothendieck school gives new hope for such an attack. We focus on circuit depth complexity, and consider only finite topological spaces or Grothendieck topologies based on finite categories; as such, we do not use algebraic geometry or manifolds. Given two sheaves on a Grothendieck topology, their "cohomological complexity" is the sum of the dimensions of their Ext groups. We seek to model the depth complexity of Boolean functions by the cohomological complexity of sheaves on a Grothendieck topology. We propose that the logical AND of two Boolean functions will have its corresponding cohomological complexity bounded in terms of those of the two functions using ``virtual zero extensions.'' We propose that the logical negation of a function will have its corresponding cohomological complexity equal to that of the original function using duality theory. We explain these approaches and show that they are stable under pullbacks and base change. It is the subject of ongoing work to achieve AND and negation bounds simultaneously in a way that yields an interesting depth lower bound.

研究の動機と目的

• 回路の深さ複雑度を代数的位相的に再解釈することで、P対NPのようなブール複雑度の根本的未解決問題に取り組む。
• コホモロジーをブール関数に適用する際の標準的障害を克服するため、層コホモロジーと導来圏を用いてベッチ数を一般化する。
• 論理的演算（ANDと否定）を、構造的安定性を保つコホモロジー的構成により回路複雑度にモデル化する。
• 有限Grothendieck位相をブール関数の位相的モデルとして用い、コホモロジー的不変量が回路の深さを反映する基盤を確立する。
• コホモロジー的複雑度が回路の深さ複雑度を束縛する形式的枠組みを構築し、層論的ツールを用いた下界証明の可能性を高める。

提案手法

• コホモロジー的複雑度は、Grothendieck位相上の2つの層間のExt群の次元の和として定義される。
• 2つのブール関数の論理的ANDは、『仮想ゼロ拡張』を用いて、入力の関数に依存するコホモロジー的複雑度の上界を得る。
• 論理的否定は双対性理論によりモデル化され、関数とその否定のコホモロジー的複雑度が等しいことが保証される。
• 代数的幾何学や多様体を避けるために、有限な基底圏を持つ有限Grothendieck位相に基づく。
• 引き戻しと基底変換に関して、構成の安定性が証明され、関連する位相的モデル間で一貫性が保たれる。
• 有限次元ベクトル空間の圏における${\cal V}$-表現可能性と${\cal V}$-随伴を用いて、コホモロジー的道具立てを形式化する。

実験結果

リサーチクエスチョン

• RQ1 Grothendieck位相上の層のコホモロジー的不変量は、ブール関数の深さ複雑度をモデル化できるか？
• RQ2 論理的AND演算は、その結果として得られる複雑度が入力に有界になるように、どのようにコホモロジー的に符号化できるか？
• RQ3 層コホモロジーにおける双対性理論は、関数とその否定のコホモロジー的複雑度が等しいことを保証できるか？
• RQ4 引き戻しや基底変換といった圏論的構成に関して、提案されたコホモロジー的枠組みは安定か？
• RQ5 ANDと否定のコホモロジー的モデルの組み合わせにより、明示的なブール関数に対して非自明な深さ下界を得られるか？

主な発見

• Grothendieck位相上の層のコホモロジー的複雑度は、それらのExt群の次元の和として定義され、ベッチ数に類似した測度を提供する。
• 論理的ANDは『仮想ゼロ拡張』を用いてモデル化され、入力に依存するコホモロジー的複雑度の上界が得られる。
• 論理的否定は双対性によりモデル化され、関数とその否定のコホモロジー的複雑度が等しいことが保証される。
• 提案された構成は引き戻しと基底変換に関して安定であり、コホモロジー的モデルにおける構造的一致性が保たれる。
• 古典的な位相的複雑度測度を一般化し、ベッチ数の代わりに有限Grothendieck位相上の層的不変量を用いる。
• 形式的枠組みは${\cal V}$-表現可能性と${\cal V}$-随伴に基づき、コホモロジー的構成がベクトル空間から構造的圏へ自然に持ち上がる。