양자 열역학에서 코히런트 상태 경로 적분의 정확한 활용법

초록

본 논문은 코히런트 상태 경로 적분을 이용해 양자 다입자 시스템의 평형 열역학을 계산할 때 발생하는 미세한 수학적 함정을 체계적으로 정리한다. 연속 시간 한계와 마츠바라 주파수 공간에서의 변수 변환, 함수식 행렬식, 그리고 적분 정규화 방법을 정확히 다루어, 올바르게 수행하면 전통적인 해밀토니언 접근법과 완전히 동일한 결과를 얻을 수 있음을 보여준다. 보조 예제로 보조조화 진동자, 단일 사이트 Bose‑Hubbard·Hubbard 모델, 약하게 상호작용하는 Bose 가스, 그리고 유한 범위 상호작용을 포함한 BCS 초전도체를 상세히 분석한다.

상세 분석

논문은 먼저 코히런트 상태 경로 적분의 기본 구성을 bosonic과 fermionic 경우로 나누어 전개한다. bosonic 경우, 복소수 코히런트 변수 a(τ)와 a⁎(τ)를 도입하고, 해밀토니언을 정상 순서(normal‑ordered) 형태로 전개한 뒤, 시간 슬라이스 δτ→0 한계에서 “a⁎·(a−a′)” 형태의 베르누이 항을 얻는다. 여기서 중요한 점은 연속 한계에서 발생하는 “mid‑point” 혹은 “symmetric” 규칙이 실제 연산자 순서와 일치하도록 선택해야 한다는 것이다. 만약 이 규칙을 무시하고 단순히 a⁎(τ)·∂τa(τ)만 사용하면, 마츠바라 주파수 전환 시 누락되는 상수 항이 발생해 자유 에너지에 오차가 생긴다.

fermionic 경우는 Grassmann 변수 c(τ), c⁎(τ)를 이용해 동일한 절차를 수행한다. 여기서는 anti‑periodic 경계조건과 Berezin 적분 규칙이 핵심이며, 특히 “c·c⁎” 항의 부호가 bosonic과 반대임을 명시한다. 논문은 이 부호 차이가 마츠바라 합산에서 나타나는 (−1)ⁿ 요인과 어떻게 상쇄되는지를 상세히 증명한다.

연속 한계에서 발생하는 또 다른 함정은 함수식 행렬식(det W)의 정규화이다. 저자들은 Gaussian 적분 식 (2.22)를 이용해 복소 행렬 W의 실부분이 양정인 경우 det W⁻¹이 정확히 경로 적분의 전처리 상수임을 보이고, 이를 Matsubara 주파수 공간으로 변환할 때 ζ‑함수 정규화와 같은 고전적인 방법과 일치함을 확인한다. 특히, 주파수 공간에서 행렬식은 ∏ₙ( iωₙ−ε ) 형태로 나타나며, 이를 로그로 변환해 자유 에너지에 기여하는 항을 얻을 때, ωₙ의 대칭성(양·음)과 무한합의 수렴성을 신중히 다루어야 한다.

이러한 기술적 세부 사항들을 바탕으로, 저자들은 여러 모델을 검증한다. 보조조화 진동자의 경우, 경로 적분과 해밀토니언 방식이 각각 Z=1/(1−e^{−βϵ}) 를 정확히 재현한다. 단일 사이트 Bose‑Hubbard 모델에서는 Hubbard‑Stratonovich 변환을 적용해 상호작용 항을 복소 필드 φ(τ)로 교체하고, 평균장 근사(mean‑field)와 정확한 수치 적분을 비교해 동일한 자유 에너지와 입자 수 분포를 얻는다. fermionic Hubbard 모델에서도 동일한 절차가 적용되며, 스핀·전하 자유도를 포함한 2×2 행렬식이 정확히 계산된다.

약하게 상호작용하는 Bose 가스와 BCS 초전도체에서는 유한 범위 V(r) 를 Fourier 변환해 V(q) 형태로 나타내고, 이를 경로 적분에서 두 체계의 유효 액션에 삽입한다. 여기서 중요한 점은 상호작용 항이 quartic 형태이므로, 다시 Hubbard‑Stratonovich 변환을 두 번 수행해 복소(또는 실) 필드 Δ(τ)와 ρ(τ)를 도입하고, Gaussian 적분 후 남는 유효 액션이 BCS gap 방정식과 동일함을 보인다. 특히, 유한 범위 상호작용을 포함했을 때 발생하는 momentum‑dependent self‑energy를 Matsubara 합산으로 정확히 처리하는 방법을 제시한다.

결론적으로, 논문은 “연속 한계에서의 올바른 시간‑슬라이스 규칙”, “Grassmann 변수의 부호 관리”, “함수식 행렬식의 정규화”, 그리고 “Matsubara 합산의 수렴 처리” 네 가지 핵심 요소가 모두 충족될 때, 코히런트 상태 경로 적분이 전통적인 해밀토니언 접근법과 완전히 일치한다는 강력한 증거를 제공한다. 이는 교과서 수준의 예제부터 실제 연구에 쓰이는 복잡한 상호작용 모델까지 모두 적용 가능한 보편적 프레임워크를 제시한다는 점에서 큰 의의를 가진다.