[论文解读] A Note on the p->q norms of Completely Positive Maps

Koenraad M. R. Audenaert|arXiv (Cornell University)|May 31, 2005

Mathematical Inequalities and Applications参考文献 4被引用 9

一句话总结

本文提供了另一种证明，表明在自伴算符上定义的完全正映射 Φ 的 p→q 范数，等于其在所有一般算符上的范数。通过加倍构造，将任一算符嵌入到更大空间上的自伴算符中，作者证明了 Φ(A) 的 Schatten q-范数受 Φ 作用于 |A| 的范数的限制，从而得出关键结果：当最大化范围从自伴算符扩展到一般算符时，||Φ||_p→q 保持不变。

ABSTRACT

King and Ruskai asked whether the $p o q$ norm of a completely positive map $\Phi$, acting between Schatten $p$ and $q$ classes of self-adjoint operators, $||\Phi||_{p o q} = \max_{A=A^*} \frac{||\Phi(A)||_q}{||A||_p}$, is equal to the $p o q$ norm of that map when acting between Schatten classes of general, not necessarily self-adjoint, operators. The first proof has been given by Watrous. We give an alternative proof of this statement.

研究动机与目标

• 提供 Watrous 结果的替代证明，即完全正映射的 p→q 范数在去除自伴性约束后保持不变。
• 确立完全正映射 Φ 的 p→q 范数在对自伴算符或一般算符进行最大化时是相等的。
• 证明通过 Schatten q-范数测量的量子通道的最大输出纯度，完全由自伴输入下的 1→q 范数捕获。
• 通过在不损失一般性的前提下扩展最大化域，统一量子信息中 Schatten p→q 范数的处理方式。

提出的方法

• 通过 Q = [0 A; A* 0] 将希尔伯特空间 H 上的任一算符 A 嵌入到加倍空间 H⊕H 上的自伴算符 Q 中。
• 利用 AA* 与 A*A 的酉等价性，将 |Q| 表示为包含 |A| 和 U|A|U* 的分块对角算符。
• 将映射 Φ 扩展为作用于加倍空间上的 Φ⊗1_{C²}，保持完全正性和范数结构。
• 计算 (Φ⊗1_{C²})(Q) 的 Schatten q-范数，并将其与 Tr|Φ(A)|^q 关联，证明其等于 2Tr|Φ(A)|^q。
• 对完全正映射 Ω 和自伴算符 X 应用已知不等式 ||Ω(X)||_q ≤ ||Ω(|X|)||_q，将其应用于算符 Q。
• 利用范数的齐次性，结合对 TrΦ(U|A|U*)^q 和 TrΦ(|A|)^q 的界，推导出关键不等式 2Tr|Φ(A)|^q ≤ 2||Φ||_p→q^q。

实验结果

研究问题

• RQ1 完全正映射 Φ 的 p→q 范数能否等价地定义在所有算符上，而不仅限于自伴算符？
• RQ2 通过 Schatten q-范数测量的量子通道的最大输出纯度是否依赖于输入为自伴算符？
• RQ3 在 Schatten p→q 框架下，完全正映射的范数在从自伴算符扩展到一般算符时是否保持不变？
• RQ4 是否可以在不依赖 Watrous 证明完整工具集的前提下，证明 p→q 范数在去除自伴性后保持不变？

主要发现

• 完全正映射 Φ 的 p→q 范数在将最大化范围从自伴算符扩展到一般算符时保持不变。
• 对于任意满足 ||A||_p = 1 的算符 A，不等式 2Tr|Φ(A)|^q ≤ 2||Φ||_p→q^q 成立，意味着 ||Φ(A)||_q / ||A||_p ≤ ||Φ||_p→q。
• 已确立等式 max_A ||Φ(A)||_q / ||A||_p = ||Φ||_p→q，表明自伴输入足以计算该范数。
• 加倍构造 Q = [0 A; A* 0] 有效地将一般算符嵌入到更大空间上的自伴算符中，同时保持范数关系。
• 该证明确认了最大输出纯度 ν_p(Φ) = max_{A>0, Tr(A)=1} ||Φ(A)||_q 等于 Φ 在自伴算符上的 1→q 范数。
• 该结果对所有 p, q ≥ 1 和所有完全正映射均成立，推广了 King 和 Ruskai 的早期部分结果。