[논문 리뷰] Local algorithms and the failure of log-depth quantum advantage on sparse random CSPs

Antares Chen, Neng Huang외 1명|arXiv (Cornell University)|2023. 10. 02.

Markov Chains and Monte Carlo MethodsMathematics인용 수 3

한 줄 요약

이 논문은 높은 절점 밀도에서 희박한 무작위 제약만족문제(CSPs)에 대해 고전적 局소 메시지 전달 알고리즘을 구축하며, 오버랩 갭 성질(OGP)에 의해 차단되는 알고리즘들 중에서 최적의 만족 분수를 달성함을 보여준다. 이 알고리즘은 확장된 파리지 변분 원리와 연결된 이중 스토하스틱 제어 문제로부터 유도되며, QAOA나 깊이 log n 이하의 유한 깊이 양자 회로에 대한 양자 우월성이 조건부로 존재하지 않음을 입증한다. 이는 평균 케이스에서도 성립한다.

ABSTRACT

We construct and analyze a message-passing algorithm for random constraint satisfaction problems (CSPs) at large clause density, generalizing work of El Alaoui, Montanari, and Sellke for Maximum Cut [arXiv:2111.06813] through a connection between random CSPs and mean-field Ising spin glasses. For CSPs with even predicates, the algorithm asymptotically solves a stochastic optimal control problem dual to an extended Parisi variational principle. This gives an optimal fraction of satisfied constraints among algorithms obstructed by the branching overlap gap property of Huang and Sellke [arXiv:2110.07847], notably including the Quantum Approximate Optimization Algorithm and all quantum circuits on a bounded-degree architecture of up to $ε\cdot \log n$ depth.

연구 동기 및 목표

• 희박한 무작위 CSPs에서의 최적화 문제에 대한 양자 우월성 이해의 격차를 메우기 위해.
• 오버랩 갭 성질(OGP)에 의해 차단되는 경우, 고전적 국소 알고리즘이 이론적 한계에 도달할 수 있음을 입증하기 위해.
• 제한된 차수의 아키텍처에서 로그 깊이 양자 회로에 대해서도 양자 우월성이 실패함을 보여주기 위해.
• 기존의 메시지 전달 및 스핀 거품 이중성 연구를 일반적인 짝수 조건자 CSPs로 확장하기 위해.
• OGP 장애물 존재 하에 최적 알고리즘 설계를 위한 엄밀한 프레임워크를 제공하기 위해.

제안 방법

• 메시지 분포의 추적을 위해 상태 진화를 사용하는 희박한 초그래프 위에서 메시지 전달 알고리즘을 개발한다.
• 최적 메시지 비선형성을 결정하기 위해 이중 스토하스틱 제어 문제를 해결한다.
• 무작위 CSPs를 평균장 이징 스핀 거품과 연결하기 위해 희박에서 조밀로의 연결을 사용한다.
• 연속 시간 제어 문제에 대한 유한 차분 근사를 적용하여 이산 알고리즘 설계를 가능하게 한다.
• 가짜-립시츠 함수와 농도 불등식을 사용하여 알고리즘 값의 농도를 증명한다.
• 수렴성과 최적성 보장을 위해 가정 1(측도 연속성에 대한 기술적 조건)에 의존한다.

실험 결과

연구 질문

• RQ1 오버랩 갭 성질(OGP)에 의해 차단되는 경우, 고전적 국소 알고리즘이 희박한 무작위 CSPs에서 이론적 성능 한계에 도달할 수 있는가?
• RQ2 이 영역에서 QAOA 또는 로그 깊이 양자 회로가 고전적 알고리즘보다 어떤 이점을 제공하는가?
• RQ3 확장된 파리지 변분 원리를 사용하여 일반적인 짝수 조건자 CSPs에 대한 최적 메시지 전달 규칙를 도출할 수 있는가?
• RQ4 오버랩 갭 성질은 고전적 알고리즘과 양자 알고리즘 양쪽을 어떻게 차단하는가?
• RQ5 메시지 전달 알고리즘은 평균장 근사에서 스핀 거품 모델과 스토하스틱 제어 사이에 어떤 관계를 맺는가?

주요 결과

• 제안된 메시지 전달 알고리즘은 OGP에 의해 차단되는 알고리즘들 중에서 점점 더 최적의 제약 만족 분수에 도달한다.
• 알고리즘의 성능은 확장된 파리지 변분 원리의 값과 일치하며, OGP에 의해 차단되는 클래스 내에서 최적성을 입증한다.
• 짝수 조건자를 가진 희박한 무작위 CSPs에서는 QAOA 또는 로그 깊이 양자 회로에 의한 양자 우월성이 배제된다.
• 알고리즘의 값은 평균 주위에 매우 좁게 농도를 보이며, n → ∞일 때 높은 확률로 성공을 보장한다.
• 스토하스틱 제어 이중성 기반의 통합 프레임워크를 사용하여 기존의 Max-Cut 결과를 일반적인 짝수 조건자 CSPs로 확장한다.
• 가정 1에 따라 결과가 성립하며, 이는 아직 완전히 증명되지 않은 기술적 과제이지만, 성립할 것으로 기대된다.