<p>By employing some powerful techniques, we establish several characterizations of the usual trace on the algebra <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1253_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {M}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">M</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> of complex square matrices. Among them, we prove that any one of (i) the commutator inequality <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1253_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="222" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (|{ XY}-{ YX}|)\le \varphi (X^2+Y^2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mrow> <mi mathvariant="italic">XY</mi> </mrow> </mrow> <mo>-</mo> <mrow> <mrow> <mi mathvariant="italic">YX</mi> </mrow> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mi>φ</mi> <mrow> <mo stretchy="false">(</mo> <msup> <mi>X</mi> <mn>2</mn> </msup> <mo>+</mo> <msup> <mi>Y</mi> <mn>2</mn> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> holds for all Hermitian matrices <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1253_Article_IEq3.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="78" /> </InlineMediaObject> <EquationSource Format="TEX">\(X, Y \in \mathbb {M}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>X</mi> <mo>,</mo> <mi>Y</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">M</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, and (ii) the generalized arithmetic–geometric mean inequality <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1253_Article_IEq4.gif" Format="GIF" Height="30" Rendition="HTML" Resolution="72" Type="Linedraw" Width="352" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi (|{ AXB}^*|)\le \frac{\varphi ((|X^*|\,|A|^{2p}|X^*|)^{1/2})}{p}+\frac{\varphi ((|B|^p|X|^2|B|^p)^{1/2})}{q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> </mrow> <msup> <mrow> <mi mathvariant="italic">AXB</mi> </mrow> <mo>∗</mo> </msup> <mrow> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mfrac> <mrow> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> </mrow> <msup> <mi>X</mi> <mo>∗</mo> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mspace width="0.166667em" /> <mo stretchy="false">|</mo> <mi>A</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mn>2</mn> <mi>p</mi> </mrow> </msup> <mrow> <mo stretchy="false">|</mo> </mrow> <msup> <mi>X</mi> <mo>∗</mo> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mo stretchy="false">)</mo> </mrow> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mrow> <mo stretchy="false">)</mo> </mrow> </mrow> <mi>p</mi> </mfrac> <mo>+</mo> <mfrac> <mrow> <msup> <mrow> <mi>φ</mi> <mo stretchy="false">(</mo> <mo stretchy="false">(</mo> <mo stretchy="false">|</mo> <mi>B</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mi>X</mi> <mo stretchy="false">|</mo> </mrow> <mn>2</mn> </msup> <msup> <mrow> <mo stretchy="false">|</mo> <mi>B</mi> <mo stretchy="false">|</mo> </mrow> <mi>p</mi> </msup> <mrow> <msup> <mo stretchy="false">)</mo> <mrow> <mn>1</mn> <mo stretchy="false">/</mo> <mn>2</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> <mi>q</mi> </mfrac> </mrow> </math></EquationSource> </InlineEquation> holds for all <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1253_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="99" /> </InlineMediaObject> <EquationSource Format="TEX">\(A, B, X \in \mathbb {M}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo>,</mo> <mi>X</mi> <mo>∈</mo> <msub> <mi mathvariant="double-struck">M</mi> <mi>n</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and all conjugate exponents <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1253_Article_IEq6.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1253_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(q&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, characterize the usual trace on <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12215_2025_1253_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {M}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">M</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>.</p>

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

More characterizations of the matrix trace

  • Mohammad Sal Moslehian

摘要

By employing some powerful techniques, we establish several characterizations of the usual trace on the algebra \(\mathbb {M}_n\) M n of complex square matrices. Among them, we prove that any one of (i) the commutator inequality \(\varphi (|{ XY}-{ YX}|)\le \varphi (X^2+Y^2)\) φ ( | XY - YX | ) φ ( X 2 + Y 2 ) holds for all Hermitian matrices \(X, Y \in \mathbb {M}_n\) X , Y M n , and (ii) the generalized arithmetic–geometric mean inequality \(\varphi (|{ AXB}^*|)\le \frac{\varphi ((|X^*|\,|A|^{2p}|X^*|)^{1/2})}{p}+\frac{\varphi ((|B|^p|X|^2|B|^p)^{1/2})}{q}\) φ ( | AXB | ) φ ( ( | X | | A | 2 p | X | ) 1 / 2 ) p + φ ( ( | B | p | X | 2 | B | p ) 1 / 2 ) q holds for all \(A, B, X \in \mathbb {M}_n\) A , B , X M n and all conjugate exponents \(p>0\) p > 0 and \(q>0\) q > 0 , characterize the usual trace on \(\mathbb {M}_n\) M n .