1. 课程导入与超密编码协议概览

超密编码（Superdense Coding，也常译作密集编码）是量子通信中最能体现“量子资源换通信带宽”这一思想的协议之一。它的基本定义可以概括为：通信双方预先共享一对处于最大纠缠态的量子比特，发送方只把自己手中的那一个量子比特传送给接收方，就能让接收方获得两位经典比特的信息。也就是说，一个量子比特的物理传输承载了两个经典比特的信息量，这正是“超密”二字的由来。理解这一点，需要先破除一个常见误解：超密编码并没有违背 Holevo 界，因为发送方并非仅凭一个量子比特“凭空”传递两比特，而是消耗了事先共享的纠缠资源，纠缠本身是协议运行前就已建立并计入成本的信道资源。

从协议在量子通信体系中的定位看，超密编码与量子隐形传态构成一对“对偶”协议：隐形传态用两比特经典信息加一份纠缠来传送一个未知量子态，超密编码则用一个量子比特加一份纠缠来传送两比特经典信息。二者共同说明纠缠是一种可被“兑换”为通信能力的资源。在工程视角下，超密编码常被用作量子链路纠缠质量评估的功能性测试——因为它的成功概率与保真度直接依赖纠缠态的纯度与贝尔基测量的准确性，所以它既是教学入门协议，也是量子网络中间件、量子中继与量子处理器 SDK 中常见的基准用例。

上图把协议拆成三个可观察的环节：纠缠分发、局域编码、贝尔基测量。需要特别强调编码表的方向约定：本课程统一采用“消息比特对 (b₁b₀) 对应操作 {I, X, Z, iY}”的映射，即 00→I、01→X、10→Z、11→iY。这个映射本身不是唯一的，不同教材可能交换 X 与 Z 的位置，但只要编码表与测量判读表成对一致，协议就成立。开发中最常见的错误恰恰是编码端与解码端用了两套不一致的约定，导致测量结果整体“错位”却难以察觉。因此在本课程后续所有代码与图示中，都固定使用上述映射，并在解码函数中显式写出对应的逆映射。

课程目标分三层。第一层是概念层：能用自己的话说清超密编码为什么能用一个量子比特传两比特，能指出纠缠与 Holevo 界的关系，能区分超密编码与隐形传态的资源方向。第二层是实现层：能在模拟器上从零构造贝尔态、施加四种局域门、实现贝尔基测量（通常用 CNOT + Hadamard + 计算基测量完成），并用统计采样验证四种消息的判读正确率。第三层是工程层：能把协议封装成可复用的函数或电路模块，加入噪声模型（如退极化噪声、测量误码），观察纠缠保真度下降时协议成功率如何退化，并给出可复现的测试报告。

学习路径建议按“先跑通、再拆解、后加固”推进。先跑通是指用现成框架（如 Qiskit、Cirq 或自研状态向量模拟器）把理想无噪声版本跑出 100% 正确率，建立信心与直觉；再拆解是指手工推导四个贝尔态在编码前后的态矢量变化，理解为什么 Bob 的测量能无歧义区分；后加固是指引入噪声与有限采样，学习用保真度、误码率、成功概率等指标描述协议表现。开发与模拟环境总览如下：语言建议 Python 3.10+，量子框架可选 Qiskit（便于快速搭建电路与可视化）或自研 NumPy 状态向量模拟器（便于看清每一步的复数振幅）；辅助工具包括 Jupyter Notebook 用于交互实验、Matplotlib 用于绘制保真度曲线、pytest 用于把协议正确性写成回归测试。若后续涉及真实硬件，还需准备对应厂商的 SDK 与后端访问凭据，但本课程前段以本地模拟为主，确保每位学习者都能在无硬件条件下完成全部实验。

最后给出一个可直接用于自检的最小判据：在理想模拟器上，对 00、01、10、11 四条消息各采样 1024 次，若四条消息的判读正确率均为 100%，说明编码表、测量电路与解码映射三者自洽；若某条消息系统性错误而其余正确，几乎必然是单个泡利门写错或解码表某一项错位；若四条都接近 25%，则说明贝尔基测量电路缺失了 CNOT 或 Hadamard 步骤，测量退化为计算基测量。掌握这套判据，后续引入噪声时就能快速区分“协议实现错误”与“噪声导致的性能退化”。