[논문 리뷰] An Improved Quantum Max Cut Approximation via Maximum Matching

Lee, Eunou, Ojas Parekh|arXiv (Cornell University)|2023. 07. 28.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 스핀 회전 대칭성을 활용하기 위해 Navascués-Pironio-Acín(NPA) 프레임워크를 활용한 SU(2)-대칭성 있는 준정형계획법(SDP) 계층을 제안한다. SWAP 연산자의 대수적 구조를 특성화하여 유한 수준에서 정확한 QMaxCut 값으로 수렴함을 증명하며, 주요 그래프 가족에 대해 정확성을 입증하고, 양자 many-body 시스템에서의 과잉불일치(frustration-freeness)와 SDP 해법 가능성 간의 연관성을 설정한다.

ABSTRACT

Finding a high (or low) energy state of a given quantum Hamiltonian is a potential area to gain a provable and practical quantum advantage. A line of recent studies focuses on Quantum Max Cut, where one is asked to find a high energy state of a given antiferromagnetic Heisenberg Hamiltonian. In this work, we present a classical approximation algorithm for Quantum Max Cut that achieves an approximation ratio of 0.595, outperforming the previous best algorithms of Lee [Eunou Lee, 2022] (0.562, generic input graph) and King [King, 2023] (0.582, triangle-free input graph). The algorithm is based on finding the maximum weighted matching of an input graph and outputs a product of at most 2-qubit states, which is simpler than the fully entangled output states of the previous best algorithms.

연구 동기 및 목표

• 해밀토니안의 SU(2) 불변성을 유지하는 대칭성 인식 SDP 계층을 QMaxCut 문제에 대해 개발한다.
• 제안된 계층이 SWAP 연산자의 대수적 구조를 활용하여 유한 수준에서 정확한 최적 QMaxCut 값으로 수렴함을 증명한다.
• SDP 해법 가능성과 양자 스핀 시스템에서의 과잉불일치 개념 간의 연관성을 설정하여, 응집물리학의 핵심 개념을 일반화한다.
• 수치적으로 SDP 방법이 과잉불일치 영역을 초월한 헤이젠베르크 유형 모델에서 물리적 양을 근사할 수 있음을 보여준다.
• 중요한 그래프 가족에서 최저 수준에서의 계층의 정확성 또는 비정확성을 분석 및 계산적으로 입증한다.

제안 방법

• 군 이론적 구조를 통해 변수 수와 제약 조건 수를 줄이며, SU(2) 대칭성을 통합한 NPA 계층을 QMaxCut 문제에 적응시킨다.
• 스핀 연산자의 대칭 다항식을 기반으로 한 모멘트 행렬을 구성하여 전역 스핀 회전에 대한 불변성을 확보한다.
• SWAP 연산자의 대수적 특성화를 이용해 NPA 계층의 유한 수준 수렴을 증명한다.
• 평탄한 절단 기법을 적용하여 모멘트 행렬의 질량 조건을 강제함으로써 낮은 수준에서 최적 해를 정확히 복원할 수 있도록 한다.
• 수치적 해법기를 구현하여 다양한 그래프(예: 홀수 순환, 완전 그래프)에서 계층을 테스트하고, 알려진 정확한 값과 결과를 비교한다.
• 해밀토니안과 그 모멘트 행렬의 핵 구조를 분석하여 SDP 타협과 과잉불일치 개념 간의 연관성을 설정한다.

실험 결과

연구 질문

• RQ1 QMaxCut에 대해 SU(2)-대칭성 있는 SDP 계층을 구성할 수 있으며, 이는 유한 수준에서 정확한 최저 상태 에너지로 수렴하는가?
• RQ2 SWAP 연산자 대수의 구조는 NPA 계층에서 QMaxCut에 대해 유한 수준 수렴을 어떻게 가능하게 하는가?
• RQ3 SDP 해법 가능성은 양자 스핀 시스템에서의 과잉불일치 개념을 어느 정도 일반화하는가?
• RQ4 제안된 계층은 홀수 순환 및 완전 그래프와 같은 중요한 그래프 가족에서 QMaxCut를 정확히 해결할 수 있는가?
• RQ5 과잉불일치 영역 외부에서도 SDP 타협은 헤이젠베르크 유형 모델에서 물리적 관측 가능성을 어느 정도 잘 근사하는가?

주요 결과

• 제안된 SU(2)-대칭성 있는 NPA 계층은 SWAP 연산자의 대수적 구조를 통해 유한 수준에서 정확한 QMaxCut 값으로 수렴함을 증명하였다.
• 홀수 순환 및 완전 그래프에 대해 계층은 수준 1에서 정확성을 달성하며, 이 경우에 대해 분석적 증명이 제공되었다.
• 수치 결과는 QMaxCut의 정확성을 홀수 완전 그래프에서 확인하였으며, 낮은 수준에서 타당한 제곱합 증명이 존재함을 지지한다.
• SDP 타협은 과잉불일치 없는 영역을 초월하여 반강자성 헤이젠베르크 모델의 물리적 특성을 잘 포착하며, 더 넓은 물리적 의미를 시사한다.
• 비틀림 없는 비정상적인 그래프에서도 계층은 실용적인 수렴을 보였으며, 볼록성에도 불구하고 국소 최소값 문제 없이 안정적인 수치 성능을 보였다.
• 이 작업은 SDP 해법 가능성과 과잉불일치 간의 공식적 연관성을 설정하였으며, 계산적으로 접근 가능한 방식으로 후자의 개념을 일반화함을 보였다.