<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq1.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{i=1}^{\infty }A_iA_i^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>A</mi> <mi>i</mi> </msub> <msubsup> <mi>A</mi> <mi>i</mi> <mo>∗</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq2.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="80" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sum _{i=1}^{\infty }A_i^*A_i\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <msubsup> <mi>A</mi> <mi>i</mi> <mo>∗</mo> </msubsup> <msub> <mi>A</mi> <mi>i</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> converge in the strong operator topology. We study the map <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi _{\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="normal">Φ</mi> <mi mathvariant="script">A</mi> </msub> </math></EquationSource> </InlineEquation> defined on the Banach space of all bounded linear operators <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {B(H)}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> by <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="166" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi _{\mathcal {A}}(X)=\sum _{i=1}^{\infty }A_iXA_i^*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Φ</mi> <mi mathvariant="script">A</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msubsup> <mo>∑</mo> <mrow> <mi>i</mi> <mo>=</mo> <mn>1</mn> </mrow> <mi>∞</mi> </msubsup> <msub> <mi>A</mi> <mi>i</mi> </msub> <mi>X</mi> <msubsup> <mi>A</mi> <mi>i</mi> <mo>∗</mo> </msubsup> </mrow> </math></EquationSource> </InlineEquation> and its restriction <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq6.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi _{\mathcal {A}}|_{\mathcal {S}_p\mathcal {(H)}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Φ</mi> <mi mathvariant="script">A</mi> </msub> <msub> <mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <msub> <mi mathvariant="script">S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> to the Banach space of all Schatten <i>p</i>-class operators <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq7.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {S}_p\mathcal {(H)}}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <msub> <mi mathvariant="script">S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> We first consider the relationship between the spectra and the norms of <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq8.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi _{\mathcal {A}}|_{\mathcal {S}_p\mathcal {(H)}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Φ</mi> <mi mathvariant="script">A</mi> </msub> <msub> <mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <msub> <mi mathvariant="script">S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq9.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="66" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi ^\dag _{\mathcal {A}}|_{\mathcal {S}_p\mathcal {(H)}},\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi mathvariant="normal">Φ</mi> <mi mathvariant="script">A</mi> <mo>†</mo> </msubsup> <msub> <mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <msub> <mi mathvariant="script">S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq10.gif" Format="GIF" Height="23" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi ^\dag _{\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi mathvariant="normal">Φ</mi> <mi mathvariant="script">A</mi> <mo>†</mo> </msubsup> </math></EquationSource> </InlineEquation> is the dual of <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="28" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi _{\mathcal {A}}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Φ</mi> <mi mathvariant="script">A</mi> </msub> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Moreover, we present the structure and some equivalent conditions under which <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2024_2338_Article_IEq12.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="60" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Phi _{\mathcal {A}}|_{\mathcal {S}_p\mathcal {(H)}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Φ</mi> <mi mathvariant="script">A</mi> </msub> <msub> <mrow> <mo stretchy="false">|</mo> </mrow> <mrow> <msub> <mi mathvariant="script">S</mi> <mi>p</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </msub> </mrow> </math></EquationSource> </InlineEquation> is an isometry.</p>

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

Completely Positive and Isometric Maps on Schatten-Class Operators

  • Yuan Li,
  • Shuaijie Wang

摘要

Let \(\sum _{i=1}^{\infty }A_iA_i^*\) i = 1 A i A i and \(\sum _{i=1}^{\infty }A_i^*A_i\) i = 1 A i A i converge in the strong operator topology. We study the map \(\Phi _{\mathcal {A}}\) Φ A defined on the Banach space of all bounded linear operators \({\mathcal {B(H)}}\) B ( H ) by \(\Phi _{\mathcal {A}}(X)=\sum _{i=1}^{\infty }A_iXA_i^*\) Φ A ( X ) = i = 1 A i X A i and its restriction \(\Phi _{\mathcal {A}}|_{\mathcal {S}_p\mathcal {(H)}}\) Φ A | S p ( H ) to the Banach space of all Schatten p-class operators \({\mathcal {S}_p\mathcal {(H)}}.\) S p ( H ) . We first consider the relationship between the spectra and the norms of \(\Phi _{\mathcal {A}}|_{\mathcal {S}_p\mathcal {(H)}}\) Φ A | S p ( H ) and \(\Phi ^\dag _{\mathcal {A}}|_{\mathcal {S}_p\mathcal {(H)}},\) Φ A | S p ( H ) , where \(\Phi ^\dag _{\mathcal {A}}\) Φ A is the dual of \(\Phi _{\mathcal {A}}.\) Φ A . Moreover, we present the structure and some equivalent conditions under which \(\Phi _{\mathcal {A}}|_{\mathcal {S}_p\mathcal {(H)}}\) Φ A | S p ( H ) is an isometry.