[논문 리뷰] Exploring Non-Invertible Symmetries in Free Theories

Pierluigi Niro, Konstantinos Roumpedakis외 1명|arXiv (Cornell University)|2022. 09. 22.

Molecular spectroscopy and chirality인용 수 9

한 줄 요약

이 논문은 자유 양자장이론에서의 고도수 1의 토폴로지적 결함에 대해 명시적인 라그랑지안 기반 기술을 수립한다. 특히 4차원 맥스웰 이론과 2차원 컴 pact 스칼라 이론에서, 결함을 가로질러 양자역학적 연산자 간의 사상(맵)을 정의함으로써 이를 달성한다. 이는 이러한 결함이 비가역 대칭을 실현할 수 있음을 보여준다. 4차원 맥스웰 이론에서는 F와 ⋆F를 혼합하는 SO(2) 회전이 유리수 결합 상수와 θ-각에서 유효한 비가역적 작용을 윌슨 라인과 't Hooft 라인에 대해 실현한다. 2차원 스칼라 이론에서는 유일하게 네 가지 이산적 맵이 존재하며, 이 중 하나는 T-duality 유사 맵이며, T-duality 결함는 비가역적이며 U(1) 결함들의 합으로 융합된다.

ABSTRACT

Symmetries corresponding to local transformations of the fundamental fields that leave the action invariant give rise to (invertible) topological defects, which obey group-like fusion rules. One can construct more general (codimension-one) topological defects by specifying a map between gauge-invariant operators from one side of the defect and such operators on the other side. In this work, we apply such construction to Maxwell theory in four dimensions and to the free compact scalar theory in two dimensions. In the case of Maxwell theory, we show that a topological defect that mixes the field strength $F$ and its Hodge dual $\star F$ can be at most an $SO(2)$ rotation. For rational values of the bulk coupling and the $θ$-angle we find an explicit defect Lagrangian that realizes values of the $SO(2)$ angle $φ$ such that $\cos φ$ is also rational. We further determine the action of such defects on Wilson and 't Hooft lines and show that they are in general non-invertible. We repeat the analysis for the free compact scalar $ϕ$ in two dimensions. In this case we find only four discrete maps: the trivial one, a $Z_2$ map $dϕ ightarrow -dϕ$, a $\mathcal{T}$-duality-like map $dϕ ightarrow i \star dϕ$, and the product of the last two.

연구 동기 및 목표

• 자유 양자장이론에서 비가역 대칭을 식별하고 분석하기 위한 구성적이고 라그랑지안 기반의 방법을 개발한다.
• 4D 맥스웰 이론과 2D 컴 pact 스칼라 이론과 같은 자유 이론들에서 표준적인 가역 대칭을 초월한 어떤 토폴로지적 결함들이 일관되게 실현될 수 있는지 규명한다.
• 결함이 윌슨 라인과 't Hooft 라인과 같은 선형 연산자에 비가역적으로 작용하는 조건을 명확히 한다.
• 결합 상수와 θ-각의 유리수 값에 대해 명시적인 결함 라그랑지안을 제공함으로써 결함 융합과 작용에 대한 정량적 분석을 가능하게 한다.

제안 방법

• 결함 표면을 가로질러 서로 다른 측면의 게이지 불변 연산자 간의 사상(맵)을 지정하는 결함 라그랑지안을 통해 고도수 1의 토폴로지적 결함를 구성한다.
• 4D 맥스웰 이론에서, SO(2) 회전을 통해 장 강도 F와 그 허드지 쌍 ⋆F를 혼합하는 결함를 정의하며, 이 라그랑지안은 e⁴와 θ/π의 유리수 값에서 명시적으로 실현된다.
• 2D 컴 pact 스칼라 이론에서, dϕ와 ⋆dϕ 간의 허용 가능한 모든 결함 맵을 분류하며, 네 가지 이산 가능성(항등, ℤ₂, T-duality 유사, 그들의 곱)만 존재함을 밝힌다.
• 정수 값의 라그랑주 승수를 갖는 컴 pact 스칼라 장과 경로 적분 기법을 사용하여 결함 융합 규칙를 유도하고 비가역성의 성격을 분석한다.
• 결함가 선형 연산자(윌슨 라인과 't Hooft 라인)에 작용하는 방식이 비가역적일 수 있음을 입증하며, 이는 국소 장에 대한 작용은 여전히 가역적임에도 불구하고 가능하다.
• 결함 라그랑지안을 적용하여 융합 규칙를 계산하며, T-duality 결함가 U(1)ₘ 결함들의 합으로 융합됨을 보여주며, 이는 N ≠ 1일 때 비가역적임을 확인한다.

실험 결과

연구 질문

• RQ1 자유 QFT인 4D 맥스웰 이론과 2D 컴 pact 스칼라 이론에서 라그랑지안 접근법을 통해 일관되게 정의될 수 있는 토폴로지적 결함는 무엇인가?
• RQ2 4D 맥스웰 이론에서 F와 ⋆F를 혼합하는 결함가 윌슨 라인과 't Hooft 라인에 비가역적 작용을 하게 되는 조건는 무엇인가?
• RQ3 2D 컴 pact 스칼라 이론에서 dϕ와 ⋆dϕ 간의 허용 가능한 결함 맵는 무엇이며, 그 중 어떤 것이 비가역 대칭을 실현하는가?
• RQ4 2D 스칼라 이론에서 T-duality 유사 결함가 결함 라그랑지안에서 유도된 명시적 융합 규칙를 통해 비가역적임을 입증할 수 있는가?
• RQ5 결함 라그랑지안 구성은 이중성 또는 고형 대칭의 게이징에 의존하지 않고도 비가역 대칭을 어떻게 실현할 수 있는가?

주요 결과

• 4D 맥스웰 이론에서 F와 ⋆F에 대해 SO(2) 회전을 작용시키는 결함는 토폴로지적이며, 결합 상수와 θ-각의 유리수 값에서 라그랑지안으로 명시적으로 실현 가능하며, 이 때 cosφ 역시 유리수여야 한다.
• 이러한 SO(2) 결함가 윌슨 라인과 't Hooft 라인에 작용하는 방식은 일반적으로 비가역적이며, 국소 장에 대한 작용은 여전히 가역적임에도 불구하고 그렇다.
• 2D 컴 pact 스칼라 이론에서는 네 가지 이산적 결함 맵만 허용되며, 각각 항등, ℤ₂(dϕ → −dϕ), T-duality 유사(dϕ → i⋆dϕ), 그리고 그들의 곱이다.
• T-duality 유사 결함는 비가역적이며, U(1)ₘ 결함들의 합으로 융합되며, 이 융합 규칙는 라그랑지안과 정수 값의 장을 사용하여 명시적으로 도출되었다.
• 유리수 N에 대해 T-duality 결함는 𝒯 × 𝒯 = ∑_{η=0}^{N−1} e^{−2πiη/N ⋅ ∮⋆dϕ}를 만족함을 보여주며, 이는 비가역성의 성격을 확인한다.
• 이 구성은 이중성 또는 고형 대칭의 게이징 없이도 자유 이론에서 비가역 대칭이 명시적인 결함 라그랑지안을 통해 실현될 수 있음을 보여준다.