[논문 리뷰] Large Deviations in Weakly Interacting Fermions -- Generating Functions as Gaussian Berezin Integrals and Bounds on Large Pfaffians

N. J. B. Aza, J.-B. Bru외 2명|arXiv (Cornell University)|2021. 01. 01.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 74인용 수 4

한 줄 요약

이 논문은 약한 상호작용을 갖는 페르미온계에서의 대 deviations와 가우시안 Berezin 적분 간의 엄밀한 연결을 수립하며, KMS 상태의 생성 함수가 이러한 적분의 로그로 표현될 수 있음을 보여준다. 균일한 Pfaffian 경계와 공분산의 합성 가능성을 증명함으로써, 다중 척도 분석 없이 수렴하는 양자역학적 섭동 전개를 가능하게 한다. 이는 양자 통계역학 및 정보이론 분야에 응용된다.

ABSTRACT

We prove that the G\"{a}rtner--Ellis generating function of probability distributions associated with KMS states of weakly interacting fermions on the lattice can be written as the limit of logarithms of Gaussian Berezin integrals. The covariances of the Gaussian integrals are shown to have a uniform Pfaffian bound and to be summable in general cases of interest, including systems that are not translation invariant. The Berezin integral representation can thus be used to obtain convergent expansions of the generating function in terms of powers of its parameter. The derivation and analysis of the expansions of logarithms of Berezin integrals are the subject of the second part of the present work. Such technical results are also useful, for instance, in the context of quantum information theory, in the computation of relative entropy densities associated with fermionic Gibbs states, and in the theory of quantum normal fluctuations for weakly interacting fermion systems.

연구 동기 및 목표

• . 약한 상호작용을 갖는 페르미온계에서의 대 deviations 를 다루는 비섭동적이고 구성적인 프레임워크를 개발하는 것.
• . 페르미온 양자 통계역학에서 로그 모멘트 생성 함수의 직접적이고 수렴하는 표현 방식의 부재를 다루는 것.
• . Berezin 적분 표현을 이용해 다중 척도 분석을 피하고 수렴하는 전개를 유도하는 것.
• . 페르미온계에서 전체 공분산으로부터 유도되는 큰 Pfaffian 에 대한 경계를 설정하는 것.
• . 상호작용하는 페르미온계에서 상대 엔트로피 밀도와 양자 정규 변동을 분석하는 데 기초를 마련하는 것.

제안 방법

• . KMS 상태의 생성 함수는 특정 공분산 구조를 갖는 가우시안 Berezin 적분의 로그로 표현된다.
• . 공분산는 전체 상호작용 해밀토니안에서 유도되며, 일반적인 경우, 즉 이동 대칭이 없는 시스템을 포함하여도 합성 가능하다고 증명된다.
• . 공분산에 대해 균일한 Pfaffian 경계가 증명되어 Berezin 적분 표현의 수렴성을 확보한다.
• . 자기 dual CAR 대수 formalism 과 그 Grassmann 대수 및 Berezin 적분을 통한 실현 방식을 사용한다.
• . 생성 함수와 Berezin 적분을 연결하기 위해 Chernoff 곱 공식과 Feynman–Kac 유사 공식을 활용한다.
• . 공분산 핵의 합성 가능성은 Combes–Thomas 추정과 Fermi 분포에 대한 일반적 경계에 기반한다.

실험 결과

연구 질문

• RQ1 . 약한 상호작용을 갖는 페르미온계의 KMS 상태에 대한 로그 모멘트 생성 함수는 가우시안 Berezin 적분의 로그들의 극한으로 표현될 수 있는가?
• RQ2 . 이 Berezin 적분 표현에서의 공분산은 균일한 Pfaffian 경계를 만족하는가?
• RQ3 . 일반적인 경우, 즉 이동 대칭이 없는 시스템을 포함하여도 공분산은 합성 가능한가?
• RQ4 . 다중 척도 분해 없이 Berezin 적분에서 직접적으로 생성 함수의 수렴 전개를 도출할 수 있는가?
• RQ5 . 이 표현 방식은 페르미온계에서의 양자 대 deviations 와 상대 엔트로피 밀도에 어떤 함의를 갖는가?

주요 결과

• . 약한 상호작용을 갖는 페르미온계의 KMS 상태 생성 함수는 가우시안 Berezin 적분의 로그로 엄밀하게 표현된다.
• . Berezin 적분에 등장하는 공분산은 균일한 Pfaffian 경계를 만족하여 기능적 적분의 수렴성을 보장한다.
• . Combes–Thomas 추정과 Fermi 분포 경계를 통해 일반적인 경우, 비이동 대칭 시스템을 포함하여도 공분산이 합성 가능하다.
• . 다중 척도 분석을 피하는 방법을 통해 생성 함수의 직접적인 수렴 전개를 확보한다.
• . 이 프레임워크를 통해 상호작용하는 페르미온계에서 상대 엔트로피 밀도 계산과 양자 정규 변동 분석이 가능해진다.
• . 이 결과들은 이후 연구에서 [BdSPX] 에서 보여졌듯이, 약한 상호작용 페르미온계에서 KMS 상태의 지수적 에르고디시티를 증명하는 데 기초를 마련한다.