[논문 리뷰] 2+1D symmetry-topological-order from local symmetric operators in 1+1D

Kansei Inamura, Xiao-Gang Wen|arXiv (Cornell University)|2023. 10. 09.

Advanced Chemical Physics Studies인용 수 4

한 줄 요약

이 논문은 1+1차원 시스템에서 국소 대칭 연산자로부터 2+1차원 대칭-위상순서(symmetrically-ordered, symmetry-TO)를 계산하기 위한 새로운 방법을 제안한다. 이 방법은 경계에서 벗어난 곳에서 서로 가환하는 국소 대칭 연산자들로 구성된 확장된 연산자인 공액 패치 연산자(commutant patch operators)를 사용한다. 주요 결과는 비모듈라(topological invariants)인 보로메언 링과 화이트헤드 링크의 위상수학적 불변량들조차도 이러한 패치 연산자의 수축된 곱으로 계산될 수 있음을 보여주며, 이는 1+1차원 대칭 시스템과 2+1차원 대칭-위상순서 사이에 직접적인 대수적 연결 고리를 확립한다.

ABSTRACT

A generalized symmetry (defined by the algebra of local symmetric operators) can go beyond group or higher group description. A theory of generalized symmetry (up to holo-equivalence) was developed in terms of symmetry-TO -- a bosonic topological order (TO) with gappable boundary in one higher dimension. We propose a general method to compute the 2+1D symmetry-TO from the local symmetric operators in 1+1D systems. Our theory is based on the commutant patch operators, which are extended operators constructed as products and sums of local symmetric operators. A commutant patch operator commutes with all local symmetric operators away from its boundary. We argue that topological invariants associated with anyon diagrams in 2+1D can be computed as contracted products of commutant patch operators in 1+1D. In particular, we give concrete formulae for several topological invariants in terms of commutant patch operators. Topological invariants computed from patch operators include those beyond modular data, such as the link invariants associated with the Borromean rings and the Whitehead link. These results suggest that the algebra of commutant patch operators is described by 2+1D symmetry-TO. Based on our analysis, we also argue briefly that the commutant patch operators would serve as order parameters for gapped phases with finite symmetries.

연구 동기 및 목표

• 1+1차원 양자 시스템에서 국소 대칭 연산자로부터 2+1차원 대칭-위상순서(symmetrically-ordered, symmetry-TO)를 체계적으로 유도하기 위한 프레임워크를 수립하는 것.
• 2+1차원 대칭-위상순서에서 위상수학적 불변량을 코딩하는 중심 대수적 구조로 공액 패치 연산자를 규명하는 것.
• 모듈라 데이터(modular data)를 초월한 위상수학적 불변량—예를 들어 보로메언 링과 화이트헤드 링크의 연결 불변량—이 1+1차원 패치 연산자로부터 계산될 수 있음을 보여주는 것.
• 공액 패치 연산자의 대수가 2+1차원 대칭-위상순서의 전체 구조를 실현하며, 구체적인 계산 도구를 제공하는 것.
• 공액 패치 연산자가 유한 대칭을 가진 견고한 상태(gapped phases)의 질서 매개변수(order parameters)로 기능할 수 있음을 제안하며, 대칭 구조와 위상순서 사이의 연결 고리를 제공하는 것.

제안 방법

• 1+1차원 시스템에서 국소 대칭 연산자의 곱과 합으로 구성된 확장된 연산자인 공액 패치 연산자를 정의한다.
• 공액 패치 연산자가 경계에서 벗어난 곳에서는 모든 국소 대칭 연산자와 가환함을 보장함으로써 위상적 보호를 확보한다.
• 패치 연산자의 곱을 수축하는 방식으로 2+1차원에서 위상수학적 불변량을 계산하며, 이는 anyon 다이어그램 계산 방식과 유사하게 수행된다.
• 패치 연산자 대수를 사용하여 위상수학적 불변량—비모듈라 형태의 것들까지 포함—에 대한 명시적 공식을 유도한다.
• 에너지가 낮은 이론과 경계가 견고한 위상순서 사이의 홀로그래픽 이sovomorphism(holographic isomorphism)을 활용하여 1+1차원 대칭 시스템과 2+1차원 대칭-위상순서 간의 관계를 설정한다.
• 키타에프의 양자 듀얼 모델의 거친 경계에서의 리본 연산자(ribbon operators)와 1+1차원 패치 연산자 간의 대응관계를 수립함으로써 구조의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 어떻게 1+1차원 시스템의 국소 대칭 연산자들로부터 2+1차원 대칭-위상순서를 체계적으로 도출할 수 있는가?
• RQ2 1+1차원에서 어떤 대수적 구조가 2+1차원 대칭-위상순서의 전체 위상수학적 불변량(content), 비모듈라 불변량까지 포함하여 코딩하는가?
• RQ3 공액 패치 연산자가 유한 대칭을 가진 견고한 상태의 질서 매개변수로 기능할 수 있는가?
• RQ4 보로메언 링과 화이트헤드 링크와 관련된 비모듈라 위상수학적 불변량들은 1+1차원 대칭 시스템으로부터 어떻게 유도되는가?
• RQ5 1+1차원 패치 연산자와 2+1차원 대칭-위상순서의 anyon 진동자 간의 정확한 수학적·물리적 대응관계는 무엇인가?

주요 결과

• 1+1차원 시스템에서의 공액 패치 연산자가 2+1차원 대칭-위상순서의 전체 대수적 구조를 코딩하고 있음이 입증되었다.
• 보로메언 링과 화이트헤드 링크의 위상수학적 불변량과 같은 위상수학적 불변량들이 1+1차원에서 공액 패치 연산자의 수축된 곱으로 계산될 수 있음이 확인되었다.
• 이 구성은 이러한 불변량들에 대한 명시적 공식을 패치 연산자에 기반해 제공하며, 이론의 모듈라 데이터를 초월한다.
• 공액 패치 연산자의 대수가 2+1차원 대칭-위상순서에서 anyon의 융합 및 끈적임 규칙과 등가임이 입증되었다.
• 키타에프의 양자 듀얼 모델의 거친 경계에서의 리본 연산자와 1+1차원 패치 연산자 간의 직접적 대응관계가 수립되었으며, 이는 프레임워크의 타당성을 검증한다.
• 이 이론은 공액 패치 연산자가 특히 홀로등가 일반화된 대칭(holo-equivalent generalized symmetries)의 맥락에서, 유한군 대칭을 가진 견고한 상태의 질서 매개변수로 작용할 수 있음을 확인한다.