[논문 리뷰] Between Shor and Steane: A unifying construction for measuring error syndromes

Shilin Huang, Kenneth R. Brown|arXiv (Cornell University)|2020. 12. 30.

Quantum Computing Algorithms and Architecture참고 문헌 41인용 수 18

한 줄 요약

이 논문은 캘더백-쇼어-스타인(Calderbank-Shor-Steane, CSS) 코드에 대한 고장내성 싱크론 추출 회로의 통합적 가족을 소개한다. 이는 쇼어의 방법과 스티븐의 방법 사이를 보간하는 것이다. 토릭 코드에서 $m \times m$ 크기의 보조 큐비트 블록을 사용함으로써 측정 라운드 수를 $O(L/m)$로 줄이며, 보조 큐비트 준비의 복잡성과 데이터-보조 큐비트 게이트 수 사이의 균형을 맞추고, 쇼어의 방법보다 시간 오버헤드가 낮고 스티븐의 방법보다 자원 소모가 적은 고장내성 오류 수정을 가능하게 한다.

ABSTRACT

Fault-tolerant quantum error correction requires the measurement of error syndromes in a way that minimizes correlated errors on the quantum data. Steane and Shor ancilla are two well-known methods for fault-tolerant syndrome extraction. In this paper, we find a unifying construction that generates a family of ancilla blocks that interpolate between Shor and Steane. This family increases the complexity of ancilla construction in exchange for reducing the rounds of measurement required to fault-tolerantly measure the error. We then apply this construction to the toric code of size $L imes L$ and find that blocks of size $m imes m$ can be used to decode errors in $O(L/m)$ rounds of measurements. Our method can be applied to any Calderbank-Shor-Steane codes and presents a new direction for optimizing fault-tolerant quantum computation.

연구 동기 및 목표

• 쇼어의 싱크론 추출 방식과 스티븐의 방식을 연속적인 구성 가족으로 통합하기.
• 보조 큐비트 블록 복잡성 증가를 통해 고장내성 싱크론 측정의 시간 오버헤드를 줄이기.
• 양자 오류 수정에서 데이터-보조 큐비트 게이트 수와 측정 획수 사이의 트레이드오프를 최적화하기.
• 이 구성 방식을 토릭 코드에 적용하고 시간 오버헤드 및 고장내성 성질을 분석하기.
• 수치 시뮬레이션을 통해 회로 수준의 노이즈 모델 하에서 향상된 임계값을 입증하기.

제안 방법

• 패리티체크 행렬의 분해를 기반으로 한 CSS 코드를 위한 싱크론 추출 가젯의 가족을 제안한다.
• 같은 유형의 스티븐러를 동시에 추출할 수 있는 '전이성 가젯'을 도입한다.
• 토릭 코드의 연결된 하위격자에서 플라켓트 연산자를 측정하기 위해 $m \times m$ 크기의 보조 큐비트 블록을 사용한다.
• 분할에 주기적인 오프셋을 적용하여 $O(L/m)$ 라운드 동안 고장내성 확보를 달성한다.
• CSS 코드의 구조를 활용하여 쇼어의 캣 상태 기반 및 스티븐의 블록 기반 싱크론 추출을 일반화한다.
• 보조 큐비트 준비에 대해 후선별 및 상태 분리와 호환되는 프레임워크를 활용한다.

실험 결과

연구 질문

• RQ1 쇼어의 방법과 스티븐의 방법 사이를 보간하는 연속적인 싱크론 추출 회로의 가족을 구성할 수 있는가?
• RQ2 보조 큐비트 블록 크기를 증가시키면 고장내성 싱크론 추출에 필요한 측정 라운드 수에 어떤 영향을 미치는가?
• RQ3 토릭 코드에서 중간 크기의 보조 큐비트 블록을 사용할 경우 고장내성 싱크론 측정의 시간 오버헤드는 어떻게 되는가?
• RQ4 제안된 방법은 회로 수준의 노이즈 하에서 기존 방법보다 높은 논리 오류 임계값을 달성할 수 있는가?
• RQ5 토릭 코드 격자의 분할 전략은 고장내성과 측정 획수에 어떤 영향을 미치는가?

주요 결과

• 제안된 가젯의 가족은 $m=1$일 때 쇼어의 방법, $m=L$일 때 스티븐의 방법로 극단적인 경우를 포함한다.
• 크기가 $L \times L$인 토릭 코드에서는 $m \times m$ 보조 큐비트 블록을 사용해 $O(L/m)$ 라운드 내에 고장내성 싱크론 측정을 수행할 수 있다.
• 수치 시뮬레이션 결과, 특정 회로 수준의 노이즈 모델 하에서 쇼어 스타일 추출보다 더 높은 논리 오류 임계값을 달성할 수 있음을 확인했다.
• 쇼어의 방법에 비해 데이터-보조 큐비트 간 이중 큐비트 게이트 수를 줄였지만, 더 큰 보조 큐비트 블록을 사용하는 데에 비용이 들었다.
• 이 프레임워크는 모든 CSS 코드에 일반적으로 적용 가능하며, 보조 큐비트 준비에 후선별 및 상태 분리와 호환된다.
• 시간 오버헤드는 해석적으로 유계이며 $O(L/m)$로 스케일링되며, 쇼어의 $O(L)$ 라운드보다 향상되었고, 스티븐의 단일 라운드 접근 방식보다 게이트 수가 적다.