[논문 리뷰] Quantum adiabatic algorithm for Hilbert's tenth problem: I. The algorithm

Tien D. Kieu|ArXiv.org|2003. 10. 08.

Computability, Logic, AI Algorithms참고 문헌 10인용 수 25

한 줄 요약

이 논문은 양자 어드바틱 알고리즘을 제안하며, 해밀토니안의 기저 상태에 해를 인코딩한 코herent 상태에서 시작하여 시간에 따라 변화하는 해밀토니안을 통해 양자 시스템을 진화시켜 디오판틴 방정식의 비음수 정수 해가 존재하는지 판별하는 데 목적이 있다. 이 알고리즘은 유한한 시간 내에 어드바틱 진화를 수행하며, 측정 확률이 1/2를 초과함으로써 고전적 결정 불가능성 문제를 확률적 양자 계산을 통해 우회한다.

ABSTRACT

We review the proposal of a quantum algorithm for Hilbert's tenth problem and provide further arguments towards the proof that: (i) the algorithm terminates after a finite time for any input of Diophantine equation; (ii) the final ground state which contains the answer for the Diophantine equation can be identified as the component state having better-than-even probability to be found by measurement at the end time--even though probability for the final ground state in a quantum adiabatic process need not monotonically increase towards one in general. Presented finally are the reasons why our algorithm is outside the jurisdiction of no-go arguments previously employed to show that Hilbert's tenth problem is recursively non-computable.

연구 동기 및 목표

• 모든 디오판틴 방정식의 가역성을 결정할 수 있는 물리적이고 유한 시간 내에 수행 가능한 양자 알고리즘을 제공함으로써, 고전적 계산 이론에서 재귀적으로 계산 불가능한 문제를 해결하고자 한다.
• 무한 차원 힐베르트 공간을 갖는 양자 어드바틱 진화가 유한 시간 내에 해를 도출할 수 있음을 보여주며, 고전적 방법의 일반적인 수렴 불가능성 문제를 피한다.
• 결정적 정지 함수가 아닌 비결정적 확률적 결과에 의존함으로써 고전적 금지 정리(예: 칸토어 대각선화)를 우회함을 주장하고자 한다.
• 측정 확률이 1/2를 초과할 경우에만 기저 상태를 식별할 수 있는 기준을 수립함으로써, 기저 상태 확률이 항상 증가하지 않는 경우에도 적용 가능함을 보여주고자 한다.
• 대칭성 깨짐 외란이 존재하더라도 알고리즘이 여전히 유효하며, 디지털 상태에서의 해를 유지함을 보여주고자 한다.

제안 방법

• 알고리즘은 시간에 따라 변화하는 해밀토니안 H(t) = (1−t/T)HI + (t/T)HP를 사용하여 K개의 코herent 상태로 이루어진 초기 상태에서 시작하여, 디오판틴 방정식을 인코딩한 최종 해밀토니안 HP로 시스템을 진화시킨다.
• 초기 해밀토니안 HI = Σi (ai†−αi*)(ai−αi)는 점유수 상태에 대한 코herent 상태 중첩을 준비한다.
• 최종 해밀토니안 HP = [D(a1†a1,…,aK†aK)]²는 기저 상태가 디오판틴 방정식 D(x1,…,xK)=0의 해와 대응되도록 구성된다.
• 시간 T에 도달했을 때, 어떤 점유수 상태 |{n}0⟩에 대해 |⟨ψ(T)|{n}0⟩|²의 최대 확률을 측정한다.
• 이 최대 확률이 1/2를 초과하면, 해당 상태 |{n}0⟩는 HP의 기저 상태로 식별되며, 이는 해가 존재함을 시사한다.
• 시간 T는 확률 임계값에 도달할 때까지 반복적으로 증가시키며, 어드바틱 조건을 만족함으로써 유한 시간 내에 종료됨을 보장한다.

실험 결과

연구 질문

• RQ1 고전적 재귀 이론에서 결정 불가능성이 입증된 힐버트의 제10 문제를 양자 어드바틱 알고리즘이 해결할 수 있는가?
• RQ2 무한 차원 힐베르트 공간과 비가환 해밀토니안에도 불구하고 이 알고리즘이 유한 시간 내에 종료되는가?
• RQ3 기저 상태 확률이 어드바틱 진화 중에 항상 증가하지 않는 경우에도, 기저 상태를 확률 기준(확률 > 1/2)으로 신뢰성 있게 식별할 수 있는가?
• RQ4 기본적으로 결정적 정지 함수에 의존하는 고전적 금지 정리(예: 칸토어의 대각선화)를 어떻게 우회할 수 있는가?
• RQ5 알고리즘의 확률적 성격이 고전적 계산 가능성의 한계를 어떻게 우회하는가?

주요 결과

• 에너지 갭이 스펙트럼 흐름 동안 0이 되지 않으면서도 비영일 경우, 어떤 디오판틴 방정식에 대해서든 알고리즘이 유한 시간 내에 종료된다.
• 기저 상태 확률이 어드바틱 진화 중에 항상 증가하지 않더라도, 최종 기저 상태는 1/2를 초월하는 확률로 식별 가능하다.
• 결정적 정지 함수가 아닌 비결정적 확률 정지 함수 ph(p,i,δ)를 사용함으로써 고전적 금지 정리에서 발생하는 대각선화 모순을 피할 수 있다.
• 이중 상태계에 대해 기저 상태 식별 기준이 증명되었으며, 비구성적 분석과 모순에 의한 증명을 통해 무한 차원 시스템으로 일반화되었다.
• 대칭성 깨짐 외란이 존재하더라도 알고리즘이 여전히 유효하며, 외란 강도가 0으로 수렴하는 극한에서 해를 복구할 수 있다.
• 간단한 디오판틴 방정식에 대한 수치 시뮬레이션 결과가 초보적으로 보고되었으며, 무한한 힐베르트 공간에도 불구하고 접근의 실현 가능성을 뒷받침한다.