[논문 리뷰] Comparison of matrix norms on bipartite spaces

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

Advanced Operator Algebra Research참고 문헌 7인용 수 3

한 줄 요약

이 논문은 이원 행렬 공간에서 비가환 $L^q(L^p)$ 노름 두 종류—Carlen-Lieb 노름과 Pisier 유형 노름—을 비교한다. $1 \leq p \leq 2$, $q \geq 1$ 일 때 Pisier 유형 노름이 Carlen-Lieb 노름의 상수배로 상한을 가짐을 증명하지만, 일반적으로는 등가가 아님을 보이며, 특히 $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.

연구 동기 및 목표

• 행렬 공간 $\mathcal{M}_n \otimes \mathcal{M}_m$ 에서 비가환 $L^q(L^p)$ 노름 두 종류—Carlen-Lieb 노름과 Pisier 유형 노름—을 비교한다.
• 이 노름들이 등가인지, 또는 한쪽이 다른 쪽을 지배하는지 여부를 규명한다.
• 양자 정보 이론의 맥락에서 이 노름들 간의 관계를 조사한다. 여기서 두 노름은 엔트로피의 부분가환성과 완전히 양의 매핑과 같은 기본 개념들에서 유래한다.
• 노름들 간의 상한과 하한을 확립하고, 등가성 또는 비등가성이 성립하는 조건을 탐구한다.

제안 방법

• Carlen-Lieb 노름은 블록 행렬 표현 $Y$ 의 양의 분해에 대한 볼록성 기반의 하한으로 정의되며, 양의 준정부호 행렬 위에서의 $\Psi_{p,q}$ 함수를 사용한다.
• Pisier 유형 노름은 $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$ 를 포함하는 핵심 부등식을 사용하여 Carlen-Lieb 노름의 하한을 구한다.
• 비등가성의 증명은 $\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$ 에서 Carlen-Lieb 노름과 Pisier 유형 노름이 등가인가?
• RQ2 지정된 매개변수 범위에서 Pisier 유형 노름이 Carlen-Lieb 노름의 상수배로 상한을 가짐이 증명되는가?
• 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$ 일 때, Pisier 유형 노름은 항상 Carlen-Lieb 노름의 상수배로 상한을 가지며, 이는 한 방향의 지배 관계를 확립한다.
• $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$ 일 때, Carlen-Lieb 노름은 $\|Y\|_{CL} \geq \frac{1}{\sqrt{2}} \Psi_{2,q}(Y)$ 를 만족하여 이 경우에 유용한 하한을 제공한다.
• $p \leq q$ 일 때 Pisier 유형 노름의 표현에서 최대값은 대각 행렬 밀도 행렬에서 달성되며, 이는 최적화 문제를 단순화한다.
• 분석 결과 노름들은 일반적으로 등가가 아니며, 저자들은 이들이 $1 \leq p \leq 2$, $q \geq 1$ 전반에 걸쳐 항상 비등가임을 추측한다.