[논문 리뷰] Majority is Stablest : Discrete and SoS

Anindya De, Elchanan Mossel외 1명|arXiv (Cornell University)|2012. 11. 05.

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

한 줄 요약

이 논문은 가우시안 분석이나 관측 불변 원리에 의존하지 않는 새로운 이산적, 귀납 기반의 Majority is Stablest 정리 증명을 제시한다. Lasserre 계층의 정수 계획 해상도에 대한 통합 갭을 유도하지 않는 Khot-Vishnoi Max-Cut 예제를 확인하기 위해 상수 차수의 제곱합(SoS) 반증을 구성함으로써, 근본적인 열린 문제인 난이도 근사에 대한 해법을 해결한다.

ABSTRACT

The Majority is Stablest Theorem has numerous applications in hardness of approximation and social choice theory. We give a new proof of the Majority is Stablest Theorem by induction on the dimension of the discrete cube. Unlike the previous proof, it uses neither the "invariance principle" nor Borell's result in Gaussian space. The new proof is general enough to include all previous variants of majority is stablest such as "it ain't over until it's over" and "Majority is most predictable". Moreover, the new proof allows us to derive a proof of Majority is Stablest in a constant level of the Sum of Squares hierarchy.This implies in particular that Khot-Vishnoi instance of Max-Cut does not provide a gap instance for the Lasserre hierarchy.

연구 동기 및 목표

• 관측 불변 원리나 Borell의 가우시안 결과에 의존하지 않고 Majority is Stablest 정리를 이산적, 귀납 기반으로 증명하는 것.
• 이 증명을 '이게 끝나기 전까지는 끝나지 않는다' 및 'Majority is most predictable'와 같은 변형으로 일반화하는 것.
• Khot-Vishnoi Max-Cut 예제가 Lasserre 계층의 SoS 방법에 대해 통합 갭을 제공하지 않는다는 것을 보여주는 것.
• Majority is Stablest 정리에 대해 상수 차수의 SoS 반증을 확립하여, Khot-Vishnoi 구성이 SoS 하에서 갭 예제로 실패한다는 것을 보여주는 것.

제안 방법

• 이산 큐브의 차원에 대한 귀납을 통해 진행되며, 이산 푸리에 분석과 초수축 추정을 사용한다.
• 관측 불변 원리와 Borell 부등식을 피하기 위해 이산 큐브 위에서 직접적인 조합적·해석적 귀납적 추론을 사용한다.
• 이 방법은 저영향 변수를 가진 함수를 다룰 수 있도록 일반화되며, 'Majority is most predictable' 및 'it ain’t over' 변형으로 확장된다.
• 유일한 게임 예제에 대해 차수 4의 SoS 반증을 구성함으로써 증명을 SoS 증명으로 전환한다.
• 저자들은 관련성 ρ에 따라 유일한 게임에서 Max-Cut로의 감소를 수행하고, Max-Cut 예제의 SoS 이완이 상수 차수 반증을 허용한다는 것을 보여준다.
• 다음과 같은 SoS 반증을 유도한다: $ A_m \cup \{1 - \mathbb{E}[\mathrm{Stab}_\rho(g_u)] \geq K(\rho) - \delta - 2^{O(1/\delta^2)} \beta \} \vdash_{O(1/\delta^2)+4} -1 \geq 0 $, 여기서 β는 유일한 게임 최적값이다.

실험 결과

연구 질문

• RQ1 Majority is Stablest 정리는 관측 불변 원리나 가우시안 분석 없이 증명될 수 있는가?
• RQ2 Khot-Vishnoi Max-Cut 예제는 상수 차수의 SoS 반증을 허용하는가? 이는 Lasserre 계층에 대한 통합 갭 예제가 아니라는 것을 의미한다.
• RQ3 이 증명은 '이게 끝나기 전까지는 끝나지 않는다' 및 'Majority is most predictable'와 같은 변형으로 일반화될 수 있는가?
• RQ4 깊은 가우시안 공간 결과를 피하는 이산적, 귀납 기반의 Majority is Stablest 정리 증명이 존재하는가?
• RQ5 Max-Cut 맥락에서 Khot-Vishnoi 예제를 반증하기 위해 필요한 최소 SoS 차수는 얼마인가?

주요 결과

• 논문은 관측 불변 원리나 가우시안 공간에서의 Borell 부등식에 의존하지 않는 이산적, 귀납 기반의 Majority is Stablest 정리 증명을 제공한다.
• 이 증명은 '이게 끝나기 전까지는 끝나지 않는다' 및 'Majority is most predictable'와 같은 변형으로 일반화되어 더 넓은 적용 가능성을 보여준다.
• Khot-Vishnoi Max-Cut 예제는 Lasserre 계층에 대해 통합 갭을 제공하지 않으며, 상수 차수의 SoS 반증이 존재하기 때문이다.
• 최적값 β = N^{-Ω(η)}인 유일한 게임 예제에 대해 차수 4의 SoS 반증이 구성되어, 이 예제가 상수 차수에서 반증 가능하다는 것을 보여준다.
• SoS 반증은 유일한 게임에서 Max-Cut로의 감소를 통해 도출되었으며, 다음 부등식이 임의의 δ > 0에 대해 성립한다: $ A_m \cup \{1 - \mathbb{E}[\mathrm{Stab}_\rho(g_u)] \geq K(\rho) - \delta - 2^{O(1/\delta^2)} \beta \} \vdash_{O(1/\delta^2)+4} -1 \geq 0 $.
• 이 결과는 Khot-Vishnoi 구성이 Max-Cut에서 Lasserre 계층에 대해 초수통합 갭을 증명하는 데 사용될 수 없다는 것을 시사한다.