<p>The set of real matrices of upper-bounded rank is a real algebraic variety called the real generic determinantal variety. An explicit description of the tangent cone to that variety is given in Theorem&#xa0;3.2 of Schneider and Uschmajew (SIAM J. Optim. 25(1):622–646, <CitationRef CitationID="CR41">2015</CitationRef>). The present paper shows that the proof therein is incomplete and provides a proof. It also reviews equivalent descriptions of the tangent cone to that variety. Moreover, it shows that the tangent cone and the algebraic tangent cone to that variety coincide, which is not true for all real algebraic varieties.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Tangent Cone to the Real Determinantal Variety: Various Expressions and a Proof

  • Guillaume Olikier,
  • Petar Mlinarić,
  • P.-A. Absil,
  • André Uschmajew

摘要

The set of real matrices of upper-bounded rank is a real algebraic variety called the real generic determinantal variety. An explicit description of the tangent cone to that variety is given in Theorem 3.2 of Schneider and Uschmajew (SIAM J. Optim. 25(1):622–646, 2015). The present paper shows that the proof therein is incomplete and provides a proof. It also reviews equivalent descriptions of the tangent cone to that variety. Moreover, it shows that the tangent cone and the algebraic tangent cone to that variety coincide, which is not true for all real algebraic varieties.