기술 요약: 가로형성을 넘어: CSS 코드를 위한 클리포드 회로의 구조

문제 정의

결함 허용 양자 컴퓨팅은 자연스러운 결함 허용 신드롬 추출 및 논리 게이트 덕분에 칼더뱅더-쇼-스틴(Calderbank–Shor–Steane, CSS) 코드에 크게 의존한다. 가로형 게이트(transversal gates, 1-depth, 1-local 연산)는 가장 결함 허용성이 높지만, 실현할 수 있는 논리 연산의 집합이 엄격하게 제한된다. 국소성을 1-depth 2-local 게이트(2-fold transversal)로 높이거나 회로 깊이를 늘리면 더 풍부한 게이트 집합을 구현하여 전체 논리 클리포드 군(logical Clifford group)을 실현할 수 있다. 그러나 이러한 특정 회로 구성과 전체 코드 보존 클리포드 회로 사이의 구조적 관계는 여전히 충분히 규명되지 않은 상태로 남아 있다. 따라서 이들 그룹의 최소 생성 집합을 결정하고, 분해를 이해하며, 제한된 국소성 회로를 통해 전체 논리 클리포드 군을 허용하는 CSS 코드가 무엇인지 식별할 필요가 있다.

방법론

본 논문은 패울리 연산자와 전역 위상(global phase)에 대한 모듈로 계산을 위해 심플렉틱 형식(symplectic formalism)을 사용하여 클리포드 회로를 분석한다. CSS 코드는 두 개의 직교하는 고전 이진 코드 $C_X$와 $C_Z$에 의해 정의되며, 이는 $2n$ 차원 심플렉틱 공간 내에서 레이블 공간 $C = (C_X | 0) \oplus (0 | C_Z)$를 형성한다.

저자는 코드 보존 회로를 심플렉틱 블록 구조와 물리적 게이트 성분에 따라 네 가지 별개의 가족으로 분류한다:

1. Z-대각 회로 ($S_Z$): $\sqrt{Z}$ 및 CZ 게이트로 구성되며, 심플렉틱 행렬의 우상단 블록에 대응한다.
2. X-대각 회로 ($S_X$): $\sqrt{X}$ 및 $CZH$ (Hadamard-conjugated CZ) 게이트로 구성되며, 좌하단 블록에 대응한다.
3. CNOT 회로 ($L$): CNOT 및 SWAP 게이트의 네트워크로, 심플렉릭 행렬의 대각 블록에 대응한다.
4. 부분 쌍대성 ($W$): 일부 큐비트에 대한 Hadamard 게이트 적용 후 순열(permutation)을 포함한다.

분석은 다음과 같이 진행된다:

• 이러한 가족들의 파라미터(예: 대칭 행렬 $S$ 및 $T$)에 요구되는 선형 조건을 유도한다.
• 심플렉틱 기하학 및 표현론의 결과를 활용하여 생성 정리(generation theorems)를 증명한다.
• 특정 부분군을 정의한다: 가로형 그룹($N_\emptyset$), 임의의 매칭(matching) 상에서 1-depth 2-local 레이어를 생성하는 2-fold 가로형 그룹($N_{2\text{fold}}$), 그리고 순열을 포함하는 자기동형 그룹($\text{Aut}(C)$).
• 136개의 CSS 코드(QLDPC 패밀리 포함)에 대한 수치 실험을 수행하여 2-fold 가로형 그룹의 논리적 이미지(logical image)를 결정한다.

주요 기여

1. 코드 보존 그룹의 구조적 분해

본 논문은 임의의 비자명한 CSS 코드(여기서 $C_X, C_Z \neq 0$)에 대해, 전체 코드 보존 클리포드 회로 그룹($N$)이 오직 Z-대각 및 X-대각 가족에 의해서만 생성됨을 확립한다.

• 정리: $N = \langle S_Z, S_X \rangle$.
• 이는 모든 코드 보존 클리포드 연산이 (깊이나 국소성에 관계없이) 이 두 대각 가족의 곱으로 분해될 수 있음을 의미한다. 이 가족들의 조건은 선형적이므로, 가우스 소거법을 통해 전체 그룹을 효율적으로 결정할 수 있다.

2. 정규형 및 분해

저자는 다양한 회로 그룹에 대한 명시적인 정규형(normal forms)을 제공한다:

• 가로형 그룹 ($N_\emptyset$): 모든 가로형 게이트는 최대 세 개의 대각 레이어($Z$-$X$-$Z$)의 곱으로 표현될 수 있다. 연결되어 있고 자기 쌍대적이지 않은(non-self-dual) 코드의 경우, 두 개의 레이어로 충분하다.
• 2-fold 가로형 그룹 ($N_{2\text{fold}}$): 고정된 매칭 상에서의 모든 코드 보존 1-depth 2-local 레이어는 해당 매칭에 의해 지지되는 대각 회로와 CNOT 레이어에 의해 생성된다. 결과적으로, $N_{2\text{fold}}$는 가능한 모든 매칭에 대한 이들 가족의 합집합에 의해 생성된다.
• 자기동형 그룹 ($\text{Aut}(C)$): 단일 큐비트 클리포드와 순열을 포함하는 자기동형 그룹은 하나의 부분 쌍대성(Hadamard + 순열)과 두 개의 가로형 대각 회로로 구성된 정규형을 갖는다.

3. "전체" 코드를 위한 수치적 식별

저자는 2-fold 가로형 그룹이 전체 논리 클리포드 군($\text{Sp}(2k)$)을 실현하는 CSS 코드를 식별하기 위해 수치 탐색을 수행했다.

• 결과: 이러한 특성을 가진 78개의 환원 불가능한(indecomposable) CSS 코드를 식별했다. 여기에는 거리 $d \in \{3, 4, 5, 6, 8, 12\}$ 및 비율(rate) 최대 $3/4$를 갖는 코드들이 포함된다.
• 주소 가능한 게이트: 이 중 몇몇 코드는 컴파일 없이 단일 1-depth 2-local 물리 레이어를 사용하여 표준적인 논리 게이트(예: 논리 $\sqrt{Z}, \sqrt{X}, CZ$)를 구현할 수 있게 한다.
• 무한 패밀리: 본 논문은 많은 전체-클리포드 코드를 포함하는 6개의 무한 패밀리(중간 Reed–Muller, 양자 로직, 심플렉틱 더블, 컷-컴플리먼트, 바이파타이트 그리드, 쿼드릭 타워 포함)를 구축하고 분석한다.

4. 논리적 이미지 하한선

2-fold 가로형 그룹이 전체 논리 클리포드 군을 실현하지 못하는 코드들에 대해, 저자는 2-fold 가로형 그룹의 논리적 이미지 크기에 대한 하한선을 제공한다.

• 이 하한선은 41 차수의 크기 범위를 포괄한다.
• 주목할 만한 예로, 논리적 이미지가 최소 $460,800$인 gross 코드($[[144, 12, 12]]$)와 약 $10^{26}$의 논리적 이미지를 갖는 클러스터드-사이클릭(clustered-cyclic) 코드가 있다.

5. 2-fold 자기동형 그룹

본 논문은 큐비트 순열을 보정하기 위해 1-depth 2-local 회로가 허용되는 새로운 그룹인 2-fold 자기동형 그룹을 정의한다. 저자는 이 그룹이 자기동형 그룹과 2-fold 가로형 그룹의 합집합보다 엄격하게 더 클 수 있음을 보여주며, 이는 순열 비용이 저렴한 아키텍처에서 결함 허용 게이트를 위한 새로운 경로를 제시한다.

의의 및 주장

본 논문은 CSS 코드를 위한 결함 허용 논리 연산의 근본적인 구조적 이해를 제공한다고 주장한다. 주요 의의는 다음과 같다:

1. 통합: 서로 다른 회로 구성(가로형, fold-transversal, CNOT 네트워크)을 대각 회로에 의해 생성되는 단일 대수적 프레임워크 아래로 통합한다.
2. 효율성: 코드 보존 회로를 찾는 복잡한 문제를 대각 파라미터에 대한 선형 시스템(가우스 소거법)을 푸는 문제로 단순화할 수 있음을 입증한다.
3. 전체 클리포드 군의 실현 가능성: 다양한 실용적인 CSS 코드(저밀도 패리티 검사(QLDPC) 코드 포함)에 대해, 전체 논리 클리포드 군이 1-depth 2-local 회로를 통해 접근 가능하다는 구체적인 증거를 제공함으로써, 전체 클리포드 군을 위해 깊은 회로나 비-클리포드 자원이 반드시 필요하다는 통념에 도전한다.
4. 최적화 잠재력: 단일 논리 게이트로 매핑되는 물리적 회로의 "파이버(fiber)"를 규명함으로써(스테빌라이저 재레이블링 및 패딩을 통해), 논리 연산을 변경하지 않고 회로 깊이와 볼륨을 최적화할 수 있는 자원을 제시한다.

저자는 자신들이 그룹과 생성자를 규명했으나, 게이트 수, 깊이 및 결함 전파에 대한 특정 회로의 최적화는 향후 플랫폼 의존적 분석의 과제로 남겨두고 있다고 명시했다. 또한, 이들의 생성 결과는 CSS 구조(분리된 레이블 공간)에 기반하고 있으므로, 수정 없이는 비-CSS 스테빌라이저 코드로 직접 일반화되지 않을 수 있음을 언급했다.