超密编码:一根线传两个比特

先备导航:你需要 020(三件套)、022(纠缠流水线)、024(电路图)、025(传态与专线)。 下一篇预告:027《Bell 不等式:爱因斯坦输掉的那场实验》。

目录
  1. 超密编码:一根线传两个比特
  2. 协议:还是那套三件套
  3. 多出来的那一比特,藏在哪
  4. 为什么是四个动作、恰好两比特
  5. 值不值:一笔诚实的成本账
  6. 把类比拆掉
  7. 带走的行李
先备导航:你需要 020(三件套)、022(纠缠流水线)、024(电路图)、025(传态与专线)。
下一篇预告:027《Bell 不等式:爱因斯坦输掉的那场实验》。

超密编码:一根线传两个比特

从硬币到纠错 · 量子计算专栏 026 超密编码:一根线传两个比特 一根线传两个比特 比特 1比特 2一根线 量子门与电路

先做一道送分题。甲要给乙传一条消息,消息有四种可能:"00""01""10""11"。甲手里只有一张能写字的纸条,纸条上只能写一个比特(0 或 1)。请问:写得下吗?

当然写不下——一个比特只有两种取值,撑死两种消息;四种消息需要两个比特,这是小学算术,经典信息论的地基。

但上一根"纠缠专线"(025 篇)改变过一次账本——传态协议里,两比特明码电报加一根专线,送到了一个量子态。现在把账反过来算:

一根纠缠专线 + 一个量子比特,能不能送两个比特?

能。这就是超密编码——传态协议的孪生兄弟,同一根专线,反着用。

协议:还是那套三件套

预置环节与传态一模一样:甲乙先见面,用 022 篇的流水线(H+CNOT)造一对纠缠比特,一人一半。然后甲开始"写信"——想发哪个消息,就对自己的那半做对应的动作,动作表又是三件套:

  • 发 00:什么都不做;
  • 发 01:来一个 X(翻转);
  • 发 10:来一个 Z(反相);
  • 发 11:X、Z 都来一遍。
动完手,甲把自己那一个比特装箱寄出(光纤、卫星链路,随便什么量子信道)。乙收到后,手上握着"被甲动过手脚的一对纠缠比特",对它们做一次两比特测量——具体是 CNOT 加 H 再读数,022 篇流水线的复用——四个读数 00/01/10/11 清清楚楚,甲写的哪个就是哪个。

寄出的明明只有一个比特,落地的却是四选一的完整消息。一个比特的运费,两个比特的货。

多出来的那一比特,藏在哪

先立一块防误会的牌子:乙拿到甲的比特,单独测它,什么都读不出来——016 篇说过,测一个比特就是得一个 0/1,而且 003 篇保证过,纠缠专线这半在"开会"之前是彻底无特征的白粥。甲寄出的比特本身不含消息,消息也不在乙自己的那半里。

那一比特的"超额利润"从哪来?答案是:预付的邮资。制造贝尔对的时候(甲乙见面的那次),两比特之间就埋下了 2 比特额度的关联(贝尔态四个成员两两可分,账本上正好四个格子);甲的 X/Z 动作只是在这四个格子里选一格写入。寄出的那一个比特是个"取货凭证",乙凭它+自己手里那半,把预埋的关联提现。

所以算总账,超密编码一点不违反守恒:一次完整的通信 = 预置一次纠缠(消耗)+ 运输一个比特。它没有变出信息,它只是把"运两次比特"合并成"运一次比特+用掉一份预埋关联"。003 篇的 no-communication 原封不动:甲不寄出那个比特,乙照样一无所知——纠缠不运输,运输的从来是实体。

为什么是四个动作、恰好两比特

顺一下账本的另一头:为什么恰好是"无/X/Z/XZ"这四个动作?因为它们把贝尔对推到四个互相可区分的态上(这就是 017 篇"换轴"思想的实战:乙的 CNOT+H 测量,本质是在贝尔基这第四副坐标轴下读数——四个动作恰好指向四个基向量,读数自然分毫不差)。四个可区分结果 = 两比特信息,严丝合缝。

再对照传态(025 篇)看,你会看到漂亮的镜像结构:同一个测量(CNOT+H),两个方向——传态里,甲用它把未知态"撕成两半"(经典电报+纠缠残影);超密编码里,乙用它把四个可能"拉开距离"读个明白。同一根贝尔专线:传态用它送量子态(倒贴两比特电报),超密编码用它送经典消息(一个比特包邮)。这对孪生协议合起来,就是第八批量子中继的基本话术。

值不值:一笔诚实的成本账

"一根线顶两根"听着像免费午餐,得把账算全:预埋 2 比特关联是要花钱的——造贝尔对(022 流水线)+ 把纠缠保持到通信时刻(006 篇:退相干在旁边虎视眈眈)。所以超密编码的正确打开方式是比价:

  • 传统方案:直接运两个比特(两次运输);
  • 超密方案:造一份纠缠 + 运一个比特。
哪种便宜用哪种。在今天的实验台上,造纠缠比运比特贵,超密编码主要是"能力演示";但在未来的量子网络里,如果"长距离运比特"成了瓶颈(信号衰减、中继昂贵)而"本地预埋纠缠"可以批量囤货,这个账就会反过来——资源换算的天平,随硬件成本表而动。这也是为什么它早早进了量子网络的教材:不是因为今天划算,是因为它标出了"关联也是一种可消耗的通信资源"这条新会计科目。

把类比拆掉

"暗号本"类比借了哪里:

  • 不像之一:战地暗号本可以反复用,贝尔对是一次性的(025 篇"专线是耗材");暗号本的对应关系是人约定的,超密编码的四种区分是物理可测量的——贝尔基测量真的读得出四个不同结果。
  • 不像之二:拿着纸条的人即使没有暗号本,也读得出字面意思(0 或 1);超密编码寄出的那个比特单独测就是纯随机——没有那半纠缠,凭证连废纸都不如,它根本不携带独立的信息。

带走的行李

1. 超密编码=传态的镜像:同一根贝尔专线,传态送量子态(+2 比特电报),超密编码送经典消息(1 个量子比特运 2 比特货);动作表与修正表都是三件套。 2. 多出的一比特是预付邮资:信息藏在预埋的关联里,寄出的比特只是取货凭证;no-communication 不破——纠缠不运输,实体才运输。 3. 四种动作对应四个可区分的贝尔基向量(017 换轴的实战);值不值随"造纠缠"与"运比特"的成本表而动——关联是新的通信资源科目。

下一站的钩子:纠缠至此一直是"好用的资源"。但历史上它先是一场官司的证据——"幽灵般的超距作用"到底存不存在,能不能用实验裁决?1972 年起,物理学家真的把这场官司打赢了,而且 2022 年发了诺贝尔奖。027《Bell 不等式:爱因斯坦输掉的那场实验》。

#量子计算 #从硬币到纠错 #超密编码 #量子通信

暂无表态

想参与讨论或点赞?登录后使用完整功能

讨论回复(0)

暂无回复,登录后可参与讨论
合作

智谱 GLM-5 已上线

在智谱开放平台 BigModel.cn 打造 AI 应用。新一代旗舰模型 GLM-5 在推理、代码、智能体综合能力达到开源模型 SOTA。

领取 2000万 Tokens