A superconducting surface-code processor with lattice-surgery logical operations

이 논문은 초전도 표면 코드 프로세서 상에서 결함 허용 격자 수술 연산의 실험적 구현을 보고하며, 고충실도 논리 벨 상태 준비, 논리 데우이치-조사 알고리즘, 그리고 확장 가능한 양자 컴퓨팅을 위한 다각적인 패러다임을 구축하기 위한 비클리포드 게이트 텔레포테이션을 입증한다.

핵심

당신이 부서지기 쉬운 메시지를 폭풍우 치는 바다 너머로 보내려고 한다고 상상해 보십시오. 만약 종이배 한 척만 보낸다면, 파도 한 번에 가라앉고 말 것입니다. 하지만 여러 개의 작은 배들을 묶어 만든 거대하고 보강된 뗏목을 만든다면, 몇 개의 개별 배가 손상되더라도 뗏목 전체는 파도를 견뎌낼 수 있습니다. 이것이 **양자 오류 정정(Quantum Error Correction)**의 기본 개념입니다. 즉, 하나의 정보(논리적 큐비트)를 보호하기 위해 많은 물리적 "배들"(물리적 큐비트)을 사용하는 것입니다.

이 논문은 초전도 칩 위에서 **표면 코드(Surface Code)**라고 불리는 설계를 사용하여, 그 뗏목을 만드는 과정에서의 중대한 진전을 설명합니다. 연구진이 달성한 성과를 쉽게 설명하면 다음과 같습니다.

1. 설정: 뗏목 만들기

연구팀은 칩 위에 125개의 작은 초전도 "배"(큐비트)로 구성된 격자를 만들었습니다. 이들은 이 배들을 두 개의 별개 "뗏목"(논리적 큐비트)으로 조직했는데, 각 뗏목은 17개의 물리적 배로 구성되었습니다.

• 도전 과제: 현실 세계에서 이 배들은 불안정합니다. 배들은 표류하고, 에너지를 누출하며, 실수를 저지릅니다.
• 해결책: 그들은 배가 표류하기 시작했는지 확인하기 위해 끊임없이 "날씨"를 체크했습니다(오류 증후량 측정). 만약 어떤 배가 표류하기 시작하면, 뗏목 전체가 가라앉기 전에 이를 바로잡을 수 있었습니다. 그들은 이들의 뗏목이 이러한 체크 과정을 여러 차 반복하더라도 메시지 전체가 손상될 확률이 매우 낮다는 것을 입증했습니다.

2. 마법 같은 기술: 뗏목 합치기와 나누기 (격자 수술)

이 논문에서 가장 흥ile한 부분은 **격자 수술(Lattice Surgery)**이라 불리는 기술입니다. 이것은 물리적으로 배들을 움직이지 않고도 두 개의 별개 뗏목에 대해 연산을 수행하는 방법이라고 생각하면 됩니다.

• 합치기: 두 개의 별개 뗏목이 나란히 떠 있다고 상상해 보십시오. 계산을 수행하기 위해, 이들을 일시적으로 하나의 거대하고 길쭉한 뗏목으로 묶습니다.
• 측정: 이들이 하나로 묶여 있는 동안, 결합된 뗏목의 특정 속성을 측정합니다. 이는 두 원래의 뗏목 사이의 관계에 대해 알려줍니다.
• 나누기: 그런 다음 뗏목을 다시 풀어 두 개의 별개 뗏목으로 분리합니다.

양자 역학이 작동하는 방식 덕분에, 이 묶고 푸는 과정은 단순히 측정하는 것에 그치지 않고, 두 뗏목을 얽히게(entangle) 만듭니다. 이것은 마치 두 개의 별개의 마법 지팡이를 서로 맞댄 후, 다시 떼어냈을 때 두 지팡이가 마법적으로 연결된 것과 같습니다. 즉, 하나를 흔들면 아무리 멀리 떨어져 있어도 다른 하나가 즉시 흔들리게 됩니다.

3. 그들이 실제로 수행한 작업

연구진은 이 "묶고 푸는" 방법을 사용하여 세 가지 구체적인 작업을 수행했습니다.

• "양자 쌍둥이" 생성 (벨 상태, Bell State): 두 개의 별개 논리적 뗏목에서 시작하여, 이들을 합쳤다가 다시 나누었습니다. 그 결과, 두 논리적 큐비트는 완벽하게 연결(얽힘)되었습니다. 그들은 이 연결이 실제이며 강력하다는 것을 시스템의 노이즈 속에서도 입증했습니다.
• 논리 퍼즐 풀기 (도이치-조사 알고리즘, Deutsch-Jozsa Algorithm): 그들은 연결된 뗏목을 사용하여 특정 논리 퍼즐을 풀었습니다. 이 퍼즐에서는 숨겨진 기계가 항상 같은 답을 주는지, 아니면 혼합된 답을 주는지 알아내야 합니다. 그들의 양자 뗏목은 "가공되지 않은"(오류 정정이 되지 않은) 시스템보다 훨씬 더 자주 정답을 맞혔으며, 이는 오류 정정이 컴퓨터의 사고 능력을 실제로 향상시켰음을 보여줍니다.
• "불가능한" 회전 (비클리포드 게이트, Non-Clifford Gates): 표준 양자 컴퓨터는 일부 회전(rotation)은 쉽게 할 수 있지만, "비클리포드"라고 불리는 특정 유형의 회전에는 어려움을 겪습니다. 이 작업을 수행하기 위해 팀은 특별한 트릭을 사용했습니다:
  1. 한쪽 뗏목에 특별한 "마법 재료"(마법 상태)를 준비합니다.
  2. 두 뗏목을 합쳐서 이 마법을 다른 쪽 뗏목으로 전달합니다.
  3. 뗏목을 나누어, 보통 매우 어려운 복잡한 회전을 수행합니다.
     그들은 오류가 감지된 실행 건들을 걸러냈을 때, 약 94%의 충실도(fidelity)로 이 작업을 높은 정확도로 수행할 수 있음을 보여주었습니다.

4. 핵심 요약

이 논문은 **격자 수술(Lattice Surgery)**이 양자 컴퓨터에서 복잡한 계산을 수행하는 실질적이고 작동 가능한 방법임을 주장합니다.

• 그들은 단순히 데이터를 저장하는 메모리 스틱을 만든 것이 아니라, 그 데이터로 수학적 연산을 수행할 수 있는 프로세서를 만들었습니다.
• 그들은 이 뗏목들을 합치고 나누는 과정을 통해 얽힘을 생성하고, 알고리즘을 실행하며, 복잡한 회전을 수행할 수 있음을 입증했습니다.
• 비록 이 시스템이 실세계의 문제를 해결하기 위해서는 더 커지고 더 완벽해져야 하겠지만, 이 실험은 결함 허용(fault-tolerant) 양자 컴퓨터를 위한 근본적인 빌딩 블록들이 의도대로 작동하고 있음을 증명합니다.

요약하자면, 그들은 두 개의 별개 오류 정정 양자 "뗏목"을 가져와서, 계산을 위해 서로 묶고, 다시 나누어 유용한 얽힘 결과를 얻어낼 수 있다는 것을 성공적으로 보여주었습니다. 이는 실제로 문제를 해결할 수 있는 양자 컴퓨터를 구축하는 여정에서 매우 중요한 이정표입니다.

기술 요약

기술 요약: 격자 수술 논리 연산을 갖춘 초전도 표면 코드 프로세서

문제 정의
확장 가능한 양자 컴퓨팅을 위해서는 저중량 물리적 오류가 수정 불가능한 논리적 실패로 전파되는 것을 방지하는 결함 허용(fault-tolerant) 논리 연산이 필요하다. 표면 코드는 높은 임계값과 평면 레이아웃에 대한 호환성 덕분에 양자 오류 정정(QEC)의 유력한 후보이지만, 실험적 진전은 주로 반복적인 신드롬 추출 사이클(SEC) 시연과 브레이크이븐(break-even) 지점을 넘어서는 논리적 메모리 수명 확보에 집중되어 왔다. 결정적인 남은 과제는 정적인 2차원 초전도 아키텍처의 엄격한 제약 조건 내에서 결함 허용성을 유지하며 논리 연산을 구현하는 것이다. 가교 연산(transversal operations)은 결함 허용성을 제공하지만, 평면 시스템에서는 사용할 수 없는 비국소적 연결성을 요구한다. 격자 수술(lattice surgery)은 코드 패치를 동적으로 변형하여 연산을 수행하는 방식으로, 이러한 플랫폼을 위한 해결책으로 제시되나, 완전한 오류 정정이 가능한 표면 코드 패치 간의 직접적인 시연과 비클리포드(non-Clifford) 논리 게이트의 실현은 여전히 미해결된 실험적 과제로 남아 있다.

방법론
저자들은 125개의 조절 가능한 트랜스몬 큐비트로 구성된 평면형 초전도 프로세서 상에서 기초적인 격자 수술 연산을 실험적으로 구현하였다. 이 시스템은 두 개의 논리 큐비트 $L_1$과 $L_2$를 호스트하며, 각 큐비트는 거리-3 회전 표면 코드(패치당 9개의 데이터 큐비트와 8개의 신드롬 큐비트)로 인코딩된다.

핵심 방법론은 다음과 같다:

1. 격자 병합 및 분리(Lattice Merge and Split): 공동 논리 연산을 수행하기 위해, 두 개의 서로 떨어진 코드 패치를 동적으로 재구성된 신드롬 추출 회로를 통해 하나의 길쭉한 $7 \times 3$ 회전 표면 코드($L_3$)로 병합한다. 이는 경계 안정기(boundary stabilizers)를 확장하고 보조 데이터 및 신드롬 큐비트를 도입하는 과정을 포함한다. 논리 파울리 연산자는 신드롬 기록의 패리티를 통해 측정된다. 이후 패치들은 보조 데이터 큐비트를 $Z$ 기저로 측정하고 원래의 안정기 가중치를 복구함으로써 $L_1$과 $L_2$로 다시 분리된다.
2. 상태 준비 및 교정: 격자 분리 프로토콜을 통해 논리 벨 상태(Bell state)를 결정론적으로 생성하며, 측정 유발 오류를 교정하기 위해 중간 측정 결과에 조건화된 파울리 프레임 업데이트를 활용한다.
3. 알고리즘 실행: 논리 수준에서 2-큐비트 도이치-조사(Deutsch-Jozsa) 알고리즘을 실행한다. 양자 오라클은 격자 수술을 통해 구현되며, 상수 함수와 균형 함수를 구분한다.
4. 비클리포드 연산: 유니버설 제어는 매직 상태 주입(magic-state injection)과 게이트 텔레포테이션을 통해 달성된다. 고충실도 매직 상태를 $L_2$에 준비하고, 이를 소비하여 공동 $M_{XX}$ 측정(병합/분리 연산을 통해 실현됨)을 통해 $L_1$에 임의의 논리 $R_X(\theta)$ 회전을 수행한다.
5. 오류 처리: 오류 정정을 위해 믿음 매칭 디코더(belief-matching decoder)를 사용하며, 벤치마킹 성능의 상한을 측정하기 위해 "감지된 오류 없음(detected-error-free)" 사후 선택(비정상적인 신드롬이나 누설 이벤트가 발생한 실행을 제외)을 활용한다.

주요 기여

• 격자 수술의 실험적 구현: 초전도 프로세서 상에서 두 개의 거리-3 표면 코드 논리 큐비트 간의 격자 병합 및 격자 분리 연산을 직접 시연한 첫 사례이다.
• 논리적 얽힘: 두 표면 코드 패치 간에 결정론적인 논리 벨 상태($|\Phi^+\rangle_L$)를 준비함으로써, 비트 플립 및 위상 플립 오류에 대한 동시 보호를 제공한다.
• 논리 알고리즘 실행: 도이치-조사 알고리즘을 논리 수준에서 성공적으로 구현하여, 결함 허용 프레임워크 내에서의 알고리즘적 유용성을 입증하였다.
• 비클리포드 게이트 구현: 매직 상태 주입 및 게이트 텔레포테이션을 통해 논리 $X$ 축 주위의 연속적인 비클리포드 논리 회전을 구현하였으며, 이는 유니버설 양자 컴퓨팅의 필수 구성 요소이다.

결과

• 논리 메모 성능: 누설 이벤트를 제외했을 때, 논리 큐비트는 사이클당 $\epsilon_{L1} = 0.0365(2)$ 및 $\epsilon_{L2} = 0.0282(1)$의 오류율을 보였다.
• 벨 상태 충실도: 원시(raw) 상태 충실도는 $0.372$였다. 믿음 매칭 디코더를 사용한 경우, 충실도 하한은$F_{dec} = 0.532$로 개선되어 진정한 이분 얽힘(bipartite entanglement)을 확인하였다. 감지된 오류 없음 사후 선택 하에서 충실도는 F_{pst} = 0.925}에 도달했다.
• 도이치-조사 정확도: 오류 정정은 분류 정확도를 크게 향상시켰다. 상수 함수의 경우, 정확도는 $0.886$(원시)에서$0.970$(디코딩됨)으로 상승했다. 균형 함수의 경우,$0.623$에서$0.716$으로 개선되었다. 사후 선택은 이들을 1에 가까운 값으로 높였으나, 균형 함수의 경우 데이터의$0.06%$만을 유지하는 대가를 치렀다.
• 비클리포드 게이트 충실도: 논리 $R_X(\pi/4)$ 게이트에 대해, 오류 교정된 결과는 원시 데이터 대비 완만한 개선을 보였다. 감지된 오류 없음 사후 선택 하에서 논리 게이트 충실도는 $0.943^{+10}_{-9}$에 도달했다.

의의
저자들은 이 결과가 격자 수술을 근접한 표면 코드 아키텍처에서 논리 연산을 위한 실용적이고 다재다능한 패러다임으로 확립한다고 주장한다. 메모리 보존, 얽힘 생성부터 알고리즘 실행 및 유니버설 게이트 구현에 이르는 전체 스택의 연산을 시연함으로써, 본 연구는 초전도 회로에서 확장 가능한 결함 허용 양자 우위로 전환하기 위한 중요한 이정표를 제시한다. 이 논문은 이러한 발견을 고립된 양자 메모리에서 프로그래밍 가능한 결함 허용 프로세서로 전환하는 데 필요한 필수적인 빌딩 블록으로 규정한다.