[논문 리뷰] Social choice, computational complexity, Gaussian geometry, and Boolean functions

Ryan O’Donnell|arXiv (Cornell University)|2014. 07. 29.

Complexity and Algorithms in Graphs참고 문헌 69인용 수 5

한 줄 요약

이 논문은 새로운 감소 기법을 통해 사회선택 이론, 계산 복잡도, 가우시안 기하학, 부울 함수 분석 간의 깊은 연결을 수립한다. 주로 다수결이 안정적인 정리와 보렐의 등면적 부등식을 통합함으로써, Sum-of-Squares (SOS) 증명 체계가 코트-비슈노이 그래프에 대해 최적의 Max-Cut 경계를 증명할 수 있음을 보여주며, 유일성 게임 <em>P≠NP</em> 예측에 도전하고, 디-모셀-니먼 증명 기법이 이산적이고 연속적인 등면적 부등식을 연결하는 데서의 힘을 부각시킨다.

ABSTRACT

We describe a web of connections between the following topics: the mathematical theory of voting and social choice; the computational complexity of the Maximum Cut problem; the Gaussian Isoperimetric Inequality and Borell's generalization thereof; the Hypercontractive Inequality of Bonami; and, the analysis of Boolean functions. A major theme is the technique of reducing inequalities about Gaussian functions to inequalities about Boolean functions f : {-1,1}^n -> {-1,1}, and then using induction on n to further reduce to inequalities about functions f : {-1,1} -> {-1,1}. We especially highlight De, Mossel, and Neeman's recent use of this technique to prove the Majority Is Stablest Theorem and Borell's Isoperimetric Inequality simultaneously.

연구 동기 및 목표

• 부울 함수 기법을 통해 투표 규칙, 계산 복잡도, 기하학적 등면적 기하학의 분석을 통합한다.
• 다수결이 안정적인 정리와 보렐의 등면적 부등식을 이산적에서 연속적 감소 방법을 사용해 동시에 증명할 수 있음을 보인다.
• Sum-of-Squares (SOS) 증명 체계가 코트-비슈노이 그래프에 대해 최적의 Max-Cut 경계를 증명할 수 있는지 조사한다. 이는 유일성 게임 <em>P≠NP</em> 예측에 도전한다.
• 특히 확률적 강한 인스턴스 생성의 맥락에서, 증명 체계가 최적의 CSP 경계를 증명하는 데서의 한계를 평가한다.

제안 방법

• 연속적에서 이산적 감소를 통해 가우시안 함수에 관한 부등식을 $f: \{-1,1\}^n \to \{-1,1\}$ 형태의 부울 함수에 관한 부등식으로 감소시킨다.
• n에 대한 귀납법을 사용하여 복잡한 n-변수 부등식을 $\{-1,1\}$에서의 단순한 일변수 부등식으로 감소시킨다.
• 투표 오류 발생 상황을 모델링하기 위해 $\rho$-상관된 입력에 대한 노이즈 안정성 연산자 $\mathbf{Stab}_\rho[f] = \mathbb{E}[f(\mathbf{x})f(\mathbf{y})]$를 사용한다.
• 관성 원리와 푸리에 분석을 적용하여 이산 부울 함수와 연속 가우시안 함수를 연결한다.
• 디-모셀-니먼의 다수결이 안정적인 정리 증명을 활용하여 SOS 증명이 코트-비슈노이 그래프에 대해 $\mathrm{Opt}(G) \leq \frac{1}{2} - \frac{1}{2}\cos\theta + o(1)$를 증명할 수 있음을 보여준다.
• SOS 증명 체계에서 Max-Cut 상한을 다항식 항등식으로 표현한다: $\beta - \mathrm{avg}(\frac{1}{2} - \frac{1}{2}X_vX_w) = \sum P_i^2$ 모듈로 $X_v^2 = 1$.

실험 결과

연구 질문

• RQ1 다수결이 안정적인 정리와 보렐의 등면적 부등식을 가우시안 함수에서 부울 함수로의 통합 감소를 통해 동시에 증명할 수 있는가?
• RQ2 Sum-of-Squares (SOS) 증명 체계가 코트-비슈노이 그래프에 대해 최적의 Max-Cut 경계를 어느 정도까지 증명할 수 있는가?
• RQ3 무한한 Max-Cut 인스턴스 가중치에서 $\mathrm{Opt}(G) \leq \frac{\theta}{\pi}$ 이지만, SOS 체계가 $\mathrm{Opt}(G) \leq \frac{1}{2} - \frac{1}{2}\cos\theta$ 이외의 더 나은 경계를 증명할 수 없는 경우가 존재하는가?
• RQ4 확률적 구성 방식을 통해 $\mathrm{Opt}(G) \leq \frac{\theta}{\pi}$ 이지만, $\mathrm{Opt}(G) \leq \frac{1}{2} - \frac{1}{2}\cos\theta$에 대한 다항식 길이의 증명이 존재하지 않는 Max-Cut 인스턴스를 생성할 수 있는가?

주요 결과

• 디-모셀-니먼의 다수결이 안정적인 정리 증명은 SOS 증명 체계가 코트-비슈노이 Max-Cut 그래프에 대해 $\mathrm{Opt}(G) \leq \frac{1}{2} - \frac{1}{2}\cos\theta + o(1)$를 증명할 수 있음을 가능하게 한다.
• 이 결과는 유일성 게임 <em>P≠NP</em> 예측에 도전하며, 강력한 증명 체계인 SOS조차도 추측된 경계에 도달할 수 있음을 보여준다.
• n에 대한 귀납법을 통한 가우시안에서 부울 함수로의 감소는 이산적 및 연속적 환경 간의 등면적 부등식을 통합적으로 다룰 수 있도록 한다.
• 노이즈 안정성 $\mathbf{Stab}_\rho[f]$는 투표 규칙이 투표 오류에 대해 얼마나 견고한지를 측정하며, 높은 값은 노이즈에 대한 저항력이 높음을 의미한다.
• 코트-비슈노이 그래프는 $\mathrm{SDPOpt}(G) \geq \frac{1}{2} - \frac{1}{2}\cos\theta$ 이며 $\mathrm{Opt}(G) \leq \frac{\theta}{\pi} + o(1)$를 만족하므로, 더 강력한 SDP 계층에 대한 핵심 반례가 된다.
• 만약 $\mathrm{Opt}(G) \leq \frac{\theta}{\pi}$ 이지만 $\mathrm{Opt}(G) \leq \frac{1}{2} - \frac{1}{2}\cos\theta$에 대한 짧은 증명이 존재하지 않는 그래프가 존재한다면, 이는 $\text{coNP} \neq \text{NP}$ 예측에 강력한 증거가 될 것이다.