SDE Universes·新思想前沿›物理学
新思想前沿 · 量子器件、纠错与可验证优势

量子信息与量子计算

近二十年与经典层 · 两幕 20 个新思想 ＋ 20 个经典思想 · 约 36,997 字 · 王德生 亲撰 · 2026 年 8 月

量子信息与量子计算的近二十年转向与 1950—2006 年经典思想在同一页对读：现代层说明新证据怎样改写问题，经典层倒查旧前提由谁、用什么材料建立。四十条均保留来源、边界、量纲、失效与异名接口；经典二十条逐一回指上文，不把年代久远误当成结论仍然有效。

【第一幕】上一个十年 · 约 2006–2016 · 八条奠基转向

甲、从「造得出」到「活得住」

提出Koch et al., Charge-insensitive qubit design derived from the Cooper pair box, Physical Review A 76 (2007): 042319。　争议与 Pednault et al., Leveraging secondary storage to simulate deep 54-qubit Sycamore circuits, 2019 preprint 的对象边界或反例路线对读。　最新Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：本世纪初的超导量子比特相干时间以纳秒计——还没来得及做几个门就散了。此后十年，靠着材料界面的清理、电路设计的改良、以及把比特放进三维腔里，相干时间一路涨了四到五个数量级。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释；若第三方只能复述本条结果却不能重做变换，所谓迁移就尚未发生。第 309 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条的硬证据由 2007 年前后的原始工作给出：这是一段几乎没有戏剧性的十年：没有哪一年出现「突破」，只有一条稳定的、每一两年翻一番的曲线。量子计算真正的地基是这条曲线，而不是任何一次演示——没有毫秒级的相干，纠错码所需的成千上万次操作根本跑不完。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Koch et al., Charge-insensitive qubit design derived from the Cooper pair box, Physical Review A 76 (2007): 042319。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条再核一次：2007 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条在 2026 年与第 309 号《时间序列与预测方法》的证据边界、又与第 590 号《不确定性量化》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“从「造得出」到「活得住」的定义、变换与边界”当成单独够用的那一样　单因决定从「造得出」到「活得住」能否迁移的只有结论是否在公开边界内可复算　预设〔02 单一读数代表复杂对象〕从「造得出」到「活得住」在已发表样本上的方向可以代表全部候选对象　量纲在从「造得出」到「活得住」的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，从「造得出」到「活得住」的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2007 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在从「造得出」到「活得住」中产生阴性结果的对象　异名第 309 号《时间序列与预测方法》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

乙、表面码成为共识

提出Fowler et al., Surface codes: Towards practical large-scale quantum computation, Physical Review A 86 (2012): 032324。　争议与 McClean et al., Barren plateaus in quantum neural network training landscapes, Nature Communications 9 (2018): 4812 的对象边界或反例路线对读。　最新NIST, FIPS 203–205 post-quantum cryptography standards (2024)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：纠错方案原本有很多种，多数要求任意两个比特之间都能直接作用——在真实芯片上做不到。2012 年前后确立的表面码只要求最近邻的二维连线，并把容错阈值放宽到百分之一量级。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张：公开边界内可以独立复算，才允许把本条方法搬到下一类对象。声望与经费只作环境量；如果本条离开原作者补充就不能运行，结论仍是一次性工艺。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2012 年前后的原始工作给出：这一步把纠错从「原理上可行」变成了「工程上有图纸」：需要多少物理比特、连成什么拓扑、错误率要压到多少，第一次都有了具体数字。此后十几年所有超导路线的芯片布局，本质上都在照这张图纸做。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Fowler et al., Surface codes: Towards practical large-scale quantum computation, Physical Review A 86 (2012): 032324。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条再核一次：2012 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 310 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 310 号《空间统计与地理统计》的证据边界、又与第 600 号《风险、安全与可靠性工程》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“表面码成为共识的定义、变换与边界”当成单独够用的那一样　单因决定表面码成为共识能否迁移的只有结论是否在公开边界内可复算　预设〔02 单一读数代表复杂对象〕表面码成为共识在已发表样本上的方向可以代表全部候选对象　量纲在表面码成为共识的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，表面码成为共识的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2012 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在表面码成为共识中产生阴性结果的对象　异名第 310 号《空间统计与地理统计》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

丙、随机基准测试：一把公用的尺子

提出Magesan, Gambetta & Emerson, Scalable and robust randomized benchmarking, Physical Review Letters 106 (2011): 180504。　争议与 Cerezo et al., Variational quantum algorithms, Nature Reviews Physics 3 (2021): 625–644 的对象边界或反例路线对读。　最新Google Quantum AI, Quantum error correction below the surface-code threshold, Nature 2025。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：同一时期出现的随机基准测试，用一串随机门序列的衰减速率来量单门与双门的错误率，其结果不依赖于状态制备与读出的误差。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。

本条的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性；若本条增加抽象层级却减少可重做者，接口扩张就没有被证成。本条再核一次：2011 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条的硬证据由 2011 年前后的原始工作给出：有了它，不同实验室、不同物理体系的结果第一次可以放在一起比。一个领域能不能积累，取决于它有没有一把公用的尺子——这十年判定量子优越性所用的交叉熵基准，正是从这把尺子长出来的。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Magesan, Gambetta & Emerson, Scalable and robust randomized benchmarking, Physical Review Letters 106 (2011): 180504。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 311 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条在 2026 年与第 311 号《原子分子与光物理》的证据边界、又与第 53 号《现代密码学》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“随机基准测试的定义、变换与边界”当成单独够用的那一样　单因决定随机基准测试能否迁移的只有结论是否在公开边界内可复算　预设〔02 单一读数代表复杂对象〕随机基准测试在已发表样本上的方向可以代表全部候选对象　量纲在随机基准测试的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，随机基准测试的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2011 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在随机基准测试中产生阴性结果的对象　异名第 311 号《原子分子与光物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

丁、算法这一侧的第一次降温

提出Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79。　争议与 Temme, Bravyi & Gambetta, Error mitigation for short-depth quantum circuits, Physical Review Letters 119 (2017): 180509 的对象边界或反例路线对读。　最新Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：同期算法一侧出现了一波量子机器学习的热潮：线性方程组、主成分分析、推荐系统都被宣称有指数加速。2015 年前后开始有人系统地提醒，这些加速依赖一整套「小字条款」——数据得能以某种理想方式装进去、答案只能以量子态的形式出来。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

本条只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建，本条即按未完成处理。本条再核一次：2018 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2018 年前后的原始工作给出：这条提醒当时被当作扫兴，如今看是这十年「去量子化」的直接前身。一个领域的自我修剪，往往先以扫兴的形式出现。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 315 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 315 号《表面与界面物理》的证据边界、又与第 297 号《科技政策与科研管理》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“算法这一侧的第一次降温的定义、变换与边界”当成单独够用的那一样　单因决定算法这一侧的第一次降温能否迁移的只有结论是否在公开边界内可复算　预设〔04 测量不改变被测对象〕算法这一侧的第一次降温在已发表样本上的方向可以代表全部候选对象　量纲在算法这一侧的第一次降温的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，算法这一侧的第一次降温的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在算法这一侧的第一次降温中产生阴性结果的对象　异名第 315 号《表面与界面物理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

戊、判据被提前定下来

提出Harrow & Montanaro, Quantum computational supremacy, Nature 549 (2017): 203–209。　争议与 Endo, Benjamin & Li, Practical quantum error mitigation, Physical Review X 8 (2018): 031027 的对象边界或反例路线对读。　最新NIST, FIPS 203–205 post-quantum cryptography standards (2024)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕本条，旧账的堵点是：「量子优越性」这个概念在 2012 年前后被提出时，配着的不是口号而是判据：找一个量子机器能做、而最好的经典模拟在合理时间内做不了的具体采样任务，并说清怎样才算做到。 早期论证常把成功对象当成全体，让本条的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

本条这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进本条的同一解释；若第三方只能复述本条结果却不能重做变换，所谓迁移就尚未发生。第 316 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条的硬证据由 2017 年前后的原始工作给出：先定判据、后做实验，这个顺序让 2019 年那次演示的争论有了可以争的对象——争的是经典模拟到底要多久，而不是「算不算数」。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Harrow & Montanaro, Quantum computational supremacy, Nature 549 (2017): 203–209。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条再核一次：2017 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条在 2026 年与第 316 号《磁学与自旋电子学》的证据边界、又与第 301 号《泛函分析与算子代数》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“判据被提前定下来的定义、变换与边界”当成单独够用的那一样　单因决定判据被提前定下来能否迁移的只有结论是否在公开边界内可复算　预设〔04 测量不改变被测对象〕判据被提前定下来在已发表样本上的方向可以代表全部候选对象　量纲在判据被提前定下来的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，判据被提前定下来的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2017 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在判据被提前定下来中产生阴性结果的对象　异名第 316 号《磁学与自旋电子学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

己、从实验室走向工程组织

提出Gambetta, Chow & Steffen, Building logical qubits in a superconducting quantum computing system, npj Quantum Information 3 (2017): 2。　争议与 Google Quantum AI, Suppressing quantum errors by scaling a surface code logical qubit, Nature 614 (2023): 676–681 的对象边界或反例路线对读。　最新Google Quantum AI, Quantum error correction below the surface-code threshold, Nature 2025。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

本条改变的不是术语外壳，而是旧问题的入账方式：2014 年前后，大型企业与国家计划相继入场，量子计算从几十人的学术方向变成有路线图、有里程碑、有供应链的工程项目。稀释制冷机、微波元件、封装与布线成了独立的产业环节。 若仍用单个定理、单台器件或单批数据结算，本条之外的反例会被成功叙事自动删去。这里把本条的对象范围、操作步骤和例外集合分别立账。

对本条只提出一条单因主张：公开边界内可以独立复算，才允许把本条方法搬到下一类对象。声望与经费只作环境量；如果本条离开原作者补充就不能运行，结论仍是一次性工艺。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的硬证据由 2017 年前后的原始工作给出：这带来了这个领域此后所有的好处与麻烦：资源与人力的量级提升，以及每一次阶段性成果都要面对「是科学进展还是融资节点」的追问。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Gambetta, Chow & Steffen, Building logical qubits in a superconducting quantum computing system, npj Quantum Information 3 (2017): 2。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条再核一次：2017 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 319 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 319 号《计算物理与多尺度模拟》的证据边界、又与第 302 号《调和分析》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置D——它把“从实验室走向工程组织的定义、变换与边界”当成单独够用的那一样　单因决定从实验室走向工程组织能否迁移的只有结论是否在公开边界内可复算　预设〔04 测量不改变被测对象〕从实验室走向工程组织在已发表样本上的方向可以代表全部候选对象　量纲在从实验室走向工程组织的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，从实验室走向工程组织的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2017 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在从实验室走向工程组织中产生阴性结果的对象　异名第 319 号《计算物理与多尺度模拟》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

庚、玻色采样：不通用装置也能挑战经典采样Boson Sampling

提出Google Quantum AI, Suppressing quantum errors by scaling a surface code logical qubit, Nature 614 (2023): 676–681。　争议与 Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65 的对象边界或反例路线对读。　最新Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在本条这条线上，过去卡住的是：线性光学中的多光子干涉把输出概率接到 permanent；任务不需通用量子门，却把验证与损耗推到前台。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的本条必须让三类记录同时可见。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

本条的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释本条的正确性；若本条增加抽象层级却减少可重做者，接口扩张就没有被证成。本条再核一次：2023 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。

本条的硬证据由 2023 年前后的原始工作给出：探测光子数／注入光子数、碰撞样本率、量子采样时间／最佳经典采样时间共同决定优势。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Google Quantum AI, Suppressing quantum errors by scaling a surface code logical qubit, Nature 614 (2023): 676–681。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满本条分母，新障碍就会迟到。反例对本条可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

让本条成为公共工艺，需要样例留版本、本条依赖树可追踪、计算带证书、参数保留原始记录。本条进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 587 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 587 号《网络科学》的证据边界、又与第 303 号《复分析与复几何》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置E——它把“玻色采样的定义、变换与边界”当成单独够用的那一样　单因决定玻色采样能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕玻色采样在已发表样本上的方向可以代表全部候选对象　量纲在玻色采样的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，玻色采样的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2023 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在玻色采样中产生阴性结果的对象　异名第 587 号《网络科学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

辛、数字量子模拟：Trotter 误差、门误差与物理误差三账并立Digital Quantum Simulation

提出Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65。　争议与 Saffman, Quantum computing with atomic qubits and Rydberg interactions, Journal of Physics B 49 (2016): 202001 的对象边界或反例路线对读。　最新NIST, FIPS 203–205 post-quantum cryptography standards (2024)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解本条要先拆一个旧混合量：量子模拟从类比装置走向可编程门序列，局部 Hamiltonian 演化能拆成可校准步骤，但误差来源随深度累积。 原体例把发现、证明与推广写在同一行，导致本条究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。本条定义更精细若伴随复核人数下降，就不能把本条层级增加写成可靠性增加；两条趋势分开画线。

本条只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替本条。只要本条的定义域和失败域不能由外部研究者重建，本条即按未完成处理。本条再核一次：2024 年分母若换成本条全部候选对象，方向必须重算；未满足本条条件的对象逐项留下。本条还应公开最小复算材料；材料不足时，本条的引用增长只测传播，不测正确性或可迁移性。

本条的硬证据由 2024 年前后的原始工作给出：Trotter 步数、门错误率×深度与观测偏差／精确基线三项同时下降才算模拟改进。 对本条的复核分别记录对象规模、结构层级和误差分母；来源是 Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65。本条这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。本条反例库保留失败参数与停止位置；2025 年结果因此可回查，后续本条路线也知道哪里走不通。

对本条的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起本条效果。若本条越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。本条与 2024–2026 年更新分开登记；晚近材料不能覆盖本条旧边界，本条来源层级也不能混写。

本条要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审本条要询问谁进入分母、谁能独立重跑、本条一次修订耗时多少；2025 年更新不因更晚就自动更强。第 590 号批外证据提醒：本条缺失对象不是零值；它未进入本条账本，遗漏率须随主结果发表。

本条在 2026 年与第 590 号《不确定性量化》的证据边界、又与第 304 号《可计算性与递归论》的尺度转换相撞。两边共享‘表示越精细越可靠’，本条却警告核验者会随层级上升而减少；应比较本条可复算对象／全部候选对象。本条外推要报告复算成功对象／全部尝试对象；只列成功会把本条失败分母压零，方向随即失真。

位置S——它把“数字量子模拟的定义、变换与边界”当成单独够用的那一样　单因决定数字量子模拟能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕数字量子模拟在已发表样本上的方向可以代表全部候选对象　量纲在数字量子模拟的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，数字量子模拟的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝本条在 2024 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在数字量子模拟中产生阴性结果的对象　异名第 590 号《不确定性量化》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目
【第二幕】这十年 · 约 2016–2026 · 十二条重构与清算

一、承诺与诅咒：量子比特的脆弱

提出Arute et al., Quantum supremacy using a programmable superconducting processor, Nature 574 (2019): 505–510。　争议与 Monroe et al., Large-scale modular quantum-computer architecture with atomic memory, Physical Review A 89 (2014): 022317 的对象边界或反例路线对读。　最新Google Quantum AI, Quantum error correction below the surface-code threshold, Nature 2025。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕量子壬项，旧账的堵点是：量子计算的威力来自叠加与纠缠：肖尔算法能对大数分解给出指数级加速（直接威胁现行密码），格罗弗搜索给出平方级加速，量子模拟则可能算清经典计算机算不动的分子与材料。 早期论证常把成功对象当成全体，让量子壬项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

量子壬项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进量子壬项的同一解释；若第三方只能复述量子壬项结果却不能重做变换，所谓迁移就尚未发生。第 600 号批外证据提醒：量子壬项缺失对象不是零值；它未进入量子壬项账本，遗漏率须随主结果发表。

量子壬项的硬证据由 2019 年前后的原始工作给出：但量子态极其脆弱，稍受环境扰动就退相干、出错。过去二十年，领域停在含噪中等规模（NISQ）阶段——能做几十上百个比特的演示，但错误随比特和门操作增多而累积，跑不了有深度的长算法。这是量子计算的承诺，也是它的诅咒。 承诺与诅咒是同一件事：量子比特之所以强大，是因为它能维持叠加与纠缠；

量子壬项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满量子壬项分母，新障碍就会迟到。反例对量子壬项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。量子壬项再核一次：2019 年分母若换成量子壬项全部候选对象，方向必须重算；未满足量子壬项条件的对象逐项留下。

让量子壬项成为公共工艺，需要样例留版本、量子壬项依赖树可追踪、计算带证书、参数保留原始记录。量子壬项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。量子壬项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子壬项旧边界，量子壬项来源层级也不能混写。量子壬项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续量子壬项路线也知道哪里走不通。

量子壬项在 2026 年与第 600 号《风险、安全与可靠性工程》的证据边界、又与第 306 号《生物统计学》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子壬项却警告核验者会随层级上升而减少；应比较量子壬项可复算对象／全部候选对象。量子壬项外推要报告复算成功对象／全部尝试对象；只列成功会把量子壬项失败分母压零，方向随即失真。

位置D——它把“承诺与诅咒的定义、变换与边界”当成单独够用的那一样　单因决定承诺与诅咒能否迁移的只有结论是否在公开边界内可复算　预设〔10 更多数据必然减少偏倚〕承诺与诅咒在已发表样本上的方向可以代表全部候选对象　量纲在承诺与诅咒的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，承诺与诅咒的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子壬项在 2019 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在承诺与诅咒中产生阴性结果的对象　异名第 600 号《风险、安全与可靠性工程》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

二、2019 的量子优越性及其争议

提出Pednault et al., Leveraging secondary storage to simulate deep 54-qubit Sycamore circuits, 2019 preprint。　争议与 Huang, Kueng & Preskill, Predicting many properties of a quantum system from very few measurements, Nature Physics 16 (2020): 1050–1057 的对象边界或反例路线对读。　最新Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

量子癸项改变的不是术语外壳，而是旧问题的入账方式：2019 年，谷歌的 Sycamore 在随机线路采样这一刻意挑选、便于展示量子优势的任务上，几分钟做完据称经典超算要上万年的计算，首次宣称量子优越性。 若仍用单个定理、单台器件或单批数据结算，量子癸项之外的反例会被成功叙事自动删去。这里把量子癸项的对象范围、操作步骤和例外集合分别立账。

对量子癸项只提出一条单因主张：公开边界内可以独立复算，才允许把量子癸项方法搬到下一类对象。声望与经费只作环境量；如果量子癸项离开原作者补充就不能运行，结论仍是一次性工艺。量子癸项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子癸项旧边界，量子癸项来源层级也不能混写。量子癸项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续量子癸项路线也知道哪里走不通。

量子癸项的硬证据由 2019 年前后的原始工作给出：但那是一个没有实用价值的基准，而且经典算法与超算随后不断反扑、把差距一再拉回。它证明的是原理上量子确实能做经典难做的事，却不是一台有用的机器——真正的门槛不在这里。 2019 那次优越性演示与随后的争议，本身构成一个方法论案例：宣称的经典模拟耗时在随后几年里被更聪明的张量网络方法与更大的经典算力不断压缩，从数。

对量子癸项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起量子癸项效果。若量子癸项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。量子癸项再核一次：2019 年分母若换成量子癸项全部候选对象，方向必须重算；未满足量子癸项条件的对象逐项留下。

量子癸项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审量子癸项要询问谁进入分母、谁能独立重跑、量子癸项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 53 号批外证据提醒：量子癸项缺失对象不是零值；它未进入量子癸项账本，遗漏率须随主结果发表。

量子癸项在 2026 年与第 53 号《现代密码学》的证据边界、又与第 307 号《贝叶斯统计与计算》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子癸项却警告核验者会随层级上升而减少；应比较量子癸项可复算对象／全部候选对象。量子癸项外推要报告复算成功对象／全部尝试对象；只列成功会把量子癸项失败分母压零，方向随即失真。

位置E——它把“2019 的量子优越性及其争议的定义、变换与边界”当成单独够用的那一样　单因决定2019 的量子优越性及其争议能否迁移的只有结论是否在公开边界内可复算　预设〔11 可复现＝可重做〕2019 的量子优越性及其争议在已发表样本上的方向可以代表全部候选对象　量纲在2019 的量子优越性及其争议的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，2019 的量子优越性及其争议的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子癸项在 2019 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在2019 的量子优越性及其争议中产生阴性结果的对象　异名第 53 号《现代密码学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

三、纠错阈值：纸上二十年的定理

提出McClean et al., Barren plateaus in quantum neural network training landscapes, Nature Communications 9 (2018): 4812。　争议与 NIST, Module-Lattice-Based Key-Encapsulation Mechanism Standard, FIPS 203 (2024) 的对象边界或反例路线对读。　最新NIST, FIPS 203–205 post-quantum cryptography standards (2024)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在量子子项这条线上，过去卡住的是：早在 1990 年代，人们就证明了量子纠错的思路：把许多脆弱的物理比特按纠错码编织成一个受保护的逻辑比特，只要单个物理比特的错误率低于某个临界阈值，逻辑错误率就会随编码规模指数下降。这就是容错量子计算的理论地基。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的量子子项必须让三类记录同时可见。

量子子项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释量子子项的正确性；若量子子项增加抽象层级却减少可重做者，接口扩张就没有被证成。量子子项再核一次：2018 年分母若换成量子子项全部候选对象，方向必须重算；未满足量子子项条件的对象逐项留下。

量子子项的硬证据由 2018 年前后的原始工作给出：可问题是，此后二十多年，谁也没能在真机上做到低于阈值——现实里往往是：你多加进来的比特带来的新错误，比纠错省下的还多，于是越做越糟。理论上的那条向下的曲线，迟迟没在实验里出现。 纠错阈值这个概念的分量在于它把不可能变成了工程问题：只要单个物理操作的错误率低于某个门限，就可以通过增加冗余把逻辑错误压到任意小。

量子子项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满量子子项分母，新障碍就会迟到。反例对量子子项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。量子子项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子子项旧边界，量子子项来源层级也不能混写。量子子项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续量子子项路线也知道哪里走不通。

让量子子项成为公共工艺，需要样例留版本、量子子项依赖树可追踪、计算带证书、参数保留原始记录。量子子项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 297 号批外证据提醒：量子子项缺失对象不是零值；它未进入量子子项账本，遗漏率须随主结果发表。

量子子项在 2026 年与第 297 号《科技政策与科研管理》的证据边界、又与第 308 号《实验设计与抽样调查》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子子项却警告核验者会随层级上升而减少；应比较量子子项可复算对象／全部候选对象。量子子项外推要报告复算成功对象／全部尝试对象；只列成功会把量子子项失败分母压零，方向随即失真。

位置S——它把“纠错阈值的定义、变换与边界”当成单独够用的那一样　单因决定纠错阈值能否迁移的只有结论是否在公开边界内可复算　预设〔11 可复现＝可重做〕纠错阈值在已发表样本上的方向可以代表全部候选对象　量纲在纠错阈值的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，纠错阈值的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子子项在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在纠错阈值中产生阴性结果的对象　异名第 297 号《科技政策与科研管理》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

四、Willow：阈值第一次被跨过

提出Cerezo et al., Variational quantum algorithms, Nature Reviews Physics 3 (2021): 625–644。　争议与 NIST, Module-Lattice-Based Digital Signature Standard, FIPS 204 (2024) 的对象边界或反例路线对读。　最新Google Quantum AI, Quantum error correction below the surface-code threshold, Nature 2025。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解量子丑项要先拆一个旧混合量：2024 年 12 月，谷歌的 Willow 芯片（约 105 个超导比特）首次实验演示了低于阈值：当表面码的距离从 3 增到 5 再到 7（即用越来越多物理比特护住一个逻辑比特），逻辑错误率每加大一档就约减半（抑制因子约 2.14），并首次超过盈亏平衡——受保护的逻辑比特寿命，超过了芯片上最好的那个裸物理比特。 原体例把发现、证明与推广写在同一行，导致量子丑项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。

量子丑项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替量子丑项。只要量子丑项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。量子丑项再核一次：2021 年分母若换成量子丑项全部候选对象，方向必须重算；未满足量子丑项条件的对象逐项留下。

量子丑项的硬证据由 2021 年前后的原始工作给出：它还实现了必须实时跟上芯片纠错节拍的解码器（延迟约几十微秒）。附带的随机线路采样跑分（五分钟对经典机的天文年）只是花絮；真正的里程碑，是那条越大越准、方向朝下的错误曲线——它把容错从纸上定理变成了工程事实。 对量子丑项的复核分别记录对象规模、结构层级和误差分母；来源是 Cerezo et al., Variational quantum algorithms, Nature Reviews Physics 3 (2021): 625–644。量子丑项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对量子丑项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起量子丑项效果。若量子丑项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。量子丑项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子丑项旧边界，量子丑项来源层级也不能混写。

量子丑项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审量子丑项要询问谁进入分母、谁能独立重跑、量子丑项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 301 号批外证据提醒：量子丑项缺失对象不是零值；它未进入量子丑项账本，遗漏率须随主结果发表。

量子丑项在 2026 年与第 301 号《泛函分析与算子代数》的证据边界、又与第 309 号《时间序列与预测方法》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子丑项却警告核验者会随层级上升而减少；应比较量子丑项可复算对象／全部候选对象。量子丑项外推要报告复算成功对象／全部尝试对象；只列成功会把量子丑项失败分母压零，方向随即失真。

位置D——它把“Willow的定义、变换与边界”当成单独够用的那一样　单因决定Willow能否迁移的只有结论是否在公开边界内可复算　预设〔11 可复现＝可重做〕Willow在已发表样本上的方向可以代表全部候选对象　量纲在Willow的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，Willow的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子丑项在 2021 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在Willow中产生阴性结果的对象　异名第 301 号《泛函分析与算子代数》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

五、群雄与多条技术路线

提出Temme, Bravyi & Gambetta, Error mitigation for short-depth quantum circuits, Physical Review Letters 119 (2017): 180509。　争议与 Gidney & Ekerå, How to factor 2048-bit RSA integers in 8 hours using 20 million noisy qubits, Quantum 5 (2021): 433 的对象边界或反例路线对读。　最新Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕量子寅项，旧账的堵点是：超导路线（谷歌 Willow、IBM 的路线图）之外，还有离子阱（保真度高、已演示多个逻辑比特的运算）、可用光镊阵列灵活重构的中性原子、可室温运行的光子、以及用连续变量编码的玻色子比特等多条路线在竞速；DeepMind 甚至用神经网络来当纠错解码器。多方竞争把整条技术栈一起往前推。 早期论证常把成功对象当成全体，让量子寅项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。

量子寅项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进量子寅项的同一解释；若第三方只能复述量子寅项结果却不能重做变换，所谓迁移就尚未发生。第 302 号批外证据提醒：量子寅项缺失对象不是零值；它未进入量子寅项账本，遗漏率须随主结果发表。

量子寅项的硬证据由 2017 年前后的原始工作给出：但须清醒：跨过阈值不等于已有可用的机器。要跑肖尔算法破解真正的密码，估计需要上百万个物理比特协同纠错，距离今天仍隔着数量级的硬仗。 多条技术路线各有进展也各有短板：超导比特速度快、工艺接近成熟，但需极低温且比特间连接受限；离子阱保真度最高、连接灵活，但门操作慢； 对量子寅项的复核分别记录对象规模、结构层级和误差分母；

量子寅项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满量子寅项分母，新障碍就会迟到。反例对量子寅项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。量子寅项再核一次：2017 年分母若换成量子寅项全部候选对象，方向必须重算；未满足量子寅项条件的对象逐项留下。

让量子寅项成为公共工艺，需要样例留版本、量子寅项依赖树可追踪、计算带证书、参数保留原始记录。量子寅项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。量子寅项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子寅项旧边界，量子寅项来源层级也不能混写。

量子寅项在 2026 年与第 302 号《调和分析》的证据边界、又与第 310 号《空间统计与地理统计》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子寅项却警告核验者会随层级上升而减少；应比较量子寅项可复算对象／全部候选对象。量子寅项外推要报告复算成功对象／全部尝试对象；只列成功会把量子寅项失败分母压零，方向随即失真。

位置E——它把“群雄与多条技术路线的定义、变换与边界”当成单独够用的那一样　单因决定群雄与多条技术路线能否迁移的只有结论是否在公开边界内可复算　预设〔18 干预不回写到被干预者〕群雄与多条技术路线在已发表样本上的方向可以代表全部候选对象　量纲在群雄与多条技术路线的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，群雄与多条技术路线的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子寅项在 2017 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在群雄与多条技术路线中产生阴性结果的对象　异名第 302 号《调和分析》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

六、另一面：后量子密码

提出Endo, Benjamin & Li, Practical quantum error mitigation, Physical Review X 8 (2018): 031027。　争议与 Koch et al., Charge-insensitive qubit design derived from the Cooper pair box, Physical Review A 76 (2007): 042319 的对象边界或反例路线对读。　最新NIST, FIPS 203–205 post-quantum cryptography standards (2024)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

量子卯项改变的不是术语外壳，而是旧问题的入账方式：因为肖尔算法一旦跑在足够大的容错机上，就能击破现行的公钥密码体系，防御侧不得不同步展开：2024 年，美国 NIST 正式发布首批后量子密码标准，全球开始在先存后解（今天截获、将来解密）的威胁下迁移到抗量子的算法。这是量子威胁倒逼出的、此刻就在进行的现实工程。

对量子卯项只提出一条单因主张：公开边界内可以独立复算，才允许把量子卯项方法搬到下一类对象。声望与经费只作环境量；如果量子卯项离开原作者补充就不能运行，结论仍是一次性工艺。量子卯项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子卯项旧边界，量子卯项来源层级也不能混写。量子卯项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续量子卯项路线也知道哪里走不通。

量子卯项的硬证据由 2018 年前后的原始工作给出：另一面是后量子密码：由于抗量子算法的标准已经发布，密码学一侧的应对不必等量子计算机造出来即可开始，而先存后解密的风险意味着长期机密必须现在就迁移。这形成一个有趣的局面——量子计算最确定的社会影响，已经在它具备实际能力之前发生了。 对量子卯项的复核分别记录对象规模、结构层级和误差分母；来源是 Endo, Benjamin & Li, Practical quantum error mitigation, Physical Review X 8 (2018): 031027。量子卯项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。

对量子卯项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起量子卯项效果。若量子卯项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。量子卯项再核一次：2018 年分母若换成量子卯项全部候选对象，方向必须重算；未满足量子卯项条件的对象逐项留下。

量子卯项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审量子卯项要询问谁进入分母、谁能独立重跑、量子卯项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 303 号批外证据提醒：量子卯项缺失对象不是零值；它未进入量子卯项账本，遗漏率须随主结果发表。

量子卯项在 2026 年与第 303 号《复分析与复几何》的证据边界、又与第 311 号《原子分子与光物理》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子卯项却警告核验者会随层级上升而减少；应比较量子卯项可复算对象／全部候选对象。量子卯项外推要报告复算成功对象／全部尝试对象；只列成功会把量子卯项失败分母压零，方向随即失真。

位置S——它把“另一面的定义、变换与边界”当成单独够用的那一样　单因决定另一面能否迁移的只有结论是否在公开边界内可复算　预设〔18 干预不回写到被干预者〕另一面在已发表样本上的方向可以代表全部候选对象　量纲在另一面的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，另一面的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子卯项在 2018 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在另一面中产生阴性结果的对象　异名第 303 号《复分析与复几何》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

七、误差缓解：不纠错也要付可见的采样账Quantum Error Mitigation

提出Saffman, Quantum computing with atomic qubits and Rydberg interactions, Journal of Physics B 49 (2016): 202001。　争议与 Fowler et al., Surface codes: Towards practical large-scale quantum computation, Physical Review A 86 (2012): 032324 的对象边界或反例路线对读。　最新Google Quantum AI, Quantum error correction below the surface-code threshold, Nature 2025。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在量子辰项这条线上，过去卡住的是：零噪声外推、概率误差消除和虚拟蒸馏可改善期望值，但无偏估计常以方差爆炸换取。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的量子辰项必须让三类记录同时可见。量子辰项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续量子辰项路线也知道哪里走不通。

量子辰项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释量子辰项的正确性；若量子辰项增加抽象层级却减少可重做者，接口扩张就没有被证成。量子辰项再核一次：2016 年分母若换成量子辰项全部候选对象，方向必须重算；未满足量子辰项条件的对象逐项留下。

量子辰项的硬证据由 2016 年前后的原始工作给出：缓解后偏差／原偏差、方差放大倍数、额外线路数／原线路数决定是否值得。 对量子辰项的复核分别记录对象规模、结构层级和误差分母；来源是 Saffman, Quantum computing with atomic qubits and Rydberg interactions, Journal of Physics B 49 (2016): 202001。量子辰项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。量子辰项定义更精细若伴随复核人数下降，就不能把量子辰项层级增加写成可靠性增加；两条趋势分开画线。

量子辰项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满量子辰项分母，新障碍就会迟到。反例对量子辰项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。量子辰项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子辰项旧边界，量子辰项来源层级也不能混写。量子辰项还应公开最小复算材料；材料不足时，量子辰项的引用增长只测传播，不测正确性或可迁移性。

让量子辰项成为公共工艺，需要样例留版本、量子辰项依赖树可追踪、计算带证书、参数保留原始记录。量子辰项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 304 号批外证据提醒：量子辰项缺失对象不是零值；它未进入量子辰项账本，遗漏率须随主结果发表。

量子辰项在 2026 年与第 304 号《可计算性与递归论》的证据边界、又与第 315 号《表面与界面物理》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子辰项却警告核验者会随层级上升而减少；应比较量子辰项可复算对象／全部候选对象。量子辰项外推要报告复算成功对象／全部尝试对象；只列成功会把量子辰项失败分母压零，方向随即失真。

位置D——它把“误差缓解的定义、变换与边界”当成单独够用的那一样　单因决定误差缓解能否迁移的只有结论是否在公开边界内可复算　预设〔18 干预不回写到被干预者〕误差缓解在已发表样本上的方向可以代表全部候选对象　量纲在误差缓解的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，误差缓解的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子辰项在 2016 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在误差缓解中产生阴性结果的对象　异名第 304 号《可计算性与递归论》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

八、逻辑量子比特：物理错误越低，逻辑错误才应继续下降Logical Qubits

提出Monroe et al., Large-scale modular quantum-computer architecture with atomic memory, Physical Review A 89 (2014): 022317。　争议与 Magesan, Gambetta & Emerson, Scalable and robust randomized benchmarking, Physical Review Letters 106 (2011): 180504 的对象边界或反例路线对读。　最新Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解量子巳项要先拆一个旧混合量：表面码与重复码实验开始展示随码距增大逻辑错误率下降，器件是否越做越好终于有反号判据。 原体例把发现、证明与推广写在同一行，导致量子巳项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。量子巳项定义更精细若伴随复核人数下降，就不能把量子巳项层级增加写成可靠性增加；两条趋势分开画线。

量子巳项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替量子巳项。只要量子巳项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。量子巳项再核一次：2014 年分母若换成量子巳项全部候选对象，方向必须重算；未满足量子巳项条件的对象逐项留下。量子巳项还应公开最小复算材料；材料不足时，量子巳项的引用增长只测传播，不测正确性或可迁移性。

量子巳项的硬证据由 2014 年前后的原始工作给出：码距 d+2 与 d 的逻辑错误率之比、每逻辑比特物理比特数是越阈值的直接读数。 对量子巳项的复核分别记录对象规模、结构层级和误差分母；来源是 Monroe et al., Large-scale modular quantum-computer architecture with atomic memory, Physical Review A 89 (2014): 022317。量子巳项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。量子巳项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续量子巳项路线也知道哪里走不通。

对量子巳项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起量子巳项效果。若量子巳项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。量子巳项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子巳项旧边界，量子巳项来源层级也不能混写。

量子巳项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审量子巳项要询问谁进入分母、谁能独立重跑、量子巳项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 306 号批外证据提醒：量子巳项缺失对象不是零值；它未进入量子巳项账本，遗漏率须随主结果发表。

量子巳项在 2026 年与第 306 号《生物统计学》的证据边界、又与第 316 号《磁学与自旋电子学》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子巳项却警告核验者会随层级上升而减少；应比较量子巳项可复算对象／全部候选对象。量子巳项外推要报告复算成功对象／全部尝试对象；只列成功会把量子巳项失败分母压零，方向随即失真。

位置E——它把“逻辑量子比特的定义、变换与边界”当成单独够用的那一样　单因决定逻辑量子比特能否迁移的只有结论是否在公开边界内可复算　预设〔20 窗口内稳定＝长期稳定〕逻辑量子比特在已发表样本上的方向可以代表全部候选对象　量纲在逻辑量子比特的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，逻辑量子比特的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子巳项在 2014 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在逻辑量子比特中产生阴性结果的对象　异名第 306 号《生物统计学》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

九、中性原子阵列：可重排几何变成算法资源Neutral-Atom Quantum Processors

提出Huang, Kueng & Preskill, Predicting many properties of a quantum system from very few measurements, Nature Physics 16 (2020): 1050–1057。　争议与 Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79 的对象边界或反例路线对读。　最新NIST, FIPS 203–205 post-quantum cryptography standards (2024)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

围绕量子午项，旧账的堵点是：Rydberg 阻塞、光镊重排和大规模阵列让连接图可按问题生成，模拟与数字门路线汇合。 早期论证常把成功对象当成全体，让量子午项的例外留在定义之外；本条先把纳入对象、关键变换与失败对象分开，避免用一个漂亮案例替整个问题族作证。量子午项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续量子午项路线也知道哪里走不通。

量子午项这里只锁定一个因素：结论能否从示范例迁移到写明边界的对象族。人才、算力和学派扩散不塞进量子午项的同一解释；若第三方只能复述量子午项结果却不能重做变换，所谓迁移就尚未发生。第 307 号批外证据提醒：量子午项缺失对象不是零值；它未进入量子午项账本，遗漏率须随主结果发表。

量子午项的硬证据由 2020 年前后的原始工作给出：装载后无缺陷原子数／目标阵列、两量子比特门保真度、重排时间／相干时间共同决定有效规模。 对量子午项的复核分别记录对象规模、结构层级和误差分母；来源是 Huang, Kueng & Preskill, Predicting many properties of a quantum system from very few measurements, Nature Physics 16 (2020): 1050–1057。量子午项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。量子午项定义更精细若伴随复核人数下降，就不能把量子午项层级增加写成可靠性增加；两条趋势分开画线。

量子午项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满量子午项分母，新障碍就会迟到。反例对量子午项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。量子午项再核一次：2020 年分母若换成量子午项全部候选对象，方向必须重算；未满足量子午项条件的对象逐项留下。

让量子午项成为公共工艺，需要样例留版本、量子午项依赖树可追踪、计算带证书、参数保留原始记录。量子午项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。量子午项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子午项旧边界，量子午项来源层级也不能混写。量子午项还应公开最小复算材料；材料不足时，量子午项的引用增长只测传播，不测正确性或可迁移性。

量子午项在 2026 年与第 307 号《贝叶斯统计与计算》的证据边界、又与第 319 号《计算物理与多尺度模拟》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子午项却警告核验者会随层级上升而减少；应比较量子午项可复算对象／全部候选对象。量子午项外推要报告复算成功对象／全部尝试对象；只列成功会把量子午项失败分母压零，方向随即失真。

位置S——它把“中性原子阵列的定义、变换与边界”当成单独够用的那一样　单因决定中性原子阵列能否迁移的只有结论是否在公开边界内可复算　预设〔20 窗口内稳定＝长期稳定〕中性原子阵列在已发表样本上的方向可以代表全部候选对象　量纲在中性原子阵列的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，中性原子阵列的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子午项在 2020 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在中性原子阵列中产生阴性结果的对象　异名第 307 号《贝叶斯统计与计算》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十、离子阱模块化：高保真与扩展速度必须同账Modular Trapped-Ion Architectures

提出NIST, Module-Lattice-Based Key-Encapsulation Mechanism Standard, FIPS 203 (2024)。　争议与 Harrow & Montanaro, Quantum computational supremacy, Nature 549 (2017): 203–209 的对象边界或反例路线对读。　最新Google Quantum AI, Quantum error correction below the surface-code threshold, Nature 2025。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

量子未项改变的不是术语外壳，而是旧问题的入账方式：离子阱提供高保真全连接门，但链长、加热和光学互连使扩展从单芯片转向模块网络。 若仍用单个定理、单台器件或单批数据结算，量子未项之外的反例会被成功叙事自动删去。这里把量子未项的对象范围、操作步骤和例外集合分别立账。量子未项还应公开最小复算材料；材料不足时，量子未项的引用增长只测传播，不测正确性或可迁移性。

对量子未项只提出一条单因主张：公开边界内可以独立复算，才允许把量子未项方法搬到下一类对象。声望与经费只作环境量；如果量子未项离开原作者补充就不能运行，结论仍是一次性工艺。量子未项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子未项旧边界，量子未项来源层级也不能混写。量子未项定义更精细若伴随复核人数下降，就不能把量子未项层级增加写成可靠性增加；两条趋势分开画线。

量子未项的硬证据由 2024 年前后的原始工作给出：双比特门保真度、每秒纠缠门数、跨模块 Bell 对生成率／本地门率是三种不同规模。 对量子未项的复核分别记录对象规模、结构层级和误差分母；来源是 NIST, Module-Lattice-Based Key-Encapsulation Mechanism Standard, FIPS 203 (2024)。量子未项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。量子未项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续量子未项路线也知道哪里走不通。

对量子未项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起量子未项效果。若量子未项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。量子未项再核一次：2024 年分母若换成量子未项全部候选对象，方向必须重算；未满足量子未项条件的对象逐项留下。

量子未项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审量子未项要询问谁进入分母、谁能独立重跑、量子未项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 308 号批外证据提醒：量子未项缺失对象不是零值；它未进入量子未项账本，遗漏率须随主结果发表。

量子未项在 2026 年与第 308 号《实验设计与抽样调查》的证据边界、又与第 587 号《网络科学》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子未项却警告核验者会随层级上升而减少；应比较量子未项可复算对象／全部候选对象。量子未项外推要报告复算成功对象／全部尝试对象；只列成功会把量子未项失败分母压零，方向随即失真。

位置D——它把“离子阱模块化的定义、变换与边界”当成单独够用的那一样　单因决定离子阱模块化能否迁移的只有结论是否在公开边界内可复算　预设〔20 窗口内稳定＝长期稳定〕离子阱模块化在已发表样本上的方向可以代表全部候选对象　量纲在离子阱模块化的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，离子阱模块化的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子未项在 2024 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在离子阱模块化中产生阴性结果的对象　异名第 308 号《实验设计与抽样调查》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十一、经典阴影：量子态不必完整层析也能回答许多问题Classical Shadows

提出NIST, Module-Lattice-Based Digital Signature Standard, FIPS 204 (2024)。　争议与 Gambetta, Chow & Steffen, Building logical qubits in a superconducting quantum computing system, npj Quantum Information 3 (2017): 2 的对象边界或反例路线对读。　最新Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

在量子申项这条线上，过去卡住的是：随机测量产生可复用的经典摘要，可同时估计大量可观测量，把完全层析的指数负担改成任务依赖样本量。 ‘已经解决’往往只描述中心情形，边缘对象、阴性读数和不收敛步骤没有共同分母；重写后的量子申项必须让三类记录同时可见。量子申项定义更精细若伴随复核人数下降，就不能把量子申项层级增加写成可靠性增加；两条趋势分开画线。

量子申项的决定变量被压到一项：对象、变换和失败域能否组成可迁移接口。此处不拿论文数解释量子申项的正确性；若量子申项增加抽象层级却减少可重做者，接口扩张就没有被证成。量子申项再核一次：2024 年分母若换成量子申项全部候选对象，方向必须重算；未满足量子申项条件的对象逐项留下。

量子申项的硬证据由 2024 年前后的原始工作给出：可观测量数 M、误差 ε 与 shadow norm 决定 shots；压缩率不能脱离要回答的问题。 对量子申项的复核分别记录对象规模、结构层级和误差分母；来源是 NIST, Module-Lattice-Based Digital Signature Standard, FIPS 204 (2024)。量子申项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。量子申项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续量子申项路线也知道哪里走不通。

量子申项最锋利的争议在外推：理想对象、低维近似或低噪声样本若占满量子申项分母，新障碍就会迟到。反例对量子申项可能只否定一种聚合次序，因此阴性参数区要保留，不能抹成空白。量子申项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子申项旧边界，量子申项来源层级也不能混写。量子申项还应公开最小复算材料；材料不足时，量子申项的引用增长只测传播，不测正确性或可迁移性。

让量子申项成为公共工艺，需要样例留版本、量子申项依赖树可追踪、计算带证书、参数保留原始记录。量子申项进入课程和数据库后，还应登记进入者、复核者与修正工时；2024 年更新才能同表比较。第 309 号批外证据提醒：量子申项缺失对象不是零值；它未进入量子申项账本，遗漏率须随主结果发表。

量子申项在 2026 年与第 309 号《时间序列与预测方法》的证据边界、又与第 590 号《不确定性量化》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子申项却警告核验者会随层级上升而减少；应比较量子申项可复算对象／全部候选对象。量子申项外推要报告复算成功对象／全部尝试对象；只列成功会把量子申项失败分母压零，方向随即失真。

位置E——它把“经典阴影的定义、变换与边界”当成单独够用的那一样　单因决定经典阴影能否迁移的只有结论是否在公开边界内可复算　预设〔28 记录存在即可核对〕经典阴影在已发表样本上的方向可以代表全部候选对象　量纲在经典阴影的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，经典阴影的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子申项在 2024 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在经典阴影中产生阴性结果的对象　异名第 309 号《时间序列与预测方法》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

十二、后量子密码迁移：量子风险先成为经典基础设施问题Post-Quantum Migration

提出Gidney & Ekerå, How to factor 2048-bit RSA integers in 8 hours using 20 million noisy qubits, Quantum 5 (2021): 433。　争议与 Arute et al., Quantum supremacy using a programmable superconducting processor, Nature 574 (2019): 505–510 的对象边界或反例路线对读。　最新NIST, FIPS 203–205 post-quantum cryptography standards (2024)。　关键主证据、争议边界与近年更新为三笔互异来源；任何一笔都不能代替另外两笔。

理解量子酉项要先拆一个旧混合量：Shor 算法尚无容错机器执行，NIST 已完成算法标准化；升级证书、硬件与协议成为现实工程。 原体例把发现、证明与推广写在同一行，导致量子酉项究竟强化结论、放宽范围还是降低成本无法区分；本条把三种方向拆开核算。量子酉项反例库保留失败参数与停止位置；2025 年结果因此可回查，后续量子酉项路线也知道哪里走不通。

量子酉项只把‘边界内可复算’视为单独够用的条件，不让规模、作者数或期刊级别代替量子酉项。只要量子酉项的定义域和失败域不能由外部研究者重建，本条即按未完成处理。量子酉项再核一次：2048 年分母若换成量子酉项全部候选对象，方向必须重算；未满足量子酉项条件的对象逐项留下。量子酉项还应公开最小复算材料；材料不足时，量子酉项的引用增长只测传播，不测正确性或可迁移性。

量子酉项的硬证据由 2048 年前后的原始工作给出：已替换加密端点／全部易受攻击端点、密钥与签名膨胀比、迁移停机时长是实际进度。 对量子酉项的复核分别记录对象规模、结构层级和误差分母；来源是 Gidney & Ekerå, How to factor 2048-bit RSA integers in 8 hours using 20 million noisy qubits, Quantum 5 (2021): 433。量子酉项这些数字回答覆盖、强度或成本，不能合成无量纲的‘突破值’。量子酉项定义更精细若伴随复核人数下降，就不能把量子酉项层级增加写成可靠性增加；两条趋势分开画线。

对量子酉项的反对意见主要质疑边界偷换：有限尺寸、精选样本或特殊正则性可能撑起量子酉项效果。若量子酉项越过条件后方向翻转，受损的是外推而非全部局部结论；反例应按条件归档。量子酉项与 2024–2026 年更新分开登记；晚近材料不能覆盖量子酉项旧边界，量子酉项来源层级也不能混写。

量子酉项要离开个人技艺，必须把样品、代码、证明依赖或计算输入做成带版本的公共对象。评审量子酉项要询问谁进入分母、谁能独立重跑、量子酉项一次修订耗时多少；2025 年更新不因更晚就自动更强。第 310 号批外证据提醒：量子酉项缺失对象不是零值；它未进入量子酉项账本，遗漏率须随主结果发表。

量子酉项在 2026 年与第 310 号《空间统计与地理统计》的证据边界、又与第 600 号《风险、安全与可靠性工程》的尺度转换相撞。两边共享‘表示越精细越可靠’，量子酉项却警告核验者会随层级上升而减少；应比较量子酉项可复算对象／全部候选对象。量子酉项外推要报告复算成功对象／全部尝试对象；只列成功会把量子酉项失败分母压零，方向随即失真。

位置S——它把“后量子密码迁移的定义、变换与边界”当成单独够用的那一样　单因决定后量子密码迁移能否迁移的只有结论是否在公开边界内可复算　预设〔28 记录存在即可核对〕后量子密码迁移在已发表样本上的方向可以代表全部候选对象　量纲在后量子密码迁移的有效边界内可复算结论数／全部被声称覆盖的结论数　失效当边界对象被系统排除时，后量子密码迁移的成功记录越多，未覆盖区域占真实问题的比例反而越高　自曝量子酉项在 2048 年原始工作中把适用条件写进定理、样本或器件参数；去掉该条件，核心推断没有被证明　空栏没有被定义、无法进入计算、未通过纳入条件或在后量子密码迁移中产生阴性结果的对象　异名第 310 号《空间统计与地理统计》称为“边界与分母错位”；另见该面板第二幕关于可迁移证据的条目

二十年连起来看

量子计算近二十年的真正转向，是把‘量子比特数’降格为原材料，把逻辑错误率、可验证任务、资源账本和经典基线升格为成品指标。 第一幕的八条主要改造问题、证明或实验的入口；第二幕十二条把入口连接到更高层结构、数据基础设施与公开核验。真正连续的不是术语，而是分母越来越明确、失败越来越能被定位。

这条时间线也说明“新”不能只按年份判断：早期思想若在 2016 年后才获得可计算对象、公开数据或实验阈值，它在第二幕仍然是新的工作方式；反之，2025 年出现而没有独立复核的结果，只能记为候选。

三个常见误解

第一，把一个著名定理或器件当成全领域；本页用二十条是为了显示方法、边界和基础设施同样构成转向。第二，把计算规模当可靠性；规模不修复选择偏差、定义漂移与样品差异。第三，把尚未解决解释为没有进步；许多最重要的进展是把错误路线排除、把失败区画清。

与相邻领域的接口

与第 53 号《现代密码学》的接口在可计算表示：同一个对象换表示后，能否保留结构与误差。与第 304 号《可计算性与递归论》的接口在证据聚合：局部读数怎样进入整体判断而不抹平异常。两处都要求先公开分母，再谈统一。

争议现场

量子信息与量子计算当前最实质的争议不是“传统还是创新”，而是超长证明、复杂计算或高门槛实验怎样获得共同体信任。一方强调专家链式核验足够，另一方要求机器证书、原始数据和独立复制。可判标准是关键结论能否在不依赖原作者口头补充的情况下重做。

第二个争议围绕边界：统一语言提高迁移速度，却可能把不适配对象排出可见范围。每一条因此都保留“空栏”和“自曝”；若异常只在论文之外出现，统一就只是整理成功案例。

往下五年看什么

观察三件事：第一，2024–2026 年的候选结果能否形成第二个独立证明或复现实验；第二，数据库、软件和样品链能否保存阴性记录；第三，年轻研究者是否能在更短依赖路径上进入前沿。若三项只增长论文数而不降低复核成本，基础设施仍未成熟。

可与哪些领域对撞

量子信息与量子计算与第 600 号《风险、安全与可靠性工程》共享“通过检查即可信”的前提；前者用证明、计算或样品链，后者用失效模式。相反方向是：形式检查越密，未建模的共同原因失效反而可能越隐蔽。新矛盾是如何为数学与物理结果建立类似事故调查的阴性档案。

它还可撞第 297 号《科技政策与科研管理》：一个领域追求真值，另一个领域分配注意、经费和声誉。两者都默认高影响结果值得优先复核；相反方向是越抢先的结果可供核验的时间越短。可测问题是撤回或重大修订之前的扩散速度／完成独立复核所需时间。

第三处跨类对撞是第 306 号《生物统计学》：那里担心样本进入分母，这里担心对象、定理或器件进入分母。共同前提是已记录对象代表候选总体；相反方向是可计算对象越多，难以表示的对象越可能永久缺席。

十条可做的研究命题

一，统计二十年内关键结果从预印本到独立核验的中位时间。二，把失败参数区公开与否作为解释后续复用率的变量。三，比较单人证明与团队证明的依赖树深度。四，测数据库扩容前后新猜想的类型是否收窄。五，建立来源三笔互异与重大修订率的前瞻登记。

六，用随机抽样复核软件、证明或样品链中的一条中间步骤。七，比较更高层抽象引入前后的新人训练年限。八，给“不可复算但被广泛引用”的结果建退出机制。九，测试跨领域迁移是否增加反例发现率。十，把阴性结果进入公共库的比例设为领域健康指标，并预先规定何时否定该指标。

资料核验

  1. Koch et al., Charge-insensitive qubit design derived from the Cooper pair box, Physical Review A 76 (2007): 042319
  2. Fowler et al., Surface codes: Towards practical large-scale quantum computation, Physical Review A 86 (2012): 032324
  3. Magesan, Gambetta & Emerson, Scalable and robust randomized benchmarking, Physical Review Letters 106 (2011): 180504
  4. Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79
  5. Harrow & Montanaro, Quantum computational supremacy, Nature 549 (2017): 203–209
  6. Gambetta, Chow & Steffen, Building logical qubits in a superconducting quantum computing system, npj Quantum Information 3 (2017): 2
  7. Arute et al., Quantum supremacy using a programmable superconducting processor, Nature 574 (2019): 505–510
  8. Pednault et al., Leveraging secondary storage to simulate deep 54-qubit Sycamore circuits, 2019 preprint
  9. McClean et al., Barren plateaus in quantum neural network training landscapes, Nature Communications 9 (2018): 4812
  10. Cerezo et al., Variational quantum algorithms, Nature Reviews Physics 3 (2021): 625–644
  11. Temme, Bravyi & Gambetta, Error mitigation for short-depth quantum circuits, Physical Review Letters 119 (2017): 180509
  12. Endo, Benjamin & Li, Practical quantum error mitigation, Physical Review X 8 (2018): 031027
  13. Google Quantum AI, Suppressing quantum errors by scaling a surface code logical qubit, Nature 614 (2023): 676–681
  14. Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65
  15. Saffman, Quantum computing with atomic qubits and Rydberg interactions, Journal of Physics B 49 (2016): 202001
  16. Monroe et al., Large-scale modular quantum-computer architecture with atomic memory, Physical Review A 89 (2014): 022317
  17. Huang, Kueng & Preskill, Predicting many properties of a quantum system from very few measurements, Nature Physics 16 (2020): 1050–1057
  18. NIST, Module-Lattice-Based Key-Encapsulation Mechanism Standard, FIPS 203 (2024)
  19. NIST, Module-Lattice-Based Digital Signature Standard, FIPS 204 (2024)
  20. Gidney & Ekerå, How to factor 2048-bit RSA integers in 8 hours using 20 million noisy qubits, Quantum 5 (2021): 433
  21. Bluvstein et al., Logical quantum processor based on reconfigurable atom arrays, Nature 626 (2024): 58–65
  22. NIST, FIPS 203–205 post-quantum cryptography standards (2024)
  23. Google Quantum AI, Quantum error correction below the surface-code threshold, Nature 2025

核验说明：文献表优先列原始论文、正式专著与同行评议综述；标注 preprint 或 manuscript 的条目尚未完成同行评议，只用于“最新”定位，不与已刊定理或实验同权。正文的数值与适用边界以所列来源为准。

【学科经典思想汇集部分】1950–2006 · 二十条经典思想

以下二十条是量子信息与量子计算在 1950 至 2006 年之间形成的经典思想，与上文近二十年的二十条合成一块面板的两层。经典层不做名人榜；每条都用具名原始材料和后续修订说明旧前提如何成立，又点名它在本块哪一条现代判断里继续被使用或反对。

经一、Bell 不等式Classic 01 · Quantum Information and Computing

提出John Bell，1964 年，Bell, On the Einstein Podolsky Rosen paradox, Physics Physique Fizika 1 (1964): 195–200。　流变Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 10th anniversary ed. (2010)随后把隐含分母改成可复算对象集，并把原始口径与后续推广分列。　今用本块八“逻辑量子比特：物理错误越低，逻辑错误才应继续下降”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键把局域隐变量与量子预测的分歧写成可实验检验的不等式；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1964年前后的Bell 不等式提出之前，量子信息与量子计算常把未解释部分留给更精细计算，失败对象与成功对象没有进入同一份账。John Bell提出Bell 不等式时没有只换一个术语，而是借重写尺度规定什么可以比较、什么读数会推翻解释。它的硬命题是把局域隐变量与量子预测的分歧写成可实验检验的不等式。这让检验Bell 不等式的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 10th anniversary ed. (2010)重新检查Bell 不等式，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块八“逻辑量子比特：物理错误越低，逻辑错误才应继续下降”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Bell 不等式便退回原始适用域；Bell 不等式的经典身份不能代替新的证据。

位置E——它把“Bell 不等式规定的重写尺度”当成单独够用的那一样　预设〔09 边界一次划定后保持稳定〕默认跨年代比较仍共享Bell 不等式的对象边界　量纲在共同口径下保住方向的Bell 不等式复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Bell 不等式的主要排序翻转，原结论只保留在1964年口径内　异名证据史称“Bell 不等式”，方法论称“重写尺度”；另见本块八“逻辑量子比特：物理错误越低，逻辑错误才应继续下降”

经二、Holevo 信息上界Classic 02 · Quantum Information and Computing

提出Alexander Holevo，1973 年，Holevo, Bounds for the quantity of information transmitted by a quantum communication channel, Problems of Information Transmission 9 (1973): 177–183。　流变Kitaev, Shen and Vyalyi, Classical and Quantum Computation, AMS (2002)随后区分仍成立的结构与已失效的解释，并把原始口径与后续推广分列。　今用本块丙“随机基准测试：一把公用的尺子”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键限制量子态集合可提取的经典信息不超过Holevo量；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1973年前后的Holevo 信息上界提出之前，量子信息与量子计算常把典型个案当成整体，失败对象与成功对象没有进入同一份账。Alexander Holevo提出Holevo 信息上界时没有只换一个术语，而是借划出边界规定什么可以比较、什么读数会推翻解释。它的硬命题是限制量子态集合可提取的经典信息不超过Holevo量。这让检验Holevo 信息上界的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Kitaev, Shen and Vyalyi, Classical and Quantum Computation, AMS (2002)重新检查Holevo 信息上界，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块丙“随机基准测试：一把公用的尺子”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Holevo 信息上界便退回原始适用域；Holevo 信息上界的经典身份不能代替新的证据。

位置S——它把“Holevo 信息上界规定的划出边界”当成单独够用的那一样　预设〔10 更多数据必然减少偏倚〕默认跨年代比较仍共享Holevo 信息上界的对象边界　量纲在共同口径下保住方向的Holevo 信息上界复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Holevo 信息上界的主要排序翻转，原结论只保留在1973年口径内　异名证据史称“Holevo 信息上界”，方法论称“划出边界”；另见本块丙“随机基准测试：一把公用的尺子”

经三、Feynman 量子模拟Classic 03 · Quantum Information and Computing

提出Richard Feynman，1982 年，Feynman, Simulating physics with computers, International Journal of Theoretical Physics 21 (1982): 467–488。　流变Ladd et al., Quantum computers, Nature 464 (2010): 45–53随后把原结论拆成适用域与推广域，并把原始口径与后续推广分列。　今用本块二“2019 的量子优越性及其争议”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键主张量子系统的通用高效模拟需要量子计算装置；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1982年前后的Feynman 量子模拟提出之前，量子信息与量子计算常把同名对象视为同一对象，失败对象与成功对象没有进入同一份账。Richard Feynman提出Feynman 量子模拟时没有只换一个术语，而是借定义对象规定什么可以比较、什么读数会推翻解释。它的硬命题是主张量子系统的通用高效模拟需要量子计算装置。这让检验Feynman 量子模拟的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Ladd et al., Quantum computers, Nature 464 (2010): 45–53重新检查Feynman 量子模拟，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块二“2019 的量子优越性及其争议”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Feynman 量子模拟便退回原始适用域；Feynman 量子模拟的经典身份不能代替新的证据。

位置D——它把“Feynman 量子模拟规定的定义对象”当成单独够用的那一样　预设〔11 可复现＝可重做〕默认跨年代比较仍共享Feynman 量子模拟的对象边界　量纲在共同口径下保住方向的Feynman 量子模拟复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Feynman 量子模拟的主要排序翻转，原结论只保留在1982年口径内　异名证据史称“Feynman 量子模拟”，方法论称“定义对象”；另见本块二“2019 的量子优越性及其争议”

经四、Wiesner 共轭编码Classic 04 · Quantum Information and Computing

提出Stephen Wiesner，1983 年，Wiesner, Conjugate coding, SIGACT News 15 (1983): 78–88。　流变Gottesman, An introduction to quantum error correction, AMS Proceedings of Symposia in Applied Mathematics 68 (2010): 13–58随后以反例和边界条件收窄普遍表述，并把原始口径与后续推广分列。　今用本块九“中性原子阵列：可重排几何变成算法资源”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键用不可同时读取的共轭基提出量子防伪与复用通信；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1983年前后的Wiesner 共轭编码提出之前，量子信息与量子计算常把有限样本直接外推到无限结构，失败对象与成功对象没有进入同一份账。Stephen Wiesner提出Wiesner 共轭编码时没有只换一个术语，而是借组织证据规定什么可以比较、什么读数会推翻解释。它的硬命题是用不可同时读取的共轭基提出量子防伪与复用通信。这让检验Wiesner 共轭编码的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Gottesman, An introduction to quantum error correction, AMS Proceedings of Symposia in Applied Mathematics 68 (2010): 13–58重新检查Wiesner 共轭编码，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块九“中性原子阵列：可重排几何变成算法资源”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Wiesner 共轭编码便退回原始适用域；Wiesner 共轭编码的经典身份不能代替新的证据。

位置E——它把“Wiesner 共轭编码规定的组织证据”当成单独够用的那一样　预设〔12 成本可外置而不改变结论〕默认跨年代比较仍共享Wiesner 共轭编码的对象边界　量纲在共同口径下保住方向的Wiesner 共轭编码复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Wiesner 共轭编码的主要排序翻转，原结论只保留在1983年口径内　异名证据史称“Wiesner 共轭编码”，方法论称“组织证据”；另见本块九“中性原子阵列：可重排几何变成算法资源”

经五、BB84 量子密钥分发Classic 05 · Quantum Information and Computing

提出Charles Bennett 与 Gilles Brassard，1984 年，Bennett and Brassard, Quantum cryptography, IEEE Bangalore proceedings (1984): 175–179。　流变Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79随后把隐含分母改成可复算对象集，并把原始口径与后续推广分列。　今用本块丁“算法这一侧的第一次降温”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键用非正交态和公开抽检把窃听转成可见误码；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1984年前后的BB84 量子密钥分发提出之前，量子信息与量子计算常把未解释部分留给更精细计算，失败对象与成功对象没有进入同一份账。Charles Bennett 与 Gilles Brassard提出BB84 量子密钥分发时没有只换一个术语，而是借重写尺度规定什么可以比较、什么读数会推翻解释。它的硬命题是用非正交态和公开抽检把窃听转成可见误码。这让检验BB84 量子密钥分发的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79重新检查BB84 量子密钥分发，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块丁“算法这一侧的第一次降温”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，BB84 量子密钥分发便退回原始适用域；BB84 量子密钥分发的经典身份不能代替新的证据。

位置S——它把“BB84 量子密钥分发规定的重写尺度”当成单独够用的那一样　预设〔13 时间尺度可自由压缩〕默认跨年代比较仍共享BB84 量子密钥分发的对象边界　量纲在共同口径下保住方向的BB84 量子密钥分发复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，BB84 量子密钥分发的主要排序翻转，原结论只保留在1984年口径内　异名证据史称“BB84 量子密钥分发”，方法论称“重写尺度”；另见本块丁“算法这一侧的第一次降温”

经六、Deutsch 通用量子机Classic 06 · Quantum Information and Computing

提出David Deutsch，1985 年，Deutsch, Quantum theory, the Church-Turing principle and the universal quantum computer, Proceedings of the Royal Society A 400 (1985): 97–117。　流变Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 10th anniversary ed. (2010)随后区分仍成立的结构与已失效的解释，并把原始口径与后续推广分列。　今用本块三“纠错阈值：纸上二十年的定理”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键定义可模拟任意有限量子系统的通用量子图灵机；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1985年前后的Deutsch 通用量子机提出之前，量子信息与量子计算常把典型个案当成整体，失败对象与成功对象没有进入同一份账。David Deutsch提出Deutsch 通用量子机时没有只换一个术语，而是借划出边界规定什么可以比较、什么读数会推翻解释。它的硬命题是定义可模拟任意有限量子系统的通用量子图灵机。这让检验Deutsch 通用量子机的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 10th anniversary ed. (2010)重新检查Deutsch 通用量子机，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块三“纠错阈值：纸上二十年的定理”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Deutsch 通用量子机便退回原始适用域；Deutsch 通用量子机的经典身份不能代替新的证据。

位置D——它把“Deutsch 通用量子机规定的划出边界”当成单独够用的那一样　预设〔14 因与果的方向是给定的〕默认跨年代比较仍共享Deutsch 通用量子机的对象边界　量纲在共同口径下保住方向的Deutsch 通用量子机复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Deutsch 通用量子机的主要排序翻转，原结论只保留在1985年口径内　异名证据史称“Deutsch 通用量子机”，方法论称“划出边界”；另见本块三“纠错阈值：纸上二十年的定理”

经七、Deutsch 量子线路模型Classic 07 · Quantum Information and Computing

提出David Deutsch，1989 年，Deutsch, Quantum computational networks, Proceedings of the Royal Society A 425 (1989): 73–90。　流变Kitaev, Shen and Vyalyi, Classical and Quantum Computation, AMS (2002)随后把原结论拆成适用域与推广域，并把原始口径与后续推广分列。　今用本块十“离子阱模块化：高保真与扩展速度必须同账”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键把量子计算组织成局部门与量子线路的组合；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1989年前后的Deutsch 量子线路模型提出之前，量子信息与量子计算常把同名对象视为同一对象，失败对象与成功对象没有进入同一份账。David Deutsch提出Deutsch 量子线路模型时没有只换一个术语，而是借定义对象规定什么可以比较、什么读数会推翻解释。它的硬命题是把量子计算组织成局部门与量子线路的组合。这让检验Deutsch 量子线路模型的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Kitaev, Shen and Vyalyi, Classical and Quantum Computation, AMS (2002)重新检查Deutsch 量子线路模型，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块十“离子阱模块化：高保真与扩展速度必须同账”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Deutsch 量子线路模型便退回原始适用域；Deutsch 量子线路模型的经典身份不能代替新的证据。

位置E——它把“Deutsch 量子线路模型规定的定义对象”当成单独够用的那一样　预设〔15 同名即同物〕默认跨年代比较仍共享Deutsch 量子线路模型的对象边界　量纲在共同口径下保住方向的Deutsch 量子线路模型复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Deutsch 量子线路模型的主要排序翻转，原结论只保留在1989年口径内　异名证据史称“Deutsch 量子线路模型”，方法论称“定义对象”；另见本块十“离子阱模块化：高保真与扩展速度必须同账”

经八、量子隐形传态Classic 08 · Quantum Information and Computing

提出Bennett 等，1993 年，Bennett et al., Teleporting an unknown quantum state, Physical Review Letters 70 (1993): 1895–1899。　流变Ladd et al., Quantum computers, Nature 464 (2010): 45–53随后以反例和边界条件收窄普遍表述，并把原始口径与后续推广分列。　今用本块戊“判据被提前定下来”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键用共享纠缠与两个经典比特传输未知量子态；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1993年前后的量子隐形传态提出之前，量子信息与量子计算常把有限样本直接外推到无限结构，失败对象与成功对象没有进入同一份账。Bennett 等提出量子隐形传态时没有只换一个术语，而是借组织证据规定什么可以比较、什么读数会推翻解释。它的硬命题是用共享纠缠与两个经典比特传输未知量子态。这让检验量子隐形传态的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Ladd et al., Quantum computers, Nature 464 (2010): 45–53重新检查量子隐形传态，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块戊“判据被提前定下来”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，量子隐形传态便退回原始适用域；量子隐形传态的经典身份不能代替新的证据。

位置S——它把“量子隐形传态规定的组织证据”当成单独够用的那一样　预设〔16 稀有与常见服从同一机制〕默认跨年代比较仍共享量子隐形传态的对象边界　量纲在共同口径下保住方向的量子隐形传态复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，量子隐形传态的主要排序翻转，原结论只保留在1993年口径内　异名证据史称“量子隐形传态”，方法论称“组织证据”；另见本块戊“判据被提前定下来”

经九、Shor 因数分解算法Classic 09 · Quantum Information and Computing

提出Peter Shor，1994 年，Shor, Algorithms for quantum computation, FOCS proceedings (1994): 124–134。　流变Gottesman, An introduction to quantum error correction, AMS Proceedings of Symposia in Applied Mathematics 68 (2010): 13–58随后把隐含分母改成可复算对象集，并把原始口径与后续推广分列。　今用本块四“Willow：阈值第一次被跨过”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键用量子傅里叶变换在多项式时间求周期并分解整数；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1994年前后的Shor 因数分解算法提出之前，量子信息与量子计算常把未解释部分留给更精细计算，失败对象与成功对象没有进入同一份账。Peter Shor提出Shor 因数分解算法时没有只换一个术语，而是借重写尺度规定什么可以比较、什么读数会推翻解释。它的硬命题是用量子傅里叶变换在多项式时间求周期并分解整数。这让检验Shor 因数分解算法的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Gottesman, An introduction to quantum error correction, AMS Proceedings of Symposia in Applied Mathematics 68 (2010): 13–58重新检查Shor 因数分解算法，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块四“Willow：阈值第一次被跨过”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Shor 因数分解算法便退回原始适用域；Shor 因数分解算法的经典身份不能代替新的证据。

位置D——它把“Shor 因数分解算法规定的重写尺度”当成单独够用的那一样　预设〔17 局部最优可加总为整体最优〕默认跨年代比较仍共享Shor 因数分解算法的对象边界　量纲在共同口径下保住方向的Shor 因数分解算法复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Shor 因数分解算法的主要排序翻转，原结论只保留在1994年口径内　异名证据史称“Shor 因数分解算法”，方法论称“重写尺度”；另见本块四“Willow：阈值第一次被跨过”

经十、Cirac–Zoller 离子阱门Classic 10 · Quantum Information and Computing

提出Juan Cirac 与 Peter Zoller，1995 年，Cirac and Zoller, Quantum computations with cold trapped ions, Physical Review Letters 74 (1995): 4091–4094。　流变Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79随后区分仍成立的结构与已失效的解释，并把原始口径与后续推广分列。　今用本块十一“经典阴影：量子态不必完整层析也能回答许多问题”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键用共享振动模在囚禁离子间实现受控量子门；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1995年前后的Cirac–Zoller 离子阱门提出之前，量子信息与量子计算常把典型个案当成整体，失败对象与成功对象没有进入同一份账。Juan Cirac 与 Peter Zoller提出Cirac–Zoller 离子阱门时没有只换一个术语，而是借划出边界规定什么可以比较、什么读数会推翻解释。它的硬命题是用共享振动模在囚禁离子间实现受控量子门。这让检验Cirac–Zoller 离子阱门的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79重新检查Cirac–Zoller 离子阱门，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块十一“经典阴影：量子态不必完整层析也能回答许多问题”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Cirac–Zoller 离子阱门便退回原始适用域；Cirac–Zoller 离子阱门的经典身份不能代替新的证据。

位置E——它把“Cirac–Zoller 离子阱门规定的划出边界”当成单独够用的那一样　预设〔18 干预不回写到被干预者〕默认跨年代比较仍共享Cirac–Zoller 离子阱门的对象边界　量纲在共同口径下保住方向的Cirac–Zoller 离子阱门复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Cirac–Zoller 离子阱门的主要排序翻转，原结论只保留在1995年口径内　异名证据史称“Cirac–Zoller 离子阱门”，方法论称“划出边界”；另见本块十一“经典阴影：量子态不必完整层析也能回答许多问题”

经十一、Shor 九量子比特码Classic 11 · Quantum Information and Computing

提出Peter Shor，1995 年，Shor, Scheme for reducing decoherence in quantum computer memory, Physical Review A 52 (1995): R2493–R2496。　流变Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 10th anniversary ed. (2010)随后把原结论拆成适用域与推广域，并把原始口径与后续推广分列。　今用本块己“从实验室走向工程组织”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键证明未知量子态的任意单比特误差可被综合纠正；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1995年前后的Shor 九量子比特码提出之前，量子信息与量子计算常把同名对象视为同一对象，失败对象与成功对象没有进入同一份账。Peter Shor提出Shor 九量子比特码时没有只换一个术语，而是借定义对象规定什么可以比较、什么读数会推翻解释。它的硬命题是证明未知量子态的任意单比特误差可被综合纠正。这让检验Shor 九量子比特码的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 10th anniversary ed. (2010)重新检查Shor 九量子比特码，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块己“从实验室走向工程组织”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Shor 九量子比特码便退回原始适用域；Shor 九量子比特码的经典身份不能代替新的证据。

位置S——它把“Shor 九量子比特码规定的定义对象”当成单独够用的那一样　预设〔19 类别互斥且穷尽〕默认跨年代比较仍共享Shor 九量子比特码的对象边界　量纲在共同口径下保住方向的Shor 九量子比特码复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Shor 九量子比特码的主要排序翻转，原结论只保留在1995年口径内　异名证据史称“Shor 九量子比特码”，方法论称“定义对象”；另见本块己“从实验室走向工程组织”

经十二、Steane 七量子比特码Classic 12 · Quantum Information and Computing

提出Andrew Steane，1996 年，Steane, Error correcting quantum code, Physical Review Letters 77 (1996): 793–797。　流变Kitaev, Shen and Vyalyi, Classical and Quantum Computation, AMS (2002)随后以反例和边界条件收窄普遍表述，并把原始口径与后续推广分列。　今用本块五“群雄与多条技术路线”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键用经典Hamming码结构同时纠正比特翻转与相位翻转；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1996年前后的Steane 七量子比特码提出之前，量子信息与量子计算常把有限样本直接外推到无限结构，失败对象与成功对象没有进入同一份账。Andrew Steane提出Steane 七量子比特码时没有只换一个术语，而是借组织证据规定什么可以比较、什么读数会推翻解释。它的硬命题是用经典Hamming码结构同时纠正比特翻转与相位翻转。这让检验Steane 七量子比特码的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Kitaev, Shen and Vyalyi, Classical and Quantum Computation, AMS (2002)重新检查Steane 七量子比特码，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块五“群雄与多条技术路线”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Steane 七量子比特码便退回原始适用域；Steane 七量子比特码的经典身份不能代替新的证据。

位置D——它把“Steane 七量子比特码规定的组织证据”当成单独够用的那一样　预设〔20 窗口内稳定＝长期稳定〕默认跨年代比较仍共享Steane 七量子比特码的对象边界　量纲在共同口径下保住方向的Steane 七量子比特码复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Steane 七量子比特码的主要排序翻转，原结论只保留在1996年口径内　异名证据史称“Steane 七量子比特码”，方法论称“组织证据”；另见本块五“群雄与多条技术路线”

经十三、Grover 搜索算法Classic 13 · Quantum Information and Computing

提出Lov Grover，1996 年，Grover, A fast quantum mechanical algorithm for database search, STOC proceedings (1996): 212–219。　流变Ladd et al., Quantum computers, Nature 464 (2010): 45–53随后把隐含分母改成可复算对象集，并把原始口径与后续推广分列。　今用本块十二“后量子密码迁移：量子风险先成为经典基础设施问题”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键把无结构搜索查询复杂度从线性降到平方根；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1996年前后的Grover 搜索算法提出之前，量子信息与量子计算常把未解释部分留给更精细计算，失败对象与成功对象没有进入同一份账。Lov Grover提出Grover 搜索算法时没有只换一个术语，而是借重写尺度规定什么可以比较、什么读数会推翻解释。它的硬命题是把无结构搜索查询复杂度从线性降到平方根。这让检验Grover 搜索算法的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Ladd et al., Quantum computers, Nature 464 (2010): 45–53重新检查Grover 搜索算法，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块十二“后量子密码迁移：量子风险先成为经典基础设施问题”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Grover 搜索算法便退回原始适用域；Grover 搜索算法的经典身份不能代替新的证据。

位置E——它把“Grover 搜索算法规定的重写尺度”当成单独够用的那一样　预设〔01 谁进入分母〕默认跨年代比较仍共享Grover 搜索算法的对象边界　量纲在共同口径下保住方向的Grover 搜索算法复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Grover 搜索算法的主要排序翻转，原结论只保留在1996年口径内　异名证据史称“Grover 搜索算法”，方法论称“重写尺度”；另见本块十二“后量子密码迁移：量子风险先成为经典基础设施问题”

经十四、Kitaev 拓扑量子码Classic 14 · Quantum Information and Computing

提出Alexei Kitaev，1997 年，Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics 303 (2003): 2–30; preprint 1997。　流变Gottesman, An introduction to quantum error correction, AMS Proceedings of Symposia in Applied Mathematics 68 (2010): 13–58随后区分仍成立的结构与已失效的解释，并把原始口径与后续推广分列。　今用本块庚“玻色采样：不通用装置也能挑战经典采样”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键把逻辑信息编码进二维拓扑简并以抵抗局域噪声；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1997年前后的Kitaev 拓扑量子码提出之前，量子信息与量子计算常把典型个案当成整体，失败对象与成功对象没有进入同一份账。Alexei Kitaev提出Kitaev 拓扑量子码时没有只换一个术语，而是借划出边界规定什么可以比较、什么读数会推翻解释。它的硬命题是把逻辑信息编码进二维拓扑简并以抵抗局域噪声。这让检验Kitaev 拓扑量子码的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Gottesman, An introduction to quantum error correction, AMS Proceedings of Symposia in Applied Mathematics 68 (2010): 13–58重新检查Kitaev 拓扑量子码，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块庚“玻色采样：不通用装置也能挑战经典采样”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Kitaev 拓扑量子码便退回原始适用域；Kitaev 拓扑量子码的经典身份不能代替新的证据。

位置S——它把“Kitaev 拓扑量子码规定的划出边界”当成单独够用的那一样　预设〔02 单一读数代表复杂对象〕默认跨年代比较仍共享Kitaev 拓扑量子码的对象边界　量纲在共同口径下保住方向的Kitaev 拓扑量子码复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Kitaev 拓扑量子码的主要排序翻转，原结论只保留在1997年口径内　异名证据史称“Kitaev 拓扑量子码”，方法论称“划出边界”；另见本块庚“玻色采样：不通用装置也能挑战经典采样”

经十五、量子容错阈值定理Classic 15 · Quantum Information and Computing

提出Dorit Aharonov 与 Michael Ben-Or，1997 年，Aharonov and Ben-Or, Fault-tolerant quantum computation with constant error, STOC proceedings (1997): 176–188。　流变Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79随后把原结论拆成适用域与推广域，并把原始口径与后续推广分列。　今用本块六“另一面：后量子密码”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键证明物理误差低于常数阈值即可任意延长可靠计算；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1997年前后的量子容错阈值定理提出之前，量子信息与量子计算常把同名对象视为同一对象，失败对象与成功对象没有进入同一份账。Dorit Aharonov 与 Michael Ben-Or提出量子容错阈值定理时没有只换一个术语，而是借定义对象规定什么可以比较、什么读数会推翻解释。它的硬命题是证明物理误差低于常数阈值即可任意延长可靠计算。这让检验量子容错阈值定理的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79重新检查量子容错阈值定理，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块六“另一面：后量子密码”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，量子容错阈值定理便退回原始适用域；量子容错阈值定理的经典身份不能代替新的证据。

位置D——它把“量子容错阈值定理规定的定义对象”当成单独够用的那一样　预设〔03 有限近似控制无限对象〕默认跨年代比较仍共享量子容错阈值定理的对象边界　量纲在共同口径下保住方向的量子容错阈值定理复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，量子容错阈值定理的主要排序翻转，原结论只保留在1997年口径内　异名证据史称“量子容错阈值定理”，方法论称“定义对象”；另见本块六“另一面：后量子密码”

经十六、Loss–DiVincenzo 自旋量子比特Classic 16 · Quantum Information and Computing

提出Daniel Loss 与 David DiVincenzo，1998 年，Loss and DiVincenzo, Quantum computation with quantum dots, Physical Review A 57 (1998): 120–126。　流变Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 10th anniversary ed. (2010)随后以反例和边界条件收窄普遍表述，并把原始口径与后续推广分列。　今用本块甲“从「造得出」到「活得住」”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键用量子点单电子自旋与交换作用实现量子门；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1998年前后的Loss–DiVincenzo 自旋量子比特提出之前，量子信息与量子计算常把有限样本直接外推到无限结构，失败对象与成功对象没有进入同一份账。Daniel Loss 与 David DiVincenzo提出Loss–DiVincenzo 自旋量子比特时没有只换一个术语，而是借组织证据规定什么可以比较、什么读数会推翻解释。它的硬命题是用量子点单电子自旋与交换作用实现量子门。这让检验Loss–DiVincenzo 自旋量子比特的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 10th anniversary ed. (2010)重新检查Loss–DiVincenzo 自旋量子比特，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块甲“从「造得出」到「活得住」”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Loss–DiVincenzo 自旋量子比特便退回原始适用域；Loss–DiVincenzo 自旋量子比特的经典身份不能代替新的证据。

位置E——它把“Loss–DiVincenzo 自旋量子比特规定的组织证据”当成单独够用的那一样　预设〔04 测量不改变被测对象〕默认跨年代比较仍共享Loss–DiVincenzo 自旋量子比特的对象边界　量纲在共同口径下保住方向的Loss–DiVincenzo 自旋量子比特复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Loss–DiVincenzo 自旋量子比特的主要排序翻转，原结论只保留在1998年口径内　异名证据史称“Loss–DiVincenzo 自旋量子比特”，方法论称“组织证据”；另见本块甲“从「造得出」到「活得住」”

经十七、超导电荷量子比特Classic 17 · Quantum Information and Computing

提出Yasunobu Nakamura 等，1999 年，Nakamura, Pashkin and Tsai, Coherent control of macroscopic quantum states, Nature 398 (1999): 786–788。　流变Kitaev, Shen and Vyalyi, Classical and Quantum Computation, AMS (2002)随后把隐含分母改成可复算对象集，并把原始口径与后续推广分列。　今用本块辛“数字量子模拟：Trotter 误差、门误差与物理误差三账并立”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键首次展示超导电荷态的相干控制振荡；可撤回条件是对象、分母或尺度变化后方向不再保持。

在1999年前后的超导电荷量子比特提出之前，量子信息与量子计算常把未解释部分留给更精细计算，失败对象与成功对象没有进入同一份账。Yasunobu Nakamura 等提出超导电荷量子比特时没有只换一个术语，而是借重写尺度规定什么可以比较、什么读数会推翻解释。它的硬命题是首次展示超导电荷态的相干控制振荡。这让检验超导电荷量子比特的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Kitaev, Shen and Vyalyi, Classical and Quantum Computation, AMS (2002)重新检查超导电荷量子比特，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块辛“数字量子模拟：Trotter 误差、门误差与物理误差三账并立”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，超导电荷量子比特便退回原始适用域；超导电荷量子比特的经典身份不能代替新的证据。

位置S——它把“超导电荷量子比特规定的重写尺度”当成单独够用的那一样　预设〔05 平均值代表个体〕默认跨年代比较仍共享超导电荷量子比特的对象边界　量纲在共同口径下保住方向的超导电荷量子比特复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，超导电荷量子比特的主要排序翻转，原结论只保留在1999年口径内　异名证据史称“超导电荷量子比特”，方法论称“重写尺度”；另见本块辛“数字量子模拟：Trotter 误差、门误差与物理误差三账并立”

经十八、DiVincenzo 工程判据Classic 18 · Quantum Information and Computing

提出David DiVincenzo，2000 年，DiVincenzo, The physical implementation of quantum computation, Fortschritte der Physik 48 (2000): 771–783。　流变Ladd et al., Quantum computers, Nature 464 (2010): 45–53随后区分仍成立的结构与已失效的解释，并把原始口径与后续推广分列。　今用本块七“误差缓解：不纠错也要付可见的采样账”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键把可扩展量子机压成初始化控制读出相干等判据；可撤回条件是对象、分母或尺度变化后方向不再保持。

在2000年前后的DiVincenzo 工程判据提出之前，量子信息与量子计算常把典型个案当成整体，失败对象与成功对象没有进入同一份账。David DiVincenzo提出DiVincenzo 工程判据时没有只换一个术语，而是借划出边界规定什么可以比较、什么读数会推翻解释。它的硬命题是把可扩展量子机压成初始化控制读出相干等判据。这让检验DiVincenzo 工程判据的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Ladd et al., Quantum computers, Nature 464 (2010): 45–53重新检查DiVincenzo 工程判据，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块七“误差缓解：不纠错也要付可见的采样账”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，DiVincenzo 工程判据便退回原始适用域；DiVincenzo 工程判据的经典身份不能代替新的证据。

位置D——它把“DiVincenzo 工程判据规定的划出边界”当成单独够用的那一样　预设〔06 聚合次序不影响结论〕默认跨年代比较仍共享DiVincenzo 工程判据的对象边界　量纲在共同口径下保住方向的DiVincenzo 工程判据复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，DiVincenzo 工程判据的主要排序翻转，原结论只保留在2000年口径内　异名证据史称“DiVincenzo 工程判据”，方法论称“划出边界”；另见本块七“误差缓解：不纠错也要付可见的采样账”

经十九、Nielsen–Chuang 共同语言Classic 19 · Quantum Information and Computing

提出Michael Nielsen 与 Isaac Chuang，2000 年，Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press (2000)。　流变Gottesman, An introduction to quantum error correction, AMS Proceedings of Symposia in Applied Mathematics 68 (2010): 13–58随后把原结论拆成适用域与推广域，并把原始口径与后续推广分列。　今用本块乙“表面码成为共识”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键统一量子算法信息纠错与物理实现的记号和基准；可撤回条件是对象、分母或尺度变化后方向不再保持。

在2000年前后的Nielsen–Chuang 共同语言提出之前，量子信息与量子计算常把同名对象视为同一对象，失败对象与成功对象没有进入同一份账。Michael Nielsen 与 Isaac Chuang提出Nielsen–Chuang 共同语言时没有只换一个术语，而是借定义对象规定什么可以比较、什么读数会推翻解释。它的硬命题是统一量子算法信息纠错与物理实现的记号和基准。这让检验Nielsen–Chuang 共同语言的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Gottesman, An introduction to quantum error correction, AMS Proceedings of Symposia in Applied Mathematics 68 (2010): 13–58重新检查Nielsen–Chuang 共同语言，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块乙“表面码成为共识”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，Nielsen–Chuang 共同语言便退回原始适用域；Nielsen–Chuang 共同语言的经典身份不能代替新的证据。

位置E——它把“Nielsen–Chuang 共同语言规定的定义对象”当成单独够用的那一样　预设〔07 效果可由参与者自己评定〕默认跨年代比较仍共享Nielsen–Chuang 共同语言的对象边界　量纲在共同口径下保住方向的Nielsen–Chuang 共同语言复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，Nielsen–Chuang 共同语言的主要排序翻转，原结论只保留在2000年口径内　异名证据史称“Nielsen–Chuang 共同语言”，方法论称“定义对象”；另见本块乙“表面码成为共识”

经二十、单向测量量子计算Classic 20 · Quantum Information and Computing

提出Robert Raussendorf 与 Hans Briegel，2001 年，Raussendorf and Briegel, A one-way quantum computer, Physical Review Letters 86 (2001): 5188–5191。　流变Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79随后以反例和边界条件收窄普遍表述，并把原始口径与后续推广分列。　今用本块一“承诺与诅咒：量子比特的脆弱”仍正面使用或反驳这条命题建立的对象与证据纪律。　关键先制备簇态再以自适应单比特测量驱动通用计算；可撤回条件是对象、分母或尺度变化后方向不再保持。

在2001年前后的单向测量量子计算提出之前，量子信息与量子计算常把有限样本直接外推到无限结构，失败对象与成功对象没有进入同一份账。Robert Raussendorf 与 Hans Briegel提出单向测量量子计算时没有只换一个术语，而是借组织证据规定什么可以比较、什么读数会推翻解释。它的硬命题是先制备簇态再以自适应单比特测量驱动通用计算。这让检验单向测量量子计算的同行能够复算结论，也让旧直觉第一次承担明确的反例风险。

后续由Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79重新检查单向测量量子计算，保留了可迁移结构，却不再替原始外推兜底。今天把它与本块一“承诺与诅咒：量子比特的脆弱”对读，能看见现代层究竟继承了哪一项定义，又在哪个边界上改写旧前提。若对象选择、时间窗或尺度改变后主要排序翻转，单向测量量子计算便退回原始适用域；单向测量量子计算的经典身份不能代替新的证据。

位置S——它把“单向测量量子计算规定的组织证据”当成单独够用的那一样　预设〔08 缺失即不存在〕默认跨年代比较仍共享单向测量量子计算的对象边界　量纲在共同口径下保住方向的单向测量量子计算复算数∶全部纳入复算的同类读数数　失效当被排除对象补回分母后，单向测量量子计算的主要排序翻转，原结论只保留在2001年口径内　异名证据史称“单向测量量子计算”，方法论称“组织证据”；另见本块一“承诺与诅咒：量子比特的脆弱”

◎ 这一层怎么用

先按“今用”或“异名”找到上文对应的现代条，再比较两条的对象、分母与停止规则。若它们只共享名词而不共享失败对象，就只登记为异名；若量纲可以逐项换算，再判断现代条究竟继承、修正还是反转了经典命题。

经典身份不提供豁免。提出年份只决定它属于哪一层；后续综述、反例和新装置负责划出今天仍可使用的边界。量纲字段保留“∶”，使跨年代与跨领域的读数能够先对齐分母再碰撞。

◎ 经典层资料核验

  1. Bell, On the Einstein Podolsky Rosen paradox, Physics Physique Fizika 1 (1964): 195–200。
  2. Holevo, Bounds for the quantity of information transmitted by a quantum communication channel, Problems of Information Transmission 9 (1973): 177–183。
  3. Feynman, Simulating physics with computers, International Journal of Theoretical Physics 21 (1982): 467–488。
  4. Wiesner, Conjugate coding, SIGACT News 15 (1983): 78–88。
  5. Bennett and Brassard, Quantum cryptography, IEEE Bangalore proceedings (1984): 175–179。
  6. Deutsch, Quantum theory, the Church-Turing principle and the universal quantum computer, Proceedings of the Royal Society A 400 (1985): 97–117。
  7. Deutsch, Quantum computational networks, Proceedings of the Royal Society A 425 (1989): 73–90。
  8. Bennett et al., Teleporting an unknown quantum state, Physical Review Letters 70 (1993): 1895–1899。
  9. Shor, Algorithms for quantum computation, FOCS proceedings (1994): 124–134。
  10. Cirac and Zoller, Quantum computations with cold trapped ions, Physical Review Letters 74 (1995): 4091–4094。
  11. Shor, Scheme for reducing decoherence in quantum computer memory, Physical Review A 52 (1995): R2493–R2496。
  12. Steane, Error correcting quantum code, Physical Review Letters 77 (1996): 793–797。
  13. Grover, A fast quantum mechanical algorithm for database search, STOC proceedings (1996): 212–219。
  14. Kitaev, Fault-tolerant quantum computation by anyons, Annals of Physics 303 (2003): 2–30; preprint 1997。
  15. Aharonov and Ben-Or, Fault-tolerant quantum computation with constant error, STOC proceedings (1997): 176–188。
  16. Loss and DiVincenzo, Quantum computation with quantum dots, Physical Review A 57 (1998): 120–126。
  17. Nakamura, Pashkin and Tsai, Coherent control of macroscopic quantum states, Nature 398 (1999): 786–788。
  18. DiVincenzo, The physical implementation of quantum computation, Fortschritte der Physik 48 (2000): 771–783。
  19. Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press (2000)。
  20. Raussendorf and Briegel, A one-way quantum computer, Physical Review Letters 86 (2001): 5188–5191。
  21. Nielsen and Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 10th anniversary ed. (2010)。
  22. Kitaev, Shen and Vyalyi, Classical and Quantum Computation, AMS (2002)。
  23. Ladd et al., Quantum computers, Nature 464 (2010): 45–53。
  24. Gottesman, An introduction to quantum error correction, AMS Proceedings of Symposia in Applied Mathematics 68 (2010): 13–58。
  25. Preskill, Quantum computing in the NISQ era and beyond, Quantum 2 (2018): 79。
  26. Bouwmeester, Ekert and Zeilinger, The Physics of Quantum Information, Springer (2000)。
  27. Kaye, Laflamme and Mosca, An Introduction to Quantum Computing, Oxford University Press (2007)。
  28. Preskill, Lecture Notes on Quantum Computation, California Institute of Technology (1998)。
  29. Barnett, Quantum Information, Oxford University Press (2009)。
  30. Watrous, The Theory of Quantum Information, Cambridge University Press (2018)。

核验说明：提出栏优先保留原始论文、专著或正式文集；流变栏列具体的后续专著、综述或重建工作。2006 年后的文献只用于说明修订，不改变经典条的入选年份。

新思想前沿 · 第 9 号《量子信息与量子计算》· 20 条现代思想 ＋ 20 条 1950–2006 经典思想 · 双层资料核验 · 王德生 亲撰 · ← 回到 626 个领域总览