⚛️ quantum physics

High-rate qLDPC processors

이 논문은 비가환 군(non-abelian groups)에 기반하여 전통적인 거리 한계를 극복함으로써 중성 원자 및 초전도 하드웨어에서 높은 처리량 성능과 실시간 디코딩 능력을 입증한, 고율 qLDPC 프로세서 코드를 위한 새로운 계열인 "mitten codes"를 소개한다.

원저자: Aditya Bhardwaj, Muzhou Ma, Nadine Meister, Robbie King, Dolev Bluvstein, John Preskill, Madelyn Cain, Qian Xu, Hsin-Yuan Huang

게시일 2026-08-03

📖 6 분 읽기🧠 심층 분석

CC BY 4.0

원저자: Aditya Bhardwaj, Muzhou Ma, Nadine Meister, Robbie King, Dolev Bluvstein, John Preskill, Madelyn Cain, Qian Xu, Hsin-Yuan Huang

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

당신은 일반적인 컴퓨터는 결코 할 수 없는 문제들, 예를 들어 풀 수 없는 암호를 해독하거나 새로운 의약품을 시뮬레이션하는 것과 같은 문제를 해결할 수 있는 슈퍼컴퓨터를 만들려고 상상하고 있습니다. 이것이 양자 컴퓨팅의 꿈입니다. 하지만 함정이 있습니다. 이 컴퓨터들이 사용하는 아주 작은 입자인 큐비트(qubit)는 믿을 수 없을 정도로 취약합니다. 아주 작은 열기, 무작위 진동, 심지어 우주선(cosmic ray)조차도 이들이 보유한 정보를 뒤섞어버려 실수를 유발할 수 있습니다. 이는 마치 허리케인 속에서 카드 집을 짓는 것과 같습니다. 이 기계들을 유용하게 만들기 위해, 과학자들은 데이터 주위에 "포스 필드(force field)"를 구축해야 합니다. 즉, 실수를 끊임없이 확인하고 오류가 퍼지기 전에 수정하는 **오류 정정(error correction)**이라는 시스템을 만들어야 합니다.

오랫동안 이 포스 필드를 구축하는 가장 좋은 방법은 매우 두껍고 무거운 담요를 사용하는 것과 같았습니다. 단 하나의 정보(하나의 "논리적" 큐비트)를 보호하기 위해서 엄청난 양의 물리적 큐비트(구성 블록)가 필요했습니다. 이로 인해 컴퓨터는 거대해지고, 느려지며, 비용이 많이 들었습니다. 과학자들은 더 적은 블록을 사용하면서도 오류를 똑같이 잘 막아내는, 더 가볍고 스마트한 담요를 찾아왔습니다. 그들은 qLDPC 코드라고 불리는, 오류를 효율적으로 잡아내는 하이테크 메쉬(mesh)와 같은 유망한 새로운 유형의 담요를 발견했습니다. 하지만 이 메쉬를 실제 연산(단순히 데이터를 저장하는 것이 아닌)에 적용하는 것은 악몽과 같았습니다. 왜냐하면 오류를 수정하기 위한 명령어가 너무 복잡하고 느렸기 때문입니다.

이제, 한 연구팀이 **미튼 코드(mitten codes)**라는 새로운 디자인을 선보였습니다. 이것은 오류를 정정하는 담요를 위한 혁신적인 새로운 패턴이라고 생각하면 됩니다. 이 코드는 "비가환 군(non-abelian groups)"을 이용한 영리한 수학적 트릭을 사용하여 만들어졌는데, 이는 일반적인 담요가 갖지 못한 특정한 종류의 대칭성을 사용한다는 뜻입니다. 이 대칭성 덕분에 미튼 코드는 이전의 디자인들보다 훨씬 작고 빠를 수 있습니다. 연구진은 단순히 이를 꿈꾸기만 한 것이 아니라, 최적의 패턴을 찾기 위한 디지털 공장을 구축했고, 대규모 컴퓨터 시뮬레이션을 통해 테스트하여, 이 '미튼(벙어리장갑)'들이 훨씬 적은 자원을 사용하면서도 놀라운 정확도로 데이터를 보호할 수 있음을 발견했습니다. 그들은 이 코드를 통해 양자 프로세서가 물리적 부품에서 오류가 발생하더라도 수십억 번의 연산을 실패 없이 수행할 수 있음을 보여주었습니다. 이는 우리가 실제로 유용한 작업을 수행할 수 있는 양자 컴퓨터를 구축하는 데 있어 한 걸음 더 다가섰음을 의미합니다.

미튼 코드: 양자 안전망

문제점: 허리케인 속의 카드 집
양자 컴퓨터는 강력하지만, 동시에 믿을 수 없을 정도로 취약합니다. 정보의 기본 단위인 큐비트는 섬세한 유리 구슬과 같습니다. 테이블을 툭 치기만 해도 깨져버립니다. 현실 세계에서는 열이나 소음 때문에 "테이블을 치는 일"이 항상 일어납니다. 이를 해결하기 위해 과학자들은 양자 오류 정정을 사용합니다. 당신이 메시지를 보내려고 하는데, 우체부가 메시지를 떨어뜨릴 수도 있다는 것을 안다고 가정해 봅시다. 그래서 편지 한 통을 보내는 대신 다섯 통의 복사본을 보냅니다. 만약 우체부가 한 통을 떨어뜨리더라도, 나머지 네 통을 통해 메시지를 읽을 수 있습니다. 양자 컴퓨팅에서도 이와 유사한 방식을 사용합니다. 즉, 하나의 "논리적" 큐비트를 보호하기 위해 많은 물리적 큐비트를 사용합니다.

수년간 표준적인 방법은 **표면 코드(surface code)**였습니다. 이것을 두껍고 무거운 울 담요라고 생각하십시오. 오류를 막는 데는 매우 뛰어나지만, 너무 무거워서 단 하나의 논리적 큐비트를 보호하기 위해 수천 개의 물리적 큐비트가 필요합니다. 이는 대규모 양자 컴퓨터를 구축하는 것을 매우 어렵고 비싸게 만듭니다. 과학자들은 더 가볍고 효율적인 담요를 원했습니다. 그들은 하나를 찾아냈습니다: qLDPC 코드(양자 저밀도 패리티 검사 코드)입니다. 이것들은 하이테크 메쉬 그물과 같습니다. 이들은 동일한 양의 데이터를 보호하기 위해 훨씬 적은 큐비트를 사용하므로 "고율(high-rate)" 특성을 가집니다. 하지만 문제가 있었습니다. 이 그물들은 데이터를 저장하는 데는 훌륭했지만, 수학적 계산을 수행하는 데는 엉망이었습니다. 오류를 수정하는 명령어가 너무 느리고 복잡해서 컴퓨터를 쓸모없을 정도로 느리게 만들었기 때문입니다.

해결책: 미튼 코드
이 논문에서 저자들은 효율적이면서도 빠른 새로운 계열의 qLDC 코드인 **미튼 코드(mitten codes)**를 소개합니다. 이름은 그들의 수학적 구조의 형태에서 유래되었습니다: 체크 행렬(오류를 감지하는 규칙)이 네 개의 "손가락"과 하나의 "엄지"가 있는 벙어리장갑 모양을 하고 있습니다.

미튼 코드의 핵심 비법은 **비가환 군(non-abelian groups)**의 사용입니다. 간단히 말해, 대부분의 오류 정정 코드는 단순하고 예측 가능한 대칭성(예를 들어 90도 회전해도 똑같이 보이는 정사각형)을 사용합니다. 반면 미튼 코드는 더 복잡하고 "뒤틀린" 대칭성(예를 들어 안팎을 뒤집으면 모양이 달라지는 장갑)을 사용합니다. 이 복잡한 구조 덕분에 미튼 코드는 오류를 분리하는 거리를 제한했던 오랜 규칙을 깰 수 있습니다. 결과적으로 미튼 코드는 단 몇 백 개의 물리적 큐비트만을 사용하여 훨씬 높은 "거리"(얼마나 많은 오류를 잡아낼 수 있는지에 대한 척도)로 데이터를 보호할 수 있습니다.

작동 방식: 모듈형 도구 상자
양자 컴퓨팅의 가장 큰 과제 중 하나는 오류 보호를 깨뜨리지 않으면서 연산(계산 등)을 수행하는 것입니다. 보통은 모든 유형의 계산마다 고유하고 복잡한 기계가 필요합니다. 미튼 코드는 판도를 바꿉니다. 특수한 대칭성 덕분에 모든 논리적 큐비트는 서로 단순한 방식으로 연결되어 있습니다.

동일한 레고 블록 세트가 있다고 상상해 보십시오. 원하는 모든 모양을 만들기 위해 매번 다른 기계를 만드는 대신, 당신은 단지 다섯 개의 재사용 가능한 가젯(작은 레고 구조물)을 가지고 있습니다. 이 다섯 개의 가젯을 다양한 방식으로 재배치함으로써, 당신은 모든 표준 양자 계산("클리포드(Clifford)" 연산)을 수행할 수 있습니다. 이는 엄청난 단순화입니다. 저자들은 단 두 개의 "시드(seed)" 가젯만으로 범용 양자 컴퓨팅에 필요한 전체 도구 상자를 생성할 수 있음을 보여줍니다.

나아가, 이 코드는 **병렬 매직(parallel magic)**을 가능하게 합니다. 양자 컴퓨팅에서는 고급 수학을 수행하기 위해 "매직 상태(magic state)"라고 불리는 특별한 자원이 필요합니다. 보통은 이를 하나씩 만들어야 하므로 시간이 매우 오래 걸립니다. 미튼 코드는 당신의 모든 논리적 큐비트에 동시에 매직 상태를 주입할 수 있게 해줍니다. 이는 마치 한 번에 하나씩 티켓을 인쇄하는 대신, 백만 장의 티켓을 동시에 출력할 수 있는 공장을 가진 것과 같습니다.

결과: 시뮬레이션의 유망함
연구진은 단순히 이론만을 제안한 것이 아닙니다. 그들은 최적의 미튼 코드를 찾기 위해 "발견 파이프라인(discovery pipeline)"을 구축했고, 이를 엄격하게 테스트했습니다. 그들은 sQetch라는 초고속 컴퓨터 프로그램을 사용하여 수백만 개의 가능성을 탐색하고 최적의 디자인을 찾아냈습니다.

그들은 현실적인 노이즈 조건(오류가 무작위로 발생하는 상황) 하에서 이 코드들을 시뮬레이션했습니다. 결과는 인상적이었습니다:

높은 정확도: 물리적 오류율이 0.1%(즉, 1,000개 중 1개의 부품이 실수함)일 때, 특정 미튼 코드(J300, 60, 14K)는 라운드당 약 10⁻¹¹의 논리적 오류율을 달연했습니다. 이는 단 하나의 실수를 보기 전에 1,000억 라운드 이상 컴퓨터를 실행할 수 있음을 의미합니다.
거대한 규모: 더 큰 코드(J540, 108, 18K)를 대상으로 150억 번의 연산을 시뮬레이션했을 때, 단 두 번의 논리적 실패만을 관찰했습니다. 이는 프로세서가 약 10¹⁰(100억) 번의 연산을 안정적으로 처리할 수 있음을 시사합니다.
속도: 디코딩 과정(오류를 어떻게 고칠지 결정하는 과정)은 실제 하드웨어와 발맞출 수 있을 만큼 빨랐으며, 평균 지연 시간은 사이클당 1밀리초 미만이었습니다.

이것이 의미하는 바
저자들은 이러한 결과가 아직 물리적 하드웨어가 아닌 시뮬레이션에서 나온 것임을 주의 깊게 명시했습니다. 그러나 시뮬레이션이 매우 상세하고 오류율이 매우 낮기 때문에, 미튼 코드가 앞으로 나아갈 수 있는 실행 가능한 경로라는 강력한 증거를 제공합니다. 이 코드는 두 가지 주요 양자 하드웨어 유형, 즉 중성 원자 어레이(레이저로 원자를 이동시키는 방식)와 초전도 칩(실리콘 위에 회로를 새기는 방식) 모두에서 작동하도록 설계되었습니다.

높은 효율성(더 적은 큐비트 사용), 높은 속도(병렬 연산), 그리고 강력한 오류 정정을 결려함으로써, 미튼 코드는 결함 허용(fault-tolerant) 양자 컴퓨터를 구축하기 위한 실질적인 청사진을 제공합니다. 유용한 계산을 하기 위해 수백만 개의 큐비트가 필요한 대신, 이 코드는 우리가 수천 개만으로도 그것을 할 수 있을 것임을 시사합니다. 이는 작동하는 양자 컴퓨터라는 꿈을 현실에 훨씬 더 가깝게 가져다줍니다.

기술 요약: Mitten 코드를 통한 고율 qLDPC 프로세서

문제 정의
양자 저밀도 패리티 검사(qLDPC) 코드에서 상당한 진전이 있었음에도 불구하고, 네 가지 핵심적인 요구 사항을 동시에 만족하는 프로세서를 구축하는 것은 여전히 과제로 남아 있다: 높은 인코딩율, 높은 처리량(병렬 논리 연산), 하드웨어 호용성, 그리고 빠르고 정확한 디코딩이다. 기존의 고율 코드들은 아벨 군(abelian groups)으로부터 구성될 때 엄격한 거리 경계(distance bounds)로 인해 어려움을 겪거나, 디코딩과 논리 연산을 복잡하게 만드는 큰 블록 크기를 요구하는 경우가 많다. 반대로, 표면 코드(surface codes)는 견고함을 제공하지만 낮은 인코딩율과 높은 오버헤드라는 대가를 치러야 한다. 이 분야에는 근접 미래의 하드웨어에서 실용적인 결함 허용 양자 컴퓨팅(FTQC)을 가능하게 할 수 있는 요소들을 균형 있게 갖춘 코드 제품군이 필요하다.

방법론
저자들은 비아벨 리프티드 프로덕트(non-abelian lifted product, LP) 코드의 한 종류인 mitten 코드를 소개한다. 이 구성은 비아벨 군 $G$ 의 군 대수 $\mathbb{F}_2[G]$ 상에서 정의된 클래식 베이스 행렬 $A$ 와 $B$ 에 기초한다.

코드 구조: Mitten 코드는 특정 정형(canonical form)을 포함하는 $1 \times 2$ 베이스 행렬을 활용하며, 이는 군 원소들의 합으로 이루어져 있다. $G$ 의 비아벨 특성은 코드가 아벨 방식의 구성에서 나타나는 거리 경계(특히 유사한 베이스 형태를 가진 아벨 LP 코드의 거리-6 상한선)를 회피할 수 있게 해준다.
정형 논리 기저(Canonical Logical Basis): 핵심적인 구조적 특징은 매우 대칭적인 정형 논리 기저이다. 논리 연산자 $\{\bar{X}_g, \bar{Z}_g\}_{g \in G}$ 는 $G$ 의 군 작용(group action)에 의해 서로 연결된다. 이러한 대칭성은 논리 연산을 위한 모듈형의 저오버헤드 툴킷을 구축할 수 있게 한다.
프로세서 설계 파이프라인: 저자들은 최적의 코드 인스턴스를 식별하기 위해 엔드 투 엔드 발견 파이프라인(그림 3)을 개발하였다. 이 파이프라인은 다음을 통합한다:
1. 이론적 경계: 후보 군과 베이스 행렬을 필터링하기 위해 새로운 대수적 경계(예: 교환자 부분군 및 원소 차수 경계)를 사용한다.
2. 빠른 거리 추정: 기존 도구보다 수십 배 빠른 GPU 기반 거리 추정기인 sQetch를 사용하여 디자인 공간을 전수 조사(brute-force search)한다.
3. 결함 허용 검증: 새로운 **텔레스코핑 디코더(telescoping decoder)**를 사용하여 회로 수준의 노이즈와 디코딩 성능을 시뮬레이션한다.
4. 하드웨어 매핑: 원자 이동(atom transport)을 통한 중성 원자 어레이 최적화 및 다층 라우팅을 통한 초전도 큐비트 최적화를 수행한다.

주요 기여

Mitten 코드: 20%의 인코딩율과 체크 가중치(check weight) 9를 보장하는 새로운 qLDPC 코드 제품군이다. 인스턴스는 $J_{150, 30, 10K}$ 에서 $J_{975, 195, \le 24K}$ 까지 다양하며, 단 몇 백 개의 데이터 큐비트만으로 거리 $\gtrsim 20$ 을 달성한다.
저오버헤드 논리 툴킷: 군 대칭성을 활용하여, 저자들은 단 5개의 재사용 가능한 가젯( $\bar{X}$ 와 $\bar{Z}$ 를 위한 두 개의 시드 가젯에서 유도됨)만을 사용하여 유니버설 클리포드(Clifford) 연산을 구현할 수 있음을 보여준다. 여기에는 병렬 측정을 위한 고율 서저리(high-rate surgery)와 병렬 매직 상태 주입이 포함된다.
텔레스코핑 디코더: 신념 전파(BP), Relay-BP, 그리고 정수 계획법(integer-programming) 단계를 결합한 계층적 디코딩 아키텍처이다. 이는 높은 정확도를 유지하면서 논리 사이클당 평균적으로 밀리초 미만의 지연 시간을 달성한다.
하드웨어 호용성: 코드는 다음과 같이 매핑된다:
- 중성 원자: 교차된 음향 광학 편향기(AOD)를 통한 결맞는 원자 이동을 활용하며, 여기서 군 구조는 행/열 치환과 일치한다.
- 초전도 큐비트: 더 높은 인코딩율에도 불구하고 이변량 바이사이클(bivariate bicycle) 코드와 유사한 하드웨어 복잡성을 다층 라우팅을 통해 보여준다.

결과

성능 지표: 회로 수준의 탈분극 노이즈(depolarizing noise) 하에서, $J_{300, 60, 14K}$ 코드는 물리적 오류율(PER) 0.1%에서 블록 논리 오류율 $\sim 10^{-11}$ 을 달행한다. $J_{975, 195, \le 24K}$ 코드는 0.4% PER에서 $\sim 10^{-8}$ 에 도달하며, 이는 큐비트 수와 오류율 모두에서 회전된 표면 코드(rotated surface codes) 스택보다 거의 두 자릿수(order of magnitude) 더 뛰어난 성능이다.
처리 용량: 0.1% PER에서 $J_{540, 108, 18K}$ 코드를 대상으로 150억 건의 서저리 실험을 직접 디코딩한 결과, 논리적 실패가 단 2건만 발생하여 약 $10^{10}$ 개의 논리 연산(quops)을 실행할 수 있는 프로세서 능력을 입증했다.
디코딩 속도: 텔레스코핑 디코더는 밀리초 미만의 지연 시간을 유지하여, 중성 원자 하드웨어에서의 실시간 디코딩에 충분한 속도를 제공한다.
발견 효율성: sQetch로 구동되는 파이프라인은 이전의 방법으로는 다루기 힘들었던 고성능 코드 인스턴스를 성공적으로 식별해 냈다.

의의 및 주장
본 논문은 Mitten 코드가 양자 프로세서의 네 가지 핵심 요구 사항을 동시에 충족함으로써 "실용적인 결함 허용 양자 컴퓨팅을 향한 경로"를 연다고 주장한다. 저자들은 작은 블록 크기에서 높은 거리를 달축하기 위해 비아벨 구조가 필수적이며, 이는 실험적 구현에 있어 매우 중요하다는 점을 강조한다. 이 연구는 고율 qLDPC 프로세서가 단순히 이론적으로 가능한 것뿐만 아니라, 오버헤드와 처리량 측면에서 표면 코드와 경쟁하거나 이를 능가하는 구체적인 가젯, 스케줄, 하드웨어 레이아웃을 갖추어 설계될 수 있음을 보여준다. 발견 파이프라인과 오픈 소스 툴킷은 다양한 하드웨어 플랫폼과 명령 세트에 대해 프로세서를 공동 설계(co-design)할 수 있는 일반화 가능한 도구로 제시된다. 결론적으로, 이 코드는 "기가-퀙(giga-quop)"에서 "100억-퀙(ten-billion-quop)" 처리 용량의 영역을 가능하게 하여, 유용한 양자 알고리즘의 실현을 실험적 현실에 더 가깝게 만든다.

미튼 코드: 양자 안전망

유사한 논문