[论文解读] On the Kronecker and Caratheodory-Fejer theorems in several variables

Фредрик Андерссон, Marcus Carlsson|arXiv (Cornell University)|Jun 18, 2015

Matrix Theory and Algorithms参考文献 46被引用 5

一句话总结

本文在 ℝᵈ 的一般区域上，为 Hankel 和 Toeplitz 算子建立了 Kronecker、Carathéodory-Fejér 和 Fischer 定理的多维类比。证明了有限秩且半正定的算子恰好对应于具有正系数的指数和作为符号——具体而言，对于 Toeplitz 算子为 f(x) = Σ cₖe^{iξₖ·x}，对于 Hankel 算子为 f(x) = Σ cₖe^{ξₖ·x}，其中 cₖ > 0 且 ξₖ ∈ ℝᵈ——在连续设定下提供了清晰的充要条件，这些条件可通过充分采样自然地推广到结构化矩阵。

ABSTRACT

Multivariate versions of the Kronecker theorem in the continuous multivariate setting has recently been published. These theorems characterize the symbols that give rise to finite rank multidimensional Hankel and Toeplitz type operators defined on general domains. In this paper we study how the additional assumption of positive semidefinite affects the characterization of the corresponding symbols, which we refer to as Carathéodory-Fejer type theorems. We show that these theorems become particularly transparent in the continuous setting, by providing elegant if and only if statements connecting the rank with sums of exponential functions. We also discuss how these objects can be discretized, giving rise to an interesting class of structured matrices that inherit these desirable properties from their continuous analogs. We describe how the continuous Kronecker theorem also applies to these structured matrices, given sufficient sampling. We also provide a new proof for the Carathéodory-Fejer theorem for block Toeplitz matrices, based on tools from tensor algebra.

研究动机与目标

• 将经典的单变量 Kronecker 与 Carathéodory-Fejér 定理推广至 ℝᵈ 中一般区域上的多变量连续设定。
• 以指数和的形式表征 Hankel 与 Toeplitz 型算子的符号，这些算子具有有限秩且半正定。
• 展示连续框架相较于离散情形提供了更清晰、更透明的刻画，尤其在半正定性条件下。
• 说明离散结构化矩阵如何通过充分采样继承其连续对应物的性质。
• 提供一种基于张量代数的新证明，用于块 Toeplitz 矩阵的离散 Carathéodory-Fejér 定理。

提出的方法

• 在一般开集、有界、连通区域 Ω ⊂ ℝᵈ 上，通过涉及符号 f 的积分核定义 Hankel 与 Toeplitz 型算子 Γ_f 与 Θ_f。
• 利用谱论与泛函分析工具，通过指数多项式 f(x) = Σ p_j(x)e^{ζ_j·x}（其中 p_j 为多项式，ζ_j ∈ ℂᵈ）刻画有限秩算子。
• 对算子施加半正定性，并通过分析二次型 ⟨Γ_f(g),g⟩ 与 ⟨Θ_f(g),g⟩，推导出 f 的必要与充分条件。
• 证明：对于有限秩且半正定的 Γ_f，符号 f 必须为实指数和的形式 f(x) = Σ cₖe^{ξₖ·x}，其中 cₖ > 0 且 ξₖ ∈ ℝᵈ。
• 利用张量积结构与实解析延拓，将一维结果推广至高维，从而为离散 Carathéodory-Fejér 定理提供新证明。
• 通过证明充分采样的连续算子可产生保持指数结构的结构化矩阵，建立连续与离散设定之间的联系。

实验结果

研究问题

• RQ1 在多变量连续设定下，有限秩且半正定的 Hankel 与 Toeplitz 型算子的符号 f 由什么特征刻画？
• RQ2 经典 Kronecker 与 Carathéodory-Fejér 定理如何推广至 ℝᵈ 中非乘积区域上定义的算子？
• RQ3 正半定 Hankel 或 Toeplitz 算子的秩与符号中指数项数量之间的精确关系是什么？
• RQ4 连续多变量定理能否被离散化，从而产生保持有限秩与半正定性的结构化矩阵？
• RQ5 张量代数框架如何促成块 Toeplitz 矩阵离散 Carathéodory-Fejér 定理的新证明？

主要发现

• 在 ℝᵈ 中的区域 Ω 上，有限秩且半正定的 Toeplitz 算子 Θ_f 存在，当且仅当符号 f 具有形式 f(x) = Σ_{k=1}^K c_k e^{iξ_k·x}，其中 c_k > 0 且 ξ_k ∈ ℝᵈ。
• 在 ℝᵈ 中的区域 Ω 上，有限秩且半正定的 Hankel 算子 Γ_f 存在，当且仅当符号 f 具有形式 f(x) = Σ_{k=1}^K c_k e^{ξ_k·x}，其中 c_k > 0 且 ξ_k ∈ ℝᵈ。
• 连续框架提供了符号结构的清晰充要刻画，相较于离散情形更为透明。
• 这些算子的离散对应物可作为结构化矩阵构造，其指数表示与有限秩性质可从连续情形继承，前提是采样充分。
• 本文通过张量代数工具，为块 Toeplitz 矩阵的离散 Carathéodory-Fejér 定理提供了新证明。
• 对于无界区域，正半定 Toeplitz 算子 Θ_f 有界且有限秩，当且仅当 f ≡ 0，这恰好发生在区域 Ω 无界且指数的实部位于方向锥 Δ_Ω 内部时。