[论文解读] A note on a certain non-Gaussian integral

Ulrik M. Svensson|ArXiv.org|Dec 16, 2009

Stochastic processes and financial applications被引用 6

一句话总结

本文推导出一个通用公式，用于计算非高斯积分 $ I_d(S_1, S_2) = \int dx_1\cdots dx_d \, e^{-\frac{1}{2}S_1^2 - S_2} $，其中 $ S_1 $ 和 $ S_2 $ 为对称二次型。解以矩阵 $ A = -iM_2M_1^{-1} $ 的特征值表示，在二维情况下具有明确的 $ SO(2) $-不变性，并可推广至仅依赖于 $ \det(M_1) $ 和 $ \det(M_2) $ 的无限维情形，对量子场论具有重要意义。

ABSTRACT

In this paper we present a general formula for the inhomogeneous non-Gaussian integral $I_d(S_1,S_2)=\int dx_1... dx_d e^{-{1/2}S_1^2-S_2}$, where $S_1$ and $S_2$ are symmetric quadratic forms. The solution depends on the eigenvalues of the matrix $A=-iM_2M_1^{-1}$, where $M_1$ and $M_2$ are the matrix representations of $S_1$ and $S_2$ respectively. In the 2-dimensional case we also give a manifestly SO(2)-invariant formulation in terms of invariants of the matrix $A$. An expression for $I(S_1,S_2)$ in the infinite-dimensional case is calculated and the solution depends only on the determinants of $M_1$ and $M_2$. The infinite-dimensional case may be of use in QFT.

研究动机与目标

• 推导涉及两个对称二次型的非齐次非高斯积分的通用解析解。
• 以矩阵 $ A = -iM_2M_1^{-1} $ 的特征值表达解，简化积分对底层二次型的依赖性。
• 在二维情况下，通过 $ A $ 的不变量，提供一种显式的 $ SO(2) $-不变表述。
• 将解推广至无限维情形，得到仅依赖于 $ \det(M_1) $ 和 $ \det(M_2) $ 的结果，可能在量子场论中有用。

提出的方法

• 利用恒等式 $ \int dt \, e^{-t^2/2} \delta(f(t)) = 1/\sqrt{\text{det}(M_2 - itM_1)} $ 将积分重写为高斯表示，将原积分转化为关于 $ t $ 的一维积分。
• 将所得积分表示为 $ I_d = \frac{i^{d/2}}{\sqrt{\det(M_1)}} \int dt \, \frac{e^{-t^2/2}}{\sqrt{\det(t\mathbbm{1} - A)}} $，其中 $ A = -iM_2M_1^{-1} $。
• 将积分 $ J_d $ 视为矩阵 $ A $ 的特征值 $ z_i $ 的函数，导出控制 $ J_d $ 的二阶偏微分方程组。
• 利用围道积分与分支切割结构来定义可接受的围道，根据无穷远处分支点的行为，区分偶数维与奇数维情形。
• 应用 Cayley-Hamilton 定理，在二维情况下以 $ A $ 的不变量 $ I_1, I_2 $ 表达解，实现显式的 $ SO(2) $-不变性。
• 通过取 $ d \to \infty $ 的极限推导无限维情形，得到仅依赖于 $ \det(M_1) $ 和 $ \det(M_2) $ 的公式。

实验结果

研究问题

• RQ1 如何为一般 $ d $ 的非齐次非高斯积分 $ I_d(S_1, S_2) $ 求得闭式解？
• RQ2 矩阵 $ A = -iM_2M_1^{-1} $ 在参数化解中起什么作用？其特征值如何决定积分的值？
• RQ3 能否通过用 $ A $ 的不变量表达解，使解在低维情形下显式地具有 $ SO(d) $-不变性？
• RQ4 在无限维极限下，积分的行为如何？是否简化为仅依赖于 $ M_1 $ 和 $ M_2 $ 衍生的行列式的形式？
• RQ5 分支切割与围道拓扑如何影响解，特别是在奇数维与偶数维之间的差异？

主要发现

• 积分 $ I_d(S_1, S_2) $ 可表示为 $ \frac{i^{d/2}}{\sqrt{\det(M_1)}} J_d $，其中 $ J_d = \int dt \, \frac{e^{-t^2/2}}{\sqrt{(t - z_1)\cdots(t - z_d)}} $，$ z_i $ 为矩阵 $ A = -iM_2M_1^{-1} $ 的特征值。
• 在二维情况下，通过 $ A $ 的不变量 $ I_1 $ 和 $ I_2 $ 表达解，实现显式的 $ SO(2) $-不变性，得到 $ I_2(S_1, S_2) = \frac{1}{\sqrt{\det(M_1)}} J_2^0(I_1, I_2) $。
• 在无限维情形下，积分简化为 $ I = \frac{i^{d/2}}{\sqrt{\det(M_1)}} \left( A_0 + \frac{B_0 \det(M_2)}{\det(M_1)} \right) $，仅依赖于 $ \det(M_1) $ 和 $ \det(M_2) $。
• 当特征值为双重简并且 $ d $ 为偶数时，解简化为 $ I_{DD} = \frac{A_0}{\sqrt{\det(M_1)}} \sum_n \left(-\frac{1}{2}\right)^n \frac{H_{2n}(z_1,\ldots,z_{d/2})}{\left(\frac{d/2 + 1}{2}\right)_n} $，其中 $ H_{2n} $ 为 $ 2n $ 次完全对称多项式。
• 控制 $ J_d $ 的微分方程为二阶偏微分方程：$ \frac{\partial^2 J_d}{\partial z_k^2} + \sum_{i \neq k} \frac{\partial^2 J_d}{\partial z_k \partial z_i} + z_k \frac{\partial J_d}{\partial z_k} + \frac{1}{2} J_d = 0 $，对每个 $ k = 1,\ldots,d $ 成立。
• 解的结构在奇数维与偶数维之间存在差异：在奇数维中，无穷远点为分支点，需从一个特征值引出一条至无穷远的分支切割；而在偶数维中，仅特征值为分支点。