Forced Gap Post-Selection for Quantum LDPC Codes and their Operations

본 논문은 모호한 샷을 거부하기 위해 강제 상보적 결과로 디코더를 재실행함으로써 고율 양자 LDPC 코드의 논리적 오류율을 크게 개선하는 경량 디코더-무관 사후 선택 전략을 소개하며, 이는 이변수 자전거 코드에서 기존 방법 대비 4 배 이상의 개선을 달성합니다.

핵심

당신이 시끄러운 방을 가로질러 비밀 메시지를 보내려 한다고 상상해 보세요. 양자 컴퓨터 세계에서는 이 '메시지'가 양자 LDPC 코드라는 특수한 코드에 저장된 정보 조각입니다. 이러한 코드들은 메시지를 망치기 전에 오류 (노이즈) 를 잡아내는 고도의 안전망과 같습니다.

그러나 때로는 이 안전망이 작은 오류를 잡는 데 너무 능숙해서, 실제로 큰 실수가 발생했는지 혼란을 겪기도 합니다. 메시지가 여전히 일그러져 있음에도 불구하고 "내가 고쳤어!"라고 말할 수 있습니다. 이것이 논리적 오류입니다.

문제: 안전을 어떻게 알 수 있을까요?

이전보다 단순한 코드들 (예: '서페이스 코드') 에서는 과학자들이 작업을 확인하기 위한 영리한 트릭을 사용했습니다. 오류를 수정하는 컴퓨터 프로그램인 디코더에게 다음과 같이 물었습니다. "방금 당신이 준 답과 정반대인 답이라면 어떨까요? 그 가능성이 얼마나 높을까요?"

만약 '정반대 답'이 '실제 답'과 거의 비슷하게 가능성이 높다면, 디코더는 혼란스러워하며 결과는 의심스럽습니다. 반면 '실제 답'의 가능성이 훨씬 더 높다면 디코더는 확신을 갖습니다. 이 가능성의 차이를 **갭 (Gap)**이라고 부릅니다. 만약 갭이 작다면, 그 결과는 폐기합니다 (이를 **포스트-셀렉션 (post-selection)**이라고 합니다).

하지만 함정이 있습니다: 이 트릭은 단순한 코드에서는 훌륭하게 작동했지만, 논문에서 언급된 72 큐비트 및 144 큐비트 '자전거 (bicycle)' 코드와 같은 새로운 고율 (high-rate) 코드에 적용되면 무너졌습니다. 이러한 새로운 코드들은 동시에 메시지의 많은 다른 부분 (논리적 관측 가능량) 을 가지고 있습니다. 이 모든 것에 대한 가능한 모든 '정반대' 조합을 확인하려는 시도는 영원히 걸릴 뿐만 아니라 너무 많은 컴퓨팅 파워를 요구합니다.

해결책: '강제 갭 (Forced Gap)' 전략

이 논문의 저자들은 혼란을 확인하기 위한 새롭고 더 간단한 방법을 고안했는데, 이를 **강제 갭 포스트-셀렉션 (Forced Gap Post-Selection)**이라고 부릅니다.

간단한 비유를 들어 작동 원리를 설명해 보겠습니다:

1. 기준 실행 (첫 번째 추측):
   탐정 (디코더) 이 단서 (증후군) 를 바탕으로 미스터리를 해결하도록 요청한다고 상상해 보세요. 탐정은 최선의 추측을 제시합니다: "부인이 범인입니다."

2. 강제 실행 ('만약에' 시나리오):
   탐정에게 모든 가능한 용의자를 추측하도록 요청하는 대신, 특정 '만약에' 시나리오를 하나씩 테스트하도록 강요합니다.

   • 실행 1: "좋습니다, 탐정님. 부인이 무죄라고 가정해 보세요. 그럼 누가 범인인가요?"
   • 실행 2: "이제 정원사가 무죄라고 가정해 보세요. 범인은 누구인가요?"
   • ...주요 용의자 모두에 대해 이와 같이 계속합니다.

   디코더는 첫 번째 추측과 다른 답을 찾는 해결책을 모색합니다.

3. 비교 (갭):
   탐정의 첫 번째 추측과 다른 실행들에서 나온 최선의 '강제' 추측을 비교합니다.

   • 첫 번째 추측이 강제된 추측들보다 훨씬 더 가능성이 높다면, 탐정은 확신을 가지고 있습니다. 그 결과를 유지합니다.
   • 첫 번째 추측과 강제된 추측이 거의 동등하게 가능성이 높다면, 탐정은 혼란스러워합니다. 그들의 확신 수준 사이의 '갭'은 작습니다. 이 결과는 폐기합니다.

이것이 큰 문제인 이유

이 논문은 이 전략을 두 가지 특정 양자 코드 (72 큐비트 및 144 큐비트) 에 테스트하여 다음과 같은 인상적인 결과를 발견했습니다:

• 향상된 정확도: 이 방법을 사용하면 동일한 하드웨어와 노이즈 수준을 사용하면서도 이전 방법들에 비해 논리적 오류 발생률을 4 배 이상 줄였습니다.
• 경량화: 이전 방법들은 오류를 확인하기 위해 무겁고 느리며 복잡한 컴퓨팅 단계를 필요로 했습니다. 이 새로운 방법은 하드웨어 칩 (FPGA) 에 친화적인 빠른 효율적인 알고리즘인 '신호 전파 (belief propagation)' 디코더를 사용합니다. 무겁고 느린 트럭에서 민첩하고 빠른 스포츠카로 전환하는 것과 같습니다.
• 효율성: 디코더를 몇 번 더 실행해야 한다 하더라도 (기준 실행 한 번과 각 '강제' 시나리오 한 번씩), 총 작업량은 관리 가능하며 병렬로 수행할 수도 있습니다 (팀의 탐정들이 서로 다른 '만약에' 시나리오를 동시에 작업하는 것과 같습니다).

결론

저자들은 양자 컴퓨터를 위한 '의심계 (suspicion meter)'를 만들었습니다. 이를 실행하기 위해 슈퍼컴퓨터가 필요하지 않습니다. 단지 디코더에게 몇 가지 특정 '만약에' 시나리오를 시도해 보라고 요청할 뿐입니다. 디코더가 올바른 답과 잘못된 답을 명확히 구분할 수 없다면, 시스템은 "확신이 서지 않으니, 이건 폐기하고 다시 시도하자"라고 말합니다.

이를 통해 양자 컴퓨터는 특히 고급 양자 작업에 필요한 특수 자원 (예: '매직 상태') 을 준비할 때 훨씬 더 깨끗하고 신뢰할 수 있는 결과를 생성할 수 있습니다. 이 논문은 특히 15-to-1 프로토콜과 같은 프로토콜을 위한 매직 상태 증류와 같은 오프라인 자원 상태 생성에 이것이 유용하다고 명시적으로 언급하고 있습니다.

기술 요약

기술 요약: 양자 LDPC 코드 및 그 연산을 위한 강제 간격 사후 선택

문제 제기
고율 양자 저밀도 패리티 검사 (LDPC) 코드는 표면 코드에 비해 상당한 공간 오버헤드 이점을 제공하지만, 효과적인 사후 선택 전략을 구현하는 데에는 어려움이 따릅니다. 표면 코드에서는 가장 가능성 높은 보정과 논리적으로 보완적인 보정을 비교하여 로그 가능도를 측정함으로써 디코딩 신뢰도를 정량화하는 "보완 간격 (complementary gap)"이 사용됩니다. 그러나 이 기술은 두 가지 주요 이유로 일반적인 양자 LDPC 코드에는 직접 적용되지 않습니다:

1. 디코더 비호환성: 일반적인 양자 LDPC 코드는 표면 코드 간격 계산의 핵심인 매칭 디코더를 사용하여 디코딩할 수 없습니다.
2. 조합적 폭발: 고율 코드는 많은 논리 관측량을 갖습니다 ($k$ 개의 논리 큐비트는 $4k$ 개의 서로 다른 논리 클래스를 의미함). 사후 선택을 위한 단순한 접근 방식은 두 번째로 가능성 높은 결과를 찾기 위해 모든 논리 클래스에서 디코딩을 수행해야 하므로, 이 과정은 계산적으로 불가능해집니다 (예: $k=12$ 인 72-큐비트 코드의 경우 $2^{12}$ 개의 클래스).

방법론: 강제 간격 사후 선택
저자들은 많은 논리 관측량을 가진 고율 양자 LDPC 코드에 적용 가능한 일반적인 사후 선택 방법인 "강제 간격 (Forced Gap)" 전략을 제안합니다. 이 접근법은 디코더에 구애받지 않지만, 특정 논리 결과를 갖는 해를 찾도록 디코더를 강제할 수 있는 능력에 의존합니다.

이 전략은 세 단계로 진행됩니다:

1. 기준 실행: 관측된 선포드 $\sigma$에 대해 디코더를 실행하여 논리 클래스 $L^{(0)}$ 를 갖는 기준 보정 $e^{(0)}$ 을 생성합니다. 디코더가 수렴하지 않는 경우 ("소거"), 해당 샷은 즉시 기각됩니다.
2. 강제 실행: $K$ 개의 논리 관측량 각각에 대해 디코더를 $K$ 번 다시 실행합니다. $i$ 번째 실행에서는 디코딩 문제를 수정하여 행동 행렬 $A$ 의 $i$ 번째 행 (비트 반전 $1 \oplus L^{(0)}_i$ 포함) 을 패리티 검사 행렬 $H$ 에 추가합니다. 이는 디코더가 $i$ 번째 논리 관측량이 기준과 보완적인 결과를 갖는 보정 $e^{(i)}$ 를 찾도록 강제합니다.
3. 간격 계산 및 결정: 알고리즘은 모든 수렴된 해를 수집하여 발견된 서로 다른 논리 클래스의 집합을 식별합니다. "간격 (Gap)"은 가장 가능성 높은 논리 클래스 $\lambda^{(0)}$ 와 두 번째로 가능성 높은 서로 다른 논리 클래스 $\lambda^{(1)}$ 사이의 로그 가능도 차이로 계산됩니다:
   $$\text{Gap} := \log P[\lambda^{(0)}] - \log P[\lambda^{(1)}]$$
   모든 강제 실행이 수렴하지 않으면 간격은 $\infty$ 로 설정되어 (수락됨), 기준 실행이 실패하면 간격은 0 이 됩니다 (기각됨). 임계값 $T$ 가 적용되며, $\text{Gap} < T$ 인 샷은 기각됩니다.

이 방법은 논리 관측량의 수에 비례하여 선형적으로 확장됩니다 ($K+1$ 번 실행) 지수적으로 ($2^K$) 확장되는 것이 아니므로 계산적으로 실행 가능합니다.

주요 기여

• 보완 간격의 일반화: 이 연구는 표면 코드에서의 보완 간격 개념을 여러 논리 큐비트를 가진 일반적인 고율 양자 LDPC 코드로 확장합니다.
• 효율적인 알고리즘: 개별 관측량의 편차만 강제함으로써 모든 논리 클래스의 불가능한 열거를 피하는 전략을 도입하여, 계산 부하를 $K$ 에 대해 지수형에서 선형형으로 줄입니다.
• 디코더 무관성: 이 전략은 수렴하지 않을 수 있는 반복적 디코더 (예: 베이지안 전파) 와 함께 작동하도록 설계되었으며, 수렴 실패를 방법의 실패가 아닌 특정 신호 (소거 또는 무한 간격) 로 처리합니다.
• 경량 구현: 이전의 고성능 전략들이 고지연 오더드 스태티스틱 디코딩 (OSD) 에 의존하는 것과 달리, 이 방법은 FPGA 친화적인 베이지안 전파 (특히 Relay-BP 디코더) 에 의존합니다.

결과
이 전략은 Relay-BP 디코더를 사용하여 다음과 같은 환경에서 벤치마크되었습니다:

• 유휴 회로: 72-큐비트 [[72, 12, 6]] 및 144-큐비트 [[144, 12, 12]] 이변수 자전거 (BB) 코드.
• 논리 연산: 144-큐비트 코드를 위한 수술 장치 (모듈 내 $X_1$, $Y_1$ 및 모듈 간 $X_1X_1$).

주요 발견 사항은 다음과 같습니다:

• 오류율 개선: 물리적 잡음 $p=10^{-3}$ 에서 72-큐비트 코드를 사용할 때, 이 전략은 1% 사후 선택률에서 라운드당 논리 오류율을 약 $3.5 \times 10^{-8}$ 까지 달성합니다. 이는 유사한 조건 하에서 이전 사후 선택 전략들 (예: [LEB25] 의 약 $10^{-5}$ 및 [Xie+26] 의 약 $1.5 \times 10^{-7}$) 보다 4 배 이상 개선된 것입니다.
• 사후 선택률: 성능 향상은 낮은 사후 선택률 (1% 미만) 에서 가장 두드러집니다. 논리 오류율 곡선은 약 1% 기각 후 평탄화되는데, 이는 남은 샷들이 무한 간격 (기준은 수렴했으나 강제 실행은 실패) 이거나 소거이기 때문입니다.
• 기존 연구와의 비교: 다른 전략들 (예: [LEB25] 및 [Xie+26] 의 것들) 은 더 높은 사후 선택률 (예: 5~30%) 에서도 계속 개선될 수 있지만, 종종 더 계산 집약적인 디코더 (BP-OSD) 를 필요로 합니다. 강제 간격 전략은 계산 오버헤드가 훨씬 낮은 저기각 영역에서 우수한 성능을 제공합니다.

의의 및 주장
이 논문은 강제 간격 전략이 고율 양자 LDPC 코드의 사후 선택을 위한 "간단하고 일반적인" 해결책을 제공하며, 경량 연산으로 개선된 논리 오류율을 제공한다고 주장합니다. 저자들은 이를 오프라인 리소스 상태 생성 작업 (예: 매직 상태 증류) 과 같이 사후 선택이 가능한 시나리오, 특히 운영 잡음이 지배적인 경우에 대한 실용적인 도구로 위치시킵니다.

저자들은 테스트된 유휴 회로의 경우 이 전략이 1% 사후 선택률을 넘어서는 영역에서는 크게 개선되지 않는다고 겸손하게 지적하며, 향후 연구는 다른 디코딩 기술 (예: OSD 또는 감쇄) 과 결합하여 수렴하지 않는 강제 실행으로 인한 오류 바닥을 해결할 수 있다고 언급합니다. 또한 이 전략이 현재 코드 크기에 효과적이지만, 더 큰 코드 거리와 더 낮은 물리적 오류율로 확장하려면 직접적인 몬테카를로 시뮬레이션 대신 희귀 사건 분석을 통해 추가 조사가 필요하다고 강조합니다.