Non-Abelian Thirring model at large $N$

기술적 요약: 대형 $N$에서의 비가환 티링 모델 (Non-Abelian Thirring Model at Large N)

문제 제기
본 논문은 레벨 $k$를 가진 심단순 리 군(semi-simple Lie group) $G$에 대해, 전류의 이선형(bilinear)인 고전적으로 임계한 연산자(classically marginal operator)에 의해 변형된 비가환 보존화된 티링 모델을 조사한다. 주요 목적은 $c_G \gg k$인 영역, 즉 $SU(N)$과 같은 군에 대한 대형$N$극한을 탐구하는 것이다. 여기서$c_G$는 인접 표현(adjoint representation)에서의 군의 이차 카시미르(quadratic Casimir)이다. 이 모델은 유효 작용량과 $\lambda$-변형을 통해 반고전적 영역($c_G/k \ll 1$)에서는 잘 이해되어 있으나, $c_G \gg k$ 극한에서의 거동은 덜 탐구되었다. 페르미온적 비가환 티링 모델에 대한 Dashen과 Frishman의 이전 연구는 $1/c_G$ 차수의 추가적인 임계점의 존재를 시사했다. 반대로, Destri와 de Vega는 그러한 임계점이 없음을 발견했다. 본 연구는 섭동론적 방법을 사용하여 $k/c_G$ (또는 동등하게 $1/N$) 차수의 비자명한 고정점을 탐색함으로써 보존화된 변형 모델에 대한 이 불일치를 해결하고자 한다.

방법론
저자들은 Wess-Zumino-Witten (WZW) 고정점($\lambda=0$) 주변에서 **공형 섭동 이론(conformal perturbation theory)**을 적용한다. $c_G/k \ll 1$ 영역에 적합한 유효 작용량은 여기에서 적용할 수 없으므로, 본 연구는 전적으로 도식적 전개(diagrammatic expansions)에 의존한다.

1. 't Hooft 극한: 저자들은 유효 't Hooft 결합 상수 $\tilde{\lambda} = \frac{c_G}{k}\lambda$를 정의한다. 이들은 $c_G \to \infty$ 및 $k \to \infty$일 때 $\tilde{\lambda}$를 고정하면서 $\tilde{\lambda}$에 대한 섭동 전개를 수행한다. 이 극한에서는 $c_G/k$의 주위 차수들만이 유지된다.
2. 상관 함수(Correlation Functions): 연구는 다음의 상관 함수들을 계산한다:
   • 구동 복합 연산자(driving composite operator) $O(z, \bar{z}) = J^a(z)\bar{J}^a(\bar{z})$.
   • 전류 연산자 $J^a(z)$ 및 $\bar{J}^a(\bar{z})$.
     계산은 3-루프(cubic order in $\lambda$)까지 수행된다.
3. 정규화 및 적분: 계산에는 UV 컷오프 $\epsilon$와 IR 컷오프 $R$을 포함하는 특정 정규화 스킴이 사용된다. 저자들은 다중 루프 도식(multi-loop diagrams)을 평가하기 위해 그린 정리(Green's theorem)와 스토크스 정리(Stokes' theorem)로부터 유도된 복소 적분 도구를 활용한다. 리 대수의 구조 상수(structure constants)는 인접 표현에서의 트레이스 항등식을 사용하여 수축된다.
4. 재규격화(Renormalization): 상관 함수의 발산 부분(특히 $\ln(\epsilon^2/|z_{12}|^2)$를 포함하는 로그 항)으로부터 재규격화 상수($Z$-factor)를 추출한다. 이들은 이상 차원(anomalous dimensions)과 $\beta$-함수를 결정하는 데 사용된다.

주요 기여 및 결과

• 복합 연산자 상관 함수 ($OO$):
  저자들은 $OO$상관 함수를 3-루프까지 계산한다.$c_G/k$전개의 주된 기여는$\tilde{\lambda}$에 대한 급수를 생성한다:
  $$\langle O(z_1)O(z_2) \rangle \propto \frac{1}{|z_{12}|^4} \left( 1 - 2\tilde{\lambda} \ln \frac{\epsilon^2}{|z_{12}|^2} + \frac{5}{2}\tilde{\lambda}^2 \ln^2 \frac{\epsilon^2}{|z_{12}|^2} - \frac{5}{2}\tilde{\lambda}^3 \ln^3 \frac{\epsilon^2}{|z_{12}|^2} \right)$$
  이를 통해 복합 연산자의 이상 차원은 cubic order까지 선형적으로 정확하게 구해진다: $\gamma_O = -2\tilde{\lambda} + O(\tilde{\lambda}^4)$.

• 전류 상관 함수 ($JJ$및$J\bar{J}$):
  $JJ$및$J\bar{J}$ 상관 함수에 대한 3-루프 보정을 계산한다.

  • $JJ$ 상관 함수의 경우, 전류 연산자의 이상 차원은 다음과 같이 구해진다:
    $$\gamma_J = \frac{k}{c_G} (\tilde{\lambda}^2 + \tilde{\lambda}^3 + O(\tilde{\lambda}^4))$$
    엄격한 't Hooft 극한($c_G \to \infty$)에서, 주위 차수의 이상 차원은 소멸한다.
  • $J\bar{J}$ 상관 함수의 경우, 결합 상수의 재규격화를 추출하기 위해 접촉 항(contact terms)을 분석한다.

• $\beta$-함수 및 고정점:
  전류 및 복합 연산자 데이터로부터 유도된 재규격화 군 방정식(renormalization group equations)을 사용하여, 't Hooft 결합 상수 $\tilde{\lambda}$에 대한 $\beta$-함수를 결정한다.

  • 결과는 quartic order까지 이차적으로 정확하다:
    $$\beta_{\tilde{\lambda}} = -\frac{\tilde{\lambda}^2}{2} + O(\tilde{\lambda}^5)$$
  • 저자들은 계산된 섭동 영역(quartic order in $\tilde{\lambda}$까지) 내에서 추가적인 임계점($k/c_G$ 또는 $1/N$ 차수)이 존재하지 않음을 명시적으로 밝힌다. 유일한 고정점은 $\tilde{\lambda} = 0$에서의 UV 고정점이다.

의의 및 주장
본 논문은 자신의 결과가 추가적인 고정점이 없음을 발견한 페르미온적 비가환 티링 모델에 대한 Destri와 de Vega의 결과와 일치한다고 주장한다. 이는 $1/c_G$ 차수의 추가적인 고정점이 존재한다는 Dashen과 Frishman의 주장과 직접적으로 상충된다.

저자들은 $\lambda = \pm 1$인 지점들이 (유효 작용량이 유효한) 반고전적 극한($c_G/k \ll 1$)의 산물이라고 주장한다. 대형 $N$ ($c_G \gg k$) 영역에서 이 지점들은 재규격화 군 흐름의 비자명한 고정점을 나타내지 않는다. 본 연구는 $\beta$-함수가 단순한 이차 형식으로 축퇴됨을 시사하며, 이는 중간 임계점의 존재를 가설로 했던 이전의 가설보다 더 단순한 RG 흐름 구조를 의미한다.

향후 연구 방향
본 논문은 $c_G \gg 1$ 극한에서 $\beta$-함수와 이상 차원의 완전한 축퇴를 증명하기 위해 결과를 확장할 것을 제안한다. 또한, 대형 $N$에서의 연산자 곱 전개(Operator Product Expansion, OPE)와 기저 대칭 대수(underlying symmetry algebra)를 추론하기 위해 3-점 함수를 계산하고, 좌우 레벨이 다른($k_L \neq k_R$) 모델을 조사할 것을 제안한다.