2024/10/15 by Abeer Al Ahmadieh, Ahmadieh, Abeer Al, Felipe Rincón +5
Computer Science · Engineering · Physics and Astronomy · #Advanced Mathematical Theories and Applications #Algebraic Geometry (math.AG) #Combinatorics (math.CO) #FOS: Mathematics #Matrix Theory and Algorithms #graph theory and CDMA systems
paper · pdf · doi:10.48550/arxiv.2410.11220
openalex publication_date 2024/10/15 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We study the tropicalization of the image of the cone of positive definite matrices under the principal minors map. It is a polyhedral subset of the set of M-concave functions on the discrete n-dimensional cube. We show it coincides with the intersection of the affine tropical flag variety with the submodular cone. In particular, any cell in the regular subdivision of the cube induced by a point in this tropicalization can be subdivided into base polytopes of realizable matroids. We use this tropicalization as a guide to discover new algebraic inequalities among the principal minors of positive semidefinite matrices of a fixed size. We also extend our results to positive semidefinite matrices via taking closures in the tropical semifield ℝ∪\-∞\.