[논문 리뷰] The quantum algorithm of Kieu does not solve the Hilbert's tenth problem

Boris Tsirelson|ArXiv.org|2001. 11. 01.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 12

한 줄 요약

이 논문은 T. Kieu가 양자 어드아바틱 알고리즘을 통해 Church-Turing 클래스를 초월하는 함수를 계산할 수 있다고 주장한 바를 반박한다. 알고리즘이 무한히 증가하는 정수 함수의 전역 최소값을 찾지 못함을 보여주며, 초기 상태와 진짜 최소값 사이의 행렬 요소가 지수적으로 감소함에 따라 어드아바틱 진화가 큰 최소화자에 대해 효과를 잃게 된다.

ABSTRACT

Recently T. Kieu (arXiv:quant-ph/0110136) claimed a quantum algorithm computing some functions beyond the Church-Turing class. He notes that "it is in fact widely believed that quantum computation cannot offer anything new about computability" and claims the opposite. However, his quantum algorithm does not work, which is the point of my short note. I still believe that quantum computation leads to new complexity but retains the old computability.

연구 동기 및 목표

• T. Kieu의 주장, 즉 양자 계산이 힐베르트의 제10 문제를 해결함으로써 고전적 계산 가능성의 경계를 초월할 수 있다는 것을 도전한다.
• 비음수 정수 위에서 다항식의 전역 최소값을 찾는 데 위해 Kieu가 제안한 어드아바틱 양자 알고리즘을 분석한다.
• 최소화자가 큰 경우에도 무한한 차원의 힐베르트 공간이 있음에도 불구하고 알고리즘이 올바른 기저 상태로 수렴하지 못함을 보여준다.
• 양자 계산이 고전적 계산 가능성(Church-Turing 논법)을 유지하면서도 복잡성 향상을 가능하게 한다는 점을 명확히 한다.

제안 방법

• 시작 시간에 따라 변화하는 해밀토니안 𝒫(t) = (1−t/T)HI + (t/T)HP를 사용해 Kieu의 어드아바틱 진화 프로토콜을 분석한다. 이는 초기 상태 |gI⟩에서 HP의 기저 상태 |g⟩로 진화한다.
• 실제 진화 |g(t)⟩를 HI만 작용하는 참조 진화 |g₀(t)⟩와 비교한다. 이 참조 진화는 위상 이외에 일정하게 유지된다.
• 스chrödinger 방정식과 내적 추정을 사용해 |g(t)⟩와 |g₀(t)⟩ 사이의 거리에 대한 경계를 유도한다.
• 두 상태 간의 노름 차이가 T에 대해 최대 선형적으로 증가함을 보이며, 이는 T⋅‖HP|gI⟩‖로 유계진다.
• ‖HP|gI⟩‖ = |⟨xmin|gI⟩|로 평가되며, 이는 xmin → ∞일 때 0으로 수렴한다. 이는 진짜 최소값 상태 |xmin⟩로의 수렴이 열악함을 의미한다.
• 결론적으로 큰 xmin에 대해 |g(T)⟩는 |gI⟩에 가까이 남아 있으며, |xmin⟩에는 도달하지 못함을 보여, 전역 최소값을 찾지 못함을 의미한다.

실험 결과

연구 질문

• RQ1 유한한 진화 시간 T를 가진 양자 어드아바틱 알고리즘이 음이 아닌 정수의 무한 도메인에서 함수의 전역 최소값을 찾을 수 있는가?
• RQ2 Kieu의 알고리즘에서 무한 차원의 힐베르트 공간이 임의로 큰 최소화자를 효과적으로 탐색할 수 있도록 하는가?
• RQ3 큰 xmin에 대해 알고리즘의 성공 여부가 행렬 요소 ⟨xmin|gI⟩에 어떻게 의존하는가?
• RQ4 최소화자가 알려져 있지 않고 크기가 클 경우 어드아바틱 진화가 전역 최소값에 해당하는 기저 상태에 도달하지 못하는 이유는 무엇인가?
• RQ5 이 알고리즘이 Kieu의 주장처럼 실제로 Church-Turing 계산 가능성 클래스를 초월하는가?

주요 결과

• 최소화자 xmin이 클 경우 어드아바틱 진화는 전역 최소값에 해당하는 기저 상태 |xmin⟩로 도달하지 못한다.
• 진화된 상태 |g(T)⟩와 초기 상태 |gI⟩ 사이의 거리는 T⋅|⟨xmin|gI⟩|로 유계지며, xmin → ∞일 때 이 값은 0으로 수렴한다.
• |⟨xmin|gI⟩| → 0이므로 최종 상태는 |gI⟩에 가까이 있으며 |xmin⟩에는 도달하지 못함을 보여, 최소값을 찾지 못함을 의미한다.
• 알고리즘의 성능은 xmin이 증가함에 따라 악화되며, 이는 함수의 구조에 관계없이 일정한 유한 시간 내 성능이 보장된다는 주장과 모순된다.
• 실패 원인은 어드아바틱 조건이 아닌, 초기 해밀토니안 HI가 먼 기저 상태 |xmin⟩와 효과적으로 결합하지 못하기 때문이다.
• 따라서 이 알고리즘은 힐베르트의 제10 문제를 해결하지 못하며, 양자 계산은 고전적 계산 가능성의 경계를 초월하지 못한다. 이는 반론의 주장과는 정반대이다.