최소 모형 (Minimal Models)

1. 최소 모형의 정의

최소 모형은 유한 개의 일차장만을 포함하는 2차원 CFT로, 정확히 풀 수 있는(exactly solvable) 이론의 가장 중요한 부류이다.

정의8.1최소 모형

최소 모형(minimal model) $\mathcal{M}(p, p')$ 은 서로소인 두 정수 $p > p' \geq 2$ 에 의해 매개화되는 2차원 등각장론이다. 중심 전하는

c = 1 - \frac{6(p - p')^2}{pp'}

이며, 유한 개의 일차장을 포함한다. 유니터리 최소 모형은 $p = p' + 1$ 인 경우에 해당하며, 이때 중심 전하는

c = 1 - \frac{6}{p'(p'+1)}, \qquad p' = 2, 3, 4, \ldots

이다.

2. 카츠 테이블

최소 모형의 일차장의 등각 무게는 카츠 테이블(Kac table)에 의해 주어진다.

정의8.2카츠 테이블

최소 모형 $\mathcal{M}(p, p')$ 의 일차장의 등각 무게는

h_{r,s} = \frac{(pr - p's)^2 - (p - p')^2}{4pp'}

로 주어지며, 여기서 $1 \leq r \leq p'-1$ , $1 \leq s \leq p-1$ 이다. 동일시 조건 $h_{r,s} = h_{p'-r, p-s}$ 에 의해 독립적인 일차장의 수는

N = \frac{(p-1)(p'-1)}{2}

개이다.

예제$\mathcal{M}(4,3)$: 이징 모형

$p = 4$ , $p' = 3$ 인 최소 모형은 중심 전하 $c = 1/2$ 를 가지며, 2차원 이징 모형의 임계점을 기술한다. 카츠 테이블의 등각 무게는

h_{1,1} = h_{2,3} = 0, \qquad h_{1,2} = h_{2,2} = \frac{1}{16}, \qquad h_{1,3} = h_{2,1} = \frac{1}{2}

따라서 세 개의 독립적인 일차장이 존재한다:

| 장 | $(r, s)$ | $h$ | 물리적 해석 | |----|----------|-----|-----------| | $\mathbb{1}$ | $(1,1)$ | $0$ | 항등 연산자 | | $\sigma$ | $(1,2)$ | $1/16$ | 스핀 연산자 (질서 변수) | | $\epsilon$ | $(1,3)$ | $1/2$ | 에너지 연산자 |

3. 영 벡터와 미분 방정식

최소 모형의 핵심적 성질은 모든 일차장의 베르마 모듈에 영 벡터(null vector)가 존재한다는 것이다. 이 영 벡터는 상관 함수에 대한 미분 방정식을 부과한다.

유도레벨 2 영 벡터로부터의 미분 방정식

일차장 $\phi_{r,s}$ 의 베르마 모듈에서 레벨 2의 영 벡터가 존재하면

\left(L_{-2} - \frac{3}{2(2h+1)} L_{-1}^2\right) |\phi\rangle = 0

이 조건을 $n$ 점 상관 함수 안에 삽입하면, 워드 항등식

L_{-2} \to \sum_{j \neq i}\left(\frac{h_j}{(z_j - z_i)^2} + \frac{1}{z_j - z_i}\partial_{z_j}\right)

을 사용하여 2차 편미분 방정식을 얻는다. 4점 함수의 경우 이는 등각 교차비에 대한 초기하 미분 방정식(hypergeometric differential equation)으로 환원되며, 정확한 해를 구할 수 있다.

예를 들어 이징 모형에서 스핀 연산자 $\sigma$ ( $h = 1/16$ )의 4점 함수는

\langle \sigma(z_1)\sigma(z_2)\sigma(z_3)\sigma(z_4) \rangle = \frac{1}{|z_{13}|^{1/4}|z_{24}|^{1/4}} \left|\frac{1}{2}\left(\sqrt{\frac{1+\sqrt{\eta}}{\sqrt{\eta}}} \pm \sqrt{\frac{1-\sqrt{\eta}}{\sqrt{\eta}}}\right)\right|^2

의 형태로 정확히 결정되며, 여기서 $\eta$ 는 교차비이다.

■

4. 유니터리 최소 모형의 스펙트럼

유니터리 최소 모형 $\mathcal{M}(m+1, m)$ 에서 $m$ 이 증가함에 따라 일차장의 수와 중심 전하가 어떻게 변하는지 살펴보자.

| 모형 | $c$ | 일차장 수 | 물리적 실현 | |------|-----|----------|-----------| | $\mathcal{M}(3,2)$ | $0$ | $1$ | 자명 | | $\mathcal{M}(4,3)$ | $1/2$ | $3$ | 이징 | | $\mathcal{M}(5,4)$ | $7/10$ | $6$ | 삼중 임계 이징 (Tricritical Ising) | | $\mathcal{M}(6,5)$ | $4/5$ | $10$ | 삼상태 포츠 (3-state Potts) | | $\mathcal{M}(7,6)$ | $6/7$ | $15$ | 사중 임계 이징 (Tetracritical Ising) |

$m \to \infty$ 에서 $c \to 1$ 이고 일차장의 수는 무한대로 발산한다.

참고ADE 분류

유니터리 최소 모형의 모듈러 불변 분배 함수는 ADE 분류(ADE classification)를 따른다. $\mathcal{M}(m+1, m)$ 의 모듈러 불변은 단순 거짓말 대수의 ADE 딘킨 도표(Dynkin diagram)와 일대일 대응된다:

$A$ 계열: 대각(diagonal) 모듈러 불변 — 모든 $m$ 에서 존재
$D$ 계열: 짝수 $m$ 에서 존재하는 비대각 불변
$E_6$ , $E_7$ , $E_8$ 예외: $m = 11, 17, 29$ 에서 각각 존재

이 분류는 2차원 CFT와 리 대수 이론 사이의 깊은 연결을 보여준다.

5. 모듈러 불변성

토러스 위의 분배 함수 $Z(\tau, \bar{\tau})$ 는 모듈러 군 $\mathrm{SL}(2, \mathbb{Z})$ 의 변환

T: \tau \to \tau + 1, \qquad S: \tau \to -\frac{1}{\tau}

하에서 불변이어야 한다. 비라소로 지표 $\chi_{r,s}(\tau)$ 에 대해 $S$ -변환은

\chi_{r,s}\!\left(-\frac{1}{\tau}\right) = \sum_{r', s'} S_{(r,s)(r',s')}\, \chi_{r',s'}(\tau)

으로 주어지며, $S$ -행렬의 명시적 형태는

S_{(r,s)(r',s')} = 2\sqrt{\frac{2}{pp'}}(-1)^{1+sr'+s'r}\sin\!\left(\frac{\pi p\, rr'}{p'}\right)\sin\!\left(\frac{\pi p'\, ss'}{p}\right)

이다.

6. 통계역학에서의 응용

예제최소 모형과 임계 현상

최소 모형은 2차원 통계역학 시스템의 임계점에서 나타나는 보편 행동(universal behavior)을 기술한다. 임계 지수(critical exponent)는 일차장의 등각 차원으로부터 직접 계산된다.

이징 모형의 경우, 상관 함수의 임계 지수는:

\langle \sigma(r) \sigma(0) \rangle \sim r^{-2\Delta_\sigma} = r^{-1/4}

이므로 $\eta = 2\Delta_\sigma = 1/4$ 이다. 비열의 임계 지수는

\alpha = 2 - \frac{2}{\nu} = 2 - \frac{d}{y_T}

에서 $d = 2$ , $y_T = 2 - \Delta_\epsilon = 2 - 1 = 1$ 이므로 $\alpha = 0$ (로그 발산)을 얻는다. 이는 온사거(Onsager)의 정확한 해와 일치한다.