一条线路把四种消息搅得几乎难以辨认,还能帮助传送一个未知的量子态吗?答案取决于你要求传得多好。对最简单的量子系统,只要经典线路实际传达的信息略多于约0.208比特,共享纠缠就能让重建质量刚刚超过经典方法的上限。格物的研究员证明,在一大类单向方案中,这条界线无法靠更复杂的测量或恢复操作来绕过。

设想发送者拿到一枚光子,要把它的偏振态交给远方的接收者。她并不知道这个态是怎样制备的,也没有一批相同的光子可供反复检查。她能不能先测一测,把答案发过去,让对方照着做?
这正是困难所在。偏振态可以是水平、竖直,也可以是两者的量子叠加;一次测量却只能给出有限的结果。比如,问光子能否通过水平偏振片,即使得到“能”,也不能据此反推出它原来的完整状态。对方收到的测量结果,是不完整的线索。
量子隐形传态提供了另一条路。双方事先各持一对纠缠粒子中的一枚;这种共享量子态所包含的关联,是经典方法不能完全复现的。发送者把待传光子与自己持有的那一半一起测量,再把测量结果通过普通线路告诉接收者。接收者据此操作自己的粒子,就能在远方重建输入态。被传送的是量子态,原光子的状态则在测量中被消耗。
在标准的量子比特方案里,这种联合测量有四种等概率结果,分别指示四种恢复操作。量子比特是最简单的量子信息单位,可以由光子的两个偏振基态来承载。若四种指令都能无误传到,接收者就能完美恢复未知态;用二进制给四种结果编号,需要两比特消息。
这两比特不是原态的完整说明书。标准测量的四种结果,无论输入什么纯态,都一样可能出现;消息的作用是告诉接收者该怎样恢复,而不是让他读出原态的全部信息。
但本文追问的目标低一些,也更能揭示两种资源的分工:如果允许重建有误差,经典线路还得保留多少信息,纠缠才真正帮得上忙?
比“测完再照着做”更好
要回答这个问题,得先有一把公平的尺。
研究假定,输入是一个纯量子态,也就是没有因制备噪声而混杂的状态;所有这样的输入都被均匀抽取,不偏爱某些方向。数学上,这叫按哈尔分布取样。量子比特的纯态可以用球面上的方向表示,这里的“均匀”就对应在整个球面上均匀取点,而非只在水平、竖直两种偏振之间抽签。
对每个输入,可以设想用一个知道原态的检验器检查接收者的输出。输出与原态完全相同时一定通过,偏离时通过的概率下降。把这个概率对所有输入和全部运行结果取平均,得到平均保真度。它衡量的是重建有多接近原态,并不是有多少轮“完美成功”。
如果没有共享纠缠,发送者只能测量,再把结果告诉接收者,由后者制备一个量子态。对均匀抽取的未知纯量子比特,即使经典消息传得毫无差错,这类策略的平均保真度也最多为 。多说几句话,并不能补回单次测量没有获得的信息。
所以,超过 是一个有物理意义的目标:这说明双方使用的量子资源,完成了单靠测量与经典消息做不到的事。它并不要求传态完美,只要求越过经典上限。
格物的研究员给出的结论是:在论文规定的单向方案中,要跨过这道上限,经典线路实际传达的信息量必须满足
这里, 是发送者真正送进经典线路的记录, 是接收者真正收到的记录; 叫作互信息,衡量知道一端记录以后,平均能减少多少对另一端记录的不确定性。对数以2为底,信息量便以比特计。
这条结论允许双方预先选择任意共享量子态,发送者使用任意完整的局部测量与编码,接收者使用任意保持总概率的恢复操作。经典线路的输入、输出符号种类可以很多,只需都是有限的;消息只向接收者传,线路的噪声规则固定,而且每一轮都必须计入成绩。
它的意义因此不只是一个小数。只检查标准方案,得到的是“这样做可以”;允许操作方式改变以后依然证明同一个门槛,才是在说“这些办法都不能做得更省”。
四种消息,为什么不到一个比特?
四种指令需要两位二进制编号,怎么又会出现0.208比特?两者计算的是不同的东西:一个是符号的编号长度,一个是穿过噪声以后,两端记录还保留多少关联。
先看一个具体线路。四种输入等概率出现;每次传输有一半概率收到原符号,另外三种错误符号各以 的概率出现。接收者单看自己的记录,仍会发现四种符号一样常见。但如果把双方记录按轮次对齐,相同符号配在一起的次数会明显偏多。
知道接收符号以后,发送符号仍有四种可能,猜测却已有侧重。这种不完全的线索,对应的互信息恰好是上式中的0.2075187496……比特。小于一个比特的信息量是许多轮平均后的不确定性减少量,并不表示某一轮只发了五分之一个二进制数。

把这条线路接到标准隐形传态方案上,得到的平均保真度恰好是 ,仍然只是打平。若把正确传达符号的概率稍稍提高,同时让三种错误继续均分剩余概率,保真度就会超过 ,互信息也只需比门槛稍高一点。
这样的数值边界已有来历。Manik Banik 和 Md. Rajjak Gazi 在此前的研究中分析了量子比特的噪声通信方案,并在特定对称性假设下讨论了必要性。Ryszard Weinar、Wiesław Laskowski 和 Marcin Pawłowski 又在基于标准联合测量的分析中给出了更高维系统的表达式。前一项研究、后一项研究已经显示,这个很小的信息量足以让合适的方案开始显露量子优势。
悬着的问题是:四种指令、标准测量、按指令旋转粒子,这些约定有没有无意间抬高成本?也许换一种测量,把记录分得更细,或用更复杂的恢复操作,就能用更少的信息越过经典上限。
本文的证明正是要排除这种可能。它必须找到一个不依赖四种指令的理由。
抹去消息,留下什么?
这个理由来自量子力学的一条基本限制:只要发送者不把测量结果传过去,她在本地做什么,都不能让远方仅凭自己的粒子读出消息。否则,双方就能用纠缠直接通信。
具体到这里,如果把发送者所有可能的测量结果混在一起、不区分是哪一种,接收者手中的量子态就不能依赖那个未知输入。各个测量结果可以对应不同的条件状态,但这些状态按出现概率平均以后,必须消去输入留下的痕迹。改变测量方法或共享量子态,都不能摆脱这个约束。
格物的研究员用它把复杂的量子过程变成一项“真实记录与独立记录”的比较。不过,要精确计分,需要换一种测试传态质量的办法。
想象先制备一对具有最大纠缠的量子比特:一枚留作参考,另一枚送进传态装置。如果装置忠实传送了输入,输出与参考之间就会保留原来的纠缠。对参考和输出做一次联合检验,检查它们是否处于目标纠缠态。检验通过的概率称为纠缠保真度,记作 。
这不需要给实际的传态方案额外添一条通信线路,而是检验整个装置的数学办法。它与前面逐个输入取平均的保真度 有一个精确关系:对量子比特,
因此,普通平均保真度超过 ,恰好等价于这项纠缠检验的通过率超过 。
现在,给发送记录和接收记录的每一种配对都算一个分数:已知发送端产生这个结果,如果接收端按那个记录操作,纠缠检验将以多大概率通过?每个分数都在0与1之间。依照真实线路中各种配对的出现频率去平均,得到的正是 。
然后只在计算里改动一件事:保留双方记录各自的出现频率,却让发送记录和接收记录独立配对。接收者采取的恢复操作,从此与发送者这一轮实际产生的结果无关。发送端的各个分支就相当于被重新混在一起。
无信号约束此时发挥作用:参考量子比特与接收者手中的系统不再有关联。参考那一半本身是完全混合的,也就是单独看没有偏向任何纯态。无论接收者如何按独立记录操作,联合纠缠检验的平均通过率都只能是 。
这里的四分之一不是一般重建任务的平均保真度;代入前面的换算,它对应的是 。两把尺的区别,也使证明中的比较变得清楚:独立记录让纠缠检验只有四分之一的通过率,要显露量子优势,真实记录必须把它推到二分之一以上。
从量子限制到信息账本
最后一步属于经典信息论。互信息还可以理解为,真实配对记录的概率分布,与“两端独立”时的概率分布相差多远。这个差别有一个精确量法,叫相对熵。
把长长的记录压缩成一项简单测试,不能凭空放大两种分布之间的信息差别。这就是相对熵的数据处理不等式。证明把每对记录刚才得到的分数,当作一次辅助测试的通过概率,于是所有量子细节都被归入“通过”与“不通过”两种结果。这项测试只是证明工具,不是传态时额外发送的一个比特。
在独立记录下,辅助测试的通过率固定为 ;在真实记录下,它是 。要把通过率从四分之一提高到二分之一,单凭这项二元测试,已经需要约0.2075187496比特的相对熵差别。完整记录包含的信息差别只会更多,不会更少;通过率再高一点,下限也会严格增加。
于是,越过经典保真度所需的那一小段信息,被无信号约束和经典信息论一起锁定了。证明不必问发送者用了哪种测量,也不必问接收者的恢复是不是简单旋转。

这也解释了为什么要说“超过门槛”,而不能说“达到门槛就够了”。边界上的标准方案只打平经典成绩。有优势的方案可以无限接近这个信息量,却没有一个能以这个信息量恰好越过上限。数学上,它是这些方案信息成本的下确界。
这条边界划得很清楚,适用范围也同样清楚。论文要求所有运行都计入平均,不能挑出成功的一部分来报成绩;它讨论均匀抽取的未知纯态,以及固定噪声规则下的有限符号单向通信。接收者向发送者反馈、多轮往返交互,或者改变输入态的抽取方式,都还需要另外分析。若预先固定一份质量不佳的共享量子态,这条通用下限也没有告诉我们,它究竟需要更多信息,还是根本无法产生优势。
所以,这不是把完美传态的两比特指令压缩成了0.208比特。它澄清的是更基础的分工:纠缠可以帮助重建一个单次测量无法完整描述的未知态,但要让这种帮助超过经典方法,双方仍得通过真实线路建立足够的记录关联。在本文覆盖的单向世界里,换再精巧的操作,也省不掉这最后一道信息门槛。
研究依据:本文所据论文《A matching information bound for deterministic one-way teleportation》。正文聚焦量子比特;原论文还证明了任意有限维数下的相应界。封面与正文配图均为据论文原创绘制。