[논문 리뷰] Quantum error correction meets continuous symmetries: fundamental trade-offs and case studies

Zi-Wen Liu, Sisi Zhou|arXiv (Cornell University)|2021. 11. 11.

Quantum Computing Algorithms and Architecture참고 문헌 94인용 수 7

한 줄 요약

이 논문은 연속 대칭성과 양자 오류 수정(QEC) 사이의 기본적인 상충 관계를 규명한다. 근사 대칭성의 세 가지 정량적 측도인 군-전역 공변성 위반, 국소 공변성 위반(양자 피셔 정보와 관련), 그리고 전하 보존 위반을 사용하여 분석한다. 전하 변동과 게이트 구현 오차 프레임워크를 활용해 엄밀한 경계를 도출하며, 정확한 QEC 코드가 연속 대칭성에 대해 완전히 공변할 수 없음을 증명하고, 이는 Eastin–Knill 정리의 정밀화이다. 저자들은 수정된 열역학적 코드와 양자 Reed–Muller 코드의 명시적 구성으로 경계의 거의 최적성(근사 최적성)을 입증한다. 이들 코드는 유도된 경계에 점점 수렴한다.

ABSTRACT

We systematically study the fundamental competition between quantum error correction (QEC) and continuous symmetries, two key notions in quantum information and physics, in a quantitative manner. Three meaningful measures of approximate symmetries in quantum channels and in particular QEC codes, respectively based on the violation of covariance conditions over the entire symmetry group or at a local point, and the violation of charge conservation, are introduced and studied. Each measure induces a corresponding characterization of approximately covariant codes. We explicate a host of different ideas and techniques that enable us to derive various forms of trade-off relations between the QEC inaccuracy and all symmetry violation measures. More specifically, we introduce two frameworks for understanding and establishing the trade-offs respectively based on the notions of charge fluctuation and gate implementation error, and employ methods including the Knill--Laflamme conditions as well as quantum metrology and quantum resource theory for the derivation. From the perspective of fault-tolerant quantum computing, our bounds on symmetry violation indicate limitations on the precision or density of transversally implementable logical gates for general QEC codes, refining the Eastin--Knill theorem. To exemplify nontrivial approximately covariant codes and understand the achievability of the above fundamental limits, we analyze the behaviors of two explicit types of codes: a parametrized extension of the thermodynamic code (which gives a construction of a code family that continuously interpolates between exact QEC and exact symmetry), and the quantum Reed--Muller codes. We show that both codes can saturate the scaling of the bounds for group-global covariance and charge conservation asymptotically, indicating the near-optimality of these bounds and codes.

연구 동기 및 목표

• 양자 코드에서 양자 오류 수정(QEC)과 연속 대칭성 사이의 상충 관계를 체계적으로 정량화하는 것.
• 세 가지 별개의 근사 대칭성 측도인 전역 공변성 위반, 국소 공변성 위반, 전하 보존 위반을 도입하고 분석하는 것.
• 전하 변동과 게이트 구현 오차라는 두 가지 상호보완적 프레임워크를 사용해 QEC 정확도와 대칭성 위반 사이의 엄밀한 상충 경계를 유도하는 것.
• 수정된 열역학적 코드와 양자 Reed–Muller 코드를 포함한 명시적 코드 구성으로 이러한 경계의 달성 가능성을 보여주는 것.
• 대칭성 제약 조건으로 인해 일반 QEC 코드에서 전이형으로 실행 가능한 논리 게이트의 정밀도 또는 밀도가 본질적으로 제한됨을 보여줌으로써 Eastin–Knill 정리를 정밀화하는 것.

제안 방법

• 양자 채널과 QEC 코드에서 근사 대칭성의 세 가지 정량적 측도를 도입: 군-전역 공변성 위반, 군-국소 공변성 위반(양자 피셔 정보와 관련), 전하 보존 위반.
• 두 가지 분석 프레임워크를 개발: 전하 변동 기반으로 전역 공변성 위반을 경계하는 프레임워크와, 게이트 구현 오차를 사용해 QEC 부정확성과 대칭성 위반을 통합하는 프레임워크.
• Knill–Laflamme 조건과 양자 미세측정 기법을 활용해 QEC 부정확성과 대칭성 위반에 대한 경계를 유도.
• 양자 자원 이론을 활용해 게이트 구현 오차를 경계하고, 이를 대칭성과 오류 수정 성능과 연결.
• 정확한 QEC와 정확한 대칭성 사이를 연결하는 매개변수화된 열역학적 코드의 확장판을 구성하고, 양자 Reed–Muller 코드를 정확한 QEC 코드로서 근사 공변성을 가지는 데서 두드러진 예시로 분석.
• 순수화된 거리와 다이아몬드 거리를 사용해 노이즈가 있는 채널과 항등 채널을 비교하고, 대칭성 위반과 오류 수정 신뢰도에 대한 경계를 유도.

실험 결과

연구 질문

• RQ1 양자 오류 수정의 정확도와 연속 대칭성 하에서의 근사 공변성 정도 사이의 기본적인 정량적 상충 관계는 무엇인가?
• RQ2 전역 공변성, 국소 공변성, 전하 보존 위반 등의 서로 다른 대칭성 위반 측도는 어떻게 상호작용하며 QEC 성능을 제약하는가?
• RQ3 유도된 상충 경계는 명시적 양자 코드를 통해 달성 가능한가? 이는 경계의 거의 최적성(근사 최적성)을 시사하는가?
• RQ4 QEC 코드에서 전이형 논리 게이트는 대칭성 제약을 얼마나 상속하는가? 이는 Eastin–Knill 정리를 어떻게 정밀화하는가?
• RQ5 전하 변동과 게이트 구현 오차 프레임워크는 QEC-대칭성 상충 관계에 대해 어떻게 상호보완적인 통찰을 제공하는가?

주요 결과

• 논문은 정확한 QEC 코드에 대해 국소 공변성 위반 측도 δ⋆local이 전하 변동 δcharge로 경계지며, QEC 부정확성 ε = 0일 때 δ⋆local ≤ δcharge임을 증명한다.
• 수정된 열역학적 코드는 전역 공변성 위반과 전하 보존 위반에 대해 유도된 경계를 점점 수렴함으로써 경계의 거의 최적성(근사 최적성)을 달성한다.
• 양자 Reed–Muller 코드 역시 전역 공변성과 전하 보존에 대해 유도된 상충 경계를 점점 수렴하며, 유도된 경계의 날카로움을 확인한다.
• 게이트 구현 오차 프레임워크는 QEC 부정확성과 대칭성 위반을 통합하여 새로운 시각을 제공하며, 전이형으로 실행 가능한 논리 게이트의 정밀도 또는 밀도를 제한함으로써 Eastin–Knill 정리를 정밀화한다.
• 분석 결과, 정확한 QEC 코드에서 δ⋆local은 δlocal보다 제곱적으로 작을 수 있음을 보여주며, 이는 전역과 국소 대칭성 위반 측도 사이에 상당한 격차가 있음을 시사한다.
• 수정된 열역학적 코드와 양자 Reed–Muller 코드 가족은 모두 δ⋆local = O(1) 및 δcharge = O(1)를 달성하지만, δlocal = Θ(√n)이므로 정확한 QEC 하에서 대칭성 유지에 있어 제곱적 향상이 이루어짐을 보여준다.