[논문 리뷰] Sum-of-squares proofs and the quest toward optimal algorithms

Boaz Barak, David Steurer|arXiv (Cornell University)|2014. 04. 21.

Computational Geometry and Mesh Generation참고 문헌 47인용 수 96

한 줄 요약

이 논문은 고유 게임 추측(UKC)과 소집합 확장 가설(SSHE)과 연결된 통합적 프레임워크로서의 제곱합(SOS) 계층 구조를 조사한다. 일정 차수의 SOS 증명이 UKC/SSHE의 어려운 인스턴스를 뒷받질하는 핵심 부등식을 증명할 수 있음을 보여주며, 이는 이러한 문제들이 예상보다 덜 어려울 수 있음을 시사하며, 더 강력한 차수 제약 조건이 확보될 경우 추측을 반증할 수 있음을 시사한다.

ABSTRACT

In order to obtain the best-known guarantees, algorithms are traditionally tailored to the particular problem we want to solve. Two recent developments, the Unique Games Conjecture (UGC) and the Sum-of-Squares (SOS) method, surprisingly suggest that this tailoring is not necessary and that a single efficient algorithm could achieve best possible guarantees for a wide range of different problems. The Unique Games Conjecture (UGC) is a tantalizing conjecture in computational complexity, which, if true, will shed light on the complexity of a great many problems. In particular this conjecture predicts that a single concrete algorithm provides optimal guarantees among all efficient algorithms for a large class of computational problems. The Sum-of-Squares (SOS) method is a general approach for solving systems of polynomial constraints. This approach is studied in several scientific disciplines, including real algebraic geometry, proof complexity, control theory, and mathematical programming, and has found applications in fields as diverse as quantum information theory, formal verification, game theory and many others. We survey some connections that were recently uncovered between the Unique Games Conjecture and the Sum-of-Squares method. In particular, we discuss new tools to rigorously bound the running time of the SOS method for obtaining approximate solutions to hard optimization problems, and how these tools give the potential for the sum-of-squares method to provide new guarantees for many problems of interest, and possibly to even refute the UGC.

연구 동기 및 목표

• 다양한 계산 문제에 대해 제곱합(SOS) 방법이 최적의 근사 보장을 제공할 수 있는지 조사하기.
• SOS 방법과 고유 게임 추측(UKC) 간의 관계를 분석하여, 알고리즘 성능과 근사 난이도 측면에서의 연관성을 조사하기.
• 일정 차수의 SOS 증명이 알려진 어려운 인스턴스를 해결함으로써 UKC나 SSHE를 반증할 수 있는지 판단하기.
• 최적화 문제에서 발생하는 다항식 부등식을 증명하기 위해 필요한 SOS 증명의 차수를 제한하는 도구를 개발하기.
• SOS 방법이 그래프 확장성과 독립집합과 같은 문제들에 대해 기존 알고리즘보다 더 나은 근사 보장을 달성할 수 있는지 평가하기.

제안 방법

• 그래프 확장성과 독립집합과 같은 최적화 문제에서 발생하는 다항식 부등식을 체계적으로 분석하고 증명하기 위해 SOS 방법을 사용한다.
• SOS 증명의 차수에 대해 차수 및 차원 기반의 제약 조건을 적용하며, 희소 벡터를 포함하지 않는 부분공간에서는 저차수 SOS 증명이 존재한다는 사실을 활용한다.
• Bonami-Beckner-Gross 초수축성 정리(식 6 형태)를 핵심 구성 요소로 활용하여, 일부 부분공간이 희소 벡터를 포함하지 않는다는 것을 증명한다.
• 만약 부분공간 W가 모든 x ∈ W_k에 대해 E[x_i^4] ≤ 9^k (E[x_i^2])^2 를 만족한다면, 이는 일정 차수의 SOS 증명을 허용하며, 이는 희소 벡터에 대한 강건성을 시사한다.
• SOS 차수 제약 조건을 활용하여 실행 시간 보장을 유도한다: 소집합 확장성을 구분하기 위해, SOS는 ε → 0 일 때 τ → 0 이면 시간 exp(O(n^τ))을 달성한다.
• SOS 증명의 차수의 영향을 고유 게임 문제와 소집합 확장 문제의 복잡도에 분석하여, 일정 차수의 SOS가 알려진 어려운 인스턴스를 해결할 수 있음을 보여준다.

실험 결과

연구 질문

• RQ1 고유 게임 추측이 예측하는 바와 같이, 제곱합(SOS) 방법이 광범위한 문제 클래스에 대해 최적의 근사 보장을 제공할 수 있는가?
• RQ2 고유 게임 추측에 대한 알려진 어려운 인스턴스들이 실제로 일정 차수의 SOS 증명으로 해결될 수 있는가?
• RQ3 일부 부분공간이 희소 벡터를 포함하지 않는다는 것을 증명하기 위해 필요한 최소 SOS 차수는 얼마이며, 이는 계산 복잡도와 어떻게 관련되는가?
• RQ4 낮은 차수의 증명을 통해 알려진 어려운 인스턴스를 해결함으로써 SOS 방법이 소집합 확장 가설을 반증할 수 있는가?
• RQ5 독립집합과 확장성 문제에 대한 기존의 난이도 결과들이 SOS 기반 알고리즘에 의해 도전받을 수 있는 가정에 의존하는 정도는 어느 정도인가?

주요 결과

• 일정 차수의 SOS 증명은 UKC와 SSHE의 많은 알려진 어려운 인스턴스를 뒷받질하는 Bonami-Beckner-Gross 초수축성 부등식을 증명할 수 있다.
• 핵심 부등식에 대한 일정 차수의 SOS 증명 존재는 이러한 어려운 인스턴스들이 이전에 생각한 것보다 덜 어려울 수 있음을 시사하며, UKC와 SSHE의 타당성에 의문을 제기한다.
• 소집합 확장 문제에 대해, SOS 방법은 ε → 0 일 때 τ → 0 이면, 확장성이 ≤ ε 인 그래프와 ≥ 1−ε 인 그래프를 구분하는 데 exp(O(n^τ)) 시간 내에 수행할 수 있으며, 이는 브루트 포스 탐색에 비해 크게 향상된 성능이다.
• 만약 정리 5.3의 SOS 차수 제약 조건에서 차원 d에 대한 의존성을 제거할 수 있다면, 이는 소집합 확장 가설을 반증할 수 있다.
• 이 논문은 UKC/SSHE에 기반한 알려진 모든 난이도 결과들이 일정 차수의 SOS 증명에 의해 반증 가능하며, SOS 알고리즘에 대해 더 이상 알려진 어려운 인스턴스가 남아 있지 않음을 보여준다.
• SOS 방법은 광범위한 근사 알고리즘들을 통합할 수 있으며, UKC가 시사하는 linh처럼 문제에 맞게 맞춤형으로 조정하지 않고도 최적의 보장을 달성할 수 있을 가능성이 있다.