Asymptotically Good Quantum Codes with Addressable Transversal T Gates

기술 요약: 주소 지정 가능한 가로형 $T$ 게이트를 갖는 점근적으로 우수한 양자 코드

문제 정의
결함 허용 양자 컴퓨팅(fault-tolerant quantum computation)의 핵심 과제는 점근적으로 우수한 파라미터(상수율 $K/N = \Theta(1)$ 및 선형 거리 $D/N = \Theta(1)$)를 동시에 보유하면서 가로형 비클리포드(non-Clifford) 게이트를 허용하는 양자 오류 정정 코드를 설계하는 것이다. 이스틴-크닐(Eastin–Knill) 정리(theorem)는 단일 코드 상에서 보편적인 가로형 게이트 집합을 금지하며, 이에 따라 비클리포드 게이트, 예를 들어 $T$ 게이트($T = \text{diag}(1, e^{i\pi/4})$)는 가로형 연산이나 매직 상태 증류(magic-state distillation)를 통해 구현되어야 한다.

최근의 연구들은 가로형 논리적 $CCZ$ 게이트 또는 주소 지정 가능한 $CCZ$ 게이트를 갖는 점근적으로 우수한 코드의 존재성을 입증하였으나, 이진(binary) 코드에 대해서는 특정 공백이 남아 있었다. 기존의 가로형 $T$ 구성 방식은 소멸하는 비율(vanishing rates)을 갖거나, 성장하되 아선형(sub-linear)인 거리를 유도하거나, 혹은 논리적 $T$ 자체가 아닌 논리적 항등식 또는 클리포드 게이트($S^\dagger$)만을 유도했다. 또한, 고정된 인코딩을 사용하고 후속적인 클리포드 보정을 거치지 않고도, 특정 논리 큐비트의 임의의 부분 집합에 대해 논리적 $T$(또는 그 거듭제곱)를 적용하면서 나머지에는 항등식으로 작용하게 하는 "완전한 주소 지정 가능성(full addressability)"을 점근적으로 우수한 이진 코드에서 입증한 사례는 아직 없었다.

방법론
저자들은 대수-기하(algebraic-geometry, AG) 코드와 새로운 이진 임베딩 기법을 결합하여 명시적인 이진 칼더뱅-쇼어-스티인(Calderbank–Shor–Steane, CSS) 코드 군을 구축한다. 방법론은 다음과 같은 논리적 단계로 진행된다:

1. 일반화된 가분성 프레임워크(Generalized Divisibility Framework): 본 논문은 가중 가분성 기준을 활용한다. 이진 코드 $C$가 $(a, b)$-가중 8-가분(8-divisible)하다는 것은 모든 코드워드에 대해 $\sum a_j c_j \equiv 0 \pmod 8$임을 의미한다. 저자들은 만약 코드가 특정 정보 좌표 세트에 대해 특정 가분성 계수를 가진다면, 해당 좌표들을 퍼처링(puncturing) 및 쇼트닝(shortening)함으로써 주소 지정 가능한 가로형 $T$ 게이트를 갖는 CSS 코드를 얻을 수 있음을 보여준다 (보조정리 3.1).
2. 곱셈에서 가분성으로: 가분성 요구 사항을 충족하기 위해, 저자들은 클래식 코드의 "곱셈 성질(multiplication property)"을 활용한다. 구체적으로, 만약 이진 코드가 4-곱셈 성질(임의의 5개 코드워드의 성분별 곱의 무게가 짝수인 성질)을 만족한다면, 4-중 곱 코드(4-fold product code)의 듀얼로부터 벡터를 들어 올려(lift) 규정된 패리티를 가진 필요한 가중 8-가분 계수를 얻을 수 있다는 사실을 이용한다 (보조정리 4.1 및 4.2).
3. 대수-기하 코드: 구성은 $\mathbb{F}_{1024}$ 상의 AG 코드로 시작된다. 저자들은 코드가 15-곱셈 성질을 갖도록 보장하기 위해 특정 갈로아 타워(Galois tower)와 디바이저(divisor) 구성을 선택한다. 이 성질은 16개 코드워드의 성분별 곱의 좌표 합이 0이 됨을 의미한다 (보조정리 4.3).
4. 이진 임베딩: $\mathbb{F}_{1024}$ 기반의 AG 코드를 필요한 대수적 구조를 보존하면서 이진 코드로 매핑하는 것이 핵심 단계이다. 저자들은 알파벳 축소 맵의 5입력 특수화를 기반으로 한 대칭적이고 $\mathbb{F}_2$-선형인 맵 $\sigma: \mathbb{F}_{1024} \to \mathbb{F}_2^L$을 정의한다. 이 맵은 AG 코드의 15-곱셈 성질(16개 코드워드 곱의 합이 0임)이 결과물인 이진 코드의 4-곱셈 성질(5개 코드워드 곱의 패리티가 0임)로 변환되도록 보장한다 (보조정리 4.4).
5. 제한을 통한 주소 지정 가능성: 주소 지정 가능성을 달성하기 위해, 저자들은 트레이스(trace)가 1인 특정 원소에 의해 생성되는 부분 공간으로 이진 코드를 제한한다. 이 제한은 4-곱셈 성질을 보존하며, 가분성 계수를 독립적으로 규정할 수 있는 좌표 집합 $S$를 선택할 수 있게 한다.
6. 임베딩 길이 최적화: 본 논문은 필요한 5중 항등식(fivefold identity)을 만족하는 가장 짧은 이진 임베딩을 찾는 문제를 $\mathbb{F}_2$ 상의 선형 시스템으로 정의된 아핀 공간에서의 최소 무게 문제로 정식화한다. 이 최적화 문제를 해결함으로써 비율 및 거리 경계의 점근적 상수들을 개선할 수 있다 (섹션 5).

주요 기여 및 결과

• 주요 정리 (정리 1.2 / 정리 4.5): 저자들은 주소 지정 가능한 가로형 논리 $T$ 게이트를 허용하는 파라미터 $[[N_i, K_i = \Theta(N_i), D_i = \Theta(N_i)]]$를 갖는 명시적인 이진 CSS 코드 군을 구축한다.
• 정확한 구현: 논리적 $T$의 거듭제곱들의 임의의 텐서 곱(정의에 의해 $c \in \mathbb{Z}_8^K$)에 대하여, 논리적 연산은 물리적 $T$ 거듭제곱들의 텐서 곱에 의해 정확하게 구현된다. 후속 클리포드 보정은 필요하지 않으며, 인코딩은 논리적 연산과 독립적으로 고정되어 있다.
• 점근적 파라미터: 구성된 코드는 상수율과 선형 거리를 달성한다. 구체적으로, 비율은 $1/(991L)$로 수렴하며, 상대적 거리는 $L$(섹션 5에서 최적화됨)에 비례하는 상수에 의해 $1/L$보다 크게 하한이 정해진다.
• 주소 지정 가능성: 이 구성은 선택된 임의의 논리 큐비트(또는 그 부분 집합)에 $T$ 게이트를 독립적으로 적용하면서 나머지에 대해서는 항등식으로 작용하게 할 수 있으며, 이는 가로형 $T$를 갖는 점근적으로 우수한 이진 코드에서 이전에 확립되지 않았던 속성이다.

의의
본 논문은 명시적인 점근적으로 우수한 이진 양자 코드가 완전한 주소 지정 가능한 가로형 $T$ 게이트를 가질 수 있는지에 대한 열린 질문을 해결했다고 주장한다. AG 코드와 맞춤형 이진 임베딩 및 일반화된 가분성 논리를 결합함으로써, 이 연구는 모든 연산마다 매직 상태 증류의 오버헤드를 지불하지 않고도 가로형 비클리포드 게이트(가로형 $T$ 및 클리포드)를 통해 보편적 게이트 집합을 달성할 수 있는 결함 허용 아키텍처의 이론적 토대를 제공한다. 이 구성은 주소 지정 가능한 가로형 $T$의 특정 구조를 활용한다면, 상수 인코딩 오버헤드와 선형 오류 정정 능력을 갖춘 채로 이스틴-크닐 정리의 제약을 극복하여 보편적 게이트 집합을 구현할 수 있음을 보여준다. 또한, 본 논문은 최소 임베딩 길이 문제가 조합 최적화 문제로 다뤄질 수 있음을 강조하며, 이는 이러한 코드들의 구체적인 파라미터를 더욱 개선할 수 있는 경로를 제시한다.