让错误答案互相抵消:量子计算唯一的算力来源
先备导航:你需要 001(叠加)、002(测量)。最好也读过 003(纠缠)。 下一篇预告:005《"指数并行"的流行误会》。
先备导航:你需要 001(叠加)、002(测量)。最好也读过 003(纠缠)。
下一篇预告:005《"指数并行"的流行误会》。
让错误答案互相抵消:量子计算唯一的算力来源
降噪耳机是个顺手拈来的现代奇迹:麦克风采集周围的噪声,喇叭立刻播放一个"反着来"的声波——噪声的波峰对上反相的波谷,两边一叠,互相抵消,你听到的世界瞬间安静。
抵消不是玄学,是波的本性。两个波相遇,不是"和平共处各走各的",而是逐点相加:峰对峰,加倍;峰对谷,抹平。声音如此,水波如此,光也如此。
现在把这套"相加"搬到量子比特身上——只是相加的对象从声波换成了 001 篇埋了很久伏笔的那个词:倾向。
每条路都有一支箭头
001 篇说,量子比特的叠加态"同时携带 0 的倾向和 1 的倾向"。现在把这话说得再精确一点,但仍然不用公式:
一个叠加态,可以看成一堆带方向的箭头。每一个可能的计算结果,对应一支箭头;箭头的长度代表这条路的分量,箭头的方向(朝东还是朝西)代表它的"相位"。
而量子力学的规则酷似声波:同一结果的多支箭头逐支相加。方向一致,长度翻倍;方向相反,互相抹平;箭头全部抵光的那个结果,概率精确为零。
量子计算的全部秘密就在这一句话里:
所谓设计一个量子算法,就是设计一套操作,让"错答案"们的箭头方向散开、互相打架,同时让"对答案"的箭头们排好队列、首尾相随。
然后才轮到测量(002 篇):箭头们相加完毕,长的那支(对答案)坍缩概率大,短的那堆(错答案)概率小。量子计算机给出的不是"所有答案",而是"被安排好大概率出现的那个答案"。
概率恰好等于箭头长度的平方——这个精确关系是下一批数学篇的内容,今天只需要知道:箭头会打架,打架的结果可以被设计。
为什么"叠加=并行"是错的
有了箭头,你可以看清那个流传最广的误会的成色了。
流行说法是:n 个量子比特的叠加态"同时代表 2ⁿ 个状态,所以量子计算机同时尝试所有答案,自然秒解"。
这个推理的裂缝在于:叠加本身只是"箭头都在场"。2ⁿ 条路都摆在那儿,每条路的箭头都只有一小截——如果它们不打架、不排队列,测量时你看到的就是一片均匀的噪声:所有答案几乎等概率,什么也没算出来。
"同时尝试所有答案"的机器我们其实有,叫并行经典计算机,它确实把 2ⁿ 条路各算一遍然后比较——代价是真金白银的 2ⁿ 步。量子计算机的省力之处不在于把所有路都走一遍,而在于用干涉把答案的分布从"均匀噪声"修剪成"独宠一个":错答案的箭头互相抵消(像降噪耳机抹掉噪声),对答案的箭头同相叠加。箭头的相加是免费的,让它们打对架才是全部功力所在。
所以,判断一个量子算法的真伪,就看它有没有把"抵消结构"编进操作里:033 篇的搜索算法会给你看一支支箭头如何被精确地掰开、合拢,最后只剩正确答案站着。没有干涉设计的"量子方案",只是披着叠加外衣的抽奖。
干涉有个天敌
箭头的方向是精密的排兵布阵,怕什么?怕被打乱。
量子比特不是活在真空里(比喻意义上的——有些技术里它还真活在真空里)。它有载体:一颗超导电路、一个离子、一个光子。载体会和周围的世界发生不由自主的相互作用——一根杂散的电磁场线、一次容器壁的碰撞,都相当于随机的别人来推你的箭头,把它推向随机方向。
这正是 001 篇预告的"娇气":这种被环境随机打乱箭头的过程叫退相干。它和测量的坍缩(002 篇)不一样——测量是"你主动问,它被动给答案",退相干是"环境在没人问的时候,替你把它问成了经典"。两条路殊途同归:箭头失去方向感,干涉失灵,量子计算退化成昂贵的抽奖。
量子计算机的三大工程战争(极端低温、极端真空、极端隔离)全部服务于同一件事:保护箭头的方向不被偷看、不被打乱。而第六批要讲的量子纠错,是人类在"完全隔离做不到"的现实面前发明的第二道防线。
把类比拆掉
降噪耳机类比借了哪里:
- 不像之一:声波是空气里的物理振动,箭头是数学对象——它不住在任何空间里,住在"状态"这个抽象空间里。耳机采集的是真实信号,量子算法"采集"的是问题的结构:抵消方案必须根据问题量身设计,没有万能降噪器。
- 不像之二:耳机是实时反馈——先测噪声再反相;量子计算恰恰不能先测量(002 篇:看一眼就毁),抵消方案全部预埋在操作序列里,一次成型,中途不改。
- 不像之三:声波抵消掉就是听不见了,因果上很直观;箭头抵消的对象是"结果的概率",抵消发生在测量之前的抽象层面——你永远"看不到"抵消的过程,只能看到它造成的最终概率分布。
带走的行李
1. 叠加态=带方向的箭头的集合;同结果箭头逐支相加:同向加强、反向抵消、抵光则概率为零。 2. 量子算法的本质是编排箭头的打架方式——错答案互抵、对答案同相。叠加不等于并行,没有干涉设计的叠加只是噪声。 3. 箭头方向是精密资产:环境会随机打乱它(退相干),测量会终结它(坍缩)——量子工程的全部战争都是为了守住"方向"这两个字。
下一站的钩子:"三百个比特同时携带天文数字的倾向"——这句话说对了一半。另一半是:为什么这个天文数字不等于算力?第五篇把这个误会连根拔掉,顺便回答"量子计算机到底快在哪"。
#量子计算 #从硬币到纠错 #干涉 #降噪耳机