Abstract <p>We characterize the tracial functionals on the full matrix algebra <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb{M}_{n}(\mathbb{C})\)</EquationSource> <!--LobJMat2560796Dalloul-m1--> </InlineEquation> via the inequality <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="201" /> </InlineMediaObject> <EquationSource Format="TEX">\(16\,\varphi(BA^{2}B)\leq\varphi((A+B)^{4})\)</EquationSource> <!--LobJMat2560796Dalloul-m2--> </InlineEquation> for all <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="108" /> </InlineMediaObject> <EquationSource Format="TEX">\(A,B\in\mathbb{M}_{n}(\mathbb{C})^{+}\)</EquationSource> <!--LobJMat2560796Dalloul-m3--> </InlineEquation>. We proved that for a positive normal linear functional <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi\)</EquationSource> <!--LobJMat2560796Dalloul-m4--> </InlineEquation> on a von Neumann algebra <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal{M}\)</EquationSource> <!--LobJMat2560796Dalloul-m5--> </InlineEquation> the following conditions are equivalent: (i) <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq4.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="16" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi\)</EquationSource> <!--LobJMat2560796Dalloul-m6--> </InlineEquation> is tracial; (ii) <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="196" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi(A^{p}+B^{p})\leq\varphi((A+B)^{p})\)</EquationSource> <!--LobJMat2560796Dalloul-m7--> </InlineEquation> for some <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq8.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(p&gt;1\)</EquationSource> <!--LobJMat2560796Dalloul-m8--> </InlineEquation> and for all <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq9.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(A,B\in\mathcal{M}^{+}\)</EquationSource> <!--LobJMat2560796Dalloul-m9--> </InlineEquation>; (iii) <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq10.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="196" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi(A^{p}+B^{p})\geq\varphi((A+B)^{p})\)</EquationSource> <!--LobJMat2560796Dalloul-m10--> </InlineEquation> for some <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="71" /> </InlineMediaObject> <EquationSource Format="TEX">\(0&lt;p&lt;1\)</EquationSource> <!--LobJMat2560796Dalloul-m11--> </InlineEquation> and for all <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq9.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(A,B\in\mathcal{M}^{+}\)</EquationSource> <!--LobJMat2560796Dalloul-m12--> </InlineEquation>; (iv) <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq13.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="187" /> </InlineMediaObject> <EquationSource Format="TEX">\(8\,\varphi(PQP)\leq\varphi((P+Q)^{3})\)</EquationSource> <!--LobJMat2560796Dalloul-m13--> </InlineEquation> for all <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12202_2025_8342_Article_IEq14.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(P,Q\in\mathcal{M}^{\textrm{pr}}\)</EquationSource> <!--LobJMat2560796Dalloul-m14--> </InlineEquation>.</p>

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

Characterization of Tracial Functionals on a von Neumann Algebra by Inequalities for Power Functions

  • M. Dalloul,
  • I. Jaloud

摘要

Abstract

We characterize the tracial functionals on the full matrix algebra \(\mathbb{M}_{n}(\mathbb{C})\) via the inequality \(16\,\varphi(BA^{2}B)\leq\varphi((A+B)^{4})\) for all \(A,B\in\mathbb{M}_{n}(\mathbb{C})^{+}\) . We proved that for a positive normal linear functional \(\varphi\) on a von Neumann algebra \(\mathcal{M}\) the following conditions are equivalent: (i) \(\varphi\) is tracial; (ii) \(\varphi(A^{p}+B^{p})\leq\varphi((A+B)^{p})\) for some \(p>1\) and for all \(A,B\in\mathcal{M}^{+}\) ; (iii) \(\varphi(A^{p}+B^{p})\geq\varphi((A+B)^{p})\) for some \(0<p<1\) and for all \(A,B\in\mathcal{M}^{+}\) ; (iv) \(8\,\varphi(PQP)\leq\varphi((P+Q)^{3})\) for all \(P,Q\in\mathcal{M}^{\textrm{pr}}\) .