Toric codes all the way down: decoupling translation-invariant topological CSS codes in higher dimensions

기술 요약: "모든 것은 토릭 코드로부터: 고차원에서의 평행이동 불변 위상적 CSS 코드의 디커플링(decoupling)"

문제 정의
공간 차원 $D \geq 3$에서의 위상적 칼더뱅-쇼어-스타인(CSS) 코드는 가로형 비클리포드 게이트(transversal non-Clifford gates) 및 싱글샷 디코딩(single-shot decoding)과 같은 결함 허용 양자 컴퓨팅의 유망한 특징들을 제공한다. 그러나 이러한 코드들에 대한 체계적인 이해는 여전히 부족하다. 일부 고차원 코드(예: 3D 컬러 코드)는 더 단순한 토릭 코드의 적층(stack)과 국소적으로 동등한 것으로 알려져 있지만, 어떤 특징이 특정 코드의 고유한 것인지, 아니면 단순한 "토릭 코드 적층" 구조로부터 상속된 것인지 명확하지 않다. 본 논문이 다루는 핵심 질문은 다음과 같다: 언제 평행이동 불변 위상적 CSS 코드가 유한한 깊이의 국소적 CSS 보존 클리포드 회로(잠재적으로 보조 큐딧 포함)를 통해 고차 형식(higher-form) 토릭 코드들의 적층과 동등해지는가?

2차원에서는, 거친 격자(coarse-graining)를 통해 초격자(superlattice)로 축소했을 때 평행이동이 모든 애니온 유형에 대해 자명하게 작용한다면 이 동등성이 확립된다. 고차원에서는 흥분 상태(excitations)가 그 차원에 따라 "초선택 층(superselection layers)"으로 조직된다. 평행이동이 각 층에서 자명하게 작용해야 한다는 사실은 이미 알려져 있었으나, 새로운 장애물이 식별되었다: 바로 이 층들 사이의 "글루잉(gluing, 접착)"이다. 평행이동이 개별 층 각각에서 자명하게 작용하더라도, 층들이 서로 "글루잉"되어 있다면 디커플링을 방해할 수 있다.

방법론
저자들은 Haah 등이 사용한 방식에 따라 로랑 다항식 환($R = \mathbb{F}_p[x_1^{\pm 1}, \dots, x_D^{\pm 1}]$) 위의 모듈에 기반한 대수적 프레임워크를 채택한다.

1. 대수적 표현: 평행이동 불변 CSS 코드는 자유 $R$-모듈의 복합체(complexes)로 표현된다. 스테빌라이저 체크는 체크 행렬 $H_X$와 $H_Z$에 인코딩된다.
2. 초선택 프로파일(Superselection Profiles): 저자들은 X-타입 스테빌라이저 모듈의 유도 호음 복합체(derived Hom complex)의 양의 차수 절단(positive-degree truncation)으로서 코드의 "초선택 프로파일"을 정의한다. 이 프로파일은 흥분 유형(초선택 층)과, 층들이 서로 어떻게 부착되는지를 설명하는 결정적인 "층 간 글루잉(inter-layer gluing)" 모포니즘을 포착한다.
3. 거친 격자화(Coarse-Graining): 연구는 격자를 초격자 $\Lambda$로 거칠게 만드는 효과를 조사한다. 이는 스칼라를 $R$에서 부분 환 $\mathbb{F}_p[\Lambda]$로 제한하는 것에 해당한다.
4. 디커플링 기준: 코드가 그 복합체가 고차 형식 토릭 코드들의 적층 $\bigoplus_j \text{TC}^{(D)}_j(\mathbb{F}_p)^{\oplus t_j}$의 복합체와 교환 가능한 가역적 사상(commuting square of invertible maps)을 통해 동등할 때, 해당 코드는 디커플링되었다고 한다.

주요 기여 및 결과

1. 층 간 글루잉을 유일한 장애물로 식별:
   본 논문은 유도 범주(derived category)에서의 연결 모포니즘을 사용하여 "층 간 글루잉"을 엄밀하게 정의한다. 저자들은 각 층에서 평행이동이 자명하게 작용하는 것이 필요조건이지만, 층들이 비자명하게 글루잉되어 있다면 디커플링을 위한 충분조건은 아니라는 것을 입증한다. 저자들은 평행이동이 각 개별 층에서 자명하게 작용하더라도, 층들이 디커플링을 방해하는 방식으로 서로 "글루잉"되어 있을 수 있음을 보여준다. 또한, 평행이동이 각 층에서 자명하게 작용할 때, 이 글루잉이 유일한 남은 장애물임을 보여준다.

2. 디커플링 기준 (정리 1):
   평행이동 불변 위상적 $p$-진(p-ary) CSS 코드(여기서 $p$는 소수)는 다음 조건에서 초격자 $\Lambda$ 상에서 디커플링될 수 있다:

   • $\Lambda$ 내의 평행이동이 모든 초선택 층에 대해 자명하게 작용한다.
   • $\Lambda$ 상에서 층 간 글루잉이 소멸한다.

이 조건들이 충족되면, 코드는 SUM(qudit CNOT) 및 SWAP 게이트로 구성된 유한 깊이의 국소적 클리포드 회로를 통해 고차 형식 토릭 코드의 적층 $\bigoplus_j \text{TC}^{(D)}_j(\mathbb{F}_p)^{\oplus t_j}$와 동등하다.

3. 거친 격자화를 통한 글루잉 해결:
   저자들은 각 층에 유한한 수의 흥분 유형을 가진 코드의 경우, 글루잉 장애물을 항상 추가적인 거친 격자화를 통해 제거할 수 있음을 증명한다. 구체적으로, (평행이동이 자명하게 작용하도록 조치한 후) 모든 방향에 대해 $p^{m-1}$만큼 거친 격자화를 수행하면 글루잉 클래스를 소멸시키는 것으로 충분하다. 이는 글루잉 클래스가 $\text{Ext}$ 군의 원소로 표현되며, 충분히 미세한 초격자로 제한될 때(즉, $p$로 스케일링할 때) 관련 코호몰로지 클래스가 0이 되기 때문이다.

4. 명시적 알고리즘:
   이론적 결과는 두 가지 구성적 알고리즘으로 변환된다:

   • 알고리즘 1: 평행이동이 층에서 자명하게 작용하는 초격자 $\Lambda_{\text{triv}}$를 먼저 찾은 다음, 글루잉을 제거하기 위해 필요한 거친 격자화 인자($p^{m-1}$)를 적용하여 충분한 초격자 $\Lambda_{\text{suff}}$를 계산한다.
   • 알고리즘 2: 거친 격자 상에서 명시적인 디커플링 회로(SUM 및 SWAP 게이트)를 구축한다. 저자들은 고정된 공간 차원 $D$에 대해 이 알고리즘이 체크 행렬의 계수(coefficient) 수에 대해 다항 시간 내에 실행됨을 증명한다.

5. 유한 토러스에 대한 적용 (따름정리 1):
   디커플링 기준은 유한 토러스 상에서 코드가 인코딩하는 논리 큐딧(logical qudit)의 수를 결정한다. 코드가 토러스의 주기 격자(period lattice) 상에서 디커플링될 수 있는 경우에만, 코드는 (초선택 층의 차원에 의해 결정되는) 최대치의 논리 큐딧을 인코딩한다. 만약 주기 격자가 (비자명한 평행이동 작용이나 비자명한 글루잉으로 인해) 디커플링 기준을 만족하지 못한다면, 코드는 더 적은 수의 논리 큐딧을 인코딩한다("위상적 좌절(topological frustration)").

의의 및 주장
본 논문은 평행이동 불변 위상적 CSS 코드가 언제 토릭 코드의 적층과 동등한지에 대한 완전한 특성화를 제공한다고 주장한다.

• 통합: 다양한 고차원 코드(컬러 코드 및 글루드 코드 등)를 이해하는 방식을 통합하여, 이들이 디커플링되어 있거나 혹은 제거 가능한 특정 글루잉 메커니즘에 의해 방해받고 있음을 보여준다.
• 구성적 증명: 기존의 비구성적 존재성 증명과 달리, 본 연구는 필요한 초격자와 디커플링 회로를 찾는 명시적인 알고리즘을 제공한다.
• 물리적 함의: 저자들은 기준을 만족하는 코드의 경우, 싱글샷 디코딩 및 논리 게이트 집합이 상수 배의 차이를 제외하면 대응하는 토릭 코드 적층의 특성을 효과적으로 갖는다고 주장한다. 디커플링 회로가 제공하는 "사전(dictionary)"을 통해 잘 알려진 토릭 코드로부터 대상 코드로 디코더와 논리 게이트를 매핑할 수 있다.
• 한계: 논문은 기준이 디커플링 가능 여부를 결정하지만, 비용(예: 초격자의 크기나 회로 깊이)을 최소화하지는 않는다는 점을 겸허히 밝힌다. 또한, 무한한 수의 흥분 유형을 가진 코드(프랙톤 모델)나 합성 큐딧 차원의 경우, 현재의 프레임워크(유한 차원 층 기반)가 직접적으로 적용되지 않음을 인정한다.

요약하자면, 이 논문은 "모든 것은 토릭 코드로부터"라는 점을 입증한다. 즉, 격자를 충분히 거칠게 만들어 평행이동 작용을 자명하게 만들고 층 간 글루잉을 해소할 용의가 있다면, 광범위한 클래스의 평행이동 불변 CSS 코드는 국소적으로 토릭 코드의 적층과 동등하다.