量子态的迹范数重叠：插值、等式与数据处理刚性

中文摘要 AI 辅助

设$\rho$和$\sigma$为可分希尔伯特空间上的密度算子。对于$0<\alpha<1$，我们研究有向迹范数重叠$\Phi_\alpha(\rho,\sigma)=\\|\rho^\alpha\sigma^{1-\alpha}\\|_1$及其对称化形式$\mathcal F_\alpha(\rho,\sigma)=\frac12\bigl(\Phi_\alpha(\rho,\sigma)+\Phi_{1-\alpha}(\rho,\sigma)\bigr)$。当$\alpha=\tfrac12$时，两者均与根Uhlmann--Jozsa保真度一致。我们的目的并非引入新的保真度概念，而是理解这些重叠如何随参数变化以及所得不等式中等式何时成立。我们首先证明$\alpha\mapsto\Phi_\alpha(\rho,\sigma)$是对数凸的。这给出了$\mathcal F_\alpha$关于根保真度的尖锐下界，以及更强的中间几何平均界。我们还证明$\Phi_\alpha$是与$\alpha$-$z$ Rényi散度相关的迹泛函$Q_{\alpha,1/2}$，从而将有向重叠与已知的$\alpha$-$z$ Rényi理论联系起来。随后我们确定对称化族的精确数据处理行为。在量子信道下的普适单调性仅在$\alpha=\tfrac12$时成立；对于其他所有$\alpha$值，该性质在忠实实量子比特态的对角压缩下即已失效。在有限维情形下，我们给出等式情形的完整谱描述，并提供显式的非交换例子。我们还讨论了关于保重叠映射的一些自然问题。最后，我们证明Petz重叠与有向迹范数重叠之差恰好当$\rho$和$\sigma$交换时消失，无需忠实性或其他支撑假设。

英文摘要

Let $ρ$ and $σ$ be density operators on a separable Hilbert space. For $0<α<1$, we study the directed trace-norm overlap $Φ_α(ρ,σ)=\|ρ^ασ^{1-α}\|_1$ and its symmetrized form $\mathcal F_α(ρ,σ)=\frac12\bigl(Φ_α(ρ,σ)+Φ_{1-α}(ρ,σ)\bigr)$. At $α=\tfrac12$, both quantities coincide with the root Uhlmann--Jozsa fidelity. Our aim is not to introduce a new notion of fidelity, but to understand how these overlaps vary with the parameter and when equality occurs in the resulting inequalities. We first prove that $α\mapstoΦ_α(ρ,σ)$ is log-convex. This yields a sharp lower bound for $\mathcal F_α$ in terms of the root fidelity, together with a stronger intermediate geometric-mean bound. We also show that $Φ_α$ is the trace functional $Q_{α,1/2}$ associated with the $α$-$z$ Renyi divergence, which connects the directed overlap with the known $α$-$z$ Renyi theory. We then determine the exact data-processing behavior of the symmetrized family. Universal monotonicity under quantum channels holds only at $α=\tfrac12$; for every other value of $α$, it already fails under diagonal pinching of faithful real qubit states. In finite dimensions, we give a complete spectral description of the equality cases and provide explicit noncommuting examples. We also discuss some natural questions about overlap-preserving maps. Finally, we prove that the difference between the Petz overlap and the directed trace-norm overlap vanishes exactly when $ρ$ and $σ$ commute, without requiring either faithfulness or any additional support assumption.

发表机构

• Isfahan University of Technology（伊斯法罕理工大学）
• University of Regina（里贾纳大学）

机构由 AI 辅助整理，请以论文原文为准。

补充信息

备注

26 pages