[论文解读] A path-integral representation of the free one-flavour staggered-fermion determinant

F. Maresca, Mike Peardon|ArXiv.org|Nov 22, 2004

Spectral Theory in Mathematical Physics被引用 6

一句话总结

本文提出了一种局域晶格狄拉克算符，其在间距 $ b = 2a $ 的阻塞晶格上通过数值构造方法，精确再现了一个单味味的麦克斯韦费米子的行列式。该方法通过广义的金斯帕格-威尔森关系实现精确的规范对称性，并展示了其收敛至局域的、无叠影的理论作用量，且低能动力学正确，至 $ \mathcal{O}(a^2p^2) $ 修正项为止。

ABSTRACT

Lattice fermion actions are constructed with path integrals which are equivalent to the free one-flavour staggered fermion determinant. The Dirac operators used are local and have an identical spectrum of states to the staggered theory. Operators obeying a generalised Ginsparg-Wilson relation are developed.

研究动机与目标

• 构建一种局域晶格费米子作用量，使其行列式与单个自由麦克斯韦费米子的行列式完全一致，从而解决动力费米子模拟中的四味问题。
• 证明分数阶麦克斯韦行列式存在局域路径积分表示，确保在连续极限下理论保持在正确的普适类中。
• 开发一种满足广义金斯帕格-威尔森关系的算符，实现在晶格上精确的规范对称性，而无需依赖混合作用量方案。
• 为将该构造推广至相互作用的 gauge 理论（特别是含动力费米子的 QCD）奠定基础。

提出的方法

• 采用间距 $ b = 2a $ 的阻塞晶格构造，将 2^d 个麦克斯韦费米子味减少为每个阻塞格点一个有效狄拉克旋量。
• 通过数值优化方法，从超局部近似出发，构造一个有限范围的狄拉克算符，使其行列式与自由单味麦克斯韦行列式匹配。
• 在优化过程中施加约束，以强制满足广义金斯帕格-威尔森关系，确保传播子中局域规范对称性破缺。
• 在二维和四维中均对构造方法进行了测试，通过谱分析和局域性检验验证了收敛性。
• 采用变分法最小化目标行列式与构造算符行列式之间的差异，同时对局域性和谱施加约束。
• 该算符定义在阻塞晶格上，作用于完整的狄拉克旋量，其色散关系在 $ \mathcal{O}(a^2p^2) $ 修正范围内保持正确。

实验结果

研究问题

• RQ1 能否构造一种局域晶格狄拉克算符，使其行列式精确匹配自由单味麦克斯韦费米子的行列式？
• RQ2 此类局域算符是否继承原始麦克斯韦理论的正确低能动力学和色散关系？
• RQ3 能否使一种局域算符满足广义金斯帕格-威尔森关系，同时再现单味行列式？
• RQ4 该数值构造在二维和四维中是否均能收敛至局域且稳定的理论作用量？
• RQ5 该构造能否扩展至包含 gauge 相互作用，特别是在存在非平凡 $ Q^\dagger Q $ 结构的情况下？

主要发现

• 在二维和四维中均成功通过数值方法构造出局域晶格狄拉克算符，其行列式与自由单味麦克斯韦费米子完全一致。
• 所构造的算符表现出正确的低能动力学，其能量-动量色散关系与麦克斯韦母体理论一致，至 $ \mathcal{O}(a^2p^2) $ 修正项为止。
• 该算符的谱中无叠影模式，证实了无虚假费米子模态的存在。
• 通过约束构造获得的算符满足广义金斯帕格-威尔森关系，其规范对称性破缺由一个局域的、在旋量指标上对角的算符描述。
• 在约束情况下，局域化范围约为无约束情况的两倍，但仍为指数局域，表明具有良好的局域性。
• 在二维和四维中均通过数值方法证明了有限范围作用量序列收敛至局域极限，支持了存在明确定义的局域作用量。