[论文解读] 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 more|arXiv (Cornell University)|Jan 1, 2021

Advanced Thermodynamics and Statistical Mechanics参考文献 74被引用 4

一句话总结

本文建立了弱相互作用费米子系统中大偏差与高斯贝雷津积分之间的严格联系，表明KMS态的生成函数可表示为这类积分的对数。论文证明了统一的帕费安行列式界和协方差的可求和性，从而在无需多尺度分析的情况下实现了生成函数的收敛微扰展开，其应用涵盖量子统计力学与信息论。

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.

研究动机与目标

• 本文旨在为格点上弱相互作用费米子系统中的大偏差发展一种非微扰、构造性的框架。
• 解决费米子量子统计力学中对数矩生成函数缺乏直接、收敛表示的问题。
• 目标是通过使用贝雷津积分表示绕过多尺度分析，以推导出收敛的展开式。
• 旨在建立费米子系统中由完整协方差产生的大帕费安行列式界。
• 为分析相互作用费米子系统中的相对熵密度和量子正常涨落提供基础。

提出的方法

• KMS态的生成函数被表示为具有特定协方差结构的高斯贝雷津积分的对数。
• 协方差由完整相互作用哈密顿量导出，并在一般情况下（包括非平移不变系统）证明其可求和。
• 证明了协方差的帕费安行列式界，确保贝雷津积分表示的收敛性。
• 该方法使用自对偶CAR代数形式体系，并通过格拉斯曼代数与贝雷津积分实现。
• 采用切诺夫乘积公式和费曼–凯茨型公式，将生成函数与贝雷津积分联系起来。
• 分析依赖于康布斯–托马斯估计以及费米分布的一般界，以建立协方差核的可求和性。

实验结果

研究问题

• RQ1 弱相互作用费米子KMS态的对数矩生成函数能否表示为高斯贝雷津积分对数的极限？
• RQ2 在此贝雷津积分表示中，协方差是否满足统一的帕费安行列式界？
• RQ3 协方差在一般情况下（包括非平移不变系统）是否可求和？
• RQ4 能否直接从贝雷津积分出发，无需多尺度分解，推导出生成函数的收敛展开？
• RQ5 该表示对费米子系统中的量子大偏差和相对熵密度有何影响？

主要发现

• 弱相互作用费米子KMS态的生成函数被严格表示为高斯贝雷津积分的对数。
• 贝雷津积分中协方差满足统一的帕费安行列式界，确保了泛函积分的收敛性。
• 通过康布斯–托马斯估计和费米分布界，协方差在一般情况下（包括非平移不变系统）可求和。
• 该方法避免了多尺度分析，为生成函数的收敛展开提供了直接路径。
• 该框架使得相对熵密度的计算以及对费米子系统中量子正常涨落的分析成为可能。
• 该结果为后续工作[BdSPX]中证明弱相互作用费米子系统中KMS态的指数遍历性奠定了基础。