다수는 가장 안정적이다 이산 및 SoS

초록

본 논문은 기존의 “다수는 가장 안정적이다”(Majority is Stablest) 정리를 새로운 방식으로 증명한다. 인버리언스 원리와 가우시안 공간의 Borell 정리를 사용하지 않고, 이산 큐브 차원에 대한 귀납적 접근을 도입한다. 또한 이 증명은 Sum‑of‑Squares(SOS) 계층의 일정 수준에서도 동일한 결과를 얻을 수 있음을 보여주어, Khot‑Vishnoi의 Max‑Cut 인스턴스가 Lasserre 계층에 대한 갭 인스턴스가 아님을 시사한다.

상세 분석

이 논문의 핵심 기여는 두 가지 축으로 나뉜다. 첫 번째는 기존 증명에서 필수적이던 연속적 가우시안 분석 도구, 즉 인버리언스 원리와 Borell의 이등변 정리를 완전히 배제하고, 순수히 이산적인 방법으로 Majority is Stablest 정리를 재구성한 점이다. 저자들은 이산 하이퍼큐브 ({-1,1}^n)의 차원을 하나씩 감소시키는 귀납적 스킴을 설계했으며, 각 단계에서 노이즈 안정성(noise stability)와 영향력(influence) 파라미터 사이의 관계를 정밀하게 추적한다. 특히, 노이즈 연산자를 Fourier 계수에 적용했을 때 발생하는 오차를 제어하기 위해 새로운 ‘정밀도 보정 보조정리’를 도입했고, 이는 기존의 Gaussian‑invariance 기반 추정보다 더 강건한 상한을 제공한다.

두 번째 기여는 이 증명을 Sum‑of‑Squares(SOS) 계층, 특히 일정한 상수 레벨의 Lasserre(또는 SOS) 풀에 직접 매핑한 점이다. 저자들은 SOS 다항식의 증명 체계 내에서 노이즈 연산자의 라그랑주 승수를 구성하고, 이를 통해 “다수는 가장 안정적이다”라는 불등식이 SOS 레벨 (d=O(1))에서도 성립함을 보였다. 이 과정에서 새로운 ‘SOS‑정규화 기법’을 사용해 고차 다항식의 계수를 제어했으며, 이는 기존에 알려진 SOS‑증명보다 복잡도 측면에서 효율적이다. 결과적으로, Khot‑Vishnoi가 제시한 Max‑Cut 인스턴스는 SOS 레벨이 상수인 경우에도 최적값과 근사값 사이에 의미 있는 차이를 만들지 못한다는 결론을 얻는다. 이는 Lasserre 계층이 특정 난이도 인스턴스에 대해 기대보다 강력함을 보여주는 중요한 반증 사례가 된다.

이 논문은 또한 “It ain’t over until it’s over”와 “Majority is most predictable”와 같은 기존 변형들을 자연스럽게 포괄한다는 점에서 이론적 통합성을 제공한다. 저자들은 변형마다 필요한 추가 가정을 최소화하고, 동일한 귀납적 프레임워크 안에서 모두 증명할 수 있음을 시연한다. 전체적으로, 이산적 귀납법과 SOS 계층의 결합은 기존 분석적 접근법의 한계를 뛰어넘는 새로운 도구 상자를 제공한다.