[论文解读] Asymptotic Positivity of Hurwitz Product Traces

Christian Fleischhack|ArXiv.org|Apr 23, 2008

Polynomial and algebraic computation参考文献 8被引用 4

一句话总结

该论文证明了当正定厄米特矩阵 $A$ 和 $B$ 满足 $AB \neq \mathbf{0}$ 时，Hurwitz 乘积的迹 $\text{tr}\,S_{m,k}(A,B)$ 在 $m$ 足够大时渐近为正。通过谱投影算子和非交换多项式中词分布的渐近分析，论文证明了存在 $m_0$（依赖于 $A$、$B$ 和 $k$），使得对所有 $m \geq m_0$ 都有 $\text{tr}\,S_{m,k}(A,B) > 0$，从而在渐近意义下支持了长期存在的 Bessis-Moussa-Villani 猜想。

ABSTRACT

Consider the polynomial $tr (A + tB)^m$ in $t$ for positive hermitian matrices $A$ and $B$ with $m \in \N$. The Bessis-Moussa-Villani conjecture (in the equivalent form of Lieb and Seiringer) states that this polynomial has nonnegative coefficients only. We prove that they are at least asymptotically positive, for the nontrivial case of $AB eq 0$. More precisely, we show that the $k$-th coefficient is positive for all integer $m \geq m_0$, where $m_0$ depends on $A$, $B$ and $k$.

研究动机与目标

• 研究在 Bessis-Moussa-Villani (BMV) 猜想背景下，Hurwitz 乘积迹 $\text{tr}\,S_{m,k}(A,B)$ 关于大 $m$ 的渐近行为。
• 确定多项式 $\text{tr}(A + tB)^m$ 的系数是否在 $m$ 增大时保持正性，尽管已知个别项可能为负。
• 证明当 $AB \neq \mathbf{0}$ 时，对充分大的 $m$ 有 $\text{tr}\,S_{m,k}(A,B) > 0$，为 BMV 猜想提供渐近证据。
• 通过近似投影算子 $P_A = \lim_{i \to \infty} A^i$，分析 $A$ 和 $B$ 的非交换单项式的结构，尤其关注 $B$ 因子稀疏分布的情况。
• 表明 $\text{tr}\,(P_A B P_A)^k$ 的正性驱动了迹的渐近正性，当该迹为零时，通过归纳法将其约化为低维子空间上的情形。

提出的方法

• 使用谱投影算子 $P_A = \lim_{i \to \infty} A^i$ 来近似包含 $k$ 个 $B$ 因子且 $B$ 因子稀疏分布的长词 $A$ 和 $B$ 的乘积。
• 通过将 $\text{tr}\,S_{m,k}(A,B)$ 分解为形如 $A^{i_1} B A^{i_2} \cdots B A^{i_{k+1}}$ 的项（其中 $i_j$ 很大）来分析其渐近行为。
• 应用近似 $\text{tr}\,S_{m,k}(A,B) \approx \text{tr}\,(P_A B P_A)^k$，表明其正性取决于 $\text{tr}\,(P_A B P_A)^k > 0$。
• 当 $\text{tr}\,(P_A B P_A)^k = 0$ 时，采用归纳法将问题分解为 $A$ 和 $B$ 在子空间上非平凡作用的低维块。
• 使用归一化商 $q_{m,k}(A,B) = \text{tr}\,S_{m,k}(A,B) / \text{tr}\,S_{m,k}(\|A\|\mathbf{1}, \|B\|\mathbf{1})$ 消除平凡的范数依赖性，以研究迹的相对正性。
• 应用李代数技巧和涉及交换子与弗罗贝尼乌斯范数的迹恒等式，推导在范数约束下 $\text{tr}\,S_{m,k}$ 的极值条件。

实验结果

研究问题

• RQ1 对于固定的 $k$ 和满足 $AB \neq \mathbf{0}$ 的正定厄米特矩阵 $A$、$B$，当 $m$ 足够大时，Hurwitz 乘积 $S_{m,k}(A,B)$ 的迹是否保持为正？
• RQ2 $\text{tr}\,S_{m,k}(A,B)$ 在 $m \to \infty$ 时的渐近行为如何，特别是在 $B$ 因子在非交换单项式中稀疏分布的区域？
• RQ3 即使 $S_{m,k}(A,B)$ 中的个别项迹为负，是否仍可渐近证明 $\text{tr}\,S_{m,k}(A,B)$ 的正性？
• RQ4 在什么条件下 $\text{tr}\,(P_A B P_A)^k = 0$？这如何导致矩阵维数的归纳约化？
• RQ5 对于大 $m$，归一化商 $q_{m,k}(A,B)$ 是否有正的下界？这是否支持完整的 BMV 猜想？

主要发现

• 对于任意满足 $AB \neq \mathbf{0}$ 的正定厄米特矩阵 $A$ 和 $B$，存在 $m_0 \in \mathbb{N}$，使得对所有 $m \geq m_0$ 都有 $\text{tr}\,S_{m,k}(A,B) > 0$，从而证明了渐近正性。
• 渐近正性由 $\text{tr}\,(P_A B P_A)^k > 0$ 驱动，其中 $P_A = \lim_{i \to \infty} A^i$ 是投影到 $A$ 的非可逆部分的核空间的谱投影算子。
• 当 $\text{tr}\,(P_A B P_A)^k = 0$ 时，矩阵 $A$ 和 $B$ 可被分块分解为 $A = \mathbf{1}_{n-l} \oplus A'$，$B = \mathbf{0}_{n-l} \oplus B'$，从而实现向低维情形的归纳约化。
• 归一化商 $q_{m,k}(A,B)$ 满足对所有 $m \geq m_0$ 都有 $q_{m,k}(A,B) > 0$，表明迹的相对正性在渐近下得以保持。
• $m_0$ 对 $A$、$B$ 和 $k$ 的依赖是非一致的且至关重要，因此该结果不蕴含完整的 BMV 猜想，但提供了强有力的渐近证据。
• 数值模拟表明 $\text{tr}\,S_{m,k}(A,B)$ 序列具有更深层结构，尽管本文未证明该序列对所有 $m$ 单调或下界为正的常数。