[论文解读] Comments on multiplicativity of maximal p-norms when p = 2

Christopher King, Mary Beth Ruskai|arXiv (Cornell University)|Jan 7, 2004

Advanced Topics in Algebra参考文献 10被引用 6

一句话总结

该论文为完全正映射的最大 $ p $-范数在 $ p = 2 $ 时的可乘性建立了充分条件，证明了对于一类包含某些在更大 $ p $ 值下可乘性不成立的映射的映射，可乘性依然成立。关键结果是：当 $ p \geq 2 $ 时，此类映射的实与复 $ \ell^1 \to \ell^p $ 算子范数相等，这蕴含了 $ \nu_2(\Phi) $ 在张量积下具有可乘性。

ABSTRACT

We consider the maximal p-norm associated with a completely positive map and the question of its multiplicativity under tensor products. We give a condition under which this multiplicativity holds when p = 2, and we describe some maps which satisfy our condition. This class includes maps for which multiplicativity is known to fail for large p. Our work raises some questions of independent interest in matrix theory; these are discussed in two appendices.

研究动机与目标

• 确定完全正映射的最大 $ p $-范数在 $ p = 2 $ 时关于张量积可乘性的条件。
• 研究 $ p \geq 2 $ 时实与复 $ \ell^1 \to \ell^p $ 算子范数相等的问题，这对建立可乘性至关重要。
• 识别出一类完全正映射，其 $ \nu_2(\Phi) $ 具有可乘性，即使在更大的 $ p $ 值下可乘性不成立。
• 探索由此分析产生的矩阵理论性质，特别是与算子范数和谱分解的关系。

提出的方法

• 作者分析完全正映射 $ \Phi $ 的 $ \ell^1 \to \ell^p $ 算子范数，聚焦于自伴输入以定义 $ \|\Phi\|_{1\to p}^R $。
• 他们利用密度矩阵的 Bloch 向量参数化，为 $ p = 2 $ 推导出 $ \|\Phi(A)\|_p^2 / \|A\|_1^2 $ 的表达式。
• 通过三角不等式和范数比较，他们将比值 $ \|\Phi(A)\|_p / \|A\|_1 $ 以 $ \nu_p(\Phi)^2 $ 为界，表明其有界于最大 $ p $-范数的平方。
• 他们证明了当 $ p \geq 2 $ 时，实与复 $ \ell^1 \to \ell^p $ 范数相等：$ \|\Phi\|_{1\to p} = \|\Phi\|_{1\to p}^R $，从而蕴含 $ \nu_2(\Phi) $ 的可乘性。
• 该证明依赖于对秩一及一般自伴 $ A $ 的 $ \Phi(A) $ 的谱范数分析，使用泡利矩阵基和向量化算子。
• 他们表明，该比值的上确界在纯态或秩一算子上取得，并利用对称性与凸性将问题简化为有限维优化。

实验结果

研究问题

• RQ1 在何种条件下，完全正映射的最大 $ p $-范数在 $ p = 2 $ 时关于张量积具有可乘性？
• RQ2 当 $ p \geq 2 $ 时，完全正映射的实 $ \ell^1 \to \ell^p $ 范数何时等于其复范数？
• RQ3 能否为在更大 $ p $ 值下可乘性不成立的映射建立 $ \nu_2(\Phi) $ 的可乘性？
• RQ4 控制 $ \|\Phi(A)\|_p / \|A\|_1 $ 在 $ p = 2 $ 时行为的矩阵理论不等式是什么？

主要发现

• 满足特定谱条件的一类完全正映射，其最大 $ p $-范数 $ \nu_2(\Phi) $ 在张量积下具有可乘性。
• 当 $ p \geq 2 $ 时，完全正映射的实与复 $ \ell^1 \to \ell^p $ 算子范数相等：$ \|\Phi\|_{1\to p} = \|\Phi\|_{1\to p}^R $。
• 该等式蕴含 $ \nu_2(\Phi) $ 对所有此类映射均具有可乘性，即使在 $ p > 2 $ 时可乘性不成立。
• 满足该条件的映射类包括某些在 $ p > 4.79 $ 时已知可乘性不成立的映射，凸显了 $ p = 2 $ 的特殊作用。
• 该证明依赖于使用向量化形式和谱分解对 $ \Phi(A) $ 的 $ \ell^p $-范数进行有界，表明该比值被 $ \nu_2(\Phi)^2 $ 控制。
• 该分析表明，$ \|\Phi(A)\|_p / \|A\|_1 $ 的上确界在纯态或秩一算子上取得，从而简化了优化问题。