[논문 리뷰] Monotonicity of $p$-norms of multiple operators via unitary swivels

Mark M. Wilde|arXiv (Cornell University)|2016. 10. 05.

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

한 줄 요약

이 논문은 양의 준정적 연산자들의 곱에 단위 연산자 스위블이 번갈아 적용된 경우의 p-노름의 단조성을 확립하며, $\max_{V_{C_1},\ldots,V_{C_L}}\left\|C_1^{1/p}V_{C_1}\cdots C_L^{1/p}V_{C_L}\right\|_p^p$ 가 $p \geq 1$ 에서 비감소함을 보여준다. 증명은 복소 보간과 스토퍼–히르슈만 정리에 기반하며, 이는 이전 결과를 밀도 연산자에서 일반적인 양의 준정적 연산자로 확장하고 레니 엔트로피 및 연산자 평균에 대한 새로운 부등식을 도출한다.

ABSTRACT

Following the various statements of [DW16] to their logical conclusion, this note explicitly argues the following statement, implicit in [DW16]: for positive semi-definite operators $C_{1},\ldots,\,C_{L} $, a unitary $V_{C_{i}}$ commuting with $C_{i}$, and $p\geq1$, the quantity $$ \max_{V_{C_{1}},\ldots,V_{C_{L}}}\left\Vert C_{1}^{1/p}V_{C_{1}}\cdots C_{L}^{1/p}V_{C_{L}} ight\Vert _{p}^{p} $$ is monotone non-increasing with respect to $p$. The idea from [DW16] is that by allowing unitary swivels connecting a long chain of positive semi-definite operators together, we can establish such a statement, which might not hold generally without the presence of the unitary swivels. Other related statements follow directly from [DW16] as well, being implicit there, and are given explicitly in this note.

연구 동기 및 목표

• 밀도 연산자에서 다중 연산자의 p-노름 단조성 결과를 일반적인 양의 준정적 연산자로 확장하는 것.
• 단위 연산자 스위블의 포함이 일반적으로 성립하지 않는 비트리비얼한 단조성 결과를 가능하게 한다는 것을 입증하는 것.
• 일반화된 레니 엔트로피 및 쇼텐 p-노름을 포함한 부등식의 명시적 증명과 일반화를 제공하는 것.
• 스테인–히르슈만 연산자 보간 정리를 이용해 p-노름에 대한 적분 표현을 도출하는 것.

제안 방법

• 복소 보간 이론, 특히 스토퍼–히르슈만 정리를 활용하여 단위 연산자 스위블이 포함된 연산자 곱의 쇼텐 p-노름을 유계로 제한하는 방법을 사용한다.
• 복소 평면의 스트립 $\{z \in \mathbb{C} : 0 \leq \operatorname{Re}(z) \leq 1\}$ 에서 정의된 해석적 연산자 값 함수 $G(z)$ 를 정의하며, $G(z) = C_1^{z/q}V_{C_1}\cdots C_L^{z/q}V_{C_L}$ 이다.
• 허수 및 실수 경계에서의 노름을 가중하는 확률 밀도 함수 $\alpha_\theta(t)$ 와 $\beta_\theta(t)$ 를 사용하여 $\|G(\theta)\|_{p_\theta}$ 를 유계로 제한한다.
• 주요 부등식 $\log\|G(\theta)\|_{p_\theta} \leq \int_{-\infty}^{\infty} dt\, \beta_{q/p}(t) \log\|C_1^{(1+it)/q}\cdots C_L^{(1+it)/q}\|_q^q$ 는 $1 \leq q \leq p$ 에 대해 유도된다.
• 리–트로터 곱 공식을 통해 $p \to \infty$ 의 극한을 취하여, 연산자 로그의 합의 지수에 대한 트레이스 부등식을 도출한다.
• 논문의 결과는 [DW16]의 증명 기법을 확장하여 일반적인 양의 준정적 연산자에 대해서도 성립함을 보였다.

실험 결과

연구 질문

• RQ1 단위 연산자 스위블이 포함된 양의 준정적 연산자 체인의 p-노름이 $p$ 에 대해 단조성을 가지는가?
• RQ2 이러한 단조성 결과는 밀도 연산자 이상의 일반적인 양의 준정적 연산자로 확장될 수 있는가?
• RQ3 복소 보간을 통해 이러한 연산자 체인의 p-노름을 기술하는 적분 표현은 무엇인가?
• RQ4 왜 단위 연산자 스위블이 없을 경우 일반적으로 단조성이 성립하지 않는가?
• RQ5 p-노름의 $p \to \infty$ 에서의 극한 행동은 어떠한가?

주요 결과

• $\max_{V_{C_1},\ldots,V_{C_L}}\left\|C_1^{1/p}V_{C_1}\cdots C_L^{1/p}V_{C_L}\right\|_p^p$ 는 모든 $p \geq 1$ 에 대해 단조 감소함을 보였다.
• $\log\left\|C_1^{1/p}C_2^{1/p}\cdots C_L^{1/p}\right\|_p^p \leq \int_{-\infty}^{\infty} dt\, \beta_{q/p}(t) \log\left\|C_1^{(1+it)/q}\cdots C_L^{(1+it)/q}\right\|_q^q$ 는 모든 $1 \leq q \leq p$ 에 대해 성립한다.
• $p \to \infty$ 의 극한에서 $\log\operatorname{Tr}\left\{\exp(\log C_1 + \cdots + \log C_L)\right\} \leq \int_{-\infty}^{\infty} dt\, \beta_0(t) \log\left\|C_1^{(1+it)/q}\cdots C_L^{(1+it)/q}\right\|_q^q$ 를 도출하였으며, 여기서 $\beta_0(t) = \pi / \left(2[\cosh(\pi t) + 1]\right)$ 이다.
• 결과는 추적 값이 1인 밀도 연산자에 국한되지 않고 일반적인 양의 준정적 연산자에 대해 유효하다.
• 단위 연산자 스위블은 필수적이다: 이들이 없이서는 다중 연산자에 대해 일반적으로 단조성이 성립하지 않는다.
• 확률 밀도 함수 $\beta_\theta(t)$ 와 $\alpha_\theta(t)$ 는 $\mathbb{R}$ 에서 명시적으로 정의되고 정규화되어 있다.