[论文解读] Multivariate prediction and matrix Szegö theory

Ν. H. Bingham|arXiv (Cornell University)|Mar 5, 2012

Mathematical functions and polynomials参考文献 46被引用 4

一句话总结

本文通过单位圆上的矩阵正交多项式（MOPUC）将经典的单变量预测理论和 Szegő 定理推广至多变量设置。文中建立了若干关键结果，包括矩阵测度下的 Verblunsky 定理、将谱密度与 Verblunsky 系数关联的矩阵 Szegő 定理，以及通过矩阵 Muckenhoupt 和 Helson-Szegő 条件表征正则性条件。

ABSTRACT

Following the recent survey by the same author of Szegö's theorem and orthogonal polynomials on the unit circle (OPUC) in the scalar case, we survey the corresponding multivariate prediction theory and matrix OPUC (MOPUC).

研究动机与目标

• 通过单位圆上的矩阵正交多项式（MOPUC）将单变量预测理论和 Szegő 定理推广至多变量平稳过程。
• 建立 Verblunsky 定理的矩阵版本，证明矩阵 Verblunsky 系数与矩阵谱测度之间存在双射关系。
• 通过矩阵谱密度和 Muckenhoupt 型条件，表征正则性条件（如纯最小性、正角条件与完全正则性）。
• 将多变量预测理论与 Hankel 算子及矩阵 Nehari 问题相联系，将经典算子理论工具推广至矩阵情形。

提出的方法

• 利用 Kolmogorov 同构定理，通过单位圆上的谱测度表示平稳向量值过程。
• 应用 Bernstein-Szegő 近似方法，推导出 Szegő 定理的矩阵版本，将 $1 - a_n^\dagger a_n$ 行列式无限乘积与 $\operatorname{tr} \log w(\theta)$ 的积分相联系。
• 采用矩阵谱因式分解与矩阵 Szegő 函数，分析谱密度 $W(\theta)$ 及其正则性。
• 通过矩阵 Muckenhoupt 条件 $(A_2)$ 表征正角条件：$\sup_I \left\| \left( \frac{1}{|I|} \int_I W \right)^{1/2} \left( \frac{1}{|I|} \int_I W^{-1} \right)^{1/2} \right\| < \infty$。
• 通过条件 $\limsup_{|I| \to 0} \left\| \left( \frac{1}{|I|} \int_I W \right)^{1/2} \left( \frac{1}{|I|} \int_I W^{-1} \right)^{1/2} \right\| < \infty$ 将完全正则性概念推广至矩阵情形。
• 利用 Hankel 算子及其与矩阵 Nehari 问题的联系，研究多变量时间序列中的预测误差与正则性。

实验结果

研究问题

• RQ1 Verblunsky 定理的矩阵类比是什么？它如何参数化矩阵谱测度？
• RQ2 Szegő 定理如何推广至矩阵值谱测度？Verblunsky 系数在此推广中起什么作用？
• RQ3 哪些矩阵条件对应于标量正则性条件（如纯最小性、正角条件与完全正则性）？
• RQ4 矩阵 Muckenhoupt 条件与 Helson-Szegő 条件如何关联多变量预测过程的正则性？
• RQ5 Baxter 定理的矩阵版本是什么？它如何从矩阵 Hankel 算子与 Nehari 问题导出？

主要发现

• Verblunsky 定理对 MOPUC 成立：任意满足 $\|a_n\| < 1$ 的 $\ell \times \ell$ 矩阵序列 $a_n$ 唯一对应一个矩阵谱测度 $\mu$。
• 矩阵 Szegő 定理指出：$\sum_{n=1}^\infty \|a_n^\dagger a_n\| < \infty$ 当且仅当积分 $\int \operatorname{tr} \log w(\theta) \, d\theta / 2\pi > -\infty$，该条件定义了 Szegő 测度类。
• 正角条件 $(PA)$ 等价于矩阵 Muckenhoupt 条件 $(A_2)$，即要求 $\sup_I \left\| \left( \frac{1}{|I|} \int_I W \right)^{1/2} \left( \frac{1}{|I|} \int_I W^{-1} \right)^{1/2} \right\| < \infty$。
• 完全正则性等价于 Muckenhoupt 条件的加强版 $\limsup$ 形式：$\limsup_{|I| \to 0} \left\| \left( \frac{1}{|I|} \int_I W \right)^{1/2} \left( \frac{1}{|I|} \int_I W^{-1} \right)^{1/2} \right\| < \infty$。
• Helson-Lowdenslager 定理的矩阵版本成立：$\exp \left( \frac{1}{\ell} \int \operatorname{tr} \log w(\theta) \, d\theta / 2\pi \right) = \inf_{A,P} \int \frac{1}{\ell} \operatorname{tr} \left[ (A+P)^\dagger d\mu (A+P) \right]$。
• Hankel 算子与矩阵 Nehari 问题及 Muckenhoupt 条件相关联，为多变量情形下的预测理论与算子理论之间建立了桥梁。