[論文レビュー] Interpolation problems by completely positive maps

Chi-Kwong Li, Yiu‐Tung Poon|arXiv (Cornell University)|Dec 8, 2010

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

ひとこと要約

本稿は、可換なエルミート行列族間の完全正値マップの存在に関する必要十分条件を確立し、ユニタルおよびトレース保存マップへの拡張を含む。主たる貢献は、拡張された行列空間を用いて一般の補間問題をユニタル完全正値マップ問題に再定式化する還元定理の提示であり、これにより拡大理論および量子情報への接続が可能になる。

ABSTRACT

Given commuting families of Hermitian matrices {A1, ..., Ak} and {B1, ...., Bk}, conditions for the existence of a completely positive map L, such that L(Aj) = Bj for j = 1, ...,k, are studied. Additional properties such as unital or / and trace preserving on the map ? are also considered. Connections of the study to dilation theory, matrix inequalities, unitary orbits, and quantum information science are mentioned.

研究の動機と目的

• 与えられた可換なエルミート行列族 {A₁,…,Aₖ} ⊆ Hₙ および {B₁,…,Bₖ} ⊆ Hₘ に対して、Φ(Aⱼ) = Bⱼ を満たす完全正値マップ Φ が存在するための必要十分条件を特定すること。
• ユニタリティ（Φ(Iₙ) = Iₘ）およびトレース保存性（tr(Φ(A)) = tr(A)）といった追加制約を含めた分析を拡張すること。
• 補間問題を拡大理論、行列不等式、および量子情報科学（特に量子操作）と結びつけること。
• スケーリングパラメータ γ を用いた次元増加変換を介して、一般の補間問題をユニタル完全正値マップの研究に還元すること。
• 特に非可換族および小規模な行列次元（n=2,3）におけるこのようなマップの構築における構造的課題を調査すること。

提案手法

• Fⱼ ∈ Mₙ,ₘ を用いた演算子和表現 Φ(A) = ∑ⱼ Fⱼ*AFⱼ を用いて完全正値マップを特徴付ける。
• チョイ-クラウス表現を適用し、マップを行列 Fⱼ で表現することで、ユニタリティとトレース保存性を ∑Fⱼ*Fⱼ = Iₘ および ∑FⱼFⱼ* = Iₙ によって分析可能にする。
• F̃ = [F₁ ⋯ Fᵣ] および F̃*A F̃ を用いたブロック行列構成を導入し、Φ(A) を主小行列の和として表現する。
• 次元増強技術を用いる：Aⱼ ∈ Mₙ を Aⱼ ⊕ [0] ∈ Mₙ₊₁ に埋め込み、ターゲット Bⱼ を γ⁻¹ でスケーリングすることで、Mₙ₊₁ 上のユニタルマップに問題を還元する。
• 特に、ユニタル完全正値マップと Iᵣ ⊗ A 形式の拡大の存在の間の同値性を用いた拡大理論を適用する。
• 数値範囲 W(T) = {x*Tx : ||x|| = 1} を用いて、低次元（n=2,3）における可解性を特徴付ける。具体的には W(B) ⊆ W(A) の条件を用いる。

実験結果

リサーチクエスチョン

• RQ1 可換なエルミート行列族に対して、Φ(Aⱼ) = Bⱼ を満たす完全正値マップ Φ が存在するための必要十分条件は何か？
• RQ2 行列の拡張とスケーリングを用いて、補間問題をどのようにユニタル完全正値マップの研究に還元できるか？
• RQ3 特に低次元ケースにおいて、拡大理論はこのようなマップの存在をどのように特徴付けるか？
• RQ4 なぜトレース保存およびユニタル完全正値マップは異なる構造的性質を示し、量子情報応用にどのような影響を及えるか？
• RQ5 n=2 または n=3 で A がユニタリに簡約可能である場合、Φ(A) = B を満たすユニタル完全正値マップ Φ が存在するための A と B の条件は何か？

主な発見

• 完全正値マップ Φ: Mₙ → Mₘ が Φ(Aⱼ) = Bⱼ を満たすことは、ある γ > 0 およびユニタル完全正値マップ Ψ: Mₙ₊₁ → Mₘ が存在し、すべての j = 1,…,k に対して Ψ(Aⱼ ⊕ [0]) = γ⁻¹Bⱼ を満たすことと同値である。
• Φ のユニタリティは ∑Fⱼ*Fⱼ = Iₘ に、トレース保存性は ∑FⱼFⱼ* = Iₙ にそれぞれ等価であり、これは演算子和表現において成立する。
• n=2 または n=3 で A がユニタリに簡約可能な場合、Φ(A) = B を満たすユニタル完全正値マップが存在することは、W(B) ⊆ W(A) に等しい。ここで W(T) は T の数値範囲を表す。
• 一般に、任意の A ∈ M₃ または正規行列 A ∈ M₄ に対して、2つの行列を結ぶユニタル完全正値マップの存在問題は失敗することが示され、数値範囲条件の限界が明らかになった。
• 双対マップ Φ* は ⟨Φ(A), B⟩ = ⟨A, Φ*(B)⟩ を満たし、Φ がユニタルであることと Φ* がトレース保存であることとは同値である。これにより、2つのクラスの間の双対性が確立される。
• 本研究により、トレース保存およびユニタル完全正値マップは構造的制約において非対称であることが明らかになった。特に、トレース保存マップに関する一部の結果はユニタルの場合に類似しない。