[논문 리뷰] From Wigner-Yanase-Dyson conjecture to Carlen-Frank-Lieb conjecture (New title)

Haonan Zhang|arXiv (Cornell University)|2018. 11. 03.

Mathematical Inequalities and Applications참고 문헌 24인용 수 4

한 줄 요약

이 논문은 양의 정부호 행렬과 임의의 가역 행렬 K를 포함하는 추적 함수의 동시 볼록성/오목성에 관한 Carlen-Frank-Lieb 추측을 확인한다. 보다 정교한 변분 방법을 사용하여 함수 $\Psi_{p,q,s}(A,B) = \text{Tr}\left( B^{q/2} K^* A^p K B^{q/2} \right)^s$가 동시 볼록하거나 오목이 되는 데 필요한 매개수 $(p, q, s)$의 전체 범위를 규명하였으며, 양자 정보 이론과 수학적 물리학 분야에서 오랫동안 남아있던 추측을 해결하였다. 특히 양자 채널 하에서 $\alpha$-$z$ Rényi 상대 엔트로피의 단조성도 해결하였다.

ABSTRACT

In this paper we study the joint convexity/concavity of the trace functions \[ Ψ_{p,q,s}(A,B)= ext{Tr}(B^{\frac{q}{2}}K^*A^{p}KB^{\frac{q}{2}})^s,~~p,q,s\in \mathbb{R}, \] where $A$ and $B$ are positive definite matrices and $K$ is any fixed invertible matrix. We will give full range of $(p,q,s)\in\mathbb{R}^3$ for $Ψ_{p,q,s}$ to be jointly convex/concave for all $K$. As a consequence, we confirm a conjecture of Carlen, Frank and Lieb. In particular, we confirm a weaker conjecture of Audenaert and Datta and obtain the full range of $(α,z)$ for $α$-$z$ Rényi relative entropies to be monotone under completely positive trace preserving maps. We also give simpler proofs of many known results, including the concavity of $Ψ_{p,0,1/p}$ for $0

연구 동기 및 목표

• 모든 가역 K와 양의 정부호 A, B에 대해 함수 $\Psi_{p,q,s}(A,B) = \text{Tr}\left( B^{q/2} K^* A^p K B^{q/2} \right)^s$의 동시 볼록성/오목성에 관한 Carlen-Frank-Lieb 추측을 해결하는 것.
• $\Psi_{p,q,s}$가 동시 볼록하거나 오목이 되는 데 필요한 매개수 $(p,q,s) \in \mathbb{R}^3$의 전체 범위를 규명하는 것.
• Audenaert와 Datta가 제기한 더 약한 추측—즉, 완전히 양의 선형 추적 보존 사상 하에서 $\alpha$-$z$ Rényi 상대 엔트로피의 단조성에 대해 확인하는 것.
• 기존 결과들, 특히 $0 < p < 1$에 대해 $\Psi_{p,0,1/p}$의 오목성에 대한 통합적이고 변분 방법 기반의 증명을 제공하여, 이전의 복소해석적 접근보다 더 단순한 증명을 제시하는 것.

제안 방법

• 새로운 변분 방법을 통해 $\Psi_{p,q,s}$에 대한 변분 표현을 도출함. 이는 문제를 $\Psi_{p,1-p,1}(A,B) = \text{Tr}(K^* A^p K B^{1-p})$의 동시 볼록성/오목성 분석으로 환원함.
• 다음 변분 항등식을 적용: $0 < p < 1$일 때 $\text{Tr}(X^* A^p X)^{1/p} = \max_{Z \in \mathcal{P(H)}^\times} \left\{ \frac{1}{p} \text{Tr}|A^{p/2} X Z|^{2} - \frac{1-p}{p} \text{Tr}|Z|^{2/(1-p)} \right\}$, 그리고 $1 < p \leq 2$일 때 이중 최소화 형태를 사용하여 추적 함수를 초위상 또는 최대화-최소화 최적화 문제로 표현함.
• Ando의 볼록성 정리와 Lieb의 오목성 정리를 기초 도구로 사용하여 유도된 변분 표현의 볼록성/오목성을 분석함.
• 대칭성과 척도 성질을 활용하여 일반적인 $\Psi_{p,q,s}$의 경우를 더 단순한 $\Psi_{p,1-p,1}$의 경우로 환원하기 위해 쌍대성 원리를 적용함.
• 대부분의 결과들과 특히 Proposition 2.3를 기반으로 하여 매개수 영역의 날카로움을 입증함.
• 이전 증명들을 통합하고 단순화하는 체계적인 프레임워크를 제공함. 특히 $\Psi_{p,0,1/p}$의 오목성에 대한 증명은 복소해석적 접근 대신 실수 변수 기반의 변분 기법으로 대체함.

실험 결과

연구 질문

• RQ1 모든 가역 K와 양의 정부호 A, B에 대해 함수 $\Psi_{p,q,s}(A,B) = \text{Tr}\left( B^{q/2} K^* A^p K B^{q/2} \right)^s$가 동시 볼록하거나 오목이 되는 데 필요한 매개수 $(p,q,s) \in \mathbb{R}^3$의 전체 범위는 무엇인가요?
• RQ2 Carlen-Frank-Lieb 추측—즉, $1 \leq p \leq 2$, $-1 \leq q < 0$, $(p,q) \neq (1,-1)$, 그리고 $s \geq \frac{1}{p+q}$일 때 $\Psi_{p,q,s}$가 동시 볼록하다—는 모든 이러한 K에 대해 참인가요?
• RQ3 완전히 양의 선형 추적 보존 사상 하에서 $\alpha$-$z$ Rényi 상대 엔트로피의 단조성이 $\Psi_{p,q,s}$의 볼록성에서 유도된 매개수 영역으로 완전히 특징지어지는가요?
• RQ4 이전에 복소해석적 방법으로 증명된 바 있는 $0 < p < 1$에 대해 $\Psi_{p,0,1/p}$의 동시 오목성은 더 단순한 실수 변수 기반의 변분 방법으로 재구성 가능한가요?
• RQ5 함수 $\Psi_{p,q,s}$의 볼록성/오목성 영역의 정확한 경계는 무엇이며, 왜 점 $(1,-1)$과 $(-1,1)$은 제외되는가요?

주요 결과

• 논문은 모든 가역 K에 대해 $\Psi_{p,q,s}$의 동시 볼록성과 오목성을 완전히 특징지었다: $0 \leq q \leq p \leq 1$ 이며 $0 < s \leq \frac{1}{p+q}$일 때 동시 오목이며, $-1 \leq q \leq p \leq 0$ 이며 $s > 0$일 때 동시 볼록이며, $-1 \leq q \leq 0$, $1 \leq p \leq 2$, $(p,q) \neq (1,-1)$, 그리고 $s \geq \frac{1}{p+q}$일 때도 동시 볼록하다.
• Carlen-Frank-Lieb 추측이 확인되었다: $\Psi_{p,q,s}$는 $1 \leq p \leq 2$, $-1 \leq q < 0$, $(p,q) \neq (1,-1)$, 그리고 $s \geq \frac{1}{p+q}$일 때 동시 볼록하다.
• 완전히 양의 선형 추적 보존 사상 하에서 단조성이 보장되는 $\alpha$-$z$ Rényi 상대 엔트로피 $D_{\alpha,z}$의 전체 범위를 규명하였다: 단조성이 성립하는 것은 다음 조건 중 하나일 때이다. (1) $0 < \alpha < 1$, $z \geq \max\{\alpha, 1-\alpha\}$; (2) $1 < \alpha \leq 2$, $\frac{\alpha}{2} \leq z \leq \alpha$; 또는 (3) $2 \leq \alpha < \infty$, $\alpha - 1 \leq z \leq \alpha$.
• 이 논문은 이전에 Epstein가 복소해석적 방법으로 증명한 바 있는 $0 < p < 1$에 대해 $\Psi_{p,0,1/p}$의 오목성에 대해 더 단순한 변분 방법 기반의 증명을 제공하였다.
• 볼록성에 대한 매개수 영역은 날카로운 경계를 가진다: Proposition 2.3에 의해, $s$의 더 큰 영역에서는 동시 볼록성이 성립하지 않음을 입증하였다.
• 변분 방법은 다중 연산자 추적 함수로 일반화 가능하나, $n \geq 3$개의 연산자에 대해서는 변분 항등식 내의 비분리 항들로 인해 추가 가정이 필요하다.