[논문 리뷰] The Complexity of Quantum Systems on a One-dimensional Chain

Sandy Irani|ArXiv.org|2007. 05. 28.

Quantum Computing Algorithms and Architecture참고 문헌 9인용 수 11

한 줄 요약

이 논문은 10개의 서로 다른 상태를 가진 입자로 이루어진 1차원 체인에서 2-지역 최근접 이웃 해밀토니안을 사용하여 애디아바틱 양자 계산을 통해 보편적인 양자 계산을 달성할 수 있음을 입증한다. 또한 이러한 1차원 체인에서 13개 상태를 가진 입자에 대해 2-지역 해밀토니안 문제의 QMA-완전성을 증명하여, 심지어 1차원 양자 시스템이라도 양자 계산의 전반적인 복잡성을 포괄할 수 있음을 시사한다.

ABSTRACT

We prove that adiabatic computation is equivalent to standard quantum computation even when the adiabatic quantum system is restricted to be a set of particles on a one-dimensional chain. We give a construction that uses a 2-local Hamiltonian on nearest neighbors using particles that can have ten distinct states. This implies a construction of a one-dimensional chain of qubits in which the Hamiltonian is 6-local. We adapt this construction to show that the 2-local Hamiltonian for 13-state particles is QMA-complete which in turn implies that the 8-local Hamiltonian restricted to a one-dimensional chain of qubits is QMA-complete.

연구 동기 및 목표

• 기하학적 단순성에도 불구하고 1차원 양자 시스템이 보편적인 양자 계산을 지원할 수 있는지 여부를 규명하는 것.
• 2-지역 해밀토니안 문제의 QMA-완전성이 1차원 시스템으로까지 확장되는지 조사하는 것.
• 오직 1차원 최근접 이웃 상호작용만을 사용하여 임의의 양자 회로를 시뮬레이션할 수 있는 애디아바틱 양자 계산 모델을 구축하는 것.
• 1차원 애디아바틱 양자 계산에서 보편성에 필요한 최소한의 국소성 및 입자 상태 수를 확립하는 것.

제안 방법

• 10개의 서로 다른 상태를 가진 입자로 이루어진 1차원 체인을 구성하여, 2-지역 최근접 이웃 해밀토니안을 사용해 보편적 양자 회로를 시뮬레이션한다.
• 애디아바틱 정리의 변형을 통해 시간에 따라 변하는 해밀토니안 H(s) = (1-s)H_init + sH_final를 정의하여, 시스템이 알려진 기저 상태에서 원하는 출력 상태로 진화하도록 보장한다.
• 역사 상태 구성법을 사용하여 1차원 체인에 양자 회로의 진화를 인코딩하고, 상태들이 계산 단계를 나타내도록 한다.
• 적절한 회로 진화 및 입력/출력 조건을 보장하기 위해 H_prop, H_legal, H_valid, H_in, H_out 등의 해밀토니안 항을 도입한다.
• 스펙트럼 갭 분석과 섭동 이론을 적용하여 총 해밀토니안의 최소 고유값을 근사하여, 애디아바틱 진화가 성공할 수 있음을 보장한다.
• 입자 상태 수를 10에서 13으로 줄여 1차원 체인에서 2-지역 해밀토니안의 QMA-완전성을 증명하고, 또한 큐비트 체인에서 8-지역 해밀토니안도 QMA-완전임을 추가로 보여준다.

실험 결과

연구 질문

• RQ1 애디아바틱 양자 계산은 오직 1차원 최근접 이웃 상호작용만을 사용하여 보편적 양자 회로를 시뮬레이션할 수 있는가?
• RQ2 일정한 상태 수를 가진 1차원 체인의 입자에서 2-지역 해밀토니안 문제는 QMA-완전한가?
• RQ3 1차원 애디아바틱 양자 시스템에서 QMA-완전성을 달성하기 위해 필요한 최소한의 입자 상태 차원은 얼마인가?
• RQ4 1차원 시스템에서 QMA-완전성을 유지하면서 해밀토니안의 국소성을 2-지역으로 줄일 수 있는가?
• RQ5 이 시스템의 1차원 구조는 양자 시스템의 전반적인 계산 능력을 방해하는가, 아니면 여전히 보편적 양자 계산을 지원할 수 있는가?

주요 결과

• 임의의 양자 회로는 10상태 입자로 이루어진 1차원 체인에서 2-지역 최근접 이웃 해밀토니안을 사용해 애디아바틱 양자 계산으로 시뮬레이션할 수 있다.
• 13상태 입자로 이루어진 1차원 체인에서의 2-지역 해밀토니안은 QMA-완전성을 지녀, 1차원 양자 시스템이 양자 계산의 전반적인 복잡성을 포괄할 수 있음을 입증한다.
• 이 결과는 1차원 큐비트 체인(2상태 입자)에서 8-지역 해밀토니안도 QMA-완전함을 의미한다.
• 만약 양자 회로가 높은 확률로 수용한다면 총 해밀토니안의 고유값은 ε 미만이 되며, 반대로 낮은 확률로 수용한다면 모든 고유값은 시스템 크기의 다항식 역수 이상이 된다.
• 시스템의 스펙트럼 갭은 Ω(1/T_n^3) 이상으로 하한이 설정되어 있어, 진화 시간 T가 충분히 클 경우 애디아바틱 진화가 성공함을 보장한다.
• 증명는 역사 상태 구성법과 섭동 기반 기법을 활용하여 적절한 회로 진화 및 측정 결과를 보장하며, 기저 상태는 회로의 수용 확률을 인코딩한다.