[논문 리뷰] Robustness of Adiabatic Quantum Computing

Seth Lloyd|ArXiv.org|2008. 05. 18.

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

한 줄 요약

이 논문은 가변적 양자 계산이 에너지 갭이 $\eta/n$ 스케일링되는 보호 에너지 갭 덕분에 열 노이즈로부터 본질적으로 내성적으로 강건함을 보여준다. 여기서 $\eta$ 는 조절 가능한 에너지 매개변수이다. 제어된 가변적 진화를 사용하는 파이언만 해밀토니안을 통해, 열적 교란이 있더라도 정확한 계산을 보장하며 다항식 시간 스케일링과 측정당 $1/2$ 성공 확률을 달성하는 효율적인 양자 계산이 가능해진다.

ABSTRACT

Adiabatic quantum computation for performing quantum computations such as Shor's algorithm is protected against thermal errors by an energy gap of size $O(1/n)$, where $n$ is the length of the computation to be performed.

연구 동기 및 목표

• 가변적 양자 계산이 명확한 에너지 갭 덕분에 열 노이즈로부터 본질적으로 보호됨을 입증하는 것.
• 파이언만 해밀토니안 모델이 가변적 진화에 적응 가능함을 보여주어, 완벽하지 않은 조건에서도 정확한 계산을 보장하는 것.
• 핵심 보호 갭이 최소 갭($O(1/n^2)$)가 아니라, 올바른 결과의 기본 상태 다중공간과 첫 번째 올바르지 않은 상태 다중공간 사이의 갭($O(\eta/n)$)임을 입증하는 것.
• 국소적이고 이원상호작용을 사용하여 가변적 모델에서 보편 양자 계산을 단순화하고 물리적으로 타당한 유도를 제공하는 것.
• 비가변적 진화가 $|b=0,k\rangle$ 영역에서 분산과 위상 보존 덕분에 여전히 정확한 결과를 낳을 수 있음을 보여주는 것.

제안 방법

• 양자 회로를 포인터 상태를 가진 큐비트 체인으로 인코딩하기 위해 파이언만 해밀토니안 $H = -\sum_{\ell=0}^{n-1} U_\ell \otimes |\ell+1\rangle\langle\ell| + U_\ell^\dagger \otimes |\ell\rangle\langle\ell+1|$ 를 사용한다.
• 모든 큐비트가 0이고 포인터가 $\ell=0$에 있는 기본 상태에서 출발하여 시간에 따라 변하는 해밀토니안 $\eta H_0 + (1-\lambda)H_1 + \lambda H$ 를 통해 가변적 진화를 구현한다.
• 진동수 상태 구조 $|b,k\rangle = \frac{1}{\sqrt{n}} \sum_{\ell=0}^{n-1} e^{i2\pi k\ell/n} U_\ell \cdots U_0 |b\rangle \otimes |\ell\rangle$ 를 사용하여 전파되는 계산을 기술한다.
• 포인터를 체인의 끝으로 유도하기 위해 기울인 해밀토니안 $H_{\rm pointer} = -\sum_{\ell} \ell E |\ell\rangle\langle\ell|$ 을 적용한다.
• 각 원래 게이트 사이에 항등 게이트를 삽입하여 태그팀 양자 회로를 구성하고, 이를 직접적으로 파이언만 포인터 모델에 매핑한다.
• 시스템의 스펙트럼 갭을 분석하여, 오류 보호를 위한 핵심 갭이 $O(\eta/n)$ 임을 입증하며, 이는 최소 갭 $O(1/n^2)$ 가 아님을 보여준다.

실험 결과

연구 질문

• RQ1 가정된 해밀토니안의 에너지 갭을 통해 가변적 양자 계산을 열 노이즈로부터 강건하게 만들 수 있는가?
• RQ2 최소 에너지 갭과 잘못된 상태 다중공간 사이의 갭이 가변적 양자 계산의 보호에 어떤 역할을 하는가?
• RQ3 파이언만 해밀토니안을 사용하여 다항식 시간 스케일링의 가변적 진화를 통해 보편 양자 계산을 구현할 수 있는가?
• RQ4 비가변적 진화가 $|b=0,k\rangle$ 영역에서 웨이브패킷 분산으로 인해 여전히 정확한 결과를 낳는가?
• RQ5 스핀-1/2 입자 간의 이원상호작용만을 사용하는 포인터가 없는 모델이 가변적 프레임워크에서 보편 양자 계산을 시뮬레이션할 수 있는가?

주요 결과

• 파이언만 해밀토니안을 사용하는 가변적 양자 계산 모델은 $\eta$ 가 조절 가능한 실험적 매개변수인 $O(\eta/n)$ 크기의 에너지 갭 덕분에 열 노이즈로부터 보호된다.
• 시스템의 최소 에너지 갭은 $O(1/n^2)$ 스케일링을 보이지만, 이는 오류 보호에 관련된 갭은 아니다. 대신, 올바른 기본 상태 다중공간과 다음으로 올라가는 상태 다중공간 사이의 갭은 $O(\eta/n)$ 이며, 이 갭이 강건성을 제공한다.
• 가변적 진화는 $n$ 에 대해 다항식 시간 내에 수행될 수 있어, 최소 갭이 $1/n^2$ 이더라도 효율적인 양자 계산을 보장한다.
• 비가변적 진화는 $|b=0,k\rangle$ 운동량 고유상태를 통해 웨이브패킷의 분산 덕분에 확률 $1/2$ 로 성공한다. 이 모든 상태는 정확한 결과를 낳는다.
• 기울인 포인터 해밀토니안을 통한 열화는 시스템이 정확한 결과로 유도되는 것을 보여주며, 열 노이즈가 방해 요소가 아니라 활용 가능한 자원이 될 수 있음을 시사한다.
• 태그팀 양자 회로 구성은 순차적 게이트 실행을 보장하며, 직접적으로 파이언만 포인터 모델에 매핑된다. 이는 $O(1/n^2)$ 스펙트럼 갭을 유지하고 $O(\eta/n)$ 보호 갭을 제공함으로써 효율적인 가변적 계산을 가능하게 한다.