[论文解读] The truncated tracial moment problem

Sabine Burgdorf, Igor Klep|arXiv (Cornell University)|Jan 20, 2010

Advanced Topics in Algebra参考文献 18被引用 9

一句话总结

本文建立了非交换多项式情形下Curto与Fialkow经典矩问题结果的迹类类比。证明了当且仅当其矩矩阵为半正定且存在平坦扩张时，一个截断的迹序列 admits 一个迹矩表示，从而完整解决了截断迹矩问题，并实现了通过厄米平方和交换子表征迹正多项式的可能。

ABSTRACT

We present tracial analogs of the classical results of Curto and Fialkow on moment matrices. A sequence of real numbers indexed by words in non-commuting variables with values invariant under cyclic permutations of the indexes, is called a tracial sequence. We prove that such a sequence can be represented with tracial moments of matrices if its corresponding moment matrix is positive semidefinite and of finite rank. A truncated tracial sequence allows for such a representation if and only if one of its extensions admits a flat extension. Finally, we apply the theory via duality to investigate trace-positive polynomials in non-commuting variables.

研究动机与目标

• 将经典矩问题理论扩展至非交换设定，利用循环置换下的迹不变性。
• 表征实数截断序列何时可作为矩阵的迹矩。
• 建立迹矩表示与非交换多项式迹正性之间的对偶关系。
• 提供基于平坦扩张的算法性判据，以判断迹矩表示的存在性。

提出的方法

• 引入在非交换变量循环置换下不变的迹序列。
• 定义迹矩矩阵，并确立其在将序列表示为矩阵多项式迹中的作用。
• 应用平坦扩张理论，表征具有唯一表示的有限秩、半正定迹矩矩阵。
• 利用对偶性，将迹矩表示的存在性与非交换多项式的迹正性联系起来。
• 运用矩阵不等式与柯西-施瓦茨不等式，在不可表示的情形下导出矛盾。
• 分析具有半正定矩矩阵的截断迹序列凸锥的极值点，以约束表示中矩阵块结构。

实验结果

研究问题

• RQ1 一个以非交换字词为索引的实数截断序列，何时可表示为矩阵的迹矩？
• RQ2 迹矩矩阵需满足何种条件，才能保证给定序列存在迹矩表示？
• RQ3 如何利用迹矩问题与非交换多项式迹正性之间的对偶性来表征此类多项式？
• RQ4 矩矩阵的平坦扩张在确定迹矩表示存在性方面起何种作用？
• RQ5 能否利用该框架证明特定多项式类（如二元四次式或双二次式）为迹正？

主要发现

• 当且仅当其对应的迹矩矩阵为半正定且有限秩时，迹序列才 admits 迹矩表示。
• 当且仅当其某个扩张 admits 平坦扩张时，截断迹序列才允许迹矩表示。
• 若截断迹序列具有表示，则其矩矩阵必须为半正定且 admit 平坦扩张。
• 迹正的二元四次多项式（两个非交换变量的齐次四次多项式）属于厄米平方之和的锥。
• 迹正的二元双二次多项式（每个变量次数 ≤2）在循环意义下等价于厄米平方之和。
• 存在具有半正定矩矩阵但不 admit 迹矩表示的截断迹序列，证明了平坦扩张条件的必要性。