[論文レビュー] Comparison of matrix norms on bipartite spaces

Christopher King, Nilufer Koldan|ArXiv.org|Apr 10, 2009

Advanced Operator Algebra Research参考文献 7被引用数 3

ひとこと要約

この論文は、二部行列空間上の非可換 $L^q(L^p)$ 範囲であるカルレン＝リーブ範囲とピジエ型範囲を比較する。$1 \leq p \leq 2$, $q \geq 1$ の範囲で、ピジエ型範囲がカルレン＝リーブ範囲の定数倍によって上から有界であることを証明するが、一般には等価でないことを示す。特に $p=2 < q$ の場合、下界が存在しないため、この場合においても等価ではない。著者らは、一般に等価でないと予想している。

ABSTRACT

Two non-commutative versions of the classical L^q(L^p) norm on the algebra of (mn)x(mn) matrices are compared. The first norm was defined recently by Carlen and Lieb, as a byproduct of their analysis of certain convex functions on matrix spaces. The second norm was defined by Pisier and others using results from the theory of operator spaces. It is shown that the second norm is upper bounded by a constant multiple of the first for all 1 &lt;= p &lt;= 2, q &gt;= 1. In one case (2 = p &lt; q) it is also shown that there is no such lower bound, and hence that the norms are inequivalent. It is conjectured that the norms are inequivalent in all cases.

研究の動機と目的

• 非可換 $L^q(L^p)$ 範囲であるカルレン＝リーブ範囲とピジエ型範囲を、$\mathcal{M}_n \otimes \mathcal{M}_m$ 上で比較すること。
• これらの範囲が等価であるか、あるいは片方が他を支配するかを特定すること。
• エントロピーの部分加法性や完全正倣写像といった基本的概念から生じる、量子情報理論の文脈におけるこれらの範囲の関係を調査すること。
• 範囲の上下界を確立し、範囲が等価または非等価となる条件を探索すること。

提案手法

• カルレン＝リーブ範囲は、$Y$ のブロック行列表現の正の分解に関する凸性に基づく下界として定義され、正定値行列上の $\Psi_{p,q}$ 機能を用いる。
• ピジエ型範囲は、$p$ と $q$ の相対的大小に応じて異なる形で定義される：$p \leq q$ の場合は作用素スケーリングに関する上界として、$p \geq q$ の場合は作用素分解に関する下界として定義され、$r^{-1} = |p^{-1} - q^{-1}|$ で定義されるパラメータ $r$ を用いる。
• $p \leq q$ の場合、範囲は $\|Y\|_{NC} = \sup_{C \geq 0, \operatorname{Tr} C = 1} \|(C^{1/2r} \otimes I_m) Y (C^{1/2r} \otimes I_m)\|_p$ として表現され、凹性とユニタリ不変性が利用される。
• $p=2 < q$ の場合、論文はトレースに関する重要な不等式 $\operatorname{Tr}_2(Y+A)^2 + \operatorname{Tr}_2 A^2 \geq \frac{1}{2} \operatorname{Tr}_2 Y^2$ を用いて、カルレン＝リーブ範囲の下界を導出する。
• 非等価性の証明は、$\lambda_j = c/j$ を持つ正定値行列 $Y^{(k)}$ の列を用い、$k \to \infty$ のとき $\|Y^{(k)}\|_{NC}^{-1} \Psi_{p,q}(Y^{(k)}) \to \infty$ となることを示すことで行われ、これにより一様な下界が存在しないことが示される。
• 解析は、ホルダーの不等式、トレースの凹性、ユニタリ共役による対称性を用いて、上界を対角密度行列に還元する。

実験結果

リサーチクエスチョン

• RQ1 $1 \leq p \leq 2$, $q \geq 1$ の範囲で、$\mathcal{M}_n \otimes \mathcal{M}_m$ 上でカルレン＝リーブ範囲とピジエ型範囲は等価か？
• RQ2 指定されたパrameter範囲で、ピジエ型範囲がカルレン＝リーブ範囲の定数倍によって上から有界か？
• RQ3 範囲間に下界が存在しないことから、$p=2 < q$ の場合に非等価であると結論づけられるか？
• RQ4 非等価性は、すべての $1 \leq p \leq 2$, $q \geq 1$ に拡張可能か？
• RQ5 特定の行列列における $\Psi_{p,q}(Y)/\|Y\|_{NC}$ の漸近的挙動は何か？

主な発見

• すべての $1 \leq p \leq 2$, $q \geq 1$ に対して、ピジエ型範囲はカルレン＝リーブ範囲の定数倍によって上から有界であり、片方向の支配関係が確立される。
• $p=2 < q$ の場合、下界が存在しない：行列列に沿って $\|Y\|_{NC}^{-1} \Psi_{p,q}(Y) \to \infty$ となるため、範囲は非等価であることが証明される。
• 比 $\Psi_{p,q}(Y)^p / \|Y\|_{NC}^p$ は $\|D\|_{q/p} / \|D\|_{r'}^p$ によって下から有界であり、$p < q$ のとき $n \to \infty$ で発散するため、一様な下界が存在しないことが確認される。
• $p=2 \leq q$ の場合、カルレン＝リーブ範囲は $\|Y\|_{CL} \geq \frac{1}{\sqrt{2}} \Psi_{2,q}(Y)$ を満たし、この場合の有用な下界が得られる。
• $p \leq q$ の場合、ピジエ型範囲の式における上界は対角密度行列で達成され、最適化問題が単純化される。
• 解析により、一般には範囲が等価でないことが示され、著者らはすべての $1 \leq p \leq 2$, $q \geq 1$ に対して非等価であると予想している。