量子计算常用符号：从 |0⟩ 读到 ⟨ψ|O|ψ⟩

量子计算常用符号：从 |0⟩ 读到 ⟨ψ|O|ψ⟩

打开一篇量子计算论文，最先撞上的往往不是「难懂的物理」，而是一整套陌生的字母表：竖线、尖括号、圈乘号、带匕首的上标。其实它们大多在做同一件事——用线性代数描述量子比特怎么叠加、怎么变换、怎么被读出来。下面按阅读顺序把常用符号过一遍：先说它在算什么，再给写法和一句人话。

---

1. 态与 Dirac 记号：量子比特「长什么样」

这套符号在干什么： 把量子态写成向量，并规定怎么把两个向量「配对」成一个数。

最常见的写法是 ket（右矢）：

• |ψ⟩：读作「ket psi」。表示某个量子态，ψ 只是随便起的名字。
• |0⟩、|1⟩：计算基（computational basis）里的两个标准态，好比经典比特的 0 和 1。单比特时，它们是二维空间里的一对正交单位向量。
• |+\rangle、|-\rangle：也常写成 |+\rangle = (|0⟩+|1⟩)/√2、|-\rangle = (|0⟩-|1⟩)/√2。读作「plus / minus」。它们是另一组常用基，叠加得更「斜」。

和 ket 配对的是 bra（左矢）：

• ⟨φ|：读作「bra phi」。可以理解为 |φ⟩ 的「共轭转置版」，用来和右边的 ket 做内积。
• ⟨φ|ψ⟩：bra 在左、ket 在右，得到一个复数——两个态的重叠程度。模长越大，越「像」。
• |ψ⟩⟨φ|：外积。结果是一个算符（矩阵），不再是一个数。常用来写投影或构造某种变换。

计算基 vs 叠加（人话）： |0⟩、|1⟩ 像坐标系的两根轴；一般态 |ψ⟩ = α|0⟩ + β|1⟩ 则是轴上的线性组合。α、β 是复数振幅，满足 |α|² + |β|² = 1。测量前你可以同时「带着」两个分量；测量后通常只留下其中一个（见后文测量）。

记忆口诀：ket 往右指、bra 往左指；bra–ket 夹在一起变成数，ket–bra 并排放变成矩阵。

归一化条件 |α|²+|β|²=1 保证「所有可能结果的概率加起来是 1」。整体乘一个全局相位 e^{iα} 不会改变任何测量概率，所以讨论「态长什么样」时常把全局相位消掉，只关心相对相位——这也是后面 Bloch 球只用两个实参数就够的原因。

---

2. Bloch 球：单比特的几何直觉

这套符号在干什么： 把单比特纯态画成球面上的一个点，用两个角度描述。

任意单比特纯态（整体相位不计）可写成：

|ψ⟩ = cos(θ/2)|0⟩ + e^{iφ} sin(θ/2)|1⟩

• θ（theta）：从北极 |0⟩ 往南极 |1⟩ 扫的极角。θ=0 在北极，θ=π 在南极。
• φ（phi）：绕竖直轴转的方位角，控制相对相位。

球面上每个点对应一个纯态；球心附近才轮到混态（要用密度矩阵，见后文）。Bloch 球帮你「看见」X/Y/Z 测量和旋转门在转什么，不必死记矩阵元。

直观对应：Z 测量像问「更靠近北极还是南极」；X、Y 则是换一组「经线方向」再问同样的问题。旋转门在球面上转这个点；绕哪根轴转，往往就对应哪个 Pauli。

---

3. 多比特与张量积：怎么把比特「拼」起来

这套符号在干什么： 说明多个比特的总空间怎么由单比特空间拼出来，以及何时「拆不开」。

• |ψ⟩ ⊗ |φ⟩：张量积（读作「tensor」或「直积」）。左边一个系统、右边另一个系统，合在一起。
• |00⟩、|01⟩、|10⟩、|11⟩：两比特计算基的简写，其实是 |0⟩⊗|0⟩ 等。位数一多就继续写 |0101…⟩。
• 可分（product）态： 能写成 |ψ⟩⊗|φ⟩ 这种干净乘积。
• 纠缠（entangled）态： 写不成任何单比特态的张量积。经典例子是贝尔态 (|00⟩+|11⟩)/√2——两个比特的信息绑在一起，单独看其中一个是「混」的。

人话：⊗ 是「并排放两个系统」；纠缠是「并排放了，但再也拆不回两个独立描述」。

维度上也好记：一个比特二维，两个比特就变成 4 维，n 个比特是 2ⁿ 维。所以「多加一个比特」不是多一列经典开关，而是希尔伯特空间维度翻倍——这也是量子算法叙述里动辄指数维向量的来历。写电路时仍按比特线条数来想；写公式时要用张量积把空间撑开。

---

4. 算符与量子门：对态「动手脚」

这套符号在干什么： 用酉矩阵描述可逆的量子操作；门就是常用的那几块积木。

• U：一般酉门（unitary）。满足 U† U = I，保证概率守恒、过程可逆。
• I：单位算符 / 恒等门，「什么都不做」。
• Pauli 门：
• X：比特翻转，|0⟩↔|1⟩（像经典 NOT）。
• Z：给 |1⟩ 乘上 −1，对 |0⟩ 不动（相位翻转）。
• Y：兼有翻转与相位，可记 Y = iXZ（差一个约定相位）。
• H（Hadamard）：把计算基和 ± 基互相「摊开」：H|0⟩=|+⟩，H|1⟩=|-⟩。制造叠加的第一块砖。
• S、T：相位门。S 给 |1⟩ 乘 i，T 乘 e^{iπ/4}。精细拧相位时常用。
• CNOT / CX：受控非门。控制比特为 |1⟩ 时，对目标比特做 X。两比特纠缠的标准入口。
• 受控门记号： 常写 CU、C^n U，或电路图里实心点（控制）+ 方块/叉（目标）。

矩阵 vs「对基矢的作用」（对照一例）：

不必先背完整矩阵。知道 X|0⟩=|1⟩、X|1⟩=|0⟩，就等于知道 X 在计算基下的列；同理 Z|0⟩=|0⟩、Z|1⟩=-|1⟩。门的定义往往就是「它把基矢送到哪里」。

再举 Hadamard：H|0⟩=(|0⟩+|1⟩)/√2，H|1⟩=(|0⟩-|1⟩)/√2。你若只记住「对两个基矢的像」，整张 2×2 矩阵也就定了。受控门同理：先规定控制为 0、1 时目标各发生什么，再翻译成 4×4 矩阵。读论文时优先抓「作用规则」，矩阵元是派生物。

通用门集的直觉：单比特旋转（由 Pauli 生成）加上 CNOT，理论上可以逼近任意多比特酉变换——所以你会反复看到 H、S/T、CX 这几块砖。

---

5. 测量：从叠加变成读数

这套符号在干什么： 规定「看到某个结果」的概率，以及测完态变成什么样。

• 投影： 测到与 |k⟩ 相关的结果，常用投影算符 |k⟩⟨k|。
• Born 规则： 得到结果 k 的概率是 |⟨k|ψ⟩|²（更一般地对 POVM 有类似公式）。振幅的模方才是概率。
• 坍缩（示意写法）： 若测得 k，态更新为与 |k⟩ 一致的方向（理想投影测量下可写成 |k⟩，或归一化后的 P_k|ψ⟩）。细节因测量模型而异，读论文时先看他们用的是哪一套。

人话：叠加负责「可能」；测量负责「抽样」；Born 规则告诉你每颗骰子的权重。

实验上很少「只跑一次」。同一线路重复多次，统计各比特串出现的频率，用来估概率或估期望值。论文里的「shots / 采样次数」指的就是这件事。理想教材写坍缩；工程讨论则更常写「估计器 + 统计误差」。

---

6. 期望值与可观测量：反复测的「平均值」

这套符号在干什么： 描述某个物理量（可观测量）在态上的平均读数。

标准写法：

⟨O⟩ = ⟨ψ|O|ψ⟩

中间夹一个厄米算符 O（可观测量），两边用同一个态的 bra / ket。若 O 是 Pauli Z，那 ⟨Z⟩ 就是在 Z 基下「偏 0 还是偏 1」的平均；⟨X⟩、⟨Y⟩ 同理对应 Bloch 球上另两个方向的投影。

变分算法、哈密顿量估能量时，满屏都是这类期望值。把哈密顿量拆成 Pauli 串之和，再逐项估 ⟨P⟩，是今天近端设备上极常见的套路。

若本征值为 ±1（Pauli 正是如此），期望值落在 [-1,1]：越靠近 ±1，态越「对齐」该可观测量的某个本征方向。

---

7. 密度矩阵：纯态不够用时

这套符号在干什么： 统一描述「确定的一个态」和「按概率混合的一堆态」，并给出求平均的通用公式。

• ρ（rho）：密度算符 / 密度矩阵。
• 纯态： ρ = |ψ⟩⟨ψ|。这时用 ket 或用 ρ 信息等价。
• 混态： 例如 ρ = p₁|ψ₁⟩⟨ψ₁| + p₂|ψ₂⟩⟨ψ₂|，表示「以概率 pᵢ 处在 ψᵢ」，或子系统因纠缠而被边缘化后的状态。
• Tr：求迹（把矩阵对角元相加，基无关）。归一化常写 Tr(ρ)=1。
• 期望值通式： ⟨O⟩ = Tr(ρ O)。纯态时与 ⟨ψ|O|ψ⟩ 一致；混态时这一式仍然成立。

读噪声、开系统、层析时，ρ 几乎绕不开。纯态满足 Tr(ρ²)=1；混态则 Tr(ρ²)<1。这一条常用来快速判断「还有多纯」。

对子系统：整体可能是纯纠缠态，单看其中一比特却要用混态 ρ 来描述——边缘化（偏迹）就是从全局 ρ 挖出局部描述的标准动作。

---

8. 电路与时间顺序：图怎么读

这套符号在干什么： 约定量子电路从左到右表示时间流逝；并标明逆操作。

• 电路：左边是输入，右边是输出；同一根线是同一比特的时间线。
• U†：U 的伴随（共轭转置）。对酉门，U† = U⁻¹，所以匕首常表示「倒放这段电路」。验证「做完再撤销」时，你会看到 U 后面紧跟 U†。

公式里若写成右乘一串门，注意与电路左右顺序的对应约定（有的文本把先作用的门写在右边）。读论文时先瞟一眼他们的乘法顺序。

匕首还出现在「未计算」里：要算 ⟨ψ|U|ψ⟩ 这类东西时，电路上常把 U 夹在制备与逆制备之间，或用 Hadamard 检验一类技巧；看见 U†，先问它是在撤销、在反射，还是在写伴随矩阵元。

---

9. 算法语境里常逛到的符号（短）

这套符号在干什么： 相位、傅里叶变换、能量演化——算法叙述里的高频零件。

• 相位因子 e^{iθ}： 模为 1 的复数，转角度不改概率，但相对相位会改变干涉结果。很多算法吃的就是相位差。
• QFT（量子傅里叶变换）： 常记 QFT|j⟩ 或 F，把「计算基上的振幅排列」变成「相位编码的频域」。具体矩阵元不必先背，先记住它是经典 DFT 的量子版积木。
• Hamiltonian H 或 Ĥ： 系统的能量算符。时间演化常见 e^{-iHt}（ℏ=1 的单位制）。注意：这里的 H 不是 Hadamard 门。 同一字母两套含义，是量子计算文献里头号撞名事件（见下表）。

相位估计、量子模拟、很多采样算法，叙事骨架常常是：把问题编进某个酉 e^{-iHt} 或它的受控版本，再从相位里读答案。QFT 经常出现在「从相位寄存器读数」的那一段。先建立「相位 ↔ 可提取信息」的直觉，再抠每一项矩阵元，负担会小很多。

---

10. 易混对照表

---

速查表

下次读论文时，用这张表对一下：先认出符号在算「态、门、测、平均」里的哪一步，再往下追公式，会顺很多。