Does QFT make sense in non-integer dimensions?

기술적 요약: "비정수 차원에서 QFT는 유효한가?"

문제 제기
본 논문은 양자장론(QFT)을 정수 차원 $d \in \mathbb{N}$에서 유리수 또는 복소 차원 $d \in \mathbb{C}$로 해석적 연속(analytic continuation)하는 데 따르는 오랜 난제를 다룬다. 차원 조절법(dimensional regularization, dim-reg)은 정수 $d$의 미소 근방에 있는 벡터형 이론들을 성공적으로 처리하지만, 저자들은 여러 개의 서로 다른 정수를 포함하는 복소 평면상의 유한한 열린 집합으로의 엄밀하고 비섭동적인 연속은 저지된다고 주장한다. 핵심적인 문제는 QCD나 QED와 같은 일반적인 이론들이 특정 정수 차원에서 관측량이 질적으로 불연속적인 변화를 겪는 "저계수 예외(low-rank exceptions)" 현상을 보인다는 점이다. 이러한 불연속성은 이론을 설명하는 단일하고 균일한 해석 함수가 존재할 수 없음을 의미한다.

방법론
저자들은 운동학(Lorentz 군의 표현론)과 역학을 분리하여 이 문제에 접근한다.

1. 운동학적 분석: 저자들은 $\overline{\text{Rep}}(O(d))$인 Deligne 범주를 활용하여 유리수 $d$에서의 안정적인 표현(stable representations)을 정의한다. 이들은 "진정한 텐서(true tensors)"(안정적인 표현들의 순차적 구조)는 유일한 해석적 연속을 갖는 반면, "의사 텐서(pseudo-tensors)" 및 스피너(pinors)를 포함하는 표현들은 그렇지 않음을 입증한다. 구체적으로, 감마 행렬의 트레이스 $\text{tr}[\gamma_{\mu_1 \dots \mu_n}]$는 일반적인 큰 $d$에서는 0이 되지만, 특정 저계수 예외(예: $d=3$에서만 $\text{tr}[\gamma_{\mu\nu\rho}] \neq 0$)에서는 0이 되지 않는다.
2. 섭동 계산: 이러한 저해 요인을 설명하기 위해, 저자들은 대규모 $N_f$ 극한에서의 벡터형 질량 없는 QCD(및 QED)를 대상으로 명시적인 계산을 수행한다. 이들은 $1/N_f$ 차수의 주위에서 연산자 $\psi$와 스칼라 쌍선형 $\bar{\psi}\psi$의 스케일링 차원($\Delta$)을 계산한다.
3. 분기 구조 분석: 저자들은 상관 함수와 스케일링 차원을 계산할 때, 정수 $d$에서 직접 계산된 "정직한(honest)" 결과(엄밀한 감마 행렬 트레이스를 사용한 결과)와 안정적 극한을 가정하여 도출된 "해석적(analytic)" 결과(홀수 차수 트레이스를 0으로 설정한 결과)를 비교함으로써 분기 구조를 분석한다.

주요 기여 및 결과

• 균일한 해석성에 대한 저해: 본 논문은 일반적인 연산자, 특히 패리티 홀(parity-odd) 스칼라와 같은 경우 $\Delta(d)$가 $d$에 대한 단일한 해석 함수가 아님을 입립한다. 즉, 이론은 연산자들이 서로 동형(isomorphic)이 되는 "저계수 예외" 지점을 가질 수 있으며(예: 랭크-3 반대칭 텐서가 $d=3$에서 스칼라가 됨), 이는 $d$에 따른 불연속적인 레벨 교차(level crossing)와 연산자 혼합(operator mixing)을 초래한다.
• 분기 구조(The Branched Structure): 저자들은 QFT 데이터의 해석적 연속이 복소 평면 $\mathbb{C}$ 위가 아니라, 그 위의 무한 덮개(infinite cover) 위에 존재한다고 제안한다.
  • 연산자 $\bar{\psi}\psi$의 경우, 특정 정수 차원에서 $\bar{\psi}\psi$와 동형이 되는 연산자들 $\mathcal{O}_i$들에 대응하는 무한한 해석적 분기(analytic branches) $\hat{\Delta}(\mathcal{O}_i)$가 존재한다 (예: $d=3$에서의 $\bar{\psi}\gamma_{\mu\nu\rho}\psi$, $d=5$에서의 $\bar{\psi}\gamma_{\mu\nu\rho\sigma\tau}\psi$).
  • 각 분기 $\hat{\Delta}$는 $d$에 대해 해석적이며, 특정 정수 $d$의 근방에서만 올바른 물리적 스케일링 차원을 갖는다. 모든 정수에 대해 올바른 단일 분기는 존재하지 않는다.
  • 이러한 구조는 "안정적 극한"(홀수 트레이스를 무시함)이 작은 $d$에서 실패하는 반면, "정직한" 계산은 불연속적인 함수를 생성하기 때문에 발생한다.
• QCD/QED에서의 명시적 계산:
  • 윌슨 라인(Wilson Lines): 윌슨 루프의 기댓값은 안정적인 텐서 구조에 의존하므로 잘 정의된 해석적 연속을 갖는 것으로 나타났다.
  • 페르미온 스케일링 차원: $\psi$의 스케일링 차원은 (주 차수에서) $d$에 대해 해석적인 것으로 밝혀졌다. 이는 $\psi$가 복합 스칼라와 같은 동일한 저계수 혼합 문제를 겪지 않기 때문이다.
  • 스칼라 쌍선형 $\bar{\psi}\psi$: $\Delta(\bar{\psi}\psi)$의 계산은 $\text{tr}[\gamma_{\mu\nu\rho}]\text{tr}[\gamma^{\mu\nu\rho}]$에 비례하는 항을 드러낸다. 이 항은 안정적 극한에서 모든 $d \neq 3$에 대해 0이지만, $d=3$에서는 0이 아니다. 결과적으로, 나이브한 해석적 연속은 $d=3$에서 잘못된 답을 준다. 올바른 값은 $d=3$에서의 동형 파트너인 $\bar{\psi}\gamma_{\mu\nu\rho}\psi$에 해당하는 분기로 전환함으로써만 회복된다.
• Gross–Neveu–Yukawa 모델: 저자들은 이러한 발견을 QED-Gross–Neveu–Yukawa 모델로 확장하여, 스칼라 상호작용의 추가가 분기 구조를 제거하지 못하며 저계수 저해 요소가 지속됨을 보여준다.

의의 및 주장
본 논문은 QFT를 $d$와 $N$이라는 연속적인 파라미터로 연결된 매끄러운 가족으로 보는 직관이 $1/d$에서의 이러한 이산적이고 비섭동적인 효과로 인해 근본적으로 결함이 있다고 주장한다.

• 차원 조절법에 대하여: 저자들은 표준적인 't Hooft-Veltman 처방(홀수 트레이스를 0으로 설정하는 방식)이 특정 정수 $d$(예: $d=4$)의 미소 근방에서만 유효하다고 시사한다. 이는 다른 정수(예: $d=3$)에서의 결과를 올바르게 재현하는 전역적 해석적 연속을 제공하지 못한다.
• 유일성에 대하여: 저자들은 만약 $d \to \infty$에서 "양호한 거동(nice behavior)"을 부과한다면 유일한 해석적 연속이 가능하다고 주장한다. 그러나 고정된 $N_f$에 대해 $d$가 충분히 커지면 대규모 $N_f$ 전개가 붕괴하므로, 연속의 유일성은 섭동적으로 확립될 수 없다.
• 카이랄 이론에 대하여: 저자들은 $\gamma_*$를 포함하는 카이랄 이론들이 더욱 심각한 저해 요소에 직면해 있으며, $\gamma_*$를 포함하는 트레이스로 인해 짝수 차원에서도 불연속성이 예상된다고 언급한다.
• 결론: 저자들은 의미 있는 연속이 존재하기는 하지만, 이는 특정 정수 차원에 적응된 올바른 해석적 분기를 선택해야 하는 분기 구조를 탐색하는 과정이 필요하다고 결론짓는다. 모든 $d \in \mathbb{N}$에 대해 해석적이면서 동시에 모든 $d$에서 올바른 단일 공식은 존재하지 않는다. 이는 서로 다른 정수 차원 간의 듀얼리티(예: $d=3$과 $d=4$ 사이의 Seiberg 유사 듀얼리티)를 연결하는 도구로서 해석적 연속을 사용하는 것이 이러한 구조적 불연속성 때문에 어렵다는 점을 시사한다.