Spectral Bounds for Tensors Derived from Trace Functionals and Wasserstein Distance in Tensor Spaces

技术摘要：基于迹泛函与张量空间中 Wasserstein 距离的张量谱界

问题陈述
本研究致力于解决将正定（PSD）矩阵中已确立的谱性质和几何结构推广至高阶张量所面临的挑战。尽管特征值界、基于迹的不等式以及谱距离度量（如 Bures-Wasserstein 距离）在矩阵领域已发展成熟，但将其推广至张量却面临重大障碍。现有的张量框架（如模态乘积和 Tucker 分解）往往无法保持对谱分析和优化至关重要的基本代数性质，如结合律和可逆性。此外，在张量空间内定义一致的迹和特征值概念仍非易事。本文专门针对这些空白，在 T-积框架下开展工作，该框架利用离散傅里叶变换（DFT）来维持类矩阵的代数结构。

方法论
作者利用通过块循环矩阵（bcirc）定义的 T-积结构，将矩阵运算推广至三阶张量。核心方法论包括：

1. 代数映射：利用张量的 T-积对应于其块循环表示的矩阵乘积这一性质。这使得经典矩阵谱理论（如瑞利商、冯·诺依曼迹不等式）能够应用于张量。
2. 基于迹的分析：通过在傅里叶域中对其前切片迹的求和来定义张量的迹。该迹泛函被用于推导特征值界和距离度量。
3. 几何推广：将原本定义于 PSD 矩阵的 Bures-Wasserstein 距离推广至 PSD 张量锥。这涉及通过 T-SVD 定义张量平方根（$A^{1/2}$），并利用其构建测地路径和距离度量。
4. 条件松弛分析：分析当严格的 PSD 条件被放宽至一般厄米特或对称张量时，推导出的界如何表现。

主要贡献
本文做出了以下具体贡献：

• 基于迹的特征值界：作者建立了 PSD 张量 T-特征值的新界。具体而言，他们推导了不等式，将两个张量的 T-积的迹（$tr(A * B)$）与其特征值的乘积联系起来，利用了适配于 T-积框架的冯·诺依曼迹不等式。他们还提供了涉及组成张量最小和最大特征值的$tr(A * B * A)$ 的界。
• Bures-Wasserstein 距离的推广：研究成功将 Bures-Wasserstein 距离推广至张量空间。该距离度量定义为：
  $$d(A, B) = \left( tr(A) + tr(B) - 2 tr\left( (A^{1/2} * B * A^{1/2})^{1/2} \right) \right)^{1/2}$$
  该公式为 PSD 张量提供了几何结构，架起了代数运算与几何解释之间的桥梁。
• 松弛条件分析：本文推导了当 PSD 假设被放宽时的修正迹不等式，引入对称化张量（$\bar{A}$）以维持对一般厄米特张量的有效界。
• 张量的 Ky Fan 定理：作者将 Ky Fan 定理扩展至 T-积设定，确立了投影 $tr(U * H * U^H)$ 的最大（和最小）迹对应于厄米特张量 $H$ 的最大（和最小）T-特征值之和。
• 复杂度分析：提供了详细的计算复杂度分析。T-积运算随管维 $p$ 高效扩展（对数线性），而特征值界和 Ky Fan 和的扩展复杂度为 $O(n^3 p^3)$。Bures-Wasserstein 距离的扩展复杂度为 $O(n^3 p)$，使其适用于迭代优化方案。

结果
理论发现得到了说明性数值示例的支持：

• 界的验证：$2 \times 2 \times 2$ 张量的示例表明，推导出的特征值界（例如 $\mu_{min}(M_A) \le \lambda \le \mu_{max}(M_A)$）成立，其中 $M_A$ 是对称化块循环矩阵。
• 距离计算：一个具体示例计算了两个 $2 \times 2 \times 2$ 张量之间的 Bures-Wasserstein 距离，得出值约为 0.705，证实了该度量的可计算性。
• 界的紧致性：本文证明了基于特征值的迹不等式界是紧致的，因为当测试张量与对应于极端特征值的特征向量对齐时，这些界即可达到。

意义与主张
本文声称通过迹泛函将 PSD 张量的代数结构与其内在几何性质相联系，从而提供了对 PSD 张量的“结构化理解”。通过建立基于迹的度量并推广 Bures-Wasserstein 距离，这项工作为衡量 PSD 张量之间的相似性提供了新视角。作者认为，这些工具对于优化、信号处理和机器学习等张量数据普遍存在的应用领域尤为相关。研究强调，所提出的方法在适应张量高阶性质的同时，保留了矩阵的基本谱性质，从而克服了其他缺乏结合律或可逆性的张量框架的局限性。复杂度分析进一步断言，这些方法在处理大规模问题时具有实际可行性，特别是在管维 $p$ 较大但前切片维 $n$ 适中的情况下。