Exploring thermal order in conformal theories with multiple scalars coupled to an $O(N)$ vector field

기술 요약: 다수의 스칼라가 O(N) 벡터 장에 결합된 공형 이론에서의 열적 질서 탐구

문제 정의
본 논문은 모든 비제로(nonzero) 온도에서 자발적 대칭성 깨짐(SSB)이 지속되는 현상인 "열적 질서(thermal order)"를 공형 이론(CFT)에서 조사한다. 표준적인 직관은 고온에서 열적 요동이 대칭성을 회복시킨다고 제안하지만, 이전 연구들은 분수 차원 및 대규모-$N$ 극한에서 이산 대칭성이 깨진 상태로 유지되는 특정 CFT들을 확인한 바 있다. 본 연구의 핵심 질문은 여러 개의 스칼라가 하나의 $O(N)$ 벡터 장에 결합된 경우, 국소적인 유한한-$N$ 차원의 정수 차원(특히 $d=3$)에서도 이러한 열적 질서가 존재하는가 하는 점이다. 저자들은 단일 스칼라가 $O(N)$ 벡터 장에 결합되어 $Z_2$ 대칭성이 열적으로 깨지는 기존의 결과를 더 큰 이산 대칭성 군 $Z_2^M \rtimes S_M$을 가진 $M$개의 스칼라 모델로 확장하고자 한다.

방법론
저자들은 이 문제를 해결하기 위해 두 가지 별개의 이론적 접근 방식을 채택한다:

1. $d = 4 - \epsilon$ 근처에서의 $\epsilon$-전개:

   • $N$개의 벡터 장($\phi_i$)과 $M$개의 스칼라($\psi_j$)를 포함하는 $O(N) \times (Z_2^M \rtimes S_M)$ 대칭 모델을 분석한다.
   • 상호작용 퍼텐셜은 대칭성을 준수하는 4차 결합 항($f, g, h, \zeta$)을 포함한다.
   • 윌슨-피셔(Wilson-Fisher) 유사 고정점을 식별하기 위해 1-루프 베타 함수를 계산한다.
   • 이 고정점들에서 열적 질량(thermal masses)을 계산하여, $T > 0$에서 유효 퍼텐셜이 비제로 최솟값을 갖는지(즉, SSB가 발생하는지) 결정한다.
   • $d=3$에서 이러한 고정점들의 생존 여부를 조사하기 위해, 미분 전개를 포함한 국소 퍼텐셜 근사(LPA') 내의 기능적 재규격화 군(FRG)을 활용하여 작은 $\epsilon$에서 $\epsilon = 1$까지 고정점을 수치적으로 연속화한다.

2. $d=3$에서의 대규모-$N$ 분석:

   • $N$은 크지만 유한하고 $M \ll N$인 $d=3$에서 직접 작업한다.
   • 허바드-스트라토노비치(Hubbard-Stratonovich) 형식론을 사용하여 $O(N)$ 벡터 상호작용을 디커플링하는 보조 장 $\sigma$를 도입한다.
   • $1/N$ 전개의 가장 낮은 비자명 차수에서 결합 상수 $t_i$(스칼라와 $\sigma$ 사이의 결합)와 6차 결합 $\kappa_{ijk}$(스칼라 간의 상호작용)에 대한 RG 흐름을 도출한다.
   • 두 종류의 스칼라($C_+$와 $C_-$) 사이의 교차 결합으로 매개되는 공형 다양체(conformal manifold)를 식별한다.
   • 각 클래스 내에서 강화된 치환 대칭성을 갖는 부분 공간으로 분석을 제한하고, $O(N)$ 장을 적분하여 열적 유효 작용량을 계산한다.
   • 이 작용량의 사델 포인트(saddle point)를 분석하여 전역 최솟값과 그에 따른 대칭성 깨짐 패턴을 결정한다.

주요 결과

• $d = 4 - \epsilon$에서:

  • 임의의 $M$에 대하여, $O(N) \times (Z_2^M \rtimes S_M)$ 대칭을 갖는 두 개의 실수 윌슨-피셔 유사 고정점이 존재하는 $N$ 값의 "공형 창(conformal window)"이 존재한다. 이 창 밖에서는 고정점들이 복소수(비유니타리)가 된다.
  • $M=2$의 경우: $17 < N < N_u \approx 21.86$의 창 안에서, 이산 대칭성 $Z_2^2 \rtimes S_2$는 두 고정점 모두에서 모든 비제로 온도에서 자발적으로 깨진다. 깨짐의 패턴은 두 고정점 사이에서 서로 다르다(하나의 고정점은 치환 대칭성을 보존하고, 다른 하나는 이를 깬다).
  • $M > 2$의 경우: 공형 창 내의 모든 고정점에서 $Z_2^M \rtimes S_M$ 대칭은 비제로 온도에서 깨지지 않은 상태로 유지된다. 그러나 특정 $N$ 범위(예: $N \le 9$)와 충분히 큰 $M$에 대해서는 $O(N)$ 섹터에서 열적 질서가 나타나는데($O(N)$ 대칭을 깨뜨림), 이는 $d=3$에서 메르민-와그너-콜먼-호헨베르크(Mermin-Wagner-Coleman-Hohenberg) 정리에 의해 금지된 현상이다.
  • $d=3$으로의 FRG 연속화: FRG 분석은 $d=4$ 근처에서 발견된 두 고정점이 $\epsilon_c \approx 0.06$ ($N=18$의 경우)에 도달하기 훨씬 전에 충돌하여 복소 평면으로 이동함을 시사한다. 이는 이 특정 고정점들이 3차원에서 유니타리 CFT로서 생존하지 못함을 의미한다.

• $d=3$ (대규모-$N$)에서:

  • RG 흐름은 $1/N$의 주 차수에서 공형 다양체를 드러낸다. 스칼라들은 두 클래스, 즉 $C_+$ ($t_i = +1$로 결합)와 $C_-$ ($t_i = -1$로 결합)로 나뉜다.
  • 이 다양체는 $C_+$와 $C_-$ 사이의 6차 교차 결합에 의해 매개된다.
  • $O(N) \times (Z_2^{M_+} \rtimes S_{M_+}) \times (Z_2^{M_-} \rtimes S_{M_-})$ 대칭을 갖는 부분 공간으로 제한함으로써, 6차 퍼텐셜이 아래로부터 유계(bounded from below)인 결합 영역을 식별한다.
  • 열적 질서: 이 특정 영역에서, 최소 열적 유효 작용량에 해당하는 사델 포인트는 $M$개의 모든 스칼라가 비제로 기댓값을 갖는 구성에 대응한다.
  • 대칭성 깨짐: 결과적으로, 이산 대칭성 $Z_2^{M_+} \times Z_2^{M_-}$는 모든 비제로 온도에서 치환 군 $S_{M_+} \times S_{M_-}$로 자발적으로 깨진다. $O(N)$ 대칭은 깨지지 않은 상태로 유지된다.

의의 및 주장
본 논문은 3차원에서 열적 질서(지속적인 대칭성 깨짐)를 보이는 새로운 부류의 대규모-$N$ CFT를 제공한다고 주장한다. 구체적으로:

• $M \ge 2$인 경우, 더 큰 이산 대칭성 군(부호 반전 및 치환을 포함하는)이 모든 $T > 0$에서 자발적으로 깨질 수 있는 모델을 구성할 수 있음을 입증한다. 이는 기존의 $M=1$에 국한된 결과들을 확장한 것이다.
• 열적 질서가 자유도가 적은 섹터($M$ 스칼라)에서 발생하면서도, 자유도가 많은 섹터($O(N)$ 벡터)는 무질서한 상태로 남는 메커니즘을 강조하며, 이는 지속적인 깨짐을 위한 엔트로피적 논거를 충족한다.
• 저자들은 FRG 결과에 대해 겸허한 태도를 취하며, 고정점들이 복소 평면으로 충돌하는 현상이 $d=4-\epsilon$의 특정 고정점들이 3차원에서 생존하지 못함을 시사한다는 점을 언급한다. 또한, 대규모-$N$ 공형 다양체는 아마도 하위 차수의 $1/N$ 보정들에 의해 고립된 고정점으로 격상될 것으로 예상되는, 주 차수 전개의 결과물일 수 있다고 밝힌다.
• 본 연구는 유한한-$N$ $d=3$ CFT에서 열적 질서에 대한 결정적이고 비섭동적인 증명을 제시했다고 주장하는 것이 아니라, 대규모-$N$ 극한 내에서 강력한 증거를 제공하고 그러한 거동이 예측되는 특정 제약 조건과 영역을 식별하는 데 목적이 있다.