Symmetry-permuting entanglers for non-invertible symmetry-protected topological phases

기술 요약: 비가역적 SPT 상을 위한 대칭성 치환 얽힘 생성기 (Symmetry-Permuting Entanglers)

문제 정의
가역적 대칭성을 가진 1차원 대칭 보호 위상(SPT) 상들은 일반적으로 대칭적인 얽힘 생성기(symmetric entanglers)에 의해 특징지어집니다. 이는 곱 상태(product state)로부터 대표적인 바닥 상태를 생성하면서 전역 대칭성과 교환 법칙이 성립하는 유한 깊이 국소 유니터리(FDLU) 회로를 의미합니다. 그러나 비가역적 대칭성(융 범주(fusion categories)로 기술됨)을 가진 SPT 상의 경우, 이러한 대응 관계가 깨집니다. 구체적으로, $\text{Rep}(D_8)$ 대칭에 의해 보호되는 서로 다른 SPT 상들은 대칭적 얽힘 생성기(모든 대칭 연산자와 교환하는 회로)에 의해 연결될 수 없습니다. 기존 연구는 가역적 대칭성에 대한 "고정 전하 쌍대성(fixed-charge dualities, FCDs)"의 존재를 확립했지만, 비가의적 SPT 상의 분류는 "고정 대수 쌍대성(fixed-algebra dualities, FADs)"을 포함합니다. 여기서 대칭 경계는 응축 가능한 대수(condensable algebra)로서 보존되지만, 그 단순 합 성분(simple summands, 즉 대칭 라인)은 치환될 수 있습니다. 본 연구에서 다루는 핵심 문제는, 서로 다른 $\text{Rep}(D_8)$ SPT 상들이 대칭 라인을 치환하는 유한 깊이 회로에 의해 연결될 수 있는지, 즉 symTFT(symmetry topological quantum field theory)가 예측하는 FAD를 실현할 수 있는지 여부입니다.

방법론
저자는 행렬 곱 유니터리(Matrix Product Unitaries, MPUs)를 사용하여 이러한 연결에 대한 명시적인 미시적 실현을 구축합니다. 방법론은 다음과 같이 진행됩니다:

1. 이론적 프레임워크: 본 연구는 듀얼리티가 벌크 드린펠드 중심(Drinfeld center) $Z(\mathcal{C})$의 브레이디드 자기 동형 사상(braided autoequivalences)에 의해 인코딩되는 symTFT 기술을 활용합니다. 저자는 대칭 경계의 라그랑지안 대수는 보존하되 그 단순 합 성분을 치환하는 FAD에 초점을 맞춥니다.
2. 국소 제약 조건: 임의의 전역 회로를 찾는 대신, 저자는 MPU 텐서 $M$에 대한 국소 제약 조건을 유도합니다. 저자는 전역 대칭 치환 조건 $U S_a U^\dagger = S_{\phi(a)}$ (여기서 $S_a$는 대칭 MPO이고 $\phi$는 단순 객체의 치환임)에서 시작합니다.
3. 교차 관계 (Crossing Relations): MPO를 벡터화하고 행렬 곱 상태의 기본 정리를 적용함으로써, 저자는 "끌어당기기(pulling-through)" 방정식을 유도합니다. 이 방정식들은 MPU 텐서 $M$, 대칭 MPO 텐서 $T_{S_a}$, 그리고 가상 공간(virtual spaces)을 인터트와이닝하는 "교차 텐서(crossing tensor)" $X_a$를 연관시킵니다.
4. 안사츠(Ansatz) 및 해법: $\text{Rep}(D_8)$ 사례의 경우, 저자는 자명한 SPT 상과 부분군 $H = \langle r^2, s \rangle$에 연관된 SPT 상 사이를 교환하는 특정 FAD를 목표로 합니다. 저자는 MPU에 대해 결합 차원(bond-dimension) 2의 안사츠를 도입합니다. 교차 텐서 $X_a$는 곱 상태의 작용 텐서를 대상 SPT 상태의 작용 텐서로 매핑한다는 요구 조건에 의해 결정됩니다.
5. 구축: 결과적인 선형 제약 조건(교차 관계)을 풀고 유니터리성, 에르미트성 및 고정점 상태의 정확한 매핑을 부과함으로써 명시적인 MPU 텐서를 얻습니다. 결과적으로 도출된 회로는 지수(index)가 1인 FDLU(유한 깊이 국소 유니터리)임이 입증되었습니다.

주요 기여 및 결과

• 명시적 구축: 본 논문은 자명한 곱 상태와 비자명한 $\text{Rep}(D_8)$ SPT 상을 연결하는 명시적인 결합 차원 2의 MPU를 구축합니다. 이 회로는 개별 대칭 MPO와 교환되지 않지만, 대상 FAD에 따라 이들을 치환합니다.
• 대칭 치환: 구축된 회로는 대칭 라인 $\rho_a \leftrightarrow \rho_c$를 치환하며 $\rho_b$와 $\sigma$는 고정합니다. 이는 서로 다른 SPT 상들이 대칭적 얽힘 생성기에 의해 연결되지 못한다는 장애물을 해결하고, 대칭 치환 얽힘 생성기에 의해 연결될 수 있음을 확인시켜 줍니다.
• 미시적 애니온 치환: 저자는 이 MPU가 스트링 질서 매개변수(string order parameters, symTFT의 애니온을 나타냄)에 작용할 때 TQFT 듀얼리티가 예측하는 애니온 치환을 재현함을 보여줍니다. 구체적으로:
  • 가역적 스트링은 $([e], \rho_a) \to ([r^2], \rho_c)$ 및 $([e], \rho_c) \to ([r^2], \rho_a)$로 변환됩니다.
  • 비가역적 스트링 $\sigma$는 끝점 전하(endpoint charges)를 치환하여 $([e], \sigma) \to ([s], \omega_2)$로 매핑합니다.
• 전체 듀얼리티 군 생성: 이 비-온사이트(non-on-site) 대칭 치환 얽힘 생성기를 $D_8$의 군 자기 동형 사상에 의해 유도된 온사이트 유니터리 회로와 결합함으로써, 저자는 세 가지 서로 다른 $\text{Rep}(D_8)$ SPT 상을 모두 연결하는 전체 $S_3$ 군의 FAD가 생성됨을 보여줍니다.

의의
본 논문은 비가역적 SPT 상 분류에 대한 구체적인 미시적 해결책을 제공합니다. 이는 대칭적 얽힘 생성기(FCDs)가 특정 비가역적 SPT 상 사이에는 존재하지 않을 수 있지만, 고정 대수 듀얼리티(FADs)를 실현하는 유한 깊이 회로는 존재한다는 symTFT의 예측을 실증합니다. 본 연구는 국소 교차 관계와 작용 텐서로부터 회로를 직접 유도함으로써, 이전의 예시들(예: $\text{Rep}(A_4)$)에서 나타난 "임의적인(ad hoc)" 구축 방식을 넘어섰습니다. 결과는 고정 전하 듀얼리티와 고정 대수 듀얼리티의 구분이 양자 회로에서 직접적으로 실현됨을 보여줌으로써 symTFT 분류의 미시적 해석을 강화합니다. 저자는 이 구축 과정이 국소 관계에 의해 유도되기는 하지만 아직 완전히 알고리즘적이지는 않으며, 스트링 연산자로부터 애니온 치환을 추출하는 것이 모든 경우에 밑바탕이 되는 브레이디드 자기 동형 사상을 유일하게 결정하는 것은 아니라고 언급했습니다.