Breakeven demonstration of quantum low-density parity-check codes

연구진은 트랩 이온 양자 컴퓨터의 유연성과 새로운 광학적 준안위 바닥 상태 구조를 활용하여 하드웨어 재구성 없이 9가지의 서로 다른 양자 오류 정정 코드를 입증하였으며, 고율 qLDPC 코드의 논리적 오류율이 이전의 초전도체 시연을 크게 능가하고 물리적 큐비트 수명을 대등하게 맞추거나 초과하는 브레이크이븐 성능을 달성하였다.

핵심

당신이 거친 폭풍우가 치는 바다 너머로 섬세한 메시지를 보내려고 한다고 상상해 보십시오. 이 메시지는 당신의 "논리적 큐비트"(지키고자 하는 실제 정보)이고, 이 메시지를 실어 나르는 배는 "물리적 큐비트"(파도에 젖거나 손상되기 쉬운 실제 하드웨어)로 만들어져 있습니다.

오랫동안 과학자들은 메시지가 배의 나무 자체보다 더 오래 살아남을 수 있도록 튼튼한 배를 만드는 방법을 연구해 왔습니다. 이것을 **"브레이크이븐 지점(breakeven point, 손익분기점)"**에 도달하는 것이라고 부릅니다. 만약 메시지가 배보다 더 오래 지속된다면, 당신은 오류와의 싸움에서 승리한 것입니다.

IonQ의 이 논문은 트랩 이온(trapped-ion) 양자 컴퓨터를 사용하여 이 경쟁에서 거둔 중대한 승리를 보고하고 있습니다. 그들이 무엇을 했는지 쉽게 설명해 드리겠습니다.

1. 문제점: "이웃"의 제약

오늘날 대부분의 양자 컴퓨터는 집(큐비트)들이 오직 바로 옆집 이웃하고만 대화할 수 있는 동네와 같습니다. 메시지를 보호하기 위해 그들은 "표면 코드(Surface Code)"를 사용하는데, 이는 메시지 주변에 거대한 벽을 쌓는 것과 같습니다. 문제는 이 벽이 너무 거대하다는 점입니다. 정보 한 조각을 보호하기 위해 수백 개의 벽돌(물리적 큐비트)이 필요할 수도 있습니다. 이는 매우 비용이 많이 들고 비효율적입니다.

더 새롭고 스마트한 설계도가 있는데, 바로 qLDPC 코드입니다. 이것은 메시지가 단순히 이웃에게만 연결되는 것이 아니라 건물 전체로 뻗어 나가는 연결망에 의해 보호되는 고도의 보안 시스템과 같습니다. 이를 통해 더 적은 수의 벽돌로 더 많은 정보를 보호할 수 있습니다. 하지만 이러한 "장거리" 연결을 구축하는 것은 하드웨어 엔지니어들에게 보통 악몽과도 같은 일입니다. 대부분의 기계는 방 건너편까지 닿을 수 없기 때문입니다.

2. 해결책: "마법의 리모컨"

IonQ 팀은 이웃들을 연결하는 물리적인 전선에 의존하지 않는 독특한 특징을 가진 트랩 이온 컴퓨터를 사용했습니다. 대신 그들은 마법의 리모컨처럼 작동하는 레이저(라만 빔)를 사용합니다.

• 움직이는 부품 없음: 그들은 원자(이온)를 물리적으로 이동시킬 필요가 없습니다. 레이저는 줄 안에 있는 어떤 원자나 어떤 쌍의 원자라도 거리에 상관없이 즉각적으로 가리킬 수 있습니다.
• "OMG" 트릭: 메시지가 안전한지 확인하려면, "죄수들"(데이터 큐비트)을 방해하지 않으면서 "경비원"(보조 큐비트/ancilla qubits)을 살짝 엿봐야 합니다. 보통 이 과정에는 경비원을 다른 방으로 옮기거나, 상태를 안정적으로 유지하기 위해 추가적인 "냉각" 원자를 사용해야 합니다.
  • 그들의 혁신: 그들은 광학적-준안정-바닥 상태(Optical-Metastable-Ground, OMG) 구조라고 불리는 영리한 트릭을 사용했습니다. 모든 죄수를 레이저에 보이지 않는 "타임아웃" 방(준안정 상태)에 넣어두었다고 상상해 보십시오. 그런 다음 경비원들만 선택적으로 메인 룸으로 불러내어 상태를 확인하고, 냉각시킨 뒤 다시 타임아웃 방으로 돌려보내는 방식입니다.
  • 결과: 그들은 원자를 움직이거나 추가적인 냉각 원자를 사용할 필요가 없었습니다. 이 모든 과정을 제자리에서 수행함으로써 시간과 공간을 엄청나게 절약했습니다.

3. 실험: 다양한 설계도 테스트

그들의 "마법 리모컨"은 매우 유연하기 때문에, 서로 다른 보안 설계도를 테스트하기 위해 기계를 새로 만들 필요가 없었습니다. 그들은 동일한 하드웨어에서 9가지 서로 다른 코드를 테스트했습니다:

• qLDPC 코드: 고효율의 장거리 연결 코드.
• 위상 코드(Topological Codes): 도넛(토러스) 모양에 기반한 코드.
• 연결 코드(Concatenated Codes): 작은 안전망을 더 큰 안전망 안에 감싸는 방식의 코드.

4. 결과: 경쟁자를 압도하다

팀은 두 가지 주요 이정표를 달로 달성했습니다:

• 이전 기록 경신: 그들은 18개의 물리적 큐비트에 4개의 정보를 인코딩하는 특정 코드(BB5)를 테스트했습니다. 초전도 칩(다른 유형의 하드웨어)을 사용한 이전 실험에서도 이 코드를 시도했으나 오류로 인해 어려움을 겪었습니다. IonQ의 버전은 "Z" 오류를 막는 데 있어 4배 더 뛰어났고, "X" 오류를 막는 데 있어서는 9배 더 뛰어났습니다.
• "브레이크이븐" 선을 넘다: 이것이 핵심 뉴스입니다. 그들은 "논리적" 정보가 물리적 원자들에 비해 얼마나 오래 생존하는지를 측정했습니다.
  • 특정 코드에서 논리적 정보는 3.95초 동안 생존했습니다.
  • 반면 물리적 원자 자체는 3.3초 동안만 생존했습니다.
  • 비유: 메시지가 그 메시지를 담고 있는 배보다 더 오래 살아남았습니다. 이것이 바로 "브레이크이븐" 지점입니다.

요 요약

이 논문을 다음과 같이 생각하십시오: 레이저로 제어되는 유연한 함대(트랩 이온)가 스마트한 장거리 보안 그물(qLDPC 코드)을 사용하여, 메시지를 배 자체의 수명보다 더 오래 안전하게 지켜낼 수 있음을 증명한 것입니다.

그들은 거대하고 경직된 기계를 만들 필요 없이도 훌륭한 결과를 얻을 수 있다는 것을 보여주었습니다. 대신, 기계의 어떤 부분과도 즉각적으로 "대화"할 수 있는 유연한 시스템을 사용함으로써, 그들은 훨씬 더 효율적인 수준의 보호를 달성했습니다. 이 과정에서 부품을 움직이거나 추가 냉각제를 사용하지 않았으며, 이는 대규모 결함 허용(fault-tolerant) 양자 컴퓨터를 구축하기 위한 중요한 단계가 되는 데 데 성공했습니다.

기술 요약

기술 요약: 양자 저밀도 패리티 검사(qLDPC) 코드의 브레이크이븐(Breakeven) 시연

문제 정의
결함 허용 양자 컴퓨팅(FTQC)을 위해서는 광범위한 양자 오류 정정(QEC)이 필요하다. 표면 코드는 2D 인접 이웃 아키텍처와의 호환성 덕분에 인기 있는 선택지이지만, 하나의 논리 큐비트당 수백 개의 물리적 큐비트를 필요로 하는 막대한 큐비트 오버헤드 문제를 안고 있다. 양자 저밀도 패리티 검사(qLDPC) 코드는 국소성 제약을 완화하여 더 높은 인코딩 비율과 감소된 오버헤드를 허용함으로써 유망한 대안을 제공한다. 그러나 qLDPC 코드의 실험적 구현은 비국소적 게이트와 복잡한 하드웨어 재구성의 필요성으로 인해 어려움을 겪고 있다. 특정 이변량 바이시클(bivariate bicycle, BB) 코드를 초전도 큐비트에 적용한 이전의 시연들은 장거리 커플러를 갖춘 맞춤형 하드웨어를 필요로 했으며, 물리적 큐비트 수명에 미치지 못하는(브레이크이븐에 도달하지 못한) 논리적 오류율을 기록했다.

방법론
저자들은 40개의 $^{133}\text{Ba}^+$ 이온으로 구성된 정지된 체인을 가진 트랩 이온 양자 컴퓨터를 활용하였다. 이 시스템은 다음과 같은 두 가지 핵심적인 아키텍처적 이점을 활용한다:

1. 전체 연결성(All-to-All Connectivity): 게이트는 체인 내의 임의의 이온 또는 이온 쌍을 대상으로 하는 조종 가능한 라만 빔을 사용하여 구현되며, 이는 물리적인 이온 이동의 필요성을 제거한다.
2. 광학-메타스테이블-그라운드(Optical-Metastable-Ground, OMG) 아키텍처: 전용 냉각 이온 없이도 제어 가능한 중간 회로 측정(MCM) 및 리셋을 가능하게 하는 새로운 구현 방식이다.
   • 메커니즘: 유휴 큐비트는 전역 1762 nm 빔을 사용하여 메타스테이블 매니폴드($5^2D_{5/2}$)로 "셸빙(shelved)"된다. 특정 "판독 보조 큐비트(readout ancillae)"는 측정 전 선택적으로 그라운드 상태($6^2S_{1/2}$)로 "디셸빙(deshelved)"된다.
   • 공변 냉각(Sympathetic Cooling): 측정된 보조 큐비트는 전체 체인을 공변 냉각하는 데 사용되어, (이동 기반 시스템에서 일반적으로 큐비트 수의 최대 50%를 소비하는) 별도의 냉각 이온을 필요로 하지 않게 한다.
   • 누설 처리(Leakage Handling): 시스템은 형광 체크를 통해 큐비트 매니폴드 밖으로의 누설을 감지한다. 주요 접근 방식은 사후 선택(누설이 감지된 샷을 거부)이지만, 저자들은 이것이 조건부 리셋을 통해 이레이저(erasure)로 변환될 수 있음을 언급한다.

실험에서는 세 가지 계열에 걸친 9가지 서로 다른 양자 오류 정정 코드를 하드웨어 재구성 없이 시연하였다:

• qLDPC 코드: 세 가지 BB5 변형과 두 가지 GB4 코드(가중치-4 스테빌라이저)를 포함한 5가지 코드.
• 위상 코드(Topological Codes): 표준 토릭 코드($d=3$) 및 회전된 변형($d=4$).
• 연결된 코드(Concatenated Codes): $[[4, 2, 2]]$ 코드를 자기 자신과 연결한 형태.

메모리 실험은 논리적 고유 상태($X_L$ 및 $Z_L$)를 준비하고 증후(syndrome) 사이클을 반복(최대 6 사이클)하여 수행되었다. 증후 데이터는 빔 디코더를 사용하여 디코딩되었다.

주요 결과

• 논리적 오류율: 저자들은 18개의 물리적 큐비트에 4개의 논리 큐비트를 인코딩하는 BB5 코드를 사용하여, 유사한 BB 코드(32개의 트랜스몬을 사용하여 4개의 논리 큐비트를 18개에 인코딩)를 사용한 이전의 초전도체 벤치마크보다 현저히 낮은 논리적 오류율을 달축성했다. 구체적으로, 논리적 오류율은 초전도체 벤치마크와 비교했을 때 Z 오류에 대해 4배, X 오류에 대해 9배 더 낮았다.
• 브레이크이븐 성능: 본 연구는 qLDPC 코드에 대한 첫 번째 브레이크이븐 성능 시연을 보고한다. 논리 큐비트 수명은 기초가 되는 물리적 큐비트의 수명과 비슷하거나 경우에 따라 약간 상회하였다.
  • 가장 성능이 우수한 코드 인스턴스(GB4 $[[26, 2, 5]]$)는 물리적 큐비트의 수명이 3.3 $\pm$ 0.9 s인 것에 비해 3.95 $\pm$ 0.68 s의 논리 큐비트 수명을 나타냈다.
  • BB5 $[[18, 4, 3]]$ 코드의 경우, 논리적 수명은 물리적 큐비트 수명과 유사했다 ($X_L$에 대해 $T_2^* \approx 1.1 \pm 0.3$ s, $Z_L$에 대해 $T_1 \approx 3.3 \pm 0.9$ s).
• 유연성: 동일한 하드웨어가 게이트 시퀀스와 큐비트 매핑의 소프트웨어 재구성을 통해서만 국소적 토릭 코드에서부터 매우 비국소적인 qLDPC 코드에 이르기까지 매우 다양한 연결 요구 사항을 가진 코드들을 성공적으로 구현하였다.

의의 및 주장
본 논문은 이 작업이 큐비트 효율적인 결함 허용 아키텍처를 향한 중요한 이정표임을 주장한다. 트랩 이온 시스템의 유연성을 활용함으로써, 저자들은 이전에 실험적 구현을 제한했던 하드웨어 제약 없이 고율 qLDPC 코드를 구현할 수 있음을 입증했다. qLDPC 코드를 위한 브레이크이븐 성능(논리 큐비트가 물리적 큐비트만큼 혹은 그보다 오래 생존하는 성능)의 성공적인 시연은 이 코드들이 1세대 결함 허용 양자 컴퓨팅(FTQC)의 유망한 후보임을 시사한다. 새로운 OMG 아키텍처 구현은 이온 이동이나 별도의 냉각 종(species)에 의한 오버헤드 없이 확장 가능한 중간 회로 측정 및 냉각을 가능하게 하는 핵심 동력으로 강조된다. 이 연구는 트랩 이온 장치가 qLDPC 코드에 필요한 복잡한 연결성을 실현하기 위한 자연스러운 플랫폼임을 뒷받침한다.