Fermionic Anomalies of Finite Symmetries on Lattices

기술 요약: 격자에서의 유한 대칭성에 의한 페르미온 이상 현상

문제 정의
본 논문은 (1+1)차원 및 (2+1)차원 공간 차원의 격자 시스템에서 유한 내부 페르미온 대칭성의 't Hooft 이상 현상(anomaly)을 규명하는 문제를 다룬다. 연속체 양자장론(QFT)은 군 코호몰로지(group cohomology)와 코보디즘(cobordism)을 통해 이러한 이상 현상을 분류하지만, 어떤 연속체 이상 현상이 미시적 격자 모델에서 정확한(exact) 대칭성에 의해 실현될 수 있는지는 여전히 미해결 과제로 남아 있다. 핵심적인 동기는 격자에서 대칭적인 단거리 얽힘(Short-Range-Entangled, SRE) 상태를 구현하는 데 발생하는 장애물이 연속체의 't Hooft 이상 현상 분류와 일치하는지 결정하는 것이다. 저자들은 국소 힐베르트 공간이 온사이트(onsite) 페르미온 및 보존 자유도의 텐서 곱으로 구성되는 시스템에 초점을 맞추며, 대칭 군 $G_f$는 보존 군 $G_b$에 의한 페르미온 패리티 $\mathbb{Z}_2^F$의 중심 확장(central extension)이다.

방법론
저자들은 대칭 연산자를 나타내는 유한 깊이 양자 회로(FDQC)를 분석하여, 대칭적인 SRE 상태의 존재에 대한 장애물로 정의되는 격자 특성을 개발한다. 이들의 접근 방식은 다음과 같다:

1. 절단 및 결함 분석 (Truncation and Defect Analysis): 이들은 대칭 연산자를 공간 영역(1D의 경우 구간, 2D의 경우 원판)으로 절단하여, 연산자가 군 대수(group algebra)를 엄격하게 만족하지 못하고 위상 인자(phase factor)나 페르미온 패리티 부호를 획득하게 되는 경계 연산자(boundary operators, defects) 및 접합 연산자(junction operators)를 식별한다.
2. 코호몰로지 지수 추출 (Cohomological Index Extraction): 절단된 연산자들의 대수적 관계로부터 일련의 코호몰로지 지수를 추출한다. 이 지수들은 접합 연산자의 페르미온 패리티와 결합 법칙의 연관성(associativity)과 관련된 위상 인자로부터 유도된다.
3. 온사이트 가능성 증명 (Onsiteability Proofs): 특정 사례(특히 자명한 확장인 $G_f = G_b \times \mathbb{Z}_2^F$의 경우)에 대해, 시스템을 보존 앙실라(bosonic ancillas)와 결합하여 대칭성을 온사이트 형태로 변환하는 명시적인 유한 깊이 회로(disentanglers)를 구축한다. 만약 이러한 회로가 존재한다면, 해당 대칭성은 "온사이트 가능(onsiteable)"하며 대칭적인 SRE 상태를 허용함을 의미하며, 이는 격자 이상 현상이 없음을 시사한다.
4. 스태킹 규칙 (Stacking Rules): 여러 개의 시스템 복사본을 쌓을 때 이상 현상 지수가 어떻게 행동하는지에 대한 규칙을 도출하여, 특정 군 구조(예: $\mathbb{Z}_2$)에 대한 지수의 자명성을 테스트한다.

주요 기여 및 결과

(1+1)D 결과:

• 이상 현상 지수: 저자들은 대칭성을 한 쌍의 코호몰로지 데이터 $(n_2, \nu_3)$로 특징짓는다. 여기서 $n_2 \in Z^2(BG_b, \mathbb{Z}_2)$는 융합된 대칭 결함의 페르미온 패리티를 측정하는 Else-Nayak 지수이며, $\nu_3 \in C^3(BG_b, \mathbb{R}/\mathbb{Z})$는 보존 부분의 이상 현상을 측정한다. 이들은 일관성 조건 $\delta \nu_3 = \frac{1}{2}(n_2 \cup n_2 + \omega_2 \cup n_2) \mod 1$을 만족한다.
• 자명한 확장에 대한 충실성 (Faithfulness for Trivial Extensions): 자명한 확장($G_f = G_b \times \mathbb{Z}_2^F$)의 경우, 지수가 $(n_2, \nu_3) = (0,0)$인 대칭성은 온사이트 가능함을 증명한다. 따라서 이 클래스에 대해 지수는 격자 이상 현상을 충실하게 탐지한다.
• 연속체 QFT와의 불일치: 저자들은 정확한 격자 대칭성이 전체 연속체 분류를 실현할 수 없음을 보여준다. 구체적으로, 연속체 이상 현상은 $[n_1] \in H^1(BG_b, \mathbb{Z}_2)$라는 추가적인 층을 포함한다. $G_b = \mathbb{Z}_2$인 경우, 연속체 이상 현상은 $\mathbb{Z}_8$로 분류되지만, 정확한 격자 대칭성은 오직 짝수 $\mathbb{Z}_4$ 부분군만을 실현할 수 있다. $n_1$만이 비자명한 "홀수" mod-8 이상 현상은 텐서 곱 힐베르트 공간 상의 정확한 대칭성에 의해 실현될 수 없으며, 에마넌트 대칭성(emanant symmetries, 예: 마요라나 병진 변환)을 필요로 한다.

(2+1)D 결과:

• 계층적 이상 현상 층 (Hierarchical Anomaly Layers): 저자들은 일반적인 유한 내부 대칭성에 대해 세 가지 이상의 이상 현상 층을 공식화한다:
  1. 마요라나 층 ($n_2$): 경계 결함의 1D 페르미온 양자 셀룰러 오토마타(QCA) 지수에서 $\sqrt{2}$ 인자에 의해 탐지되는 $H^2(BG_b, \mathbb{Z}_2)$의 지수.
  2. 복소 페르미온 층 ($n_3$): 마요라나 층을 자명화한 후의 엔드포인트 결합자(endpoint associator)의 페르미온 패리티로부터 발생하는 $H^3(BG_b, \mathbb{Z}_2)$ 지수.
  3. 보존 층 ($\nu_4$): 순수 보존 부분의 이상 현상을 나타내는 $H^4(BG_b, \mathbb{R}/\mathbb{Z})$ 지수.
• SRE에 대한 장애물: 이들 층 중 어느 하나라도 비자명한 값을 가지면 대칭적인 SRE 상태의 존재를 방해함을 보여준다. 확장 클래스가 자명하면($G_f = G_b \times \mathbb{Z}_2^F$), 비자명한 지수 또한 임의의 대칭적인 가역 상태(invertible state)를 금지한다.
• 격자 vs. 연속체 불일치: 저자들은 확장 클래스가 비자명한($\omega_2 \neq 0$) $\mathbb{Z}_4^F$ 격자 대칭성을 갖는 (2+1)D의 명시적인 예시를 구축한다. 이 대칭성은 비자명한 격자 지수 $n_2 = \omega_2$를 가지며, 이는 대칭적인 SRE 상태를 금지한다. 그러나 연속체 QFT 분류에서 클래스 $n_2 = \omega_2$는 (동치 관계에 의해) 자명한 이상 현상과 동일시된다. 결과적으로, 이 격자 대칭성은 자명한 연속체 't Hooft 이상 현상을 가짐에도 불구하고 SRE 상태의 존재를 방해한다.

의의 및 주장
본 논문은 격자 이상 현상(텐서 곱 힐베르트 공간 상의 대칭적 SRE 상태에 대한 장애물으로 정의됨)과 연속체 't Hooft 이상 현상 사이의 근본적인 구분을 확립했다고 주장한다. 저자들은 격자 이상 현상에서 연속체 이상 현상으로의 사상(map)이 단사(injective)도 전사(surjective)도 아니라고 주장한다:

• 전사적이지 않음 (Not Surjective): 특정 연속체 이상 현상(예: 1D에서 비자명한 $n_1$을 갖는 경우 또는 2D의 홀수 $\mathbb{Z}_{16}$ 시간 역전 이상 현상)은 정확한 격자 대칭성에 의해 실현될 수 없다.
• 단사적이지 않음 (Not Injective): 특정 격자 장애물(예: 2D의 특정 $\mathbb{Z}_4^F$ 예시)은 격자에서는 비자명하지만 연속체 이상 현상으로는 자명하게 매핑된다.

저자들은 텐서 곱 힐베르트 공간 상의 정확한 격자 대칭성이 연속체 이상 현상의 특정 부분집합으로 제한된다고 제안한다. 또한, (2+1)D에서 지수 $(n_2, n_3, \nu_4)$가 소멸하는 것이 대칭성이 온사이트 가능하기 위한 충분조건이라는 것을 추측한다(Conjecture 1). 나아가, 비자명한 "p+ip" 층(반유니타리 대칭성과 관련된 $n_1$과 연관됨)을 가진 연속체 이상 현상은 격자 상의 정확한 내부 대칭성에 의해 실현될 수 없다고 추측하며(Conjecture 2 및 3), 이는 $\mathbb{Z}_{16}$ 분류의 홀수 원소들이 에마넌트(emanant) 또는 비정확한(non-exact) 대칭 작용을 필요로 함을 시사한다.