三点迹正性：Schatten 范数压缩与插值度量
Three-Point Trace Positivity:Schatten Norm Compression and Interpolating Metrics
浏览论文内容
中文总结 AI 辅助
该研究证明了三点迹正性相关不等式，解决了 Schatten 范数压缩领域的 Lin–van den Driessche 猜想，还确定了一类插值度量的适用范围，解决了 Komálovics 和 Molnár 的问题2。
中文摘要 AI 辅助
设 $(\u2113,\nu)$ 为有限迹冯·诺依曼代数，定义 $\mathcal{K}_r(P,Q)=\nu((P^{1/2}QP^{1/2})^r)$，我们证明当 $1/2\le r\le1$ 时，$[\mathcal{K}_r(P_i,P_j)]_{i,j=1}^3\ge0$。其中 $1/2<r<1$ 的范围对矩阵而言也是新结果，且阶数3对 $1/2\le r<1$ 是最优的。该单一机制解决了两个问题：其一，若 $(\u211b,\omega)$ 为有限迹冯·诺依曼代数，且 $H=[H_{ij}]_{i,j=1}^3\in M_3(\u211b)_+$，则当 $1\le p\le2$ 时，$[\omega(|H_{ij}|^p)]_{i,j=1}^3\ge0$，解决了 Schatten 范数压缩领域的 Lin–van den Driessche 猜想；其二，对半有限迹冯·诺依曼代数 $(\u2118,\tau)$，定义 $d_t(A,B)^2=\frac{\tau(A)+\tau(B)}2- \\|B^{t/4}A^{t/4}\\|_{2/t}^{2/t}$，我们证明当 $1\le t\le2$ 时，$d_t$ 是 $L^1(\u2118,\tau)_+$ 上的完备度量，涵盖了 Hellinger 和 Bures 端点之间此前未解决的 $1<t<2$ 范围，且 $d_t$ 是 $L^1(\u2118,\tau)_+$ 上的度量当且仅当 $t\in[1,2]$ 或 $\u2118$ 是交换的；其拓扑与柯西序列均与 $L^1$ 一致。该分类对单位迹 $C^*$ 代数也成立，结合已知的 $t=0$ 障碍，解决了 Komálovics 和 Molnár 的问题2。
英文摘要
Let $(\mathcal N,ν)$ be a finite tracial von Neumann algebra and set $\mathcal{K}_r(P,Q)=ν((P^{1/2}QP^{1/2})^r)$. We prove that $$ [\mathcal{K}_r(P_i,P_j)]_{i,j=1}^3\ge0, \qquad 1/2\le r\le1. $$ The range $1/2<r<1$ is new even for matrices, and order three is sharp for $1/2\le r<1$. This single mechanism resolves two problems. First, if $(\mathcal R,ω)$ is finite tracial and $H=[H_{ij}]_{i,j=1}^3\in M_3(\mathcal R)_+$, then $$ [ω(|H_{ij}|^p)]_{i,j=1}^3\ge0, \qquad 1\le p\le2, $$ settling the Lin--van den Driessche conjecture on Schatten norm compression. Second, for a semifinite tracial von Neumann algebra $(\mathcal M,τ)$, define $$ d_t(A,B)^2=\frac{τ(A)+τ(B)}2- \|B^{t/4}A^{t/4}\|_{2/t}^{2/t}. $$ We prove that $d_t$ is a complete metric on $L^1(\mathcal M,τ)_+$ for $1\le t\le2$, including the previously open range $1<t<2$ between the Hellinger and Bures endpoints, and that $$ d_t\text{ is a metric on }L^1(\mathcal M,τ)_+ \quad\Longleftrightarrow\quad t\in[1,2]\ \text{or}\ \mathcal M\text{ is abelian}. $$ Its topology and Cauchy sequences agree with those of $L^1$. The same classification holds for unital tracial $C^*$-algebras and, with the known $t=0$ obstruction, resolves Problem~2 of Komálovics and Molnár.
发表机构
- High School for the Gifted, VNUHCM（越南国立大学胡志明市分校天赋高中）
- Vietnam National University Ho Chi Minh City（越南国立大学胡志明市分校）
- Department of Mathematics, Ritsumeikan University（立命馆大学数学系）
机构由 AI 辅助整理，请以论文原文为准。
