结果族 273：The entropy photon-number inequality · 学科：Mathematical physics · 验证状态：暂无形式化证明，请以社区核验为准
把一杯热水和一杯冷水兑在一起，直觉告诉你：混出来的”混乱程度”不会比按比例掺出来的更低。这篇论文证明量子光学版的同款常识：两束独立的光在分束器中混合，输出的”熵光子数”不小于两个输入的加权平均——即使每个输入内部允许任意纠缠。Guha–Erkmen–Shapiro 2007 年提出、悬置近二十年的猜想至此收官。
关键词卡片
看个具体例子
代入数字：η=1/2、N_A=2、N_B=0 时，输出至少含 1 个”熵光子”。写成一行即 @@M@@g^{-1}\big(S(\rho_C)/n\big)\ge\eta\,g^{-1}\big(S(\rho_A)/n\big)+(1-\eta)\,g^{-1}\big(S(\rho_B)/n\big)@@，等号在两端口均为热态时取得，且两端口熵值可以不同。证明走反证路线：假设存在严格反例，经极小化、二阶估计与热态极限层层逼近，最后逼出极限必为热态，与反例设定自相矛盾。
为什么值得关心
由它直接读出热衰减信道的精确最小输出熵与纯损耗广播信道的容量域——光纤通信的极限速率从此有了数学上确凿的封顶。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里”热水兑冷水不会更清”的直觉先换算成对象与操作：对象是两束彼此独立的光，操作是让它们在一面半透半反的镜子（分束器）里按固定比例混合成一束；”混乱程度”不再用温度说话，而用光的噪声来度量。断言是：混合后的光，其”噪声含量”不小于两束输入按混合比例的加权平均——哪怕每束输入内部存在任意的量子关联。
第二级台阶
精确化：一个 n 模光场态是无穷维希尔伯特空间上的密度算符 ρ，其冯·诺依曼熵记作 S(ρ)。热态是”白噪音”光场，由每模平均光子数 t 完全决定，其熵由函数 g(t)=(t+1)log(t+1)−t log t 给出。于是定义态的熵光子数：与它总熵相同的热态所对应的 g^{-1}(S(ρ)/n)——它把熵换算回”等效噪声光子数”。分束器混合则按 c=√η·a+√(1−η)·b 进行，η 是透射率。
第三级台阶
定理在有限平均能量的语境下陈述：若两输入态各自的平均光子总数有限、彼此独立（但各自内部各模间允许任意纠缠），则输出满足 g^{-1}(S(ρ_C)/n) ≥ η·g^{-1}(S(ρ_A)/n)+(1−η)·g^{-1}(S(ρ_B)/n)。”有限能量”挡住了无穷维变分问题中熵可能发散的麻烦；”两端口独立”是与经典熵功率不等式对应的必要设定；等号在每端口内部为全同热态乘积时取得，且允许两端口噪声水平不同。结论换算回去说：输出熵至少是热态能达到的水平。由此直接读出热衰减信道在固定输入熵下的精确最小输出熵，以及纯损耗广播信道的容量域。
本文证明 Guha–Erkmen–Shapiro 2007 年提出的熵光子数不等式：分束器混合两个独立有限能量输入后，输出的熵光子数不小于两输入按透射率加权的平均，允许输入内部任意多模纠缠；并据此确定热衰减信道的精确最小输出熵与纯损耗广播信道的容量域。
一个 @@M@@n@@ 模玻色态（bosonic state）的熵光子数（entropy photon number），指与它总熵相同的 @@M@@n@@ 个全同单模热态（thermal state）乘积的每模平均光子数，即 @@M@@g^{-1}(S(\rho)/n)@@，其中 @@M@@S@@ 为冯·诺依曼熵（von Neumann entropy），@@M@@g(t)=(t+1)\log(t+1)-t\log t@@ 是平均光子数为 @@M@@t@@ 的热态的熵。2007 年 Guha、Erkmen 与 Shapiro 猜想：两个独立输入经分束器（beam splitter）混合后，该量满足凹性不等式。它是经典熵功率不等式（entropy power inequality）的量子对应，关系玻色信道（bosonic channel）的最小输出熵与容量。此前的线性熵下界（König–Smith）与指数熵功率下界（De Palma–Mari–Giovannetti）只在两输入熵相等时够用；高斯输入情形已知，但允许模间任意纠缠（entanglement）的一般输入悬而未决。
主定理（EPnI）：设 @@M@@\rho_A,\rho_B@@ 为 @@M@@n@@ 模、平均能量有限的状态，@@M@@\rho_C@@ 为按 @@M@@c_j=\sqrt\eta\,a_j+\sqrt{1-\eta}\,b_j@@ 以透射率 @@M@@\eta@@ 被动混合后的输出，则
@@M@@Dg^{-1}\!\Big(\frac{S(\rho_C)}{n}\Big)\ge\eta\,g^{-1}\!\Big(\frac{S(\rho_A)}{n}\Big)+(1-\eta)\,g^{-1}\!\Big(\frac{S(\rho_B)}{n}\Big).@@
对输入内部模间结构零假设：允许任意纠缠，不必高斯；每端口内部全同的热态乘积取等，两端口熵值还可不同。推论一：@@M@@n@@ 模热衰减器（thermal attenuator）@@M@@\mathcal E_{\eta,N_B}^{\otimes n}@@ 在固定输入熵 @@M@@S(\rho)=ns@@ 时，最小输出熵恰为 @@M@@n\,g(\eta g^{-1}(s)+(1-\eta)N_B)@@，由热态乘积达到。推论二：退化（degraded）双接收者纯损耗广播信道在平均光子约束 @@M@@\bar N@@ 下的容量域，是满足 @@M@@R_B\le g(\eta_B\beta\bar N)@@、@@M@@R_C\le g(\eta_C\bar N)-g(\eta_C\beta\bar N)@@（@@M@@0\le\beta\le1@@）的速率对的闭凸包。
全文用反证法，骨架为”正则化极小化—二阶估计—生成元恒等式—热态极限”。先设存在严格反例，经数截断逼近换成有限光子数支撑的见证对，并在其熵水平附近固定热参考参数 @@M@@r_1,r_2@@。再引入三重辅助结构：固定热端口、输出按比例 @@M@@\kappa@@ 替换为参考热态、相对熵（relative entropy）惩罚 @@M@@\varepsilon D(\rho_i\Vert\tau_{r_i})@@ 与四阶矩惩罚 @@M@@\zeta\Tr\rho_iW_i^4@@，得到以”线性化光子尺度”@@M@@(S-ng(r))/h(r)@@（@@M@@h=g'@@）为单位的泛函 @@M@@J_\zeta@@。熵随能量至多对数增长，故能量惩罚保证强制性（coercivity），泛函取到严格负最小值；Gibbs 正则性引理表明最小点是 @@M@@e^{-(kW^4+\cdots)}@@ 型 Gibbs 态（忠实、七阶矩有限），并满足对数恒等式：输入对数=输出对数的条件切片+惩罚项+常数。
对最小点做二阶分析：一次只变动一个输入，相对熵展开抵消全部一次项，再经 Gibbs 变分原理配中心化输出观测，得切片映射在以对数平均（logarithmic mean）@@M@@\ell(p_l,p_r)@@ 为权的 Bogoliubov–Kubo–Mori 度量下的压缩。第 4 节把两个乘积端口方差估计与这些分量压缩拼合，恰好凑成插值定理的四条假设（该节技术性较强，此处按论文引言概括）：权为 @@M@@mf(x)e^{\pm x}@@、@@M@@mf(y)e^{\pm y}@@（@@M@@f=x/\sinh x@@）的四组对角二次型（diagonal quadratic form）比较，蕴含权 @@M@@mf(x)f(y)/f(x+y)@@ 的比较，解析核心是 @@M@@B(f(x)^2)=x\coth x@@ 导数的 Stieltjes 表示（经 Herglotz 定理）；结论控制”中心化热平衡缺陷”（产生–湮灭平衡的偏差泛函）的范数。最后配热弛豫生成元（量子 Ornstein–Uhlenbeck 生成元，零化热态）：协方差恒等式缝合三端口，与 Gibbs 恒等式配对后中心化能量项严格相消，得 @@M@@0=\|q_0\|^2-(1+\varepsilon)A_*^2-\varepsilon M_*^2-\kappa(1-\kappa)|\mu_\gamma|^2+\zeta P@@，于是 @@M@@0\le-\tfrac\varepsilon2(A_*^2+M_*^2)+C\zeta@@。令 @@M@@\zeta\to0@@，缺陷与均值趋于零，数基递推 @@M@@(r_i+1)\,d\,\hat\rho_i=r_i\,\hat\rho_i\,d@@ 逼出极限必为热态，熵连续性使目标值趋于零，与负的最小值矛盾。
主结果暂无 Lean 形式化证明，请以社区核验为准；按 OpenAI 官方声明，未经形式化的结果可能有问题。插值定理、Gibbs 正则化与极限过渡等专门引理均在文内证明；本批仅此一篇，两个推论均由主定理直接导出：广播容量域反界正是用 EPnI 的真空端口特例，补齐 Guha–Shapiro–Erkmen 2007 年分析所缺的熵输入。本解读核对了六个章节；未细读的第 4 节按论文引言概括转述。
问 1：证明里最要害、也最脆弱的一步是什么？
答：全文走反证——假设严格反例存在，加相对熵惩罚与四阶矩惩罚做正则化极小化，最后由平稳性恒等式与热弛豫生成元配对，令矩惩罚趋于零，逼出极限输入必为热态，与负的最小值矛盾。最承重的是两块：插值定理中 Stieltjes 表示（Herglotz）的解析步骤，和第 6 节中心化能量项的”精确相消”。相消若只剩不等号而非等式，最后一步 ε 优势就攒不出来。
问 2：已有的指数熵功率不等式（De Palma–Mari–Giovannetti）不是已经很强了吗，为什么还需要这篇？
答：引言 1.2 节说得很直白：当两输入熵水平相等时，König–Smith 线性界经 g^{-1} 单调性已给出 EPnI；但熵水平不等时，热态取等而指数界给不出热态的精确输出熵。固定输入熵的最小输出熵问题必须复现不等熵水平下的精确热比较——这正是 EPnI 的分辨率所在。
问 3：哪个假设最不能去掉？
答：两端口独立（输入是 ρ_A⊗ρ_B）。分束器的被动混合只对互不相关的输入才表现”熵不减少”式的比较，端口间关联相当于引入第三方资源，不等式无从陈述。相比之下，端口内部的模间纠缠被完全放行——这是本文相对前人的实质推进。
问 4：与 De Palma–Trevisan–Giovannetti 一模态系列结果相比，新意在哪里？
答：DTG2017 系列处理一模态或对角基下经典关联的输入，De Palma 2019 覆盖纠缠破坏型高斯衰减器；本文处理两个自由变化的一般有限能量多模输入（含任意纠缠），并给出等号条件（各端口全同热态、两端口均值可不同）。此前只有高斯输入情形由辛特征值比较得到。
问 5：推论一宣称”精确最小输出熵”，适用边界在哪里？
答：论文明言只对恒同热衰减器的张量幂成立，”断言可达性而非唯一性”，对模依赖衰减、放大器、加性噪声信道不做主张。环境须为独立乘积热态。这些限定写在推论之后，是诚实的；引用时不可越界。
问 6：AI 生成证明最可能出错的模式是什么？
答：无穷维算子的无界生成元计算与矩交换次序——论文用四阶矩惩罚显式正则化并让 ζ→0，但”迹有限”到”极限等式成立”的每一步都是风险点。值得注意的自辩：分量压缩只在极小点处断言，”不主张为普适信道不等式”（第 3 节原话），缩小了被攻击面。暂无形式化证明。
问 7：下游谁受益？
答：量子通信理论：推论二补上 Guha–Shapiro–Erkmen 2007 年广播信道逆界所缺的熵输入，给出退化纯损耗广播信道在平均光子约束下的精确容量域（相干态叠加编码达界）；玻色信道最小输出熵的完整表格也由此补齐一格。
总评
收官一个悬置近二十年的猜想、并顺带钉死两类信道的精确信息量，分量足够；最大风险在正则化极小化到热态极限的长链分析，特别是无穷维交换极限处，需逐行核验。