<p>In this article, we investigate certain basic properties of invariant multilinear CP maps. For instance, we prove Russo–Dye type theorem for invariant multilinear positive maps on both commutative <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_813_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebras and finite-dimensional <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_813_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebras. We show that every invariant multilinear CP map is automatically symmetric and completely bounded. Possibly these results are unknown in the literature (see [<CitationRef CitationID="CR12">12</CitationRef>, <CitationRef CitationID="CR13">13</CitationRef>, <CitationRef CitationID="CR16">16</CitationRef>]), Heo and Joiţa (<i>Linear Multilinear Algebra</i> <b>67</b> (2019) 121–140). Motivated from quantum algorithm simulation as reported by Bansal <i>et al</i>. [<CitationRef CitationID="CR7">7</CitationRef>], we introduce multilinear version of invariant block CP map <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_813_Article_IEq3.gif" Format="GIF" Height="21" Rendition="HTML" Resolution="72" Type="Linedraw" Width="243" /> </InlineMediaObject> <EquationSource Format="TEX">\( \varphi =[\varphi _{ij}]: M_{n}({\mathcal {A}})^k \rightarrow M_n(\mathcal {B({H})}),\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>φ</mi> <mo>=</mo> <mrow> <mo stretchy="false">[</mo> <msub> <mi>φ</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> <mo stretchy="false">]</mo> </mrow> <mo>:</mo> <msub> <mi>M</mi> <mi>n</mi> </msub> <msup> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">A</mi> <mo stretchy="false">)</mo> </mrow> <mi>k</mi> </msup> <mo stretchy="false">→</mo> <msub> <mi>M</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mrow> <mi mathvariant="script">B</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">H</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_813_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="18" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {A}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">A</mi> </math></EquationSource> </InlineEquation> is a <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_813_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-algebra, and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_813_Article_IEq6.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> is the set of all bounded linear operators on a Hilbert space <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_813_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="22" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {H}}.\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">H</mi> <mo>.</mo> </mrow> </math></EquationSource> </InlineEquation> Then we derive that each <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_813_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varphi _{ij}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>φ</mi> <mrow> <mi mathvariant="italic">ij</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> can be dilated to a common commutative tuple of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12044_2025_813_Article_IEq9.gif" Format="GIF" Height="9" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(*\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow /> <mo>∗</mo> </mrow> </math></EquationSource> </InlineEquation>-homomorphisms. As a natural appeal, the suitable notion of minimality has been identified within this framework. A special case of our result recovers a finer version of Heo’s Stinespring type dilation theorem of [<CitationRef CitationID="CR13">13</CitationRef>] and Kaplan’s Stinespring type dilation theorem [<CitationRef CitationID="CR20">20</CitationRef>]. As an application, we show Russo–Dye type theorem for invariant multilinear completely positive maps. Finally, using minimal Stinespring dilation we obtain Radon–Nikodým theorem in this setup. Our result includes as a special case the Radon–Nikodým theorem of Heo [<CitationRef CitationID="CR13">13</CitationRef>] and the Radon–Nikodým theorem of Joiţa [<CitationRef CitationID="CR19">19</CitationRef>]</p>

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

Russo–dye type theorem, Stinespring representation, and Radon–Nikodým derivative for invariant block multilinear completelypositive maps

  • Anindya Ghatak,
  • Aryaman Sensarma

摘要

In this article, we investigate certain basic properties of invariant multilinear CP maps. For instance, we prove Russo–Dye type theorem for invariant multilinear positive maps on both commutative \(C^*\) C -algebras and finite-dimensional \(C^*\) C -algebras. We show that every invariant multilinear CP map is automatically symmetric and completely bounded. Possibly these results are unknown in the literature (see [12, 13, 16]), Heo and Joiţa (Linear Multilinear Algebra 67 (2019) 121–140). Motivated from quantum algorithm simulation as reported by Bansal et al. [7], we introduce multilinear version of invariant block CP map \( \varphi =[\varphi _{ij}]: M_{n}({\mathcal {A}})^k \rightarrow M_n(\mathcal {B({H})}),\) φ = [ φ ij ] : M n ( A ) k M n ( B ( H ) ) , where \({\mathcal {A}}\) A is a \(C^*\) C -algebra, and \(\mathcal {B(H)}\) B ( H ) is the set of all bounded linear operators on a Hilbert space \({\mathcal {H}}.\) H . Then we derive that each \(\varphi _{ij}\) φ ij can be dilated to a common commutative tuple of \(*\) -homomorphisms. As a natural appeal, the suitable notion of minimality has been identified within this framework. A special case of our result recovers a finer version of Heo’s Stinespring type dilation theorem of [13] and Kaplan’s Stinespring type dilation theorem [20]. As an application, we show Russo–Dye type theorem for invariant multilinear completely positive maps. Finally, using minimal Stinespring dilation we obtain Radon–Nikodým theorem in this setup. Our result includes as a special case the Radon–Nikodým theorem of Heo [13] and the Radon–Nikodým theorem of Joiţa [19]