两个悬而未决的数学问题，被一篇论文同时解决
Jensen不等式，但凡学过凸函数的人都不陌生。简单说就是：对一个凸函数，函数在平均值处的取值，不超过平均的函数值。高中数学竞赛里用它证明各种不等式，大学实变函数里把它推广到积分形式，到了泛函分析里，它还能继续往算子世界推广。
但数学家从来不会满足于"差不多能用"。Davis在1957年给出了经典结论：函数作用于算子之后再取压缩，与先取压缩再作用函数，两者之间保持 Jensen 型不等式，等价于这个函数是算子凸函数。后来Choi把它推广到单位正线性映射，Pedersen又进一步给出了更一般的形式。下面这个式子，就是算子 Jensen 不等式的标准形态：
算子Jensen不等式标准形态（Davis-Choi-Pedersen）
这里面要求 f 是算子凸函数，条件相当苛刻。但是到了迹的版本里，情况发生了奇妙的变化——普通凸函数就够了。Brown和Kosaki在2001年证明了一个重要结果：对于半有限 von Neumann 代数配上忠实正规半有限迹 τ，只要 f 是普通凸函数、x 是正算子、a 是压缩算子，就有下面这个迹不等式成立：
图2：Jensen迹不等式基本形式（Brown-Kosaki 2001）
到这里还挺顺利。可问题出在两个地方：第一，x 能不能从"正算子"放宽到"自伴的 τ-可测算子"？Kosaki在2013年明确提出了这个开放问题，他自己只证出了一些特殊情形下的结论，在完全一般性上一直卡着。第二，等号条件是什么？Harada和Kosaki在2008年猜测，等号成立等价于下面这个代数条件：
图3：Harada-Kosaki猜测的等号条件
这个猜测只在矩阵和紧算子情形下被验证过，对于一般半有限 von Neumann 代数中的无界算子，十几年没人能完整证明。这两个问题就像两座小山头，不算最高，但卡在交通要道上——你不解决它，后面很多工作就推不动。
这篇论文的Title简单直接：完整建立 Jensen 迹不等式，并刻画等号条件。Kai Fang、Xin He、Jinghao Huang三位作者直接把两个开放问题同时拿下。主定理长这样：
图4：本文主定理——Jensen迹不等式及其等号条件（定理1.1）
注意两个关键信息：x 是自伴 τ-可测算子（不再要求有界），f 是普通凸函数（不要求算子凸），等号条件就是 a*x²a = (a*xa)²。f(0)=0这个归一化条件很重要，它保证了两边都有定义时的兼容性。严格凸时，等号条件与 Harada-Kosaki 的猜测完全一致，而且不再需要任何额外的正则性假设。
证明思路值得多说几句，因为它非常巧妙。整体策略分两步走：第一步，先处理 a 是 τ-有限投影 e 的特殊情形，也就是 e²=e、τ(e)<∞ 的情况；第二步，再通过一个标准的膨胀技巧把一般压缩算子 a 化归到这个特殊情形。这里先解释几个术语，对非算子代数的读者友好一点。von Neumann 代数粗略理解就是由希尔伯特空间上的有界算子组成的、在弱算子拓扑下封闭的集合；迹 τ 就是矩阵迹的推广，满足 τ(xy)=τ(yx) 的正规半有限忠实线性泛函；τ-可测算子 可以理解为"关于迹几乎有界"的无界算子，是 L_p 空间的非交换模拟中自然出现的对象。
在投影情形下，核心创新是 Lemma 3.2 给出的概率核表示。这个引理说的是：存在一族概率测度 {ν_ω}（构成概率核），使得对任意有界 Borel 函数 h，下面这个迹保持的标量化公式成立：
图5：概率核表示（引理3.2）——将算子函数作用转化为经典测度积分
这里的 Ψ 是保迹 *-同构，把交换子代数 W*(exe) 映到 L_∞(Ω,μ) 函数空间；E_A 是条件期望，把 eM e 中的算子投影到子代数 A 上。这个表示的精妙之处在于：它把算子世界里复杂的函数演算，转化为经典测度论里的积分。这样一来，Jensen 迹不等式就变成了对每个 ω 逐点应用经典标量 Jensen 不等式，然后对 μ 积分。等号条件的分析也由此被还原为经典 Jensen 不等式等号条件的分析——这正是处理等号问题的关键一步：概率测度 ν_ω 必须退化为 Dirac 测度 δ_{Ψ(exe)(ω)}，也就是说分布完全集中在一点。
有了投影情形的结论之后，第二步用了一个非常经典的技巧。把 M 膨胀为 M⊗M₂，定义块矩阵算子 x~ 和部分等距 v，让 a*xa 和 a*f(x)a 分别变成 v*x~v 和 v*f(x~)v。注意 v*v=1，所以 vv* 是投影。这样一般压缩算子 a 的问题就被化归为投影 e=vv* 的问题，之前证明的投影情形直接套用。这种"膨胀-压缩"的对偶技巧在算子理论里已经有很长的历史，但把它和概率核表示结合起来用，是这篇论文的独创之处。
证明过程中还有几个值得注意的细节。比如处理无界算子时用的是仿射线性函数列逐点逼近凸函数的标准技巧，先对有界截断 g_{k,n} 建立不等式，再通过单调收敛定理取极限。又比如在处理不交换关系时，用到了奇异值函数的次可加性和 Cauchy 分布性质。这些技术细节单独看都是经典工具，但组合在一起、并且在无界算子框架下协调好它们，需要相当扎实的功底。
图6：投影情形的Jensen迹不等式（命题3.1）
值得一提的是，投影情形下等号条件被精确刻画为 ex=xe，即投影 e 与算子 x 可交换。这比一般情形下的条件 a*x²a=(a*xa)² 更直观——ex=xe 意味着 e 不"切割"x 的谱，x 在 e 的像空间上是"不变"的。这个观察也解释了为什么最终等号条件会呈现那个代数形式：它本质上就是"不交换性为零"的定量表达。
如果说 Jensen 迹不等式本身是这篇论文的"第一幕"，那么非交换 Lamperti 定理就是它的"第二幕"，而且这第二幕的戏剧张力一点也不比第一幕小。
先交代背景。1964年，Lamperti 研究了一类函数空间上的线性等距问题，证明了在满足一定凸性条件下，保模映射一定具有显式形式：(T f)(t)=h(t)(T₁ f)(t)，其中 h 是可测函数，T₁ 是由正则集同构诱导的映射。这个定理之所以重要，是因为它把"等距"这种看起来非常抽象的结构，归约为"乘一个函数 + 换一个自变量"这种非常具体的操作。在经典的 L_p 空间上，这个定理直接给出了等距的完整刻画。
图7：Lamperti定理中线性等距的显式形式
把这套思路搬到非交换世界，一个自然的想法是：能不能用 Jensen 迹不等式推出一类 Clarkson 型不等式，然后利用等号条件来证明等距保持某种"不交性"？这正是论文第二部分的推进路线。
关键的一步是引入函数 ψ(t)=Φ(√t)。这个换元使得 Φ(|x+y|) 可以被写成 ψ(|x+y|²) 的形式，从而把关于模的表达式转化为关于平方的表达式，为应用 Jensen 迹不等式创造条件。然后论文证明了下述定理：
图8：函数ψ的定义——核心换元技巧
图9：非交换Clarkson型不等式（定理1.2）
这就是非交换 Clarkson 型不等式。它的等号条件同样非常漂亮：等号成立当且仅当 x*y=0 且 xy*=0。这个条件在算子理论中叫做 x 与 y 相互不交，直观理解就是它们的"支撑"互不相交——x*y=0 表明 x 的值域与 y 的定义域互不重叠，xy*=0 则进一步保证值域层面也完全分离。当 x、y 取特征函数时，这个条件就退化为经典 Clarkson 不等式中的不交性条件。因此，定理1.2把 Yeadon 关于非交换 L_p 空间 Clarkson 不等式的结果推广到了更一般的 Orlicz 空间情形。
有了等号条件这个抓手，最后一步就是证明等距保持不交性。设 T 是 F-范数 Orlicz 空间 L_Φ(M,τ) 到 L_Φ(N,ν) 的等距。利用模块（modular）的保等距性质，对任意 x、y 计算 T(x+y) 和 T(x-y) 的模块之和，两边恰好就是 Clarkson 不等式的左右两端。既然 T 是等距，左边两个模块的和等于 τ(Φ(|x+y|))+τ(Φ(|x-y|))，而等号条件强制 T(x) 与 T(y) 不交。进一步可以证明 T 保持支撑投影的不交性，最后推出 T 必然具有如下显式形式：
图10：非交换Lamperti定理——等距的显式形式（定理1.3）
图11：保迹条件——等距的显式形式（定理1.3续）
这里 u 是部分等距，b 是正算子（可能不可测，仅仿射于 N），J 是 Jordan *-同态。这个形式与经典 Lamperti 定理的"乘函数+换自变量"结构高度呼应，可以看作非交换世界的完美类比。特别地，当 Φ(t)=t^p 时，这个结果给出了非交换 L_p 空间上线性等距的新证明，与 Yeadon 的结果互为印证。
读这篇论文，龙哥最大的感触是它的方法论具有超出具体定理的普适性。把框架从矩阵推广到一般半有限 von Neumann 代数，难点从来不是"多写几个无穷"，而是真正处理无界性、迹的半有限性、非交换性三者交织带来的结构性困难。
这篇论文提供了一个可复用的工具箱：奇异值函数把无界算子映射为 (0,∞) 上的可测函数，从而把算子不等式转化为函数不等式；测度拓扑提供了无界算子收敛的合适框架；保迹 *-同构把交换子代数映到函数空间，使得经典测度论工具得以使用；条件期望则充当了"从非交换到交换"的桥梁。
一个特别值得注意的细节是 F-范数 Orlicz 空间的定义方式。经典 Orlicz 空间要求存在某个 λ>0 使得 ρ_Φ(λf)<∞，F-范数则由 Mazur-Orlicz 公式给出。论文在证明等距的线性性时，用了一个非常巧妙的处理：先证明模块相等 τ(Φ(|x|))=ν(Φ(|T(x)|)) 对所有可测算子成立，再通过范数与模块的等价关系（引理2.1）反推出等距保持 F-范数。这个思路绕开了直接证明线性性的困难，是典型的"曲线救国"。
从更广阔的视角看，这篇论文填补的其实是一个长期存在的空白：算子 Jensen 不等式的研究已经相当成熟，但迹版本的等号条件却一直缺乏一般性处理。原因在于，算子版本的等号条件可以借助 Petz 的经典结果，而迹版本的等号条件需要更精细的标量化分析。论文建立的概率核表示，恰好补上了这一环。未来如果有人想研究其他迹型不等式（比如迹 Young 不等式、迹 Ando 不等式的等号条件），这个概率核框架大概率也能派上用场。
这篇论文最重要的贡献，龙哥认为可以概括为三点。
第一，在完全一般性下建立了 Jensen 迹不等式。x 不必有界，不必是正算子，只需自伴 τ-可测且满足可积性条件。Kosaki 2013 年的开放问题得到肯定回答。
第二，完整刻画了等号条件。在 f 严格凸的前提下，等号当且仅当 a*x²a=(a*xa)²。这回答了 Harada-Kosaki 2008 年的开放问题，也把矩阵和紧算子情形的结论推广到了一般半有限 von Neumann 代数。同时，论文的推论还推广了 Hansen-Pedersen 的非交换凸组合 Jensen 不等式，并给出了若干已知命题的等号条件补全。
第三，导出了非交换 Lamperti 定理。利用 Jensen 迹不等式的等号条件，论文得到了一类 F-范数非交换 Orlicz 空间上的等距完全刻画，推广了 Yeadon 关于非交换 L_p 空间的结果。这个定理的形式非常优美：部分等距、正算子、Jordan 同态三件套，和经典 Lamperti 定理形成了完美的非交换类比。
展望未来，有几个自然的方向值得关注。一是概率核方法能否推广到其他类型的算子不等式，比如 Golden-Thompson 不等式的等号条件；二是非交换 Lamperti 定理能否去掉部分等距的假设，得到更一般的结构定理；三是在量子信息论中，Jensen 迹不等式的等号条件能否用来刻画量子信道的保真度等性质。这些问题目前都还没有答案，但至少这篇论文为它们提供了有力的技术基础。
图12：Jensen迹不等式的半和形式推论（推论3.9）
下面是龙哥对于大家可能的一些问题的解答：
这篇论文到底在解决什么问题？本文完整建立半有限von Neumann代数上的Jensen迹不等式并刻画等号条件，回答了两个多年悬而未决的开放问题；在此基础上证明非对易Lamperti型不等式，刻画了一类F-范数非对易Orlicz空间上不必满射的线性等距。
这篇工作最值得看的点是什么？纯理论论文，无实验。主要成果为：1) 完全解决Kosaki(2013)和Harada-Kosaki(2008)提出的Jensen迹不等式及其等式条件问题；2) 建立非交换Lamperti型不等式及其等式条件；3) 刻画F-范数非交换Orlicz空间上的线性等距。
这篇工作的边界或风险在哪里？优点：1) 完全解决了领域内两个长期开放问题，理论贡献显著；2) 概率核标量表示方法新颖，将算子不等式问题转化为经典标量问题；3) 证明结构清晰，从特殊到一般的递进逻辑严谨。缺点：1) 纯理论论文，缺乏应用实例；2) 技术性较强，对读者数学基础要求高；3) 部分引理（如引理3.2）证明较为复杂。
如果你还有哪些想要了解的，欢迎在评论区留言或者讨论~
[1] Brown L G, Kosaki H. Jensen's inequality in semi-finite von Neumann algebras. J. Operator Theory, 2001.
[2] Harada M, Kosaki H. Jensen's trace inequality and its equality condition. 2008/2013.
[3] Kosaki H. Jensen's trace inequality for self-adjoint measurable operators. 2013.
[4] Lamperti J. On the isometries of certain function spaces. Pacific J. Math., 1964.
[5] Yeadon F J. Isometries of noncommutative L_p spaces. Math. Proc. Cambridge Philos. Soc., 1981.
[6] Hansen F, Pedersen G K. Jensen's operator inequality. Bull. London Math. Soc., 2003.
[7] Davis C. A Schwarz inequality for convex operator functions. Proc. Amer. Math. Soc., 1957.
[8] Pedersen G K. Some operator monotone functions. Proc. Natl. Acad. Sci. USA, 1972.
从经典Jensen不等式到非交换迹不等式：核心证明思路解析
非交换Lamperti定理：等距刻画的新工具
从矩阵到von Neumann代数：方法论的普适性
总结与展望：非交换分析的新方向
龙迷三问
龙哥点评
论文创新性分数：★★★★☆
通过建立新的概率核标量表示，将Jensen迹不等式及其等式条件归结为经典标量Jensen不等式，进而推导非交换Lamperti型不等式并刻画F-范数非交换Orlicz空间上的线性等距。实验合理度：★★★☆☆
现有材料未完整覆盖数据划分、基线公平性和统计显著性，因此按中性评价处理。学术研究价值：★★★★☆
通过建立新的概率核标量表示，将Jensen迹不等式及其等式条件归结为经典标量Jensen不等式，进而推导非交换Lamperti型不等式并刻画F-范数非交换Orlicz空间上的线性等距；更关键的是问题定义是否可复用到同类任务。稳定性：★★★☆☆
现有材料未提供充分的极端条件、重复运行或扰动测试，稳定性暂按中性评价。适应性以及泛化能力：★★★☆☆
现有材料未完整展示跨数据集、跨场景或分布外实验，泛化能力仍需进一步验证。硬件需求及成本：★★★☆☆
现有材料缺少完整训练资源、参数量、显存和推理时延信息，成本暂按中性评价。复现难度：★★★☆☆
现有材料未确认完整代码、配置、数据处理脚本和权重是否齐备，复现难度暂按中性评价。产品化成熟度：★★★☆☆
论文验证以研究实验为主，真实部署中的时延、成本、维护和异常场景仍需补充验证。可能的问题：，理论贡献显著；2) 概率核标量表示方法新颖，将算子不等式问题转化为经典标量问题；3) 证明结构清晰，从特殊到一般的递进逻辑严谨。缺点：1) 纯理论论文，缺乏应用实例；2) 技术性较强，对读者数学基础要求高；3) 部分引理（如引理3.2）证明较为复杂。
主要参考文献
不等式证明完不算牛，把等号条件精确刻出来才是真功夫。欢迎加入龙哥读论文粉丝群，扫描下方二维码或者添加龙哥助手微信号加群：kangjinlonghelper。一定要备注：研究方向+地点+学校/公司+昵称（如 图像处理+上海+清华+龙哥），根据格式备注，可更快被通过且邀请进群。群里已有图像处理、大模型及智能体、自动驾驶及机器人、AI医疗及AI金融5个群，数学控速来集合！
*本文仅代表个人理解及观点，不构成任何论文审核或者项目落地推荐意见，具体以相关组织评审结果为准。欢迎就论文内容交流探讨，理性发言哦～ 想了解更多原文细节的小伙伴，可以点击"阅读原文"，查看更多原论文细节哦！