量子计算的困难，不能只用“量子比特容易出错”概括。更深的问题是：一个在数学上精确定义的逻辑量子比特，如何在真实装置中持续存在，并在与其他逻辑量子比特相互作用时，仍然保持可靠的计算能力？

单次编码、短时间存储、重复纠错和通用容错运算，是不同层次的成果。实验中构造出一个编码态，或者观察到某种错误率下降，具有明确价值，但这些结果并不意味着可以大规模调用的逻辑计算单元。

本文继续审查量子计算中数学表示与物理实现之间的对应关系。核心问题是，逻辑量子比特的保护条件，在复杂、多体、持续耦合的计算过程中，究竟能够成立到什么程度。

一、逻辑比特是一套持续运行的物理机制

经典比特依托电压、磁化方向或其他物理状态实现。底层信号允许一定扰动，只要仍处在正确的判决范围内，电路就能恢复出同一个离散符号。信号恢复、校验与纠错共同建立了经典数字计算的高可靠性。

逻辑量子比特也需要编码保护，但不能照搬经典信号的恢复方式。它必须保护的信息包括相干叠加中的相对相位，直接测量逻辑值通常会破坏这种相干关系。

因此，逻辑量子比特通常需要多个物理量子比特共同承载信息，并借助辅助比特提取错误综合征。理想情况下，综合征告诉我们发生了什么可纠正错误，却不暴露所保存的逻辑信息。

这意味着，逻辑量子比特不能简单理解成“把许多物理比特捆在一起”。它的可靠存在，依赖编码、测量、复位、译码和必要反馈的配合。主动纠错型装置还必须不断重复这些过程。

被保护的对象与保护它的设备，都由有噪声的物理系统构成。 纠错是否有效，取决于消除错误的收益能否持续超过保护过程引入的新错误。

二、数学编码与物理保护之间还要一层证明

在理想模型中，可以定义编码子空间、可纠正错误集合以及相应恢复操作。这样的构造回答了：如果实际错误满足指定条件，应当怎样恢复逻辑信息。

真实装置还必须回答另外一些问题。

误差是否符合模型采用的统计关系？辅助测量是否泄露了逻辑信息？控制误差是否随时间漂移？物理系统是否会离开预设的两能级空间？译码器能否在运行节奏要求内处理综合征？

这些条件决定了数学纠错方案的物理适用范围。

NQT认为：数学态空间不能直接代替物理本体。不过，问题也不能归结为希尔伯特空间无法描述环境和退相干；开放系统理论同样在这一数学框架内工作。真正需要审查的是，具体模型包含了哪些相互作用，又忽略了哪些可能影响结论的过程。

如果关键扰动没有纳入模型，再严密的推导也不会补上这些遗漏。

三、存得住，不等于算得动

一个逻辑比特在相对安静的条件下保存信息，与它参加计算时保持可靠，是两种任务。

存储可以尽量减少非必要相互作用。计算则需要有选择地引入相互作用，改变状态，建立纠缠，并在适当时刻进行测量。原先适用于存储的保护机制，必须与这些操作兼容。

因此，需要分别考察逻辑存储寿命、单逻辑比特门、双逻辑比特门，以及更完整的通用操作集合。某一种性能优异，不能替代其他能力的验证。

特别是相干运算，不能只检查最终的二进制结果。一个电路可能对确定的基态输入给出正确答案，却附加了依赖输入的错误相位。单纯检查经典输入输出，可能发现不了这类问题；当输入为叠加态时，后续干涉却可能受到破坏。

可靠的量子逻辑，既要保持离散结果的正确性，也要保持计算所需要的相干关系。

四、多逻辑比特耦合为什么尤其困难

当两个逻辑比特需要相互作用时，参与操作的往往是两个编码块及其辅助系统。具体实现可能使用横向门、联合测量、编码边界调整或辅助纠缠资源，但都需要真实的物理过程。

此时，原本可以分别研究的两个保护单元，成为一个相互影响的系统。

首先，耦合可以传播错误。例如，在受控非门中，某些控制端错误可以传播到目标端，某些目标端错误也可以影响控制端。容错设计的重要任务，就是限制这种传播，避免一个局部故障演变成超出编码纠正能力的错误组合。

其次，操作一个编码块可能扰动邻近编码块。共享控制线、驱动场、读出结构或连接通道，都可能引入串扰。单独测试时表现良好的逻辑比特，在并行运行时未必具有相同的错误率。

再次，耦合后的共同环境可能产生相关错误。一次共同扰动，有时比若干独立的小错误更难处理，因为它可能同时影响多个数据比特，甚至多个逻辑块。相关错误并非一概不能纠正，但必须明确其空间范围、时间持续性和出现频率，不能继续套用不适合的独立噪声近似。

最后，多逻辑比特操作通常还涉及等待、路由和同步。等待中的量子信息仍需保护；不同操作之间的时间协调，也可能增加总运行时间和错误机会。

因此，两个能够分别稳定工作的逻辑比特，并不自动构成一个同样稳定的双比特计算单元。 可组合性需要单独验证。

五、保护与操作之间存在具体的物理权衡

为了保存量子信息，我们希望系统不受非预期环境影响；为了操作和读取，又必须建立可控的相互作用。

这不是原则上的逻辑矛盾，却是持续存在的设计约束：需要的耦合必须足够有效，不需要的耦合必须足够弱，而且这种区分要在完整运行过程中保持。

同样，提高读出能力可能增加反作用；增加纠错频率可能减少错误积累，却也增加测量、复位和控制操作；扩大编码可以提高抗错能力，却同时增加设备数量、操作范围与运行负担。

不同架构可以采用不同办法缓解这些问题，因此不能断言保护与相干操作必然互不相容。但也不能假定，每增加一层保护就必然获得净收益。

对多逻辑比特系统而言，关键指标是：所有必要功能同时开启时，保护是否仍然有效。

六、极低逻辑错误率不是免费获得的精确性

讨论大规模量子计算时，经常会出现极小的目标逻辑错误率。这并不意味着每个物理部件都必须达到同样精度。纠错的目的，就是用额外资源，将较大的物理错误压低为较小的逻辑错误。

但这个压低过程有条件，也有成本。

设完整计算包含若干逻辑错误机会，第一个、第二个以及后续机会的失败概率分别为相应的逻辑错误率。利用概率的并集上界，可以写出

$$P_{\mathrm{fail}}\le \sum _{j=1}^G{p}_j.$$

这个上界不要求错误相互独立。如果用统一的错误预算近似，为使总失败概率不超过给定目标，一个充分条件是

$$p_{\mathrm{L}}\le \frac{\epsilon }{G}.$$

随着运算规模增加，允许分配给每次操作的错误预算就会缩小。实际核算还要包括存储、测量、路由和辅助资源，而不只是算法图上的逻辑门。

这解释了为什么“某个逻辑门优于物理门”，距离“足以完成长时间复杂算法”，仍然可能很远。

七、增加编码规模，能否一直降低错误？

在适当噪声条件下，增加编码资源可以降低逻辑错误率。但小规模上的下降趋势，并不能单独证明这种规律会无限延续。

一种需要检验的可能情况是：

$$p_{\mathrm{L}}(d)=A{e}^{-\alpha d}+p_{\mathrm{floor}},$$

其中，编码规模参数增加时，第一部分下降；第二部分代表在该方案下未被进一步压低的错误。

这个式子只是说明问题的示意模型，不是所有量子装置都必然存在同一误差下限。实际是否出现下限，要由具体机制判断。共同模式噪声、长期漂移、泄漏传播或某些控制故障，都可能成为需要调查的来源。

多逻辑比特耦合尤其值得关注，因为耦合可能改变噪声结构，使单块编码中有效的保护规律不再原样成立。

八、热扰动问题

热激发是某些平台的重要误差来源，却不能把温度或热能直接与逻辑错误概率比较。由热扰动到逻辑失败，中间还包括能级结构、环境耦合、运行时间、编码和恢复过程。

极低温也不会自动消除控制噪声、泄漏和串扰。反过来，不同量子计算平台的工作温度及冷却对象不同，不能用超导器件的条件代表全部路线。

对于多逻辑比特系统，更实际的问题是：当控制、读出、复位和耦合同时运行时，局部环境是否仍符合模型假设？随着规模增加，这些条件需要什么设备和能量成本才能保持？

九、怎样判断逻辑比特的实现程度

一个面向实际计算的报告，需要让人区分：

• 结果是否依赖纠错，保留率和重试成本是多少；

• 是否能够持续纠错，而非仅展示一次编码；

• 是否验证了相干条件下的逻辑操作，而非仅测试存储或经典输入输出；

• 多逻辑比特耦合、并行工作时，性能是否仍然保持；

• 增加编码资源后，逻辑错误率是否继续下降；

• 完整算法的成功率、运行时间和全部物理资源是多少。

有限次数实验中没有观察到错误，也只能对错误率给出统计约束，不能直接解释为绝对零错误。

这些要求并不降低已有实验的价值。它们使每项成果得到与证据相称的评价，也避免把不同阶段的能力统一包装成一个“逻辑比特数量”。

十、真正的难点是可靠地共同工作

逻辑比特难以实现，因为它必须将一个数学上定义的受保护自由度，变成能够持续运行的物理计算单元。多逻辑比特耦合进一步要求，这些单元在共享环境、传播信息和执行操作时，仍能保持可预测的错误行为。

单个编码态、逻辑存储和有限纠错实验，是走向这一目标的证据，但不能替代对整套系统的验证。量子纠错提供了有条件的理论路径；这些条件是否能在目标规模上同时成立，必须由真实装置回答。

衡量逻辑比特的关键，不只是它能被制备出来，而是它能否与其他逻辑比特共同完成足够长、足够复杂的计算，并在全部成本计入之后保持所要求的可靠性。

转载本文请联系原作者获取授权，同时请注明本文来自雷奕安科学网博客。
链接地址：https://blog.sciencenet.cn/blog-268546-1554808.html

上一篇：量子叠加不等于无限算力
下一篇：玻恩规则的一个玩具模型

欢迎参加科学网十佳博文评选活动！

主办单位：    支持单位：