Connes' embedding conjecture and sums of hermitian squares

Sums of hermitian squares and the BMV conjecture

Recently Lieb and Seiringer showed that the Bessis-Moussa-Villani conjecture from quantum physics can be restated in the following purely algebraic way: The sum of all words in two positive semidefinite matrices where the number of each of the two letters is fixed is always a matrix with nonnegative trace. We show that this statement holds if the words are of length at most 13. This has previously been known only up to length 7. In our proof, we establish a connection to sums of hermitian squares of polynomials in noncommuting variables and to semidefinite programming. As a by-product we obtai…

投影的非厄米和之布朗测度

The Brown Measure of Non-Hermitian Sums of Projections

本文通过将两个自由独立厄米投影生成的冯·诺依曼代数非平凡部分建模为 2×2 随机矩阵，计算了非正规算子 X=p+iq 的布朗测度，并发现其支撑在双曲线上，同时分析了其原子与对称性。

Sums of Hermitian Squares as an Approach to the BMV Conjecture

Lieb and Seiringer stated in their reformulation of the Bessis-Moussa-Villani (BMV) conjecture that all coefficients of the polynomial p(t)=Tr[(A+tB)^m], where A and B are positive semidefinite matrices of the same size and m an arbitrary integer, are nonnegative. The coefficient of t^k is the trace of S_{m,k}(A,B), which is the sum of all words of length m in the letters A and B in which B appears exactly k times. We consider the case k=4 and show that S_{m,4}(A,B) is a sum of hermitian squares and commutators. In particular, the trace of S_{m,4}(A,B) is nonnegative.

非厄米投影和的法律的收敛性

Convergence of the Laws of Non-Hermitian Sums of Projections

本文研究由两个独立 Haar 酉旋转厄米矩阵构成的非厄米随机矩阵模型，证明其经验谱分布收敛到相应自由独立厄米元之和的 Brown 测度，并给出逆命题。

Pure states, positive matrix polynomials and sums of hermitian squares

Let M be an archimedean quadratic module of real t-by-t matrix polynomials in n variables, and let S be the set of all real n-tuples where each element of M is positive semidefinite. Our key finding is a natural bijection between the set of pure states of M and the cartesian product of S with the real projective (t-1)-space. This leads us to conceptual proofs of positivity certificates for matrix polynomials, including the recent seminal result of Hol and Scherer: If a symmetric matrix polynomial is positive definite on S, then it belongs to M. We also discuss what happens for non-symmetric ma…

具有消失阿贝尔化的齐次对称迹正六次多项式是埃尔米特平方与交换子的和

Homogeneous symmetric trace-positive sextics with vanishing abelianization are sums of Hermitian squares and commutators

本文在阿贝尔化消失的双变量对称齐次六次多项式空间中，证明迹正性等价于属于埃尔米特平方和的锥，给出了该空间中两类锥的完整显式描述。