[论文解读] 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

一句话总结

本文提出了一种新颖的上同调方法来研究布尔电路复杂度，利用格罗滕迪克拓扑与有限范畴上的层理论，通过层的上同调复杂度来建模电路深度复杂度。该方法引入了虚拟零扩张来表示与运算，并通过对偶性来建模非运算，证明了其在拉回和基变换下的稳定性，目标是通过上同调不变量建立深度下界。

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问题。
• 通过使用层上同调与导出范畴推广贝蒂数，克服将上同调应用于布尔函数时的标准障碍。
• 通过保持结构稳定性的上同调构造，对电路复杂度中的逻辑运算（与运算和非运算）进行建模。
• 建立有限格罗滕迪克拓扑作为布尔函数的拓扑模型的基础，使上同调不变量能反映电路深度。
• 发展一种形式化体系，使上同调复杂度能够界定电路深度复杂度，从而通过层论工具实现潜在的下界证明。

提出的方法

• 上同调复杂度被定义为格罗滕迪克拓扑上两个层之间Ext群维数之和。
• 两个布尔函数的逻辑与运算通过'虚拟零扩张'来建模，以在输入的复杂度范围内界定乘积的上同调复杂度。
• 逻辑非运算通过对偶性理论来建模，表明函数与其非运算的上同调复杂度相等。
• 该框架基于具有有限底范畴的有限格罗滕迪克拓扑，避免使用代数几何与流形。
• 证明了构造在拉回和基变换下的稳定性，确保在相关拓扑模型间的一致性。
• 该方法使用有限维向量空间范畴中的${\cal V}$-表示性与${\cal V}$-伴随关系，形式化上同调机制。

实验结果

研究问题

• RQ1 格罗滕迪克拓扑上层的上同调不变量能否建模布尔函数的深度复杂度？
• RQ2 如何通过上同调方式编码逻辑与运算，使得结果复杂度受输入限制？
• RQ3 层上同调中的对偶性理论能否确保函数与其非运算的上同调复杂度相等？
• RQ4 所提出的上同调框架在拉回与基变换等范畴构造下是否稳定？
• RQ5 与运算和非运算的上同调模型组合后，能否为显式布尔函数提供非平凡的深度下界？

主要发现

• 格罗滕迪克拓扑上层的上同调复杂度被定义为它们Ext群维数之和，提供类似于贝蒂数的度量。
• 两个函数的逻辑与通过'虚拟零扩张'建模，从而在输入范围内给出上同调复杂度的上界。
• 逻辑非通过与对偶性建模，确保函数与其非运算的上同调复杂度相等。
• 所提出的构造在拉回与基变换下保持稳定，确保上同调模型中的结构一致性。
• 该框架通过在有限格罗滕迪克拓扑上用层论不变量替代贝蒂数，推广了经典拓扑复杂度度量。
• 该形式化体系基于${\cal V}$-表示性与${\cal V}$-伴随关系，确保上同调构造能自然地从向量空间提升至结构化范畴。