结果族 276：Classical capacity of generalized amplitude damping · 学科：Mathematical physics · 验证状态：主结果已 Lean 形式化
一个发光的量子比特泡在热环境里：激发会衰变掉，环境的热又会把它往回泵。沿这条”最熟悉的噪声管道”，经典信息最多能传多快？发送方可以把消息编成整块纠缠的量子态、接收方做联合测量，但本文证明这样做毫无增益——答案是算一个一元函数的最大值即可，量子信息论里少见的”一锤定音”。
关键词卡片
看个具体例子
容量的数字版：@@M@@C=\frac{1}{\ln 2}\max_{0\le p\le1}\{h(t)-g(v(p))\}@@，其中 @@M@@t=(1-\gamma)p+\gamma\nu@@。代入边界看：γ=0（无噪声）时 C=1 比特；γ=1（全坏）时 C=0；ν=1/2、γ=1/2 时 @@M@@C=1-g(\gamma/4)/\ln 2\approx0.13@@ 比特。最优信号就是等概率、反相位的两个纯态。环境越热（ν 越大），泵回越猛，容量越低；且容量在 ν 换成 1−ν 时保持不变。
为什么值得关心
普通阻尼（ν=0）的公式二十多年前就有人算出，而正阻尼加热占据的这一格此前无人能解。它关上了 Leditzky 等 2018 年公开问题清单上的最后一格：这条基础噪声信道的容量从此有闭式答案，且它与任意信道并联时容量与熵量全部可加。
已 Lean 形式化
第一级台阶
导读里”发光量子比特泡在热环境里”的类比先换算：对象是一条量子比特信道——激发以强度 γ 衰变给环境，环境的热又以正比于占据 ν 的速率把激发泵回，相干同时按 √(1−γ) 缩减；操作是发送方把经典消息编成整块输入态（允许块内纠缠）、接收方对全部输出做联合测量。要问的是：无误传信的速率上限是多少，纠缠块编码能否带来额外增益。
第二级台阶
用本科术语精确化：信道对二乘二密度矩阵的作用为 t=(1−γ)q+γν 的仿射替换加相干缩减。Holevo 信息 χ 定义为最优输入系综上”平均输出熵减各输出熵平均”的差；经典容量则是它的正则化——对一切块长取逐级放大的上确界，因为 Hastings 已证一般情形可加性失效。最小输出熵指一切输入上输出熵的最小值。这些量在张量积下是否可加，须逐信道论证。
第三级台阶
定理在此语境陈述：对一切 γ、ν 与块长 n，χ(A^{⊗n}) 恰等于 n 倍单发值，后者是一元函数 h((1−γ)p+γν)−g(v(p)) 在 p∈[0,1] 上的最大值（h 为二元熵、g 为行列式熵函数）；故容量就是单发 Holevo 容量，等概率、反相位的两个纯态及其独立乘积在每个块长都达到最优。”无预共享纠缠、无反馈、无记忆信道”框定了无辅助模型；结论即纠缠块编码毫无增益。更强的推论：与任意有限维完全正保迹伙伴信道并联时，单发容量、最小输出熵与正则化容量三者全部可加。
本文彻底确定了量子比特广义振幅阻尼信道（generalized amplitude damping channel）的经典容量（classical capacity）：它恰等于单次使用的 Holevo 容量，由一个单变量最大化显式给出，纠缠块编码没有任何增益，且与任意有限维信道并联使用时容量与熵量全部可加。
振幅阻尼（amplitude damping）描述量子比特把激发能量耗散给环境的退相干过程，是量子通信最基本的噪声模型之一。环境处于非零温时激发还会被反向泵回：衰减强度 @@M@@\gamma@@ 与稳态激发占据 @@M@@\nu@@ 一起定义广义振幅阻尼信道 @@M@@\mathcal A_{\gamma,\nu}@@，它把 @@M@@\begin{pmatrix}1-q&z\\\bar z&q\end{pmatrix}@@ 映为 @@M@@\begin{pmatrix}1-t&\sqrt{1-\gamma}\,z\\\sqrt{1-\gamma}\,\bar z&t\end{pmatrix}@@，其中 @@M@@t=(1-\gamma)q+\gamma\nu@@。问题在于：发送方可把消息编码成整个输入块上任意可纠缠的态，接收端做联合测量（collective decoding），无误传信的速率上限是多少？
Holevo 与 Schumacher–Westmoreland 的编码定理把容量写成 Holevo 信息（Holevo information）的正则化 @@M@@C=\sup_n\frac1n\chi(\mathcal N^{\otimes n})@@，而 Hastings 在 2009 年证明可加性（additivity）一般不成立，”单次最优即容量”必须逐信道论证。普通阻尼（@@M@@\nu=0@@）的单次最优化由 Bennett–Shor–Smolin–Thapliyal 与 Giovannetti–Fazio 早年完成，完整容量则被 Leditzky 等人 2018 年列为公开问题；Tang–Zhu–Bai–Wang 在 2026 年用”存在纯输出”的判据解决了含 @@M@@\nu=0@@ 的情形，但正阻尼且热占据取内点时输出恒为满秩混合态、没有纯输出，旧判据失效——本文补上的正是这最后一格。
主定理：对一切 @@M@@\gamma,\nu\in[0,1]@@、一切整数 @@M@@n\ge1@@，
@@M@@D\chi(\mathcal A_{\gamma,\nu}^{\otimes n})=n\,\chi(\mathcal A_{\gamma,\nu})=\frac{n}{\ln2}\max_{0\le p\le1}\bigl\{h((1-\gamma)p+\gamma\nu)-g(v_{\gamma,\nu}(p))\bigr\},@@
其中 @@M@@h@@ 为二元熵（binary entropy），@@M@@g(u)=h\bigl(\tfrac{1+\sqrt{1-4u}}2\bigr)@@ 为行列式熵函数（二维态的熵只依赖行列式 @@M@@u@@），@@M@@v_{\gamma,\nu}(p)=\gamma\nu(1-\nu)+\gamma(1-\gamma)(p-\nu)^2@@。特别地 @@M@@C(\mathcal A_{\gamma,\nu})=\chi(\mathcal A_{\gamma,\nu})@@：容量就是单发 Holevo 容量（one-shot Holevo capacity），算一个一元最大化即可。最优值由等概率、反相位的两纯态信号 @@M@@\phi_\pm=\sqrt{1-p}\,\ket0\pm\sqrt p\,\ket1@@ 达到，其独立乘积在每个块长都达到最优。
推论（与任意伙伴并联的可加性）：对任意有限维完全正保迹（CPTP）信道 @@M@@\mathcal N@@，单发 Holevo 容量、最小输出熵（minimum output entropy）与正则化容量三者皆可加，例如 @@M@@C(\mathcal A\otimes\mathcal N)=C(\mathcal A)+C(\mathcal N)@@，而伙伴自身的正则化原样保留。并得 @@M@@S_{\min}(\mathcal A_{\gamma,\nu})=g(\gamma\nu(1-\nu))@@，在 @@M@@p=\nu@@ 处取得。特例：@@M@@\nu=0@@ 回到普通阻尼的 Giovannetti–Fazio 与 Tang 等人公式；@@M@@\nu=\tfrac12@@ 给出与 King 的 unital 信道定理一致的 @@M@@C=1-g(\gamma/4)/\ln2@@，最优信号为 @@M@@(\ket0\pm\ket1)/\sqrt2@@；@@M@@\gamma=1@@ 容量为零、@@M@@\gamma=0@@ 为一比特，且容量在 @@M@@\nu\mapsto1-\nu@@ 下不变。
全文围绕一个”保人口的熵下界”：对任意纯 @@M@@n@@ 比特输入 @@M@@\psi@@，证明 @@M@@\mathcal S(\mathcal A_{\gamma,\nu}^{\otimes n}(\proj\psi))\ge\sum_{j=1}^n e(p_j)@@，其中 @@M@@p_j@@ 是第 @@M@@j@@ 位激发概率，@@M@@e(p)=g(v_{\gamma,\nu}(p))@@ 恰为单比特输出熵。这个界必须逐位保留人口信息——只控最小输出熵会抹掉 @@M@@p_j@@，撑不起后续的 Holevo 优化，这正是与以往工作的分水岭。
先建立零块熵不等式（zero-block entropy inequality）：对分块矩阵 @@M@@M=\begin{pmatrix}A&B\\mathbb{C}&0\end{pmatrix}@@，若三个非零块的平方 Hilbert–Schmidt 质量 @@M@@x,y,z@@ 之和为一，则 @@M@@\mathcal S(MM^*)\ge x\,\mathcal S(AA^*/x)+y\,\mathcal S(BB^*/y)+z\,\mathcal S(CC^*/z)+g(yz)@@。证明先把熵亏损写成对数行列式之差的积分，再利用 @@M@@G_Z(D,E)=\ln\det(D+ZE^{-1}Z^*)-\ln\det D@@ 的联合凸性（二阶方向导数化为 @@M@@\|L\|^2-\Tr((RL)^2)@@，而 @@M@@R=(I+K)^{-1}@@ 是压缩矩阵，故非负），对坐标符号做平均把矩阵参数压成对角，最后用一次齐次且超可加的标量亏损函数归并；矩形块由零填充化归方块。
再做热扩展：正阻尼加内点热占据时输出不再呈零块结构，论文把热态写成两个零块分解的凸组合——固定行和与交叉系数后，非负系数解集是一条线段，其两个端点各给出一个零块分解，且角块质量之积同为 @@M@@u@@，于是标量项 @@M@@g(u)@@ 在混合中保持不变，熵凹性便保住下界。这一步正是越过”纯输出判据”的关键。
继而接入信道并迭代：按首比特把输入拆成两个条件分支，用伙伴信道的 Kraus 表示构造矩阵 @@M@@X,Y@@（第 @@M@@\ell@@ 列取 @@M@@V_\ell\psi_0@@、@@M@@V_\ell\psi_1@@），其 Gram 积恰为两分支输出，一步递归给出 @@M@@\mathcal S\ge e(p)+(1-p)\,\mathcal S(\sigma_0)+p\,\mathcal S(\sigma_1)@@；又因 @@M@@\sqrt{v(p)}@@ 是仿射向量的范数、@@M@@s\mapsto g(s^2)@@ 单调凸（即 Wootters 熵–并发函数的经典性质），@@M@@e@@ 是凸函数，据此把条件人口合并回原人口，归纳完成逐位下界。
最后做系综优化：平均输出熵由对角熵界与经典次可加性控在 @@M@@\sum_j h((1-\gamma)\bar p_j+\gamma\nu)@@，各信号输出熵的平均由上述下界控在 @@M@@\sum_j e(\bar p_j)@@，两者相减并逐点最大化得上界；反相位对的相干在平均输出中相消，使独立乘积系综达到等号。伙伴可加性由同一递归对 @@M@@\mathcal N^{\otimes n}@@ 迭代、再正则化而得。
按本项目记录，主结果已有 Lean 形式化证明，机器验证显著降低了冗长矩阵推导出错的风险。姊妹篇 Tang–Zhu–Bai–Wang 的三角块熵不等式是本文零块估计的前身，其纯输出情形被本文作为特例覆盖并推广到全部热参数；@@M@@\nu=\tfrac12@@ 与 @@M@@\nu=0@@ 特例又分别与 King、Giovannetti–Fazio 的既有公式交叉吻合。依 OpenAI 官方声明，未经形式化的结果可能存在问题，本文虽已形式化，读者仍宜以社区核验与形式化文档为最终参照。
问 1：证明里最承重的一步是什么？
答：保人口的熵下界（引言式 (roadmap)）：对任意纯 n 比特输入，输出熵至少为各单比特输出熵 Σe(p_j) 之和，其中 p_j 是第 j 位激发概率。它由热块熵不等式递归而成——对零块矩阵 M=(A B; C 0)，非零块的加权熵之外还多出 g(yz) 的贡献；正阻尼加热占据时输出无零块结构，论文把热态写成两个零块分解的凸组合，两个端点的角块质量之积相同，g 项在混合中经熵凹性幸存。这个”混合保 g”的步骤是全文最精巧处。
问 2：为什么 Tang–Zhu–Bai–Wang 2026 的判据在这里失效？
答：他们的可加性判据要求信道存在纯输出，覆盖 ν=0 的普通阻尼；但正阻尼加严格内部热占据时输出恒为满秩混合态，无纯输出可言。本文的凸组合把三角块不等式推广到热块结构，正是为越过这一失效点——这是相对前人的实质跨越。
问 3：为什么必须逐位保留人口 p_j，而不是只控最小输出熵？
答：Holevo 优化需要”各信号输出熵的平均”的下界，系综的平均人口逐位不同；只用无约束最小输出熵会抹掉人口信息，上界凑不出 h((1−γ)p̄+γν)−e(p̄) 的逐点差。人口凸性（依赖 s↦g(s²) 的单调凸，Wootters 熵—并发函数的经典性质）把条件人口合并回原人口，归纳才闭合。
问 4：与既有特例公式如何衔接？
| 答：ν=1/2 时信道 unital，容量 1−g(γ/4)/ln2 与 King 2002 的 unital 定理吻合，最优信号为 ( | 0⟩± | 1⟩)/√2；ν=0 回到 Giovannetti–Fazio 的普通阻尼公式；Shor 的纠缠破坏区域定理覆盖相应参数段。这些交叉吻合是独立的正确性证据。Fang 2026 的紧逆界在一般参数下留有缺口，本文恰好补齐。 |
问 5：容量在 ν 换成 1−ν 时不变，这从公式看得出来吗？
答：v_{γ,ν}(p)=γν(1−ν)+γ(1−γ)(p−ν)² 在 ν↔1−ν 下第一项不变，第二项经 p↦1−p 的替换与 h 项的仿射结构对齐，最大值不变。物理上对应衰变通道与其时间反演的对称。
问 6：AI 生成证明最可能出错的模式？这里如何对冲？
答：典型风险在冗长矩阵推导的指标簿记（Kraus 列构造 X、Y 的 Gram 积对应分支输出）。对冲有二：主结果已 Lean 形式化（结果族 276 标注），机器验证大幅压缩矩阵推导出错空间；附录”alternative”给出标量凹性与对数行列式凸性的直接 Hessian 证明，与正文积分路线互为独立核验。
问 7：下游谁受益？
答：量子信息论：关上 Leditzky–Kaur–Datta–Wilde 2018 年公开问题清单上这格；”与任意伙伴全可加”使该信道可作为加性构造的基石块。量子通信工程上，广义振幅阻尼是最基础的弛豫噪声模型，闭式容量直接给出速率封顶与最优信号设计（等概率反相位对）。
总评
一条基础噪声信道的容量问题被一锤定音，方法上”保人口熵下界＋凸组合保 g”有向其它非无输出信道推广的潜力，且有 Lean 形式化与多重特例吻合背书；剩余风险极低，唯形式化覆盖范围外的表述仍宜留意。