Towers of Operators in CFTs and Convexity Bounds at Large Charge

기술 요약: CFT에서의 연산자 타워와 대전하에서의 볼록성 경계

문제 정의
본 논문은 거대한 전역 전하(global charge)를 갖는 컨포멀 필드 이론(CFT) 내 연산자의 스케일링 차원(scaling dimensions)을 조사한다. 특히, 연속적인 전역 대칭성이 자발적으로 깨지는 모듈라이 공간을 가진 3차원 CFT에 초점을 맞춘다. 이러한 이론에서, 전하 $Q$ 섹터에서의 최소 스케일링 차원 $\Delta_{\min}(Q)$는 다음과 같은 대전하 전개(large-charge expansion)를 따른다:
$$\Delta_{\min}(Q) = \alpha_1 Q + \alpha_0 + O(1/Q)$$
저자들은 $\alpha_1$과 $\alpha_0$ 계수가 홀로그래픽 스웜랜드랜드 프로그램, 특히 약한 중력 가설(Weak Gravity Conjecture, WGC)에서 유도된 보편적 경계의 대상인지 규명하고자 한다. WGC는 전하를 띤 연산자에 대해 "볼록성(convexity)" 조건을 제안하지만, 일반적인 CFT(특히 4개 미만의 초대칭 전하를 가진 경우)에서 부차적 계수인 $\alpha_0$와 주된 기울기 $\alpha_1$에 대한 정밀한 제약 조건은 아직 엄밀하게 확립되지 않았다.

방법론
본 논문은 두 가지 주요 방법론적 접근 방식을 채택한다:

1. 모듈라이 공간 유효장론(EFT) 및 대전하 전개: 저자들은 상태-연산자 대응(state-operator correspondence)을 활용하여 문제를 원통 기하 구조($\mathbb{R} \times S^2$)로 매핑한다. 이들은 거대한 전하 상태를 나타내는 균질한 헬리컬 세디스 포인트(helical saddle point) 주변으로 전개한다. 주된 계수 $\alpha_1$은 고전적 세디스 에너지로부터 유도되며, $\alpha_0$는 이 세디스 주변의 이차 변동(quadratic fluctuations)에 의한 1-루프 카시미르 에너지(Casimir energy)로부터 발생한다.
2. 이중 스케일링 극한에서의 명시적 계산: 일반적인 경계를 테스트하고 특정 값을 계산하기 위해, 저자들은 다음을 사용하여 여러 3차원 $\mathcal{N}=1$ 이론을 분석한다:
   • $d=4$ 차원 근처에서의 $\epsilon$-전개(epsilon-expansion).
   • 대규모 $N_f$ 및 대규모 $N$ 극한.
   • 구체적인 모델로는 $SO(N) \times SO(N)$, $SO(3)$ Wess-Zumino 모델, $SQED$, 그리고$SU(2)$ $SQCD$가 포함된다.
3. 변분 증명(Variational Proofs): 경계에 대한 일반적인 증명을 위해, 저자들은 EFT의 이차 변동 해밀토니안을 분석한다. 이들은 참된 바닥 상태 에너지와 참조 해밀토니안을 비교하기 위해 변분 원리를 활용하여 카시미르 에너지 기여의 부호를 확립한다.

주요 기여 및 결과

1. $\alpha_1$ 및 $\alpha_0$의 계산
저자들은 ($\epsilon$-전개에만 의존하는 대신) 여러 3차원 $\mathcal{N}=1$ 이론에서 부차적 계수인 $\alpha_0$를 직접 계산한 첫 사례를 제공한다.

• $SO(N) \times SO(N)$ 모델: 대규모 $N$ 극한에서, $\alpha_1 = \sqrt{(Q_x^2 + Q_y^2)/2}$이며, $\alpha_0$는 정규화된 결정 함수(determinant function) $\xi(x)$로 표현되는데, 이는 비양수(non-positive)임이 밝혀졌다.
• **$SO(3)$모델:**$\alpha_1 = 1 - \epsilon/2$이고$\alpha_0 = -1/16$ 이다.
• **$SQED$(대규모$N_f$):** 주된 차수 결과는$\alpha_0 = 0$을 나타내며, 이는 카시미르 에너지가 소멸하는 자유 이론의 극한과 일치한다.
• **$SU(2)$ $SQCD$:** 저자들은 윌슨 계수$c$에 관한 스칼라 및 페르미온 기여를$\alpha_0$에 대해 계산한다. 이들은 대규모$N_f$극한($c \approx 1$)에서 페르미온 기여가 소멸하고 스칼라 기여는 음수($\alpha_0 \approx -0.556$)임을 발견했다.

2. 투영된 볼록성 경계(Projected Convexity Bound, $\alpha_0 \leq 0$)의 증명
$\Delta_{\min}(Q_1 + Q_2) \geq \Delta_{\min}(Q_1) + \Delta_{\min}(Q_2)$를 요구하는 CFT 볼록성 추측(CCC)에 의해 동기 부여된 것으로, 이는 $\alpha_0 \leq 0$을 함의한다.

• 투영된 관측량(Projected Observable): 저자들은 특정 카탄 생성자(Cartan generator) $T_n$을 따르는 전하만을 고정하고, 직교하는 방향의 전하들은 최소화하는 "투영된" 최소 차원 $\Delta^{(n)}_{\min}(Q)$를 정의한다.
• 주요 정리: 저자들은 이 투영된 관측량에 대해 1-루프 계수가 $\alpha^{(n)}_0 \leq 0$을 만족함을 증명한다.
  • 이 증명은 투영된 차원을 최소화하는 세디스에 대해 횡방향 변동(transverse fluctuations)의 질량 행렬 $M$이 양의 준정부호($M \geq 0$)임을 보이는 것에 기초한다.
  • 변분 논증을 사용하여, $M \geq 0$인 경우 스칼라 기여가 비양수임을 입증한다. 페르미온 및 게이지 장으로부터 오는 알려진 비양수 기여와 결합하여, 이는 경계를 확립한다.
• 한계: 저자들은 이 증명이 "고정된 전하 광선(fixed-charge-ray)" 문제(전체 전하 벡터가 고정되는 경우)에는 확장되지 않음을 명시적으로 보여준다. 이들은 고정된 전하 광선이 $\alpha_0 > 0$을 갖는 2-미분 EFT 반례를 구성함으로써, 모듈라이 공간 EFT만으로는 더 강력한 볼록성 진술을 증명할 수 없음을 보여준다.

3. $\alpha_1$에 대한 보편적 경계의 부재
본 논문은 (사소한 $\alpha_1 \geq 0$ 외에는) $\alpha_1$에 대한 보편적 경계가 존재하지 않는다고 주장한다.

• 전하 정규화에 대한 민감도: $\alpha_1$은 전하 격자(charge lattice)의 선택과 $U(1)$ 생성자의 정규화에 매우 민감한 것으로 나타났다.
• 반례:
  • 유한 부분군 $\mathbb{Z}_N \subset U(1)$를 게이지화하면 $\alpha_1$을 $N$배만큼 임의로 증가시킬 수 있다.
  • 다중 $U(1)$ 격자(예: $Q = aQ_x + bQ_y$에서 큰 $a, b$)에서 원시 방향(primitive direction)을 선택하면 $\alpha_1$을 임의로 감소시킬 수 있다.
• 정규화된 기울기: 저자들은 정규화 문제를 완화하기 위해 $\hat{\alpha}_1 = \alpha_1 \sqrt{C_J/C_T}$ (전류 및 스트레스 텐서 2점 함수 포함)라는 정규화된 기울기를 고려한다. 이러한 정규화가 이산적 격자 효과를 제거함에도 불구하고, 저자들은 $\hat{\alpha}_1$에 대한 보편적 상한에 대한 증거를 찾지 못했으며, 이 정규화가 직접적인 기하학적 스케일 분리 해석을 모호하게 만든다고 언급했다.

의의
본 논문은 홀로그래픽 스웜랜드 프로그램에서 유도된 구체적이고 증명 가능한 CFT 경계를 제공한다고 주장한다. 구체적으로, 3차원 모듈라이 공간을 가진 CFT의 대전하 타워의 투영된 스케일링 차원은 $\alpha_0 \leq 0$을 만족해야 함을 확립한다. 이 결과는 홀로그래픽 이중성 가정에 의존하지 않고 CFT 도구(대전하 EFT 및 변분법)를 직접 사용하여 도출되었다는 점에서 중요하다.

그러나 저자들은 이 결과의 범위를 겸허하게 설정한다. 이 경계는 모든 고정 전하 광선이 아니라 투영된 관측량에 적용되며, 더 강력한 고정 광선 볼록성 추측은 일반적인 EFT에서 증명되지 않았거나 잠재적으로 거짓일 수 있음을 강조한다. 또한, 본 논문은 $\alpha_1$이 이산적 전하 격자 선택에 의존하기 때문에 스웜랜드 의미에서의 스케일 분리에 대한 견고한 진단 도구가 아님을 명확히 한다. 이 연구는 현재의 EFT 방법론을 사용하여 대전하 타워에 대해 무엇을 증명할 수 있는지에 대한 정확한 한계를 획정한다.