1 背景与动机
1.1 经典信道容量回顾
经典信息论中，香农在1948年建立了信道容量的数学框架。对于离散无记忆信道，香农第二编码定理指出：如果信息传输速率低于信道容量，则存在编码方案使错误概率任意小；反之，若速率超过容量，则任何编码都无法维持可靠通信。经典信道容量由输入输出之间的互信息最大化给出，其公式为 \( C = \max_{p(x)} I(X;Y) \)。这一理论奠定了通信系统工程的基础，将通信可靠性问题转化为信息速率与噪声本质间的博弈。
1.2 量子信息与噪声的独特性
量子信息的存储与传输面临迥异于经典领域的噪声类型。量子态不可克隆性、非正交态不可区分性、以及纠缠态对环境的极端敏感性，使得经典容量理论无法直接套用。例如，量子噪声不仅能翻转比特值，还能破坏量子相干性，造成相位信息丢失。与经典系统不同，量子信道可能同时携带经典信息和量子信息，且两类信息对噪声的响应不同。此外，量子测量天然具有扰动性，隐蔽通信与窃听检测在量子场景中有全新的含义。
1.3 从香农到量子：编码定理的推广
将香农理论推广至量子领域需要重新定义信息度量与信道模型。Schumacher在1995年提出了量子信源编码定理（量子压缩定理），首次将冯·诺依曼熵类比为香农熵。在此基础上，Holevo、Schumacher和Westmoreland等人逐步建立了量子信道的经典容量理论。这些推广揭示了量子信道容量的重要特征：纠缠资源可以提升通信速率，且量子信道容量往往不满足香农理论中的可加性性质，从而显现出更为丰富的数学结构。
2 量子信道的形式化描述
2.1 量子态与密度算子
| 量子系统在数学上由希尔伯特空间 \(\mathcal{H}\) 描述。系统的纯态由归一化向量 \( | \psi\rangle\) 表示，而混合态通过密度算子 \(\rho = \sum_i p_i | \psi_i\rangle\langle\psi_i | \) 描述，其中 \(p_i \ge 0\)，\(\sum_i p_i = 1\)。密度算子是定义在希尔伯特空间上的正定算符且满足迹为1。量子态的演化、测量与复合系统操作都以密度算子为基本语言。 |
|---|
2.2 量子信道的定义（完全正定保迹映射）
量子信道是对量子态进行物理上允许的操作的数学抽象。一个量子信道被定义为从输入密度算子到输出密度算子的线性映射 \(\mathcal{N}\)，满足以下两个条件：
- 完全正定性：对任意辅助系统，映射 \(\mathcal{N} \otimes \mathbb{I}_A\) 都保持正定性；
- 保迹性：\(\text{Tr}[\mathcal{N}(\rho)] = \text{Tr}[\rho] = 1\)，即输出仍为密度算子。
完全正定性保证信道与任何外部环境联合时的物理合理性，保迹性反映概率守恒。所有物理上可实现的量子过程都必须由CPTP映射描述。
2.3 信道表示：Kraus算子与Stinespring扩张
量子信道 \(\mathcal{N}\) 可以表示为Kraus算子形式： \[ \mathcal{N}(\rho) = \sum_k E_k \rho E_k^\dagger, \] 其中Kraus算子满足 \(\sum_k E_k^\dagger E_k = \mathbb{I}\)。这一表示直观地刻画了噪声对态的作用：每个 \(E_k\) 对应一个可能的量子跃迁或测量结果。
另一种重要表示是Stinespring扩张：存在一个等距算子 \(V: \mathcal{H}_{\text{in}} \to \mathcal{H}_{\text{out}} \otimes \mathcal{H}_{\text{env}}\)，使得 \[ \mathcal{N}(\rho) = \text{Tr}_{\text{env}}[V \rho V^\dagger], \] 即信道可以理解为将系统与环境耦合后进行部分迹操作。两种表示等价，各有利于不同场景的分析。
2.4 噪声模型举例
2.4.1 退极化信道
退极化信道以相同概率将量子态替换为完全混合态。对单量子比特，其作用为： \[ \mathcal{N}_{\text{dep}}(\rho) = (1-p)\rho + p \frac{\mathbb{I}}{2}, \] 其中 \(p\) 为退极化概率。该信道模拟了各向同性的噪声，常被用于理论模型与实验基准。
2.4.2 振幅阻尼信道
振幅阻尼信道描述量子系统与热库能量交换导致的衰减，如原子激发态向基态的自发辐射。其Kraus算子为： \[ E_0 = \begin{pmatrix} 1 & 0 \\ 0 & \sqrt{1-\gamma} \end{pmatrix},\quad E_1 = \begin{pmatrix} 0 & \sqrt{\gamma} \\ 0 & 0 \end{pmatrix}, \] 其中 \(\gamma\) 为阻尼率。该信道展现了能量消耗和退相干共存的特征。
2.4.3 相位翻转信道
相位翻转信道在不改变布居数的情况下破坏相干性，导致量子态沿某一轴退相干。单比特形式为： \[ \mathcal{N}_{\text{phase}}(\rho) = (1-p)\rho + p Z \rho Z, \] 其中 \(Z\) 为泡利-Z算子。这类噪声在超导量子比特和离子阱系统中尤为常见。
3 量子信道容量的主要类型
3.1 经典容量（C）
3.1.1 Holevo-Schumacher-Westmoreland定理
Holevo-Schumacher-Westmoreland定理（简称HSW定理）确立了量子信道传输经典信息的容量公式。该定理表明，如果信源输出相互正交的量子态（即经典情形），则经典容量退化为香农容量；若信号为非正交态，容量由Holevo界限制。HSW定理的具体表述为：对于离散无记忆量子信道，其经典容量等于正则化公式 \[ C = \lim_{n\to\infty} \frac{1}{n} \max_{p_i,\rho_i} \chi(\{p_i,\mathcal{N}^{\otimes n}(\rho_i)\}), \] 其中 \(\chi\) 为Holevo信息。
3.1.2 可达速率与Holevo界
Holevo信息 \(\chi\) 定义为： \[ \chi(\{p_i,\rho_i\}) = S\left(\sum_i p_i \rho_i\right) - \sum_i p_i S(\rho_i), \] 其中 \(S(\rho) = -\text{Tr}[\rho \log \rho]\) 是冯·诺依曼熵。Holevo界指出，通过发送非正交量子态传输经典信息时，每信道使用的最大互信息不可能超过Holevo信息。可达速率与Holevo界的关系构成了量子经典通信的基本限制。
3.2 量子容量（Q）
3.2.1 相干信息与私有容量
量子容量 \(Q(\mathcal{N})\) 定义为信道能够可靠传输量子信息的最大速率。其核心度量是相干信息（coherent information）： \[
| I_c(\rho, \mathcal{N}) = S(\mathcal{N}(\rho)) - S((\mathcal{N} \otimes \mathbb{I})( | \psi\rangle\langle\psi | )), |
|---|
\]
| 其中 \( | \psi\rangle\) 是输入态的纯化。私有容量（private capacity）指信道中私密经典信息的传输速率，与量子容量密切相关。在适当的纠错机制下，量子容量由相干信息的正则化给出： |
|---|
\[ Q(\mathcal{N}) = \lim_{n\to\infty} \frac{1}{n} \max_{\rho} I_c(\rho, \mathcal{N}^{\otimes n}). \]
3.2.2 量子容量零的非可加性现象
Hastings在2009年发现了一个震撼性结果：存在两个量子信道，其各自的量子容量为零，但它们的张量积信道却具有严格正的正则化量子容量。这一反例彻底打破了人们对量子容量可加性的幻想，表明量子信息处理中的“一加一不等于二”的奇特性质。
3.3 纠缠辅助容量（C_EA）
3.3.1 纠缠资源的角色
当发送方和接收方预先共享纠缠态时，量子信道的经典容量可以得到提升。纠缠资源的作用类似于“量子回程”，允许发送方利用量子隐形传态等技术瞬间传递信息。前置纠缠不能增加信道容量本身，但可以改变对信道的使用策略，从而增强可达速率。
3.3.2 纠缠辅助经典容量公式
纠缠辅助经典容量由Bennett、Shor、Smolin和Thapliyal（BSST）给出公式： \[
| C_{EA}(\mathcal{N}) = \max_{\rho} \left[ S(\rho) + S(\mathcal{N}(\rho)) - S((\mathcal{N} \otimes \mathbb{I})( | \psi\rangle\langle\psi | )) \right], |
|---|
\]
| 其中 \( | \psi\rangle\) 是 \(\rho\) 的纯化。这一表达式无需正则化步骤，是少数具有闭式解的量子信道容量之一。 |
|---|
3.4 私密容量与密钥生成
3.4.1 量子密钥分发中的信道容量
量子密钥分发（QKD）协议本质上利用量子信道生成共享密钥。私密容量 \(K(\mathcal{N})\) 量化信道所能支持的密钥生成速率上限。对于理想的BB84协议，在无噪声环境下私密容量等于1比特/量子比特；在有噪声下，容量受制于量子比特误码率（QBER）。经典后处理算法（如信息协调和隐私放大）可以有效逼近容量极限。
3.4.2 有噪信道下的私密容量
在噪声严重的信道中，私密容量可能低于经典容量和量子容量。对于特定信道（如退极化信道），私密容量可以在某些参数区域内严格为正，即使其量子容量为零。这反映了密钥生成不要求完美量子态传输，而是以纠缠蒸馏为手段。Devetak-Winter公式给出私密容量的正则化表达。
4 容量计算与关键结果
4.1 退化信道与信道间的排序
4.1.1 信道压缩与量子编码
退化信道指经过信道的输出可以进一步模拟另一信道的输出。在经典理论中有著名的“数据压缩定理”，量子版本则利用Schumacher压缩将高维量子态映射至更小的码空间。量子编码（如纠错码）通过引入冗余来对抗噪声，其性能由编码率与噪声模型共同决定。
4.1.2 可加性与超加性
可加性是指联合信道的容量等于各子信道容量之和。经典容量满足可加性，但量子容量不满足。超加性现象指联合容量严格大于各容量之和，这是量子信息处理的独特优势，但也给容量计算带来巨大困难。无数研究致力于寻找可加性成立的特殊信道族。
4.2 无噪声子空间的利用
4.2.1 量子纠错与信道容量
量子纠错码通过在逻辑量子比特中构造无噪声子空间，将信息保护起来免受特定噪声影响。当信道噪声具有某种结构时（如对称性），存在纠错码可使有效信道退化为无噪声理想信道。Shor码、Steane码和表面码都是实践中的经典例子。信道容量本质上由纠错码可达的信息率决定。
4.2.2 阈值与容错阈值
容错量子计算中，如果物理错误率低于某个阈值，则可以通过纠错实现任意精度的量子计算。该阈值依赖于纠错方案和噪声模型。当前最优的表面码阈值约为1%。信道容量的概念在其中表现为：低于噪声阈值时，量子容量为正，允许无限长保持量子信息。
4.3 连续变量量子信道容量
4.3.1 高斯信道与经典容量
连续变量系统（如光场）中的量子信道通常由高斯映射描述。高斯信道的经典容量由高斯态的最优化达到，这一性质被称为“高斯最优性”。对于无记忆高斯信道，经典容量与经典高斯信道容量相似，但受制于量子散粒噪声的影响。
4.3.2 热噪声与纠缠辅助情况
热噪声高斯信道是最常见的现实模型。在不使用纠缠资源时，其经典容量由Eve的窃听或耦合决定；在纠缠辅助下，容量可大幅提升。纠缠辅助的连续变量容量表达式在特定条件下可以解析求解，对于设计长距离光纤量子通信具有理论指导意义。
5 未解问题与研究前沿
5.1 量子信道容量的正则化公式
除纠缠辅助容量外，几乎所有量子信道容量都只有正则化公式，即需要对无限次信道使用取极限。这导致容量计算在数学上极为困难。寻找单一字母描述（无需正则化的闭式公式）是领域内的圣杯问题。目前已知仅少数特殊信道（如消信道、某些相位阻尼信道）具有单一字母解。
5.2 容量非可加性的普适性
Hastings的反例表明非可加性至少存在，但其是否普适尚不清楚。是否存在一类信道在所有容量定义下都是可加的？非可加性与纠缠蒸馏、量子瓶颈之间的关系也待进一步揭示。该问题的回答将直接影响量子网络设计中的资源分配策略。
5.3 量子网络中的多路信道容量
多用户量子信道（如广播信道、多路访问信道）的容量区域比点对点情形复杂得多。量子网络容量涉及Slepian-Wolf系、多用户纠缠共享与矛盾排除，迄今仅有初步刻画。量子互联网的终极目标正是利用量子网络容量实现全局量子态的分布式处理。
5.4 实验验证与量子互联网设计
理论容量与实验可实现速率之间存在巨大鸿沟。当前量子密钥分发系统已逼近100公里以上链路的私密容量极限，但量子容量的实验测定仍受制于纠缠源亮度和存储效率。未来量子互联网的架构设计需要端到端容量模型，而这依赖于对信道非可加性的更深理解。
6 相关概念与交叉领域
6.1 量子互信息与量子相对熵
| 量子互信息 \(I(A:B) = S(A) + S(B) - S(AB)\) 刻画两部分量子系统之间的总关联（包括经典与量子关联）。量子相对熵 \(D(\rho \| \sigma) = \text{Tr}[\rho \log \rho] - \text{Tr}[\rho \log \sigma]\) 是衡量两个态差异的距离度量。两者在信道容量分析中扮演关键角色：量子互信息用于纠缠辅助容量计算，相对熵用于信息论不等式推导。 |
|---|
6.2 信道互模拟与量子超编码
信道互模拟（channel simulation）指用资源系统的操作来模拟目标信道，其效率由资源消耗速率决定。量子超编码（superdense coding）是纠缠辅助通信的经典范例：利用共享纠缠，单量子比特可以携带两比特经典信息。这一思想启发了纠缠辅助容量的一般公式。
6.3 量子密码学中的容量安全边界
在量子密码学中，信道容量提供了一个安全性的终极上界。任何Eve的窃听都会引入噪声，从而压制系统可提取的私密容量。当Eve的窃听强度超过一定阈值，安全密钥生成速率降至零。这一安全边界是设计QKD协议和评估系统安全性的理论基础。
7 历史与重要人物
7.1 开山之作：Schumacher、Holevo、Bennett等人的贡献
量子信道容量的理论奠基始于1990年代初。Schumacher提出了量子压缩定理，首次明确了量子信源编码的熵界限；Holevo在1973年就发现了著名的Holevo界，但该工作直到1990年代才被纳入信道容量框架。Bennett、Shor、Smolin和Thapliyal在2000初给出了纠缠辅助容量的闭式公式。这些先驱工作共同构建了量子信息论的基石。
7.2 近年突破：Hastings的反例与Devetak-Winter公式
2009年，Hastings通过随机数学构造发现了容量非可加性的反例，结束了关于量子容量可加性的长期猜测。Devetak和Winter在2005年建立了私密容量的正则化公式，并证明其与量子容量的深层关系。这些突破虽然在理论上深化了理解，但同时也揭示了量子信道容量的极端复杂性，使得计算问题成为信息论中困难却迷人的课题。