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

Tien D. Kieu|ArXiv.org|2001. 11. 03.

Quantum Computing Algorithms and Architecture참고 문헌 2인용 수 8

한 줄 요약

이 논문은 티엔 D. 케우가 제안한 양자 알고리즘을 이용해 힐베르트의 10번 문제를 해결하기 위해 애디아바틱 양자 진화를 사용하는 데 대해 논의한다. 비판자들이 전역 최소값을 알 수 없기 때문에 알고리즘이 실패한다고 주장하는 데 대해, 필요한 진화 시간 T가 에너지 갭의 역수에 비례하므로 이러한 비판은 타당하지 않다고 주장한다. 핵심 기여는 애디아바틱 정리의 타당성을 재확인하고, 고전적 계산과 달리 양자역학이 물리적 원리에 의해 유한 시간 내에 전역 최소값을 식별할 수 있음을 보여주는 것이다.

ABSTRACT

The arguments employed in quant-ph/0111009, to claim that the quantum algorithm in quant-ph/0110136 does not work, are so general that were they true then the adiabatic theorem itself would have been wrong. As a matter of fact, those arguments are only valid for the sudden approximation, not the adiabatic process.

연구 동기 및 목표

• 전역 최소값을 알 수 없기 때문에 힐베르트의 10번 문제를 위한 양자 알고리즘이 실패한다는 주장에 반박하기 위해.
• 진화 시간 T가 에너지 갭에 적절히 스케일링될 경우 애디아바틱 정리가 여전히 유효하다는 것을 명확히 하기 위해.
• 양자역학이 고전적 계산과 달리 물리적 원리에 의해 유한 시간 내에 전역 최소값을 식별할 수 있음을 보여주기 위해.
• 알고리즘의 성공 여부가 문제에 따라 T를 에너지 갭에 기반해 추정하는 데 달려 있으며, 문제와 무관한 고정된 T에 의존하지 않는다는 것을 보여주기 위해.

제안 방법

• 비판에서 제기된 핵심 부등식 |||g(T)⟩ - |g₀(T)⟩|| ≤ T‖Hₚ|gᵢ⟩‖을 재구성하여, 이는 갑작스러운 근사에만 적용되며 애디아바틱 진화에는 적용되지 않는다는 것을 보여준다.
• T는 문제에 따라 달라져야 하며, 기저 상태와 첫 번째 옹진 상태 사이의 에너지 갭에 반비례해야 한다고 주장한다.
• xₘᵢₙ → ∞ 일 때 ‖Hₚ|gᵢ⟩‖ → 0 이지만, T가 충분히 크다면 애디아바틱 과정이 여전히 유효하다는 것을 보여준다.
• 애디아바틱 정리를 사용하여, T가 에너지 갭의 역수보다 훨씬 커야 순시 기저 상태에 높은 확률로 머물 수 있음을 정당화한다.
• 필요한 T는 갭 분석을 통해 추정할 수 있으며, 해밀토니안의 조정 가능한 매개변수를 통해 이러한 추정이 가능하다고 제안한다.
• 기저 상태는 논리적 판단 외에도 물리적으로 확인할 수 있으므로, 전역 최소값의 확인이 물리적 원리에 의해 가능하다.

실험 결과

연구 질문

• RQ1 고정된 진화 시간 T에 기반한 주장으로 인해 힐베르트의 10번 문제를 위한 애디아바틱 양자 알고리즘이 무효화될 수 있는가?
• RQ2 xₘᵢₙ → ∞ 일 때 ‖Hₚ|gᵢ⟩‖ → 0 이면 애디아바틱 진화가 실패하는가?
• RQ3 목표 상태 xₘᵢₙ이 알려져 있지 않고 진화 시간 T가 고정되어 있지 않은 경우에도 애디아바틱 정리는 여전히 유효한가?
• RQ4 양자역학은 고전적 계산과 달리 다항방정식의 전역 최소값을 유한 시간 내에 식별할 수 있는가?
• RQ5 물리적 원리인 에너지 태깅은 계산 가능성에서 고전적 논리적 비교와 어떻게 다를까?

주요 결과

• 비판에서 제기된 핵심 부등식은 갑작스러운 근사에만 적용되며 애디아바틱 영역에는 적용되지 않아 알고리즘을 무효화하지 못한다.
• 진화 시간 T는 고정되어서는 안 되며, 에너지 갭의 역수에 비례해야 한다; 하나의 T로 모든 문제를 해결할 수는 없다.
• T가 에너지 갭에 대해 충분히 크다면 애디아바틱 정리는 기저 상태에 머무를 확률이 높다는 것을 보장한다.
• xₘᵢₙ → ∞ 일 때 ‖Hₚ|gᵢ⟩‖ → 0 이지만, T가 적절히 증가하면 기저 상태로의 수렴은 방해받지 않는다.
• 기저 상태는 논리적 비교 외에도 물리적으로 확인 가능하므로, 물리적 원리에 의해 전역 최소값을 확인할 수 있다.
• 양자역학은 고전적 계산이 갖지 못하는 에너지 태깅을 통해 무한 영역에서 전역 최소값을 유한 시간 내에 선택할 수 있다.