[論文レビュー] On D. Haegele's approach to the Bessis-Moussa-Villani conjecture

Peter S. Landweber, Eugène R. Speer|ArXiv.org|Nov 5, 2007

Advanced Combinatorial Mathematics参考文献 4被引用数 5

ひとこと要約

この論文は、正定値行列 A および B に対する (A + tB)^p のトレース展開における係数の非負性を証明する D. Hägele の手法を拡張する。p も r も奇数である場合の手法の成功条件を分析し、条件 H が成立するのは、p と r がともに奇数であり r = p − 4 のとき、または特定の構造的制約があるときであると証明する。主な貢献は、この手法が成功する場合の完全な分類であり、p = 9, r = 3 の場合に失敗することを示し、この経路を通じて全 Bessis-Moussa-Villani 猜想を確立できないことを示している。

ABSTRACT

The reformulation of the Bessis-Moussa-Villani conjecture given by Lieb and Seiringer asserts that the coefficient of t^r in the polynomial Trace[(A+tB)^p], with A and B positive semidefinite matrices, is nonnegative for all p and r. We propose a natural extension of a method of attack on this problem due to Haegele, and investigate for what values of p and r the method is successful, obtaining a complete determination when either p or r is odd.

研究の動機と目的

• D. Hägele の手法が、正定値行列 A, B に対して αp,r(A,B) の係数の非負性を証明する適用可能性を調査すること。
• p と r のどの値に対して、この手法がすべての正定値行列 A, B に対して αp,r ≥ 0 を確立できるかを特定すること。
• p または r が奇数であるすべてのペア (p,r) に対して、この手法の条件 H が成立する場合を分類すること。
• p = 9, r = 3 の場合にこの手法が失敗することを示し、したがってこの経路を通じて全 BMV 猜想を確立できないことを示すこと。

提案手法

• この手法は Hägele のアプローチを一般化し、αp,r(A,B) が、p と r の偶奇に応じて Tr(Z(c^{(m)})BZ(c^{(m)})^*) または Tr(Z(c^{(m)})BZ(c^{(m)})^*A) の形のトレースの和として表現されるような係数 c^{(m)} を構成する。
• 中心的なアイデアは、トレースの巡回置換による不変性を用いて、二進文字列の巡回同値類の和として αp,r(A,B) を表現すること。
• 条件 H を導入する：各巡回同値類のサイズと一致する方程式系を満たす係数 c^{(m)} が存在すること。
• この手法は、非可換多項式環 R⟨a,b⟩ における巡回同値性と関連する、エルミート平方の和へのトレースの表現に依存している。
• 2 つのケースに分ける：ケース 1（p と r が奇数）、ケース 2（p が偶数、r が奇数）。p が奇数で r が偶数の場合の双対ケースについては、r ↔ p−r の対称性により対称的な結果が得られる。
• この手法は、巡回的同値なエルミート平方の和の Θ² 錐と関連しており、条件 H が S_{p,r}(a²,b²) ∈ Θ² を意味し、逆にそれも成り立つことを示している。

実験結果

リサーチクエスチョン

• RQ1 p または r が奇数であるペア (p,r) のうち、Hägele の手法がすべての正定値行列 A, B に対して αp,r ≥ 0 を証明できるのはどの場合か？
• RQ2 p と r がともに偶数のとき、この手法は成功するのか、それとも本質的に p も r も奇数のときのみ有効なのか？
• RQ3 p = 9, r = 3 の場合に条件 H を満たすことは可能か？もし不可能なら、どのような構造的障害が生じるか？
• RQ4 p が奇数または r が奇数である場合に、この手法が機能する (p,r) ペアの完全な分類は何か？
• RQ5 p = 9, r = 3 の場合にこの手法が失敗することは、BMV 猜想がこの経路では証明できないことを示唆するか？

主な発見

• 条件 H が成立するのは、p と r がともに奇数であり r = p − 4 のとき、または補題 7 の特定の文字列構成条件があるときである。
• p = 9, r = 3 の場合、コーシー・シュワルツ不等式から導かれる方程式系の不整合により、この手法は失敗する。
• すべての奇数 p に対して、r = p − 4 のときこの手法は成功し、p が奇数であれば αp,p−4 ≥ 0 がすべての p に対して成立する。
• p = 6, r = 3 の場合、この手法は失敗するが、Hillar の定理により p = 7, r = 3 の結果によってカバーされる。
• この手法では全 BMV 猜想を確立できない。なぜなら、p = 9, r = 3 の場合に失敗し、成功するケースは限定的だからである。
• これらの結果は、この手法を用いて BMV 猜想を証明するには、p と r がともに偶数である場合を検討する必要があることを示唆している。