[논문 리뷰] Improved magic states distillation for quantum universality

Ben W. Reichardt|arXiv (Cornell University)|2004. 11. 04.

Quantum Computing Algorithms and Architecture인용 수 51

한 줄 요약

이 논문은 스테이블라이저 연산과 함께 사용할 때, 한정된 상태가 아닌 단일 큐비트 순수 상태가 유니버설 양자 계산을 가능하게 한다는 점을 입증함으로써, 허드레드 방향에서 양자 유니버설성과 고전적 시뮬레이션의 경계를 규명함과 동시에, 스테이블라이저 연산을 사용한 마법 상태 증식의 엄밀한 임계값을 도출한다. 이는 스테인 7 큐비트 코드와 골라이 23 큐비트 코드를 사용하여 허드레드 유형의 마법 상태를 증식하는 데 성공한다.

ABSTRACT

Given stabilizer operations and the ability to repeatedly prepare a single-qubit mixed state rho, can we do universal quantum computation? As motivation for this question, "magic state" distillation procedures can reduce the general fault-tolerance problem to that of performing fault-tolerant stabilizer circuits. We improve the procedures of Bravyi and Kitaev in the Hadamard "magic" direction of the Bloch sphere to achieve a sharp threshold between those rho allowing universal quantum computation, and those for which any calculation can be efficiently classically simulated. As a corollary, the ability to repeatedly prepare any pure state which is not a stabilizer state (e.g., any single-qubit pure state which is not a Pauli eigenstate), together with stabilizer operations, gives quantum universality. It remains open whether there is also a tight separation in the so-called T direction.

연구 동기 및 목표

• 마법 상태 증식을 통한 유니버설 양자 계산의 임계값이 허드레드 방향에서 엄밀한가를 결정하는 것.
• 스테이블라이저 연산과 함께 사용할 때, 단일 큐비트 순수 상태 중 파울리 고유상태가 아닌 어떤 상태도 양자 유니버설성을 가능하게 하는가를 분석하는 것.
• 특히 스테인 7 큐비트 코드와 골라이 23 큐비트 코드를 사용하여 허드레드 유형의 마법 상태를 증식하는 데 있어 성능을 평가하는 것.
• 허드레드 방향에서 고전적 시뮬레이션을 허용하는 상태들과 유니버설 양자 계산을 가능하게 하는 상태들 사이의 명확한 경계를 설정하는 것.

제안 방법

• 허드레드 방향으로 15개와 23개의 혼합 상태 ρ를 스테인 7 큐비트 코드와 골라이 23 큐비트 코드를 사용해 복원한다.
• 오류가 감지되지 않으면서만 수락하는 복원 회로를 적용하여, 논리적 |0_L⟩ 및 |1_L⟩ 상태로 투영한다.
• 에러의 임계값과 출력 품질을 계산하기 위해, 코드워드의 해밍 무게 분포와 그 XOR를 사용한다.
• 정확한 무게 열거 함수를 사용하여 입력 오류 매개변수 x = (1-2p)/2에 대한 출력 오류 확률을 유리 함수로 유도한다.
• 브라비와 키타에프의 15 큐비트 코드와 닐의 14 복사 방법이 스테인 코드의 논리적 허드레드 연산을 통해 동치임을 보여준다.
• 증식 맵의 고정점을 분석하여 안정성과 수렴 행동을 평가한다.

실험 결과

연구 질문

• RQ1 허드레드 유형의 마법 상태를 증식하는 데 있어 임계값이 엄밀한가? 즉, 특정 품질 이상의 모든 상태가 유니버설 양자 계산을 가능하게 하고, 그 이하의 상태는 그렇지 않다는가?
• RQ2 파울리 고유상태가 아닌 어떤 단일 큐비트 순수 상태도 스테이블라이저 연산만으로 유니버설 마법 상태로 증식될 수 있는가?
• RQ3 스테인 7 큐비트 코드와 골라이 23 큐비트 코드가 허드레드 방향에서 이전의 증식 프로토콜보다 더 낮은 오류 임계값을 달성하는가?
• RQ4 증식 맵에 안정적인 고정점이 존재하여 고품질의 마법 상태로 수렴하는가?
• RQ5 왜 스테인 코드와 5 큐비트 코드는 각각의 증식 방향에서 특히 뛰어난 성능을 보이는가?

주요 결과

• 이 논문은 허드레드 유형의 마법 상태 증식에 대해 엄밀한 임계값 F_H^* ≈ 0.924를 설정하며, 이 값 이상의 품질을 가진 모든 상태가 유니버설 양자 계산을 가능하게 함을 입증한다.
• 7 큐비트 스테인 코드는 약 14.64%의 오류 임계값을 달성하여 이전의 방법보다 더 엄밀한 성능을 보인다.
• 23 큐비트 골라이 코드는 약 16.12%의 임계값을 기록하며, 스테인 코드보다는 열 劣하지만 이전 결과보다 향상된 성능을 보인다.
• 스테인 코드를 사용한 증식 과정은 x ≈ 0.62292에서 안정적인 고정점을 가지며, 고품질의 마법 상태로의 수렴을 보장한다.
• 파울리 고유상태가 아닌 어떤 단일 큐비트 순수 상태이든 (예: |0⟩, |1⟩, |+⟩, |−⟩, |i⟩, 또는 |−i⟩ 가 아님) 스테이블라이저 연산과 조합될 경우, 유니버설 양자 계산을 가능하게 한다.
• 스테인 코드를 사용한 증식 과정은 15번째 복사본을 초기화할 경우 닐의 14 복사 방법과 동치임을 확인하여, 이 접근법의 견고성을 입증한다.