[논문 리뷰] Reply to Andrew Hodges

Tien D. Kieu|ArXiv.org|2006. 02. 26.

Quantum Computing Algorithms and Architecture참고 문헌 21인용 수 6

한 줄 요약

이 논문은 힐버트의 10번 문제를 해결하는 양자 아디아바틱 알고리즘을 방어한다. 이 문제는 고전적으로 비계산 가능하지만, 이를 양자 해밀토니안 시스템으로 매핑함으로써 해결 가능하다. 알고리즘이 논리적으로 일관되며 물리적으로 실현 가능하다고 주장하며, 양자 위상 전이에서 다항방정식이 실현된 실험 사례를 근거로 무한정 정밀도 요구 조건이 물리적으로 금기될 수는 없다고 주장한다.

ABSTRACT

We separate the criticisms of Hodges \cite{Hodges2005} and others into those against the algorithm itself and those against its physical implementation. We then point out that {\em all} those against the algorithm are either misleading or misunderstanding, and that the algorithm is self consistent. The only central argument against physical implementations of the algorithm, on the other hand, is based on an assumption that its Hamiltonians cannot be effectively constructed due to a lack of infinite precision. However, so far there is no known physical principle dictating why that cannot be done. To show that the criticism may not be a forgone conclusion, we point out the virtually unknown fact that, on the contrary, simple instances of Diophantine equations with apparently {\em infinitely precisely} integer coefficients have {\em already} been realised in experiments for certain quantum phase transitions. We also speculate on how central limit theorem of statistics might be of some help in the effective implementation of the required Hamiltonians.

연구 동기 및 목표

• 힐버트의 10번 문제를 해결하기 위한 양자 아디아바틱 알고리즘에 대한 비판, 특히 앤드류 호지스의 비판을 반박하기 위해.
• 이전 비판에서 기인한 오해가 알고리즘의 논리적 구조와 가정을 오해함에 기인해 발생했음을 명확히 하기 위해.
• 무한정 정밀도 문제에 대한 우려에도 불구하고, 알려진 물리 원리에 의해 물리적 구현이 금지되지 않는다는 것을 주장하기 위해.
• 정수 계수를 가진 단순한 다항방정식이 이미 양자 위상 전이 실험에서 실현된 바가 있음을 보여주기 위해.
• 중앙극한정리와 같은 통계 원리가 필요한 해밀토니안의 효과적 실현에 도움이 될 수 있음을 제안하기 위해.

제안 방법

• 알고리즘의 논리적 일관성에 대한 비판과 물리적 실현 가능성에 대한 비판을 구분한다.
• 측정 확률을 통한 기저 상태 식별 기준의 수학적 정확성을 재확인하며, 이전 조건의 오류를 지적하고 새로운 증명을 통해 수정된 조건을 제시한다.
• 초기 해밀토니안에서 다항방정식을 인코딩한 최종 해밀토니안으로의 양자 아디아바틱 진화의 역할을 분석한다.
• 보즈-허버드 모델을 사용하여 초저온 원자에서의 초유동체에서 모트 절연체로의 위상 전이를, 방정식 x − m̃ = 0에 대한 알고리즘의 물리적 실현으로 모델링한다.
• 다체 해밀토니안을 시간에 따라 변하는 계수를 가진 단일 입자 효과 해밀토니안으로 줄이기 위해 평균장 근사를 적용한다.
• 알고리즘에서 요구하는 고정밀도 계수와 초저온 원자 시스템에서의 실험 실현 간 유사성을 비교한다. 여기서는 위상 전이에서 자연스럽게 고정밀도가 나타남을 강조한다.

실험 결과

연구 질문

• RQ1 힐버트의 10번 문제를 해결하기 위한 양자 아디아바틱 알고리즘은 결함 주장에도 불구하고 논리적으로 일관될 수 있는가?
• RQ2 비판은 알고리즘의 형식적 구조에 대한 오해 때문이냐, 아니면 물리적 실현 가능성에 대한 오해 때문인가?
• RQ3 해밀토니안 계수의 무한정 정밀도 요구 조건이 실현에 대한 기본적인 물리적 장벽이 되는가?
• RQ4 양자 위상 전이에서 다항방정식의 실험적 실현이 알고리즘의 물리적 실현 가능성에 대한 증거가 될 수 있는가?
• RQ5 중앙극한정리와 같은 통계 원리가 실무에서 요구되는 고정밀도 해밀토니안을 근사하는 데 도움이 될 수 있는가?

주요 결과

• 알고리즘은 논리적으로 일관되며 수학적으로 정확하며, 핵심 기준의 정당성을 검증하는 새로운 증명이 제시되었다.
• 스미스의 반례에 기반한 비판은 이전 조건의 결함을 규명하고, 엄밀히 증명된 수정된 조건을 제시함으로써 해결되었다.
• 초저온 원자에서의 초유동체에서 모트 절연체로의 위상 전이 실험은 정수 계수를 가진 다항방정식이 물리적으로 실현될 수 있음을 보여준다.
• 보즈-허버드 모델의 임계 U/J 비율에서의 위상 전이는 선형 다항방정식 x − m̃ = 0의 해를 효과적으로 실현한다.
• 평균장 근사는 다체 시스템을 단일 입자 효과 해밀토니안으로 줄여내어 알고리즘의 프레임워크와 명확한 대응을 가능하게 한다.
• 중앙극한정리는 많은 실험적 실현을 평균화함으로써 고정밀도 해밀토니안을 근사하는 데 도움을 줄 수 있으며, 이는 무한정 정밀도가 필요로 하는 것을 줄여준다.