[论文解读] Decompositions of stochastic processes based on irreductible group representations

Giovanni Peccati, Jean‐Renaud Pycke|ArXiv.org|Sep 23, 2005

Stochastic processes and financial applications参考文献 9被引用 5

一句话总结

本文提出了一种针对在紧致拓扑群作用下的空间上索引的随机过程的一般分解方法，利用不可约群表示导出的正交投影。核心贡献是通过群表示理论解释了沃森关于桥式布朗运动二次泛函的重复恒等式，表明该恒等式源于 (Z/2Z) 群作用及其不变测度，且 1/4 因子自然地从投影算子的归一化中产生。

ABSTRACT

Let G be a topological compact group acting on some space Y. We study a decomposition of Y-indexed stochastic processes, based on the orthogonality relations between the characters of the irreducible representations of G. In the particular case of a Gaussian process with a G-invariant law, such a decomposition gives a very general explanation of a classic identity in law - between quadratic functionals of a Brownian bridge - due to Watson (1961). Several relations with Karhunen-Loève expansions are discussed, and some applications and extensions are given - in particular related to Gaussian processes indexed by a torus.

研究动机与目标

• 开发一种利用紧致群不可约表示分解随机过程的一般方法。
• 通过群对称性与表示理论，解释沃森于 1961 年提出的桥式布朗运动二次泛函重复恒等式。
• 将该分解推广至环面上索引的高斯过程，并建立类似恒等式成立的必要与充分条件。
• 将所提出的分解与 Karhunen-Loève 展开联系起来，并识别其结构相似性。

提出的方法

• 利用紧致群 G 的不可约表示的特征之间的正交关系，将 L²(G) 分解为矩阵系数的正交子空间。
• 在索引空间 Y 上定义 G 作用，使得过程路径在 L²(G) 中变换，从而实现过程 Z 按不可约表示 [π] ∈ Ĝ 分解为分量 Z^π。
• 通过与特征函数进行卷积的投影算子，将过程 Z 分解为不同 [π], [σ] ∈ Ĝ 对应的不相关分量 Z^π 与 Z^σ。
• 对于具有 G-不变分布的高斯过程，证明当特征为实数时，分量 Z^π 与 Z^σ 是 stochastically independent。
• 在满足平移不变性协方差假设（假设 D）下，为环面上的高斯过程建立 Karhunen-Loève 展开，其形式为余弦-正弦级数，系数由对偶格点上的傅里叶分析导出。
• 证明在假设 D 下，过程的 L² 范数等于两个独立过程 X₁ 与 X₂ 的平方的加权和，权重为 1/4，从而推广了沃森恒等式。

实验结果

研究问题

• RQ1 如何利用紧致群的不可约表示分解具有群不变分布的随机过程？
• RQ2 沃森关于桥式布朗运动二次泛函的重复恒等式的表示理论起源是什么？
• RQ3 在何种条件下，环面上的高斯过程会满足其二次变差的广义沃森型恒等式？
• RQ4 在平移不变协方差函数的情况下，该分解与 Karhunen-Loève 展开有何关系？
• RQ5 沃森恒等式中的因子 1/4 是如何出现的？它能否从群表示理论中自然导出？

主要发现

• 沃森的重复恒等式自然源于 [0,1] 上的 Z/2Z 群作用以及勒贝格测度的不变性，而 1/4 因子则源于投影算子中的归一化。
• 分解 Z = ∑[π]∈Ĝ Z^π 产生不相关的分量 Z^π 与 Z^σ（当 [π] ≠ [σ] 时），当 Z 为高斯过程且特征为实数时，分量之间相互独立。
• 对于满足假设 D（平移不变协方差）的 n 维环面 T_Γ 上的高斯过程，其二次变差 ∫_T X²(t)dm(t) 等于 (1/4)∫_T X₁²(t)dm(t) + (1/4)∫_T X₂²(t)dm(t)，其中 X₁ 与 X₂ 为独立副本。
• 在假设 D 下，此类过程的 Karhunen-Loève 展开形式为 X(t) = ∑_{v∈Γ*} λ_v α_v (ξ_v cos(2π⟨v|t⟩) + ξ'_v sin(2π⟨v|t⟩))，其中余弦与正弦项正交。
• 过程 X₁(t) = (X(t) - X(-t))/2 与 X₂(t) = (X(t) + X(-t))/2 是独立的、均值为零的高斯过程，且满足 ∫_T X₁² dm = ∫_T X₂² dm 在分布上成立。
• 该分解为高斯过程二次泛函之间的等分布恒等式提供了一个通用框架，将沃森恒等式推广至高维环面及其他对称情形。