[논문 리뷰] Distance-preserving stabilizer measurements in hypergraph product codes

Argyris Giannisis Manes, Jahan Claes|arXiv (Cornell University)|2023. 08. 29.

Quantum Computing Algorithms and Architecture인용 수 4

한 줄 요약

이 논문은 유한률의 양자 저밀도 검사 식 복호화(QLDPC) 코드인 초그래프 곱(HGP) 코드가 거리에 강건함을 증명한다: 어떤 안정자 측정 회로도 코드의 유효 거리를 유지한다. 저자들은 Tremblay 등(2022)의 깊이 최적화된 회로가 거리 유지 측면에서도 최적임을 보이며, HGP 코드가 깊이가 낮고 거리를 유지하는 측정 회로를 갖춘 고장내성 양자 계산에 유일하게 적합함을 밝힌다.

ABSTRACT

Unlike the surface code, quantum low-density parity-check (QLDPC) codes can have a finite encoding rate, potentially lowering the error correction overhead. However, finite-rate QLDPC codes have nonlocal stabilizers, making it difficult to design stabilizer measurement circuits that are low-depth and do not decrease the effective distance. Here, we demonstrate that a popular family of finite-rate QLDPC codes, hypergraph product codes, has the convenient property of distance-robustness: any stabilizer measurement circuit preserves the effective distance. In particular, we prove the depth-optimal circuit in [Tremblay et al, PRL 129, 050504 (2022)] is also optimal in terms of effective distance.

연구 동기 및 목표

• 유한률 QLDPC 코드의 안정자 측정 회로를 설계할 때 유효 코드 거리가 감소하지 않도록 하는 문제를 해결하기 위해.
• 유명한 유한률 QLDPC 코드의 한 가닥인 초그래프 곱(HGP) 코드가 임의의 안정자 측정 회로 하에서 거리에 강건한가를 조사하기 위해.
• Tremblay 등(2022)이 제안한 깊이 최적화된 측정 회로가 코드 거리 유지 측면에서도 최적임을 입증하기 위해.
• HGP 코드의 논리적 연산자가 애너실라 측정에서 발생하는 오류 전파 후에도 여전히 최소한 거리 d를 유지함을 공식적으로 증명하기 위해.

제안 방법

• 저자들은 HGP 코드에서 논리적 Z 및 X 연산자의 구조를 분석하여, 각각 최소 d₁개의 서로 다른 행 또는 d₂ᵀ개의 서로 다른 열에 지지를 가짐을 보였다.
• 부분 도트 곱 연산 eₜ ⋅ z₁을 사용하여 어떤 안정자 곱도 논리적 연산자의 지지를 어느 행이나 열에서 완전히 제거할 수 없음을 입증하였다.
• 증명은 yⱼ ∉ Im(H₂ᵀ) 및 aₗ ∉ Im(H₁)라는 사실에 기반하며, 이는 논리적 연산자의 지지가 안정자 곱으로 완전히 취소될 수 없음을 보장한다.
• 애너실라 오류가 데이터 큐비트로 전파되는 방식을 형식화하여, 논리적 연산자를 완전히 커버하기 위해 최소 d개의 애너실라 오류가 필요함을 보였으며, 이는 유효 거리 유지와 관련이 있다.
• HGP 코드의 곱 구조와 코드 이중성에 기반하여 표면 코드의 거리 강건성 성질을 HGP 코드로 확장하였다.
• 논리적 연산자와 안정자들의 곱으로 만들어진 임의의 논리적 연산자에 대해서도 증명을 일반화하여, 이러한 조합에 대해 거리 강건성이 확인되었다.

실험 결과

연구 질문

• RQ1 HGP 코드의 안정자 측정 회로는 애너실라 큐비트에서 발생하는 오류가 전파되더라도 코드의 유효 거리를 유지할 수 있는가?
• RQ2 HGP 코드의 깊이 최적화된 측정 회로는 거리 유지 측면에서도 최적인가?
• RQ3 HGP 코드의 논리적 연산자는 안정자 곱을 거쳐도 애너실라 측정에서 오류가 전파된 후에도 여전히 최소한 거리 d를 유지하는가?
• RQ4 HGP 코드의 비국소적 안정자 구조는 다른 유한률 QLDPC 코드와 달리 측정 과정에서 거리 감소를 방지하는가?

주요 결과

• HGP 코드는 거리에 강건하다: 어떤 유효한 안정자 측정 회로도 유효 거리를 유지한다. 표면 코드와 마찬가지로.
• Tremblay 등(2022)의 깊이 최적화된 회로는 거리 유지 측면에서도 최적이다. 이는 깊이 최적화와 거리 최소화 기준을 동시에 충족한다.
• HGP 코드의 논리적 Z 연산자는 최소 d₁개의 서로 다른 행에 지지를 가지며, 논리적 X 연산자는 최소 d₂ᵀ개의 서로 다른 열에 지지를 가진다. 이는 이들을 완전히 커버하기 위해 최소 d개의 애너실라 오류가 필요함을 보장한다.
• 논리적 연산자를 안정자와 곱하더라도, yⱼ와 aₗ이 각각 H₂ᵀ 및 H₁의 상(image)에 속하지 않는 선형 독립성 덕분에 어느 행이나 열에서 지지가 완전히 제거되지 않는다.
• 증명는 논리적 연산자와 안정자의 모든 조합이 유효 거리를 d 이하로 낮출 수 없음을 확인하여, 모든 논리적 연산자에 대해 거리 강건성이 입증되었다.