[논문 리뷰] On the uncomputability of the spectral gap

Seth Lloyd|arXiv (Cornell University)|2016. 02. 18.

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

한 줄 요약

이 논문은 유니버설 양자 계산을 수행할 수 있는 양자 하미르تون계에서 스펙트럼 간격의 계산불가성을 검토하며, 정지(이산적, 간격 있음)와 비정지(연속적, 간격 없음) 계산 간의 스펙트럼 구별로 인해 간격이 결정불가능하다는 것을 보여준다. 이 결과는 정지 문제를 유니터리 및 하미르톤 모델의 스펙트럼 성질로 매핑함으로써 유도되며, 페인만 하미르톤이 핵심 예시로 작용한다. 여기서 간격의 계산 가능성은 정지 문제의 결정불가능성에 의존한다.

ABSTRACT

This paper reviews the 1994 proof that the spectral gap of Hamiltonian quantum systems capable of universal computation is uncomputable.

연구 동기 및 목표

• 1994년도의 스펙트럼 간격 계산불가성 증명을 현대 양자정보 이론 언어로 재해석하고 재기재하기.
• 정지 문제의 결정불가능성과 양자 시스템의 스펙트럼 성질을 연결하는 기본 메커니즘을 명확히 하기.
• 벤요프, 데우트, 페인만, 마르골루스의 원래 모델들과 큐비트 등이 제시한 최신의 평면적이고 물리학적으로 유사한 시스템 간의 대비 분석하기.
• 스펙트럼 간격의 계산불가성은 새로운 발견이 아니며, 이미 초기 양자계산 기반 모델들에서 확립되어 있었다는 점을 강조하기.

제안 방법

• 시간 단계를 추적하는 시계 레지스터를 갖춘 유니터리 진동을 통해 양자 계산을 모델링하며, 상태 $|\ell\rangle$ 를 계산 시간을 나타내기.
• 유니터리 진동 연산자 $U = \sum_{\ell} U_{\ell} \otimes |\ell+1\rangle\langle\ell|$ 를 정의하며, $U_{-\ell} = U_{\ell}^\dagger$ 를 통해 역방향 진동을 허용하기.
• 정지 계산을 순환적으로 만들기 위해 부호 큐비트를 도입하여 유한한 계산에 대해 고유 상태가 존재하도록 하기.
• 유니터리 진동을 $H = U + U^\dagger$ 를 통해 하미르톤으로 변환하여 연속시간 동역학을 기술하기.
• 정지 케이스의 경우 스펙트럼을 $2\cos(2\pi k/m)$ 로, 비정지 케이스의 경우 $2\cos(2\pi a)$ 로 유도하여 $H$ 의 스펙트럼 분석하기.
• 스펙트럼 간격의 존재 여부가 계산이 정지하는지 여부에 따라 달라지며, 이는 정지 문제에 의해 결정불가능하다는 것을 확립하기.

실험 결과

연구 질문

• RQ1 유니버설 양자 계산을 수행할 수 있는 하미르톤계의 스펙트럼 간격을 알고리즘적으로 계산할 수 있는가?
• RQ2 양자 계산의 정지 행동이 관련된 하미르톤의 스펙트럼 성질에 어떻게 영향을 미치는가?
• RQ3 정지 문제의 결정불가능성과 양자 시스템의 스펙트럼 간격 사이의 관계는 무엇인가?
• RQ4 물리학적으로 단순한 페인만 하미르톤 모델에서 스펙트럼 간격이 왜 계산불가능한가?
• RQ5 스펙트럼 간격의 계산불가성은 시계 레지스터의 존재 등 모델의 구조에 얼마나 의존하는가?

주요 결과

• 유니버설 양자 계산을 수행할 수 있는 하미르톤계의 스펙트럼 간격은 정지 문제의 결정불가능성에 의해 영향을 받기 때문에 계산불가능하다.
• 정지 계산의 경우, 유니터리 진동 연산자 $U$ 의 스펙트럼은 고유값 $e^{2\pi i k/m}$ 를 갖는 이산적 스펙트럼이며, 이에 따라 해당 하미르톤 $H = U + U^\dagger$ 에서 유한한 스펙트럼 간격이 발생한다.
• 비정지 계산의 경우, $U$ 의 스펙트럼은 $a \in [0,1)$ 에 대해 고유값 $e^{2\pi i a}$ 를 갖는 연속적 스펙트럼이 되며, 이에 따라 $H$ 는 간격이 없는 스펙트럼을 갖는다.
• 하미르톤 $H$ 의 고유 상태는 $U$ 와 동일하며, 정지 케이스의 경우 균일한 초위상 $|k,b_0\rangle = \frac{1}{\sqrt{m}} \sum_{\ell=0}^{m-1} e^{-2\pi i k\ell/m} U^\ell |b_0\rangle |0\rangle$ 과 비정지 케이스의 경우 평면파 $|a,b_0\rangle = \sum_{\ell=-\infty}^{\infty} e^{-2\pi i a\ell} U^\ell |b_0\rangle |0\rangle$ 의 형태를 갖는다.
• 페인만 하미르톤의 스펙트럼 간격은 스펙트럼이 이산적인지 연속적인지 판단하는 것이 정지 문제를 해결하는 것과 동치이기 때문에 계산불가능하다.
• 이 결과는 양자 계산, 결정불가능성, 스펙트럼 이론 간의 기초적인 연결고리를 확립하며, 원칙적으로도 간격을 알고리즘적으로 결정할 수 없다는 것을 보여준다.