Notes on LSZ, i epsilon Prescriptions and Perturbation Theory, in QFT and Cosmology

논문 개요

이 논문은 평탄한 시공간 (Flat Space) 의 S-행렬과 우주론적 배경에서의 상관 함수 (Correlation Function) 를 계산할 때 사용되는 섭동론 (Perturbation Theory) 의 기초를 재검토합니다. 저자는 기존 교과서나 문헌에서 흔히 가정하는 **'아스임프토트 (asymptotic) 시간에서 상호작용이 점진적으로 꺼진다 (adiabatically turned off)'**는 비물리적 가정이나, 단위성 (Unitarity) 을 위반하는 시간 적분 경로 변형 없이도 LSZ 정리와 $i\epsilon$ 처방 (Prescription) 을 엄밀하게 유도할 수 있음을 보여줍니다.

1. 연구 배경 및 문제 제기 (Problem)

• LSZ 정리의 오해: 표준 교과서에서는 LSZ (Lehmann-Symanzik-Zimmermann) 정리를 설명할 때, 먼 과거나 미래 (아스임프토트 영역) 에서 입자 간 상호작용이 0 이 되어야 한다고 주장합니다. 그러나 이는 시간 병진 대칭성 (Time translation invariance) 을 위반하는 비물리적 가정이며, 실제 상호작용하는 이론에서는 물리적 질량을 가진 입자가 존재하므로 상호작용이 완전히 사라지지 않습니다.
• 우주론적 섭동론의 문제: 인플레이션 우주론 등에서는 초기 상태 (Bunch-Davies 진공) 를 정의하고 섭동론을 전개하기 위해 시간 적분 경로를 허수 축으로 회전시키는 (Contour rotation) 방법을 사용합니다. 이 방법은 종종 단위성 (Unitarity) 을 위반하는 것으로 간주되거나, 물리적 직관에 부합하지 않는 인위적인 조작으로 비판받아 왔습니다.
• 핵심 질문: 상호작용이 아스임프토트 시간까지 남아있더라도, 혹은 시간 의존적 배경 (우주론) 에서도 단위성을 위반하지 않으면서 LSZ 관계식과 $i\epsilon$ 처방을 유도할 수 있는가?

2. 방법론 (Methodology)

저자는 다음과 같은 수학적 도구와 논리적 구조를 사용하여 문제를 해결합니다.

가. 리만 - 르베그 정리 (Riemann-Lebesgue Theorem) 의 적용

• LSZ의 '아스임프토트 조건'을 연산자의 강한 극한 (Strong limit) 이 아닌, 정규화 가능한 상태 (Normalizable states) 사이의 행렬식 (Matrix element) 의 약한 극한 (Weak limit) 으로 재해석합니다.
• 장 연산자 $\hat{\phi}(x)$ 를 푸리에 공간에서 자유장 부분 ($\tilde{\phi}_0$) 과 상호작용 의존 부분 ($\tilde{\phi}_I$) 으로 분리합니다.
• 시간 $t \to \pm \infty$ 극한에서 상호작용 항은 진동하는 위상 인자 ($e^{-i(E_q - q_0)t}$) 를 가지며, 리만 - 르베그 정리에 의해 이 항이 0 으로 수렴함을 증명합니다.
• 이를 통해 상호작용이 남아있더라도 아스임프토트 영역에서 자유장처럼 행동하는 연산자가 자연스럽게 도출됨을 보입니다.

나. 진공 파동함수와 경로 적분 (Vacuum Wave Function & Path Integral)

• Weinberg 의 논의를 일반화하여, 아스임프토트 상태가 '자유 진공'이 아니라 '상호작용하는 진공 (Interacting Vacuum)'의 파동함수임을 명시적으로 고려합니다.
• 생성 함수 (Generating functional) 를 계산할 때, 초기 및 최종 상태의 파동함수 $\Omega[\phi_\pm]$ 를 경로 적분식에 포함시킵니다.
• 파동함수의 지수 부분 ($\omega$) 을 자유 부분 ($\omega_0$) 과 상호작용 부분 ($\omega_I$) 으로 분리합니다.
• $i\epsilon$ 처방의 유도: 자유 부분 $\omega_0$ 에서 비롯된 항이 경로 적분에서 $i\epsilon$ 항을 생성하여 페인만 전파자 (Feynman propagator) 의 $i\epsilon$ 처방을 자연스럽게 유도함을 보입니다.
• 상호작용 부분의 소거: $\omega_I$ 항은 $\epsilon \to 0$ 극한에서 사라지므로, 섭동론 계산에 영향을 주지 않음을 증명합니다.

다. 우주론적 일반화 (Closed Time Path / In-In Formalism)

• 우주론적 맥락 (등시 상관 함수 계산) 에서는 'In-In' 형식주의 (Schwinger-Keldysh formalism) 를 사용합니다.
• 밀도 행렬 $\rho_0$ 를 사용하여 초기 상태를 정의하고, 시간 경로 $C$ (미래로 갔다가 다시 과거로 돌아오는 폐곡선) 를 따라 경로 적분을 수행합니다.
• 평탄한 시공간에서의 유도 과정을 우주론적 배경 (시간 의존적 배경) 에 적용하여, $i\epsilon$ 처방이 여전히 유효하며 단위성을 위반하는 경로 변형이 불필요함을 보입니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

1. LSZ 정리의 엄밀한 재해석:

   • 상호작용이 아스임프토트 시간에서 꺼질 필요가 없음을 증명했습니다. LSZ 조건은 상호작용이 존재하는 상태에서도 리만 - 르베그 정리에 의해 자연스럽게 성립합니다.
   • 아스임프토트 진공 상태 ($\Omega_\pm$) 는 자유 이론의 진공이 아니라, 상호작용 이론의 진공과 일치함을 명확히 했습니다.

2. $i\epsilon$ 처방의 물리적 기원 규명:

   • $i\epsilon$ 항은 인위적으로 시간 경로를 회전시키거나 상호작용을 끄는 것이 아니라, 상호작용하는 진공의 파동함수에서 자연스럽게 도출됨을 보였습니다.
   • 이는 섭동론 계산에서 $i\epsilon$ 처방이 단위성을 보존하는 물리적 필수 조건임을 재확인합니다.

3. 우주론적 섭동론의 정당화:

   • 인플레이션 우주론 등에서 사용되는 등시 상관 함수 계산에 대해, 단위성을 위반하는 허수 시간 경로 회전 (Contour rotation) 없이도 동일한 결과를 얻을 수 있음을 보였습니다.
   • 상호작용하는 진공 상태에서의 섭동론 계산이 표준적인 방법과 일치함을 입증하여, 기존 계산들의 타당성을 강화했습니다.

4. 비대칭적 가정 제거:

   • 시간 병진 대칭성 위반 (상호작용 끄기) 이나 단위성 위반 (경로 변형) 과 같은 비물리적 가정을 배제하고 순수한 양자장론의 원리만으로 섭동론을 구축했습니다.

4. 의의 및 결론 (Significance & Conclusion)

이 논문은 양자장론과 우주론의 섭동론적 계산에 대한 기초를 더욱 견고하게 다졌습니다.

• 이론적 엄밀성: 기존 교과서적 접근법의 모호함 (비물리적 가정) 을 제거하고, 상호작용이 완전히 사라지지 않는 상황에서도 LSZ 정리와 $i\epsilon$ 처방이 어떻게 성립하는지 수학적으로 엄밀하게 증명했습니다.
• 우주론적 적용: 인플레이션 이론과 같은 비평형 상태 (Non-equilibrium) 나 시간 의존적 배경에서의 양자장론 계산에 있어, 단위성을 보존하는 올바른 프레임워크를 제시했습니다.
• 실용적 가치: 연구자들이 복잡한 우주론적 섭동론 계산을 수행할 때, 불필요한 인위적 조작 (Unitarity violating contour deformation) 에 대한 우려 없이 표준적인 방법을 신뢰하고 사용할 수 있음을 보장합니다.

결론적으로, 저자는 **"상호작용하는 진공의 파동함수를 적절히 고려하면, 아스임프토트 조건과 $i\epsilon$ 처방은 추가적인 가설 없이 자연스럽게 유도되며, 이는 평탄한 시공간과 우주론적 배경 모두에서 유효하다"**는 것을 주장합니다.