[论文解读] Monotonicity of $p$-norms of multiple operators via unitary swivels

Mark M. Wilde|arXiv (Cornell University)|Oct 5, 2016

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$ 是非增的。证明依赖于复插值和 Stein–Hirschman 定理，将先前针对密度算子的结果推广至一般半正定算子，并导出了关于 Rényi 熵和算子均值的新不等式。

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-范数在多个算子上的单调性从密度算子推广至一般半正定算子。
• 证明引入酉旋转可实现非平凡的单调性结果，而这些结果在无酉旋转时通常不成立。
• 提供关于广义 Rényi 熵和 Schatten p-范数的不等式之显式证明与推广。
• 利用 Stein–Hirschman 算子插值定理，推导出 p-范数的积分表示。

提出的方法

• 该方法采用复插值理论，特别是 Stein–Hirschman 定理，以界定带酉旋转的算子乘积的 Schatten 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$。
• 通过 Lie–Trotter 乘积公式取 $p \to \infty$ 的极限，得到涉及算子对数之和指数的迹不等式。
• 通过扩展 [DW16] 中的证明技术，证明结果对半正定算子成立，而不仅限于迹为一的密度算子。

实验结果

研究问题

• RQ1 带有酉旋转的半正定算子链的 p-范数是否在 $p$ 上表现出单调性？
• RQ2 该单调性结果能否从密度算子推广至一般半正定算子？
• RQ3 何种积分表示通过复插值控制此类算子链的 p-范数？
• RQ4 酉旋转如何在无它们时单调性不成立的情况下实现单调性？
• RQ5 当 $p \to \infty$ 时，p-范数的极限行为如何？

主要发现

• 对于所有 $p \geq 1$，量 $\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$ 是单调非增的。
• 对于所有 $1 \leq q \leq p$，不等式 $\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$ 成立。
• 当 $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)$。
• 结果适用于一般半正定算子，不限于迹为一的密度算子。
• 酉旋转是必不可少的：若无它们，多个算子的单调性通常不成立。
• 概率密度函数 $\beta_\theta(t)$ 和 $\alpha_\theta(t)$ 在 $\mathbb{R}$ 上显式定义且归一化。