Bad projections of the PSD cone

DOI10.1007/S13348-021-00319-4MaRDI QIDQ2044155zbMATH OpenOpenAlexFDO

Authors Yuhan Jiang, Bernd Sturmfels

Publication date 4 August 2021

Published in Collectanea Mathematica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2006.09956

zbMATH Keywords

Chow formGrassmanniannormal cyclePataki's theorempositive semidefinite coneprojectionsemidefinite programming

Mathematics Subject Classification ID

Real algebra (13J30) Grassmannians, Schubert varieties, flag manifolds (14M15) Semialgebraic sets and related spaces (14P10) Computational aspects of algebraic curves (14Q05) Computational aspects of higher-dimensional varieties (14Q15) Duality theory (optimization) (49N15) Inequalities and extremum problems involving convexity in convex geometry (52A40) Computational aspects related to convexity (52B55) Semidefinite programming (90C22) Optimality conditions and duality in mathematical programming (90C46)

Abstract: The image of the cone of positive semidefinite matrices under a linear map is a convex cone. Pataki characterized the set of linear maps for which that image is not closed. The Zariski closure of this set is a hypersurface in the Grassmannian. Its components are the coisotropic hypersurfaces of symmetric determinantal varieties. We develop the convex algebraic geometry of such bad projections, with focus on explicit computations.

Recommendations

• On the cone of positive semidefinite matrices
• Positive polynomials and projections of spectrahedra
• Faces of the cone of positive semidefinite matrices
• On cone of nonsymmetric positive semidefinite matrices
• Extremals and exposed faces of the cone of positive maps

Cites work

• A lower bound on the positive semidefinite rank of convex bodies
• An exact duality theory for semidefinite programming based on sums of squares
• Bad semidefinite programs: they all look the same
• Characterizing bad semidefinite programs: normal forms and short proofs
• Coisotropic hypersurfaces in Grassmannians
• Computing images of polynomial maps
• Convex Analysis
• Exact Duality in Semidefinite Programming Based on Elementary Reformulations
• Generic Spectrahedral Shadows
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 575960 (Why is no real title available?)
• Multivariate Gaussians, semidefinite matrix completion, and convex algebraic geometry
• Quartic curves and their bitangents
• Semidefinite Optimization and Convex Algebraic Geometry
• Strong duality in conic linear programming: facial reduction and extended duals
• Sums of squares in Macaulay2
• The algebraic degree of semidefinite programming
• The Chow form of the essential variety in computer vision
• The geometry of SDP-exactness in quadratic optimization
• The Hurwitz form of a projective variety

Cited in

(5)

• Equations and multidegrees for inverse symmetric matrix pairs
• scientific article; zbMATH DE number 7476198 (Why is no real title available?)
• An echelon form of weakly infeasible semidefinite programs and bad projections of the psd cone
• Gibbs manifolds
• RNS superstring measure for genus 3

Describes a project that uses

Uses Software

• Macaulay2
• SumsOfSquares

This page was built for publication: Bad projections of the PSD cone

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2044155)