Remarks on non-invertible symmetries on a tensor product Hilbert space in 1+1 dimensions

이 논문은 1+1 차원 격자 모델에서 텐서 곱 힐베르트 공간 (tensor product Hilbert space) 상에 정의된 **비가역적 대칭 (non-invertible symmetry)**의 구조와 실현 가능성에 대한 심층적인 연구를 다룹니다. 저자는 대수적 접근법 (물리적 가정 기반) 과 텐서 네트워크 접근법 (구체적 수학적 구조 기반) 두 가지 상보적인 방법을 사용하여 비가역적 대칭 연산자의 **지수 (index)**를 정의하고, 이것이 대칭의 융합 규칙 (fusion rules) 과 격자 실현 가능성에 어떤 제약을 가하는지 규명합니다.

주요 내용은 다음과 같습니다.

1. 연구 배경 및 문제 제기

• 배경: 최근 비가역적 대칭 (예: Kramers-Wannier 이중성, fusion category symmetry) 이 물리학에서 중요한 역할을 하고 있음이 밝혀졌습니다. 연속체 양자장론 (QFT) 에서는 이러한 대칭이 fusion category 로 기술되지만, 격자 모델에서는 국소 힐베르트 공간의 텐서 곱 구조로 인해 제약이 따릅니다.
• 문제: 어떤 fusion category 가 격자의 텐서 곱 힐베르트 공간에서 대칭으로 실현될 수 있는가?
  • 기존 연구 [26] 에 따르면, QCA(Quantum Cellular Automata) 와 섞이지 않고 정확히 실현되려면 fusion category 가 **정수적 (integral)**이어야 합니다 (모든 객체의 양자 차원이 정수).
  • 그러나 QCA(예: 격자 이동) 와 섞여 실현될 경우, **약한 정수성 (weakly integral)**만으로도 가능하다는 추측 [32, 33] 이 제기되었습니다. 즉, fusion category 의 총 차원 (total dimension) 이 정수이면 실현 가능하다는 것입니다.
• 목표: 이 추측을 증명하거나 반증하기 위해, 비가역적 대칭 연산자에 대한 정밀한 정의와 지수 이론을 구축하고, 이것이 fusion category 의 실현 가능성에 미치는 제약을 규명하는 것.

2. 방법론

저자는 두 가지 접근법을 병행합니다.

A. 공리적 접근 (Physical Assumptions based)

• 가정: 결함 힐베르트 공간 (defect Hilbert spaces) 의 존재, 대칭 연산자의 곱과 합에 대한 성질, 유니터리 구조와의 호환성 등 4 가지 물리적 가정을 설정합니다.
• 정의:
  • 좌/우 차원 (Left/Right dimensions): 결함 힐베르트 공간과 원래 힐베르트 공간의 차원 비율로 정의 ($ldim, rdim$).
  • 격자 양자 차원 (Lattice quantum dimension): $qdim_{lat} = \sqrt{ldim \cdot rdim}$.
  • 지수 (Index): $ind = \sqrt{ldim / rdim}$. 이는 QCA 의 Gross-Nesme-Vogts-Werner (GNVW) 지수를 비가역적 대칭으로 일반화한 것입니다.
• 논리 전개:
  • QCA 와 섞이지 않는 경우: 좌/우 차원이 융합 규칙의 1 차원 표현이 되며, 이는 양자 차원과 일치해야 함. 양자 차원이 유리수이면서 대수적 정수여야 하므로 정수여야 함 $\rightarrow$ 정수적 (Integral) fusion category 만 실현 가능.
  • QCA 와 섞이는 경우: 모든 융합 채널 (fusion channels) 이 **동일한 지수 (homogeneous index)**를 가진다고 가정할 때, 격자 양자 차원이 융합 규칙의 표현이 됨. 이 경우 총 차원이 유리수이면서 대수적 정수이므로 정수여야 함 $\rightarrow$ 약한 정수성 (Weakly integral) fusion category 만 실현 가능.

B. 텐서 네트워크 접근 (Tensor Network Formulation)

• Topological Injective MPOs: 비가역적 대칭을 기술하는 일반적인 텐서 네트워크 연산자 클래스로 **위상적 주입성 MPO (Topological Injective MPOs)**를 제안합니다. 이는 가역적 대칭 (MPU), 비이상적 fusion category 대칭, 아벨 군의 Kramers-Wannier 대칭 등을 모두 포함합니다.
• 구체적 구성:
  • 위상적 주입성 MPO 에 대해 결함 힐베르트 공간과 결함 이동 연산자 (movement operators) 를 명시적으로 구성합니다.
  • 이러한 MPO 가 **순차 양자 회로 (sequential quantum circuits)**로 표현될 수 있음을 보였습니다.
  • 지수의 동질성 (Homogeneity of the index) 을 위한 충분 조건:
    • Broken Zipper Condition과 Two-sided Zipper Condition을 만족하는 융합 (fusion) 및 분할 (splitting) 텐서가 존재할 경우, 모든 융합 채널의 지수가 동일해짐을 증명했습니다.
    • 이 조건이 성립하면, 위상적 주입성 MPO 로 실현된 대칭은 반드시 약한 정수성 fusion category 여야 합니다.

3. 주요 결과 및 기여

1. 지수 이론의 일반화: QCA 의 GNVW 지수를 비가역적 대칭 연산자로 자연스럽게 확장하여 정의했습니다.
2. 약한 정수성 제약의 유도:
   • "모든 융합 채널이 동일한 지수를 가진다"는 가정 하에, 텐서 곱 힐베르트 공간에서 QCA 와 섞여 실현될 수 있는 fusion category 는 반드시 **약한 정수성 (weakly integral)**이어야 함을 증명했습니다. 이는 [32, 33] 의 추측을 지지하는 강력한 결과입니다.
   • 만약 QCA 와 섞이지 않는다면, 더 강한 조건인 **정수성 (integral)**이 필요합니다.
3. Topological Injective MPO 의 도입: 비가역적 대칭을 격자 모델에서 구체적으로 다루기 위한 새로운 수학적 프레임워크를 제시했습니다.
4. 충분 조건의 제시 및 검증:
   • 지수의 동질성을 보장하는 대수적 조건 (Broken/Two-sided Zipper 조건) 을 제시했습니다.
   • 가역적 대칭, 비이상적 fusion category 대칭, $Z_2$ 및 $Z_N$ Kramers-Wannier 이중성 등 구체적인 예시들에서 이 조건들이 모두 성립함을 보였습니다.
5. 결함 힐베르트 공간의 구체화: 텐서 네트워크를 통해 결함 힐베르트 공간과 이를 이동시키는 유니터리 연산자를 명시적으로 구성하여, 물리적 가정 없이도 지수 이론을 수립할 수 있음을 보였습니다.

4. 의의 및 전망

• 이론적 통합: 비가역적 대칭의 추상적인 대수적 구조 (fusion category) 와 격자 모델의 구체적인 실현 가능성 사이의 간극을 메우는 중요한 진전을 이루었습니다.
• 개방된 문제: 이 논문은 "모든 위상적 주입성 MPO 에 대해 Broken/Two-sided Zipper 조건을 만족하는 융합/분할 텐서가 존재하는가?"라는 질문을 남겼습니다. 만약 이 질문에 대한 답이 '예'라면, 약한 정수성 fusion category 가 아닌 한, 격자 텐서 곱 공간에서 비가역적 대칭을 QCA 와 섞어 실현하는 것은 불가능하다는 결론이 나옵니다.
• 향후 연구: 약한 정수성 fusion category 를 격자 모델에서 구체적으로 실현하는 새로운 모델 구축, 그리고 비가역적 대칭의 다른 실현 방식 (예: 비가환적 융합 규칙을 가진 Onsager 대칭 등) 에 대한 연구가 필요함을 시사합니다.

요약하자면, 이 논문은 비가역적 대칭의 지수 (index) 개념을 정립하고, 이를 통해 **격자 모델에서 대칭이 실현되기 위한 필수 조건 (약한 정수성)**을 도출함으로써, 현대 응집물질 물리학과 양자 정보 이론의 교차점에서 중요한 통찰을 제공했습니다.