재규격화군 방정식 (Renormalization Group Equation)

1. 재규격화군의 개념

재규격화 과정에서 재규격화 스케일 $\mu$ 는 임의로 선택한다. 물리적 관측량은 $\mu$ 에 의존하지 않아야 하므로, 이 조건이 결합상수와 장의 에너지 의존성을 결정하는 재규격화군 방정식(renormalization group equation, RGE)을 낳는다.

2. 칼란-시만직 방정식

법칙4.1칼란-시만직 방정식

$n$ -점 연결 그린 함수 $\Gamma^{(n)}(p_i; g, m, \mu)$ 는 다음 칼란-시만직 방정식(Callan-Symanzik equation)을 만족한다:

\left[\mu\frac{\partial}{\partial\mu} + \beta(g)\frac{\partial}{\partial g} + m\gamma_m(g)\frac{\partial}{\partial m} - n\gamma(g)\right]\Gamma^{(n)}(p_i; g, m, \mu) = 0

여기서:

$\beta(g) = \mu\frac{\partial g}{\partial\mu}$ : 베타 함수 (결합상수의 달리기)
$\gamma(g) = \frac{\mu}{2Z}\frac{\partial Z}{\partial\mu}$ : 이상 차원(anomalous dimension, 장의 파동함수 재규격화)
$\gamma_m(g) = \frac{\mu}{m}\frac{\partial m}{\partial\mu}$ : 질량 이상 차원 (질량의 달리기)

이 방정식은 물리적 관측량의 $\mu$ -독립성을 표현한다.

유도칼란-시만직 방정식의 유도

맨(bare) 그린 함수 $\Gamma_0^{(n)}$ 은 맨 매개변수 $g_0, m_0$ 에만 의존하고, $\mu$ 에 의존하지 않는다. 재규격화된 그린 함수와의 관계:

\Gamma^{(n)}(p_i; g, m, \mu) = Z^{n/2}(g, \mu/\Lambda) \, \Gamma_0^{(n)}(p_i; g_0, m_0, \Lambda)

$\Gamma_0^{(n)}$ 이 $\mu$ 에 무관하므로 $\mu\frac{d}{d\mu}\Gamma_0^{(n)} = 0$ 이다. 이를 재규격화된 양으로 표현하면:

0 = \mu\frac{d}{d\mu}\left[Z^{-n/2}\Gamma^{(n)}\right] = Z^{-n/2}\left[\mu\frac{\partial}{\partial\mu} + \beta\frac{\partial}{\partial g} + m\gamma_m\frac{\partial}{\partial m} - n\gamma\right]\Gamma^{(n)}

$Z^{-n/2} \neq 0$ 이므로 대괄호 안이 0이어야 한다. 이것이 칼란-시만직 방정식이다.

■

3. 재규격화군 방정식의 해

유도RGE의 특성 곡선 해법

칼란-시만직 방정식은 특성 곡선(method of characteristics)으로 풀 수 있다. 모든 운동량을 공통 스케일 인자 $s$ 로 스케일링: $p_i \to sp_i$ . 무질량 이론( $m = 0$ )에서:

\Gamma^{(n)}(sp_i; g, \mu) = s^{D_n}\exp\left(-n\int_1^s\frac{dt}{t}\gamma(\bar{g}(t))\right)\Gamma^{(n)}(p_i; \bar{g}(s), \mu)

여기서 $D_n$ 은 $\Gamma^{(n)}$ 의 공학적(나이브) 차원이고, 달리는 결합상수 $\bar{g}(s)$ 는:

s\frac{d\bar{g}}{ds} = \beta(\bar{g}), \qquad \bar{g}(1) = g

의 해이다. 즉, 에너지 스케일을 바꾸면 그린 함수의 변화는 두 가지 효과로 설명된다:

나이브 스케일링: $s^{D_n}$ (차원 분석)
양자 보정: 달리는 결합상수 $\bar{g}(s)$ 와 이상 차원 $\gamma$ 에 의한 수정

■

4. $\overline{\text{MS}}$ 재규격화 방식

정의4.1$\overline{\text{MS}}$ 방식

$\overline{\text{MS}}$ (modified minimal subtraction) 방식은 차원 정규화와 함께 가장 널리 사용되는 재규격화 방식이다. 상쇄항이 순수한 극 항과 동반하는 상수만 제거한다:

\text{MS}: \quad \frac{1}{\epsilon} \text{ 항만 제거}

\overline{\text{MS}}: \quad \frac{1}{\epsilon} - \gamma_E + \ln(4\pi) \text{ 항을 함께 제거}

$\overline{\text{MS}}$ 방식에서 결합상수와 질량은 재규격화 스케일 $\mu$ 에만 의존하는 추상적 매개변수이다. 물리적 관측량을 이 매개변수로 표현하면, $\mu$ -의존성이 상쇄되어 $\mu$ -독립적 결과를 얻는다.

QCD의 $\overline{\text{MS}}$ 달리는 질량:

m(\mu) = m(\mu_0)\left[\frac{\alpha_s(\mu)}{\alpha_s(\mu_0)}\right]^{\gamma_0/(2b_0)}

여기서 $\gamma_0 = 8/(4\pi)^2$ 는 질량 이상 차원의 선도 계수이다.

5. 재규격화군의 물리적 응용

예제딥 비탄성 산란과 스케일링 깨짐

딥 비탄성 산란(Deep Inelastic Scattering, DIS) $e^- + p \to e^- + X$ 에서 구조 함수(structure function) $F_2(x, Q^2)$ 의 $Q^2$ -의존성은 재규격화군에 의해 예측된다.

나이브한 스케일링(비요르켄 스케일링, Bjorken scaling)에서는 $F_2$ 가 $x$ 에만 의존하지만, 양자 보정에 의해 스케일링 깨짐(scaling violation)이 발생한다:

\frac{\partial F_2(x, Q^2)}{\partial \ln Q^2} = \frac{\alpha_s(Q^2)}{2\pi}\int_x^1\frac{dy}{y}P_{qq}\left(\frac{x}{y}\right)F_2(y, Q^2) + \cdots

이것이 DGLAP 방정식(Dokshitzer-Gribov-Lipatov-Altarelli-Parisi equation)이며, 분할 함수(splitting function) $P_{qq}(z) = C_F\frac{1+z^2}{(1-z)_+}$ 는 1-루프에서 계산된다. 실험 데이터와의 정밀한 일치는 QCD와 재규격화군의 강력한 검증이다.

6. 유효 퍼텐셜과 콜먼-와인버그 메커니즘

예제콜먼-와인버그 유효 퍼텐셜

재규격화군을 사용하면 양자 보정이 고전적 퍼텐셜을 어떻게 수정하는지 계산할 수 있다. 무질량 $\phi^4$ 이론에서 콜먼-와인버그 유효 퍼텐셜(Coleman-Weinberg effective potential):

V_{\text{eff}}(\phi) = \frac{\lambda(\mu)}{4!}\phi^4 + \frac{1}{(4\pi)^2}\frac{3\lambda^2}{4}\phi^4\left[\ln\frac{\phi^2}{\mu^2} - \frac{25}{6}\right] + \cdots

재규격화군으로 개선하면:

V_{\text{eff}}(\phi) = \frac{\lambda(\phi)}{4!}\phi^4\exp\left(4\int_\mu^\phi\frac{d\mu'}{\mu'}\gamma(\mu')\right)

여기서 $\lambda(\phi)$ 는 스케일 $\phi$ 에서의 달리는 결합상수이다.

이 결과의 물리적 의미: 고전적으로 $m^2 = 0$ , $\lambda > 0$ 인 이론에서 양자 보정이 라디에이티브 대칭 깨짐(radiative symmetry breaking)을 유발할 수 있다. 유효 퍼텐셜의 최소점이 $\phi = 0$ 에서 $\phi = v \neq 0$ 으로 이동하여, 양자 효과만으로 자발적 대칭 깨짐이 일어난다.

참고재규격화군의 보편성

재규격화군은 양자장론을 넘어 물리학의 다양한 분야에 적용된다:

통계역학: 임계 현상의 보편성 계급(universality classes)
응집물질물리: 콘도 효과, 양자 상전이
유체역학: 난류의 스케일링
수학: 동력학 시스템, 미분방정식의 점근 해석

윌슨의 핵심 통찰: 재규격화군은 스케일 간의 물리를 연결하는 일반적 틀이다. 미시적 자유도를 점진적으로 적분해 나가면서 거시적 행동을 체계적으로 추출하는 방법론이다.