[논문 리뷰] Homological invariants of Pauli stabilizer codes

Błażej Ruba, Bowen Yang|arXiv (Cornell University)|2022. 04. 12.

Coding theory and cryptography인용 수 5

한 줄 요약

이 논문은 임의의 차원을 가진 큐디트를 가진 이동 대칭성 있는 파울리 안정자 코드에 대해 호모로지 불변량—전하 모듈러스 Q^p—을 도입한다. 군 링 모듈러스와 국소 코homology를 사용하여 위상적 전하, 끈 교환 쌍화, 고차형 대칭을 정의하며, 전하 모듈러스의 크룰 차원이 0일 경우 모든 진동자가 이동 가능하다는 것을 증명함으로써, 이는 소수 차원 큐디트를 넘어서 일반화된 결과를 제공한다.

ABSTRACT

We study translationally invariant Pauli stabilizer codes with qudits of arbitrary, not necessarily uniform, dimensions. Using homological methods, we define a series of invariants called charge modules. We describe their properties and physical meaning. The most complete results are obtained for codes whose charge modules have Krull dimension zero. This condition is interpreted as mobility of excitations. We show that it is always satisfied for translation invariant 2D codes with unique ground state in infinite volume, which was previously known only in the case of uniform, prime qudit dimension. For codes all of whose excitations are mobile we construct a $p$-dimensional excitation and a $(D-p-1)$-form symmetry for every element of the $p$-th charge module. Moreover, we define a braiding pairing between charge modules in complementary degrees. We discuss examples which illustrate how charge modules and braiding can be computed in practice.

연구 동기 및 목표

• 비균일한 큐디트 차원을 가진 이동 대칭성 있는 파울리 안정자 코드에서 위상 불변량을 체계적으로 분류하기 위한 호모로지 프레임워크를 개발한다.
• 군 링 모듈러스와 국소 코homology를 사용하여 p차원 진동자를 위한 전하 모듈러스 Q^p를 정의하고 특성화한다.
• Q^p의 물리적 해석을 이동 가능한 진동자, 고차형 대칭, 끈 교환 통계의 관점에서 제시한다.
• 소수 차원 큐디트를 초월하여 복합 차원을 포함한 모든 차원에서 진동자의 이동성과 끈 교환 구조를 일반화한다.
• 구체적인 모델인 토릭 코드와 하후의 코드에서 전하 모듈러스와 끈 교환 쌍화를 계산하기 위한 체계적 방법을 제공한다.

제안 방법

• 유한 생성 아벨 군 Λ의 군 링 R = Z[Λ] 위에서의 심플렉틱 모듈러스를 사용하여 안정자 코드와 그의 등지적 부분모듈러스를 기술한다.
• p ≥ 0에 대해 전하 모듈러스 Q^p를 a = (t1,…,tr)의 소거 이상으로 정의된 국소 코호몰로지 모듈러스 H^p_a(M)로 정의한다.
• 체흐 복합체와 쿠프 곱의 구조를 적용하여 p+q = D−2인 Q^p와 Q^q 사이에 계수화된 교환 쌍화를 정의한다.
• p차원 진동자를 생성하고 이동시키는 (p+1)-차원의 명시적 연산자를 구성하며, 크룰 차원이 0일 경우 이동성을 증명한다.
• 호모로지 쌍대성과 코호몰로지 쌍화를 통해 Q^p의 원소를 (D−p−1)-형 대칭과 연결한다.
• 고렌스타인 및 코hen-맥컬레이 링 이론을 활용하여 모듈러스 성질을 분석하고 잘 정의된 코호몰로지 보장을 한다.

실험 결과

연구 질문

• RQ1 소수 차원 큐디트를 초월하여 어떤 방식으로 파울리 안정자 코드의 위상 불변량을 체계적으로 정의할 수 있는가?
• RQ2 호모로지 불변량 Q^p는 진동자, 대칭, 끈 교환의 관점에서 어떻게 물리적으로 해석될 수 있는가?
• RQ3 어떤 대수적 조건에서 모든 진동자가 이동 가능해지며, 이는 전하 모듈러스의 크룰 차원과 어떻게 관련되는가?
• RQ4 다른 차원의 진동자 간의 끈 교환 통계는 어떻게 대수적으로 정의하고 계산할 수 있는가?
• RQ5 이 프레임워크는 4차원 Z_n 토릭 코드나 하후의 코드와 같은 알려진 모델에서 불변량을 계산하는 데 적용될 수 있는가?

주요 결과

• 전하 모듈러스의 크룰 차원이 0인 코드에서는 모든 진동자가 이동 가능하며, (p+1)-차원 연산자가 경계에서 p차원 진동자를 생성할 수 있다.
• Q^p의 각 원소는 (D−p−1)-형 대칭을 유도하며, 2차원에서 anyon과 대칭의 이중성의 일반화를 제공한다.
• p+q = D−2인 Q^p와 Q^q 사이에 계수화된 교환 쌍화가 정의되며, 대칭성과 이중성 성질을 만족한다.
• 이동성 정리에 따르면, 무한체적에서 유일한 기본 상태를 가진 2차원 이동 대칭성 코드에서는 모든 진동자가 이동 가능하다.
• 이 프레임워크는 3차원 및 4차원 Z_n 토릭 코드, Z_n 이징 모델, X-cube 모델 등의 예시에서 전하 모듈러스와 끈 교환을 성공적으로 계산한다.
• 이 구성은 이전의 2차원에서의 위상 스핀과 끈 교환에 대한 결과를 통합하고 일반화하며, 임의의 큐디트 차원과 고차원으로 확장한다.