[논문 리뷰] Towards an algebraic natural proofs barrier via polynomial identity testing

Joshua A. Grochow, Mrinal Kumar외 2명|arXiv (Cornell University)|2017. 01. 06.

Complexity and Algorithms in Graphs참고 문헌 39인용 수 8

한 줄 요약

이 논문은 VP 대 VNP 설정에서 회로 하한에 대한 대수적 자연 증명 장벽을 수립한다. 구체적으로, 만약 VP에 대해 요약된 히팅 세트가 존재한다면, 랭크 기반 및 대입 기반 기법을 포함한 대부분의 알려진 대수적 증명 기법들이 VP와 VNP를 분리할 수 없다는 것을 보여준다. 핵심 결과는 라즈보프–루디치 자연 증명 장벽에 대한 유사성으로, 다항식 항등식 테스트(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.

연구 동기 및 목표

• 대수적 회로 복잡도 이론의 맥락에서 라즈보프–루디치 자연 증명 장벽의 대수적 유사체를 체계화하기.
• 테스트 다항식과 행렬 랭크 기반 방법에 기반한 대수적 증명 기법의 클래스를 특정하여, 비확률화 가정 하에 VP 대 VNP 하한을 증명할 수 없음을 규명하기.
• VP에 대한 요약된 히팅 세트의 존재와 특정 대수적 하한 증명 기법의 불가능성 사이의 연결 고리를 설정하며, 이는 부정확한 난수 생성기의 역할과 유사하다.
• 이 대수적 자연 증명 장벽이 기하학적 복잡도 이론과 대수적 증명 복잡도, 특히 이상 증명 체계(IPS)와 어떻게 연결되는지 탐색하기.
• 기하학적 IPS에서 하한을 증명하기 위해 불만족 가능한 3CNF 공식에서 유도된 다항식 사상의 이미지로부터 히팅 세트를 구성하는 데 관련된 열린 문제 제시하기.

제안 방법

• 대수적 맥락에서 '크기'를 자리지 열린성으로 정의하여, 다항식의 성질을 만족하는 다항식의 집합이 다항방정식의 영집합의 여집합임을 의미한다.
• 구성가능성을 입력 다항식의 계수 수에 대해 다항식 크기의 대수적 회로로 테스트 다항식을 계산할 수 있는 성질로 정의한다.
• 만약 VP에 대해 요약된 히팅 세트가 존재한다면, 그러한 구성가능하고 크기가 큰 증명 기법은 VP와 VNP를 분리할 수 없다는 것을 증명한다.
• 이 장벽을 다항식 항등식 테스트(PIT)와 연결하여, 비확률화가 가능하다면 행렬의 무작위 선형 투영이 제한된 PIT 클래스에 좋은 히팅 세트가 되어야 한다고 주장한다.
• 간단한 클래스 C_easy에 속하는 모든 다항식에서 메타다항식 T가 0이지만, 어려운 다항식 f_hard에서는 0이 아니며, 이 T의 회로 복잡도를 분석한다.
• 만약 이러한 히팅 세트가 존재한다면, 표준적인 대수적 기법(예: 이동된 부분도함수, 워링 랭크 등)은 강력한 하한을 증명할 수 없다고 제안한다.

실험 결과

연구 질문

• RQ1 라즈보프–루디치 장벽과 유사한 자연 증명 스타일의 장벽이 대수적 맥락에서 수립될 수 있는가?
• RQ2 기존의 대수적 회로 하한 증명 기법이 VP와 VNP를 분리하지 못하는 조건은 무엇인가?
• RQ3 VP에 대한 요약된 히팅 세트의 존재와 대수적 증명 기법의 한계 사이에 연결 고리가 존재하는가?
• RQ4 이 대수적 자연 증명 장벽은 다항식 항등식 테스트(PIT)의 비확률화와 연결될 수 있는가?
• RQ5 이 장벽을 기하학적 또는 일반적인 이상 증명 체계(IPS)에서 하한을 증명하는 데 활용할 수 있는가?

주요 결과

• 랭크 기반 기법과 대입 기반 증명을 포함한 대수적 증명 기법의 광범위한 클래스는 VP에 대해 요약된 히팅 세트가 존재한다면 VP와 VNP를 분리할 수 없다.
• VP에 대한 요약된 히팅 세트의 존재는 이러한 기법들이 부족하다는 것을 암시하며, 이는 부정확한 난수 생성기가 부울 복잡도 이론에서 자연 증명을 차단하는 방식과 유사하다.
• 이 장벽은 다항식 항등식 테스트(PIT)의 비확률화와 관련되어 있으며, 특히 행렬의 무작위 선형 투영이 제한된 PIT 클래스에 좋은 히팅 세트가 된다는 점에서 중요하다.
• PIT와의 연결은 전체적인 대수적 하한 증명 기법의 집단을 차단하는 자연스러운 비확률화 가정을 제공한다.
• 결과적으로, 불만족 가능한 3CNF 공식과 관련된 다항식 사상의 이미지로부터 히팅 세트를 구성할 수 있다면 기하학적 IPS에서 하한을 증명하는 것이 가능할 수 있다.
• 논문은 이러한 히팅 세트를 구성하는 데 관련된 열린 문제와 일반 IPS로의 연결 확장을 제안하며, 이 경우 사상의 그래프가 관련 기하학적 대상이 된다.