Higher-form entanglement asymmetry and topological order

1. 연구 배경 및 문제 제기 (Problem)

• 랜다우 패러다임의 확장: 기존의 물질 상 분류는 국소적 질서 매개변수와 전역 대칭성 (0-형 대칭성) 의 자발적 대칭성 깨짐 (SSB) 에 기반합니다. 최근 이 프레임워크는 공간의 하위 다양체에 작용하는 고차형 대칭성 (Higher-form symmetries) 으로 확장되었습니다.
• 위상적 질서와 고차형 대칭성: 아벨 위상적 질서 (Abelian topological order) 는 고차형 대칭성 (특히 1-형 대칭성) 의 자발적 깨짐으로 재해석될 수 있습니다. 예를 들어, 토릭 코드 (Toric code) 의 바닥상태는 1-형 대칭성을 자발적으로 깨뜨립니다.
• 핵심 질문: 위상적 질서는 비국소적 상관관계를 특징으로 하므로, 이러한 고차형 대칭성 깨짐을 국소적 영역 (subregion) 에서 어떻게 감지할 수 있는지가 중요한 문제였습니다. 기존 0-형 대칭성의 깨짐을 측정하는 도구인 얽힘 비대칭성 (Entanglement Asymmetry) 을 고차형 대칭성으로 확장하여 위상적 질서를 탐지할 수 있는지 규명하는 것이 본 논문의 목적입니다.

2. 방법론 (Methodology)

• 얽힘 비대칭성 (Entanglement Asymmetry) 의 일반화:
  • 기존 정의: 전역 대칭성 $G$가 깨진 상태 $|\psi\rangle$에서 부분 영역 $A$의 밀도 행렬 $\rho_A$와 이를 대칭화한 $\rho_A^{sym}$ 사이의 상대 엔트로피로 정의됨 ($\Delta S_A = S[\rho_A^{sym}] - S[\rho_A]$).
  • 본 연구의 확장: 1-형 대칭성 연산자 $U_\gamma$는 공간 전체가 아닌 1 차원 루프 $\gamma$ (예: 토러스의 비축약 루프) 에 지지됩니다. 따라서 $\Delta S_A$는 영역 $A$뿐만 아니라 대칭성 연산자의 지지 영역 $\gamma$의 선택에도 의존합니다.
  • 제약 조건: $\gamma$나 $A$가 축약 가능 (contractible) 하면 $\Delta S_A = 0$이 됩니다. 따라서 1-형 대칭성 깨짐을 측정하려면 비축약 (non-contractible) 인 영역 $A$와 대칭성 연산자 $\gamma$를 사용해야 합니다.
• 모델 시스템:
  • 토릭 코드 (Toric Code): 2 차원 아벨 위상적 질서의 대표적 예시. 1-형 $Z_2 \times Z_2$ 대칭성 (전기 및 자기 플럭스 보존) 을 가짐.
  • 변형된 토릭 코드 (Deformed Toric Code): 위상적 질서가 없는 상에서도 1-형 대칭성 깨짐이 발생할 수 있는 모델 (Hamiltonian 에 변형 항 추가). 이를 통해 얽힘 비대칭성이 위상적 질서와 단순한 대칭성 깨짐을 어떻게 구별하는지 분석.
• 계산 도구:
  • 최소 엔트로피 상태 (Minimum Entropy States, MESs): 비축약 영역 $A$에 대한 엔트로피를 최소화하는 바닥상태들.
  • 위상적 얽힘 엔트로피 (TEE, $S_{topo}$): 위상적 질서의 장거리 얽힘 패턴을 나타내는 하위 선도 보정항.

3. 주요 기여 및 결과 (Key Contributions & Results)

가. 토릭 코드에서의 얽힘 비대칭성 계산

• 계산 설정: 토러스의 $y$-축을 감싸는 원통형 영역 $A$와 $x$-축을 가로지르는 1-형 대칭성 연산자 $U_x$를 고려.
• 결과:
  • 토릭 코드의 바닥상태 (예: $|\Psi^Z_{00}\rangle$) 에 대해 계산한 얽힘 비대칭성은 $\Delta S_A = \log 2$입니다.
  • 이는 1-형 대칭성 깨짐으로 인해 영역 $A$ 내에 1 비트의 정보가 인코딩되었음을 의미하며, 0-형 대칭성 깨짐에서의 $\log |G|$ 결과와 유사합니다.
  • 최대 비대칭성: MESs (최소 엔트로피 상태) 의 경우, 두 개의 독립적인 1-형 대칭성 ($U_x, T_x$) 을 모두 깨뜨리므로 $\Delta S_A = \log |G| = 2 \log 2$로 최대화됩니다.

나. 얽힘 비대칭성과 위상적 얽힘 엔트로피 (TEE) 의 관계

• 비교: TEE ($S_{topo}$) 와 얽힘 비대칭성 ($\Delta S_A$) 은 모두 위상적 질서에서 기원하지만 개념적으로 다릅니다.
  • TEE: 모든 플럭스 선이 닫힌 루프를 형성해야 한다는 제약으로 인해 발생하는 엔트로피 보정.
  • 얽힘 비대칭성: 비축약 영역 내의 서로 다른 1-형 전하 (비축약 루프) 의 존재를 측정하는 대칭성 깨짐의 척도.
• 연결성: 토릭 코드의 특정 조건 (비축약 원통형 영역) 에서 MESs 에 대해 두 양은 수치적으로 일치합니다 ($\Delta S_A = S_{topo}$).
• 불확정성 원리: 서로 다른 방향 ($x$축과 $y$축) 의 대칭성 연산자는 교환하지 않으므로 (anticommute), 한 방향에서 대칭성을 최대화하여 깨뜨리면 다른 방향에서는 대칭성이 보존됩니다. 이로 인해 $\Delta S_A$의 합은 상한 ($2 \log 2$) 을 가지며, 이는 TEE 에 대한 "불확정성 원리"와 유사한 물리적 의미를 가집니다.
• 일반화: 임의의 2 차원 아벨 위상적 질서에 대해, 최대 얽힘 비대칭성은 위상적 질서의 애니온 (anyon) 종 수와 관련되어 $\Delta S_A^{max} = \log |G|$ ($G$는 모든 애니온 선에 의해 생성된 대칭군) 로 표현됩니다.

다. 변형된 토릭 코드 (Deformed Toric Code) 를 통한 위상적 질서 탐지

• 문제 상황: 변형된 토릭 코드는 위상적 상 ($\beta < \beta_c$) 과 비위상적 상 ($\beta > \beta_c$) 모두에서 1-형 대칭성이 자발적으로 깨집니다. 따라서 단순히 $\Delta S_A > 0$인지 여부만으로는 위상적 질서를 구별할 수 없습니다.
• 열역학적 극한에서의 스케일링 차이:
  • 비위상적 상 ($\beta > \beta_c$): 시스템 크기 $L \to \infty$일 때, 영역 $A$ 내부에 비축약 루프가 존재할 확률이 0 으로 수렴합니다. 결과적으로 $\Delta S_A \to 0$이 됩니다.
  • 위상적 상 ($\beta < \beta_c$): $L \to \infty$에서도 $\Delta S_A \approx \log 2$ (또는 상수) 로 유지됩니다.
• 결론: 얽힘 비대칭성의 스케일링 행동은 1-형 대칭성 깨짐이 존재하더라도 위상적 질서가 있는지 여부를 정확히 구별할 수 있는 탐침 (probe) 이 됩니다. 이는 비위상적 상에서는 't Hooft 루프 대칭성이 사라져 혼합 이상 (mixed anomaly) 이 존재하지 않기 때문입니다.

4. 의의 및 중요성 (Significance)

1. 위상적 질서의 새로운 탐지 도구: 얽힘 비대칭성을 고차형 대칭성으로 확장함으로써, 위상적 질서를 국소적 영역에서 측정 가능한 대칭성 깨짐의 관점에서 정량화할 수 있는 새로운 방법을 제시했습니다.
2. TEE 와의 개념적 구분 및 연결: TEE 와 얽힘 비대칭성이 수치적으로 일치하는 경우와 개념적으로 다른 경우를 명확히 구분하고, 두 양 사이의 깊은 물리적 연결 (대칭성 깨짐의 관점에서의 TEE 해석) 을 규명했습니다.
3. 위상적 상전이 탐지: 변형된 토릭 코드 예시를 통해, 단순한 대칭성 깨짐 여부가 아니라 그 스케일링 행동을 분석함으로써 위상적 상과 비위상적 상을 구별할 수 있음을 보였습니다. 이는 위상적 질서가 없는 상에서도 1-형 대칭성 깨짐이 발생할 수 있음을 보여줍니다.
4. 양자 정보 및 컴퓨팅 응용: 1-형 대칭성 깨짐이 양자 메모리 (topological quantum memory) 와 관련이 있음을 지적하며, 얽힘 비대칭성 동역학 연구가 양자 컴퓨팅의 안정성 이해에 기여할 수 있음을 시사합니다. 또한, 비가역적 대칭성 (non-invertible symmetries) 이나 연속 대칭성으로의 확장을 제안했습니다.

이 논문은 고차형 대칭성과 얽힘 이론을 결합하여 위상적 물질의 본질을 더 깊이 이해하고, 이를 실험적 또는 계산적 탐지에 활용할 수 있는 강력한 이론적 틀을 마련했다는 점에서 의의가 큽니다.