[論文レビュー] A note on a certain non-Gaussian integral

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

Stochastic processes and financial applications被引用数 6

ひとこと要約

本稿では、対称な二次形式 $ S_1 $ および $ S_2 $ を含む非ガウス型積分 $ I_d(S_1, S_2) = \int dx_1\cdots dx_d \, e^{-\frac{1}{2}S_1^2 - S_2} $ の一般式を導出する。解は行列 $ A = -iM_2M_1^{-1} $ の固有値を用いて表現され、2次元では明示的に $ 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.

研究の動機と目的

• 2つの対称な二次形式を含む非ガウス型積分の一般解析的解を導出すること。
• 解を行列 $ A = -iM_2M_1^{-1} $ の固有値を用いて表現し、元の積分が二次形式に依存する構造を単純化すること。
• 2次元の場合に、$ 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 $ に関する1次元積分に変換する。
• 得られた積分を $ 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} $ である。
• 行列 $ A $ の固有値 $ z_i $ を変数とする関数 $ J_d $ を分析し、$ J_d $ を支配する2階偏微分方程式系を導出する。
• 留数計算と分岐カットの構造を用いて許容される経路を定義し、無限遠点における分岐点の性質に起因して、偶数次元と奇数次元で挙動が異なることを区別する。
• 2次元の場合にカイリー＝ハミルトンの定理を適用し、$ 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} $ は解をパrameter化する上で果たす役割は何か？その固有値が積分に与える影響は？
• 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} $ の固有値である。
• 2次元の場合、$ 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) $ のみに依存する。
• 重複固有値が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 $ を支配する微分方程式は2階偏微分方程式系であり、各 $ k = 1,\ldots,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 $ が成り立つ。
• 偶数次元と奇数次元で解の構造は異なる：奇数次元では無限遠点が分岐点となり、1つの固有値から無限遠点への分岐カットが必要であるのに対し、偶数次元では固有値のみが分岐点である。