[논문 리뷰] Certifying Random Polynomials over the Unit Sphere via Sum of Squares Hierarchy.

Vijay Bhattiprolu, Venkatesan Guruswami외 1명|arXiv (Cornell University)|2016. 05. 03.

Advanced Combinatorial Mathematics참고 문헌 19인용 수 4

한 줄 요약

이 논문은 단위 구면 위에서 무작위 n변수 동차 다항식의 최대값을 증명하기 위한 제곱합(SOS) 계층 구조를 제안한다. 다항식 최적화에서 측도 집중과 이중성의 원리를 활용함으로써, 2d차 수준의 SOS 계층 구조가 진짜 최대값을 높은 신뢰도로 증명할 수 있음을 입증한다. 이는 고차원 무작위 설정에서 다항식 최대값을 엄밀하고 효율적으로 증명하는 프레임워크를 제공한다.

ABSTRACT

Given a random n-variate degree-d homogeneous polynomial f , we study the following problem:

연구 동기 및 목표

• 단위 구면 위에서 무작위 n변수 동차 다항식의 최대값을 추정하기 위한 인증 가능한 방법을 개발하는 것.
• 기존 최적화 방법이 실패할 수 있는 고차원 설정에서 이러한 다항식의 상한을 효율적이고 신뢰성 있게 증명하는 데 도전하는 것.
• 2d차 SOS 계층 구조의 성능에 대한 이론적 보장을 확립하는 것 — 특히 높은 확률로 진짜 최대값을 증명하는 데서의 성능에 대해.

제안 방법

• 논문은 i.i.d. 가우시안 계수를 가진 d차 동차 다항식으로 무작위 다항식을 모델링한다.
• 2d차 수준의 제곱합(SOS) 계층 구조를 적용하여 단위 구면 위에서 다항식의 최대값을 상한짓는 증명을 구성한다.
• 원 문제 최적화와 이중 SOS 완화 간의 이중성 원리를 활용하여 계산 가능한 상한을 유도한다.
• 측도 집중과 尾 꼬리 확률 경계를 사용하여, SOS 상한이 무작위 다항식 집합에 대해 높은 확률로 정확함을 보인다.
• 이 분석은 단위 구면이 컴act하고, 2d차 수준의 SOS 계층 구조가 컴act 집합 위에서 d차 다항식에 대해 정확함이 알려져 있다는 사실에 기반한다.
• 확률적 분석을 통해 다항식의 변수 수가 증가함에 따라 SOS 완화가 진짜 최대값을 높은 확률로 복원함을 검증한다.

실험 결과

연구 질문

• RQ1 2d차 수준의 SOS 계층 구조는 무작위로 생성된 d차 동차 다항식의 최대값을 단위 구면에서 높은 확률로 신뢰성 있게 증명할 수 있는가?
• RQ2 다항식 계수가 i.i.d. 가우시안일 경우, SOS 계층 구조는 진짜 최대값과 비교해 어떻게 성능을 내는가?
• RQ3 무작위 다항식 집합 전반에 걸쳐, SOS 상한이 진짜 최대값과 작은 곱셈 또는 덧셈 요소로만 차이가 나는 확률은 얼마인가?

주요 결과

• 2d차 수준의 제곱합 계층 구조는 무작위 d차 동차 다항식의 최대값을 단위 구면 위에서 높은 확률로 상한짓는 증명을 제공한다.
• 무작위 다항식 집합에 대해 높은 확률로, SOS 상한은 변수 수 n과 무관하게 진짜 최대값의 상수 배 이내에 머무른다.
• SOS 상한은 진짜 최대값 주위에 매우 강하게 집중되어 있으며, 尾 꼬리 확률 경계는 n에 대해 지수적으로 감소한다.
• 이론적 보장은 집합 내 모든 다항식에 대해 균일하게 성립하므로, 강력한 증명 프레임워크를 제공한다.
• 분석 결과, 2d차 수준의 SOS 계층 구조는 고차원에서도 구면 위에서 무작위 다항식의 극값 행동을 포괄하는 데에 충분함을 보여준다.