[论文解读] Explicit Fermionic Tree Expansions

Abdelmalek Abdesselam, Vincent Rivasseau|arXiv (Cornell University)|Dec 4, 1997

Theoretical and Computational Physics被引用 7

一句话总结

本文通过格拉斯曼积分，引入了基于树结构的显式公式来表示关联费米子格林函数，通过尊重泡利不相容原理，提供了微扰级数收敛性的清晰证明。对称树展开与根树展开使得 Gross-Neveu 模型的收敛半径与颜色数无关的结论得以用三行证明，对关联费米子系统和超导性具有重要意义。

ABSTRACT

We express connected Fermionic Green's functions in terms of completely explicit tree formulas. In contrast with the ordinary formulation in terms of Feynman graphs these formulas allow a completely transparent proof of convergence of the perturbative series. Indeed they are compatible with the mathematical implementation in Grassmann integrals of the Pauli principle. The first formula we give, which is the most symmetric, is compatible with Gram's inequality. The second one, the "rooted formula", respects even better the antisymmetric structure of determinants, and allows the direct comparison of rows and columns in the fermionic determinant. To illustrate the power of these formulas, we provide a ``three lines proof'' that the radius of convergence of the Gross-Neveu field theory with cutoff is independent of the number of colors. An other potential area for applications would be the study of correlated Fermions systems and superconductivity.

研究动机与目标

• 为费米子量子场论中的微扰级数收敛性提供数学上严格且透明的证明。
• 用显式树展开替代传统的费曼图形式，通过格拉斯曼代数自然编码泡利不相容原理。
• 推导保持反对称性与行列式结构的公式，以在多体费米子系统中实现更优的分析控制。
• 通过根树形式实现费米子行列式中行与列的直接比较。
• 通过证明 Gross-Neveu 模型收敛半径与颜色数无关，展示该方法的强大能力。

提出的方法

• 作者利用格拉斯曼积分推导出关联费米子格林函数的对称树公式，确保与 Gram 不等式的相容性。
• 提出一种'根公式'，更好地尊重行列式的反对称结构，从而促进行与列的直接比较。
• 树展开直接从配分函数与关联函数的格拉斯曼积分表示构建。
• 该方法通过编码相互作用顶点与传播子的组合树结构，取代费曼图。
• 通过树结构与格拉斯曼代数性质（特别是 Pfaffian 与行列式恒等式）导出的界来确立收敛性。
• 该方法利用格拉斯曼变量的反对称性，在无需额外约束的情况下强制实现泡利原理。

实验结果

研究问题

• RQ1 能否为费米子格林函数构造一个完全显式的树展开，以确保微扰级数的收敛性？
• RQ2 如何在非微扰的组合框架中自然编码泡利不相容原理？
• RQ3 根树公式能否改进多费米子系统中行列式结构的分析？
• RQ4 对称性与反对称性在构建费米子理论收敛展开中起什么作用？
• RQ5 新形式化方法是否能实现对普遍性质（如 Gross-Neveu 模型中颜色无关性）的简化证明？

主要发现

• 对称树公式与 Gram 不等式相容，为收敛性估计提供了稳健基础。
• 根树公式通过实现费米子行列式中行与列的直接比较，增强了对行列式结构的分析能力。
• 推导出一个'三行证明'，表明带截断的 Gross-Neveu 场论的收敛半径与颜色数无关。
• 该方法为费米子理论提供了一个完整且显式的费曼图替代方案，收敛性由构造保证。
• 该形式化方法适用于关联费米子系统与超导性，为严谨的多体分析提供了新工具。
• 使用格拉斯曼积分确保泡利原理在展开层面被数学上强制实现。