[論文レビュー] 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

ひとこと要約

本稿は、複素行列のテンソル積上の線形写像が、すべてのランク1分解可能テンソルの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 の最小最大化原理）を用いて、φ がランク1作用素に与える作用を解析する。
• 写像 φ が行列単位 E_{ii}⊗E_{jj} に与える作用を分析することで、その像が特定の対角構造を持つ必要があることを示す。
• 補題2.1（行列圧縮と固有値のマジョライゼーション）を適用し、φ がランク1テンソル積のトレースと固有値分布を保存することを導出する。
• トレースを保存する場合と保存しない場合の2通りのケースを検討し、ユニタリ共役とトレース補正形の区別に至る。
• 分類には、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 例外的状況におけるk-数値域の保存に、トレース補正項 (tr(A⊗B)/k)I_{mn} が果たす役割は何か？
• RQ5 これらの写像は、二粒子量子系における量子測定と同時可観測量とどのように関係するか？

主な発見

• 線形写像 φ: M_{mn} → M_{mn} が、すべての A∈M_m, B∈M_n に対して W_k(A⊗B) を保存するための必要十分条件は、あるユニタリ U∈M_{mn} に対して φ(A⊗B) = U(φ(A⊗B))U* と表せることである。
• 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 のときのみトレース補正形が現れ、それ以外の形式は存在しない。