비-클리포드 게이트를 안정자 코드 간에 비아벨 위상 질서를 통해 구현

배경 및 학문적 계보

안정자 코드(stabilizer codes) 간에 비-클리포드(non-Clifford) 논리 게이트를 구현하는 문제는 위상 양자 계산(topological quantum computation)이라는 더 넓은 분야에서 파생되었다. 핵심 아이디어는 위상 질서(topological order)의 강건한 특성을 활용하는 것으로, 정보는 시스템의 비-전역적(non-global) 특성에 인코딩되어 국소적 잡음(local noise)으로부터 본질적으로 보호된다. 이 개념은 1990년대 초 X.-G. Wen과 Q. Niu에 의해 개척되었으며[1,2], 임의 입자(anyon)를 이용한 결함 허용 양자 계산(fault-tolerant quantum computation) 제안으로 A. Kitaev에 의해 크게 발전했다[3].

역사적으로 보편적 위상 양자 계산의 초점은 비아벨 임의 입자의 꼬임(braiding) 및 융합(fusion) 측정 조작에 맞춰져 있었다[3,11-13]. 비아벨 임의 입자를 준비하고 조작하는 데 있어 상당한 이론적 진전과 최근의 실험적 돌파구가 있었음에도 불구하고[10], 그 제어를 위한 완전한 결함 허용 방법론을 달성하는 것은 여전히 중대한 미해결 과제로 남아 있다. 이러한 실험적 어려움이라는 "고통점"과 동적 임의 입자 연산(꼬임 및 융합)에 대한 강건한 결함 허용 제어의 부족이 저자들이 대안적 프로토콜을 탐구하도록 동기를 부여했다. 그들은 복잡하고 동적인 임의 입자 꼬임 및 융합 제어에 의존하는 대신, 비아벨 위상 질서를 정적 중간 자원(static intermediate resource)으로 활용하여 비-클리포드 논리 게이트를 달성하는 것을 목표로 한다. 이 접근 방식은 연산 전반에 걸쳐 근본적인 퀴딧 표면 코드(qudit surface codes)를 기본 상태(ground state)로 유지함으로써 오류 수정 과정을 단순화한다.

직관적인 도메인 용어

• 위상 질서(Topological Order): 정보가 개별 원자에 저장되는 것이 아니라 전체 물질의 집합적이고 "매듭진" 패턴에 저장되는 매우 특별한 종류의 물질을 상상해 보라. 개별 원자를 찌르거나 만져도 전반적인 "매듭"은 안정하게 유지되며 정보는 보존된다. 국소적 교란에 대한 이러한 강건성이 위상 질서의 본질이며, 양자 정보를 보호하는 데 이상적이다.
• 비-클리포드 게이트(Non-Clifford Gates): 양자 컴퓨터는 상대적으로 수행하고 오류를 수정하기 쉬운 기본적인 "쉬운" 연산(클리포드 게이트) 세트를 가지고 있다고 생각하라. 그러나 양자 계산의 완전한 잠재력을 발휘하고 가능한 모든 계산을 수행하려면 더 복잡하고 "어려운" 연산(비-클리포드 게이트)이 필요하다. 이 논문은 이러한 중요한 "어려운" 연산을 구현하는 새로운 방법을 찾는 데 관한 것이다.
• 임의 입자(Anyons, 아벨/비아벨): 이것들은 2차원 시스템에서만 존재할 수 있는 이국적인 "준입자(quasiparticles)"이다. 일반 입자와 달리, 두 임의 입자가 자리를 바꾸면 양자 상태가 특이한 방식으로 변할 수 있다. 아벨 임의 입자는 두 개의 동일한 동전과 같다: 그것들을 바꾸면 근본적으로 아무것도 변하지 않는다. 그러나 비아벨 임의 입자는 더 복잡한 두 개의 얽힌 리본과 같다: 그것들을 바꾸면 그것들이 꼬인 방식이 변할 수 있으며, 이 변화는 정보를 저장할 수 있어 양자 계산을 위한 강력한 도구가 된다.
• 안정자 코드 / 표면 코드(Stabilizer Codes / Surface Codes): 표면 위의 양자 비트(qubit)의 큰 격자를 상상하라. 안정자 코드, 예를 들어 표면 코드는 이러한 큐비트를 집합적으로 배열하고 측정하는 영리한 방법이다. 각 큐비트를 개별적으로 확인하는 대신, 그룹으로 확인한다. 오류가 발생하면 이러한 그룹 측정(신드롬)은 귀중한 양자 정보 자체를 드러내지 않고 오류가 어디에 있는지 알려주어 수정할 수 있게 한다. 그것들은 양자 데이터를 위한 "안전 지대"를 만든다.

표기법 표

표기법	설명

문제 정의 및 제약 조건

핵심 문제 공식화 및 딜레마

이 논문에서 다루는 중심 문제는 아벨 퀴딧 표면 코드 간에 결함 허용 방식으로 비-클리포드 논리 게이트를 구현하는 것이다.

입력/현재 상태는 아벨 퀴딧 표면 코드, 특히 $\mathbb{Z}_2$ 큐비트 표면 코드와 $\mathbb{Z}_3$ 큐트릿 표면 코드로 구성되며, 각 코드는 임의의 논리 상태로 초기화된다(2쪽). 이 코드들은 양자 메모리에서 강건함으로 알려져 있지만, 클리포드 게이트만 수행할 수 있다는 한계가 있다.

출력/목표 상태는 이러한 코드 간에 비-클리포드 논리 게이트의 성공적인 실행이다. 상세히 설명된 주요 예시는 제어-전하-켤레(controlled-charge-conjugation, CC) 게이트로, 기저 상태를 $CC: |ab\rangle \rightarrow |a^{(-1)^b}\rangle$로 변환한다. 여기서 $a \in \mathbb{Z}_3$는 대상 큐트릿이고 $b \in \mathbb{Z}_2$는 제어 큐비트이다(2쪽, 식 2). 더 일반적으로, 이 프로토콜은 제어-임의 입자 자기동형사상 게이트 $C_\psi$ (3쪽, 식 3)를 구현하는 것을 목표로 한다. 핵심은 위상 코드에 내재된 결함 허용 특성을 유지하면서 이를 달성하는 것이다.

이 논문이 연결하고자 하는 누락된 연결 또는 수학적 간극은 위상 양자 계산을 사용하여 비-클리포드 게이트를 생성하는 실용적이고 결함 허용적인 방법이다. 이전 연구는 주로 비아벨 임의 입자의 꼬임 및 융합 측정과 관련된 계획에 초점을 맞춰왔다(1쪽). 그러나 이러한 동적 임의 입자 연산을 제어하기 위한 완전한 결함 허용 방법은 여전히 미해결 과제로 남아 있다(1쪽). 이 논문은 대안을 제안한다: 비아벨 위상 질서를 정적 중간 자원으로 사용하여 이러한 게이트를 중재함으로써, 임의 입자의 복잡하고 오류 발생 가능성이 있는 동적 조작을 피한다(2쪽).

이전 연구자들이 갇혀 있던 고통스러운 절충 또는 딜레마는 보편적 양자 계산(비-클리포드 게이트를 필요로 함) 달성과 결함 허용 유지 사이의 충돌에 있다. 임의 입자 꼬임에 기반한 계획은 보편적 계산을 제공하지만, 결함 허용 제어를 달성하는 데 있어 상당한 실험적, 이론적 난관에 직면한다(1쪽). 딜레마는 계산 능력(비-클리포드 게이트)을 증가시키는 것이 일반적으로 강건성 감소 또는 오류 수정의 복잡성 증가를 대가로 한다는 것이다. 이 논문은 비아벨 위상 질서의 정적 특성을 활용하여 이 문제를 해결하려고 시도하며, 이는 아벨 퀴딧 표면 코드가 과정 전반에 걸쳐 기본 상태를 유지할 수 있게 하여 디코딩 절차를 단순화한다(2쪽).

제약 조건 및 실패 모드

결함 허용 비-클리포드 게이트 구현 문제는 몇 가지 가혹하고 현실적인 제약 조건으로 인해 엄청나게 어려워진다.

• 비아벨 임의 입자 제어의 실험적 어려움: 주요 실질적 제약 조건은 비아벨 임의 입자를 결함 허용 방식으로 실험적으로 준비하고 조작하는 어려움이다. 진전이 있었지만, 완전한 해결책은 아직 요원하다(1쪽). 이러한 어려움은 논문의 정적 자원 접근 방식에 동기를 부여한다.
• 게이징 맵의 비국소성: 프로토콜의 핵심 구성 요소인 $\mathbb{Z}_2$ 게이징 맵은 본질적으로 비국소적이다. 한 번에 모두 적용되면 오류가 비국소적으로 전파될 수 있어 결함 허용 분석 및 수정이 극도로 어려워진다(12쪽). 이는 게이징 맵을 열별로 적용해야 하므로 절차적 복잡성이 추가된다.
• 비아벨 디코더의 복잡성: 비아벨 위상 질서에 대한 디코더를 개발하는 것은 아벨 코드에 대한 것보다 훨씬 더 복잡하다. 논문은 $\mathbb{D}(S_3)$ 양자 이중체에 대해 "비교적 간단한" 경고 디코딩(heralded decoding) 체계를 제안하지만, 단일 큐비트 및 퀴트릿 오류에 대한 오류 임계값의 상세한 수치 분석은 향후 연구로 남겨둔다고 인정한다(3쪽, 12쪽). 이는 이러한 시스템에 대한 강건한 결함 허용이 여전히 어렵고 열린 문제임을 나타낸다.
• 오류 전파 및 비국소적 오류: 게이징 맵 이전에 발생하는 오류는 즉시 국소적으로 수정되지 않으면 $\mathbb{D}(S_3)$ 코드 내에서 비국소적 오류로 변환될 수 있다. 예를 들어, $\mathbb{Z}_3$ 코드의 $\mathbb{Z}_e$ 오류는 $\mathbb{S}_3$ 코드가 한 번에 준비되면 비국소적 문자열에 조건부로 적용될 수 있다(12쪽). 이는 오류를 국소화하기 위해 신중한 열별 오류 수정 전략을 요구한다.
• 퀴딧 코드에 대한 일반화된 디코더: 큐비트 표면 코드에 대해 설계된 표준 디코더는 퀴딧 표면 코드에 직접 적용되지 않으므로, 더 일반화된 디코딩 알고리즘의 개발 및 사용이 필요하다(12쪽).
• 측정 오류 및 회로 수준 잡음: 논문은 프로토콜 내에서 측정 오류 및 회로 수준 잡음에 대한 상세한 분석을 향후 연구로 명시적으로 연기한다(3쪽). 이것들은 모든 양자 계산에서 중요한 실질적인 제약 조건이며, 이 특정 프로토콜의 결함 허용에 대한 전체 영향은 아직 정량화되지 않았다.
• 임의 입자의 주기성: 특정 비아벨 임의 입자, 특히 C 및 F 임의 입자의 수정은 주기적 특성으로 인해 여러 차례의 수정이 필요하며, 디코딩 과정에 복잡성을 더한다(13쪽).

왜 이 접근 방식인가

선택의 불가피성

저자들이 비-클리포드 논리 게이트 구현을 위한 정적 중간 자원으로서 비아벨 위상 질서를 활용하기로 선택한 것은 단순히 하나의 선택지가 아니라, 보편적 위상 양자 계산에 대한 대안적 접근 방식의 내재된 어려움에 의해 주도된 전략적 필수였다. 논문은 명시적으로 "하나의 유망한 접근 방식은 비아벨 임의 입자의 위상적 특성을 활용하는 것[3]이지만, 이를 달성하는 표준 방법인 '비아벨 임의 입자의 꼬임 및 융합 측정[3,11-13]'은 완전한 결함 허용 구현에 있어 '미해결 과제'로 남아 있다"고 강조한다(1쪽). 이러한 인식은 기존의 "SOTA(State-Of-The-Art)" 방법, 즉 이 맥락에서 동적 임의 입자 조작을 의미하는 것이 실용적이고 결함 허용적인 근거리 장치 계획에 대해 불충분하다고 간주된 정확한 순간을 표시한다.

비아벨 임의 입자를 꼬는 복잡하고 실험적으로 까다로운 작업을 직접 다루는 대신, 저자들은 비아벨 위상 질서를 고정된 배경 또는 "정적 중간 자원"으로 준비하는 방법으로 전환했다. 이를 통해 동적 임의 입자 꼬임 없이 비-클리포드 게이트를 추출할 수 있어 주요 실험적 장애물을 우회할 수 있다. 상태 준비 및 논리 상태 주입을 위한 측정 및 피드포워드를 갖춘 유한 깊이 양자 회로의 사용은 이러한 기법이 현재 양자 하드웨어 기능에 더 적합하기 때문에 이러한 불가피성을 더욱 강조한다(1쪽).

비교 우위

이 접근 방식은 특히 동적 임의 입자 꼬임에 의존하는 이전의 금본위제(gold standard)에 비해 압도적으로 우수한 여러 질적 이점을 제공한다. 이러한 이점 중 가장 중요한 것은 오류 수정 과정의 상당한 단순화이다: "우리 접근 방식의 핵심 장점은 퀴딧 표면 코드가 전체 과정 동안 기본 상태를 유지하므로 디코딩 절차를 단순화한다는 것이다"(2쪽). 논리 정보가 임의 입자의 동적 진화에 인코딩되는 계획과 대조적으로, 게이트 연산 전반에 걸쳐 아벨 표면 코드를 기본 상태로 유지하는 것은 오류 감지 및 수정의 복잡성을 크게 줄인다.

또한, 이 프로토콜은 "대칭이 풍부한 위상 질서의 게이징을 통해 퀴딧 표면 코드 간에 광범위한 비-클리포드 및 비-대각 논리 게이트를 생성하는 프레임워크를 제공함으로써" 이전 접근 방식을 일반화한다(1쪽, 초록). 이러한 구조적 이점은 D4 위상 질서와 같은 특정 사례를 넘어 이전에 탐구된 방법보다 더 넓은 범위의 게이트를 허용한다. S3 양자 이중체에 대해 제안된 경고 디코더는 "비아벨 시스템에 대한 디코딩 복잡성에서 질적 개선"인 "통신 투영기 모델에서 발생하는 확률적 신드롬 측정"을 활용하는 "비교적 간단하다"(3쪽)는 점도 주목할 만하다. 비아벨 임의 입자를 직접 조작하는 것을 피함으로써, 이 방법은 종종 실험 설정에서 오류에 취약한 꼬임 및 융합과 관련된 복잡한 제어 및 측정 문제를 우회한다.

제약 조건과의 일치

선택된 방법은 결함 허용, 보편성 및 근거리 양자 장치에 대한 실험적 실현 가능성의 암묵적 제약 조건과 완벽하게 일치한다.

1. 비-클리포드 게이트 구현: 주요 목표는 보편적 양자 계산에 필수적인 비-클리포드 게이트를 구현하는 것이다. 이 프로토콜은 D(S3) 양자 이중체의 비아벨 특성을 활용하여 제어-전하-켤레(CC) 게이트를 실현하고, 더 일반적으로는 제어-임의 입자 자기동형사상 게이트를 실현함으로써 이를 직접 달성한다(2쪽, 11쪽).
2. 결함 허용: 아벨 표면 코드를 기본 상태로 유지하는 전략은 결함 허용의 중요한 측면인 오류 수정을 단순화한다(2쪽). 열별 게이징 맵은 오류를 국소화하여 오류가 비국소적으로 전파되는 것을 방지하고 수정을 훨씬 쉽게 만든다(12쪽). 오류 임계값에 대한 완전한 수치 분석은 향후 연구로 남겨져 있지만, D(S3) 코드에 대한 제안된 경고 디코딩 전략은 게이징 맵 이전과 이후에 발생하는 오류를 처리하도록 설계되었다(12쪽).
3. 실험적 실현 가능성: 이 프로토콜은 "유한 깊이 양자 회로와 측정 및 피드포워드"(1쪽)에 의존하며, 이는 현재 및 근거리 양자 하드웨어와 호환되는 기술이다. D(S3) 예시는 특히 "근거리 실험에 가장 관련성이 높다"(12쪽)고 강조되며, 이미 Z3 토릭 코드 및 D4 양자 이중체[9,10]와 같은 일반화된 위상 질서를 실현한 기존 플랫폼에서 구현 가능하다는 실질적인 제약 조건과 일치한다.
4. 보편성: CC 게이트는 클리포드 그룹(별도로 구현 가능하다고 가정)과 결합될 때 보편적 양자 계산을 가능하게 한다(3쪽). 이는 이 방법이 보편적 양자 컴퓨터 구축이라는 더 넓은 목표에 기여함을 보장한다.

대안의 거부

이 논문은 비아벨 임의 입자의 동적 꼬임 및 융합에 의존하는 계산 방식을 암묵적으로 거부한다. 서론에서 언급했듯이, "그것들의 제어를 위한 완전한 결함 허용 방법은 여전히 미해결 과제로 남아 있다"(1쪽). 이는 보편적 위상 양자 계산에 대한 이론적 약속에도 불구하고, 결함 허용 구현에 아직 충분히 강건하지 않은 이러한 계획의 실질적인 어려움과 현재의 한계를 강조한다. "정적 중간 자원" 접근 방식을 채택함으로써, 저자들은 이러한 어려움을 효과적으로 우회하여 비아벨 위상 질서를 양자 계산에 활용하기 위한 더 실험적으로 실행 가능한 경로를 제공한다.

또한, 이 논문은 기존 위상 접근 방식에 대한 일반화 및 개선으로 자신들의 작업을 위치시킨다. 그들은 프로토콜이 "더 일반적"이며 "이전 작업이 D4와 같은 특정 위상 질서에 초점을 맞춘 것보다 더 넓은 범위의 양자 이중체 모델[27,28]에서 논리 게이트를 추출할 수 있다"고 언급한다(2쪽). 이는 다른 위상 방법이 존재하지만, 제안된 프레임워크가 비-클리포드 게이트를 생성하기 위한 더 넓고 유연한 솔루션을 제공함을 시사한다. GAN 또는 확산 모델에 대한 프롬프트 언급은 위상 양자 계산의 범위를 완전히 벗어난 기계 학습 패러다임이므로 여기서는 관련이 없다.

수학적 및 논리적 메커니즘

마스터 방정식

이 논문의 메커니즘의 절대적인 핵심은 제어-전하-켤레(CC) 게이트의 논리적 작용을 정의하는 것으로, 논리적 기저 상태의 변환으로 표현된다. 논문은 식 (1)에서 연산자 형태를 제공하지만, 게이트가 인코딩된 양자 정보에 미치는 영향의 가장 직접적이고 직관적인 표현은 다음과 같이 주어진다.

$$ CC: |ab\rangle \rightarrow |a^{(-1)^b}\rangle $$

이 방정식은 대상 큐트릿의 논리 상태가 제어 큐비트의 논리 상태에 따라 어떻게 조건부로 수정되는지를 포괄한다. 이것은 게이트의 동작을 지배하는 기본 규칙이다. 논문은 또한 이를 제어-임의 입자 자기동형사상 게이트 $C_\psi : |ab\rangle \rightarrow |a^{\psi^b}\rangle$로 일반화하지만(식 3), CC 게이트가 상세히 설명된 주요 예시이다.

항별 분석

마스터 방정식 $CC: |ab\rangle \rightarrow |a^{(-1)^b}\rangle$을 분해하여 각 구성 요소를 이해해 보자.

• $CC$: 이 기호는 제어-전하-켤레 게이트 자체를 나타낸다.

  • 수학적 정의: 특정 비-클리포드 논리 양자 게이트이다.
  • 물리적/논리적 역할: 대상 큐트릿에 대한 전하-켤레 연산을 수행하는 것을 목표로 하지만, 제어 큐비트가 특정 상태에 있을 때만 수행된다. 이러한 조건부 작용이 "제어" 게이트가 되는 이유이며, 비-클리포드 특성은 보편적 양자 계산을 위한 강력한 빌딩 블록이 된다.
  • 이 선택을 한 이유?: 저자들은 전하-켤레가 $\mathbb{Z}_3$ 큐트릿 표면 코드의 $Z_2$ 대칭이기 때문에 이 게이트를 선택했다. 이 대칭은 $\mathbb{Z}_2$ 큐비트 코드와 결합함으로써 "게이징(gauging)"될 수 있으며, 이는 논문의 핵심 아이디어인 비아벨 위상 질서($\mathbb{D}(S_3)$)의 중간 단계 형성을 이끈다.

• $|ab\rangle$: 게이트가 적용되기 전 결합된 양자 시스템의 입력 논리 상태를 나타낸다.

  • 수학적 정의: 디랙 표기법의 복합 양자 상태로, 제어 큐비트 상태와 대상 큐트릿 상태의 텐서 곱을 나타낸다.
    • $a$: 대상 큐트릿의 논리 상태이다. 수학적으로 $a \in \mathbb{Z}_3 = \{0, 1, 2\}$이며, 큐트릿의 세 가지 계산 기저 상태 중 하나를 나타낸다.
    • $b$: 제어 큐비트의 논리 상태이다. 수학적으로 $b \in \mathbb{Z}_2 = \{0, 1\}$이며, 큐비트의 두 가지 계산 기저 상태 중 하나를 나타낸다.
  • 물리적/논리적 역할: 논리 상태 $a$는 $\mathbb{Z}_3$ 표면 코드 내에 인코딩된 변환 대상 정보를 담고 있다. 논리 상태 $b$는 $\mathbb{Z}_2$ 표면 코드 내에 인코딩된 제어 신호 역할을 하며, $a$에 대한 변환이 발생하는지 여부를 결정한다.
  • 이 선택을 한 이유?: $\mathbb{Z}_2$ 및 $\mathbb{Z}_3$ 표면 코드의 사용은 이 예시에 대해 선택된 큐비트 및 큐트릿 차원을 반영하며, 이는 실험적으로 관련성이 있다. 텐서 곱 구조는 다중 퀴딧 시스템에 표준이다.

• $\rightarrow$: 이 화살표는 게이트가 적용되기 전후의 상태 변환 또는 매핑을 나타낸다.

  • 수학적 정의: CC 게이트 적용의 결과를 나타내는 함수 연산자이다.
  • 물리적/논리적 역할: 단순히 게이트의 작용 하에서 시스템의 "이전" 및 "이후" 상태를 나타낸다.

• $|a^{(-1)^b}\rangle$: CC 게이트 연산 후 결합된 시스템의 출력 논리 상태를 나타낸다.

  • 수학적 정의: $b$에 조건부로 적용되는 변환을 나타내는 대상 큐트릿의 변환된 논리 상태를 설명한다.
    • $b=0$인 경우: 제어 큐비트가 논리 상태 $|0\rangle$에 있다. 이 경우 $(-1)^0 = 1$이다. 대상 큐트릿 상태는 $a^1 = a$가 된다. 이는 대상 큐트릿의 상태가 변경되지 않음을 의미한다.
    • $b=1$인 경우: 제어 큐비트가 논리 상태 $|1\rangle$에 있다. 이 경우 $(-1)^1 = -1$이다. 대상 큐트릿 상태는 $a^{-1}$이 된다. 논문에서 정의된 바와 같이, 이 $a^{-1}$은 큐트릿에 대한 전하-켤레 연산 $C$에 해당하며, 이는 $|0\rangle$ 상태를 불변으로 유지하고 $|1\rangle$과 $|2\rangle$ 상태를 교환한다. 따라서 $C|0\rangle = |0\rangle$, $C|1\rangle = |2\rangle$, $C|2\rangle = |1\rangle$이다.
  • 물리적/논리적 역할: 이 항은 CC 게이트 기능의 핵심이다. 제어 큐비트 $b$는 스위치 역할을 한다: $b=0$이면 대상 큐트릿 $a$는 변경되지 않고 유지된다; $b=1$이면 대상 큐트릿 $a$는 전하-켤레 변환을 거친다. 이러한 조건부 연산이 게이트의 원하는 논리적 출력이다.
  • 이 형태를 선택한 이유?: $a^{(-1)^b}$ 표기법은 이러한 조건부 연산을 나타내는 간결한 방법이다. $\mathbb{Z}_3$에서의 직접적인 산술 지수화를 의미하는 것이 아니라, 조건부 전하-켤레를 상징적으로 나타내는 것이다. 연산자 합 또는 적분 대신 상태 변환 규칙(입력 상태를 출력 상태로 매핑)을 선택하는 것은 양자 게이트의 논리적 작용을 정의하는 데 근본적이다.

단계별 흐름

논리적 데이터 포인트 하나가 $|ab\rangle$의 제어 큐비트와 대상 큐트릿의 결합 상태로 표현된다고 상상하고, 이 프로토콜을 조립 라인을 따라 이동한다고 가정해 보자.

1. 초기 설정: 우리의 논리적 데이터 포인트는 $\mathbb{Z}_2$ 표면 코드에 인코딩된 논리 큐비트 상태 $|b\rangle$와 $\mathbb{Z}_3$ 표면 코드에 인코딩된 논리 큐트릿 상태 $|a\rangle$라는 두 개의 별도 개체로 시작한다. 이 코드들은 처음에 분리되어 있으며 물리적으로 분리되어 있다.

2. 코드 확장 및 대칭 풍부화:

   • 먼저, $\mathbb{Z}_2$와 $\mathbb{Z}_3$ 코드가 결국 겹치는 영역에 앵실라 큐비트가 도입된다. 이 앵실라들은 특정 곱 상태로 준비된다.
   • 다음으로, 유한 깊이 양자 회로, 특히 국소 CC 게이트($U_{CC}$, 식 (14)에서)의 일련의 연산이 적용된다. 이 회로는 앵실라 큐비트를 $\mathbb{Z}_3$ 코드의 큐트릿과 얽히게 하는 결합 메커니즘처럼 작동한다. 이 단계는 $\mathbb{Z}_3$ 코드의 전하-켤레 대칭을 앵실라 큐비트에 연결함으로써 $\mathbb{Z}_3$ 코드의 대칭을 "풍부하게" 한다.
   • 이후, "게이징 맵"이 수행된다. 이것은 $\mathbb{Z}_2$와 $\mathbb{Z}_3$ 코드를 겹치는 영역에서 효과적으로 병합하여 비아벨 $\mathbb{D}(S_3)$ 위상 질서의 슬랩을 생성하는 중요한 변환이다. 우리의 논리적 데이터 포인트 $|ab\rangle$는 이제 이 비아벨 환경으로 주입된다. 원래 아벨 코드에서 $|a\rangle$와 $|b\rangle$를 정의했던 논리 연산자(예: $D$ 임의 입자, $C$ 임의 입자)는 $\mathbb{D}(S_3)$ 코드 내의 특정 임의 입자 선으로 변환된다.

3. $\mathbb{D}(S_3)$ 내에서의 논리적 변환: 논리적 데이터 포인트가 $\mathbb{D}(S_3)$ 위상 질서에 인코딩되어 있는 동안, CC 게이트의 핵심 논리적 작용이 발생한다. $\mathbb{D}(S_3)$ 질서의 비아벨 특성은 특정 게이징 및 후속 측정 과정과 결합되어 효과적으로 CC 게이트의 조건부 전하-켤레를 구현한다. 제어 큐비트의 논리 상태가 $|1\rangle$ (즉, $b=1$)이었다면, 대상 큐트릿 $|a\rangle$에 해당하는 논리 정보는 전하-켤레 변환을 거친다. $b=0$이면 변경되지 않는다. 이 변환은 $|a\rangle$에 대한 직접적인 유니터리 적용이 아니라 전체 프로토콜에서 발생하는 것이다.

4. 코드 배출 및 피드포워드:

   • 시스템은 "코드 배출" 단계를 거치며, 여기서 $\mathbb{Z}_2$ 코드(그리고 나중에 $\mathbb{D}(S_3)$ 코드)의 큐비트가 열별로 $Z$ 기저에서 측정된다. 이것은 효과적으로 시스템을 "게이징 해제"하여 논리 정보를 다시 아벨 표면 코드로 추출한다.
   • 측정 결과는 여기서 중요하다. 예를 들어, 배출 중에 비수축성 선에서 $Z=-1$ 결과가 관찰되면 논리적 플립을 의미한다.
   • 이러한 측정 결과에 기반하여 "피드포워드" 연산이 적용된다. 이것들은 배출 중에 생성된 원치 않는 임의 입자 또는 도메인 벽을 제거하거나 적절히 설명하기 위해(예: 큐트릿에 $C$ 연산 또는 큐비트에 $X$ 연산) 수행되는 수정 조치이다. 이 단계는 논리 상태가 올바르게 복구되고 측정 과정에서 도입된 오류가 완화되도록 보장한다.

5. 최종 상태: 논리적 데이터 포인트는 조립 라인에서 나와, 이제 $|a^{(-1)^b}\rangle$로, 별도의 $\mathbb{Z}_2$ 및 $\mathbb{Z}_3$ 표면 코드로 다시 인코딩된다. 제어 큐비트의 상태 $|b\rangle$는 보존되고, 대상 큐트릿의 상태 $|a\rangle$는 조건부로 전하-켤레되어 원하는 비-클리포드 게이트를 달성한다.

최적화 역학

이 맥락에서 "최적화 역학"은 손실 함수의 기울기를 조정하는 것이 아니라, 게이트 프로토콜 전반에 걸쳐 양자 상태의 강건한 유지 및 수정을 의미하며, 잡음에도 불구하고 원하는 논리적 변환을 보장한다. 이는 시스템이 유효한 위상 상태에 머무르거나 오류로부터 복구하는 방법을 "학습"하는 것에 관한 것이다.

• 열별 처리를 통한 결함 허용: 프로토콜의 강건성의 핵심 측면은 코드 확장 및 축소에 대한 열별 접근 방식이다. 전체 코드가 한 번에 적용되면 오류가 매우 비국소적이 되어 수정하기 어려워진다. 열별로 처리함으로써 오류는 국소화되거나 코드 경계 근처의 안정자 위반으로 나타난다. 이러한 국소화는 후속 오류 수정을 단순화하여 효과적으로 "오류 지형"을 더 관리하기 쉬운 형태로 만든다.

• 경고 $\mathbb{D}(S_3)$ 디코딩 전략: 시스템이 비아벨 $\mathbb{D}(S_3)$ 단계에 있을 때, 특수 "경고" 디코딩 전략이 사용된다. 이것은 손실 지형의 기울기에 관한 것이 아니라, 시스템을 기본 상태에서 벗어나게 하는 임의 입자 여기(오류)를 식별하고 무력화하는 것에 관한 것이다.

  1. 신드롬 측정: 프로토콜은 $\mathbb{D}(S_3)$ 코드의 통신 투영기(안정자)를 측정하는 것을 포함한다. 이러한 안정자의 위반은 임의 입자(예: $B$, $C$, $D$, $F$ 임의 입자)의 존재를 나타내며, 이는 이 위상적 맥락에서의 "오류"이다.
  2. 순차적 적응형 수정: 수정 절차는 순차적이며 적응형이다.
     • 먼저, $B_p = -1$ 신드롬($D$ 및 $E$ 임의 입자와 관련됨)은 $X$ 문자열 연산자를 사용하여 수정된다. 그러나 이것은 다른 임의 입자($C$ 및 $F$)를 생성할 수 있다.
     • 다음으로, $A_v$ 및 $B_p$ 신드롬($C$ 및 $F$ 임의 입자와 관련됨)이 처리된다. 이것들은 동시에 측정될 수 있다. 수정은 특정 경로를 선택하여 이러한 신드롬을 제거하는 것을 포함하며, 종종 $Z$ 및 $Z^\dagger$ 연산을 적용하는 적응형 회로를 사용한다. 이 단계는 비아벨 임의 입자를 수정하는 복잡한 문제를 아벨 임의 입자를 수정하는 더 간단한 작업으로 변환하기 때문에 중요하다.
     • 마지막으로, 남아 있는 아벨 $B$ 임의 입자는 표준 $\mathbb{Z}_2$ 표면 코드 디코더와 유사하게 $Z$ 문자열 연산자를 사용하여 수정된다.
  3. 기본 상태로의 수렴: 여기서 "수렴"은 오류가 발생한 후 $\mathbb{D}(S_3)$ 코드를 기본 상태(임의 입자 여기가 없는 상태)로 되돌리는 것을 의미한다. 각 수정 단계는 임의 입자의 수 또는 복잡성을 줄여 오류 지형을 안정적이고 오류 없는 기본 상태로 효과적으로 "평탄화"하는 것을 목표로 한다. "적응형"이라는 것은 수정 연산의 선택이 이전 측정 결과에 의해 알려지며, 시스템을 원하는 상태로 안내한다는 것을 의미한다.

• 논리 상태 보존을 위한 피드포워드: 코드 배출 단계 동안, 측정 결과는 피드포워드 루프에서 사용된다. 측정이 논리적 플립 또는 원치 않는 도메인 벽(예: $Z=-1$ 루프)의 생성을 나타내면, 특정 논리 연산($\mathbb{Z}_2$ 코드에 대한 $X$ 또는 $\mathbb{Z}_3$ 코드에 대한 $C$)이 이러한 문제를 수정하기 위해 적용된다. 이는 CC 게이트의 전체 논리적 변환이 측정 오류가 있는 경우에도 정확하게 실현되도록 보장한다.

FIG. 1. Implementation of logical CC gate between D(Z2) and D(Z3) surface codes. (a) The qubit and qutrit surface codes are separately initialized in arbitrary logical states. Depicted are the Z and X logical operators of the qutrit code and the Z and X logical operators of the qubit code. (b) Non-Clifford CC gates between ancilla qubits initialized in the |0⟩and qutrits of the Z3 code. This is the symmetry-enrichment step, where the Z2 charge-conjugation symmetry of the qutrit surface code is coupled to ancilla qubits. (c) Applying the gauging map to the symmetry-enriched Z3 code yields S3 topological order. After applying the gauging map to the entire Z3 code, a S3 quantum double has been prepared with A + B + 2C boundary conditions on the left and right boundaries and A + D + F boundary conditions on the top and bottom boundaries, which are the analogs of rough and smooth boundary conditions for the S3 non-Abelian code. Logical information from both codes is now injected into the S3 code. The X and Z logical operator from the qubit code transform into the B and D anyon operators, respectively, while the Z and the X map to the C and F anyon operators respectively. (d) The ejection of the qubit and qutrit code from the non-Abelian code is done by simply measuring out qubits from the left side of the Z2 code in the Z basis. Measurement outcomes of Z = −1 correspond to the endpoints of ground state D anyon loops terminating at the left boundary. Feedforward is performed to return the stabilizers of the Z3 code back to their original form. (e) Once FIG. 2. We schematically show the states in the superposition of the D(S3) wavefunction in the Z basis. Each state is a D(Z3) wavefunction with a charge-conjugation domain wall configu- ration applied to the state. After the qubits of the S3 code are measured out in the Z basis, one such state is obtained with the Z = −1 measurement outcomes bounding the domain walls

결과, 한계 및 결론

실험 설계 및 기준선

이 논문은 전통적인 물리적 하드웨어 및 비교 성능 지표를 사용한 실험적 검증보다는 비-클리포드 논리 게이트 구현을 위한 이론적 프로토콜을 제시한다. "실험 설계"는 제안된 양자 계산 체계의 세심한 건축 청사진을 의미한다. 저자들은 논리 연산자와 안정자를 하이브리드 위상 코드 시스템 내에서 단계별 변환을 상세히 설명함으로써 자신들의 수학적 주장을 "무자비하게 증명"하도록 프로토콜을 설계했다.

그들의 접근 방식의 핵심은 두 개의 아벨 표면 코드—$\mathbb{Z}_2$ 큐비트 표면 코드와 $\mathbb{Z}_3$ 큐트릿 표면 코드(둘 다 임의의 논리 상태로 초기화됨)—를 가져와 비아벨 위상 질서, 특히 $S_3$의 양자 이중체($\mathbb{D}(S_3)$)를 중간 자원으로 도입하는 것이다. 이는 $\mathbb{Z}_2$ 코드를 $\mathbb{Z}_3$ 코드 위로 슬라이딩하고, 겹치는 영역에서 $\mathbb{Z}_3$ 표면 코드의 전하-켤레 대칭을 순차적으로 게이징하고 언게이징함으로써 달성된다. 이 과정은 삼자 시스템을 생성한다: $\mathbb{Z}_2$, $\mathbb{D}(S_3)$, 그리고 $\mathbb{Z}_3$ 코드이며, 그들 사이에 갭이 있는 도메인 벽이 있다.

개념적인 의미에서 "희생자" 또는 기준선 모델은 비아벨 임의 입자의 직접적인 꼬임 및 융합 측정을 기반으로 하는 보편적 양자 계산 달성을 위한 기존 방법이다. 이론적으로 강력하지만, 이러한 방법은 결함 허용을 달성하는 데 상당한 실험적 어려움에 직면한다. 저자들의 프로토콜은 아벨 표면 코드가 과정 전반에 걸쳐 기본 상태를 유지하기 때문에 오류 수정 절차를 단순화함으로써 암묵적으로 이러한 방법들을 "극복"한다.

그들의 핵심 메커니즘이 실제로 작동한다는 결정적이고 부인할 수 없는 증거는 엄격한 수학적 유도를 통해 제공된다. 그들은 안정자 코드의 논리 연산자(아벨 임의 입자 선과 동등함)가 이러한 도메인 벽을 가로질러 $S_3$ 양자 이중체의 비아벨 임의 입자 선으로 어떻게 변형될 수 있는지를 정확하게 보여준다. 프로토콜은 제어 큐비트가 $\mathbb{Z}_2$ 코드에서 오고 대상 큐트릿이 $\mathbb{Z}_3$ 코드에서 오는 제어-전하-켤레(CC) 게이트의 논리적 작용으로 절정을 이룬다. 이것은 논리 연산자의 변환을 추적함으로써 명시적으로 시연된다: $\mathbb{Z}_2$ 코드의 $Z$ 논리 연산자는 단순히 확장되는 반면, $\mathbb{Z}_2$ 코드의 $X$ 논리 연산자는 $C$ 연산자( $\mathbb{Z}_3$ 코드에 대한 전역 전하-켤레 연산)에 의해 드레스된 $X$ 연산자로 변환된다. 마찬가지로, $\mathbb{Z}_3$ 코드의 $Z$ 논리 연산자는 $Z$로 변환되고, $\mathbb{Z}_3$ 코드의 $X$ 논리 연산자는 비국소적 문자열에 조건부로 적용되는 $X$ 연산자로 변환된다. 코드를 배출한 후의 최종 상태는 논리 연산자 $X \rightarrow XC$ 및 $Z \rightarrow Z$의 변환으로 표시되는 CC 게이트를 정확하게 구현한다.

증거가 증명하는 것

이 논문에서 제시된 증거는 비-클리포드 논리 게이트 구현을 위한 그들의 제안된 프로토콜의 실현 가능성과 메커니즘을 엄격하게 증명한다.

1. 비-클리포드 게이트 구현: 핵심 성과는 큐비트와 큐트릿 표면 코드 간에 논리적 제어-전하-켤레(CC) 게이트를 이론적으로 성공적으로 시연한 것이다. 이것은 보편적 양자 계산에 필수적인 비-클리포드 게이트이다. 논리적 작용은 $a \in \mathbb{Z}_3$가 대상 큐트릿이고 $b \in \mathbb{Z}_2$가 제어 큐비트인 $CC: |ab\rangle \rightarrow |aC^{-1}b\rangle$로 정확하게 정의된다.
2. 비아벨 위상 질서를 통한 메커니즘: 이 프로토콜은 중간 단계로서 비아벨 $\mathbb{D}(S_3)$ 위상 질서로의 얽힘을 활용한다. 안정자(식 16-21)와 논리 연산자(식 22-26, 31-32)가 대칭 풍부화, 게이징 및 배출 단계 동안 변환되는 방식에 대한 상세한 분석은 $\mathbb{D}(S_3)$ 코드가 필요한 "계산 엔진" 역할을 한다는 구체적인 수학적 증거를 제공한다. 초기 아벨 코드에서 최종 CC 게이트 작용으로의 논리 연산자의 변환은 명시적으로 유도되고 설명된다.
3. 기본 상태 보존: 주요 장점이자 그들의 접근 방식의 입증된 측면은 아벨 퀴딧 표면 코드가 전체 과정 동안 기본 상태를 유지한다는 것이다. 이것은 임의 입자를 여기 상태에서 조작해야 하는 계획에 비해 오류 수정 절차를 크게 단순화한다.
4. 일반화 가능성: 저자들은 그들의 프로토콜이 더 일반적이며, $\mathbb{D}(G)$의 더 넓은 범위의 양자 이중체 모델로 확장된다고 보여준다. 여기서 $G$는 아벨 그룹의 반직접 곱이다. 이것은 $S_3$ 예시를 넘어선 프레임워크의 광범위한 적용 가능성을 나타내며, 제어-임의 입자 자기동형사상 게이트(식 3)를 생성한다.
5. 매직 상태 생성: CC 게이트의 직접적인 결과로, 논문은 $\mathbb{Z}_2$ 표면 코드를 위한 매직 상태를 확률적으로 생성하는 방법을 보여준다(부록 G). 이것은 매직 상태가 클리포드 게이트와 결합될 때 보편적 양자 계산을 가능하게 하므로 보편성을 달성하기 위한 중요한 단계이다.

상세한 수학적 구성과 논리 연산자 변환을 통한 증거는 비-클리포드 게이트 구현에 대한 그들의 새로운 접근 방식에 대한 강건한 이론적 기초를 확립한다.

한계 및 향후 방향

이 논문은 비-클리포드 게이트에 대한 훌륭하고 혁신적인 프로토콜을 제시하지만, 몇 가지 한계를 공개적으로 인정하고 향후 연구를 위한 풍부한 지형을 제시한다.

향후 연구의 한 가지 중요한 영역은 결함 허용의 수치 분석이다. 저자들은 $S_3$ 양자 이중체에 대한 경고 디코딩 계획을 제안하고(V.B절) 국소 확률적 파울리 잡음에 대한 결함 허용에 대한 주장을 제시한다. 그러나 프로토콜 내에서 측정 오류 및 회로 수준 잡음에 대한 상세한 분석과 큐비트 및 큐트릿 오류에 대한 디코더의 오류 임계값에 대한 수치 계산은 향후 연구로 명시적으로 남겨져 있다. 이것은 근거리 양자 장치에서 프로토콜의 실질적인 실현 가능성을 평가하는 데 중요한 단계이다.

또 다른 미해결 질문은 보편적 양자 계산에 관한 것이다. 이 논문은 CC 게이트를 사용하여 $\mathbb{Z}_2$ 표면 코드에 대한 매직 상태를 구성하지만(부록 G), $\mathbb{Z}_2 \times \mathbb{Z}_3$ 퀴딧 표면 코드에 대한 보편성에 대한 완전한 증명은 이 작업의 범위를 벗어난다. 또한, 부록 G(식 G6)에서 얻은 큐트릿 상태는 안정자 상태가 아니며, 퀴딧 계산에 대한 그 유용성은 추가적인 증명을 요구한다. 결합된 시스템에 대한 보편성을 엄격하게 확립하기 위해 범위를 확장하는 것이 자연스러운 다음 단계가 될 것이다.

프로토콜의 일반화 또한 여러 탐구 방향을 제시한다. 현재 작업은 $G$가 두 아벨 그룹의 분할 확장인 양자 이중체 모델 $\mathbb{D}(G)$에 초점을 맞춘다. 자연스러운 확장은 두 아벨 그룹의 중심 확장인 게이지 그룹을 갖는 양자 이중체에서 어떤 게이트를 얻을 수 있는지 조사하는 것이다. 또한, 분할 및 중심 확장 프로토콜을 중첩함으로써 클리포드 계층의 더 높은 수준의 게이트를 얻을 수 있는지 탐구하는 것은 흥미로운 이론적 노력이 될 것이다.

이론 물리학적 관점에서, 그들의 프로토콜의 3+1D 시공간 그림 또는 위상장 이론(TFT) 설명을 조사하는 것은 더 깊은 통찰력을 제공할 수 있다. 비아벨 위상 질서에 대한 TFT는 존재하지만, 모든 임의 입자와 대칭 결함을 TFT 프레임워크에 적절하게 통합하는 것, 특히 CC 게이트와 같은 비-대각 게이트의 경우 여전히 미해결 과제로 남아 있다. 이 간극을 연결하는 것은 위상 양자 계산에 대한 더 통일된 이해로 이어질 수 있다.

마지막으로, 이 논문은 그들의 경고 디코딩 전략(V.B절)에서 C 임의 입자 쌍에 대한 경로를 결정하기 위한 정확한 알고리즘의 필요성을 강조한다. 이러한 알고리즘을 개발하는 것, 잠재적으로 기계 학습 또는 고급 그래프 이론 기술을 활용하는 것은 오류 수정을 최적화하는 데 필수적일 것이다. 측정 오류가 있는 경우 오류 수정에 대한 처리는 또한 중요한 미해결 질문이다.

이러한 미래 방향은 이 논문이 강건한 이론적 기초를 제공하지만, 이러한 발견을 완전한 결함 허용 및 보편적으로 가능한 양자 컴퓨팅 플랫폼으로 전환하기 위해서는 상당한 작업이 남아 있음을 강조한다.