[논문 리뷰] A holographic view of topological stabilizer codes

Thomas Schuster, Nathanan Tantivasadakarn외 2명|arXiv (Cornell University)|2023. 12. 07.

Theoretical and Computational Physics인용 수 4

한 줄 요약

이 논문은 보다 일반적인 보강-경계 상응성을 수립하기 위해, 보강 위상적 안정자 코드에 대해, 보강 내 위상적 순서의 아뉴온 통계가 경계 힐베르트 공간에 국소적이지 않은 제약 조건을 생성함을 보여주며, 이러한 제약 조건은 국소적 자유도로는 실현될 수 없다고 주장한다. 유한체 위에서 다항식 형식을 사용하여, 이러한 제약 조건을 분류하는 보편적인 '장애물 불변량'을 도출하고, X-Cube 및 하우의 코드와 같은 3차원 프랙탈 모델로 이 프레임워크를 일반화함으로써 경계에서의 잠재적 부분계열 대칭이 드러나게 한다.

ABSTRACT

The bulk-boundary correspondence is a hallmark feature of topological phases of matter. Nonetheless, our understanding of the correspondence remains incomplete for phases with intrinsic topological order, and is nearly entirely lacking for more exotic phases, such as fractons. Intriguingly, for the former, recent work suggests that bulk topological order manifests in a non-local structure in the boundary Hilbert space; however, a concrete understanding of how and where this perspective applies remains limited. Here, we provide an explicit and general framework for understanding the bulk-boundary correspondence in Pauli topological stabilizer codes. We show -- for any boundary termination of any two-dimensional topological stabilizer code -- that the boundary Hilbert space cannot be realized via local degrees of freedom, in a manner precisely determined by the anyon data of the bulk topological order. We provide a simple method to compute this "obstruction" using a well-known mapping to polynomials over finite fields. Leveraging this mapping, we generalize our framework to fracton models in three-dimensions, including both the X-Cube model and Haah's code. An important consequence of our results is that the boundaries of topological phases can exhibit emergent symmetries that are impossible to otherwise achieve without an unrealistic degree of fine tuning. For instance, we show how linear and fractal subsystem symmetries naturally arise at the boundaries of fracton phases.

연구 동기 및 목표

• 대칭 보호 위상적 상을 초월하여, 위상적 안정자 코드에 대한 일반적인 보강-경계 상응성을 수립하기 위해.
• 경계 힐베르트 공간을 국소적 자유도로 실현할 수 없게 하는 장애를 기록하는 보편적인 불변량—'장애물자(Obstructors)'—를 식별하고 계산하기 위해.
• X-Cube 및 하우의 코드를 포함한 3차원 프랙탈 모델로 이 프레임워크를 일반화하여, 보강 내 위상적 순서가 경계에서 잠재적 부분계열 대칭을 유도하는 방식을 밝혀내기 위해.
• 유한체 위의 다항식 사상에 기반한 체계적인 방법을 통해 이러한 장애물을 계산할 수 있도록 하여, 아벨리안 및 아벨리안이 아닌 아뉴온 이론 모두에 적용 가능하게 하기 위해.
• 경계 이론의 국소적이지 않은 구조가 보강의 입자 끼리의 교차 및 이동성 성질로부터 직접 유도됨을 보여주기 위해.

제안 방법

• 저자들은 '장애물자 불변량'을 도입한다—이것은 경계 연산 대수의 보편 불변량으로, 경계 힐베르트 공간을 국소적 자유도로 실현할 수 없는 장애를 암시한다.
• 안정자 코드를 유한체 위의 다항식으로 매핑하는 다항식 형식을 사용하여, 보강의 보존 법칙과 경계 제약 조건을 체계적으로 계산할 수 있도록 한다.
• 이 프레임워크는 자기 장애물자와 상호 장애물자 불변량을 구분하며, 각각 아뉴온의 자기 통계와 상호 통계에 대응한다.
• 2차원 안정자 코드의 경우, 방법은 보강의 아뉴온 데이터로부터 장애물자 불변량을 계산하며, 비자명한 아뉴온 통계가 국소적이지 않은 경계 구조를 암시함을 증명한다.
• 패치 연산과 그 교환 관계를 분석하여 3차원 프랙탈 모델로 이 방법을 일반화함으로써, 프랙탈 및 부분계열 대칭이 드러나게 한다.
• 토리크 코드, X-Cube 모델, 하우의 코드에 대한 명시적 계산을 통해 방법을 검증하였으며, 결과는 대수적 위상수학과 유한체 산술에 의해 확인되었다.

실험 결과

연구 질문

• RQ1 위상적 안정자 코드에서의 보강-경계 상응성은 경계의 종류에 관계없이 보편적으로 기술될 수 있는가?
• RQ2 보강 위상적 순서로 인해 발생하는 국소적 힐베르트 공간 실현 장애를 기록하는 경계 연산 대수의 대수적 불변량은 무엇인가?
• RQ3 유한체 위의 다항식 형식은 2차원 및 3차원 안정자 코드에서 이러한 장애물자 불변량을 체계적으로 계산하는 데 어떻게 활용될 수 있는가?
• RQ4 프랙탈 상에서는 보강-경계 상응성이 존재하는가? 만약 존재한다면, 정지된 진동자와 제한된 이동성은 경계 대칭에 어떤 영향을 미치는가?
• RQ5 경계에서의 잠재적 부분계열 대칭은 보강의 아뉴온 통계와 이동성에서 직접 유도될 수 있는가?

주요 결과

• 모든 2차원 위상적 안정자 코드의 경계 힐베르트 공간은 보강의 아뉴온 통계로부터 직접 유래된 장애로 인해 국소적 자유도로는 실현될 수 없다.
• 자기 장애물자 불변량은 보강 내 아뉴온의 자기 통계와 동일하다. 피보나치 프리즘 모델에서 이는 아뉴온의 자기 통계와 정확히 일치함을 입증하였다.
• 상호 장애물자 불변량은 X-Cube 모델의 경계가 토리크 코드의 스택과 다른 경계를 가지며, 이는 서로 다른 아뉴온 끼리의 교차 통계를 반영한다.
• X-Cube 모델의 경우, 경계에선 선형 및 프랙탈 부분계열 대칭이 나타나며, 이는 보강 내 프랙탈론의 이동성과 교환 통계와 직접적으로 연결되어 있다.
• 하우의 코드에서는 비자명한 자기 장애물자 불변량을 식별하였으며, 이는 프랙탈론 진동자의 자기 통계와 대응하여 경계의 국소적이지 않은 성격을 확인한다.
• 다항식 형식은 2차원 및 3차원 안정자 코드를 통합적으로 다룰 수 있게 하며, F2 위의 다항식에서 대수적 연산을 통해 장애물자 불변량을 계산할 수 있다.