<p>For smooth optimization problems with a Hermitian positive semidefinite fixed-rank constraint, we consider three existing approaches including the simple Burer–Monteiro method, and Riemannian optimization over quotient geometry and the embedded geometry. These three methods can be all represented via quotient geometry with three Riemannian metrics <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10589_2025_687_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(g^i(\cdot , \cdot )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>g</mi> <mi>i</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mo>·</mo> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10589_2025_687_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\((i=1,2,3)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>i</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mn>3</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. By taking the nonlinear conjugate gradient method (CG) as an example, we show that CG in the factor-based Burer–Monteiro approach is equivalent to Riemannian CG on the quotient geometry with the Bures–Wasserstein metric <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10589_2025_687_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(g^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>g</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation>. Riemannian CG on the quotient geometry with the metric <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10589_2025_687_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(g^3\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>g</mi> <mn>3</mn> </msup> </math></EquationSource> </InlineEquation> is equivalent to Riemannian CG on the embedded geometry. For comparing the three approaches, we analyze the condition number of the Riemannian Hessian near a minimizer under the three different metrics. Under certain assumptions, the condition number from the Bures–Wasserstein metric <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10589_2025_687_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(g^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>g</mi> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> is significantly worse than the other two metrics. Numerical experiments show that the Burer–Monteiro CG method has obviously slower asymptotic convergence rate either when the minimizer has a large condition number or when it is rank deficient, which is consistent with the condition number analysis.</p>

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

Riemannian optimization using three different metrics for Hermitian PSD fixed-rank constraints

  • Shixin Zheng,
  • Wen Huang,
  • Bart Vandereycken,
  • Xiangxiong Zhang

摘要

For smooth optimization problems with a Hermitian positive semidefinite fixed-rank constraint, we consider three existing approaches including the simple Burer–Monteiro method, and Riemannian optimization over quotient geometry and the embedded geometry. These three methods can be all represented via quotient geometry with three Riemannian metrics \(g^i(\cdot , \cdot )\) g i ( · , · ) \((i=1,2,3)\) ( i = 1 , 2 , 3 ) . By taking the nonlinear conjugate gradient method (CG) as an example, we show that CG in the factor-based Burer–Monteiro approach is equivalent to Riemannian CG on the quotient geometry with the Bures–Wasserstein metric \(g^1\) g 1 . Riemannian CG on the quotient geometry with the metric \(g^3\) g 3 is equivalent to Riemannian CG on the embedded geometry. For comparing the three approaches, we analyze the condition number of the Riemannian Hessian near a minimizer under the three different metrics. Under certain assumptions, the condition number from the Bures–Wasserstein metric \(g^1\) g 1 is significantly worse than the other two metrics. Numerical experiments show that the Burer–Monteiro CG method has obviously slower asymptotic convergence rate either when the minimizer has a large condition number or when it is rank deficient, which is consistent with the condition number analysis.