[論文レビュー] 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 \in M_m$, $B \in M_n$ に対して $A \otimes B$ の数値半径を保存するテンソル積空間上の線形写像を特徴づけている。このような写像は、各因子上でユニタリ同値に、恒等写像または転置写像であることが示され、$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.

研究の動機と目的

• すべての $A \in M_m$, $B \in M_n$ に対して $A \otimes B$ の数値半径を保存する線形写像 $\phi: M_{mn} \to M_{mn}$ を特徴づけること。
• 双粒子および多重粒子量子系の文脈において、このような写像の構造的形を特定すること。
• ユニタリ変換と転置が、テンソル積演算における数値半径の保存に果たす役割を明確にすること。
• 既知の線形保存写像の結果を、特に量子情報の文脈において、数値半径の設定に拡張すること。

提案手法

• 数値範囲および数値半径の定義の使用: $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$ の分析。
• ランク1行列の構造とユニタリ共役の応用により、$\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 すべての $A \in M_m$, $B \in M_n$ に対して $A \otimes B$ の数値半径を保存する線形写像 $\phi: M_{mn} \to M_{mn}$ の完全な構造は何か？
• RQ2 ユニタリ変換と転置が、テンソル積演算における数値半径の保存にどのように作用するか？
• RQ3 $m,n \geq 3$ の場合、なぜ部分的転置写像は数値半径保存写像として除外されるのか？
• RQ4 このような写像の構造は、集合 $\{A \otimes B : A \in M_m, B \in M_n\}$ における作用によって完全に特定可能か？
• RQ5 数値半径保存と多重粒子系における量子系の時間発展との関係は何か？

主な発見

• すべての $A \in M_m$, $B \in M_n$ に対して $A \otimes B$ の数値半径を保存する線形写像 $\phi: M_{mn} \to M_{mn}$ であるための必要十分条件は、あるユニタリ $U \in M_{mn}$、複素数単位 $\xi$、および恒等写像または転置写像である写像 $\varphi_k$ を用いて $\phi(A \otimes B) = \xi U (\varphi_1(A) \otimes \varphi_2(B)) U^*$ と表せること。
• $m,n \geq 3$ の場合、写像 $\varphi_1$ と $\varphi_2$ は同じタイプ（両方とも恒等写像、または両方とも転置）でなければならない。混合タイプは除外される。
• $m,n \geq 3$ の場合、この写像は、閉じた量子系におけるユニタリ発展に、可能なかつてグローバルな転置を適用したものに対応する。
• このような写像の構造は、$M_{mn}$ において測度ゼロであるが、集合 $\{A \otimes B : A \in M_m, B \in M_n\}$ における作用によって完全に決定される。
• この結果は多重粒子系へ拡張可能であり、$A_1 \otimes \cdots \otimes A_m$ の数値半径を保存するためには、$n_k \geq 3$ のときすべての局所写像 $\varphi_k$ が同じタイプでなければならない。
• 恒等写像と転置が、数値半径を保存する唯一の可能な局所写像であり、それらは次元条件 $n_k \geq 3$ によって制限される。