[논문 리뷰] Monopoles, Scattering, and Generalized Symmetries

Marieke van Beest, Philip Boyle Smith외 3명|arXiv (Cornell University)|2023. 06. 12.

Quantum Chromodynamics and Particle Interactions인용 수 7

한 줄 요약

이 논문은 't Hooft 선(monopole) 산란에서 분수 스펙트럼 수를 갖는 상태가 나타나는 역설을 해결하기 위해, 복사가 에너지나 전하를 지니지 않지만 파동 함수 공간(Fock space)을 비틀어 주는 위상적 표면(invertible 또는 non-invertible)에 부착되어 있음을 보여준다. 4차원 U(1) 게이지 이론에서 't Hooft 선을 포함할 경우, 일반화된 대칭성에 의해 복사가 비표준적인 양자수를 갖는 꼬임(sector)에 나타나며, 이는 상태들이 비표준 양자수를 지닐 수 있음을 설명한다. 주요 기여는 이러한 행동의 메커니즘으로서 비가역적 표면 연산자(non-invertible surface operators), 예를 들어 $\mathcal{D}_{p/N}$를 특정화한 것으로, 이는 이상 현상과 위상적 순서(topological order)에 영향을 미친다.

ABSTRACT

We reconsider the problem of electrically charged, massless fermions scattering off magnetic monopoles. The interpretation of the outgoing states has long been a puzzle as, in certain circumstances, they necessarily carry fractional quantum numbers. We argue that consistency requires such outgoing particles to be attached to a topological co-dimension 1 surface, which ends on the monopole. This surface cannot participate in a 2-group with the magnetic 1-form symmetry and is often non-invertible. Equivalently, the outgoing radiation lies in a twisted sector and not in the original Fock space. The outgoing radiation therefore not only carries unconventional flavor quantum numbers, but is often trailed by a topological field theory. We exemplify these ideas in the 1+1 dimensional, chiral 3450 model which shares many of the same features. We comment on the effects of gauge field fluctuations on the lowest angular momentum fermion scattering states in the presence of a magnetic monopole. While, to leading order, these zero modes can penetrate into the monopole core, in the full theory some of the zero modes are lifted and develop a small centrifugal barrier. The dynamics of the zero modes is that of a multi-flavor Schwinger model with a space-dependent gauge coupling. Symmetries and anomalies constrain the fate of the pseudo-zero modes.

연구 동기 및 목표

• 입사하는 파aket이 표준적인 양자수를 지닌 반면 산란 후 복사 상태가 비표준 전하를 지닌 것처럼 보이는 't Hooft 선 산란에서 오랫동안 남아있던 분수 양자수의 역설을 해결하기 위해.
• 특히 1형 대칭과 0형 대칭을 포함한 일반화된 대칭성의 역할을 규명하여, 't Hooft 선 산란 과정에서 복사의 구조를 조직화하는 데 기여하기 위해.
• 복사가 일반적인 파동 함수 공간이 아니라 위상적으로 표면 연산자에 연결된 꼬임된 영역에 존재하며, 이 표면 연산자는 에너지나 전하를 지니지 않지만 파동 함수 공간을 비틀어 준다는 것을 보여주기 위해.
• 산란 후 상태에서 나타나는 비표준 양자수의 근본 원인으로서 비가역적 표면 연산자(예: $\mathcal{D}_{p/N}$)의 출현을 규명하기 위해.
• 이 현상이 위상적 장 이론(TQFT)과 특히 홀 상태 TQFT $\mathcal{A}^{N,p}$와 어떻게 연결되며, 그 라그랑지안 표현이 필요한 대칭성 구조를 어떻게 실현하는지 보여주기 위해.

제안 방법

• 't Hooft 선(자기 전하를 지닌 선 연산자)을 중심으로 4차원 U(1) 게이지 이론에서 질량이 없는 페르미온의 산란을 분석한다.
• 위상적 표면이 비표준 양자수를 지닌 꼬임된 파동 함수 공간을 유도할 수 있음을 보여주기 위해, 2차원 자유 페르미온 CFT에서의 3450 모델을 해석 가능한 단순 모형으로 사용한다.
• 핵심 메커니즘은 복사가 차원이 1만큼 낮은 위상적 표면에 부착되어 파동 함수 공간에 꼬임을 유도하는 것으로, 이에 따라 꼬임된 영역에 있는 상태는 정수 양자수를 가져야 할 필요가 없다.
• 표면 연산자는 단지 자기 전하와 물질 구성에 따라 $\mathbb{Z}_N$ 대칭(가역적) 또는 비가역적 $\mathcal{D}_{p/N}$ 연산자로 나타난다.
• $\mathbb{Z}_N$ 1형 대칭의 이상 현상(anomaly structure)을 유도하고, 비가역적으로는 $\mathbb{Z}_2$ 부분군만 이상이 있음을 보이며, 반면 페르티튜브 규칙 하에서는 $\mathbb{Z}_{N/2}$ 는 이상이 없음을 보여준다.
• 특수한 anyon 선(분수 스핀과 브레이딩 위상)에 해당하는 $\mathcal{D}_{p/N}$ 가 어떤지 보여주기 위해, $U(1)^q$ 초전도체 이론에 $K$-행렬과 전하 벡터 $v$ 를 사용하여 홀 상태 TQFT $\mathcal{A}^{N,p}$ 의 명시적 라그랑지안 표현을 구성한다.

실험 결과

연구 질문

• RQ1 입사 상태가 표준 파aket이지만 산란 후 복사 상태가 분수나 비표준 양자수를 지닌 것처럼 보이는 이유는 무엇인가요?
• RQ2 위상적 표면이 복사의 구조를 어떻게 조직화하며, 일반적인 파동 함수 공간 외부의 상태를 어떻게 유도하는가요?
• RQ3 왜 't Hoo프 선 산란에서 일반화된 대칭성—특히 비가역적 표면 연산자—가 나타나며, 그 물리적 의미는 무엇인가요?
• RQ4 위상적 표면가 언제 가역적 또는 비가역적으로 변하는가? 이는 't Hooft 선의 전하와 물질 구성에 따라 어떻게 달라지는가요?
• RQ5 페르미온 수와 전하의 이상 행동이 위상적 결함 존재와 진공의 구조와 어떻게 조화를 이룰 수 있는가요?

주요 결과

• 산란 후 복사 상태는 표준 파동 함수 공간이 아니라, 't Hooft 선에 끝나는 위상적 표면에 의해 유도된 꼬임된 영역에 존재하며, 이는 비표준 양자수의 출현을 설명한다.
• 위상적 표면는 0형 대칭과 관련되며, 3450 모델에서는 이 대칭이 $\mathbb{Z}_5$ 이며, 가역적 대칭으로서 꼬임된 파동 함수 공간의 구조를 유도한다.
• 4차원에서 't Hooft 선 산란의 경우, 복사는 자기 전하와 물질 구성에 따라 $\mathbb{Z}_N$ 가역적 또는 $\mathcal{D}_{p/N}$ 비가역적 표면 연산자에 부착된다.
• $\mathcal{D}_{p/N}$ 연산자는 홀 상태 TQFT $\mathcal{A}^{N,p}$ 에서 유래하는 비가역적 표면 연산자로, $s \in \mathbb{Z}_N$ 으로 표시되는 anyon과 브레이딩 위상 $e^{-2\pi i p s / N}$ 을 갖는다.
• $\mathbb{Z}_N$ 1형 대칭의 이상은 $p/N$ 에 의해 결정되며, 비가역적으로는 오직 $\mathbb{Z}_2$ 부분군만 이상이 있고, 페르티튜브 규칙 하에서는 $\mathbb{Z}_{N/2}$ 는 이상이 없다.
• $\mathcal{A}^{N,p}$ 의 명시적 라그랑지안 표현은 $K$-행렬을 사용하여 구성되었으며, $p/N = 1/N$ 일 때 $K = (N)$ 이고, $p/N = 2/N$ 이고 $n$ 이 홀수일 때 $K = \begin{pmatrix} (n+1)/2 & 1 \\ 1 & 2 \end{pmatrix}$ 이다.