양자 검색의 다양체 최적화: 그로버 호환 알고리즘

초록

본 논문은 비정렬 검색 문제를 유니터리 다양체 상의 최대화 문제로 재구성하고, 리만 기울기 상승법을 통해 해결합니다. 물리적으로 구현 가능한 업데이트를 보장하는 ‘그로버 호환 수축’을 도입하여, 기하급수적 수렴 속도와 함께 그로버 알고리즘의 최적 2차 속도 향상을 복원하는 알고리즘을 제시합니다.

상세 분석

이 논문의 핵심 기여는 양자 알고리즘 설계에 최적화 기반 관점을 체계적으로 도입한 데 있습니다. 기존 그로버 알고리즘이 오라클과 확산 연산자를 교대로 적용하는 구체적인 절차에 초점을 맞췄다면, 본 연구는 검색 문제를 유니터리 다양체 U(N) 상에서 목적함수 f(U)=⟨ψ0|U†HgU|ψ0⟩를 최대화하는 문제로 추상화합니다. 여기서 Hg는 표적 부공간으로의 사영자입니다.

표준 리만 기울기 상승법은 다양체를 벗어날 수 있는 탄젠트 방향으로 이동한 후 수축 연산을 통해 다시 다양체로 되돌립니다. 그러나 일반적인 수축(예: QR 분해 기반)은 양자 하드웨어에서 구현하기 어렵습니다. 이 논문의 핵심 발상은 수축 연산을 물리적으로 구현 가능한 그로버형 게이트, 즉 e^{iβHg} (오라클)와 e^{iαψ0} (확산) 연산자의 유한한 조합으로 제한하는 ‘그로버 호환 수축’을 정의하는 것입니다. 이를 통해 각 최적화 반복이 실제 양자 회로로 실행 가능하게 됩니다.

이론적 분석에서 저자는 목적함수가 국소 리만 μ-Polyak-Łojasiewicz (PL) 부등식을 만족함을 보이며, 여기서 μ=1/2입니다. 이는 목적함수의 최적값 차이가 기울기의 크기로 하한 추정될 수 있음을 의미하며, 선형 수렴 속도(1 - κ^{-1})를 보장합니다. 조건수 κ = L_Rie/μ에서 리만 리프시츠 상수 L_Rie를 분석하는 것이 속도 향상의 핵심입니다. 유니터리 다양체의 기하학적 구조와 목적함수의 특수성을 활용해 L_Rie = O(√N) (N=2^n)임을 증명합니다. 결과적으로, O(√N log(1/ε))의 반복 복잡도가 도출되어 그로버 알고리즘의 O(√N) 2차 속도 향상을 최적 오차 의존도 log(1/ε)와 함께 복원합니다. 이는 최적화 이론과 양자 계산 간의 깊은 연결을 보여주는 의미 있는 결과입니다.