Bosonization versus the Nielsen-Ninomiya theorem

기술 요약: 보손화(Bosonization) 대 닐슨-니미츠야(Nielsen-Ninomiya) 정리

문제 제기
본 연구가 다루는 핵심 과제는 유클리드 시공간 격자 위에서 카이랄 대칭성을 보존하면서 질량이 없는 카이랄 페르미온을 정식화하는 것이다. 닐슨-니미츠야 정리는 번역 불변성(translation-invariant)을 갖고, 국소적(local)이며, 표준적인 카이랄 구조를 가진 모든 격자 디락 연산자는 필연적으로 물리적이지 않은 '더블러(doubler, 추가적인 질량 없는 모드)'를 생성하거나 카이랄 대칭성을 위반해야 한다는 근본적인 장애물을 설정한다. 표준적인 격자 접근법들은 일반적으로 카이랄 대칭성을 깨뜨리거나(예: 윌슨 페르미온), 비-초국소적(non-ultra-local) 대칭성을 수용함으로써(예: 오버랩/도메인 벽 페르미온) 이를 해결한다. 대안적인 전략은 그라즘 변수(Grassmann fields)를 완전히 포기하고, 보손 격자 모델을 활용하여 원하는 대칭성과 아노말리를 구현한 뒤, 카이럴 페르미온이 출현하는 임계점을 식별하는 것이다. 2D 수정된 빌러(Villain) 모델이 보손화를 통해 질량이 없는 디락 페르미온의 격자 정규화 방법으로 제안된 바 있으나, 결과로 나타나는 카이럴 페르미온 연산자의 구체적인 특성, 특히 유한한 격자 간격에서의 국소성 및 닐슨-니미츠야 정리 회피 여부는 불분명한 상태였다.

방법론
저자들은 이동(shift) 대칭성과 와인딩(winding) 대칭성 사이의 혼합 '트 호프트 아노말리('t Hooft anomaly)를 보존하는, 2D 수정된 빌러 스칼라 모델을 조사한다. 연구 방법론은 다음과 같다:

1. 모델 정의: 본 연구는 실수 스칼라 장 $\phi$, 정수 값의 링크 장 $n$, 그리고 플래킷(plaquette) 상의 컴팩트 스칼라 장 $\theta$에 대한 격자 경로 적분으로 정의되는 2D 수정된 빌러 모델을 활용한다. 결합 계수는 보손 이론이 질량이 없는 디락 페르미온과 쌍대(dual)를 이루는 자기 쌍대 반경 $R = 1/\sqrt{2}$에 고정된다.
2. 연산자 구성: 격자 바일(Weyl) 페르미온 연산자를 정의하기 위해, 저자들은 연속체 콜먼(Coleman) 보손-페르미온 사전을 적응시킨다. 이들은 스칼라 장 $\phi$와 보텍스 결함 연산자 $e^{i\theta}$를 포함하는 합성 연산자를 구성한다. 결정적으로, 격자 게이지 중복성 하에서의 게이지 불변성을 보장하기 위해, 이 연산자들은 격자 사이트로부터 뻗어 나오는 위상적 선(topological lines/rays)에 부착된다.
3. 상관 함수 계산: 저자들은 격자 바일 연산자의 정확한 2점 상관 함수를 계산한다. 이 과정은 2D 격자 그린 함수 $G(x)$를 포함하는 경로 적분 계산으로 귀결된다.
4. 디락 연산자의 재구성: 계산된 2점 상관 함수를 운동량 공간에서 역전시킴으로써, 저자들은 이러한 페르미온 연산자의 역학을 지배하는 유효 격자 디락 연산자($D$)를 재구성한다.
5. 국소성 및 더블러 분석: 재구성된 디락 연산자는 운동량 공간에서의 제로 구조(더블러)와 공간적 감쇠 특성(국소성)을 분석하기 위해 검토된다.

주요 기여 및 결과

• 정확한 상관 함수: 본 논문은 격자 바일 연산자에 대한 정확한 2점 상관 함수 $S_{\pm}(x-y)$를 유도한다. 이 함수들은 올바른 페르미온 통계(반교환성)와 점근적 거동 $S_{\pm}(x) \sim (x_1 \pm i x_2)^{-1}$를 보이며, 이는 질량이 없는 디락 페르민의 상관 함수와 일치한다.
• 더블러가 없는 스펙트럼: 재구성된 격자 디락 연산자는 더블러가 없는 것으로 나타났다. 운동량 공간에서, 역전파자(inverse propagator)는 단 하나의 제로($p=0$, 물리적 페르미온에 해당)를 갖는다. 접촉 항(contact terms, 재규격화)의 선택에 따라 브릴루앙 존 경계(예: $(\pi, 0), (0, \pi), (\pi, \pi)$)에서 추가적인 제로가 나타날 수 있으나, 이들의 총 위상 지표(topological index)는 상쇄되어 추가적인 물리적 질량 없는 모드가 존재하지 않음을 보장한다.
• 디락 연산자의 비국소성: 주요 결과는, 기저가 되는 미시적 보손 모델은 **초국소적(ultra-local)**임에도 불구하고(작용과 대칭성이 인접한 이웃 간의 상호작용만을 포함함), 재구성된 디락 연산자는 **비국소적(non-local)**이라는 점이다. 연산자 커널은 먼 거리에서 $O(1/|x-y|)$로 감쇠한다.
• 다점 함수: 저자들은 격자 바일 연산자가 유한한 격자 간격에서 비제로(non-vanishing) 연결 4점 함수를 가짐을 입증한다. 이는 격자 스케일에서의 비자명한 2체 상호작용을 나타내며, 이는 이론이 자유 질량 없는 디락 페르민으로 흐름에 따라 연속체 극한에서는 무시되는(irrelevant) 성질이다.

의의 및 닐슨-니미츠야 정리 회피
본 논문은 보손화된 모델이 어떻게 닐슨-니미츠야 정리를 회피하는지를 명확히 한다. 해당 정리는 표준적인 카이랄 구조를 가진 국소적이고 번역 불변인 더블러 없는 디락 커널을 금지한다. 수정된 빌러 모델은 번역 불변성을 유지하고 더블러가 없지만, 재구성된 디락 연산자의 국소성을 희생함으로써 정리를 회피한다.

저자들은 비국소성이 유효 디락 연산자에서 발생하는 것이지, 미시적 자유도에서 발생하는 것이 아니라는 점을 강조한다. 즉, 기저가 되는 보손 격자 모델은 여전히 초국소적이다. 따라서 디락 연산자의 비국소성은 모델의 대칭성(예: $U(1)_V$ 및 $U(1)_A$)을 게이지화하는 데 방해가 되지 않는데, 이는 이러한 대칭성들이 국소적인 보손 변수 상에서 직접 게이지화되기 때문이다.

결론
본 연구는 순수하게 보손 변수를 사용하여 더블러 없이 격자 위에서 카이럴 페르민을 구현할 수 있음을 미시적으로 입증하였다. 이러한 구현의 대가는 유효 디락 연산자가 비국소적이라는 점이다. 본 논문은 이러한 비국소성이 더블러 없는 이론에 대한 닐슨-니츠야 정리의 필연적인 결과이지만, 근본적인 보손 작용이 여전히 초국소적이고 잘 정의되어 있기 때문에 이론을 병리적으로 만들지는 않는다고 결론짓는다. 저자들은 이와 유사한 메커니즘이 체른-사이몬스(Chern-Simons) 항을 포함하는 3D 보손화와 같은 고차원 듀얼리티에도 적용될 수 있음을 시사하나, 이는 향로의 연구 과제로 남아 있다.