[論文レビュー] Comments on multiplicativity of maximal p-norms when p = 2

Christopher King, Mary Beth Ruskai|arXiv (Cornell University)|Jan 7, 2004

Advanced Topics in Algebra参考文献 10被引用数 6

ひとこと要約

本稿は、$ p = 2 $ のとき、完全正の写像の最大 $ p $-ノルムの乗法性の十分条件を確立している。この条件により、$ p $ がより大きい値で乗法性が成立しない場合がある写像のクラスに対しても、乗法性が成立することが示された。主な結果は、$ p \geq 2 $ のとき、このような写像の実および複素 $ \ell^1 \to \ell^p $ 操作子ノルムが等しいこと、つまり $ \|\Phi\|_{1\to p} = \|\Phi\|_{1\to p}^R $ である。このことは、$ \nu_2(\Phi) $ がテンソル積において乗法的であることを示唆する。

ABSTRACT

We consider the maximal p-norm associated with a completely positive map and the question of its multiplicativity under tensor products. We give a condition under which this multiplicativity holds when p = 2, and we describe some maps which satisfy our condition. This class includes maps for which multiplicativity is known to fail for large p. Our work raises some questions of independent interest in matrix theory; these are discussed in two appendices.

研究の動機と目的

• 完全正の写像の最大 $ p $-ノルムが $ p = 2 $ のときテンソル積において乗法的となる条件を特定すること。
• 乗法性を確立するために不可欠な、$ p \geq 2 $ のときの実および複素 $ \ell^1 \to \ell^p $ 操作子ノルムの等価性を調査すること。
• $ p > 2 $ で乗法性が成立しないにもかかわらず、$ \nu_2(\Phi) $ が乗法的である完全正の写像のクラスを同定すること。
• 操作子ノルムおよび固有値分解と関連する、この解析から生じる行列論的性質を探索すること。

提案手法

• 著者らは、自己随伴入力を用いて $ \|\Phi\|_{1\to p}^R $ を定義するため、完全正の写像 $ \Phi $ の $ \ell^1 \to \ell^p $ 操作子ノルムを分析する。
• 密度行列のブロッホベクトルパラメータ表示を用いて、$ p = 2 $ のときの $ \|\Phi(A)\|_p^2 / \|A\|_1^2 $ の表現を導出する。
• 三角不等式およびノルム比較を用いて、比 $ \|\Phi(A)\|_p / \|A\|_1 $ を $ \nu_p(\Phi)^2 $ で上から抑え、これが最大 $ p $-ノルムの二乗で有界であることを示す。
• 彼らは、$ p \geq 2 $ のとき、実および複素 $ \ell^1 \to \ell^p $ ノルムが一致すること、すなわち $ \|\Phi\|_{1\to p} = \|\Phi\|_{1\to p}^R $ を証明し、これにより $ \nu_2(\Phi) $ の乗法性が示される。
• 証明は、パウリ行列基底とベクトル化された演算子を用いて、ランク1および一般の自己随伴 $ A $ に対する $ \Phi(A) $ のスペクトルノルムを分析することに依存する。
• 比の上界が純状態またはランク1演算子で達成されることを示し、対称性と凸性を用いて問題を有限次元最適化に簡略化する。

実験結果

リサーチクエスチョン

• RQ1 完全正の写像の最大 $ p $-ノルムが $ p = 2 $ のときテンソル積において乗法的となる条件は何か？
• RQ2 $ p \geq 2 $ のとき、CP写像の実 $ \ell^1 \to \ell^p $ ノルムが複素ノルムと等しくなる条件は何か？
• RQ3 $ p > 2 $ で乗法性が成立しない写像に対しても、$ \nu_2(\Phi) $ の乗法性を確立できるか？
• RQ4 行列論的不等式の中で、$ p = 2 $ のときの $ \|\Phi(A)\|_p / \|A\|_1 $ の振る舞いを支配するものは何か？

主な発見

• 特定の固有値条件を満たす完全正の写像のクラスに対して、最大 $ p $-ノルム $ \nu_2(\Phi) $ はテンソル積において乗法的である。
• $ p \geq 2 $ のとき、CP写像の実および複素 $ \ell^1 \to \ell^p $ 操作子ノルムは等しい：$ \|\Phi\|_{1\to p} = \|\Phi\|_{1\to p}^R $。
• この等価性により、$ \nu_2(\Phi) $ は、$ p > 2 $ で乗法性が成立しない場合であっても、すべてのこのような写像に対して乗法的であることが示される。
• この条件を満たす写像のクラスには、$ p > 4.79 $ で乗法性が既知に失敗するものも含まれており、$ p = 2 $ が特異な役割を果たしていることを強調する。
• 証明は、ベクトル化形式と固有値分解を用いて $ \Phi(A) $ の $ \ell^p $-ノルムを抑え、比が $ \nu_2(\Phi)^2 $ で有界であることを示す。
• 解析により、$ \|\Phi(A)\|_p / \|A\|_1 $ の上界が純状態またはランク1演算子で達成されることを明らかにし、最適化を簡素化する。