[논문 리뷰] Variational structure of Luttinger-Ward formalism and bold diagrammatic expansion for Euclidean lattice field theory

Lin Lin, Michael Lindsey|arXiv (Cornell University)|2017. 11. 20.

Physics of Superconductivity and Magnetism참고 문헌 26인용 수 16

한 줄 요약

이 논문은 유클리드 격자 양자장 이론에서 Luttinger-Ward 형식의 엄밀한 변분 기반을 수립하며, 상호작용이 있는 Green 함수 G에 대한 Luttinger-Ward 기능 Φ[G]의 존재성과 보편성을 증명한다. 레전드르 대칭을 통해 형식적 섭동 이론이나 원시 propagator에 의존하지 않고 self-energy와 자유 에너지에 대한 bold 도형 전개를 유도하며, Dyson 방정식이 자유 에너지 기능의 유일한 전역 최소화자를 제공함을 보여준다.

ABSTRACT

The Luttinger-Ward functional was proposed more than five decades ago to provide a link between static and dynamic quantities in a quantum many-body system. Despite its widespread usage, the derivation of the Luttinger-Ward functional remains valid only in the formal sense, and even the very existence of this functional has been challenged by recent numerical evidence. In a simpler and yet highly relevant regime, namely the Euclidean lattice field theory, we rigorously prove that the Luttinger-Ward functional is a well-defined universal functional over all physical Green's functions. Using the Luttinger-Ward functional, the free energy can be variationally minimized with respect to Green's functions in its domain. We then derive the widely used bold diagrammatic expansion rigorously, without relying on formal arguments such as partial resummation of bare diagrams to infinite order.

연구 동기 및 목표

• 양자 다체계에서 Luttinger-Ward 기능의 존재성과 타당성에 관한 오랫동안 남아 있던 기초적 문제를 해결하기 위해.
• 유클리드 격자 양자장 이론에서 상호작용이 있는 Green 함수 G에 대한 자유 에너지의 엄밀한 변분 형식을 수립하기 위해.
• 형식적 섭동 이론이나 원시 propagator에 의존하지 않고 self-energy와 Luttinger-Ward 기능에 대한 bold 도형 전개를 도출하기 위해.
• Dyson 방정식이 자유 에너지 기능의 유일한 전역 최소화자임을 증명하여 비섭동 영역에서 자기일관된 근사의 타당성을 입증하기 위해.

제안 방법

• 물리적 Green 함수 G ∈ Sn++ 에 대한 제약 최소화를 통해 Gibbs 자유 에너지 Ω[A]를 변분 최소값으로 서술한다.
• 모든 확률 밀도가 G로 매핑되는 조건에서 엔트로피에서 상호작용 에너지를 뺀 값의 상한으로서 F[G]를 정의한다.
• 2F[G]에서 로그로 발산하는 항(Tr[log G] + Φ₀)을 빼어 Φ[G]를 구성함으로써 보편성과 경계 연속성을 확보한다.
• 레전드르 대칭 프레임워크를 통해 G와 비상호작용 Green 함수의 역행렬 G₀⁻¹ 사이의 일대일 대응을 수립한다.
• 상호작용 강도 ε에 대한 점근적 급수 전개를 활용하여 도형 재정렬을 통해 self-energy와 Luttinger-Ward 기능 계수를 식별한다.
• 기저의 선형 변화에 대한 Φ[G; U]의 변환 법칙을 활용하여 질량이 없는 G를 가진 문제를 낮은 차원의 경우로 축소한다.

실험 결과

연구 질문

• RQ1 비섭동적 설정에서 Green 함수 G에 대한 Luttinger-Ward 기능 Φ[G]는 잘 정의된 보편 기능으로 존재하는가?
• RQ2 원시 도형의 부분 재정렬에 의존하지 않고 self-energy와 자유 에너지에 대한 bold 도형 전개를 엄밀히 도출할 수 있는가?
• RQ3 물리적 Green 함수 공간에서 Dyson 방정식은 자유 에너지 기능의 유일한 전역 최소화자인가?
• RQ4 Luttinger-Ward 기능은 그의 특이 경계 행동과 물리적 내용을 어떻게 분리하여 구성할 수 있는가?

주요 결과

• Luttinger-Ward 기능 Φ[G]는 비상호작용 propagator에 의존하지 않는, 유클리드 격자 양자장 이론에서 상호작용이 있는 Green 함수 G에 대한 엄밀한 보편 기능으로 구성된다.
• 자유 에너지는 모든 물리적 Green 함수 G ∈ Sn++ 에 대해 변분적으로 최소화되며, 이 최소화자는 Dyson 방정식의 해로 유일하게 주어진다.
• self-energy에 대한 bold 도형 전개는 원시 propagator에 대한 참조 없이 상호작용 강도 ε에 대한 self-energy 기능의 점근적 급수로 엄밀히 복원된다.
• Φ[G]의 기능 도함수는 self-energy Σ[G]를 제공하며, 이는 또한 보편적이며 Sn++의 경계까지 연속적이다.
• 비상호작용 시스템에서는 Luttinger-Ward 기능이 Φ[G] ≡ 0임을 확인하여 그 물리적 일관성을 입증한다.
• 기능 Φ[G]는 필드 변수의 선형 변환에 대해 불변이며, 질량이 없는 G에 대한 값은 변환 법칙을 통해 낮은 차원의 문제로 축소될 수 있다.