⚛️ quantum physics

Quantum LDPC codes with design rate 1/5 and good performance below 1000 physical qubits

이 논문은 비가환 대칭성을 가진 고전 부호의 균형 생성물(balanced products)을 통해 설계율 1/5 및 체크 가중치 9를 갖는 새로운 상수율 양자 LDPC 부호 군을 소개하며, 이는 맞춤형 신드롬 추출 및 효율적인 복호를 사용하여 실제적인 노이즈 조건 하에서 1000개 미만의 물리적 큐비트 미만에서 고성능 결함 허용 능력을 달성한다.

원저자: Yifan Hong

게시일 2026-07-31

📖 4 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Yifan Hong

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

당신이 선반이 흔들리고, 불빛이 깜빡이며, 사서들이 가끔 클립보드를 떨어뜨리는 상황에서도 단 한 권의 책도 잃어버리지 않는 도서관을 만들려고 한다고 상상해 보십시오. 이것이 바로 **결함 허용 양자 컴퓨팅(fault-tolerant quantum computing)**의 꿈입니다. 여기서 "책"은 양자 비트(큐비트)인데, 이들은 매우 취약하여 아주 작은 열기나 미세한 자기장에도 정보가 뒤섞일 수 있습니다. 이를 구하기 위해 과학자들은 **양자 오류 정정(Quantum Error Correction)**을 사용합니다. 이것은 단순히 책을 한 번 쓰는 것이 아니라, 하나의 거대한 정교한 패턴을 따라 여러 물리적 페이지에 걸쳐 글을 쓰는 마법 주문과 같습니다. 만약 한 페이지가 찢어지거나 얼룩지더라도, 주문은 주변 페이지들을 살펴보고 원래의 텍스트가 무엇이었어야 했는지 알아내어, 책을 직접 읽지 않고도(직접 읽으면 마법이 파괴됩니다) 실수를 바로잡을 수 있습니다.

문제는 이러한 "주문"을 사용하는 데 보통 엄청난 양의 추가 페이지가 필요하다는 점입니다. 오랫동안 가장 인기 있었던 주문인 **표면 코드(Surface Code)**는 매우 안전하지만 극도로 낭비적인 도서관과 같았습니다. 유용한 정보 하나를 저장하기 위해 수백 개의 물리적 페이지가 필요할 수도 있었습니다. 과학자들은 이보다 더 효율적이면서도 똑같이 안전한 주문, 즉 **상수율 코드(constant-rate code)**라 불리는 개념을 찾아 헤매왔습니다. 또한 그들은 이 주문들이 트랩 이온(trapped ions)이나 부유 원자(floating atoms)처럼 특정 규칙에 따라 부품을 움직여야 하는 실제 기계에서도 작동할 수 있어야 했습니다. 큰 질문은 이것이었습니다. 과연 1,000페이지 미만의 작은 방에 들어갈 만큼 효율적이면서도, 실제 실험실의 무질서한 현실을 견뎌낼 만큼 강력한 주문을 찾을 수 있을 것인가?

이 논문은 이 "작은 방"에 딱 맞으면서도 믿을 수 없을 정도로 강력하게 설계된 ZSZ-LP 코드라는 새로운 형태의 마법 주문을 소개합니다. NVIDIA에서 연구하는 저자들은 단순히 이론을 꿈꾼 것이 아니라, 이 코드들의 구체적인 사례를 구축하고 컴퓨터 시뮬레이션으로 테스트하여 노이즈에 얼마나 잘 견디는지 확인했습니다. 그들은 단 몇 백 개의 물리적 큐비트만으로도 정보 저장 오류율을 매우 낮게 유지할 수 있다는 것을 발견했으며, 이는 잠재적으로 테라큐옵(teraquop) 시대의 문을 여는 것을 의미합니다. 테라큐옵이란 1조 번의 신뢰할 수 있는 양자 연산을 수행하는 단계를 일컫는 용어입니다. 이는 복잡한 암호를 해독하거나 새로운 약물을 시뮬레이션하는 것과 같이, 이전에는 수백만 개의 큐비트가 필요할 것으로 생각되었던 거대하고 세상을 바꿀 계산들을 수행하는 데 중요한 진전입니다.

이 새로운 코드들의 비결은 **비가환 군(non-abelian groups)**을 이용한 영리한 수학적 트릭에 있습니다. 이를 이해하기 위해 무도회장을 상상해 보십시오. 기존의 더 단순한 코드(가환 군, abelian)에서는 무용수들이 엄격한 규칙을 따릅니다. 예를 들어 앨리스가 왼쪽으로 움직이고 나서 밥이 앞으로 움직이는 것은, 밥이 앞으로 움직이고 나서 앨리스가 왼쪽으로 움직이는 것과 같습니다. 이는 예측 가능하지만, 춤의 복잡성을 제한합니다. 새로운 코드는 "뒤틀린" 무도회장(비가환 군)을 사용하며, 여기서는 순서가 중요합니다. 앨리스-다음-밥은 밥-다음-앨리스와 다릅니다. 이 추가적인 뒤틀림 덕분에 코드는 훨씬 더 효율적이고 조밀해질 수 있습니다. 저자들은 이 뒤틀림을 사용하여 설계율(design rate) 1/5의 코드를 만들어냈는데, 이는 물리적 큐비트 5개당 1개의 유용한 논리적 큐비트를 저장할 수 있음을 의미합니다. 이는 단 하나의 정보를 위해 10개 또는 20개의 물리적 큐비트가 필요했던 기존 방식보다 크게 개선된 것입니다.

논문은 이 코드들이 시뮬레이션에서 놀라울 정도로 잘 작동함을 보여줍니다. 기계의 오류를 나타내는 **0.1%**의 노이즈 수준에서, 이 새로운 코드들은 테라큐옵 시대를 수행할 준비가 될 수 있는 상태에 도달할 수 있습니다. 구체적으로, 550개의 물리적 큐비트(오류 체크를 위한 몇 개 추가 포함)를 사용하는 ZSZ-LP-550 코드는 메모리 벤치마크에서 라운드당 약 7 × 10⁻¹⁴의 논리적 오류율을 보였습니다. 이는 믿기 힘들 정도로 낮은 수치입니다. 이는 만약 이 코드로 컴퓨터를 만든다면, 정보가 손상되지 않고 매우 오랫동안 유지될 수 있음을 시사합니다. 또한 저자들은 중성 원자 하드웨어의 속도에 잘 맞는 30~60 밀리초 내에 원자들을 이동시키는 그리디 스케줄러(greedy scheduler)를 사용하여 오류를 "읽어내는" 방법도 설계했습니다.

하지만 저자들은 이 결과가 실제 실험실에서 만들어진 물리적 기계가 아니라 시뮬레이션에서 나온 것임을 주의 깊게 명시하고 있습니다. 그들은 강력한 GPU를 사용하여 오류가 발생한 위치를 찾아내는 초고속 탐정 역할을 하는 Relay-BP라는 디코딩 알고리즘을 실행했습니다. 시뮬레이션에 따르면 이 코드들은 견고하며, 약 **0.5%**의 **의사 임계값(pseudothreshold)**을 가집니다. 즉, 기계의 오류율이 이 수치보다 낮게 유지된다면 코드가 성장할수록 성능이 더욱 좋아진다는 뜻입니다. 하지만 논문은 또한 트레이드오프(trade-off)를 지적합니다. 이 코드는 이 복잡한 "뒤틀린" 수학을 사용하기 때문에, 더 단순하고 오래된 코드들보다 물리적으로 배선하기가 더 어렵습니다. 큐비트 간의 연결이 더 복잡하여 실제 하드웨어를 구축하는 데 더 큰 도전 과제가 됩니다.

연구진은 또한 이 코드들이 특정 논리 연산(예: 비트를 뒤집거나 위상을 변화시키는 것)을 매우 효율적으로 수행할 수 있게 해주는 특별한 대칭성을 가지고 있다는 것을 발견했습니다. 이는 마치 종이의 가장자리를 완벽하게 맞추기 위해 종이를 접는 것과 같습니다. 이는 양자 컴퓨터의 서로 다른 부분들을 연결하는 데 필요한 "수술"을 훨씬 쉽게 만들 수 있습니다. 비록 모든 면에서 완벽한 코드를 찾지는 못했지만(일부 버전은 약간 낮은 거리(distance)를 가지거나 더 복잡한 배선을 요구함), 저자들은 1,000 큐비트 미만의 코드가 차세대 양자 컴퓨터에 필요한 고성능 수준에 도달할 수 있음을 입증했습니다.

요약하자면, 이 논문은 거대한 일을 하기 위해 도시 크기의 양자 컴퓨터가 필요하지 않을 수도 있다는 것을 증명하는 중요한 진전입니다. 영리한 수학적 뒤틀림을 사용하여, 저자들은 작은 서버 랙 크기의 기계가 잠재적으로 오늘날의 슈퍼컴퓨터로는 불가능한 문제들을 해결할 수 있는 열쇠를 쥐고 있을 수 있음을 보여주었습니다. 이 시뮬레이션에서 실제 작동하는 기계로 가는 길은 여전히 멀고 공학적 장애물로 가득 차 있지만, 그들이 그려낸 지도는 매우 유망해 보입니다.

기술 요약: 설계율 1/5 및 1000개 미만의 물리적 큐비트에서 우수한 성능을 보이는 양자 LDPC 코드

문제 정의

상수율(constant-rate) 양자 저밀도 패리티 검사(qLDPC) 코드는 점근적 한계 내에서 일정한 공간 오버헤드로 결함 허용 양자 컴퓨팅(FTQC)을 약속하지만, 유용한 성능을 보이는 유한 길이 코드 인스턴스를 발견하는 것은 여전히 중대한 과제로 남아 있습니다. 기존의 고율 qLDPC 코드는 유용한 오류 정정 임계값에 도달하기 위해 수천 개의 물리적 큐비트를 필요로 하거나, 아벨 군(abelian groups)을 사용하여 구축될 경우 최소 거리가 낮아지는 경향이 있습니다. 또한, 이종 아키텍처 간에 코드 수술(code surgery)을 통해 서로 다른 오류 정정 코드를 연결하는 것은 쉽지 않으며, 코드 파라미터(율, 거리)와 구현 제약 조건(체 가중치, 연결성) 사이의 트레이드오프는 트랩 이온 및 중성 원자 프로세서와 같은 근접 미래 하드웨어에서 매우 절실합니다. 구체적인 과제는 설계율이 최소 1/5 이상이고, 좋은 유한 길이 성능(테라큐옵(teraquop) 메모리 영역에 근접)을 가지며, 현실적인 회로 수준 노이즈 하에서 관리 가능한 물리적 오버헤드(<1000 큐비트)를 갖는 qLDPC 코드를 구축하는 것입니다.

방법론

저자들은 비아벨 "ZSZ" 군 대칭을 공유하는 고전적 LDPC 코드의 **균형 생성물(balanced product)**을 통해 구축된 새로운 양자 LDPC 코드 계열인 ZSZ-LP 코드를 소개합니다.

1. 코드 구축

군 구조: 구축에는 ZSZ 군( $Z_{\ell_1} \rtimes_q Z_{\ell_2}$ )이 사용됩니다. 이는 반직적(semidirect product)으로 정의된 메타사이클릭 군(metacyclic group)입니다. 비아벨 "트위스트" 인자 $q$ 는 매우 중요합니다. 저자들은 이론적으로 이 5-블록 구축에서 아벨 군이 낮은 가중치의 시지지(syzygy)로 인해 낮은 (상수) 최소 거리를 초래함을 입증하였으며, 비아벨 군이 이러한 장애물을 우회할 수 있음을 보여줍니다.
고전적 시드(Classical Seeds): 과정은 ZSZ 군 대수 기반의 고전적 (3, 6)-정규 LDPC 코드 쌍(설계율 1/2)을 선택하는 것부터 시작됩니다. 이들은 좌측 정규(left-regular) 및 우측 정규(right-regular) 삼항식( $a, b$ 는 좌측 코드용; $c, d$ 는 우측 코드용)의 2-블록 군 대수(2BGA) 코드로 구축됩니다.
균형 생성물(Balanced Product): 양자 코드는 이 고전적 시드 코드들의 균형 생성물을 취함으로써 형성됩니다. 이는 패리티 검사 행렬 $H_X$ 와 $H_Z$ 가 크기 $5\ell \times 5\ell$ ( $\ell = \ell_1 \ell_2$ )인 5-블록 CSS 구조를 갖는 결과를 낳습니다. 설계율은 $1/5$ 입니다.
탐색 전략: 삼항식을 선택하기 위해 필터링된 무작위 탐색이 사용됩니다. 파이프라인은 태너 그래프의 가irth(짧은 사이클 방지)와 최소 거리(QDistEvol 및 정확한 SAT 솔버를 통해 추정)를 기준으로 후보를 필터링합니다. 저자들은 피할 수 없는 4-사이클을 방지하기 위해 대칭적 선택( $a=c, b=d$ )을 의도적으로 피합니다.

2. 논리 연산자 및 수술

동변 기저(Equivariant Bases): 고전적 시드의 군 대칭성을 활용하여, 저자들은 단일 생성자 최소(One-Generator-Minimal, OGM) 논리 기저(모든 연산자가 최소 가중치 $d$ 를 가짐)와 단일 생성자 심플렉틱(One-Generator-Symplectic, OGS) 기저(심플렉틱하지만 잠재적으로 더 높은 가중치를 가짐)를 구축합니다.
코드 수술: 동변적 성질은 논리적 파울리 연산자를 측정하기 위한 효율적인 "수술 가젯(surgery gadgets)" 구축을 가능하게 합니다. 두 가지 유형이 제시됩니다: 단일 논리 측정을 위한 랜덤 그래프 안실(ancilla)과 병렬 측정을 위한 하이퍼그래프 생성물(HGP) 안실입니다.

3. 하드웨어 적응

증후(Syndrome) 추출: 저자들은 재구성 가능한 원자 배열에 맞춤화된 증후 추출 스케줄을 제안합니다. 데이터 큐비트는 격자에 고정되어 있고, 증후 큐비트는 음향 광학 편향기(AOD)를 통해 이동합니다. 그리디 스케줄러(greedy scheduler)는 CNOT 게이트를 위해 증후 원자가 데이터 원자와 정렬되는 데 필요한 라우팅 비용(AOD 채널 및 재배열 시간)을 최소화합니다.
디코딩: 저자들은 GPU 가속 릴레이-신념 전파(Relay-Belief-Propagation, Relay-BP) 알고리즘을 사용하여 코드를 디코딩합니다.

주요 기여

새로운 코드 계열 (ZSZ-LP): 비아벨 ZSZ 군 위에서 구축된 설계율 1/5 및 체 가중치 9를 가진 qLDPC 코드 계열의 도입.
유한 길이 성능: 이 코드들이 블록 길이 $n < 1000$ 에서 높은 메모리 효율성( $kd^2/n$ )과 낮은 논리 오류율(LER)을 달축함을 입증했습니다. 특히 ZSZ-LP-320 및 ZSZ-LP-550과 같은 코드는 물리적 오류율 $p \le 0.1\%$ 에서 기가큐옵(gigaquop) 및 테라큐옵(teraquop) 영역에 도달합니다.
이론적 통찰:
- 아벨 군이 이 5-블록 구축에서 낮은 최소 거리를 초래함을 증명하여 비아벨 군 사용의 당위성을 입증함.
- 고전적 및 양자 변형 모두에 대한 태너 가irth 및 최소 거리에 대한 상한 유도.
- 양자 코드에서의 잔류 중심 자가동형(residual center automorphisms) 식별 (전체 군 대칭보다 작지만 여전히 유용함).
구현 로드맵:
- 재구성 가능한 원자 배열을 위한 명시적인 증후 추출 스케벨 구축 및 재배열 시간(라운드당 30–60 ms로 추정) 산출.
- 현대적인 GPU에서의 저지연 디코딩(평균 1–2 ms) 입증를 통해 근접 미래 아키텍처에서의 실시간 디코딩 가능성 제시.
고전적 코딩의 발전: ZSZ-2BGA 고전적 시드 코드가 AWGN 채널 하에서 표준 (3, 6)-정규 앙상블(예: PEG 또는 구성 모델)보다 통계적으로 더 높은 최소 거리와 더 나은 오류 플로어 성능을 보임을 입증함.

결과

메모리 효율성: ZSZ-LP 코드의 $kd^2/n$ 지표는 표면 코드(surface code)를 크게 상회하며, 블록 길이 $n < 1000$ 에서 다른 고율 qLDPC 제안들(BB, GB, QC-LP)과 경쟁하거나 그보다 우수합니다.
오류 정정: 유휴 시간이 없는(idling-free) 회로 수준 탈분극 노이즈( $p=0.1\%$ ) 하에서, ZSZ-LP-550 코드(550 데이터 큐비트, 440 안실 큐비트)는 외삽된 큐비트당 라운드당 LER $\approx 7 \times 10^{-14}$ 를 달성하여 잠재적으로 테라큐옵 영역에 도달할 수 있습니다.
임계값: 테스트된 노이즈 모델 하에서 ZSZ-LP 코드에 대해 약 **0.5%**의 의사 임계값(pseudothreshold)이 관찰되었습니다.
디코딩 지연 시간: GPU Relay-BP 디코딩은 550 큐비트까지의 코드에 대해 1–2 ms의 평균 지연 시간을 달성하여, 중성 원자 및 트랩 이온 시스템의 타이밍 제약 조건 내에 충분히 들어옵니다.
수술: 논리적 기저의 동변성이 그래프 기반 및 HGP 수술 가젯의 효율적인 논리 연산자 측정을 가능하게 함을 벤치마킹했습니다.

의의 및 주장

본 논문은 ZSZ-LP 코드를 근시일 내에 일정한 공간 오버헤드로 결함 허용 양자 컴퓨터를 실현하기 위한 실질적인 단계로 포지셔닝합니다. 저자들은 이 코드들이 물리적 큐비트 1000개 미만에서 설계율 $\ge 10\%$ 를 가지면서 유휴 시간이 없는 회로 수준 노이즈 하에서 기가큐옵 및 테라큐옵 메모리 영역에 도달하는 최초의 qLDPC 코드라고 주장합니다.

이 연구는 트레이드오프를 강조합니다: 아벨 구조에서 발견되는 큰 자가동형(transversal gate를 용이하게 함)을 희생하는 대신, 저자들은 유한 길이 거리와 메모리 효율성을 크게 개선했습니다. 저자들은 현재의 구축 방식이 아벨 유사체(예: BB 코드)에 비해 더 복잡한 연결성과 재배열 오버헤드를 요구한다는 점을 겸허히 언급합니다. 그러나 메모리 효율성과 거리에서의 성능 향상은 이동 가능한 큐비트를 가진 아키텍처에 매우 매력적인 후보가 되게 합니다. 저자들은 이러한 결과가 상수율 qLDPC 코드의 실용성을 진전시키며, 특히 재구성 가능한 원자 배열에 기반한 근접 미래 FTQC 아키텍처를 위한 구체적인 경로를 제공한다고 결론짓습니다.