[论文解读] Jensen's Inequality and majorization

Jorge Antezana, Pedro Massey+1 more|ArXiv.org|Nov 19, 2004

Mathematical Inequalities and Applications参考文献 9被引用 7

一句话总结

本文通过使用正态单位化映射，在 $C^*$-代数中为凸函数建立了非交换的 Jensen 型不等式，通过谱序和主要化关系将经典不等式推广至算子凸性之外的范围。证明了在特定代数约束下，对于任意凸函数，有 $f(\phi(a)) \prec \phi(f(a))$ 成立，该结果推广了 Ando 定理，并统一了非交换分析中的若干结果。

ABSTRACT

Let $\mathcal{A}$ be a $C^*$-algebra and $ϕ:\cA o L(H)$ be a positive unital map. Then, for a convex function $f:I o \mathbb{R}$ defined on some open interval and a self-adjoint element $a\in \mathcal{A}$ whose spectrum lies in $I$, we obtain a Jensen's-type inequality $f(ϕ(a)) \leq ϕ(f(a))$ where $\le$ denotes an operator preorder (usual order, spectral preorder, majorization) and depends on the class of convex functions considered i.e., operator convex, monotone convex and arbitrary convex functions. Some extensions of Jensen's-type inequalities to the multi-variable case are considered.

研究动机与目标

• 在非交换设定中，通过使用替代算子序关系，将 Jensen 不等式推广至算子凸函数之外。
• 建立在谱序或主要化下，$f(\phi(a)) \leq \phi(f(a))$ 对任意凸函数成立的条件。
• 通过正态单位化映射和非交换积分，统一并推广 Brown-Kosaki 与 Hansen-Pedersen 的先前结果。
• 利用主要化和谱序，将 Aujla 和 Silva 的有限维不等式推广至无限维 $C^*$-代数。
• 从这些函数不等式出发，推导出非交换版本的经典不等式，如信息不等式、Liapunov 不等式和 H"older 不等式。

提出的方法

• 将正态单位化映射 $\phi: \mathcal{A} \to \mathcal{B}$ 视为积分的非交换类比。
• 应用谱序 $\prec$ 和主要化 $\prec\succ$ 作为标准序 $\leq$ 的替代算子序关系。
• 利用条件数学期望理论和 Stinespring 的扩张定理，将不等式扩展至复合函数 $g$ 与 $f$ 的情形。
• 利用 $C^*$-代数中的函数演算以及算子凸/凹函数的性质，推导不等式。
• 通过局部紧空间上的算子值函数的 Bochner 积分，定义非交换期望。
• 通过函数演算和正性论证，将多变量情形约化为单变量不等式。

实验结果

研究问题

• RQ1 当标准算子序失效时，是否可以将 Jensen 型不等式推广至任意凸函数？
• RQ2 在何种条件下，$f(\phi(a)) \prec \phi(f(a))$ 在谱序或主要化下成立？
• RQ3 这些结果如何将 Aujla 和 Silva 的有限维不等式推广至 $C^*$-代数？
• RQ4 能否从这些函数不等式中推导出非交换版本的信息不等式、Liapunov 不等式和 H"older 不等式？
• RQ5 条件数学期望和交换性假设在将 Jensen 不等式推广至算子凸性之外时起到何种作用？

主要发现

• 对于单调凸函数 $f$ 且 $\mathcal{B}$ 为冯诺依曼代数的情形，谱序下有 $f(\phi(a)) \prec \phi(f(a))$ 成立。
• 若 $\mathcal{B}$ 为交换代数，或 $\phi(a)$ 与 $\phi(f(a))$ 可交换，则在标准序下有 $f(\phi(a)) \leq \phi(f(a))$。
• 对于条件数学期望 $E: \mathcal{B} \to \mathcal{C}$，若 $\phi(a)$ 属于 $E$ 的中心化子，则对连续递增凸函数 $g$，有 $\mathcal{E}(g[f(\phi(a))]) \leq \mathcal{E}(g[\phi(f(a))])$。
• 当 $\mathcal{B}$ 为有限因子时，对任意凸函数 $f$，在主要化下有 $f(\phi(a)) \prec\succ \phi(f(a))$。
• 证明了一个非交换信息不等式：$\int_X a^* \log(a^{*-1} b^* b a^{-1}) a \, d\mu \leq 0$，其中 $a,b$ 为密度算子。
• 建立了非交换 Liapunov 不等式：当 $1 \leq r \leq s$ 且 $\phi$ 为压缩正映射时，有 $\phi(a^s)^{1/s} \geq \phi(a^r)^{1/r}$。