量子计算 · 学习站
kp-031 · 更新于 2026-10-02

量子计算简史:从费曼的提问到纠错里程碑

07-历史与争议 前沿 约 20 分钟 #历史#费曼#时间线#人物

一句话定义

量子计算四十余年史可以压缩成四个阶段:1980 年代的思想奠基(Feynman、Deutsch)、1994–1996 年的算法引爆(Shor、Grover、纠错诞生)、2000–2015 年的实验室慢火(各硬件路线起步)、2016 年至今的工程竞赛(云开放、霸权实验、纠错里程碑)。

为什么重要

本库全部技术内容都挂着 1982–2024 年间的具体名字与年份;把时间线装进脑子,任何新论文或新发布都能立刻归位——"这是奠基期争论的重演"还是"竞赛期叙事的变奏"。历史也解释了流派分歧的来源:门模型、退火、专用采样、拓扑四条路线的分岔点全部在 1990–2001 年间埋下。

前置知识

无硬性前置;建议先读 kp-001–kp-003 以理解各里程碑"在庆祝什么"。本节为时间线与人物志,是全库最轻的入口页之一。

核心概念

  • 1981–1982 · Feynman 提问:经典计算机模拟量子系统指数慢,"为什么不造量子机器来模拟量子?"
  • 1985 · Deutsch 形式化量子图灵机与通用量子计算机——学科的"宪法"时刻。
  • 1994 · Shor 多项式分解算法——领域获得存在性理由(kp-017)。
  • 1995–1996 · 悲观预言("噪声不可控")被 Shor 与 Steane 的纠错码、Aharonov 等的阈值思想击碎;Grover 给出搜索加速(kp-018)。
  • 1996–2001 · 早期实验(NMR 演示 2–7 比特)与 KLM 线性光学方案(kp-023 的源头)。
  • 2007 · transmon 诞生(kp-021),超导路线从此加速。
  • 2016 · IBM 把 5 比特真机放上云——公众第一次直接摸到量子硬件。
  • 2019 · Google 随机线路采样实验与"量子霸权"之争(kp-032)。
  • 2020–2021 · 九章(光量子)与祖冲之号(超导)相继宣布采样优越性。
  • 2023–2024 · 千比特芯片、纠错 below threshold(kp-025)、多路线逻辑比特演示——行业叙事从宽度转向纠错。

直观类比

这段历史像"三幕剧":第一幕是哲学家与理论家的独白(没人确信机器能造);第二幕 Shor 登场,所有人对着 RSA 倒吸凉气,纠错理论救场避免剧终;第三幕是工程师接管舞台,论据从"可以吗"变成"何时、多贵、谁先"。看懂幕布切换,就能理解为什么 2016 年前的资深学者与 2024 年的产业叙事时常互不理解。

原理与机制

三条主线推动每个转折。其一,算法:没有 Shor 就没有 1994 年后的资金与关注——算法是领域的引擎,硬件是车厢。其二,理论防御:1995–1996 年纠错与阈值定理的反直觉诞生("噪声可数但可控")把领域从"美丽而不可能"的棺材里抬出来。其三,工程突破的连锁:transmon(2007)→ 相干时间数量级提升 → 2019 年霸权实验 → 2023 年纠错里程碑,每次器件级进步都改写上层叙事。人物志浓缩版:Feynman(提问者)、Deutsch(立法者)、Shor/Grover(引擎)、Preskill(命名者,2018 年提出 NISQ 术语)、Kitaev(纠错理论家)、Devoret/Schoelkopf/Martinis(超导工程)、Wineland/Blatt(离子先驱)、陆朝阳/潘建伟团队(光量子与卫星)。流派分岔点:1994 年后门模型成为主流;1998–2000 年退火路线独立生长(D-Wave 创立于 1999);2001 年 KLM 让光量子成为第三极;2000 年代拓扑路线(Microsoft 主投)以理论奠基、至今仍处验证期——四条路线的"家谱"全部可追溯到这里。

公式或模型

本节不适用——历史页以时间线承载结构(见下图)。

图示

1982 费曼提问 1985 Deutsch 1994 Shor 1995–96 纠错·Grover 2001 KLM 2007 transmon 2016 云开放 2019 霸权实验 2024 纠错里程碑 三幕:思想奠基(1982–93)→ 算法与理论防御(1994–2015)→ 工程竞赛(2016–)

实例或案例

用历史框架读 2023–2024 年三条新闻的示例:千比特芯片发布属于"竞赛期宽度叙事"(对照 2007 年 transmon 的工程脉络);"逻辑比特首次优于物理"属于"第三幕向第四幕(容错时代)的过渡信号";某退火公司新机属于"独立流派按自家路线图推进"——三则新闻互不可比,历史坐标给了它们各自的位置。

与其他知识点的关系

kp-017、kp-018、kp-025 是时间线上三次转折的技术内核;kp-021–024 的各路线起点都在 2001–2007 窗口;kp-032 承接 2019 节点;kp-034 的"未来"是本时间线的延长线。

常见误区

  • "量子计算是近年才有的":算法与纠错理论在 1990 年代已经完备,近十年主要是工程追赶。
  • "某一篇论文改变了一切":改变一切的是"算法+纠错+器件"三条线的合流;单点突破叙事多为媒体压缩。
  • "历史由西方单线书写":2000 年代起中国团队(光量子、卫星、超导)多次贡献里程碑,2020 年代已是多中心竞赛。

自测题

  1. 为什么说 1994 年是分水岭?
  2. 答案要点:Shor 算法第一次给出"经典难、量子易"的现实级问题(分解),领域从纯思辨变成战略议题。

  3. 1995–1996 年的悲观预言是什么、如何被化解?
  4. 答案要点:"退相干必然毁掉计算";Shor/Steane 纠错码与后续阈值定理证明错误率低于阈值即可控(kp-025)。

  5. 四条硬件路线(超导/离子阱/光量子/中性原子之外再算上退火、拓扑)各自的分岔源头在哪一年附近?
  6. 答案要点:超导 2007(transmon);光量子 2001(KLM);退火 1999 年代(D-Wave 创立);拓扑 2000 年代理论奠基(Kitaev 类思想)。

延伸阅读

R. P. Feynman (1982)(两页纸的起点,值得原文一读);D. Deutsch (1985);M. A. Nielsen、I. L. Chuang《Quantum Computation and Quantum Information》第 1 章历史注记。