[논문 리뷰] Stabilizer Codes for Continuous-variable Quantum Error Correction

Richard Barnes|ArXiv.org|2004. 05. 13.

Quantum Information and Cryptography참고 문헌 1인용 수 15

한 줄 요약

이 논문은 $GF(2)^{2n}$ 내의 파울리 군 원소를 $ℝ^{2n}$ 내의 실수 심플렉틱 벡터를 통해 헤이젠베르크-바일 군의 연산자로 매핑함으로써 이산 변수 양자 오류 수정 코드를 일반화하는 연속 변수 안정자 형식을 제안한다. 이를 통해 알려진 이산 코드로부터 연속 변수 코드를 구성할 수 있으며, 세 개의 논리 모드를 인코딩하는 새로운 여덟 모드 코드를 포함한다. 또한 연속 변수 시스템에 대한 논리 연산과 안정자 생성자를 유도하는 체계적인 방법을 제공한다.

ABSTRACT

A generalization of the stabilizer code construction presented by Gottesman is described, which allows for the construction of quantum error-correcting codes for continuous-variable systems. This formalism describes all continuous-variable codes presented to date, and can be used to construct new codes based on discrete-variable codes or classical codes. We use it to describe the nine-mode code given by Lloyd and Slotine, and a five-mode code described by Braunstein. In addition, we construct a new continuous-variable code based an code of Gottesman which encodes three logical modes of information into eight physical modes and corrects one error. This generalization is a step toward an independent understanding of continuous-variable quantum information and a theory of fault-tolerant quantum information processing.

연구 동기 및 목표

• 이산 변수 안정자 형식의 연속 변수 일반화를 개발하기 위해.
• 기존의 이산 변수 코드로부터 연속 변수 양자 오류 수정 코드를 체계적으로 구성하기 위한 방법을 수립하기 위해.
• 심플렉틱 벡터 공간을 사용하여 연속 변수 시스템에 대한 논리 연산과 안정자 생성자를 유도할 수 있도록 하기 위해.
• 기존의 알려진 코드를 재유도하고 여덟 개의 물리적 모드에 세 개의 논리 모드를 인코딩하는 새로운 코드를 구성함으로써 이 형식을 실증하기 위해.
• 이산 및 연속 형식을 통합함으로써 고장 내성 연속 변수 양자 계산의 기초를 마련하기 위해.

제안 방법

• 실수 벡터 $ℝ^{2n}$ 를 통해 $GF(2)^{2n}$ 에서의 $n$- 큐비트 파울리 군을 연속 변수 헤이젠베르크-바일 군으로 매핑하며, 교환 관계를 유지한다.
• 연속 변수 안정자 생성자를 심플렉틱 벡터 $\mathbf{v} \in \mathbb{R}^{2n}$ 로 표현하며, 연산자 $U(\mathbf{v}) = \exp\left(i\pi\sum_{i=1}^{n}(s_i\hat{p}_i + t_i\hat{q}_i)\right)$ 를 사용한다.
• 심플렉틱 형식 $\omega(\mathbf{v}, \mathbf{v}') = \sum_{i=1}^{n}(s_i t'_i - s'_i t_i)$ 를 사용하여 연산자 간의 교환 관계를 정의한다.
• 심플렉틱으로 교환되는 벡터들의 실수 선형 조합을 취하여 연속 파울리 군의 아벨 부분군을 구성한다.
• 이 formalism 을 이산 코드(예: 고테스만의 3 큐비트, 8 큐비트 코드)에 적용하기 위해, 그 생성 행렬을 실수 심플렉틱 행렬로 변환한다.
• 논리 파울리 연산자 $\bar{X}(t)$ 와 $\bar{Z}(t)$ 를 논리 상태에 작용하는 유니터리 변환으로 유도하며, 안정자 구조를 유지한다.

실험 결과

연구 질문

• RQ1 심플렉틱 벡터 공간을 사용하여 이산 변수 안정자 형식을 연속 변수 양자 시스템으로 일반화할 수 있는가?
• RQ2 이 형식을 통해 기존의 이산 양자 코드를 체계적으로 연속 변수 코드로 변환할 수 있는가?
• RQ3 연속 변수 코드에서 논리 연산의 구조(예: $\bar{X}(t)$, $\bar{Z}(t)$)는 어떠한가?
• RQ4 한 개 이상의 논리 모드를 인코딩하는 새로운 연속 변수 코드를 구성할 수 있는가?
• RQ5 이 형식은 고장 내성 연속 변수 양자 계산에 어떤 영향을 미치는가?

주요 결과

• 논문은 $GF(2)^{2n}$ 에서의 이산 안정자 형식과 $ℝ^{2n}$ 에서의 연속 형식 사이에 일대일 대응을 수립하여, 이산 코드를 연속 코드로 직접 변환할 수 있도록 한다.
• 이 형식은 라이오드와 슬로티네의 구현된 아홉 모드 코드와 브라운스타인의 다섯 모드 코드를 심플렉틱 벡터 표현을 사용하여 재유도한다.
• 고테스만의 3 큐비트, 8 큐비트 코드를 기반으로 하여, 여덟 개의 물리적 모드에 세 개의 논리 모드를 인코딩하는 새로운 연속 변수 코드를 구성한다.
• 논리 연산 $\bar{X}(t)$ 와 $\bar{Z}(t)$ 는 명시적으로 유도되었으며, 인코딩된 상태에 대해 정확히 작용함을 보여주며 안정자 구조를 유지한다.
• 세 모드 위치 고유상태의 인코딩은 여덟 모드 위치 상태의 중첩으로 표현되며, 다중 모드 연속 정보를 인코딩할 수 있음을 보여준다.
• 이 방법은 캘더뱅크-쇼어-스타인 구축 방식에서 유래한 모든 이산 안정자 코드로부터 연속 변수 코드를 생성하는 체계적인 알고리즘을 제공한다.