[논문 리뷰] Notes on Wick's theorem in many-body theory

Luca Guido Molinari|arXiv (Cornell University)|2017. 10. 25.

Quantum Mechanics and Applications참고 문헌 5인용 수 3

한 줄 요약

이 논문은 다체 이론에서 위크 정리의 교육적 유도를 제공하며, 기저 상태에 대한 정적 및 시간순서 정규순서화된 장 연산자의 성질에 중점을 둔다. 이는 생성 및 소멸 연산자의 곱을 c-수 수축를 사용하여 정규순서형태로 표현하는 체계적인 절차를 수립하며, 시간순서화된 경우에 대해 새로운 귀납적 증명을 제공함으로써 자유 및 상호작용 이론에서 그린 함수를 효율적으로 계산할 수 있게 한다.

ABSTRACT

In this pedagogical note I present the operator form of Wick's theorem, i.e. a procedure to bring a product of 1-particle creation and destruction operators to normal order, with respect to some reference many-body state. Both the static and the time-ordered cases are presented. For the latter, in particular, I provide a simple proof.

연구 동기 및 목표

• 다체 양자장 이론의 맥락에서 위크 정리의 명확하고 접근 가능한 유도를 제공하는 것.
• 다체 기저 상태(예: 페르미 해 또는 BCS 기저 상태)에 대해 장 연산자의 곱을 정규순서화하는 절차를 체계화하는 것.
• 표준 위크 정리를 시간순서화된 곱으로 확장하여 양자장 이론의 페르투브레이션 계산에 필수적인 요소로 활용하는 것.
• c-수 수축의 역할과 시간순서화 및 통계(bose/fermi)에 따른 변환 성질을 명확히 하는 것.

제안 방법

• 장 연산자 $A_i = A_i^- + A_i^+$의 분해를 도입하며, 여기서 $A_i^-$는 기저 상태를 소멸시키고 $A_i^+$는 그로부터 생성한다.
• 모든 $A_i^+$ 연산자를 $A_j^-$ 연산자보다 왼쪽에 놓는 방식으로 정규순서화 $\mathcal{N}[\cdots]$를 정의한다.
• 정적 수축 $\langle A_i A_j \rangle = \langle gs| A_i A_j |gs \rangle$과 시간순서화 수축 $\overbrace{A_i(t_i) A_j(t_j)} = \langle gs| \mathcal{T} A_i(t_i) A_j(t_j) |gs \rangle$을 도입한다.
• 혼합 괄호 $[A_i^-, A_j^+]_\mp$가 c-수임을 보장하기 위해 캐논리컬 반대칭(또는 대칭) 관계(CAR 또는 CCR)를 적용하며, 이는 위크 정리의 핵심 조건이다.
• 귀납법을 사용하여 시간순서화된 위크 정리의 버전을 증명하며, $\mathcal{T}[A_1\cdots A_n]$이 시간순서화된 수축 수가 점점 증가하는 정규순서화 항들의 합으로 분해됨을 보여준다.
• 정리가 n-입자 그린 함수의 평가를 보존자(보존자) 또는 행렬식(페르미온)으로 한정된 한 입자 전파함수의 합으로 줄여주는 것을 보여준다.

실험 결과

연구 질문

• RQ1 비공백 기저 상태에 대해 장 연산자의 곱을 어떻게 체계적으로 정규순서화된 형태로 재작성할 수 있는가?
• RQ2 다체 시스템에서 시간순서화된 수축의 구조는 어떠한가? 그리고 파인만 전파함수와의 관계는 무엇인가?
• RQ3 왜 위크 정리는 혼합 연산자 괄호 $[A_i^-, A_j^+]_\mp$가 c-수일 때에만 성립하는가?
• RQ4 시간순서화된 위크 정리의 귀납적 증명이 양자장 이론의 인과적 구조와 일관성을 유지하는 방식은 무엇인가?
• RQ5 결과가 자유 이론에서 n-입자 그린 함수 계산을 어떻게 단순화하는가?

주요 결과

• 시간순서화된 곱에 대한 위크 정리는 $\mathcal{T}[A_1\cdots A_n] = \sum_{k=0}^n \mathcal{N}[\text{모든 } k\text{-수축}]$로 표현되며, 엄밀한 귀납적 증명이 제시된다.
• 시간순서화된 수축은 $\overbrace{A_i(t_i)A_j(t_j)} = \pm \overbrace{A_j(t_j)A_i(t_i)}$를 만족하며, 이는 기댓값의 시간순서화 성질을 반영한다.
• 비상호작용 페르미온의 경우, n-입자 그린 함수는 식 (42)에 따라 한 입자 전파함수 $G^0(x_i, y_j)$의 행렬식으로 줄어든다.
• BCS 초전도 상태에서는 비정상 수축 $F^0$과 $F^{\dagger 0}$이 비영이 되며, 이는 코플러 쌍 상관관계를 반영한다.
• 정리는 자유 이론에서 n-입자 그린 함수의 평가를 치환의 부호(페르미온) 또는 영구함수(보존자)로 가중된 순열들의 합으로 줄여주는 데 기여한다.
• 증명은 핵심 보조정리에 의존하며, $A_\ell N_{n,k} = \mathcal{N}[A_\ell N_{n,k}] + \mathcal{N}[\contraction{}{A}{{}_{\ell}}{N} A_\ell N_{n,k}]$로 표현되며, 여기서 수축은 최대 시간순서화에 의해 시간순서화됨을 보장한다.