四种不同任务共用一个容量公式
论文讨论纯损耗信道 L_eta（透射率 0 < eta < 1）上的四种操作任务：量子传输（Q2）、纠缠分发（D2）、私密经典传输（P2）和密钥协商（K2）。每个容量都是在平均能量约束下渐近速率 log2(dn)/n 的上确界，其中 dn 是目标维度或经典字母表大小，误差趋于零。速率以每次信道使用的量子比特、纠缠比特或密钥比特计量。
定理 1 指出四者全部相等：Q2 = D2 = P2 = K2 = g(N) - g((1-eta)N)，其中 g(x) = (x+1)log2(x+1) - x log2 x，g(0) = 0。这一相等并非记号上的巧合。量子传输可以分发纠缠，纠缠又通过隐形传态传输量子态；随机消息的私密传输生成密钥，密钥通过一次性密码本加公开密文传输私密消息。这些转换只增加本地操作和公开通信，因此保持光学能量预算不变。
两个边界值锚定了这个公式。当 N = 0 时容量为零，当 N 趋于无穷时容量趋近 PLOB 值 -log2(1-eta)。因此有限能量结果在无法通信与无约束基准之间插值，其差距由信道损耗和输入能量共同决定。
约束针对平均值而非峰值
对于一个 n 次使用的协议，约束是 (1/n) * 对 i 求和 xi <= N，其中 xi = Tr(n_i rho_i) 是第 i 次使用时发射模式的无条件平均光子数。每一次随机选择、公开结果和失败分支都被计入，全部 n 个信道时隙都计入速率。没有施加峰值或分支层面的能量约束。
这一点很重要，因为论文表明，在更强的逐次使用约束 xi <= N 下（对每次信道使用都成立，xi 仍对所有经典结果和随机选择取平均），相同的容量恒等式和相同的强逆阈值依然成立。逐次使用条件蕴含块平均约束，因此两个逆界都继续适用，而匹配的扇区哈希和真空稀释构造也满足逐次使用约束。因此两种能量约定对全部四种任务给出相同的容量和阈值。
协议模型刻意宽松：Alice 和 Bob 从本地制备和公开随机性出发，没有共享纠缠或密钥，可以在信道使用之间插入自适应本地操作以及无限次认证的双向公开经典通信。本地存储没有能量或熵约束，Eve 被假定接收损耗环境和全部公开记录。
扇区隐形传态把能量预算转入纠缠
核心的技术障碍在于，逆论证必须约束任何自适应协议在遵守输入光子预算的前提下能达到什么。论文的工具——扇区隐形传态模拟——通过把输入能量约束转移到共享纠缠资源来解决这个问题。
总光子数固定的多模态占据一个有限维子空间，可以用一对最大纠缠态完美隐形传态，其两份各自含有相同的光子数。记 H_{s,m} 为 s 个模式中包含恰好 m 个光子的子空间，Phi_{s,m} 为该子空间两份拷贝之间的最大纠缠态，则纯损耗资源为 J_{s,m} = (id_R 张量 L_eta^{张量 s})(Phi_{s,m})。它依赖于信道和光子数扇区，但不依赖于具体输入态。被动模式协变随后给出一个 LOCC 映射 T_{s,m}，使得只要发射块支撑在 H_{s,m} 上，信道输出就等于把 T_{s,m} 作用于输入与 J_{s,m}，其中包含与 Alice 和 Bob 保留存储的任意关联。
把这一逐扇区构造推广到一般有限能量输入，需要估计资源纠缠并控制扇区之间的相干性。对于自适应协议，这些估计被应用于整个协议的独立副本中同一轮次的输入，从而保留每次运行内的全部反馈。对于一个 n 次使用、无条件输入光子数 xi 满足 sum xi <= nN 的协议，所得界为 E_R^infinity(zeta_n) <= 对 i 求和 c_eta(xi) <= n c_eta(N)，其中 zeta_n 是保留的最终量子态，c_eta(x) = g(x) - g((1-eta)x)。目标态检验和隐私检验随后给出量子与密钥的弱逆。
强逆阈值停留在无约束的 PLOB 值
对于一个容量 C，其强逆阈值 C-dagger 是速率 R 的下确界，使得任何满足 lim inf (log2 dn)/n > R 的 n 次使用协议序列的误差都趋于一。定理 2 指出，对每个 N > 0，在平均约束下，Q2-dagger = D2-dagger = P2-dagger = K2-dagger = -log2(1-eta)。
其结果是鲜明的分离：能量约束容量依赖于可用能量，但其强逆阈值不依赖，对每个非零平均能量预算都保持等于无约束的 PLOB 值。下阈值由真空稀释证明，上阈值使用已建立的无约束自适应强逆。
这正是论文框架最容易被误读的地方。该阈值不是第二个容量，也不表示高于 g(N) - g((1-eta)N) 的速率可达。它说的是：在无条件平均约束下，误差仍能被压到零的速率区间由依赖能量的容量决定，而误差必然趋于一的速率上界由无约束值决定。
硬光子截断恢复依赖能量的强逆
在一个更受限的设定中，图景发生变化。假设全部 n 个光学输入在传输前就已制备，并行信道使用前后允许任意双向 LOCC，但没有反馈进入后续输入。施加硬截断：联合输入支撑在总光子数至多 floor(nN) 的态上，允许不同光子数扇区之间的相干性。Alice 和 Bob 仍从没有共享纠缠或密钥出发。
定理 3 指出，在这个并行截断模型中，对 0 < N < 无穷，全部四种容量及其强逆阈值都等于 c_eta(N) = g(N) - g((1-eta)N)。在任何高于该值的固定速率下，量子目标保真度指数式消失，操作密钥或私密消息误差指数式趋于一。当超过截断的概率随 n 趋于零时同一阈值成立，若该尾部也指数衰减则保证指数收敛。
支撑约束排除了定理 2 所依赖的真空稀释构造，这就是此处能获得依赖能量的强逆的原因。论文明确说明了边界：该结果针对并行输入，并不断言交错自适应协议存在依赖能量的强逆。在合适的光子数约束下为交错自适应协议建立这一结果仍是未解问题。
放大器推广复用同一扇区计算
论文把分析推广到量子极限放大器 A_kappa，其增益 kappa > 1、环境为真空，海森堡绘景下的输出湮灭算符为 b = sqrt(kappa) a + sqrt(kappa - 1) e-dagger。能量约束仍只计入发射输入中的光子：均值为 x 的输入产生均值为 kappa x + kappa - 1 的输出，放大器提供的光子不进入输入预算。
定理 5 给出 Q2 = D2 = P2 = K2 = r_kappa(N)，其中 r_kappa(x) = g(kappa x + kappa - 1) - g((kappa - 1)(x + 1))。对每个 N > 0，强逆阈值全部为 log2(kappa/(kappa - 1))。两个恒等式在逐次使用无条件约束下依然成立，而在并行光子截断模型中全部四种容量和阈值都等于 r_kappa(N)，高于该速率时指数收敛。
其机制是条件资源之间的对应关系。把放大器资源按新增光子数条件化，得到来自平移扇区的纯损耗资源，条件是接收到某个光子数，且双方互换。这一对应把条件资源纠缠从纯损耗转移到放大，可退化性随后用输入能量界定其平均值。论文指出放大器定理中的容量已可由无辅助的量子与私密编码达到，因此该推广的内容在于自适应双向经典辅助无法提高它。
一个推论确定有限能量输出的纠缠
作为扇区资源计算的推论，论文确定了有限能量信道输出的正则化相对熵纠缠。对于二分态 rho，相对熵纠缠为 E_R(rho) = 对可分 sigma 取下确界的 D(rho || sigma)，正则化版本为 E_R^infinity(rho) = 当 r 趋于无穷时 E_R(rho^{张量 r})/r 的极限。
推论 4 指出，若 J_{eta,N} 来自把局部平均光子数为 N 的双模压缩真空的一半通过 L_eta 发送，则 E_R^infinity(J_{eta,N}) = c_eta(N)。放大器对应版本指出，若 J^amp_{kappa,N} 来自把局部平均为 N 的双模压缩真空的一半通过 A_kappa 发送，则 E_R^infinity(J^amp_{kappa,N}) = r_kappa(N)。
这些恒等式之所以重要，是因为它们把操作容量与在特定高斯输出态上评估的纠缠度量联系起来，而不是让容量公式停留在孤立的编码陈述上。它们还表明，确定纯损耗容量的同一个函数 c_eta(N) 也确定了相应有限能量输出的正则化纠缠。
有限能量框架改变了哪一项比较
这篇论文中最具决策意义的区分在于约束类型，而非四种任务之间。在无条件平均发射光子数约束下，四种容量坍缩为 g(N) - g((1-eta)N)，而强逆阈值对每个 N > 0 都停留在 -log2(1-eta)。在并行硬总光子数截断下，同一容量公式成为它自身的强逆阈值，高于它时保真度指数衰减或误差指数式趋于一。
对于比较玻色通信基准的读者，这意味着仅凭有限能量容量并不能决定强逆行为。相关问题是协议模型是否允许真空稀释构造，平均约束允许它而硬截断排除它。论文还指出，截断结果对并行光学块使用一个模拟器，而自适应弱逆把同一轮次跨独立协议副本分组，因此截断证明不能推广到自适应输入。
论文自己陈述的下一步是把扇区隐形传态模拟应用于热损耗信道，目标是收紧有限能量上界并厘清与可达速率之间尚存的差距。列出的进一步方向包括有限分组长度和二阶修正、扇区分辨测量的实验可及实现，以及向其他高斯和非高斯玻色信道的推广。
本文引用的文献
纯损耗玻色信道的能量约束双向容量
在无条件平均发射光子数约束下，纯损耗玻色信道的四种双向容量全部相等，都等于 g(N) - g((1-eta)N)，证明 2009 年逆向相干信息速率的最优性；平均能量强逆阈值保持在 -log2(1-eta)，而并行硬光子数截断在能量约束容量处给出指数强逆。