先找问题结构,不先找量子标签
量子算法不会把“困难”自动翻译成“容易”。它需要可利用的代数结构、周期、对称性或可控的振幅变换。若问题只是数据很多、组合很多,经典算法也可能通过索引、近似、随机化或专用硬件取得更便宜的结果。最重要的第一问不是“能否量子化”,而是“哪一步具有已知的量子算法优势”。
Shor 算法是最清楚的例子之一。它把整数分解和离散对数中的周期结构转成可由量子傅里叶变换提取的信息,并给出多项式时间算法。原始工作发表于1994年的计算机科学会议。[5] 这不是说今天的设备已经能分解实际密码使用的大整数;它说明一旦拥有足够大且可靠的机器,某类经典公钥密码的安全假设会发生根本变化。
Grover 搜索提供另一种尺度。对一个只有“是否命中”接口的无结构搜索,经典算法最坏要逐项检查,量子查询次数可降到平方根量级。平方根改进可能很重要,却不是所有搜索都能无成本套用。数据库装载、可逆判断函数、重复运行和错误控制都可能吃掉优势,经典并行也会改变实际比较。
模拟量子系统被广泛认为是更自然的方向,因为分子、材料与量子场本身就遵循量子规则。这里仍不能把“自然匹配”直接写成产业收益。需要指定哈密顿量怎样编码、期望值要多精确、状态怎样准备,以及经典近似是否已经足够。问题结构给出机会,工程账单决定机会能否兑现。
为什么好器件仍不够
物理量子比特是芯片或实验装置中真实存在的硬件单元。它会退相干,控制脉冲会偏离目标,双比特操作和读出也会犯错。增加物理数量若同时增加噪声通道,不会自动得到更强计算机。因此只比较“有多少个量子比特”,就像只按晶体管数量判断整台经典计算机一样粗糙。
不同硬件路线也不能只用一个数字横向排名。超导电路、受控离子、中性原子和光子系统在门速度、连接方式、相干、测量与制造扩展上各有权衡。某项指标领先,不等于完整系统已经领先;真正相关的指标要由准备运行的算法决定。
逻辑量子比特把一份量子信息编码到许多物理单元中,并通过额外测量追踪错误征兆。关键点是不能直接复制未知状态留作备份,也不能随意测量受保护的信息。系统改为测量某些联合约束,让错误留下“脚印”,再由经典解码器推断应如何修正。
这套方法称为量子纠错。当物理操作的错误率低于特定编码的阈值时,增加编码距离可以压低逻辑错误率。代价是大量额外比特、持续测量、快速解码与更复杂的控制。若逻辑操作仍太容易失败,再多物理单元也无法支撑长算法。
容错量子计算进一步要求所有关键步骤都在错误可控的方式下进行,包括逻辑门、状态准备、测量和纠错循环。它追求的不是零误差,而是把每步逻辑错误率压到足够低,使完整算法的失败概率可接受。这也是“能维持一个逻辑记忆”与“能运行长而有用的逻辑程序”之间的距离。
里程碑应按它证明的事情来读
Google Quantum AI 与合作者在 Nature 报告了低于表面码阈值的量子存储实验。其距离7编码使用101个物理量子比特,随着编码距离增加,逻辑错误率下降;逻辑存储寿命也超过了其中最佳物理量子比特。论文于2024年在线发表、编入2025年卷期,并在2026年发布更正。[6]
这是重要证据,因为它显示“用更多物理资源换取更低逻辑错误”的关键趋势,而不是简单堆比特。论文也明确指出,现有逻辑错误率与许多实用计算需求之间仍有数量级差距,扩展实际系统会非常耗费资源。更复杂的逻辑运算、泄漏与相关错误、长时间稳定性、编译和实时解码仍需继续解决。
因此,这个结果既不该被贬低成“毫无用处”,也不该被扩写成“通用量子计算已经完成”。它证明的是特定编码上的存储与实时纠错性能,不是所有逻辑门已经齐备,也不是某个商业任务已经胜过最佳经典方法。读里程碑时,把实验对象、评价指标和未覆盖的步骤分开,结论会更稳健。
密码迁移不必等待机器成熟
量子计算对密码学的影响具有特殊时间差。攻击能力尚未普遍出现,并不代表迁移可以延后。某些需要长期保密的数据可能今天被收集,未来再被解密;大型组织替换协议、证书、硬件和供应链也需要多年。风险管理关注的是数据寿命、迁移周期与攻击时间线的组合,而不是猜中一台机器的发布日期。
美国国家标准与技术研究院在2024年批准了首批三个后量子密码联邦标准:FIPS 203 用于密钥封装,FIPS 204 与 FIPS 205 用于数字签名。[7] “后量子”指这些经典算法被设计为抵抗已知量子攻击,它们运行在普通计算机上,并不需要量子网络或量子处理器。
这也是理论结果怎样转化为现实行动的好例子。Shor 算法给出威胁机制,密码分析与标准化评估候选方案,组织再做密码资产盘点和分阶段迁移。谨慎并不等于恐慌:不应声称现有大型量子机已经能任意解密,也不应因为尚未发生攻击就忽略迁移窗口。
普通读者遇到“量子将破解所有加密”的标题时,可以先区分公钥密码、对称密码和哈希,再看攻击需要的逻辑资源。不同原语受影响方式并不相同,替代方案也不是同一套。面向个人,最实际的做法仍是使用持续更新的软件和服务;基础设施迁移则是组织层面的长期工程。
把四门实验的隐藏成本加回来
理想四门搜索只需一次目标查询,就能把正确门的振幅放大到1。经典逐门检查最坏需要四次。这个差距真实体现了查询模型中的算法结构,却还不是产品速度。现实中必须先实现“这扇门是否亮灯”的可逆判断,把两位编号准备进设备,执行所有门操作,再重复运行以确认输出。
候选规模增大时,查询次数的平方根优势会扩大,但目标判断函数也可能变复杂。若数据只存在普通服务器里,把它变成可被量子线路访问的形式可能很昂贵。若一次经典检查非常便宜,强大的经典并行系统也能缩短墙上时间。若答案难以验证,采样与后处理又会增加成本。
可靠比较至少需要同一任务、同一精度和同一成功概率。经典基线应当是经过优化的最佳已知方法,而不是故意选择的朴素程序。量子一侧则应报告完整电路、设备参数、运行次数和后处理,不只给出核心子程序的门数。若只比较两个不相同的问题,速度比再大也没有解释力。
对当前实验,一个更稳妥的词是“优势证据”而不是“一劳永逸的优越性”。研究者可以在特定采样、模拟或纠错任务上证明经典模拟困难,随后还要说明任务是否有独立价值、输出是否能验证,以及改进的经典算法会不会缩小差距。量子与经典方法共同进步,基线不是静止靶子。
一种专用协处理器,也是一种判断训练
量子计算最可信的未来图景,不是一台替代所有经典机器的超级电脑,而是一种与经典系统协作的专用处理器。经典部分负责数据、控制、优化和验证,量子部分只在具有合适结构的步骤上工作。能否形成价值,要看这一步的优势是否大到足以覆盖整个系统的额外成本。
从物理到应用,中间有一条很长的翻译链:物理量子比特要变成可靠逻辑单位,逻辑单位要支持足够深的门序列,算法要对应真实任务,结果还要胜过不断改进的经典方法。任一环节有进展都值得重视,但不能替其他环节作证。
这也给普通读者一个稳定的判断框架。看到新的芯片数量,先问逻辑错误率;看到新的算法复杂度,先问输入与预言机;看到新的速度纪录,先问经典基线和任务价值;看到新的商业预测,先找可复现的端到端结果。问题越具体,宣传与证据之间的距离越容易看清。
量子计算确实改变了“什么是可计算资源”的想象。它把相位、干涉和不可拆分的联合状态变成算法材料。但真正有用的计算从来不只靠新奇材料,还靠工程控制、严谨比较和可验证结果。下一次更大规模逻辑机器出现时,最重要的问题不是它看起来多么未来,而是公开证据能否证明它在真实任务上既更快又更有用。