光量子：以光子为载体的路线
一句话定义
光量子计算以光子的模式（路径/时隙/频率）或偏振编码量子比特，用分束器、移相器与光子数分辨探测器处理信息；线性光学 + 测量 + 辅助态即可通用（KLM 方案，2001），代表为 Xanadu 与中国科学技术大学的"九章"系列。
为什么重要
光量子是四条主路线里"气质"最特殊的一条：它天然室温运行、与光纤通信兼容、在专用采样任务上最早给出大规模"量子优越性"实验（九章，2020）。但它也承受着最尖锐的"经典模拟追赶"质疑（kp-032）。同时，它是通往容错的另一条设想路径——测量诱导纠缠与簇态方案让"先造一张巨大的纠缠态光网，再靠测量计算"成为可能。理解它，等于理解"通用门模型之外"的另一半故事。
前置知识
kp-020（噪声概念即可）、kp-003（干涉）。对"玻色采样"一词本节自带定义。
核心概念
- 编码：单光子走的路径（modes）当比特位；n 光子 m 模式的输入态经线性光学网络干涉后由探测器计数读出。
- 玻色采样（boson sampling）：向随机线性网络注入单光子、采样输出分布——Aaronson–Arkhipov (2011) 论证其经典难度；高斯玻色采样（GBS）是九章采用的压缩光版本。
- KLM 方案：纯线性光学（分束器+移相器）加探测与辅助态，可级联出通用门——绕开"光子之间不直接相互作用"的死结。
- 簇态/测量诱导路线：先制备大纠缠光簇态，计算由一系列单比特测量完成——面向容错的当代主线（含 2024 年 Xanadu 报道的演示级光量子纠错实验）。
- 路线画像：室温或近室温运行、与电信光纤兼容；瓶颈是光子损耗与概率性双比特门（成功概率 <1，需后选择或前馈）。
直观类比
光量子像"一场在迷宫里举行的选举"：单光子进入布满分叉路口（分束器）的迷宫，在每个路口它同时走两条岔路并自我干涉；出口处安置计数器，统计上万次"竞选"的票数分布——这个分布对经典计算机极难预测（玻色采样）。要让它从"采样机器"升级成"通用计算机"，KLM 的技巧是安排"替身光子"（辅助态）：某些出口的探测结果会"远程操纵"其他光子完成逻辑门——概率不高，但可以靠多次重试与广播成功信号来累积。
原理与机制
为什么线性光学难以直接做门：光子间无相互作用，两个分束器无法像 CNOT 那样让一个光子条件翻转另一个。KLM 的出路是把"相互作用"换成"测量诱导非线性"：辅助光子与数据光子同过非线性干涉网络，对辅助端做光子数分辨探测，投影效应等价于给数据施加条件门，成功概率虽小于 1，但失败信号可探测（ heralded），配合大型辅助态库存即可级联。九章的技术选择（高斯玻色采样）进一步绕开"按需单光子源"的难度，用压缩光+大面积干涉网络+高效率探测器直接冲采样规模——2020 年 76 光子、2021 年九章二号 113 光子、2023 年九章三号 255 光子，同期的"九章三号"与"祖冲之号"并列成为中国宣称优越性的两条硬件支柱。对它的清醒评估（衔接 kp-032）：采样任务的经典模拟算法在持续进步，"优越性"结论是动态的、需要按年度修正。
公式或模型
本节不适用公式推导——核心概念性结论：线性光学网络对 n 光子 m 模式的转移矩阵是幺正矩阵的子块，输出分布与矩阵积和式（permanent）相关，后者是 #P 难的计算问题——这是"经典难模拟"论证的数学核心（只需知道结论，不需要会算 permanent）。
图示
实例或案例
九章（2020，Science）：76 光子高斯玻色采样，宣称 200 秒完成经典需数亿年的采样任务；九章三号（2023）推到 255 光子。同期与随后的经典侧回应：多种张量网络与启发式算法不断缩小差距、并质疑"数亿年"的旧估算——这条拉锯线是 kp-032 中"优越性=动态结论"的活教材。工业侧，Xanadu 的可编程光芯片（Borealis，2022）与 2024 年的演示级纠错实验，代表从"采样专机"走向"可编程+容错探索"的第二阶段。
与其他知识点的关系
kp-026 的纠错在光量子语境下有独特形态（簇态+测量容错）；kp-032 的争议主战场之一；kp-031 时间线里 2001（KLM）与 2020（九章）两枚坐标；与 kp-021–022 的对比是"概率性门 vs 确定性门"的取舍。
常见误区
- "九章证明通用量子计算优越"：它是专用采样任务的优越性主张，与可编程通用计算（如跑 Shor）是两回事。
- "光量子不需要制冷所以必然便宜"：系统整体（探测器、低噪泵浦）仍有制冷/成本项；且概率性门带来多次重试的隐性成本。
- "光子没有噪声"：主要噪声是光子损耗与探测器效率，它们同样随规模累积——噪声没有消失，只是换了形态。
自测题
- 光子之间为什么不直接相互作用？KLM 如何绕开？
- 玻色采样任务的输入输出是什么？
- 为什么九章的"优越性"结论需要随年度修正？
答案要点：线性光学中光子只线性叠加不相互影响；KLM 用辅助态+测量投影实现"测量诱导非线性"，把门变成概率性但可 herald 的操作。
答案要点：输入为固定数目的单光子注入随机线性网络；输出为各出口模式的光子数计数样本；任务是按真实分布采样。
答案要点：经典模拟算法（张量网络、启发式）持续进步，对同一任务的经典成本估算逐年下降——优越性是与"当前最强经典"的相对结论。
延伸阅读
E. Knill、R. Laflamme、G. J. Milburn (2001) Nature（KLM 原始论文）；H.-S. Zhong 等 (2020) Science（九章）；A. W. Harrow、A. Montanaro (2017) Nature（采样优越性的理论框架综述）。