개념완성

정규화 (Regularization)

1. 정규화의 개념

정의2.1정규화

정규화(regularization)란 발산하는 적분을 수학적으로 잘 정의된(유한한) 표현으로 바꾸는 절차이다. 정규화 매개변수를 도입하여 발산을 "제어"하고, 재규격화 절차를 통해 물리적 결과를 추출한 후, 정규화를 제거(매개변수를 원래 극한으로 보냄)한다.

정규화의 핵심 요구사항:

  • 대칭을 가능한 한 보존해야 한다 (특히 게이지 대칭)
  • 발산 부분과 유한 부분을 체계적으로 분리할 수 있어야 한다
  • 정규화를 제거한 후 물리적 결과가 정규화 방법에 의존하지 않아야 한다

2. 차원 정규화

정의2.2차원 정규화

차원 정규화(dimensional regularization, dimreg)는 't Hooft와 Veltman(1972)이 도입한 방법으로, 시공간 차원을 d=4d = 4에서 d=42ϵd = 4 - 2\epsilon (ϵ>0\epsilon > 0, 작은 값)으로 해석적 연속한다.

dd-차원 루프 적분의 기본 공식:

ddk(2π)d1(k2Δ)n=(1)ni(4π)d/2Γ(nd/2)Γ(n)(1Δ)nd/2\int\frac{d^dk}{(2\pi)^d}\frac{1}{(k^2 - \Delta)^n} = \frac{(-1)^n\,i}{(4\pi)^{d/2}}\frac{\Gamma(n - d/2)}{\Gamma(n)}\left(\frac{1}{\Delta}\right)^{n-d/2}

d=42ϵd = 4 - 2\epsilon에서 n=2n=2인 경우:

ddk(2π)d1(k2Δ)2=i(4π)2[1ϵγE+ln(4π)lnΔ+O(ϵ)]\int\frac{d^dk}{(2\pi)^d}\frac{1}{(k^2 - \Delta)^2} = \frac{i}{(4\pi)^2}\left[\frac{1}{\epsilon} - \gamma_E + \ln(4\pi) - \ln\Delta + \mathcal{O}(\epsilon)\right]

여기서 γE0.5772\gamma_E \approx 0.5772는 오일러-마스케로니 상수이다. 발산은 1/ϵ1/\epsilon 극으로 나타난다.

차원 정규화의 장점:

  • 게이지 대칭을 보존한다 (가장 큰 장점)
  • 로렌츠 불변성을 보존한다
  • 2차, 선형 발산이 자동으로 사라진다 (로그 발산만 1/ϵ1/\epsilon로 나타남)
참고$\gamma^5$와 차원 정규화의 미묘함

d4d \neq 4에서 γ5=iγ0γ1γ2γ3\gamma^5 = i\gamma^0\gamma^1\gamma^2\gamma^3의 정의가 모호해진다. {γ5,γμ}=0\{\gamma^5, \gamma^\mu\} = 0d4d \neq 4에서 일반적으로 성립하지 않기 때문이다. 이 문제는 키랄 이상(chiral anomaly)과 관련되며, 't Hooft-Veltman 처방 등 다양한 해결책이 제안되어 있다.

3. 파울리-빌라스 정규화

정의2.3파울리-빌라스 정규화

파울리-빌라스 정규화(Pauli-Villars regularization)는 무거운 가상 입자(질량 Λ\Lambda)를 도입하여 전파함수를 수정한다:

1k2m21k2m21k2Λ2\frac{1}{k^2 - m^2} \to \frac{1}{k^2 - m^2} - \frac{1}{k^2 - \Lambda^2}

이렇게 하면 kk \to \infty에서 전파함수가 1/k4\sim 1/k^4로 더 빨리 감소하여 적분이 수렴한다. 예를 들어 로그 발산 적분이:

d4kk4d4k(1k2m21k2Λ2)2lnΛ2m2\int^\infty\frac{d^4k}{k^4} \to \int^\infty d^4k\left(\frac{1}{k^2-m^2}-\frac{1}{k^2-\Lambda^2}\right)^2 \propto \ln\frac{\Lambda^2}{m^2}

으로 유한해진다. 최종적으로 Λ\Lambda \to \infty에서 발산을 재규격화로 흡수한다.

파울리-빌라스 정규화는 게이지 불변성을 보존하지만, 비아벨 게이지 이론에서는 사용이 복잡하다. 아벨 게이지 이론(QED)에서 주로 사용된다.

4. 격자 정규화

정의2.4격자 정규화

격자 정규화(lattice regularization)는 연속 시공간을 격자 간격 aa를 가진 이산 격자로 대체한다. 운동량은 브릴루앙 영역 kμπ/a|k_\mu| \leq \pi/a로 제한되어 자연스러운 자외선 컷오프 Λ1/a\Lambda \sim 1/a를 제공한다.

μϕ(x)ϕ(x+aμ^)ϕ(x)a\partial_\mu\phi(x) \to \frac{\phi(x+a\hat{\mu}) - \phi(x)}{a}

격자 위에서의 작용:

Slattice=a4xLlattice(ϕ(x),ϕ(x±aμ^))S_{\text{lattice}} = a^4\sum_x \mathcal{L}_{\text{lattice}}(\phi(x), \phi(x\pm a\hat{\mu}))

장점:

  • 비섭동적(non-perturbative) 계산 가능 (몬테카를로 시뮬레이션)
  • QCD의 강한 결합 영역 연구에 필수적
  • 수학적으로 엄밀하게 정의됨

단점:

  • 연속 로렌츠 대칭을 이산 대칭으로 깨뜨림 (a0a \to 0에서 회복)
  • 키랄 대칭의 정의가 미묘함 (닐슨-니노미야 정리)
  • 계산 비용이 매우 큼

5. QED 1-루프 계산 예시

예제진공 편극의 차원 정규화 계산

QED의 1-루프 진공 편극(광자 자기 에너지):

iΠμν(q)=(1)(ie)2ddk(2π)dTr[γμi(̸ ⁣k+m)k2m2γνi(̸ ⁣k+̸ ⁣q+m)(k+q)2m2]i\Pi_{\mu\nu}(q) = (-1)(-ie)^2\int\frac{d^dk}{(2\pi)^d}\text{Tr}\left[\gamma_\mu\frac{i(\not\!k+m)}{k^2-m^2}\gamma_\nu\frac{i(\not\!k+\not\!q+m)}{(k+q)^2-m^2}\right]

파인만 매개변수를 도입하고, 운동량 이동 kkxqk \to k - xq를 수행한 후:

Πμν(q)=(q2ημνqμqν)Π(q2)\Pi_{\mu\nu}(q) = (q^2\eta_{\mu\nu} - q_\mu q_\nu)\Pi(q^2)Π(q2)=2απ01dxx(1x)[1ϵγE+ln(4π)lnΔ]\Pi(q^2) = -\frac{2\alpha}{\pi}\int_0^1 dx\,x(1-x)\left[\frac{1}{\epsilon} - \gamma_E + \ln(4\pi) - \ln\Delta\right]

여기서 Δ=m2x(1x)q2\Delta = m^2 - x(1-x)q^2이다. 1/ϵ1/\epsilon 극이 자외선 발산에 해당하며, 이를 상쇄항으로 제거하면 재규격화된 진공 편극 함수를 얻는다.

6. 윌슨적 관점: 정규화와 유효장론

참고윌슨의 재규격화 철학

케네스 윌슨(Kenneth Wilson)의 관점에서, 모든 양자장론은 자외선 컷오프 Λ\Lambda를 가진 유효장론(EFT)이다:

  1. 자연에는 근본적 에너지 스케일 Λ\Lambda가 존재한다 (예: 플랑크 스케일 MP1019  GeVM_P \sim 10^{19}\;\text{GeV})
  2. 우리가 관측하는 저에너지 물리는 EΛE \ll \Lambda인 영역이다
  3. 정규화 매개변수는 "제거해야 할 수학적 도구"가 아니라, 이론의 유효 범위를 나타내는 물리적 의미를 가진다

이 관점에서 재규격화는 "발산을 제거하는 트릭"이 아니라, 고에너지와 저에너지 물리를 체계적으로 분리하는 물리적 절차이다. 재규격화 가능한 이론에서 고에너지 물리의 세부사항은 유한개의 매개변수(질량, 결합상수)에 흡수되어 저에너지 관측량에 대한 예측력을 보장한다.