[논문 리뷰] Quantum Algorithm for Hilbert's Tenth Problem

Tien D. Kieu|ArXiv.org|2001. 10. 24.

Quantum Computing Algorithms and Architecture참고 문헌 19인용 수 17

한 줄 요약

이 논문은 양자 연속 변수와 애디아바틱 진화를 활용하여 고전적 계산에서 결정 불가능한 것으로 알려진 힐버트의 10번 문제를 위한 양자 알고리즘을 제안한다. 물리적으로 실현 가능하다면, 이 알고리즘은 고전적 계산 가능성을 초월하게 되며, 수학적 원리 외에도 물리적 원리가 계산 가능성의 한계를 정의한다는 점에서 창세-튜링 추론에 도전하게 된다.

ABSTRACT

We explore in the framework of Quantum Computation the notion of {\em Computability}, which holds a central position in Mathematics and Theoretical Computer Science. A quantum algorithm for Hilbert's tenth problem, which is equivalent to the Turing halting problem and is known to be mathematically noncomputable, is proposed where quantum continuous variables and quantum adiabatic evolution are employed. If this algorithm could be physically implemented, as much as it is valid in principle--that is, if certain hamiltonian and its ground state can be physically constructed according to the proposal--quantum computability would surpass classical computability as delimited by the Church-Turing thesis. It is thus argued that computability, and with it the limits of Mathematics, ought to be determined not solely by Mathematics itself but also by Physical Principles.

연구 동기 및 목표

• 양자 계산이 고전적으로 비계산 가능한 문제, 특히 힐버트의 10번 문제를 해결할 수 있는지 탐색한다.
• 물리적 원리—수학적 공리 외에도—계산 가능성의 경계를 정의한다는 점에서 창세-튜링 추론에 도전한다.
• 양자 애디아바틱 진화와 연속 변수를 통해 힐버트의 10번 문제로부터의 환원을 통해 정지 문제를 원리적으로 해결할 수 있음을 보여준다.
• 이 양자 알고리즘이 작동할 수 있도록 하는 해밀토니안과 그 기저 상태를 구축하는 것이 가능한지 조사한다.

제안 방법

• 알고리즘은 양자 연속 변수와 유니터리 변환을 사용하여 디오파너틴 방정식을 해밀토니안으로 매핑하고, 기저 상태가 해를 인코딩하도록 한다.
• 선형 보골리우브 변환을 사용하여 해밀토니안 진화의 기준 상태로 일관 상태 |0_c⟩를 정의한다.
• 애디아바틱 진화는 시간에 따라 변하는 해밀토니안 H(s)에 의해 지배되며, s ∈ [0,1] 범위에서 단순한 초기 해밀토니안에서 최종 문제 해밀토니안으로 진화한다.
• 윅 정리를 적용하여 해밀토니안을 정규순서로 나누어, 기대값 ⟨c†c⟩와 ⟨c†c†⟩를 통해 에너지 갭을 추정한다.
• 에너지 갭은 해밀토니안 전개의 계수에서 유도된 G_i(s)를 바탕으로 min_i |G_i(s)|로 추정되며, 이는 애디아바틱 진화 시간의 지표로 기능한다.
• 진짜 기저 상태의 근사치를 향상시키기 위해 제약 조건 u_i(s), v_i(s) 및 K_i(s)=0 하에 E_b(s)의 수치적 최소화를 제안한다.

실험 결과

연구 질문

• RQ1 고전적 계산에서 결정 불가능한 것으로 알려진 힐버트의 10번 문제를 양자 알고리즘이 해결할 수 있는가?
• RQ2 애디아바틱 진화와 연속 변수를 통해 양자 계산이 창세-튜링 추론에서 정의된 고전적 계산 가능성의 한계를 초월할 수 있는가?
• RQ3 기저 상태가 디오파너틴 방정식의 해를 인코딩하는 물리적 해밀토니안을 구성할 수 있는가?
• RQ4 해밀토니안의 에너지 갭이 물리적으로 합리적인 시간 스케일 내에서 애디아바틱 진화를 가능하게 할 정도로 충분히 큰가?

주요 결과

• 물리적으로 실현 가능하다면 제안된 알고리즘은 힐버트의 10번 문제로부터의 환원을 통해 정지 문제를 해결하게 되며, 이는 양자 계산이 고전적 계산 가능성을 초월할 수 있음을 암시한다.
• 에너지 갭은 위크 정리와 정규순서를 적용한 해밀토니안 전개 후 유도된 계수를 바탕으로 min_i |G_i(s)|로 추정된다.
• 선형 보골리우브 변환의 사용은 기저 상태를 근사하는 데 도움이 되는 기준 상태 |0_c⟩를 구성할 수 있게 하며, 에너지 갭 추정에 기여한다.
• 이 방법은 해밀토니안 전개의 정규순서 항을 통해 고차항 보정을 체계적으로 평가할 수 있다.
• 제약 조건 u_i(s), v_i(s) 및 K_i(s)=0 하에 E_b(s)의 수치적 최소화를 제안하여 기저 상태 근사치를 향상시킬 수 있다.
• 증가하는 포크 기저에서 해밀토니안의 절단된 수치적 대각화는 에너지 갭과 애디아바틱 시간 T에 대한 추가적인 통찰을 제공한다.