Barbell Codes: qLDPC Codes for Superconducting Quantum Hardware

이 논문은 물리적 노이즈 수준이 $10^{-4}$일 때 논리적 충실도를 높이고 논리 큐비트당 30개 미만의 데이터 큐비비트로 효율적인 다중 큐비트 연산을 달성하면서, 일정한 하드웨어 복잡도로 확장 가능하고 결함 허용 가능한 양자 컴퓨팅을 가능하게 하는 "바벨(barbell)" qLDPC 코드 제품군과 그에 상응하는 고정 연결 칩 레이아웃을 소개한다.

핵심

당신이 매우 섬세하고 깨지기 쉬운 메시지를 폭풍우 치는 바다 너머로 보내려고 한다고 상상해 보십시오. 이 메시지는 당신의 "양자 정보"이며, 바다는 소음이 많고 오류가 발생하기 쉬운 양자 하드웨어의 세계입니다. 이 메시지를 안전하게 지키기 위해, 당신은 단순히 한 번만 쓰는 것이 아니라, 수많은 배에 나누어 실어 넓게 퍼뜨려 씁니다. 이것이 **양자 오류 정정(QEC)**의 기본 개념입니다. 즉, 하나의 가치 있는 정보를 보호하기 위해 많은 물리적 부분들을 사용하는 것입니다.

오랫동안 과학자들은 이러한 보호용 함대를 위해 "표면 코드(Surface Code)"라고 불리는 특정한 패턴을 사용해 왔습니다. 이것을 표준적인 정사각형 격자 형태의 도시라고 생각할 수 있습니다. 이 방식은 잘 작동하지만, 믿을 수 없을 정도로 비효율적입니다. 단 하나의 정보(논리적 큐비트)를 보호하기 위해, 당신은 수백 개 또는 수천 개의 집(물리적 큐비트)이 있는 도시를 건설해야 할 수도 있습니다. 이는 마치 수백만 개의 작고 부서지기 쉬운 벽돌로 초고층 빌딩을 지으려는 것처럼 매우 비용이 많이 들고 어렵습니다.

새로운 해결책: "바벨(Barbell)" 코드

IQM 퀀텀 컴퓨터와 협력한 이 논문의 저자들은 이러한 보호용 함대를 조직하는 훨씬 더 효율적인 방법을 소개했습니다. 그들은 이를 **"바벨 코드"**라고 부릅니다.

이것이 어떻게 작동하는지 쉬운 비유를 통해 설명해 드리겠습니다.

1. 기존 방식의 문제점

멀리 떨어진 두 집을 연결하려고 시도한다고 상상해 보십시오. 기존의 "표면 코드" 도시에서는 이웃한 집들끼리만 연결할 수 있습니다. 마을 건너편에 있는 집과 대화하려면, 중간에 있는 모든 집을 거쳐서 메시지를 전달해야 합니다. 이는 느리고 많은 자원을 소모합니다.

양자 컴퓨터의 세계에서, 일부 고급 코드(qLDPC 코드라고 불림)는 고속도로 시스템처럼 훨씬 더 효율적일 것을 약속합니다. 하지만 이러한 코드들은 멀리 떨어진 집들을 연결해야 합니다. 현재의 양자 칩에서 "도로"(배선)는 고정된 위치에 있습니다. 멀리 떨어진 집들을 연결하는 고속도로를 만드는 것은 칩을 여러 층으로 쌓거나, 자주 부서지거나 간섭을 일으키는 복잡하고 지저분한 다리("에어 브리지")를 건설해야 하는 일을 의미합니다.

2. "바벨" 아키텍처

저자들은 이러한 효율적인 코드를 위해 설계된 새로운 도시 레이아웃을 설계했습니다. 그들은 이를 "바벨" 아키텍처라고 부릅니다.

• 중앙 허브 (육각형): 여섯 채의 집이 중앙 공원을 중심으로 육각형 모양으로 배치된 동네를 상상해 보십시오. 이 디자인에서 그 중앙 공원은 여섯 채의 집 모두와 동시에 통신할 수 있는 특별한 "허브" 역할을 합니다. 이것이 "스타 격자(Star Lattice)"입니다.
• 바벨 (연결): 이제, 이러한 육각형 동네 두 개를 상상해 보십시오. 저자들은 첫 번째 동네의 집 하나와 두 번째 동네의 집 하나를 직접 연결하는 특별하고 짧은 "다리"(근거리 커플러)를 추가했습니다.
• 모양: 이 다리로 연결된 두 개의 육각형을 보면, 전체적인 모양은 바벨(두 개의 무게추가 막대로 연결된 모양)처럼 보입니다.

3. 이것이 왜 중요한 일인가

이 디자인의 천재성은 하드웨어를 복잡하게 만들지 않으면서도 "장거리 연결" 문제를 해결한다는 점에 있습니다.

• 지저난 다리 없음: 이전의 양자 칩의 먼 부분을 연결하려는 시도에서, 엔지니어들은 여러 층을 통과하도록 배선을 배치하거나 칩이 커짐에 따라 지저분해지는 에어 브리지를 사용해야 했습니다. "바벨" 디자인은 모든 다리의 길이가 같고 서로 평행하게 달리는 구조를 사용합니다. 이는 복잡한 고가도로의 엉킨 네트워크 대신, 동일한 길이의 직선 터널 세트를 가진 것과 같습니다.
• 일정한 복잡도: 보통 양자 코드를 더 강력하게 만들수록(더 많은 오류를 방지할수록), 하드웨어의 복잡도는 기하급수적으로 증가합니다. 바벨 코드의 경우, 코드가 더 강력해지더라도 하드웨어의 복잡도는 동일하게 유지됩니다. 이는 더 높고 복잡한 벽을 쌓을 필요 없이 더 크고 안전한 요새를 건설하는 것과 같습니다.

4. 결과: 훨씬 더 저렴한 요새

저자들은 이 새로운 디자인이 얼마나 잘 작동하는지 확인하기 위해 컴퓨터 시뮬레이션을 실행했습니다.

• 효율성 이득: 그들은 동일한 양의 정보를 보호하기 위해 바벨 코드가 기존의 표면 코드보다 최대 8배 적은 물리적 큐비트가 필요하다는 것을 발견했습니다. 만약 기존 방식이 하나의 데이터를 보호하기 위해 1,000개의 집이 필요했다면, 바벨 방식은 125개만 있어도 될 수 있습니다.
• 성능: 적은 자원을 사용함에도 불구하고, 바벨 코드는 기존의 거대한 표면 코드만큼이나 데이터를 잘 보호합니다.
• 실제 적용 가능성: 그들은 이 디자인이 실제 현재 양자 하드웨어에서 발견되는 "노이즈"(오류) 속에서도 작동함을 보여주었습니다. 그들은 이 코드가 "수조 번"의 오류 검사 주기를 견뎌내는 것을 시뮬레이션했으며, 이는 엄청난 이정표입니다.

요약

바벨 코드를 강력하고 결함 허용(fault-tolerant) 가능한 양자 컴퓨터을 만들기 위한 새로운, 더 스마트한 청사진이라고 생각하십시오. 하나의 비밀을 지키기 위해 수천 채의 작은 집이 있는 거대하고 넓게 퍼진 도시를 짓는 대신, 이 새로운 청사진은 영리한 "바벨" 모양을 사용하여 작고 효율적인 구조를 만듭니다. 이를 통해 컴퓨터는 훨씬 더 적은 부품을 사용하여 오류를 확인하고 수정할 수 있으며, 이는 강력한 양자 컴퓨터를 실현하는 꿈을 훨씬 더 가깝고 저렴하게 만들어 줍니다.

이 논문은 이것이 내일 당장 상업적 용도로 준비되었다고 주장하는 것이 아니라, 이러한 효율적인 코드를 구축할 수 있는 하드웨어가 오늘날 존재하며 수학적으로 현재의 칩 위에서 완벽하게 작동함을 증명하는 것입니다.

기술 요약

기술 요약: 초전도 양자 하드웨어를 위한 바벨 코드 (Barbell Codes)

문제 정의

결함 허용 양자 컴퓨팅(fault-tolerant quantum computing)으로 가는 경로는 현재 하드웨어 구성 요소의 불충분한 품질과, 피델리티(fidelity)를 저해하지 않으면서 큐비트 수를 확장하는 데 따르는 어려움으로 인해 가로막혀 있습니다. 양자 저밀도 패리티 검사(qLDPC) 코드는 낮은 오버헤드와 높은 코드 거리를 통해 논리적 큐비트를 인코딩함으로써 유망한 해결책을 제시하지만, 핵심적인 병목 현상은 여전히 남아 있습니다: 즉, 고정된 연결성을 가진 양자 칩(특히 초전도 하드웨어)에서 하드웨어 복잡성을 급격히 증가시키지 않고 이러한 코드를 어떻게 구현할 것인가 하는 점입니다.

표준 qLDPC 구현은 종종 프로세서 상에서 멀리 떨어진 큐비트 간의 비국소적(non-local) 상호작용을 요구합니다. 에어 브릿지(air bridges)나 다층 칩을 통한 수직 통합과 같이 이러한 거리를 메우기 위해 기존에 사용된 접근 방식들은 크로스토크(crosstalk), 라우팅 복잡성, 제조 가능성 측면에서 상당한 문제를 야기합니다. 특히, 초전도 칩에서 qLDPC 코드(예: bivariate bicycle codes)를 구현한 이전의 시도들은 시스템 크기가 커짐에 따라 성능이 저하되거나, 코드 거리에 따라 복잡한 다층 라우팅을 요구하는 근접 국소 커플러(near-local couplers)에 의존해 왔습니다.

방법론

저자들은 **"바벨 코드(barbell codes)"**라 명명된 새로운 계열의 qLDLC 코드와 이를 네이티브하게 지원하도록 설계된 칩 아키텍처를 소개합니다.

1. 바벨 아키텍처 (6QSL+NLC)

저자들은 "6-큐비트 스타 격자 + 근접 국소 커플러(6QSL+NLC)" 레이아웃을 제안하며, 이를 바벨 아키텍처라고 부릅니다. 이 설계는 두 개의 층으로 구성됩니다:

• 레이어 1 (큐비트 및 국소 커플러): 큐비트들이 6-큐비트 스타 격자(벌집 구조)로 구성됩니다. 각 육각형 셀에는 조율 가능한 커플러(tunable coupler)를 통해 중앙 요소에 결합된 6개의 큐비트가 포함되어 있습니다. 이를 통해 셀 내의 임의의 큐비트 쌍이 2-큐비트 상호작용을 수행할 수 있습니다.
• 레이어 2 (근접 국소 커플러): 이 레이어는 첫 번째 레이어에서 멀티 큐비트 커플러를 공유하지 않는 큐비트 쌍을 연결하는 근접 국소 커플러를 수용합니다. 결정적으로, 사용된 타일 코드(tile codes)의 병진 불변성(translational invariance) 덕분에 모든 근접 국소 커플러는 평행하며 동일한 고정 길이를 가집니다. 이를 통해 에어 브릿지 없이 단일 하드웨어 레이어 내에서 라우팅이 가능하므로, 이전의 qLDPC 제안들과 비교하여 라우팅이 크게 단순화됩니다.

2. 바벨 코드 및 신드롬 추출

바벨 코드는 타일 코드(병진 불변성을 가진 2D 국소 qLDPC 코드 계열)의 특정 변형입니다.

• 구성: 코드는 X- 및 Z-타일로부터 구성됩니다. 안정기(stabilizer)는 바벨 아키텍처에 맞게 조정되어, 근접 국소 커플러가 X- 및 Z-안정기 쌍을 연결하는 데에만 독점적으로 사용되도록 합니다.
• 신드롬 추출: 저자들은 **초고밀도 신드롬 추출(superdense syndrome extraction)**을 활용합니다. 이 사이클에서는 X- 및 Z-타입 신드롬 큐비트 쌍이 근접 국소 커플러를 통해 얽힙니다. 이를 통해 두 신드롬 큐비트가 두 안정리에 관련된 데이터 큐비트들로부터 신드롬 정보를 동시에 수집할 수 있습니다.
• 회로 깊이: 결과적인 신드롬 추출 회로는 스타 격자의 중앙 요소와 근접 국소 커플러를 병렬로 사용하여 깊이가 12가 됩니다.

3. 논리 연산

본 논문은 [YZL25]에서 채택된 프로토콜을 적용하여 논리적 멀티-파울리(multi-Pauli) 측정을 조사합니다. 이는 격자 수술(lattice surgery)과 유사하게 코드 패치를 확장하고 보조 영역(ancillary regions)을 사용하여 병합(merge) 및 분리(split) 단계를 수행하는 것을 포함합니다. 이러한 연산을 위한 연결성 요구 사항은 바벨 코드의 네이티브 아키텍처와 호환됨을 보여줍니다.

주요 기여

1. 최초의 간극 없는(Gap-Free) 프로토콜: 본 논문은 코드 거리가 확장됨에 따라 하드웨어 복잡성이 증가할 필요가 없는, 초전도 하드웨어에서 qLDPC 코드를 구현하기 위한 최초의 완전한 프로토콜을 제시합니다.
2. 하드웨어 복잡성: 저자들은 바벨 코드를 구현하는 데 필요한 하드웨어 복잡성이 코드 거리가 증가하더라도 일정하게 유지됨을 입증합니다. 근접 국소 커플러의 길이는 고정되어 있으며 코드 거리와 무관하며, 라우팅은 단일 레이어 내에 포함될 수 있습니다.
3. 효율성: 제안된 아키텍처는 동일한 거리의 표준 회전 표면 코드(rotated surface code)와 비교했을 때 최대 8배 더 낮은 물리적 큐비트당 논리적 큐비트 오버헤드를 달성합니다.
4. 실현 가능성 검증: 저자들은 모든 하드웨어 구성 요소의 실현 가능성에 대한 상세한 조사를 제공하며, 해당 레이아웃이 실험적으로 입증된 기능(예: 플립칩, 조율 가능한 커플러, 근접 국소 커플러)만을 기반으로 함을 명시합니다.

결과

저자들은 균일한 회로 수준 탈분극 노이즈(uniform circuit-level depolarizing noise) 하에서 바벨 코드 계열(구체적으로 가중치-8 안정기)을 시뮬레이션했습니다.

• 메모리 성능:

  • 물리적 에러율이 $10^{-4}$ 이상인 거리-14 바벨 코드는 수조 번의 QEC 라운드 동안 정보를 보존할 수 있습니다("테라큐옵(teraquop)" 영역 진입).
  • 물리적 에러율이 최대 $10^{-3}$인 경우, 바벨 코드는 동일한 거리의 표면 코드 패치와 대등한 성능을 보이면서도 오버헤드는 훨씬 적습니다.
  • 구체적 비교: 물리적 에러율 $10^{-3}$에서 16개의 논리적 큐비트를 인코딩하기 위해 400개의 데이터 큐비트를 사용할 때:
    • 표면 코드: 거리-5 패치 16개의 라운드당 논리적 에러율은 $9.6 \times 10^{-4}$입니다.
    • 바벨 코드: 거리-11 패치 1개의 라운드당 논리적 에러율은 $8.8 \times 10^{-7}$입니다 (거의 3 자릿수 더 낮음).
  • 큐비트 오버헤드 절감 효과는 표면 코드 대비 7.0배에서 8.0배에 달합니다.

• 논리 연산:

  • 논리적 멀티-파울리 측정(논리적 $Z$)에 대한 시뮬레이션 결과, 라운드당 논리적 에러율이 메모리 실험보다 약간 높은 수준임을 보여주었습니다.
  • 이는 바벨 코드에서의 논리적 큐비트 간 얽힘 게이트가 제안된 아키텍처를 통해 결함 허용 방식으로 구현될 수 있음을 나타냅니다.

• 하드웨어 복잡성 지표:

  • 제안된 레이아웃의 하드웨어 복잡성 지표($C_{hw}$)는 약 1.65로 계산되었으며, 이는 유사한 인코딩 비율을 가진 다른 알려진 타일 코드보다 낮고, 유사한 파라미터를 가진 bivariate bicycle (BB) 코드($C_{hw} > 3$)보다 현저히 낮습니다.

의의 및 주장

본 논문은 고정된 연결성을 가진 초전도 칩에서 효율적인 qLDPC 코드를 구현하는 과제를 해결한다고 주장합니다. 바벨 아키텍처와 바벨 코드를 도입함으로써 저자들은 다음을 입증했습니다:

• 이전의 qLDPC 제안에서 나타난 비국소적 상호작용 라우팅의 과도한 하드웨어 복잡성 없이도 높은 코드 거리와 낮은 오버헤드를 달라는 달성할 수 있습니다.
• 이 접근 방식은 표면 코드와 비교하여 상당한 큐비트 오버헤드 절감(최대 8배)을 제공하여, 근시일 내의 대규모 양자 프로세서에 대한 실행 가능한 후보가 될 수 있습니다.
• 근접 국소 커플러의 길이가 고정되어 있고 평행하므로, 하드웨어 복잡성은 코드 크기와 상관없이 일정하게 유지됩니다.

저자들은 이 연구가 초전도 하드웨어에서 qLDPC 코드를 사용하는 길을 열어주며, 자원 요구 사항을 줄이면서 결함 허용 양자 컴퓨팅을 향한 실질적인 경로를 제공한다고 결론짓습니다. 또한, 디코딩 알고리즘의 개선과 타일 코드에서의 네이티브한 비-클리포드(non-Clifford) 게이트(H, S, T) 실행은 향후 연구 과제로 남아있다고 언급했습니다.