第三章 纠缠与量子线路
第 3 章 · 纠缠与量子线路
章节摘要：本章把第二章的单比特语言升级到两比特世界，回答一个让爱因斯坦困扰终生的问题——两个量子比特的状态为什么可以"拆不开"。沿主线铺开四节：先区分可分态与纠缠态，再用 CNOT 门造出贝尔态，接着用隐形传态把纠缠变成一项"技术"，最后引入量子线路作为组织一切门操作的画布。读完本章，你将拿到读懂全部量子算法图纸的能力。
学习目标
- 判断一个两比特状态能否写成直积，给出纠缠的严格定义；
- 手推贝尔态 (|00⟩+|11⟩)/√2 的制备线路（H + CNOT）；
- 用关联测量解释纠缠与经典相关的分界；
- 逐步拆解量子隐形传态，说清两比特经典信息在哪里被使用；
- 读懂量子线路图：时间轴、门顺序、测量位置。
核心概念速览
一句金句：纠缠不是一个额外叠加在量子计算上的噱头，它是多比特状态空间里"写不出直积"的那些状态的名字。
子章节导航
- 3.1 量子纠缠：拆不开的两比特状态：直积与不可分的判据，关联测量数据对比，纠缠不等于超光速通信。
- 3.2 贝尔态与量子隐形传态：CNOT 门的真值表与矩阵，四只贝尔态，隐形传态线路的逐步推演。
- 3.3 量子线路：把门排成时间线：线路图约定、深度与宽度的取舍、线路复杂度与噪声预算。
- 3.4 量子算法的构建逻辑：干涉设计：叠加-编码-干涉三板斧，为第四章的算法分析准备框架。
子章节之间的逻辑关系
[3.1 纠缠态定义] 是什么 → [3.2 贝尔态与隐形传态] 怎么造、怎么用 → [3.3 量子线路] 怎么把门组织成程序 → [3.4 构建逻辑] 程序背后共同的设计模式
四节递进关系明确：3.1 给概念，3.2 给实例与应用，3.3 给工程载体，3.4 给设计方法论。3.2 节的隐形传态是全章的技术高潮，也是量子网络与容错计算共用的基础设施。
前置知识与后续延伸
本章直接建立在第二章之上：状态矢量、玻恩规则、单比特门矩阵缺一不可，尤其需要 2.5 节 H 门作用于 |0⟩ 的演算结论。CNOT 门会现场教。学完本章，第四章的三个经典算法在纸面上将不再有理解障碍——它们的线路都是由本章元件搭成的。
本章自测清单
- 把 (|00⟩+|01⟩+|10⟩+|11⟩)/2 拆成两个单比特态的直积。（答案：|+⟩⊗|+⟩。）
- 说出四个贝尔态的表达式，并指出哪一个是单态（Ψ⁻）。
- 隐形传态里，若甲的测量读数是 10，乙手里是什么态、该补什么门？（答案：α|0⟩−β|1⟩，补 Z 门。）
- 为什么测量必须放在线路末端？给出两条理由（一条来自坍缩，一条来自工程）。
- 三段式骨架的三步分别对应线路里的哪些元件？Grover 的扩散变换对应哪一步？
与前后章的接口提示
本章是全册的"枢纽层"：向后，第 4 章所有算法线路都由本章元件搭成，读算法的第一步永远是识别它的纠缠结构与干涉位置；向前，第 2 章的单比特门在 3.3 节完成"调度化"——门不再是孤立算符而是流水线工序。若 4.2 节 Grover 的扩散变换让你迟疑，回到本章的线路读法与 2.5 节 H 门的"换轴"练习；若 5.3 节表面码的症状测量显得突兀，回到 3.1 节纠缠编码与 3.2 节"四情形四修正"的表格——纠错码的骨架在那里已经预演过一遍。
一点阅读节奏建议
本章概念密度是全册最高的：直积判据、贝尔态、隐形传态、线路账本，四个新事物挤在一章。建议的消化节拍是"一节一停"：读完 3.1 就动手做直积判定练习，读完 3.2 就把传态表格抄一遍并推一遍变式，读完 3.3 画一张自己的线路图再往下走。本章不能像第 1 章那样一口气读完——概念之间的咬合紧密，停下来做练习恰恰是为了让后一节读起来毫不费力。若时间只够精读一处，选 3.2 节的振幅推演：它是纠缠概念的完整闭环，也是后续所有"线路 + 测量 + 修正"结构（纠错、门传送）的原型。