[논문 리뷰] Circuit Lower Bounds for the p-Spin Optimization Problem

David Gamarnik, Aukosh Jagannath외 1명|arXiv (Cornell University)|2021. 09. 03.

Complexity and Algorithms in Graphs인용 수 4

한 줄 요약

이 논문은 라데마처 결합을 가진 $p$-스핀 최적화 문제의 근사 최적 해를 생성하는 다항 크기의 부울 회로에 대해 $\log n / (2\log\log n)$의 회로 깊이 하한을 확립한다. 이 결과는 오버랩 갭 성질(OGP)과 린이얼-만수어-니산 정리에 기반한 푸리에 분석을 활용하며, 결정 답변이 아닌 전체 해를 출력해야 하는 조합 최적화 문제에 대해 알려진 바 중 가장 강력한 깊이 하한을 제시한다.

ABSTRACT

We consider the problem of finding a near ground state of a $p$-spin model with Rademacher couplings by means of a low-depth circuit. As a direct extension of the authors' recent work [Gamarnik, Jagannath, Wein 2020], we establish that any poly-size $n$-output circuit that produces a spin assignment with objective value within a certain constant factor of optimality, must have depth at least $\log n/(2\log\log n)$ as $n$ grows. This is stronger than the known state of the art bounds of the form $Ω(\log n/(k(n)\log\log n))$ for similar combinatorial optimization problems, where $k(n)$ depends on the optimality value. For example, for the largest clique problem $k(n)$ corresponds to the square of the size of the clique [Rossman 2010]. At the same time our results are not quite comparable since in our case the circuits are required to produce a solution itself rather than solving the associated decision problem. As in our earlier work, the approach is based on the overlap gap property (OGP) exhibited by random $p$-spin models, but the derivation of the circuit lower bound relies further on standard facts from Fourier analysis on the Boolean cube, in particular the Linial-Mansour-Nisan Theorem. To the best of our knowledge, this is the first instance when methods from spin glass theory have ramifications for circuit complexity.

연구 동기 및 목표

• 라데마처 결합을 가진 $p$-스핀 최적화 문제를 해결하는 다항 크기의 부울 회로에 대해 날카로운 회로 깊이 하한을 확립하기.
• 오버랩 갭 성질(OGP)을 활용하여 이전의 저차수 다항식 알고리즘 결과를 일반 부울 회로로 확장하기.
• 최적 해에 대해 일정 요인 내의 스핀 할당을 생성하는 회로는 깊이가 최소 $\log n / (2\log\log n)$ 이상이어야 함을 보여주기.
• 스핀 거품 이론에서 유래한 방법, 특히 집합 오버랩 갭 성질(e-OGP)이 회로 복잡도에 직접적인 함의를 가짐을 보여주기.
• 오버랩 갭 성질(OGP)을 보이는 다른 모델에 적용 가능한 프레임워크를 제공하여 최적화 분야의 회로 복잡도 연구를 진전시키기.

제안 방법

• 라데마처 결합을 가진 $p$-스핀 모델에서 근사 최적 스핀 할당의 구조를 기술하기 위해 집합 오버랩 갭 성질(e-OGP)을 활용한다.
• 저깊이 회로가 오직 저차수 항에 집중된 푸리에 전개를 가진 출력만 생성할 수 있음을 보이기 위해 린이얼-만수어-니산 정리를 적용한다.
• 연속성 추론과 대칭화를 사용하여 상관된 인스턴스 간 해밀토니안 차이의 최대 편차를 근사한다.
• 맥디아미드의 부등식과 탈라그랑드의 비교 부등식을 사용하여 스핀 할당에 대한 최대 해밀토니안 차이의 서브가우시안 행동을 제어한다.
• 시간 색인 쌍 $O(n^{2p})$에 대한 유니온 바운드를 적용하여 상관된 인스턴스 간 최대 해밀토니안 변동에 대한 균일한 하한을 유도한다.
• 보편성 추론을 활용하여 정규 분포에서 라데마처 분포로의 결과 확장을 보장하여, OGP가 분포 이동에 대해 강건함을 입증한다.

실험 결과

연구 질문

• RQ1 다항 크기의 부울 회로가 $p$-스핀 모델에서 최적 목표 값에 대해 일정 요인 내의 스핀 할당을 생성하기 위해 필요한 최소 깊이는 얼마인가?
• RQ2 오버랩 갭 성질(OGP)을 사용하여 전체 해를 출력해야 하는 최적화 문제에 대해 회로 복잡도 하한을 도출할 수 있는가?
• RQ3 해를 출력하는 회로의 깊이 요구 조건은 결정 전용 회로의 것과 비교해 어떻게 다를까?
• RQ4 특히 린이얼-만수어-니산 정리에 기반한 부울 초구에서의 푸리에 분석을 통해 최적화 작업에 대해 저깊이 회로를 배제하는 데 얼마나 효과적인가?
• RQ5 OGP 기반 방법은 희박한 무작위 그래프 모델로 확장될 수 있는가? 기존의 회로 민감도 이론의 한계는 이러한 설정에서 어떻게 드러나는가?

주요 결과

• 다항 크기의 $n$-출력 부울 회로가 $p$-스핀 모델에서 최적 목표 값에 대해 일정 요인 내의 스핀 할당을 생성한다면, 깊이가 최소 $\log n / (2\log\log n)$ 이상이어야 한다.
• 이 하한은 이전 결과들과 달리 최적성 갭에 의존하지 않으며, 클리크 문제의 경우와 마찬가지로 $k(n)^2$에 의존하는 것과는 달리, $k(n)$은 클리크 크기를 의미한다.
• 이 결과는 유사 문제에 대한 현재 최고 수준의 하한보다 더 강력한데, 이는 결정 문제가 아닌 해를 찾는 회로에 적용되기 때문이다.
• 이 증명은 근사 최적 해가 높은 오버랩 또는 낮은 오버랩을 가져야 하며, 중간 오버랩은 배제됨을 보장하는 집합 오버랩 갭 성질(e-OGP)에 의존한다.
• 린이얼-만수어-니산 정리는 저깊이 회로가 e-OGP의 구조와 모순되는 푸리에 전개를 가진 출력을 생성할 수 없음을 보여준다.
• 이것은 스핀 거품 이론—특히 OGP—을 회로 복잡도에 적용한 첫 번째 알려진 사례로, 통계역학과 계산 복잡도 이론 사이에 새로운 다리를 구축한다.