量子态与经典态集合上的部分优超与 Schur 凹函数

Partial majorization and Schur concave functions on the sets of quantum and classical states

arXiv: 2604.13033v1

论文信息

标题: Partial majorization and Schur concave functions on the sets of quantum and classical states

作者: M. E. Shirokov

发布日期: 2026-04-14

arXiv ID: 2604.13033v1

PDF 链接: 下载 PDF

3 分钟速览

  • 研究问题：这篇论文研究在量子态的部分控制化（partial majorization）条件下，舒尔凹函数（Schur concave functions）的差异上界问题。换言之，当两个量子态仅在有限项特征值上满足控制化关系时，函数值的最大可能偏离是多少。

  • 核心方法：作者通过构造一族谱变换态 ρm,ε\rho_{m,\varepsilon}，将所有满足 mm-部分控制化且在迹范数 ε\varepsilon-球内的态统一到一个更易分析的集合中，从而将极值问题转化为在该族态上的函数求值。

  • 关键结果：定理 1 给出了所有 Schur 凹函数的紧上界 f(ρ)−f(ρm,ε)f(\rho)-f(\rho_{m,\varepsilon})，且该上界以 min⁡{ε,1/m}\min\{\varepsilon, 1/m\} 的趋势趋于零，只要函数满足下半连续性或某种弱条件（见论文第 4 节）。

  • 主要局限：构造的 ρm,ε\rho_{m,\varepsilon} 依赖于态 ρ\rho 的谱分解，需事先知道完整的特征值序列。对于无限维系统，数值计算仍需截断。上界对于一般的 Schur 凹函数是概念性的，具体到不同函数时尚需单独展开。

  • 适合读者：适合从事量子信息理论、量子熵理论、矩阵分析以及概率分布凸分析研究的研究生和学者阅读，要求读者熟悉控制化理论和算子的谱性质。

论文背景和研究动机

在量子信息理论中，许多重要的物理量——如冯·诺依曼熵、Rényi 熵、Tsallis 熵——都是 Schur 凹函数。这类函数的共同特征是：如果量子态 ρ\rho 控制化（majorize）量子态 σ\sigma，则 f(ρ)≤f(σ)f(\rho)\leq f(\sigma)。控制化关系由谱的不等式链定义，要求对所有的自然数 kk，有 ∑i=1kpi≥∑i=1kqi\sum_{i=1}^k p_i \geq \sum_{i=1}^k q_i，其中 {pi}\{p_i\} 和 {qi}\{q_i\} 是按非增顺序排列的本征值。

问题在于，对于无穷秩量子态，验证完整的控制化关系需要检查无穷多个不等式。如果仅知道前 mm 个不等式成立——即 ρ\rho mm-部分控制化 σ\sigma——我们无法再断言 f(ρ)≤f(σ)f(\rho)\leq f(\sigma)。此时一个自然的问题浮现出来：已知部分控制化和可能的迹距离约束 12∥ρ−σ∥1≤ε\frac{1}{2}\|\rho-\sigma\|_1\leq\varepsilon 时，差值 f(ρ)−f(σ)f(\rho)-f(\sigma) 能有多大？

2024 年，作者在文献 [1]（arXiv:2504.08098）中针对特殊情形——冯·诺依曼熵——回答了这个问题，得到了紧的半连续性界。本文则将该工作推广到所有 Schur 凹函数，建立了一个普适的框架来处理上述极值问题。这一推广的意义在于，不同 Schur 凹函数（如不同阶数的 Rényi 熵）表现各异，有的甚至不是通常 Jensen 意义下的凹函数，统一的理论有助于一次性处理所有这些量。

核心方法和技术细节

方法的基石是命题 1。对固定态 ρ=∑i=1+∞pi∣φi⟩⟨φi∣\rho = \sum_{i=1}^{+\infty} p_i |\varphi_i\rangle\langle\varphi_i|，定义集合：

Tm(ρ)={∑i=1+∞qi∣φi⟩⟨φi∣ ∣ qi=pi (i≤m), qm+1≥pm+1}.T_m(\rho) = \left\{ \sum_{i=1}^{+\infty} q_i |\varphi_i\rangle\langle\varphi_i| \ \big| \ q_i=p_i \ (i\leq m), \ q_{m+1}\geq p_{m+1} \right\}.

该集合中的态与 ρ\rho 共享前 mm 个本征值和对应的本征向量，但第 m+1m+1 个本征值不低于原值（允许牺牲之后的谱）。命题 1 证明，对于任意 Schur 凹函数 ff，极值问题可简化到这个集合上：

sup⁡σ≺mρ,12∥ρ−σ∥1≤ε{f(ρ)−f(σ)}≤sup⁡σ∈Tm(ρ)∩Uε(ρ){f(ρ)−f(σ)}.\sup_{\sigma \prec_m \rho, \frac{1}{2}\|\rho-\sigma\|_1 \leq \varepsilon} \{f(\rho)-f(\sigma)\} \leq \sup_{\sigma \in T_m(\rho) \cap U_\varepsilon(\rho)} \{f(\rho)-f(\sigma)\}.

这一引理的核心论证由引理 1 给出：若 σ≺mρ\sigma \prec_m \rho，则可通过调整 σ\sigma 的本征值构造出 σ∗∈Tm(ρ)\sigma_* \in T_m(\rho)，使得 σ∗\sigma_* 控制化 σ\sigma 且与 ρ\rho 的迹距离不增（见论文第 3 节引理 1 的证明）。因为 ff 是 Schur 凹的，故 f(σ∗)≤f(σ)f(\sigma_*)\leq f(\sigma)，所以 σ\sigma 处的目标值不可能超过 Tm(ρ)T_m(\rho) 中某态处的值。

接下来，定理 1 显式地构造了 Tm(ρ)∩Uε(ρ)T_m(\rho)\cap U_\varepsilon(\rho) 中的 “最差” 态 ρm,ε\rho_{m,\varepsilon}。视 ε\varepsilon 与累积尾分布 dm+1=1−∑i=1m+1pid_{m+1}=1-\sum_{i=1}^{m+1}p_i 的大小关系，分三种情况定义：

  • 若 ε≥dm+1\varepsilon \geq d_{m+1}：ρm,ε\rho_{m,\varepsilon} 截断在秩 m+1m+1，前 mm 个本征值不变，第 m+1m+1 个本征值为 dmd_m。
  • 若 nn 有限且 ε≤pn\varepsilon \leq p_n：仅调整第 m+1m+1 和第 nn 个本征值，分别加 ε\varepsilon 和减 ε\varepsilon。
  • 若 ε<dm+1\varepsilon < d_{m+1} 但 ε>pn\varepsilon > p_n 或 n=+∞n=+\infty：选定 ℓε=min⁡{k∣dk≤ε}\ell_\varepsilon = \min\{k \mid d_k \leq \varepsilon\}，调整第 m+1m+1 和第 ℓε\ell_\varepsilon 个本征值（见论文第 4 节定义 15-18）。

引理 2 证明该构造态属于 Tm(ρ)∩Uε(ρ)T_m(\rho)\cap U_\varepsilon(\rho) 且控制化该交集内的所有态，故对 Schur 凹函数 ff，f(ρm,ε)f(\rho_{m,\varepsilon}) 是该交集上的最小值。由此，得到紧上界 f(ρ)−f(ρm,ε)f(\rho)-f(\rho_{m,\varepsilon})，等式可以在某些谱条件下达到（见论文第 4 节定理 1 的最优性证明）。

该界以 min⁡{ε,1/m}→0\min\{\varepsilon, 1/m\}\to 0 趋于零的充分条件是：ff 下半连续，或者更弱地，对任意控制化递减序列保持下极限不等式（条件 b）。冯·诺依曼熵、Rényi 熵、Tsallis 熵均满足下半连续性。

创新点和贡献

本文的理论创新体现在三个层面。

第一，理论的普适性。 现有的控制化下熵差异界几乎都只针对冯·诺依曼熵逐个推导。本文一次性地为整个 Schur 凹函数族提供了统一的上界公式，只需代入具体函数即可。例如，对 Rényi 熵 RαR_\alpha，论文在第 4 节的例 1 给出了显式的上界表达式，并验证了 m→+∞m\to +\infty 时界趋于零，无论 α∈(0,1)\alpha\in (0,1) 还是 α>1\alpha>1。

第二，引入 ε\varepsilon-充分控制化秩。 基于定理 1 的结论，作者为具有有限熵的量子态 ρ\rho 定义了一个新的谱特征量：

mrε(ρ)=inf⁡{m∈N ∣ sup⁡σ≺mρS(ρ)−S(σ)S(ρ)≤ε}+1.mr_\varepsilon(\rho) = \inf\left\{ m \in \mathbb{N} \ \big| \ \sup_{\sigma\prec_m \rho} \frac{S(\rho)-S(\sigma)}{S(\rho)} \leq \varepsilon \right\} + 1.

该量刻画了态 ρ\rho 的本征值衰减速率：若只需截取较少的大本征值（即 mm 小）就能保证 mm-部分控制化引起的相对熵差不超过 ε\varepsilon，则谱尾部贡献小。作者得到了该量的一个可计算上界（推论 3）：

mrε(ρ)≤min⁡{m ∣ S^(ρ[m])≤εS(ρ)}+1,mr_\varepsilon(\rho) \leq \min\left\{ m \ \big| \ \widehat{S}(\rho^{[m]}) \leq \varepsilon S(\rho) \right\} + 1,

其中 ρ[m]\rho^{[m]} 是去掉前 mm 个最大本征值后的剩余算子，S^\widehat{S} 是熵的齐次扩张（见论文 5.2 节）。

第三，对量子振子吉布斯态的明确应用。 在例 3 中，对于平均量子数为 NN 的吉布斯态 ρN\rho_N，其 q=N/(N+1)q=N/(N+1)，有 S^(ρN[m])=qmS(ρN)\widehat{S}(\rho_N^{[m]}) = q^m S(\rho_N)，从而

mr^ε(ρN)=[log⁡qε]+2.\widehat{mr}_\varepsilon(\rho_N) = [\log_q \varepsilon] + 2.

这一结果直观地显示了高 NN（即更 “热” 的态）由于本征值衰减更慢，需要更大的 mm 才能达到相同的相对误差 ε\varepsilon。图 3 绘制了不同 NN 下 ε↦mr^ε(ρN)\varepsilon \mapsto \widehat{mr}_\varepsilon(\rho_N) 的双对数曲线，量化了这一关系。

局限与待解决问题

尽管本文建立的框架具有较强的普适性，仍存在一些理论和技术层面的局限，值得后续探索。

第一，对非 Schur 凹函数的适用性。 本文的整套方法强依赖于 Schur 凹性（或 Schur 凸性），无法直接推广到不具备此性质的物理量。例如，纠缠度量中的一些函数虽然与控制化有关联，但并不总是 Schur 凹的。

第二，谱的精确知识假设。 构造 ρm,ε\rho_{m,\varepsilon} 需知道 ρ\rho 的完整特征值序列（含本征向量的指定）。在实际量子态层析中，完整重建无穷维态的本征谱是不现实的。如何在部分谱信息下给出有效的界是一个开放问题。

第三，可及性（achievability）情景均限于特定谱条件。 定理 1 和推论 2 虽然声称上界是紧的，但其达到紧性的构造依赖于 ρ\rho 满足 p1+⋯+pm≥1−pm+1p_1+\cdots+p_m \geq 1-p_{m+1} 一类的谱不等式。对于不满足这些条件的态，实际能达到的最大差值距离上界可能还有间隙，但论文未给出此时的确切最大可达值。

第四，连续变量系统的推广尚未明确。 论文设定在可分希尔伯特空间上的迹类算子系统，本质上处理的是离散谱的情况。对于具有连续谱分量的量子态（如某些压缩态），谱分解的形式不同，本文的构造方法需要本质性的改造。

第五，ε\varepsilon-充分控制化秩的进一步物理意义。 作者引入了 mrε(ρ)mr_\varepsilon(\rho) 作为谱衰减的特征量，并在例 3 中演示了其对温度参数的敏感性。然而，该量和物理可观测量（如能量、关联函数）之间的直接关系没有展开讨论。理论的价值仍主要停留在信息论概念层面。