Demonstration of low-overhead quantum error correction codes

기술 요약: 저오버헤드 양자 오류 정정 코드의 시연

문제 정의
양자 컴퓨터는 복잡한 계산 작업에서 고전적 기계를 능가할 잠재력을 가지고 있지만, 양자 정보의 취약성과 양자 연산의 오류 발생 가능성은 대규모 결함 허용(fault-tolerant) 시스템을 구축하는 데 있어 상당한 장벽이 됩니다. 양자 오류 정정(QEC)은 물리적 큐비트에 논리적 큐비트를 중복 인코딩함으로써 결함 허용을 달성하는 데 필수적입니다. 그러나 기존의 많은 QEC 코드, 특히 널리 연구되는 표면 코드(surface code)의 경우 낮은 인코딩 효율이라는 결정적인 한계가 있습니다. 표면 코드에서 인코딩 비율은 $1/d^2$ (여기서 $d$는 코드 거리)로 스케일링되며, 이는 대규모 구현 시 감당하기 어려운 수준의 높은 자원 오버헤드를 초래합니다. 이변 바이크리클(bivariate bicycle, BB) 코드와 같은 양자 저밀도 패리티 검사(qLDPC) 코드는 훨씬 높은 인코딩 효율과 대등한 오류 임계값을 제공하지만, 이들의 실험적 실현은 엄격한 하드웨어 요구 사항으로 인해 제약을 받아왔습니다. 구체적으로, BB 코드는 기존의 2차원 초전도 아키텍처의 능력을 넘어서는 높은 연결성과 장거리 결합을 요구합니다.

방법론
저자들은 장거리 결합된 트랜스몬 큐비트를 특징으로 하는 새로운 32-큐비트 초전도 프로세서인 "Kunul" 상에서 두 가지 저오버헤드 qLDPC 코드를 실험적으로 시연했다고 보고합니다.

• 하드웨어 아키텍처: Kunlun 프로세서는 최대 6.5mm에 달하는 장거리 연결을 포함하여 84개의 조절 가능한 커플러를 갖춘 32-큐비트 정사각형 격자를 사용합니다. 이 설계는 평면 아키텍처상에서 멀티 커플러 크로스오버를 허용하기 위한 중첩된 커플러와 에어 브리지(air-bridge)를 통해 구현된, 최대 큐비트 차수가 6인 토러스 연결성 토폴로지를 지원합니다.
• 구현된 코드:
  1. 거리-4 이변 바이크리클(BB) 코드: 파라미터 $[[18, 4, 4]]$로, 18개의 데이터 큐비트에 4개의 논리 큐비트를 인코딩합니다.
  2. 거리-3 qLDPC 코드: 파라미터 $[[18, 6, 3]]$로, 18개의 데이터 큐비트에 6개의 논리 큐비트를 인코딩합니다.
• 실험 프로토콜: 연구팀은 비국소적 가중치-6 안정기(nonlocal weight-6 stabilizer)를 측정하기 위해 효율적인 신드롬 추출 회로를 실행했습니다. 이 회로는 데이터 큐비트를 초기화하고, 디페이징(dephasing)을 완화하기 위한 단일 큐비트 게이트(동적 디커플링 포함)와 교차되는 7개의 CZ 게이트 레이어를 수행한 후, 체크 큐비트를 판독하는 과정을 포함합니다.
• 오류 특성화: 프로세서는 병렬 단일 큐비트 게이트에 대해 99.95%, 병렬 CZ 게이트(로컬 및 장거리 모두)에 대해 99.22%의 평균 충실도(fidelity)를 보여주었습니다. 판독 오류는 2-상태(two-state)의 경우 1.6%, 3-상태(three-state) 구별의 경우 6.6%로 측정되었습니다.
• 디코딩: 오류 신드롬은 회로 기반 노이즈 모델까지 확장된 순서 통계 디코더를 결합한 신념 전파(belief propagation, BP-OSD)를 사용하여 디코딩되었습니다. 논리적 오류율은 여러 사이클에 걸쳐 교정된 논리 상태를 초기 인코딩된 상태와 비교하여 계산되었습니다.

주요 결과

• 논리적 오류율:
  • 거리-4 BB 코드의 경우, 사이클당 논리 큐비트당 논리적 오류율은 $(8.91 \pm 0.17)\%$로 측정되었습니다.
  • 거리-3 qLDPC 코드의 경우, 사이클당 논리 큐비트당 논리적 오류율은 $(7.77 \pm 0.12)\%$였습니다.
• 안정기 성능: 가중치-6 안정기를 측정하는 과정에서의 평균 실험적 오류는 $(8.1 \pm 2.8)\%$로 추정되었습니다. 오류 탐지 확률은 표면 코드보다 높게 관찰되었으며(Z-유형 및 X-유형 안정기에 대해 각각 약 0.319 및 0.318), 이는 가중치-6 성질의 안정기에 기인합니다.
• 인코딩 효율: 구현된 BB 코드는 1/8의 인코딩 비율을 달성했습니다. 저자들은 네 개의 거리-4 표면 코드를 구현하려면 124개의 물리적 큐비트가 필요하며, 이는 그들의 거리-4 BB 구현(총 32 큐비트, 18 데이터 + 14 체크)에 사용된 큐비트 수의 거의 4배에 달한다고 언급했습니다.
• 시뮬레이션 vs. 실험: 현재의 물리적 오류율을 기반으로 한 시뮬레이션은 논리적 오류율이 현재 코드 거리와 함께 증가함을 나타내며, 이는 시스템이 논리적 오류가 물리적 오류보다 낮아지는 "브레이크이븐(break-even)" 지점에 아직 도달하지 못했음을 시사합니다. 오류 억제 단계로의 전환은 물리적 오류율이 약 0.5($s=0.5$) 배 감소할 때 일어날 것으로 예측됩니다.

의의 및 주장
본 논문은 장거리 결합된 초전도 프로세서를 사용하여 다양한 qLDPC 코드를 구현하는 것이 가능하다는 것을 입증한다고 주장합니다. 거리-4 BB 코드와 거리-3 qLDPC 코드를 성공적으로 시연함으로써, 본 연구는 대규모 저오버헤드 양자 오류 정정을 향한 중요한 단계가 되었습니다. 저자들은 동일한 수의 논리 큐비트와 코드 거리에 대해 표면 코드와 비교했을 때 인코딩 오버헤드를 3~4배 절감했음을 강조합니다.

저자들은 현재의 결함 허용 상태에 대해 겸허한 어조를 유지하며, 실험에서의 논리적 오류율이 물리적 오류율보다 여전히 높다는 점을 인정했습니다. 그들은 브레이크이븐 지점 도달 및 그 이상의 발전을 위해서는 더 높은 충실도의 2-큐비트 게이트(더 긴 거리에서의), 더 빠르고 정확한 판독, 그리고 더 효율적인 누설 제거(leakage removal) 방법 등 추가적인 기술적 개선이 필요하다고 식별했습니다. 또한, 범용 결함 허용 논리 게이트 세트의 구현은 본 연구에서 제시된 표면 코드나 qLDPC 코드 모두에서 아직 시연되지 않은 중대한 과제로 남아 있다고 언급했습니다. 이 연구는 향후 저오버헤드 QEC의 확장에 필요한 하드웨어 역량에 대한 기초적인 시연 역할을 합니다.