[论文解读] Disordered Field Theory in $d=0$ and Distributional Zeta-Function

B. F. Svaiter, N. F. Svaiter|arXiv (Cornell University)|Jun 15, 2016

Theoretical and Computational Physics参考文献 3被引用 4

一句话总结

本文提出了一种数学上严格的计算方法，用于在零维情况下计算具有 quenched randomness 的 $\lambda\varphi^4$ 模型的平均自由能，方法基于分布zeta函数。通过利用Mellin变换和解析延拓，平均自由能被表示为整数阶矩的级数加上一个可任意缩小的余项，从而提供了一种无需对整数阶矩进行解析延拓的严格替代方案，避免了标准复制方法的缺陷。

ABSTRACT

Recently we introduced a new technique for computing the average free energy of a system with quenched randomness. The basic tool of this technique is a distributional zeta-function. The distributional zeta-function is a complex function whose derivative at the origin yields the average free energy of the system as the sum of two contributions: the first one is a series in which all the integer moments of the partition function of the model contribute; the second one, which can not be written as a series of the integer moments, can be made as small as desired. In this paper we present a mathematical rigorous proof that the average free energy of one disordered $λφ^{4}$ model defined in a zero-dimensional space can be obtained using the distributional zeta-function technique. We obtain an analytic expression for the average free energy of the model.

研究动机与目标

• 为计算具有 quenched randomness 的无序系统中的平均自由能，提供一种数学上严格的复制方法替代方案。
• 建立一个框架，使得平均自由能可由分布zeta函数在原点处的导数自然导出。
• 将平均自由能分解为整数阶矩的级数与一个可控余项。
• 证明余项可被任意缩小，从而确保级数的收敛性与物理意义。
• 在零维 $\lambda\varphi^4$ 模型上验证该方法，并形式化推广至高维或无限维系统。

提出的方法

• 通过关于无序分布 $\mu(h)$ 的积分，定义一个分布zeta函数 $\Phi(s; a)$，结合配分函数 $Z(h)$ 与参数 $a$。
• 利用Mellin变换将 $\Phi(s; a)$ 表示为包含 $\frac{a^{k+s}}{k!(k+s)}\mathbb{E}[Z^k]$ 的级数形式，并对 $\operatorname{Re}(s) > -1$ 进行解析延拓。
• 应用恒等式 $\Gamma(s)s = \Gamma(s+1)$ 重新参数化级数，从而分离出在 $s=0$ 处的导数。
• 计算 $-\frac{d}{ds}\Phi(s; a)\big|_{s=0^+}$ 以提取平均自由能，得到一个整数阶矩的和与一个涉及欧拉常数 $\gamma$ 的对数校正项。
• 将贡献分为两部分：整数阶矩的级数与余项 $R(a)$，其有界于 $\frac{1}{Z(0)}\exp(-Z(0))$。
• 利用单调收敛定理与引理1.4，证明求和与积分可交换，从而保证收敛性与解析性。

实验结果

研究问题

• RQ1 是否可以不依赖于标准复制方法中对整数阶矩的解析延拓，严格推导出无序系统中平均自由能？
• RQ2 是否存在一个分布zeta函数，其在 $s=0$ 处的导数可编码平均自由能？
• RQ3 是否可以将非整数阶矩行为的贡献分离并有界，从而确保当 $Z(h) \to 0$ 时方法依然有效？
• RQ4 是否可能将平均自由能表示为整数阶矩的收敛级数加上一个可任意缩小的余项？
• RQ5 分布zeta函数技术如何处理配分函数趋于零或发散的情形？

主要发现

• 零维 $\lambda\varphi^4$ 模型的平均自由能被严格表示为 $F_q = \sum_{k=1}^{\infty} \frac{(-1)^{k+1}}{k!k} \mathbb{E}[Z^k] - \gamma + R(1)$，其中 $|R(1)| \leq \frac{1}{Z(0)}\exp(-Z(0))$。
• 通过选择足够大的 $a$，余项 $R(a)$ 可被任意缩小，从而确保当 $Z(0)$ 远离零时，级数主导自由能。
• 该方法避免了标准复制方法中对整数阶矩进行解析延拓的需求，转而使用Mellin变换与zeta函数的解析延拓。
• 分布zeta函数在 $s=0$ 处的导数给出了平均自由能，其中级数捕捉了在 $Z(h) \to \infty$ 处的非解析行为，而余项则捕捉了在 $Z(h) \to 0$ 处的行为。
• 只要 $Z(0)$ 远离零，该方法在无序分布 $\mu$ 具有非紧支集时依然有效。
• 结果表明，分布zeta函数为无序系统中平均自由能的计算提供了数学上严谨的框架，清晰地区分了基于矩的贡献与残余校正。