[论文解读] Linear maps preserving numerical radius of tensor product of matrices

Ajda Fošner, Zejun Huang+2 more|arXiv (Cornell University)|Dec 13, 2012

Matrix Theory and Algorithms参考文献 8被引用 4

一句话总结

本文表征了在张量积空间上保持所有 $A \otimes B$ 的数值半径的线性映射，其中 $A \in M_m$，$B \in M_n$。结果表明，此类映射在每个因子上均酉等价于恒等映射或转置映射，且当 $m,n \geq 3$ 时，两个因子上的映射类型相同，从而推广了在酉变换与转置操作下量子系统演化的情形。

ABSTRACT

We determine the structure of linear maps on the tensor product of matrices which preserve the numerical range or numerical radius.

研究动机与目标

• 表征线性映射 $\phi: M_{mn} \to M_{mn}$，使其对所有 $A \in M_m$，$B \in M_n$ 保持 $A \otimes B$ 的数值半径。
• 在复合与多体量子系统背景下，确定此类映射的结构形式。
• 阐明酉变换与转置在张量积运算下保持数值半径中的作用。
• 将已知的线性保持结果推广至数值半径情形，特别是在量子信息背景中。

提出的方法

• 使用数值域与数值半径的定义：$w(X) = \sup\{ |\mu| : \mu \in W(X) \}$，其中 $W(X)$ 为数值域。
• 通过谱分解与酉等价性，分析满足对所有 $A \in M_m$，$B \in M_n$ 有 $w(\phi(A \otimes B)) = w(A \otimes B)$ 的映射 $\phi$。
• 应用秩一矩阵结构与酉共轭，推导出 $\phi$ 的形式为 $\phi(A \otimes B) = \xi U (\varphi_1(A) \otimes \varphi_2(B)) U^*$，其中 $U$ 为酉矩阵，$\xi$ 为复单位根。
• 通过构造酉共轭并分析极值矩阵（如 $X \oplus 0$）来约束 $\varphi_k$ 的形式为恒等或转置。
• 利用 $\phi(I_N) = \xi I_N$ 的事实对映射进行归一化，以简化分析。
• 通过归纳法与递归应用二体结果，将结论推广至多体系统，确保所有子系统间的一致性。

实验结果

研究问题

• RQ1 线性映射 $\phi: M_{mn} \to M_{mn}$ 的完整结构是什么，使其对所有 $A \in M_m$，$B \in M_n$ 保持 $A \otimes B$ 的数值半径？
• RQ2 酉变换与转置在张量积运算下保持数值半径时如何相互作用？
• RQ3 为何当 $m,n \geq 3$ 时，部分转置映射被排除在数值半径保持映射之外？
• RQ4 此类映射的结构是否能完全由其在张量积矩阵集合 $\{A \otimes B : A \in M_m, B \in M_n\}$ 上的作用确定？
• RQ5 数值半径保持与多体系统中量子系统演化之间存在何种关系？

主要发现

• 线性映射 $\phi: M_{mn} \to M_{mn}$ 对所有 $A \in M_m$，$B \in M_n$ 保持 $A \otimes B$ 的数值半径，当且仅当 $\phi(A \otimes B) = \xi U (\varphi_1(A) \otimes \varphi_2(B)) U^*$，其中 $U \in M_{mn}$ 为酉矩阵，$\xi$ 为复单位根，且 $\varphi_k$ 为恒等或转置映射。
• 当 $m,n \geq 3$ 时，映射 $\varphi_1$ 与 $\varphi_2$ 必须为同种类型（即均为恒等或均为转置），排除混合情况。
• 当 $m,n \geq 3$ 时，该映射对应于一个闭合量子系统的酉演化，可能随后伴随全局转置。
• 此类映射的结构完全由其在集合 $\{A \otimes B : A \in M_m, B \in M_n\}$ 上的作用决定，尽管该集合在 $M_{mn}$ 中测度为零。
• 该结果可推广至多体系统，即映射仅在所有局部映射 $\varphi_k$ 类型相同时（当 $n_k \geq 3$ 时）才保持 $A_1 \otimes \cdots \otimes A_m$ 的数值半径。
• 恒等映射与转置是唯一可能的局部映射，且其存在受维度条件 $n_k \geq 3$ 的约束。