[논문 리뷰] Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity

Joel Friedman|ArXiv.org|2005. 12. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 14인용 수 6

한 줄 요약

이 논문은 유한 범주 위의 그로텐디크 위상과 층 이론을 사용하여 부울 회로 복잡도에 대한 새로운 코homological 접근법을 제안한다. 이는 층의 코homological 복잡도를 통해 회로 깊이 복잡도를 모델링한다. AND 연산에 대해 가상의 영 원소 확장을 도입하고 부정에 대해 쌍대성을 사용하며, 이는 당김과 기저 변경에 대해 안정적이며, 코homological 불변량을 통해 깊이 하한을 확립하는 것을 목표로 한다.

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 문제를 해결하기 위해, 회로 깊이 복잡도를 대수적 위상수학적으로 재해석한다.
• 코호몰로지의 표준적 적용 장벽을 극복하기 위해, Betti 수를 층 코호몰로지와 유도 범주를 통해 일반화한다.
• 논리 연산(AND 및 부정)을 코homological 구성으로 모델링하여 구조적 안정성을 유지한다.
• 유한 그로텐디크 위상으로서 부울 함수의 위상적 모델을 만들고, 이에 따라 회로 깊이를 반영하는 코호몰로지 불변량을 확립하는 기초를 마련한다.
• 코호몰로지 복잡도가 회로 깊이 복잡도를 제약하는 형식적 체계를 개발하여, 층 이론적 도구를 통해 잠재적인 하한 증명을 가능하게 한다.

제안 방법

• 코호몰로지 복잡도는 그로텐디크 위상 위의 두 층 사이의 Ext 군 차원의 합으로 정의된다.
• 두 부울 함수의 논리적 AND는 코호몰로지 복잡도를 입력에 대한 상한으로 유도하기 위해 '가상의 영 원소 확장'을 사용하여 모델링된다.
• 논리적 부정은 쌍대성 이론을 통해 모델링되며, 함수와 그 부정의 코호몰로지 복잡도가 동일하다는 것을 주장한다.
• 이 프레임워크는 유한한 기저 범주를 가진 유한 그로텐디크 위상 위에 구축되며, 대수기하학과 다양체를 피한다.
• 당김과 기저 변경에 대해 구성의 안정성이 증명되어 관련된 위상 모델 간 일관성이 보장된다.
• 유한 차원 벡터 공간의 범주에서 ${\cal V}$-표현 가능성과 ${\cal V}$-수반을 사용하여 코호몰로지 기계를 형식화한다.

실험 결과

연구 질문

• RQ1 그로텐디크 위상 위의 층에 대한 코호몰로지 불변량은 부울 함수의 깊이 복잡도를 모델링할 수 있는가?
• RQ2 논리적 AND 연산은 어떻게 코호몰로지적으로 표현할 수 있으며, 그 결과로 얻어지는 복잡도가 입력에 의해 유한하게 제한될 수 있는가?
• RQ3 층 코호몰로지의 쌍대성 이론은 함수와 그 부정의 코호몰로지 복잡도가 동일하다는 것을 보장할 수 있는가?
• RQ4 당김과 기저 변경과 같은 범주론적 구성에 대해 제안된 코호몰로지 프레임워크는 안정적인가?
• RQ5 AND와 부정의 코호몰로지 모델의 조합이 명시적인 부울 함수에 대해 비자명한 깊이 하한을 도출할 수 있는가?

주요 결과

• 그로텐디크 위상 위의 층의 코호몰로지 복잡도는 그들의 Ext 군의 차원의 합으로 정의되며, Betti 수와 유사한 척도를 제공한다.
• 두 함수의 논리적 AND는 '가상의 영 원소 확장'을 통해 모델링되어 입력에 대한 코호몰로지 복잡도의 상한을 도출한다.
• 논리적 부정은 쌍대성에 의해 모델링되며, 함수와 그 부정의 코호몰로지 복잡도가 동일하다는 것을 보장한다.
• 제안된 구성은 당김과 기저 변경에 대해 안정적이며, 코호몰로지 모델의 구조적 일관성을 유지한다.
• 이 프레임워크는 Betti 수를 유한 그로텐디크 위상 위의 층 이론적 불변량으로 대체하여 고전적 위상 복잡도 측정법을 일반화한다.
• 이 형식은 ${\cal V}$-표현 가능성과 ${\cal V}$-수반에 기반하여, 코호몰로지 구성이 벡터 공간에서 구조화된 범주로 자연스럽게 올라가는 것을 보장한다.