[논문 리뷰] Quantum Self-Correcting Stabilizer Codes

Alastair Kay, Roger Colbeck|ArXiv.org|2008. 10. 20.

Quantum Computing Algorithms and Architecture인용 수 19

한 줄 요약

이 논문은 큐비트 격자 위의 2차원 양자 안정자 해밀토니안이 국소적 열노이즈에 의해 고립된 오류를 유도할 수 있는 명시적 스트링 유사 연산자를 통해 둘레를 감도는 방식으로 양자 정보 저장을 위한 자가수정이 불가능하다는 것을 증명한다. 저자들은 임의의 안정자 코드에 대해 이러한 연산자를 구성하여 열노이즈에 대한 저항성이 지수적으로 보호되지 않음을 보이며, 이는 이러한 시스템이 양자 하드디스크 후보에서 제외됨을 의미한다.

ABSTRACT

In this paper, we explicitly construct (Abelian) anyonic excitations of arbitrary stabilizer Hamiltonians which are local on a 2D lattice of qubits. This leads directly to the conclusion that, in the presence of local thermal noise, such systems cannot be used for the fault-tolerant storage of quantum information by self-correction i.e. they are ruled out as candidates for a `quantum hard drive'. We suggest that in 3D, the same construction leads to an argument that self-correction is impossible.

연구 동기 및 목표

• 2차원에서의 위상적 양자 안정자 코드가 국소적 열노이즈에 대해 자가수정이 가능한지 여부를 규명하는 것.
• 토리크 코드에서 자가수정이 불가능한 것이 2차원 격자 위의 모든 안정자 해밀토니안으로 일반화되는지 조사하는 것.
• 유사한 금기 원리가 3차원 이상의 공간 차원으로도 확장되는지 탐색하는 것.
• 이러한 시스템에서 양자 정보를 불안정하게 만드는 오류 경로를 규명하는 구축적 방법을 제공하는 것.

제안 방법

• 2차원 큐비트 격자 위의 임의의 안정자 해밀토니안에 대해 명시적인 아벨 anyonic 흥 excitations(스트링 연산자)를 구성한다.
• 이 스트링 연산자가 기본 상태 공간에 비자명하게 작용하며 해밀토니안 항들과 교환된다는 것을 보여준다.
• 스트링 연산자의 잘라내기를 통해 유한한 에너지 비용을 가진 흥도 상태를 생성함으로써 열노이즈 효과를 모델링한다.
• 코로나리 2와 레마 9를 적용하여 기본 집합들 사이의 무결성 파괴 연산자 간의 독립성을 보인다.
• 2차원 구성법을 d차원 격자로 확장하여, 예를 들어 3차원에서는 면적 연산자와 같은 (d−1)차원 물체로 루프를 대체한다.
• 논리 게이트의 구조와 반교환 항들을 분석하여 고차원에서의 보호 메커니즘을 평가한다.

실험 결과

연구 질문

• RQ1 큐비트 격자 위의 2차원 안정자 해밀토니안은 국소적 열노이즈에 대해 자가수정이 가능한가?
• RQ2 2차원에서 모든 안정자 코드는 열노이즈 하에서 논리 오류를 유도할 수 있는 스트링 유사 연산자를 포함하는가?
• RQ3 토리크 코드에서 자가수정이 불가능한 것은 2차원 안정자 코드 전반에 걸쳐 일반적인 특성인가?
• RQ4 유사한 금기 원리는 3차원 안정자 해밀토니안으로도 확장 가능한가?
• RQ5 4차원에서는 2차원 및 3차원에서의 실패에도 불구하고 어떤 조건에서 자가수정이 가능할 수 있는가?

주요 결과

• 주기적 경계 조건을 가진 모든 2차원 안정자 해밀토니안은 토러스를 둘러싸는 스트링 연산자를 포함하며, 이는 기본 상태 공간에 비자명하게 작용한다.
• 이 스트링 연산자는 국소적 열노이즈가 논리 오류를 유도할 수 있는 명시적 경로를 제공하며, 오류율의 지수적 억제를 방해한다.
• 열노이즈에 대한 양자 정보의 생존 시간은 시스템 크기 증가에 따라 지수적으로 증가하지 않으며, 이는 2차원에서 자가수정이 불가능함을 의미한다.
• 3차원에서는 구성법이 유사한 오류 경로의 존재를 시사하며, 안정자 해밀토니안에 대해 자가수정이 불가능하다는 것을 암시한다.
• 4차원에서는 안정자 항의 구조가 2차원 논리 연산을 가능하게 하며, 이는 2차원 이징 모델과 유사한 보호 기능을 제공할 수 있어 자가수정을 위한 잠재적 길을 제시한다.
• 스트링 연산자를 잘라내어 형성된 anyonic 흥도는 아벨 braiding 통계를 가지며, 토리크 코드의 것과 동일하지만 최대 |G̃|개의 서로 다른 입자 종류를 가진다.