[论文解读] Linear maps preserving the higher numerical ranges of tensor product of matrices

Ajda Fošner, Zejun Huang+3 more|arXiv (Cornell University)|Feb 5, 2013

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

一句话总结

本文表征了在复矩阵张量积上保持所有秩一可分解张量的k-数值域的线性映射。证明了此类映射要么是酉共轭，要么在mn = 2k时涉及迹校正，将经典数值域保持映射结果推广至张量积结构，并通过酉等价和转置映射实现显式分类。

ABSTRACT

We study linear maps preserving the higher numerical ranges of tensor product of matrices.

研究动机与目标

• 表征M_{mn}上的线性映射φ，使其保持所有满足A∈M_m, B∈M_n的可分解张量A⊗B的k-数值域。
• 将关于单矩阵上k-数值域保持映射的已知结果扩展至张量积结构。
• 当张量积维数满足mn = 2k时，确定此类映射的精确形式，此时会出现额外的非酉形式。
• 统一线性保持映射理论与量子信息理论，特别是关于两体量子系统联合测量的结果。

提出的方法

• 作者分析满足对所有A∈M_m, B∈M_n有W_k(φ(A⊗B)) = W_k(A⊗B)的线性映射φ的结构。
• 他们利用谱分解和通过Courant-Fischer极小-极大原理的特征值交错关系，分析φ在秩一算子上的作用。
• 证明依赖于分析φ在矩阵单位E_{ii}⊗E_{jj}上的作用，表明其像必须具有特定的对角结构。
• 通过应用引理2.1关于矩阵压缩与特征值控制关系，推导出φ保持秩一张量积的迹与特征值分布。
• 他们分两种情况讨论：当φ保持迹时与当φ不保持迹时，从而区分出酉共轭与迹校正形式。
• 该分类包括转置映射A⊗B ↦ (A⊗B)^t以及当min{m,n} ≤ 2时的部分转置映射A⊗B ↦ A⊗B^t或A^t⊗B。

实验结果

研究问题

• RQ1 M_{mn}上的线性映射φ保持所有满足A∈M_m, B∈M_n的可分解张量A⊗B的k-数值域的必要且充分条件是什么？
• RQ2 当mn = 2k时，此类映射的结构如何变化，导致出现额外的非酉形式？
• RQ3 该表征能否扩展至包含当min{m,n} ≤ 2时的部分转置？
• RQ4 迹校正项(tr(A⊗B)/k)I_{mn}在例外情况下对保持k-数值域起到何种作用？
• RQ5 这些映射与两体量子系统中的量子测量和联合可观测量有何关联？

主要发现

• 线性映射φ: M_{mn} → M_{mn}保持所有A∈M_m, B∈M_n的W_k(A⊗B)当且仅当其形式为φ(A⊗B) = U(φ(A⊗B))U*，其中U∈M_{mn}为某个酉矩阵。
• 当mn = 2k时，存在另一类映射：φ(A⊗B) = (tr(A⊗B)/k)I_{mn} - U(φ(A⊗B))U*，其中φ在A⊗B上为恒等映射或转置映射。
• 若min{m,n} ≤ 2，则通过部分转置产生额外映射：A⊗B ↦ A⊗B^t或A^t⊗B。
• 映射φ保持k-数值域当且仅当其在张量积空间上酉等价于恒等映射、转置映射或迹校正转置映射。
• φ(E_{ii}⊗E_{jj})的最大特征值恰好为1/k，且(1/k)I_{mn} - φ(E_{ii}⊗E_{jj})为半正定，确保迹条件成立。
• 该分类是完整且精确的：除上述两种情况外，不存在其他此类线性映射形式，且迹校正形式仅在mn = 2k时出现。