[논문 리뷰] Reply to: ``Comment on `Polynomial-Time Simulation of Pairing Models on a Quantum Computer'''

Liang Wu, Mark Byrd외 1명|arXiv (Cornell University)|2003. 05. 26.

Quantum Computing Algorithms and Architecture인용 수 3

한 줄 요약

이 논문은 일반적인 결합 상수를 가진 페어링 해밀토니안 시스템을 양자 컴퓨터에서 수치적으로 정확하게 시뮬레이션할 수 있는 다항시간 양자 알고리즘을 방어한다. DMRG와 같은 근사적인 고전적 방법과는 달리, 제안된 알고리즘은 O(N⁴) 단계 내에 해밀토니안을 정확히 대각화하여, 효율적인 고전적 대안이 존재하지 않는 상황에서 증명 가능한 정확한 해를 제공한다.

ABSTRACT

We reply to Dukelsky, et al. regarding the article: L. A. Wu, M. S. Byrd and D. A. Lidar, Phys. Rev. Lett. 89, 057904 (2002).

연구 동기 및 목표

• 일반적인 페어링 해밀토니안을 임의의 결합 상수로 효율적이고 정확하게 시뮬레이션할 수 있는 알려진 고전적 알고리즘이 존재하지 않음을 입증하는 것.
• DMRG 방법은 강력하지만 본질적으로 근사적임을 명확히 하여, 비판적 논평에서 주장한 바와는 달리 수치적으로 정확하지 않음을 밝히는 것.
• 제안된 양자 알고리즘이 결합 상수의 구조에 관계없이 페어링 해밀토니안을 다항 시간 내에 정확히 대각화할 수 있음을 보여주는 것.
• DMRG와 같은 근사적인 고전적 방법이 일반적인 페어링 모델의 맥락에서 정확한 양자 시뮬레이션과 동일시되거나 충분하다는 주장에 반박하는 것.
• 대규모 N에 대해 매개변수 공간 내에서 해석 가능(적분 가능)한 페어링 모델의 집합이 극미미한 비율을 차지함을 보여주어, 비적분 가능한 경우의 물리적 중요성을 강조하는 것.

제안 방법

• 양자 컴퓨터에서 일반적인 페어링 해밀토니안 H_p = ∑_m (ε_m/2)σ_m^z + ∑_{r=±} ∑_{l>m} (V_ml^r/2)(σ_m^xσ_l^x + rσ_m^yσ_l^y) 를 정확히 대각화하는 양자 알고리즘을 제안한다.
• 페어링 해밀토니안을 양자 위상 추정 및 양자 시뮬레이션 기법에 적합한 형태로 변환하는 방법을 사용한다.
• 시스템 크기 N에 대해 다항적으로 증가하는 O(N⁴) 게이트 연산을 포함하는 양자 회로를 활용하여 정확한 고유상태 및 고유값을 계산한다.
• 반쪽 채워진 시스템에서 힐베르트 공간 차원이 N! / [(N/2)!]² 로 초지수적으로 증가하므로 고전적 정확한 시뮬레이션은 불가능하다는 사실에 기반한다.
• 결합 상수 V_ml^r의 구조에 관계없이 알고리즘이 정확하게 유지됨을 보여주며, 비균일하고 임의의 값일 경우에도 마찬가지로 성립함을 입증한다.
• 변이적이고 근사적인 고전적 방법(예: DMRG)과 정확한 양자 접근 방식을 대비하여, 이들 방법이 내재된 오차와 수렴 문제로 인해 제한됨을 밝힌다.

실험 결과

연구 질문

• RQ1 일반적인 페어링 해밀토니안을 임의의 결합 상수로 다항 시간 내에 정확한 수치 시뮬레이션할 수 있는 양자 알고리즘이 존재하는가?
• RQ2 DMRG 방법은 진정으로 정확한가, 아니면 문헌에서 주장한 바와 같이 본질적으로 근사적인 알고리즘인가?
• RQ3 N → ∞ 일 때 매개변수 공간 전체에서 적분 가능한 페어링 모델의 상대적 크기는 얼마인가?
• RQ4 DMRG와 같은 근사적인 고전적 알고리즘이 존재하는 것이 정확한 양자 시뮬레이션 알고리즘의 필요성을 무효화하는가?
• RQ5 페어링 해밀토니안의 힐베르트 공간 차원은 시스템 크기와 어떻게 변화하며, 이는 고전적 시뮬레이션에 어떤 함의를 갖는가?

주요 결과

• 제안된 양자 알고리즘은 O(N⁴) 시간 내에 일반적인 페어링 해밀토니안을 정확히 대각화하여 양자 컴퓨터에서 증명 가능한 정확한 해를 제공한다.
• DMRG 방법은 정확하지 않으며, 이는 자신의 저자들이 테스트된 영역에서 상대 오차가 10⁻⁴ 이하인 변이적 방법이라고 기술한 것으로 확인된다.
• N → ∞ 일 때 적분 가능한 모델과 비적분 가능한 모델의 비율은 0으로 수렴하여, 비적분 가능한 경우가 매개변수 공간에서 지배함을 나타낸다.
• 힐베르트 공간 차원의 초지수적 증가로 인해 일반적인 페어링 해밀토니안을 효율적이고 정확하게 시뮬레이션할 수 있는 알려진 고전적 알고리즘이 존재하지 않는다.
• 논평에서 주장한 바와 같이 DMRG가 임의의 페어링 행렬 원소를 쉽게 수용할 수 있다는 주장은 증거가 없으며, 특히 비균일한 V_ml^r 에 대해서는 더욱 그렇다.
• 정확한 양자 시뮬레이션이 DMRG나 프로젝션 BCS와 같은 근사 방법을 검증하는 데 필수적이며, 특히 양자 컴퓨터의 보급이 진행됨에 따라 더욱 중요하다.