arXiv:1809.02491 [math.OC]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords linear matrix equations, non-convex quadratic functional, probabilistic guarantee, determining rank constrained solutions, formal proof/comprehensive analysis Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset