Soft decoding for quantum LDPC codes with experimental validation

기술 요약: 실험적 검증을 포함한 양자 LDPC 코드를 위한 소프트 디코딩(Soft Decoding)

문제 정의
결함 허용 양자 컴퓨팅(fault-tolerant quantum computing)에서 디코더는 패리티 검사 측정값에 기반하여 교정값을 계산하는 데 필수적입니다. 하드 디코더(hard decoder)가 단일 교정값을 출력하는 반면, 소프트 디코더(soft decoder)는 여기에 신뢰도 점수를 추가합니다. 이 신뢰도 정보는 **사후 선택(post-selection)**을 가능하게 하며, 이는 낮은 신뢰도를 가진 샷(양자 상태 또는 서브 회로)을 폐기하여 수용된 앙상블의 논리적 오류율을 낮추는 전략입니다.

기존의 양자 저밀도 패리티 검사(qLDPC) 코드용 소프트 출력 디코더는 다음과 같은 한계가 있습니다:

• 표면 코드(Surface codes): 신뢰도는 클러스터링(예: 최소 가중치 완벽 매칭)으로부터 추정될 수 있으나, 이러한 지표는 일반적인 qLDPC 코드에 사용되는 빔 서치(beam search) 디코더에는 직접적으로 적용되지 않습니다.
• 대안적 방법들: 신경망 디코더, 별도의 신데롬 분류기, 또는 반복 디코딩(예: 2R-LEC, 두 라운드 논리 오류 기준)을 사용하는 접근 방식은 종종 추가적인 계산 오버헤드, 추가적인 디코더 호출, 또는 학습된 모델을 필요로 합니다.
• 효율성: 추가적인 디코딩 패스(pass)나 추가적인 모델 학습 없이도 신뢰할 수 없는 결과를 식별할 수 있는 효율적인 신뢰도 지표가 필요합니다.

방법론
저자들은 표준 빔 서치 알고리즘의 내부 실행 데이터로부터 직접 신뢰도 지표를 도출하는 **소프트 빔 서치 디코더(soft beam search decoder)**를 소개하며, 이를 통해 추가적인 계산을 제거합니다.

1. 수렴 반복(Convergence Iteration)을 활용한 신뢰도 지표:
   빔 서치 디코더(파라미터 $I_0, I, R, B$에 의해 제어됨)는 후보 에러 구성에 대해 제한된 탐색을 수행합니다. 저자들은 유효한 교정이 발견되기 전까지 모든 방문된 탐색 경로에서 실행된 신념 전파(Belief Propagation, BP) 반복의 누적 횟수가 효과적인 신뢰도 척도로 작 функция 한다는 것을 관찰했습니다.

   • $s$에 대한 신데롬의 경우, 첫 번째 유효한 교정이 발견되는 BP 반복 시퀀스 내의 위치를 $M(s)$라고 합니다.
   • 가설: 조기 수렴(낮은 $M(s)$)은 높은 디코딩 신뢰도와 상관관계가 있습니다.

2. 사후 선택 규칙:

   • 반복 컷오프 규칙(Iteration-Cutoff Rule): 샷이 $M(s) \le M_{cut}$을 만족하는 경우에만 수용됩니다. 수렴하지 않거나 컷오프를 초과하는 샷은 거부됩니다. 이 규칙은 추가적인 디코더 호출이나 가능도(likelihood) 계산을 요구하지 않습니다.
   • 하이브리드 규칙(Hybrid Rule): 반복 컷오프 단독으로 효과가 떨어지는 코드의 성능을 개선하기 위해, 저자들은 반복 컷오프를 2R-LEC(원래의 가중치 우선순위와 재가중치된 우선순위 간의 논리적 예측 일치 여부를 테스트함) 방법과 결합했습니다.
     • $M(s) \le M_{low}$인 경우: 즉시 수용.
     • $M_{low} < M(s) < M_{high}$인 경우: 2R-LEC 적용 (두 번째 패스 필요).
     • $M(s) \ge M_{high}$인 경우: 거부.
       이 하이브리드 접근 방식은 값비싼 2R-LEC의 사용을 중간 수렴 범위로 제한하여, 평균 디코더 호출 횟수를 $1 + f_{mid}$($f_{mid}$는 중간 범위에 속하는 샷의 비율)로 줄여줍니다.

3. 슬라이딩 윈도우 디코딩(Sliding-Window Decoding):
   반복 컷오프 규칙은 슬라이딩 윈도우 방식을 사용하여 실시간 에러 교정으로 확장됩니다. 샷에 필요한 모든 윈도우가 수렴하고, 모든 윈도우에 걸친 최대 누적 반복 횟수가 컷오프를 만족하는 경우에만 해당 샷이 수용됩니다.

주요 결과
저자들은 회로 수준 시뮬레이션과 실험 데이터의 재분석을 통해 그들의 접근 방식을 검증했습니다.

• 회로 수준 시뮬레이션 (글로벌 디코딩):

  • 다섯 가지 qLDPC 코드(BB90, BB144, Q70, Q102, Q54)에 대해 테스트되었습니다.
  • 물리적 에러율 $p = 10^{-3}$에서, 하이브리드 소프트 디코더는 Q54 코드에 대해 단 0.1%의 샷만을 거부하면서 최대 580배의 논리적 에러 억제를 달성했습니다.
  • BB90 및 BB144의 경우, 반복 컷오프 규칙은 0.1%의 거부율로 각각 124배 및 78배의 억제력을 달성했습니다.
  • 하이브리드 규칙은 전체 2R-LEC 방식에 필요한 평균 BP 반복 횟수의 **32%~65%**만을 사용하면서도 비교된 알고리즘들 중 가장 높은 논리적 에러 억제력을 일관되게 제공했습니다.

• 슬라이딩 윈도우 디코딩 (논리적 측정):

  • "Walking cat" 아키텍처를 위한 Q54 및 Q70 코드를 이용한 에러 감지 측정(EDM)을 시뮬레이션했습니다.
  • 거부 확률을 단 0.5 퍼센트 포인트만 증가시키면서 Q54에 대해 최대 210배의 에러 억제를 달로했습니다.

• 실험적 검증 (IonQ 트랩 이온):

  • 동일한 빔 서치 구성을 사용하되 반복 컷오프 사후 선택을 적용하여, 트랩 이온 양자 컴퓨터(기존 [48]에서 보고됨)의 실험적 메모리 데이터를 재분석했습니다.
  • 사후 선택 전략은 테스트된 다섯 가지 코드 모두(BB5 및 GB4 패밀리)에 대해 신데롬 라운드당 **2.6%~5.6%**의 평균 거부율로 논리 큐비트 수명을 두 배로 늘렸습니다.
  • 이를 통해 다섯 가지 코드 모두를 브레이크이븐(breakeven) 너머의 영역, 즉 논리적 수명이 측정된 물리적 큐비트 수명($3.84 \pm 0.48$ s)을 초과하는 단계로 진입시켰습니다.

의의 및 주장
본 논문은 제안된 소프트 빔 서치 디코더가 qLDPC 코드의 성능을 향상시키는 실용적이고 오버헤드가 적은 방법임을 주장합니다:

1. 추가 계산 제로: 신뢰도 지표는 표준 디코더의 실행으로부터 도출되므로, 추가적인 디코더 호출, 명시적인 가능도 계산, 또는 학습된 모델을 필요로 하지 않습니다.
2. 효율성: 하이브리드 접근 방식은 2R-LEC보다 우수한 에러 억제를 달성하는 동시에 계산 비용(BP 반복 횟수)을 크게 줄입니다.
3. 실험적 영향: 이 방법은 새로운 양자 실험 없이 기존 실험 데이터에 적용할 수 있으며, 논리적 수명을 즉각적으로 개선하여 현재의 qLDPC 메모리 실험에서 브레이크이븐 너머의 성능을 구현할 수 있게 합니다.
4. 아키텍처 통합: 이 접근 방식은 스트리밍 구현(예: walking cat 아키텍처)과 호환되며, 신뢰할 수 없는 자원 상태를 필터링함으로써 논리적 연산(예: 매직 상태 팩토리 및 클리포드 게이트)의 성공 확률을 높일 수 있습니다.

저자들은 이 소프트 디코딩 전략이 현재의 LDPC 기반 결함 허용 아키텍처에 즉시 적용 가능하며, 최소한의 자원 오버헤드로 더 높은 논리적 충실도(fidelity)를 향한 경로를 제공한다고 결론짓습니다.