[论文解读] Why Jordan algebras are natural in statistics:quadratic regression implies Wishart distributions

Gérard Letac, Jacek Wesołowski|arXiv (Cornell University)|Apr 19, 2010

Bayesian Methods and Mixture Models参考文献 20被引用 4

一句话总结

该论文证明，在有限维实向量空间上，当二次型空间分解为具有特定条件数学期望性质的正交子空间时，二次回归结构唯一地蕴含Wishart分布。关键结果表明，此类结构仅在空间具备欧几里得Jordan代数结构时才可能出现，且随机变量必须在关联的对称锥上服从Wishart分布，其中k=2是唯一可能的分解方式。

ABSTRACT

If the space $\\mathcal{Q}$ of quadratic forms in $\\mathbb{R}^n$ is splitted in a direct sum $\\mathcal{Q}_1\\oplus...\\oplus \\mathcal{Q}_k$ and if $X$ and $Y$ are independent random variables of $\\mathbb{R}^n$, assume that there exist a real number $a$ such that $E(X|X+Y)=a(X+Y)$ and real distinct numbers $b_1,...,b_k$ such that $E(q(X)|X+Y)=b_iq(X+Y)$ for any $q$ in $\\mathcal{Q}_i.$ We prove that this happens only when $k=2$, when $\\mathbb{R}^n$ can be structured in a Euclidean Jordan algebra and when $X$ and $Y$ have Wishart distributions corresponding to this structure.

研究动机与目标

• 表征在实向量空间上进行二次回归时，何种条件下会推出Wishart分布。
• 研究给定X+Y时，二次型的条件数学期望与X+Y的二次型成比例的条件。
• 证明此类结构仅在底层空间为欧几里得Jordan代数且二次型的分解恰好包含两个分量时才可能存在。
• 在对称锥与Wishart分布的背景下，建立Lukacs-Olkin-Rubin定理的逆定理。

提出的方法

• 作者分析条件数学期望结构 E(q(X)|X+Y) = b_i q(X+Y)，其中 q 属于二次型子空间 Q_i。
• 他们将二次型空间 Q 分解为直和 Q_1 ⊕ ... ⊕ Q_k，并对条件数学期望施加线性约束。
• 利用指数矩的性质及在正交变换下的不变性，推导出 X 和 Y 的特征泛函上的函数方程。
• 他们应用Jordan代数理论的结果，特别是对称锥的结构与谱分解，以分类可能具备此类分解的向量空间 V。
• 他们证明唯一可能的 k 值为 2，且 V 必须具备欧几里得Jordan代数结构才能满足条件。
• 该证明依赖于对称自同态空间上自同态的迹计算，使用标准正交基及所涉算子的谱性质。

实验结果

研究问题

• RQ1 在何种条件下，对于所有属于 Q_i 的 q，条件数学期望 E(q(X)|X+Y) = b_i q(X+Y) 成立，且 b_i 互不相同？
• RQ2 在一般实向量空间 Q 上，此类条件数学期望结构是否能推出 X 和 Y 服从Wishart分布？
• RQ3 k=2 是否是此类结构存在的唯一可能的分量数？
• RQ4 为使此类分解与条件数学期望性质存在，底层空间 V 必须具备何种代数结构？
• RQ5 在对称锥上的Wishart分布与谱分解及Jordan代数结构之间有何关系？

主要发现

• 唯一能使条件数学期望结构成立的 k 值为 k=2。
• 为使条件成立，底层空间 V 必须配备欧几里得Jordan代数结构。
• 随机变量 X 和 Y 必然在与Jordan代数相关的对称锥上服从Wishart分布。
• 条件数学期望 E(X|X+Y) = a(X+Y) 成立当且仅当 X 和 Y 服从相同尺度参数的Wishart分布。
• 二次型空间 Q 分解为 Q_1 ⊕ Q_2 是自然的，对应于Jordan代数框架下二次型的对称与反对称部分。
• 算子 Ψ 的迹计算表明，仅有特定分量（A1, B2, B4）对迹有贡献且值为 1，从而确认了分解的唯一性。