<p>We shown among other inequalities that if <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3264_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mn>1</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$A_{1}$</EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3264_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mn>1</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$B_{1}$</EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3264_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>X</mi> <mn>1</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$X_{1}$</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3264_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>Y</mi> <mn>1</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$Y_{1}$</EquationSource> </InlineEquation> are <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3264_Article_IEq5.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>n</mi> <mo>×</mo> <mi>n</mi> </math></EquationSource> <EquationSource Format="TEX">$n\times n$</EquationSource> </InlineEquation> complex matrices such that <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3264_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>A</mi> <mn>1</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$A_{1}$</EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3264_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="20" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mn>1</mn> </msub> </math></EquationSource> <EquationSource Format="TEX">$B_{1}$</EquationSource> </InlineEquation> are positive semidefinite, then <Equation ID="Equa"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3264_Article_Equa.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="400" /> </MediaObject> <EquationSource Format="MATHML"><math> <msub> <mi>s</mi> <mi>j</mi> </msub> <mo stretchy="false">(</mo> <msub> <mi>Y</mi> <mn>1</mn> </msub> <msub> <mi>A</mi> <mn>1</mn> </msub> <msub> <mi>X</mi> <mn>1</mn> </msub> <mo>−</mo> <msub> <mi>X</mi> <mn>1</mn> </msub> <msub> <mi>B</mi> <mn>1</mn> </msub> <msub> <mi>Y</mi> <mn>1</mn> </msub> <mo stretchy="false">)</mo> <mo>≤</mo> <msub> <mi>s</mi> <mi>j</mi> </msub> <mo stretchy="false">(</mo> <mi>Z</mi> <mo>⊕</mo> <mi>P</mi> <mo stretchy="false">)</mo> <mspace width="0.3em" /> <mtext>for</mtext> <mspace width="0.3em" /> <mi>j</mi> <mo>=</mo> <mn>1</mn> <mo>,</mo> <mn>2</mn> <mo>,</mo> <mo>…</mo> <mo>,</mo> <mn>2</mn> <mi>n</mi> <mo>,</mo> </math></EquationSource> <EquationSource Format="TEX">\( s_{j}( Y_{1}A_{1}X_{1}-X_{1}B_{1}Y_{1}) \leq s_{j}(Z \oplus P) ~ \text{for}~j=1,2,\ldots,2n, \)</EquationSource> </Equation> where <Equation ID="Equb"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2025_3264_Article_Equb.gif" Format="GIF" Height="176" Rendition="HTML" Resolution="72" Type="Linedraw" Width="238" /> </MediaObject> <EquationSource Format="MATHML"><math> <mtable> <mtr> <mtd columnalign="left"> <mi>Z</mi> <mo>=</mo> <msub> <mi>Z</mi> <mn>1</mn> </msub> <mo>+</mo> <mo stretchy="false">|</mo> <msub> <mi>Z</mi> <mn>2</mn> </msub> <mo stretchy="false">|</mo> <mo>,</mo> <mspace width="0.3em" /> <mspace width="0.3em" /> <mi>P</mi> <mo>=</mo> <msub> <mi>P</mi> <mn>1</mn> </msub> <mo>+</mo> <mo stretchy="false">|</mo> <msub> <mi>P</mi> <mn>2</mn> </msub> <mo stretchy="false">|</mo> <mo>,</mo> </mtd> </mtr> <mtr> <mtd columnalign="left"> <msub> <mi>Z</mi> <mn>1</mn> </msub> <mo>=</mo> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> <msubsup> <mi>A</mi> <mn>1</mn> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msubsup> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <msub> <mi>Y</mi> <mn>1</mn> </msub> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> <mo>+</mo> <mo stretchy="false">|</mo> <msubsup> <mi>X</mi> <mn>1</mn> <mo>∗</mo> </msubsup> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> <mo stretchy="false">)</mo> <msubsup> <mi>A</mi> <mn>1</mn> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msubsup> <mo>,</mo> </mtd> </mtr> <mtr> <mtd columnalign="left"> <msub> <mi>Z</mi> <mn>2</mn> </msub> <mo>=</mo> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> <msubsup> <mi>B</mi> <mn>1</mn> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msubsup> <mo stretchy="false">(</mo> <msubsup> <mi>X</mi> <mn>1</mn> <mo>∗</mo> </msubsup> <msub> <mi>Y</mi> <mn>1</mn> </msub> <mo>−</mo> <msub> <mi>Y</mi> <mn>1</mn> </msub> <msubsup> <mi>X</mi> <mn>1</mn> <mo>∗</mo> </msubsup> <mo stretchy="false">)</mo> <msubsup> <mi>A</mi> <mn>1</mn> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msubsup> <mo>,</mo> </mtd> </mtr> <mtr> <mtd columnalign="left"> <msub> <mi>P</mi> <mn>1</mn> </msub> <mo>=</mo> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> <msubsup> <mi>B</mi> <mn>1</mn> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msubsup> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <msub> <mi>X</mi> <mn>1</mn> </msub> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> <mo>+</mo> <mo stretchy="false">|</mo> <msubsup> <mi>Y</mi> <mn>1</mn> <mo>∗</mo> </msubsup> <msup> <mo stretchy="false">|</mo> <mn>2</mn> </msup> <mo stretchy="false">)</mo> <msubsup> <mi>B</mi> <mn>1</mn> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msubsup> <mo>,</mo> <mspace width="0.3em" /> <mtext>and</mtext> </mtd> </mtr> <mtr> <mtd columnalign="left"> <msub> <mi>P</mi> <mn>2</mn> </msub> <mo>=</mo> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> <msubsup> <mi>A</mi> <mn>1</mn> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msubsup> <mo stretchy="false">(</mo> <msubsup> <mi>Y</mi> <mn>1</mn> <mo>∗</mo> </msubsup> <msub> <mi>X</mi> <mn>1</mn> </msub> <mo>−</mo> <msub> <mi>X</mi> <mn>1</mn> </msub> <msubsup> <mi>Y</mi> <mn>1</mn> <mo>∗</mo> </msubsup> <mo stretchy="false">)</mo> <msubsup> <mi>B</mi> <mn>1</mn> <mfrac> <mrow> <mn>1</mn> </mrow> <mn>2</mn> </mfrac> </msubsup> <mo>.</mo> </mtd> </mtr> </mtable> </math></EquationSource> <EquationSource Format="TEX"> \(\begin{aligned}&amp; Z=Z_{1} +|Z_{2}|,~~P=P_{1}+|P_{2}|,\\&amp; Z_{1}=\frac{1}{2} A_{1}^{\frac{1}{2}} (|Y_{1}|^{2}+|X_{1}^{*}|^{2})A_{1}^{ \frac{1}{2}},\\&amp; Z_{2}=\frac{1}{2} B_{1}^{\frac{1}{2}} (X_{1}^{*}Y_{1}-Y_{1}X_{1}^{*})A_{1}^{ \frac{1}{2}},\\&amp; P_{1}=\frac{1}{2} B_{1}^{\frac{1}{2}} (|X_{1}|^{2}+|Y_{1}^{*}|^{2})B_{1}^{ \frac{1}{2}},~ \text{and}\\&amp; P_{2}=\frac{1}{2} A_{1}^{\frac{1}{2}} (Y_{1}^{*}X_{1}-X_{1}Y_{1}^{*})B_{1}^{ \frac{1}{2}}. \end{aligned}\) </EquationSource> </Equation> This inequality generalizes a recent inequality due to Audeh.</p>

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

Singular value inequalities for generalized anticommutators

  • Manal Al-Labadi,
  • Raja’a Al-Naimi,
  • Wasim Audeh

摘要

We shown among other inequalities that if A 1 $A_{1}$ , B 1 $B_{1}$ , X 1 $X_{1}$ , and Y 1 $Y_{1}$ are n × n $n\times n$ complex matrices such that A 1 $A_{1}$ and B 1 $B_{1}$ are positive semidefinite, then s j ( Y 1 A 1 X 1 X 1 B 1 Y 1 ) s j ( Z P ) for j = 1 , 2 , , 2 n , \( s_{j}( Y_{1}A_{1}X_{1}-X_{1}B_{1}Y_{1}) \leq s_{j}(Z \oplus P) ~ \text{for}~j=1,2,\ldots,2n, \) where Z = Z 1 + | Z 2 | , P = P 1 + | P 2 | , Z 1 = 1 2 A 1 1 2 ( | Y 1 | 2 + | X 1 | 2 ) A 1 1 2 , Z 2 = 1 2 B 1 1 2 ( X 1 Y 1 Y 1 X 1 ) A 1 1 2 , P 1 = 1 2 B 1 1 2 ( | X 1 | 2 + | Y 1 | 2 ) B 1 1 2 , and P 2 = 1 2 A 1 1 2 ( Y 1 X 1 X 1 Y 1 ) B 1 1 2 . \(\begin{aligned}& Z=Z_{1} +|Z_{2}|,~~P=P_{1}+|P_{2}|,\\& Z_{1}=\frac{1}{2} A_{1}^{\frac{1}{2}} (|Y_{1}|^{2}+|X_{1}^{*}|^{2})A_{1}^{ \frac{1}{2}},\\& Z_{2}=\frac{1}{2} B_{1}^{\frac{1}{2}} (X_{1}^{*}Y_{1}-Y_{1}X_{1}^{*})A_{1}^{ \frac{1}{2}},\\& P_{1}=\frac{1}{2} B_{1}^{\frac{1}{2}} (|X_{1}|^{2}+|Y_{1}^{*}|^{2})B_{1}^{ \frac{1}{2}},~ \text{and}\\& P_{2}=\frac{1}{2} A_{1}^{\frac{1}{2}} (Y_{1}^{*}X_{1}-X_{1}Y_{1}^{*})B_{1}^{ \frac{1}{2}}. \end{aligned}\) This inequality generalizes a recent inequality due to Audeh.