From Koszul-Complex Stabilizer Models to Superselection Profiles: Topological Rigidity and Nonsplit Extensions

기술 요약: 코쉬-컴플렉스 안정기 모델에서 초선택 프로파일까지

문제 정의
본 논문은 평행이동 대칭성이 보존되는 평행이동 불변 칼더뱅-쇼어-스틴(CSS) 안정기 코드 내에서의 평행이동 대칭성 풍부(translation-symmetry-enriched, SET) 상(phase)의 분류 문제를 다룬다. 호몰로지 방법론은 안정기 프레젠테이션으로부터 위상적 데이터(애니온 유형 및 융합 규칙 등)를 추출하는 데 성공해 왔으나, 평행이동 대칭성이 유지될 때 이 엑시테이션(excitation) 데이터가 코드의 안정적인 클리포드 클래스(stable Clifford class)를 얼마나 유일하게 결정하는지는 여전히 핵심적인 미해결 과제로 남아 있다. 구체적으로, 저자는 Ext 펑터(functor)를 통해 인코딩된 초선택 섹터(superselection sectors)의 계층 구조가 서로 다른 SET 상을 구별하기에 충분한지, 아니면 추가적인 구조적 데이터(예: 층간 접착(inter-layer gluing))가 필요한지를 조사한다. 본 연구는 토릭 코드 계층 구조와 이변량 바이사이클(bivariate-bicycle, BB) 코드를 통합하는 코쉬-컴플렉스(Koszul complex)로부터 구축된 CSS 모델에 초점을 맞춘다.

방법론
저자는 평행이동 불변 안정기 코드를 모델링하기 위해 로랑 다항식 환 $R = \mathbb{Z}_N[x_1^{\pm 1}, \dots, x_D^{\pm 1}]$에 기반한 엄밀한 대수적 프레임워크를 사용한다.

1. 코쉬-컴플렉스 모델: 저자는 시퀀스 $f = (f_1, \dots, f_s)$와 연관된 코쉬-컴플렉스 $K_\bullet(f)$의 미분(differentials)으로부터 물리적 큐디트와 안정기 맵이 유도되는 안정기 모델 클래스를 정의한다. 정규 시퀀스(regular sequences)의 경우, 이 모델들은 엄격하게 위상적이다.
2. 위상적 초선택 프로파일: 저자는 $\sigma \in \{X, Z\}$에 대하여 양의 차수 유도 대상(positive-degree derived object) $\tau_{\ge 1} \text{RHom}_R(\text{coker } \phi_\sigma, R)$로 정의되는 위상적 초선택 프로파일 $S_\sigma$를 도입한다. 코호몰로지 층 $E^\ell_\sigma \cong \text{Ext}^\ell_R(\text{coker } \phi_\sigma, R)$은 엑시테이션 섹터, 융합 규칙, 그리고 평행이동 작용을 인코딩한다.
3. 대수적-클리포드 대응: 대수적 불변량을 물리적 상과 연결하기 위해, 저자는 행렬 수준의 섀뉴엘-레마(Schanuel-lemma) 방법을 활용한다. 이 접근법은 안정적 모듈 동형(stable module isomorphism, 자유 안정화 하에서)이 안정적 클리포드 동등성(보조 큐디트를 포함한 유한-깊이 평행이동 불변 클리포드 회로)에 대응함을 입증한다.
4. 유한 크기 분석: 유한 주기 격자 상의 논리적 공간은 Tor 펑터를 사용하여 분석된다. 구체적으로 $\text{Tor}^R_j(S, R_L)$을 사용하며, 여기서 $S = R/(f)$는 코쉬 구조 모듈이고 $R_L$은 주기적 경계 조건을 부과하는 몫환(quotient ring)이다.

주요 기여 및 결과

• 초선택 프로파일의 정의: 본 논문은 모든 양의 차수 초선택 층과 그 층간 접착을 조직하는 유도 불변량으로서 위상적 초선택 프로파일을 공식화한다. 이는 단순한 그레이디드(graded) Ext 모듈 목록만으로는 보이지 않을 수 있는 유도 구조를 명시적으로 유지함으로써 기존의 전하-모듈 프레임워크를 일반화한다.
• 단일 층 프로파일에 대한 강성 정리: 저자는 위상적 강성 정리(정리 2)를 증명한다. X-섹터 프로파일이 단일 층(양의 차수 Ext 모듈이 최대 하나만 0이 아님)이며 축소된 파울리-X 모듈이 유한 길이 자유 해상도(finite-length free resolution)를 갖는 평행이동 불변 위상적 CSS 코드의 경우, 0이 아닌 Ext 층과 그 차수는 안정적인 평행이동 불변 클리포드 클래스를 유일하게 결정한다.
  • 프라임-큐디트(prime-qudit) 코드의 경우, 유한 해상도 가설은 자동적으로 성립한다.
  • 이 영역에서, 0이 아닌 층의 평행이동 커널은 코드를 토릭 코드의 스택으로 축소하는 데 필요한 정확한 최소 거친 입도(coarse graining)를 제공한다.
• 실현 가능성: 구성 1은 $\text{grade}_R(E) > j$ 조건을 만족하는 임의의 유한 생성 모듈 $E$가 유효한 위상적 CSS 코드의 $j$번째 초선택 층으로 실현될 수 있음을 보여준다.
• 유한 크기 논리 공간: 정규 풀-렝스(full-length) 코쉬 모델에 대해, 논문은 논리 공간과 Tor 펑터 사이의 명시적 대응 관계인 $H^Z_j(L) \cong \text{Tor}^R_j(S, R_L)$을 도출한다. 이는 모든 차수, 모든 차원의 논리-초선택 대응 관계를 산출하며, 바닥 상태 퇴화도가 시스템 크기에 대해 오직 시스템 차원과 구조 모듈 $S$의 이동 주기(mobility periods)의 최대 공약수를 통해서만 의존함을 확립한다.
• 비분할 확장 및 층간 접착: 결정적으로, 본 논문은 단일 층 강성이 다중 층 영역에서는 유지되지 않음을 보여준다. 구성 2를 사용하여, 저자는 동일한 단일 층 Ext 데이터($E^\ell_\sigma$)와 자명한 평행이동 작용을 공유하면서도 서로 다른 시스템 크기 의존적 바닥 상태 퇴화도를 갖는 8개의 구별된 3D 큐비트 토릭-코드 확장을 구현한다.
  • 이 모델들은 평행이동을 보존하는 유한-깊이 국소 유니터리 연산에 의해 서로 구별된다.
  • 이 결과는 층간 접착이 개별 Ext 층에는 보이지 않는 SET 데이터를 운반하며, 따라서 다중 층의 경우 완전한 분류를 위해 전체 유도 프로파일 $S_\sigma$가 필요함을 증명한다.

의의 및 주장
본 논문은 평행이동 불변 CSS 코드에서 엑시테이션 데이터와 위상적 질서 사이의 관계를 이해하기 위한 통합된 대수적 프레임워크를 제공한다고 주장한다. 본 연구의 주요 의의는 엑시테이션 데이터가 분류에 충분한지에 대한 정확한 경계를 설정했다는 점에 있다:

1. 강성(Rigidity): "단일 층" 프로파일(표준 토릭 코드와 같은 정규 코쉬 모델에서 흔함)의 경우, 엑시테이션 데이터(Ext 모듈)는 안정적인 클리포드 상을 유일하게 결정하기에 충분하다.
2. 층별 데이터의 한계: 다중 층 프로파일의 경우, 본 논문은 개별 층이 불충분함을 보여주는 명시적인 반례를 제시한다. 유도 프로파일 내의 "층간 접착"은 동일한 엑시테이션 스펙트럼을 가진 상들을 구별하는 물리적 불변량이다.

이 연구는 호몰로지 대수(Ext/Tor 펑터)와 양자 정보(클리포드 회로, 바닥 상태 퇴화도) 사이의 간극을 메우며, 평행이동 대칭성을 존중하는 위상적 상을 분류하기 위한 "행렬 수준"의 방법을 제공한다. 이는 정규 코쉬 모델이 적절한 거친 입도를 통해 토릭 코드 스택으로 축소될 수 있음을 확인하는 동시에, 이러한 축소 방식과 그 결과로 나타나는 SET 질서가 코쉬 구조 모듈에 대한 평행이동 작용에 인코딩되어 있음을 입증한다.