[논문 리뷰] Minimizing polynomial functions on quantum computers

Raouf Dridi, Hedayat Alghassi외 1명|arXiv (Cornell University)|2019. 03. 19.

Quantum Computing Algorithms and Architecture참고 문헌 16인용 수 4

한 줄 요약

이 논문은 계산 대수기하학과 단절적 양자 컴퓨팅(AQC)을 새로운 방식으로 통합하여, 그로브너 기저와 다항식 시스템 해법이 어떻게 양자 앤날링 과정을 모델링하고 분석하는 데 사용될 수 있는지 보여준다. 이는 이sov형 해밀토니안을 사용한 이진 최적화, 인수분해, 컴파일링을 위한 구체적인 양자 준비 알고리즘을 제시하며, 양자 컴퓨터에서 그로브너 기저를 계산하는 새로운 방법을 도입하여, 모스 이론을 통해 AQC의 비퇴도성 임계점과 연결한다.

ABSTRACT

This expository paper reviews some of the recent uses of computational algebraic geometry in classical and quantum optimization. The paper assumes an elementary background in algebraic geometry and adiabatic quantum computing (AQC), and concentrates on presenting concrete examples (with Python codes tested on a quantum computer) of applying algebraic geometry constructs: solving binary optimization, factoring, and compiling. Reversing the direction, we also briefly describe a novel use of quantum computers to compute Groebner bases for toric ideals. We also show how Groebner bases play a role in studying AQC at a fundamental level within a Morse theory framework. We close by placing our work in perspective, by situating this leg of the journey, as part of a marvelous intellectual expedition that began with our ancients over 4000 years ago.

연구 동기 및 목표

• 실용적이고 계산 가능한 방법을 통해 대수기하학과 단절적 양자 컴퓨팅을 연결하고자 한다.
• 다항식 최적화 문제들이 대수기하학적 구조를 사용해 어떻게 양자 앤날링기에서 인코딩되고 해결될 수 있는지 보여주고자 한다.
• 토닉 아이디얼의 그로브너 기저를 계산하는 데 새로운 양자 알고리즘을 제안하고자 한다.
• 그로브너 기저와 AQC 해밀토니안의 비퇴도성 임계점 사이의 이론적 연결 고리를 확립하고자 한다.
• 대수기하학에 기반한 실제 구현 가능하고 코드 검증이 완료된 양자 알고리즘의 예시를 제공하고자 한다.

제안 방법

• 논문은 대수기하학적 다양체와 좌표환 간의 이중성을 활용하여 다항식 시스템을 양자역학적 이sov형 해밀토니안으로 변환한다.
• 그로브너 기저 계산을 적용하여 다항식 시스템을 톰파일링하고, 양자 앤날링을 통한 효율적 해법을 가능하게 한다.
• 이 방법은 AQC의 반대교차를 다항함수 f(s, λ)의 안장점으로 매핑한다. 여기서 s는 단절적 경로 파라미터이고 λ는 결합 파라미터이다.
• f의 임계점은 ∂f/∂s와 ∂f/∂λ로 생성된 이상의 다양체를 계산하여 구하고, 비퇴도성은 헤시안 행렬식을 통해 확인한다.
• 이 이상을 헤시안 행렬식으로 포화시키면 비퇴도성 임계점만 분리되며, 이는 AQC에서 수준 교차를 피하는 데 필수적이다.
• 이 접근법은 D-Wave 양자 프로세서에서 테스트된 파이썬 구현을 통해 검증되었으며, 실제 하드웨어에서의 구현 가능성을 입증한다.

실험 결과

연구 질문

• RQ1 대수기하학은 어떻게 체계적으로 양자 앤날링기에서 이진 최적화 문제를 모델링하고 해결하는 데 응용될 수 있는가?
• RQ2 그로브너 기저는 양자 컴퓨터에서 효율적으로 계산될 수 있으며, 양자 알고리즘 설계에서 어떤 역할을 하는가?
• RQ3 단절적 진화 해밀토니안의 비퇴도성 임계점은 다항식 시스템의 구조와 양자 터널링과 어떻게 관련되어 있는가?
• RQ4 모스 이론은 다항함수를 사용해 AQC의 반대교차를 어떻게 특성화하는가?
• RQ5 기본적인 AQC 동역학은 이상과 그 다양체를 통해 대수기하학의 시각에서 분석될 수 있는가?

주요 결과

• 논문은 대수기하학을 활용해 이진 최적화 문제를 이sov형 해밀토니안으로 성공적으로 인코딩하여, 양자 앤날링을 통한 해결 가능성을 확보했다.
• 그로브너 기저 계산을 통해 다항식 방정식 시스템을 톰파일링하여, 양자 프로세서에서 해결 가능한 형태로 문제를 축소시켰다.
• 이 방법은 AQC에서의 반대교차가 다항함수 f(s, λ)의 안장점과 대응됨을 입증하였으며, 이는 기울기의 영과 비영이 아닌 헤시안 행렬식의 비영성으로 확인된다.
• 저자들은 그로브너 기저와 이상의 포화를 사용해 AQC에서의 비퇴도성 임계점을 탐지할 수 있음을 보여주었으며, 이는 수준 교차를 피하기 위한 계산 기준을 제공한다.
• 이론적 분석을 통해 임계점에서 헤시안 행렬식이 영이 아닐 경우 비퇴도성이 보장됨을 확인하였으며, 이는 단절적 진화에 필수적이다.
• 논문은 그로브너 기저 계산과 양자 앤날링 매핑을 위한 작동 가능한 파이썬 코드를 제공하였으며, 실제 D-Wave 하드웨어에서 테스트되어 실용적 구현 가능성을 입증하였다.