[논문 리뷰] Explicit Proofs and The Flip

Ketan Mulmuley|arXiv (Cornell University)|2010. 09. 01.

Advanced Graph Theory Research참고 문헌 1인용 수 8

한 줄 요약

이 논문은 기하학적 복잡도 이론(GCT)에서 자가참조 역설(self-referential paradox)을 해결하기 위해 '플립'(flip) 전략을 제안한다. 이 전략은 쉽게 검증 가능하고, 구성 가능하며, 복호화 가능한 딱딱한 증거(증명 서류)를 생성하는 명시적 증명(explicit proofs)을 찾는 데 초점을 맞춘다. 논문은 산술 회로 동일성 테스트(arithmetic circuit identity testing)가 블랙박스 방식으로 비확률화될 수 있다면, 산술 P vs. NP 추측의 어떤 증명도 명시적 증명으로 변환될 수 있음을 보이며, 더 강력한 형태의 이러한 비확률화는 대수기하학에서 어려운 명시적 구성 문제에 대한 다항시간 알고리즘을 암시한다.

ABSTRACT

This article describes a formal strategy of geometric complexity theory (GCT) to resolve the {\em self referential paradox} in the $P$ vs. $NP$ and related problems. The strategy, called the {\em flip}, is to go for {\em explicit proofs} of these problems. By an explicit proof we mean a proof that constructs proof certificates of hardness that are easy to verify, construct and decode. The main result in this paper says that (1) any proof of the arithmetic implication of the $P$ vs. $NP$ conjecture is close to an explicit proof in the sense that it can be transformed into an explicit proof by proving in addition that arithmetic circuit identity testing can be derandomized in a blackbox fashion, and (2) stronger forms of these arithmetic hardness and derandomization conjectures together imply a polynomial time algorithm for a formidable explicit construction problem in algebraic geometry. This may explain why these conjectures, which look so elementary at the surface, have turned out to be so hard.

연구 동기 및 목표

• 증명 자체를 불가능하게 만들 수 있는 '발견이 어렵다'는 진술이 자가참조 역설(self-referential paradox)을 일으키는 P vs. NP 문제를 해결하기 위함.
• 기하학적 복잡도 이론(GCT)에서 명시적 증명의 딱딱한 경로를 확립하기 위해 '플립' 전략을 공식적이고 체계적인 접근으로 정당화하기 위함.
• 산술 비균일 P vs. NP 추측의 어떤 증명이라도 산술 회로 동일성 테스트가 블랙박스 방식으로 비확률화될 수 있다면, 거의 명시적 증명에 가까워지며, 이를 증명하기 위함.
• 더 강력한 형태의 비확률화 및 딱딱함 추측이 대수기하학에서 어려운 명시적 구성 문제에 대한 다항시간 알고리즘을 암시함을 보여주기 위함.
• 기하학적 문제와 연결된 보다 깊은 문제들로 인해 보기에 간단한 복잡도 이론적 추측들이 왜 그렇게 어려운지 설명하기 위함.

제안 방법

• NP-어려움의 증명 서류(장애물)를 다항시간 내에 짧고 검증 가능하며, 구성 가능하고, 복호화 가능한 방식으로 생성하는 '명시적 증명'의 개념을 도입한다.
• 장애물을 다항시간 내에 검증, 구성, 복호화할 수 있는 '플립' 전략을 정의하며, 이는 딱딱함 문제(lower bound)를 쉽게 해결할 수 있는 문제(상한)로 환원한다.
• 딱딱함 대 랜덤성 원리와 하향 자기환원성(downward self-reducibility)을 적용하여, 산술 회로 동일성 테스트의 비확률화가 어떤 증명이라도 명시적 증명으로 변환할 수 있음을 보여준다.
• 함수의 대칭성에 의한 특성화—특정 군 작용 하에서 다항식 항등식의 소수의 집합으로 함수가 유일하게 결정됨—을 함수(예: permanent 또는 E(X))의 핵심 구조적 성질로 정의한다.
• 비균일 co-RP/poly 알고리즘을 사용하여 회로가 대칭적으로 특성화된 함수를 계산하는지 테스트하며, 함수의 대칭군의 구조를 활용한다.
• 유한체로의 결과 확장—큰 충분한 크기의 유한체 F_p에서, 차수 유지 조건을 갖는 회로 약속 하에 유사한 플립 정리가 성립함을 보여준다.

실험 결과

연구 질문

• RQ1 산술 회로 동일성 테스트의 비확률화가 블랙박스 방식으로 가능하다면, 검증 가능하고, 구성 가능하며, 복호화 가능한 딱딱함 증거를 생성하는 명시적 증명을 찾는 것으로 P vs. NP 문제의 자가참조 역설을 해결할 수 있는가?
• RQ2 산술 P vs. NP 추측의 어떤 증명이라도 명시적 증명에 얼마나 가까운가? 추가로 어떤 조건이 성립할 경우 이를 명시적 증명으로 전환할 수 있는가?
• RQ3 산술 회로 동일성 테스트의 비확률화와 기하학적 복잡도 이론에서의 명시적 증명 존재 사이의 연결 고리는 무엇인가?
• RQ4 더 강력한 형태의 딱딱함 및 비확률화 추측은 대수기하학에서 어려운 명시적 구성 문제에 대한 효율적 알고리즘을 암시하는가?
• RQ5 증명 기법의 강성(rigidity)—특정 소수의 함수에만 적용 가능한 성질—은 P vs. NP를 증명하는 데 어려움을 초래하는가?

주요 결과

• 산술 비균일 P vs. NP 추측의 증명은 산술 회로 동일성 테스트가 블랙박스 방식으로 비확률화될 수 있다면, 항상 명시적 증명으로 변환될 수 있다.
• 플립 전략은 딱딱함 문제를 상한 문제로 환원하며, 장애물을 다항시간 내에 검증, 구성, 복호화할 수 있음을 보여준다.
• 산술 딱딱함 및 비확률화 추측의 더 강력한 형태는 대수기하학에서 어려운 명시적 구성 문제에 대한 다항시간 알고리즘을 암시한다.
• 플립 정리의 증명 기법은 매우 강성(rigidity)이 있으며, 유일하게 대칭성으로 특성화된 함수에만 적용 가능하며, 이러한 함수의 수는 최대 $ 2^{ ext{poly}(n)} $개 뿐이다.
• 대칭성 항등식에 비균일 회로를 사용해도 플립 정리는 성립하며, 차수 유지 조건 하에서 이 방법은 $ ext{F}_p $ 유한체($ p > 2n $)로도 확장 가능하다.
• 증명 기법의 강성—최대 $ 2^{ ext{poly}(n)} $개의 함수에만 적용 가능—은 P vs. NP를 증명하기 위한 모든 증명이 자연 증명 장벽(natural proof barrier)이 요구하는 것보다 훨씬 더 강성 있어야 할 가능성을 암시한다.