这篇笔记从一个尖锐的问题出发:量子比特的态由两个复数参数化,知道 α \alpha α ,是否就确定了 β \beta β ?顺着这个问题的逻辑链,可以走完单量子比特的一整块版图:相位为什么是真实的物理信息、它在光的偏振里如何现形、量子比特与硬件的关系、Pauli 矩阵的三重性质、旋转门与电路记号,最后抵达「测量」的正式数学形式。开头先用一节把要用到的预备知识过一遍,之后全程自包含。
0. 预备知识速览
只需要以下几件事,每条一句话:
复数 = 一支箭头 = 长度 × 方向:z = r e i ϕ z = r\,e^{i\phi} z = r e i ϕ 。e i ϕ e^{i\phi} e i ϕ 是单位圆上转过 ϕ \phi ϕ 角的点,模长恒为 1,乘它只改方向不改长度。
量子比特的态 :∣ ψ ⟩ = α ∣ 0 ⟩ + β ∣ 1 ⟩ |\psi\rangle = \alpha|0\rangle + \beta|1\rangle ∣ ψ ⟩ = α ∣0 ⟩ + β ∣1 ⟩ ,α , β \alpha,\beta α , β 是复数(叫振幅 ),也可写成列向量 ( α β ) \binom{\alpha}{\beta} ( β α ) 。
Born 规则 :在 0/1 基测量,得 0 的概率是 ∣ α ∣ 2 |\alpha|^2 ∣ α ∣ 2 、得 1 的概率是 ∣ β ∣ 2 |\beta|^2 ∣ β ∣ 2 ;归一化条件 ∣ α ∣ 2 + ∣ β ∣ 2 = 1 |\alpha|^2+|\beta|^2=1 ∣ α ∣ 2 + ∣ β ∣ 2 = 1 。
bra 与内积 :⟨ ψ ∣ = ( α ∗ β ∗ ) \langle\psi| = (\alpha^*\;\;\beta^*) ⟨ ψ ∣ = ( α ∗ β ∗ ) ,由 ket 转置 + 取共轭 得来(这套操作记作 † \dagger † ,dagger);⟨ ϕ ∣ ψ ⟩ \langle\phi|\psi\rangle ⟨ ϕ ∣ ψ ⟩ 是行乘列,结果是一个复数。
常用叠加态 :∣ ± ⟩ = 1 2 ( ∣ 0 ⟩ ± ∣ 1 ⟩ ) |\pm\rangle = \tfrac{1}{\sqrt2}(|0\rangle\pm|1\rangle) ∣ ± ⟩ = 2 1 ( ∣0 ⟩ ± ∣1 ⟩) ,互相正交。
Bloch 球 :单比特态的「地图」。∣ ψ ⟩ = cos θ 2 ∣ 0 ⟩ + e i ϕ sin θ 2 ∣ 1 ⟩ |\psi\rangle = \cos\frac{\theta}{2}|0\rangle + e^{i\phi}\sin\frac{\theta}{2}|1\rangle ∣ ψ ⟩ = cos 2 θ ∣0 ⟩ + e i ϕ sin 2 θ ∣1 ⟩ ,纬度 θ \theta θ 管概率、经度 ϕ \phi ϕ 管相位;正交的两个态在球上是对跖点 (正对面),不是垂直。
1. 种子问题:知道 α \alpha α ,能确定 β \beta β 吗?
答案分两半。归一化条件锁得住长度 :
∣ β ∣ = 1 − ∣ α ∣ 2 |\beta| = \sqrt{1-|\alpha|^2} ∣ β ∣ = 1 − ∣ α ∣ 2
但锁不住方向 。长度等于 1 − ∣ α ∣ 2 \sqrt{1-|\alpha|^2} 1 − ∣ α ∣ 2 的复数有无穷多个,绕着圆一整圈都是:
β = 1 − ∣ α ∣ 2 e i ϕ , ϕ ∈ [ 0 , 2 π ) \beta = \sqrt{1-|\alpha|^2}\;e^{i\phi},\qquad \phi\in[0,2\pi) β = 1 − ∣ α ∣ 2 e i ϕ , ϕ ∈ [ 0 , 2 π )
这个自由的 ϕ \phi ϕ 就是相位 ——而且它是真实的、可测量的物理信息。看反例最有说服力:固定 α = 1 2 \alpha = \tfrac{1}{\sqrt2} α = 2 1 (于是 ∣ β ∣ = 1 2 |\beta| = \tfrac{1}{\sqrt2} ∣ β ∣ = 2 1 也定了),只改 ϕ \phi ϕ :
ϕ \phi ϕ 态 Bloch 球位置 0 0 0 ∣ + ⟩ \vert+\rangle ∣ + ⟩ + x +x + x 轴π \pi π ∣ − ⟩ \vert-\rangle ∣ − ⟩ − x -x − x 轴π / 2 \pi/2 π /2 1 2 ( ∣ 0 ⟩ + i ∣ 1 ⟩ ) \tfrac{1}{\sqrt2}(\vert0\rangle+i\vert1\rangle) 2 1 ( ∣0 ⟩ + i ∣1 ⟩) + y +y + y 轴
同样的 α \alpha α 、同样的 ∣ β ∣ |\beta| ∣ β ∣ ,ϕ \phi ϕ 不同就是赤道上完全不同的点——∣ + ⟩ |+\rangle ∣ + ⟩ 和 ∣ − ⟩ |-\rangle ∣ − ⟩ 甚至互相正交,是可被完美区分的两个态。换一组基去测、或过一个门,结果天差地别。
用「两支箭头」的图景说 :α \alpha α 和 β \beta β 各是一支箭头(长度 + 方向)。物理上没有绝对的相位,就像没有绝对的位置——说「β \beta β 的方向是 30 ° 30° 30° 」没有意义,除非指明参照物;唯一存在的参照物是另一支箭头 α \alpha α 。所以真正有物理意义的量只有一个:两支箭头的夹角 。
两支一起转(全局相位 ):夹角不变,任何实验都测不出,没有意义;
只转一支(相对相位 ):夹角变了,干涉与换基测量都能看到,有意义。
类比:把整面钟挂歪 30 ° 30° 30° ,时针分针夹角不变,时间没变;只拨分针 30 ° 30° 30° ,时间变了。「约定 α \alpha α 为实数」就是把钟挂正——让 α \alpha α 指向 0 ° 0° 0° ,于是所有相位信息压缩成一个夹角 ϕ \phi ϕ 。
自由度清点 因此对上了 Bloch 球:两个复数共 4 个实参数,归一化吃掉 1 个、全局相位吃掉 1 个,剩 2 个——正是 ( θ , ϕ ) (\theta,\phi) ( θ , ϕ ) 。知道 α \alpha α 只给了你纬度,经度是独立的第二个信息。
2. 相位藏在哪里:为什么是 α ∣ 0 ⟩ + β ∣ 1 ⟩ \alpha|0\rangle+\beta|1\rangle α ∣0 ⟩ + β ∣1 ⟩
一个常见困惑:「这条公式里怎么没看到相位?」回答:相位一直在,它打包在复数里。 每个复数天生带方向,所以写下 α ∣ 0 ⟩ + β ∣ 1 ⟩ \alpha|0\rangle+\beta|1\rangle α ∣0 ⟩ + β ∣1 ⟩ 时,实际写下的是四个信息:
r α e i ϕ α ⏟ α ∣ 0 ⟩ + r β e i ϕ β ⏟ β ∣ 1 ⟩ \underbrace{r_\alpha e^{i\phi_\alpha}}_{\alpha}|0\rangle + \underbrace{r_\beta e^{i\phi_\beta}}_{\beta}|1\rangle α r α e i ϕ α ∣0 ⟩ + β r β e i ϕ β ∣1 ⟩
长度 r α , r β r_\alpha, r_\beta r α , r β 管概率,方向 ϕ α , ϕ β \phi_\alpha,\phi_\beta ϕ α , ϕ β 就是相位。α β \alpha\beta α β 写法是打包形式 (好写好算),Bloch 写法 cos θ 2 ∣ 0 ⟩ + e i ϕ sin θ 2 ∣ 1 ⟩ \cos\frac\theta2|0\rangle + e^{i\phi}\sin\frac\theta2|1\rangle cos 2 θ ∣0 ⟩ + e i ϕ sin 2 θ ∣1 ⟩ 是拆包形式 (冗余的全局相位已扔掉,仅剩的物理相位 ϕ \phi ϕ 明摆出来)。两者是同一件事的两种记号。
为什么偏偏选「复二维单位向量」当态的容器?因为它是三条实验事实的最小公倍数:
量子会叠加 (对角偏振真实存在)→ 态需要加法结构:两个基本态的线性组合;
量子会干涉 (两条路径能相消)→ 系数必须带方向。实数加不出自然的抵消,复数刚好:1 + e i π = 0 1 + e^{i\pi} = 0 1 + e iπ = 0 ;
测量给概率 → 系数的模平方当概率,∣ α ∣ 2 + ∣ β ∣ 2 = 1 |\alpha|^2+|\beta|^2=1 ∣ α ∣ 2 + ∣ β ∣ 2 = 1 恰是「向量长度为 1」,而量子操作全是保长度的旋转,概率守恒自动成立。
能相加、带方向、模平方当概率——同时满足三条的对象唯一:单位长度的复二维向量 。
3. 相位的物理化身:光的偏振
3.1 光是什么,偏振是什么
光是电磁波:电场一边振荡一边向前传播,且振动方向垂直于传播方向 。抖绳子的类比:绳子向前延伸(传播方向),手可以上下抖、左右抖、斜着抖——波都往前跑,但「抖的方向」不同。这个方向就是偏振 :水平摆是 ∣ H ⟩ |H\rangle ∣ H ⟩ ,竖直摆是 ∣ V ⟩ |V\rangle ∣ V ⟩ 。迎着光看,电场尖端来回描出一条线段,线的倾角就是偏振角。
3.2 45° 偏振 = 矢量分解 = 叠加态祛魅
斜 45 ° 45° 45° 摆的电场是什么?初中物理的矢量分解:
E ⃗ 45 ° = E cos 45 ° x ^ + E sin 45 ° y ^ \vec E_{45°} = E\cos45°\,\hat x + E\sin45°\,\hat y E 45° = E cos 45° x ^ + E sin 45° y ^
即等量的水平分量 + 等量的竖直分量 。翻译成量子记号(cos 45 ° = 1 2 \cos45° = \tfrac{1}{\sqrt2} cos 45° = 2 1 ):
∣ D ⟩ = 1 2 ∣ H ⟩ + 1 2 ∣ V ⟩ |D\rangle = \tfrac{1}{\sqrt2}|H\rangle + \tfrac{1}{\sqrt2}|V\rangle ∣ D ⟩ = 2 1 ∣ H ⟩ + 2 1 ∣ V ⟩
「叠加态」听起来玄,但对偏振来说它就是矢量分解——45 ° 45° 45° 的电场真实地、同时地 由水平摆动和竖直摆动合成,系数 1 2 \tfrac{1}{\sqrt2} 2 1 不是抽象符号,是几何投影的长度。这也回答了「∣ D ⟩ |D\rangle ∣ D ⟩ 是不是偷偷已经是 H 或 V」:都不是,它是一支确定指向 45 ° 45° 45° 的矢量——问「它到底是水平还是竖直」,就像问「东北方向到底是东还是北」,问题本身不成立。
3.3 任意角度与马吕斯定律
物理偏振角 θ \theta θ 的光子:
∣ ψ θ ⟩ = cos θ ∣ H ⟩ + sin θ ∣ V ⟩ |\psi_\theta\rangle = \cos\theta\,|H\rangle + \sin\theta\,|V\rangle ∣ ψ θ ⟩ = cos θ ∣ H ⟩ + sin θ ∣ V ⟩
例:30 ° 30° 30° 偏振,P ( H ) = cos 2 30 ° = 0.75 P(H) = \cos^2 30° = 0.75 P ( H ) = cos 2 30° = 0.75 ,P ( V ) = 0.25 P(V) = 0.25 P ( V ) = 0.25 。注意 θ \theta θ 与 θ + 180 ° \theta+180° θ + 180° 是同一个偏振(电场本来就在来回摆),所以互不相同的线偏振只占 [ 0 ° , 180 ° ) [0°,180°) [ 0° , 180° ) 。
偏振片 只放行沿自己透光轴的分量。经典光学的马吕斯定律 (1809):透过光强 I = I 0 cos 2 ( Δ θ ) I = I_0\cos^2(\Delta\theta) I = I 0 cos 2 ( Δ θ ) 。这个 cos 2 \cos^2 cos 2 与 Born 规则的 cos 2 \cos^2 cos 2 是同一个 :单光子层面,光子不可分割,要么整个穿过(概率 cos 2 Δ θ \cos^2\Delta\theta cos 2 Δ θ )要么整个被吸收;经典光是亿万个光子的统计平均。马吕斯定律其实是 Born 规则的经典影子——只是 1809 年没人知道分母下藏着光子。
3.4 「角度翻倍」之谜的物理揭晓
对照 Bloch 公式 cos ( θ B / 2 ) ∣ 0 ⟩ + ⋯ \cos(\theta_B/2)|0\rangle+\cdots cos ( θ B /2 ) ∣0 ⟩ + ⋯ ,物理偏振角扮演的正是 θ B / 2 \theta_B/2 θ B /2 的角色:
θ B l o c h = 2 θ 物理 \theta_{\mathrm{Bloch}} = 2\,\theta_{\text{物理}} θ Bloch = 2 θ 物理
物理偏振角 态 Bloch 球位置 0 ° 0° 0° ∣ H ⟩ \vert H\rangle ∣ H ⟩ 北极 45 ° 45° 45° ∣ D ⟩ \vert D\rangle ∣ D ⟩ 赤道 + x +x + x 90 ° 90° 90° ∣ V ⟩ \vert V\rangle ∣ V ⟩ 南极 135 ° 135° 135° ∣ A ⟩ \vert A\rangle ∣ A ⟩ 赤道 − x -x − x 180 ° 180° 180° 又是 ∣ H ⟩ \vert H\rangle ∣ H ⟩ 回到北极
物理转半圈,球上绕一整圈——一一对应、不重不漏。当初「为什么是 θ / 2 \theta/2 θ /2 」的设计决定,在偏振这里有了看得见的化身:H 与 V 物理上只差 90 ° 90° 90° ,但它们完全可区分(正交),所以地图上必须画成两极。
3.5 圆偏振:i i i 的物理身份
至今电场都沿直线摆。若 H 分量与 V 分量不同步 ——相差四分之一个周期——电场尖端就不再描线,而是画圆 :圆偏振 。「滞后四分之一周期」翻译成复数语言正是乘一个 i i i (i = e i π / 2 i = e^{i\pi/2} i = e iπ /2 ,转 90 ° 90° 90° ):
∣ ± i ⟩ = 1 2 ( ∣ H ⟩ ± i ∣ V ⟩ ) |\pm i\rangle = \tfrac{1}{\sqrt2}\big(|H\rangle \pm i|V\rangle\big) ∣ ± i ⟩ = 2 1 ( ∣ H ⟩ ± i ∣ V ⟩ )
它们是 Bloch 球 y y y 轴的两端(也是 Pauli Y Y Y 的特征向量,见 §5)。至此整个球被偏振填满:x x x –z z z 大圆是全部线偏振(实系数),y y y 轴两极是左右旋圆偏振,其余所有点是椭圆偏振。「i i i = 转 90 ° 90° 90° 」在这里不再是比喻,就是字面上的四分之一周期延迟(实验上用一片四分之一波片实现)。
3.6 一个能亲手做的实验:三片偏振片
光过 H 偏振片 → 出来的全是 ∣ H ⟩ |H\rangle ∣ H ⟩ ;
再放一片 V 偏振片 → ⟨ V ∣ H ⟩ = 0 \langle V|H\rangle = 0 ⟨ V ∣ H ⟩ = 0 ,全黑,合理;
在两片中间 插一片 45° 的 → 光居然透过来了(约 1 / 4 1/4 1/4 )。
挡板越多光越亮?因为中间那片是一次测量 :∣ H ⟩ |H\rangle ∣ H ⟩ 过 45 ° 45° 45° 片,以 cos 2 45 ° = 1 2 \cos^2 45° = \tfrac12 cos 2 45° = 2 1 的概率透过,且透过后态被投影成 ∣ D ⟩ |D\rangle ∣ D ⟩ ;∣ D ⟩ |D\rangle ∣ D ⟩ 再过 V 片,又是 1 2 \tfrac12 2 1 。合计 1 4 \tfrac14 4 1 。这就是「用错误的基测量会改变态」的桌面演示——量子密钥分发(BB84 协议)靠这条物理定律抓窃听者,而三片偏光墨镜就能亲眼看到它。
4. 量子比特不是光子:三层抽象
一个自然的误解:「qubit = 光子」。修正它最好的办法是先问经典问题:bit 是什么做的? CPU 里是电压,硬盘里是磁畴方向,光盘上是凹坑,打孔卡上是纸洞——载体天差地别,算法完全不关心。「bit」 是抽象的信息单位,电压们只是它的物理实现 。
Qubit 是同一个故事的量子版 。它的定义:任何二能级量子系统 ——只要有两个互相正交(完全可区分)、能被制备、操控、测量的量子态,就能当一个 qubit。∣ 0 ⟩ , ∣ 1 ⟩ |0\rangle,|1\rangle ∣0 ⟩ , ∣1 ⟩ 是逻辑标签,故意不提硬件。正确图景是三层:
逻辑层 :qubit 本身。∣ 0 ⟩ / ∣ 1 ⟩ |0\rangle/|1\rangle ∣0 ⟩ /∣1 ⟩ 、算法、协议、本文全部数学都住在这层;
自由度层 :具体挑出来承载信息的那对正交态——光子的偏振 、电子的自旋 (∣ ↑ ⟩ = ∣ 0 ⟩ , ∣ ↓ ⟩ = ∣ 1 ⟩ |{\uparrow}\rangle=|0\rangle,\ |{\downarrow}\rangle=|1\rangle ∣ ↑ ⟩ = ∣0 ⟩ , ∣ ↓ ⟩ = ∣1 ⟩ )、原子的能级 (基态/激发态)、超导电路的电流态;
载体层 :光子、电子、原子、电路等物理实体。一个实体可提供多个自由度,即多个潜在 qubit。
严格说连「光子的偏振是 qubit」都差半步——应该说「光子的偏振实现 了一个 qubit」,正如「这段导线上的电压实现了一个 bit」。这个分层是量子计算作为工程学科能成立的原因:理论家在逻辑层设计算法,实验家在载体层换硬件,接口契约就是「两个正交态 + 幺正操作 + 测量」。
两条实用附注。其一,标签会撞车 :同一个光子有偏振、路径、到达时间、光子数等多个自由度,每个都能编码。偏振编码里 ∣ 0 ⟩ = ∣ H ⟩ |0\rangle=|H\rangle ∣0 ⟩ = ∣ H ⟩ ;光子数编码里 ∣ 0 ⟩ |0\rangle ∣0 ⟩ = 真空(这里没有 光子)、∣ 1 ⟩ |1\rangle ∣1 ⟩ = 有一个光子——纸面符号相同,物理完全不同。读实验论文第一件事:找作者对编码的定义。Labels are cheap; always ask what physical states they name. 其二,对自旋 ½ 粒子,Bloch 球几乎不再是抽象地图——球上箭头方向就真的是自旋磁矩在实验室空间指的方向;这也是这个球最初被发明的语境(Felix Bloch 研究核磁共振里的自旋)。
5. Pauli 矩阵:一套矩阵,三条性质
三位主角:
X = ( 0 1 1 0 ) , Y = ( 0 − i i 0 ) , Z = ( 1 0 0 − 1 ) X = \begin{pmatrix}0&1\\1&0\end{pmatrix},\qquad Y = \begin{pmatrix}0&-i\\i&0\end{pmatrix},\qquad Z = \begin{pmatrix}1&0\\0&-1\end{pmatrix} X = ( 0 1 1 0 ) , Y = ( 0 i − i 0 ) , Z = ( 1 0 0 − 1 )
它们是门 (gate):作用方式就是矩阵乘向量。X X X 交换上下分量(X ∣ 0 ⟩ = ∣ 1 ⟩ X|0\rangle=|1\rangle X ∣0 ⟩ = ∣1 ⟩ ,量子版非门);Z Z Z 给第二个分量翻号;Y Y Y 兼而有之再配上 i i i 。几何身份:各自是 Bloch 球上绕 x , y , z x,y,z x , y , z 轴转 180 ° 180° 180° 的旋转 。
5.1 性质一:自逆
X 2 = Y 2 = Z 2 = I X^2 = Y^2 = Z^2 = I X 2 = Y 2 = Z 2 = I
「做两次等于没做」——转 180 ° 180° 180° 两次即转 360 ° 360° 360° 回原位,和经典 NOT 一样。这条看似平凡,却是多处的幕后功臣:它规定特征值必须满足 λ 2 = 1 \lambda^2=1 λ 2 = 1 (见 5.3);它让旋转算符的级数收拢成 cos \cos cos 与 sin \sin sin (见 §6);它还会在不确定性原理的证明里出场(见 5.4)。
5.2 性质二:既厄米又幺正——双重身份证
两个定义(都用 † \dagger † ):
幺正(unitary) :U † U = I U^\dagger U = I U † U = I 。这类矩阵保长度 (∥ U v ∥ = ∥ v ∥ \|Uv\| = \|v\| ∥ U v ∥ = ∥ v ∥ ,两行可证)。物理含义:态必须保持归一化、概率总和恒为 1,所以合法的量子门有且只有幺正矩阵 ——「门」的资格证。
厄米(Hermitian) :A † = A A^\dagger = A A † = A 。这类矩阵特征值全是实数 。物理含义:测量读数必须是实数,所以可观测量由厄米矩阵表示 ——「仪器」的资格证(详见 §8)。
两证通常不可兼得(例如旋转门 R z ( θ ) R_z(\theta) R z ( θ ) 幺正但一般不厄米,只能当门)。Pauli 两证齐全,原因正是性质一:厄米(P † = P P^\dagger = P P † = P )加自逆(P 2 = I P^2=I P 2 = I )立刻给出 P † P = P 2 = I P^\dagger P = P^2 = I P † P = P 2 = I 。后果:同一个矩阵 Z Z Z ,在电路方框里是门,在「measure Z Z Z 」这句话里是仪器 ——初学最容易被「测量一个矩阵」绊倒,它指的是后一个身份。
5.3 特征向量与特征值 ±1
定义 :若 M v = λ v Mv = \lambda v M v = λ v ——矩阵作用后方向不变、只整体乘一个数——则 v v v 是 M M M 的特征向量 ,倍数 λ \lambda λ 是特征值 。直白说:特征向量是矩阵「动不了」的方向,特征值是它在该方向上唯一能做的事(伸缩或翻号)。
对 Pauli,倍数只有两种。验证 Z Z Z :
Z ∣ 0 ⟩ = ( 1 0 ) = ( + 1 ) ∣ 0 ⟩ , Z ∣ 1 ⟩ = ( 0 − 1 ) = ( − 1 ) ∣ 1 ⟩ Z|0\rangle = \binom10 = (+1)|0\rangle,\qquad Z|1\rangle = \binom{0}{-1} = (-1)|1\rangle Z ∣0 ⟩ = ( 0 1 ) = ( + 1 ) ∣0 ⟩ , Z ∣1 ⟩ = ( − 1 0 ) = ( − 1 ) ∣1 ⟩
X X X 交换分量:∣ + ⟩ |+\rangle ∣ + ⟩ 两分量相同,换了等于没换(+ 1 +1 + 1 );∣ − ⟩ |-\rangle ∣ − ⟩ 换完差个整体负号(− 1 -1 − 1 )。完整字典:
Pauli 特征值 + 1 +1 + 1 特征值 − 1 -1 − 1 轴 Z Z Z ∣ 0 ⟩ \vert0\rangle ∣0 ⟩ ∣ 1 ⟩ \vert1\rangle ∣1 ⟩ z z z (两极)X X X ∣ + ⟩ \vert+\rangle ∣ + ⟩ ∣ − ⟩ \vert-\rangle ∣ − ⟩ x x x Y Y Y ∣ + i ⟩ \vert{+i}\rangle ∣ + i ⟩ ∣ − i ⟩ \vert{-i}\rangle ∣ − i ⟩ y y y
为什么倍数只能是 ± 1 \pm1 ± 1 :自逆 ⟹ λ 2 = 1 \lambda^2=1 λ 2 = 1 ;厄米 ⟹ λ \lambda λ 是实数。名单锁死。
为什么特征向量恰好落在对应的轴上 :Pauli 门 = 绕轴转 180 ° 180° 180° 。地球仪绕南北轴自转时,不动的点只有轴上两个——北极和南极。「作用后方向不变」 = 「旋转时位置不动」 = 在转轴上 。所以每行特征向量正是该轴的两个端点;顺带印证老规律:球上每条直径的两端是一对正交(可完美区分)的态。
± 1 \pm1 ± 1 的两个物理身份 (对应矩阵的两个角色):
当门看,− 1 -1 − 1 是相位 。Z ∣ 1 ⟩ = − ∣ 1 ⟩ Z|1\rangle = -|1\rangle Z ∣1 ⟩ = − ∣1 ⟩ ,单独的 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 乘 − 1 -1 − 1 只是全局相位、球上不动;但放进叠加,两个分量倍数不同(+ 1 +1 + 1 与 − 1 -1 − 1 ),差成相对 相位:Z ∣ + ⟩ = 1 2 ( ∣ 0 ⟩ − ∣ 1 ⟩ ) = ∣ − ⟩ Z|+\rangle = \tfrac{1}{\sqrt2}(|0\rangle - |1\rangle) = |-\rangle Z ∣ + ⟩ = 2 1 ( ∣0 ⟩ − ∣1 ⟩) = ∣ − ⟩ ,赤道上转了 180 ° 180° 180° ,与「Z Z Z = 绕 z z z 轴转半圈」吻合。
当仪器看,± 1 \pm1 ± 1 是仪表盘读数 。测量规则(§8)说读数必须是特征值,所以「测 Z Z Z 」的输出就是 + 1 +1 + 1 或 − 1 -1 − 1 :读到 + 1 +1 + 1 ⟺ 态坍缩到 ∣ 0 ⟩ |0\rangle ∣0 ⟩ ,读到 − 1 -1 − 1 ⟺ 坍缩到 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 。选 ± 1 \pm1 ± 1 而非 0 / 1 0/1 0/1 有个便利:期望值 ⟨ Z ⟩ = P ( + 1 ) − P ( − 1 ) \langle Z\rangle = P(+1)-P(-1) ⟨ Z ⟩ = P ( + 1 ) − P ( − 1 ) ,一个数表达「偏向哪头」。
5.4 性质三:循环不对易——量子怪异性的代数指纹
对易子 (commutator)定义:
[ A , B ] = A B − B A [A,B] = AB - BA [ A , B ] = A B − B A
衡量交换操作顺序会差多少 :[ A , B ] = 0 [A,B]=0 [ A , B ] = 0 则顺序无所谓(对易),否则顺序有讲究。普通数字永远对易,矩阵一般不。亲手算一条:
X Y = ( 0 1 1 0 ) ( 0 − i i 0 ) = ( i 0 0 − i ) = i Z , Y X = − i Z XY = \begin{pmatrix}0&1\\1&0\end{pmatrix}\begin{pmatrix}0&-i\\i&0\end{pmatrix} = \begin{pmatrix}i&0\\0&-i\end{pmatrix} = iZ,\qquad YX = -iZ X Y = ( 0 1 1 0 ) ( 0 i − i 0 ) = ( i 0 0 − i ) = i Z , Y X = − i Z
[ X , Y ] = X Y − Y X = 2 i Z [X,Y] = XY - YX = 2iZ [ X , Y ] = X Y − Y X = 2 i Z
三条关系循环轮转(字母按 X → Y → Z → X X\to Y\to Z\to X X → Y → Z → X 推进,记一条转两下即可):
[ X , Y ] = 2 i Z , [ Y , Z ] = 2 i X , [ Z , X ] = 2 i Y [X,Y]=2iZ,\qquad [Y,Z]=2iX,\qquad [Z,X]=2iY [ X , Y ] = 2 i Z , [ Y , Z ] = 2 i X , [ Z , X ] = 2 iY
结构与向量叉积 x ^ × y ^ = z ^ \hat x\times\hat y = \hat z x ^ × y ^ = z ^ 一模一样——这不是巧合,它就是三维旋转的代数 。而旋转天生不对易:拿起手机,先绕横轴翻 90 ° 90° 90° 再绕竖轴转 90 ° 90° 90° ,与反过来做,最终朝向不同。Pauli 不对易只是这个日常几何事实的矩阵版本。
重头戏:不对易 = 不确定性原理。 笔记式的说法是「不对易的可观测量恰好是不能同时被知道的那些」,它可以五行证明,而且工具你全都有了。
第一步,把「同时知道」翻译成数学:「态对可观测量 A A A 有确定值」 ⟺ 测 A A A 结果 100% 确定 ⟺ 态是 A A A 的特征向量 。于是「同时确定 Z Z Z 和 X X X 」 = 存在共同特征向量。
第二步,反证不存在。设非零 v v v 同时满足 Z v = λ v , X v = μ v Zv=\lambda v,\ Xv=\mu v Z v = λ v , X v = μv (λ , μ = ± 1 \lambda,\mu=\pm1 λ , μ = ± 1 )。则
[ Z , X ] v = Z X v − X Z v = μ λ v − λ μ v = 0 [Z,X]v = ZXv - XZv = \mu\lambda v - \lambda\mu v = 0 [ Z , X ] v = Z X v − X Z v = μ λ v − λ μv = 0
(数字相乘可交换,两项相消。)但 [ Z , X ] = 2 i Y [Z,X]=2iY [ Z , X ] = 2 iY ,故 2 i Y v = 0 2iYv=0 2 iY v = 0 ,即 Y v = 0 Yv=0 Y v = 0 。而性质一说 Y 2 = I Y^2=I Y 2 = I ——Y Y Y 可逆,可逆矩阵只把零向量映到零,于是 v = 0 v=0 v = 0 ,矛盾。■ \blacksquare ■
结论:Z Z Z 与 X X X 没有任何共同特征向量。 不是「很难同时知道」,是不存在一个对两者都确定的态。三条性质在五行里全部登场:对易子给出 2 i Y 2iY 2 iY ,自逆保证 Y Y Y 可逆,「确定值 = 特征向量」依赖厄米身份。
第三步,看物理面貌。∣ 0 ⟩ |0\rangle ∣0 ⟩ 是 Z Z Z 的特征向量(Z Z Z 值确定),但测 X X X :P ( ± ) = ∣ ⟨ ± ∣ 0 ⟩ ∣ 2 = 1 2 P(\pm) = |\langle\pm|0\rangle|^2 = \tfrac12 P ( ± ) = ∣ ⟨ ± ∣0 ⟩ ∣ 2 = 2 1 ——最大程度不确定 。Bloch 球上一目了然:知道 Z Z Z = 箭头在 z z z 轴上,知道 X X X = 箭头在 x x x 轴上,一支箭头不可能同时躺在两条垂直的轴上 ——一个跷跷板,两头不可兼得。还要点破一层:这不是「X X X 值存在但我们无知」。处在 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 的比特,其 X X X 值根本没有被定义 (如同问「东北方向到底是东还是北」);这一点可被实验区分于经典无知——Bell 不等式实验干的就是这件事。
第四步,认出老朋友。海森堡 Δ x Δ p ≥ ℏ / 2 \Delta x\,\Delta p \ge \hbar/2 Δ x Δ p ≥ ℏ/2 出发点是同一代数:[ x ^ , p ^ ] = i ℏ [\hat x,\hat p] = i\hbar [ x ^ , p ^ ] = i ℏ 。定量的一般形式(Robertson 不等式):
Δ A ⋅ Δ B ≥ 1 2 ∣ ⟨ [ A , B ] ⟩ ∣ \Delta A\cdot\Delta B \;\ge\; \tfrac12\big|\langle[A,B]\rangle\big| Δ A ⋅ Δ B ≥ 2 1 ⟨[ A , B ]⟩
两个量的不确定度乘积,下界由对易子决定。经典物理一切对易,所以一切可同时知道;量子的「怪」全部从「矩阵乘法不交换」这一个代数事实里长出来。应用到密码学:BB84 的两组编码基正是 Z Z Z 与 X X X 的特征向量,[ Z , X ] ≠ 0 [Z,X]\ne0 [ Z , X ] = 0 ⟹ 无共同特征向量 ⟹ 窃听者不存在任何能同时读准两组基的测量——协议安全性的五行数学背书。
6. 旋转门:欧拉公式的矩阵版
Pauli 门是「暴烈」的门(X X X 把北极瞬移到南极)。想在 Bloch 球上连续 移动,把 Pauli 喂进矩阵指数:
R a ( θ ) = e − i θ P a / 2 = cos ( θ 2 ) I − i sin ( θ 2 ) P a R_a(\theta) = e^{-i\theta P_a/2} = \cos\!\Big(\frac\theta2\Big)I - i\sin\!\Big(\frac\theta2\Big)P_a R a ( θ ) = e − i θ P a /2 = cos ( 2 θ ) I − i sin ( 2 θ ) P a
其中 P a P_a P a 是转轴对应的 Pauli(绕 x x x 转放 X X X ,依此类推),θ \theta θ 是想在球上转的角度。左边是定义,右边是算出来的闭式;中间那步是本节的主菜。
6.1 矩阵指数:老公式放宽适用范围
指数函数的泰勒级数 e x = 1 + x + x 2 2 ! + ⋯ e^x = 1 + x + \frac{x^2}{2!} + \cdots e x = 1 + x + 2 ! x 2 + ⋯ 只用到乘法和加法——矩阵都会。所以直接定义:
e A = I + A + A 2 2 ! + A 3 3 ! + ⋯ e^A = I + A + \frac{A^2}{2!} + \frac{A^3}{3!} + \cdots e A = I + A + 2 ! A 2 + 3 ! A 3 + ⋯
6.2 级数自己劈成两堆
代入 A = − i θ 2 P A = -\tfrac{i\theta}{2}P A = − 2 i θ P ,第 n n n 项是 1 n ! ( − i θ 2 ) n P n \frac{1}{n!}\big({-}\tfrac{i\theta}{2}\big)^n P^n n ! 1 ( − 2 i θ ) n P n 。两个循环同时开动:( − i ) (-i) ( − i ) 的幂四步一循环(− i , − 1 , + i , + 1 -i,-1,+i,+1 − i , − 1 , + i , + 1 ),P P P 的幂两步一循环(P 2 = I P^2=I P 2 = I 上场 :P , I , P , I , … P, I, P, I,\ldots P , I , P , I , … )。于是偶数项全带 I I I 、奇数项全带 P P P ,按两堆分组:
e − i θ P / 2 = [ 1 − ( θ / 2 ) 2 2 ! + ( θ / 2 ) 4 4 ! − ⋯ ] I − i [ θ 2 − ( θ / 2 ) 3 3 ! + ⋯ ] P e^{-i\theta P/2} = \Big[1 - \tfrac{(\theta/2)^2}{2!} + \tfrac{(\theta/2)^4}{4!} - \cdots\Big] I \;-\; i\Big[\tfrac{\theta}{2} - \tfrac{(\theta/2)^3}{3!} + \cdots\Big] P e − i θ P /2 = [ 1 − 2 ! ( θ /2 ) 2 + 4 ! ( θ /2 ) 4 − ⋯ ] I − i [ 2 θ − 3 ! ( θ /2 ) 3 + ⋯ ] P
两个方括号正是 cos ( θ / 2 ) \cos(\theta/2) cos ( θ /2 ) 与 sin ( θ / 2 ) \sin(\theta/2) sin ( θ /2 ) 的泰勒级数。闭式到手。这个推导与欧拉公式的推导逐字平行——那边靠 i 2 = − 1 i^2=-1 i 2 = − 1 劈级数,这边靠 P 2 = I P^2=I P 2 = I 做同一件事:
欧拉公式 旋转算符 劈开级数的引擎 i 2 = − 1 i^2=-1 i 2 = − 1 P 2 = I P^2=I P 2 = I 结果 e i ϕ = cos ϕ + i sin ϕ e^{i\phi} = \cos\phi + i\sin\phi e i ϕ = cos ϕ + i sin ϕ e − i θ P / 2 = cos θ 2 I − i sin θ 2 P e^{-i\theta P/2} = \cos\frac\theta2 I - i\sin\frac\theta2 P e − i θ P /2 = cos 2 θ I − i sin 2 θ P 转的东西 复平面上一支箭头 Bloch 球上的态箭头
更深一层的观察:( − i P ) 2 = ( − i ) 2 P 2 = − I (-iP)^2 = (-i)^2P^2 = -I ( − i P ) 2 = ( − i ) 2 P 2 = − I ——平方等于 − I -I − I ,这正是 i i i 的定义(i 2 = − 1 i^2=-1 i 2 = − 1 )的矩阵版 。− i X , − i Y , − i Z -iX, -iY, -iZ − i X , − iY , − i Z 是三个不同的「矩阵版 i i i 」,每条转轴自带一份;旋转公式就是欧拉公式换了引擎重演一遍。
6.3 验证与使用
特殊角度自检:θ = 0 \theta=0 θ = 0 给 I I I (不转)✓;θ = π \theta=\pi θ = π 给 − i P -iP − i P ——差一个全局相位就是 Pauli 门本身,「Pauli = 绕轴转 180 ° 180° 180° 」从口号变成推论 ✓;θ = 2 π \theta=2\pi θ = 2 π 给 − I -I − I (见 6.4)。
R z R_z R z 的显式矩阵(反向用欧拉公式把对角元收拢回指数):
R z ( θ ) = ( e − i θ / 2 0 0 e i θ / 2 ) , R z ( θ ) ( α ∣ 0 ⟩ + β ∣ 1 ⟩ ) ≅ α ∣ 0 ⟩ + e i θ β ∣ 1 ⟩ R_z(\theta) = \begin{pmatrix}e^{-i\theta/2} & 0\\ 0 & e^{i\theta/2}\end{pmatrix},\qquad R_z(\theta)\big(\alpha|0\rangle+\beta|1\rangle\big) \cong \alpha|0\rangle + e^{i\theta}\beta|1\rangle R z ( θ ) = ( e − i θ /2 0 0 e i θ /2 ) , R z ( θ ) ( α ∣0 ⟩ + β ∣1 ⟩ ) ≅ α ∣0 ⟩ + e i θ β ∣1 ⟩
(最后一步提出全局相位扔掉。)R z R_z R z 纯粹给相对相位加 θ \theta θ 、概率纹丝不动 ——它是「拨两支箭头夹角」的旋钮;改概率要靠 R x , R y R_x, R_y R x , R y 。再验一个:
R y ( π 2 ) ∣ 0 ⟩ = ( cos π 4 − sin π 4 sin π 4 cos π 4 ) ( 1 0 ) = 1 2 ( 1 1 ) = ∣ + ⟩ R_y\big(\tfrac\pi2\big)|0\rangle = \begin{pmatrix}\cos\frac\pi4 & -\sin\frac\pi4\\ \sin\frac\pi4 & \cos\frac\pi4\end{pmatrix}\binom10 = \tfrac{1}{\sqrt2}\binom11 = |+\rangle R y ( 2 π ) ∣0 ⟩ = ( cos 4 π sin 4 π − sin 4 π cos 4 π ) ( 0 1 ) = 2 1 ( 1 1 ) = ∣ + ⟩
北极转到赤道 ✓。幺正性一行证明:dagger 把 − i -i − i 变 + i +i + i ,故 R a ( θ ) † = R a ( − θ ) R_a(\theta)^\dagger = R_a(-\theta) R a ( θ ) † = R a ( − θ ) ,于是 R a ( θ ) † R a ( θ ) = R a ( 0 ) = I R_a(\theta)^\dagger R_a(\theta) = R_a(0) = I R a ( θ ) † R a ( θ ) = R a ( 0 ) = I ——「转回去」就是逆。
为什么是 θ / 2 \theta/2 θ /2 :球以双倍速运行(本文第三次现身)。矩阵住在态空间,球是地图,地图角 = 态空间角 × 2,想让地图转 θ \theta θ ,矩阵里写 θ / 2 \theta/2 θ /2 。为什么带负号 :约定旋转正方向(右手定则),出处是薛定谔方程的解 e − i H t / ℏ e^{-iHt/\hbar} e − i H t /ℏ 。
6.4 转满 360° 不等于什么都没做
代 θ = 2 π \theta=2\pi θ = 2 π :R a ( 2 π ) = cos ( π ) I = − I R_a(2\pi) = \cos(\pi)I = -I R a ( 2 π ) = cos ( π ) I = − I 。球上箭头回到原位,态却被乘了 − 1 -1 − 1 ;要在数学上真正回家得转 θ = 4 π \theta = 4\pi θ = 4 π ,即 720 ° 720° 720° 。
表面矛盾来了:− 1 -1 − 1 不是全局相位吗?不是说测不到吗?解决方案正是第 1 节的原则——整体乘没意义,只乘一支才有意义 。诀窍:别旋转整个系统,只旋转叠加的其中一支。用干涉仪实现——把一个粒子分成两条路径的叠加,只在下路让自旋转 2 π 2\pi 2 π :
1 2 ( ∣ 上 ⟩ + ∣ 下 ⟩ ) ⟶ 1 2 ( ∣ 上 ⟩ − ∣ 下 ⟩ ) \tfrac{1}{\sqrt2}\big(|{\text{上}}\rangle + |{\text{下}}\rangle\big) \;\longrightarrow\; \tfrac{1}{\sqrt2}\big(|{\text{上}}\rangle - |{\text{下}}\rangle\big) 2 1 ( ∣ 上 ⟩ + ∣ 下 ⟩ ) ⟶ 2 1 ( ∣ 上 ⟩ − ∣ 下 ⟩ )
那个 − 1 -1 − 1 只挂在一支上,成了相对相位 π \pi π :汇合时干涉从相长变相消,条纹明暗对调,探测器可见 。这不是思想实验——1975 年 Rauch 团队与 Werner 团队各自用中子干涉仪做成了它:单晶硅劈开中子束,一路加磁场让自旋进动,条纹随转角以 4 π 4\pi 4 π 为周期,转 360 ° 360° 360° 恰好反相。所有自旋 ½ 粒子(电子、质子、中子)都如此,术语叫旋量 (spinor)。
日常世界的影子:端盘子戏法 ——手掌向上托盘旋转手臂 360 ° 360° 360° ,手臂拧成麻花;同方向再转 360 ° 360° 360° ,手臂自己解开,总共 720 ° 720° 720° 回到起点。数学根源是群论事实:S U ( 2 ) SU(2) S U ( 2 ) 是三维旋转群 S O ( 3 ) SO(3) S O ( 3 ) 的双覆盖 ——球上每个旋转对应 ± U \pm U ± U 两个矩阵,这个 ± \pm ± 正是 θ / 2 \theta/2 θ /2 之谜、2 π → − 1 2\pi\to-1 2 π → − 1 现象与端盘子戏法共同的身份证。
6.5 硬件身份
实验室里这条公式不是抽象记号:对超导比特打微波脉冲、对离子打激光,硬件解的是薛定谔方程 e − i H t / ℏ e^{-iHt/\hbar} e − i H t /ℏ ;当哈密顿量正比于某个 Pauli 时它精确长成 R a ( θ ) R_a(\theta) R a ( θ ) ,且 θ \theta θ 正比于脉冲时长 。「校准一个门」很大程度上就是把脉冲长度调到 θ \theta θ 恰好等于目标角。
7. 电路图与幺正世界
7.1 电路记号:时间从左往右,矩阵从右往左
电路图三条读法:每根横线是一个量子比特(它的时间轴 ,不是空间导线);每个方框是一个门;从左往右读 = 时间先后 。坑在换算矩阵:矩阵作用是函数套函数,先做的紧贴 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 、后做的套外面,所以矩阵串从右往左 读:
∣ ψ ⟩ — [ X ] — [ H ] — ≡ H X ∣ ψ ⟩ ( X 先做! ) |\psi\rangle\;—[X]—[H]—\qquad\equiv\qquad H\,X\,|\psi\rangle\quad(X\text{ 先做!}) ∣ ψ ⟩ — [ X ] — [ H ] — ≡ H X ∣ ψ ⟩ ( X 先做! )
拿 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 走一遍,看读错顺序多致命:
正确(X X X 先) :X ∣ 0 ⟩ = ∣ 1 ⟩ X|0\rangle = |1\rangle X ∣0 ⟩ = ∣1 ⟩ ,再 H ∣ 1 ⟩ = ∣ − ⟩ H|1\rangle = |-\rangle H ∣1 ⟩ = ∣ − ⟩ 。输出 ∣ − ⟩ |-\rangle ∣ − ⟩ 。
读反(H H H 先) :H ∣ 0 ⟩ = ∣ + ⟩ H|0\rangle = |+\rangle H ∣0 ⟩ = ∣ + ⟩ ,再 X ∣ + ⟩ = ∣ + ⟩ X|+\rangle = |+\rangle X ∣ + ⟩ = ∣ + ⟩ (∣ + ⟩ |+\rangle ∣ + ⟩ 是 X X X 的 + 1 +1 + 1 特征向量,纹丝不动)。输出 ∣ + ⟩ |+\rangle ∣ + ⟩ 。
∣ − ⟩ |-\rangle ∣ − ⟩ 与 ∣ + ⟩ |+\rangle ∣ + ⟩ 互相正交 ——错得不能再错。顺序重要的代数原因:H H H 与 X X X 不对易。口诀:态从右边喂进矩阵串,最先撞上的最先干活。 (H H H 是 Hadamard 门,H ∣ 0 ⟩ = ∣ + ⟩ , H ∣ 1 ⟩ = ∣ − ⟩ H|0\rangle=|+\rangle,\ H|1\rangle=|-\rangle H ∣0 ⟩ = ∣ + ⟩ , H ∣1 ⟩ = ∣ − ⟩ :制造叠加、实现干涉的标准工具。)
7.2 门的完整名单 = 幺正矩阵
Fact:合法的单比特操作恰好是 2 × 2 2\times2 2 × 2 幺正矩阵。 「恰好」是双向承诺:(⟹)必须幺正——概率要活下来,幺正恰是全部的保长度者;(⟸)幺正就够了——任何 2 × 2 2\times2 2 × 2 幺正都能拆成三次旋转(U = e i δ R z ( γ ) R y ( β ) R z ( α ) U = e^{i\delta}R_z(\gamma)R_y(\beta)R_z(\alpha) U = e i δ R z ( γ ) R y ( β ) R z ( α ) ),而旋转就是打脉冲。名单不多不少。
7.3 封闭与开放:幺正的适用边界
封闭系统 (closed):与外界零接触——薛定谔方程接管,演化永远 幺正;
开放系统 (open):环境掺和进来——非幺正的事开始发生,测量是最极端的例子 (随机、不可逆、破坏叠加)。
理想量子计算机:测量之间保持封闭、全程幺正;测量是唯一例外出口。这也解释硬件头号敌人退相干 (decoherence)——环境的任何「偷看」本质是一次不请自来的小测量,悄悄搞塌你的叠加。
7.4 赠品一:每个门都能撤销
幺正 ⟹ 可逆,解药是 dagger:U † U ∣ ψ ⟩ = ∣ ψ ⟩ U^\dagger U|\psi\rangle = |\psi\rangle U † U ∣ ψ ⟩ = ∣ ψ ⟩ ;撤销一段电路 = 倒序跑、每盒换 dagger 版。对比经典:AND 门两比特进一比特出 ——看到输出 0 无法知道输入是 00、01 还是 10,信息被销毁,不可逆。量子电路里没有销毁选项(测量前一切幺正),所以把经典逻辑编译进量子电路必须先可逆化 (引入 Toffoli 等可逆门)——这不是哲学趣闻,是写电路真会撞上的设计约束。
7.5 赠品二:球上任意点到任意点
幺正保内积 ⟹ 保任意两态「夹角」 ⟹ Bloch 球上表现为刚体旋转 ,可把任何一点送到任何另一点。这是每个算法第一行的许可证:硬件天然只会制备 ∣ 0 ⟩ |0\rangle ∣0 ⟩ ,但任何目标初态都等于「∣ 0 ⟩ |0\rangle ∣0 ⟩ 加一个合适的 U U U 」。
8. 测量:仪器的数学身份
8.1 可观测量:每台仪器一个厄米矩阵
Postulate :每个可测物理量(「observable」:能量、某方向自旋、某角度偏振……)对应一个厄米矩阵 A A A 。A A A 是「随便哪台仪器」的占位符——你已认识三个具体成员:Z , X , Y Z, X, Y Z , X , Y 。矩阵与仪器的字典只有两条:
特征值 = 仪表盘上可能出现的读数清单 (厄米保证全是实数);
特征向量 = 对每个读数「答案确定」的态,也是测完之后系统的落点 。
测 A A A 的三条条款:读数必是 A A A 的某个特征值;态投影(坍缩) 到该读数对应的特征向量;哪个读数出现是随机的,概率由态决定(Born)。推论:只有已坐在特征向量上的态给出可预测的结果 ,其余一切态的单次答案无人能预测。
读数不总是 ± 1 \pm1 ± 1 :能量可观测量是哈密顿矩阵 H ^ \hat H H ^ ,特征值是各能级的能量(任意实数),特征向量是能级本身——同一套条款一字不改。
8.2 关键澄清:测量不是计算 A ∣ ψ ⟩ A|\psi\rangle A ∣ ψ ⟩
一个几乎必然产生的误解:「用矩阵乘状态,得到一个 classical bit。」不是。 演示「硬乘」为什么必然不对:取 H ^ = d i a g ( 2 , 5 ) \hat H = \mathrm{diag}(2,5) H ^ = diag ( 2 , 5 ) (特征值 2 和 5),态 ∣ ψ ⟩ = 1 2 ( ∣ 0 ⟩ + ∣ 1 ⟩ ) |\psi\rangle = \tfrac{1}{\sqrt2}(|0\rangle+|1\rangle) ∣ ψ ⟩ = 2 1 ( ∣0 ⟩ + ∣1 ⟩) ,真去乘:
H ^ ∣ ψ ⟩ = 1 2 ( 2 ∣ 0 ⟩ + 5 ∣ 1 ⟩ ) \hat H|\psi\rangle = \tfrac{1}{\sqrt2}\big(2|0\rangle + 5|1\rangle\big) H ^ ∣ ψ ⟩ = 2 1 ( 2∣0 ⟩ + 5∣1 ⟩ )
三宗罪:长度平方 = ( 4 + 25 ) / 2 = 14.5 ≠ 1 = (4+25)/2 = 14.5 \ne 1 = ( 4 + 25 ) /2 = 14.5 = 1 ,不是合法量子态 ;没有输出任何数字 ;矩阵乘法完全确定 ,而真实测量是随机的。真实结果是:50% 读出 2、态变 ∣ 0 ⟩ |0\rangle ∣0 ⟩ ;50% 读出 5、态变 ∣ 1 ⟩ |1\rangle ∣1 ⟩ ——与乘积毫无相似之处。
8.3 正确图景:密码本 + 掷骰子
A A A 的真实身份是把两样东西打包:一组正交基(特征向量)+ 每支基态上贴的读数标签(特征值) 。测量的实际流程四步,乘法一次没出现:
查密码本 :解出 A A A 的特征向量与特征值(设计仪器时已完成);
分解 :把 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 按特征基展开,∣ ψ ⟩ = c 1 ∣ v 1 ⟩ + c 2 ∣ v 2 ⟩ |\psi\rangle = c_1|v_1\rangle + c_2|v_2\rangle ∣ ψ ⟩ = c 1 ∣ v 1 ⟩ + c 2 ∣ v 2 ⟩ ;
掷骰子 :按 Born 规则选结果,读出 λ i \lambda_i λ i 的概率是 ∣ c i ∣ 2 |c_i|^2 ∣ c i ∣ 2 ;
坍缩 :态跳到中奖的 ∣ v i ⟩ |v_i\rangle ∣ v i ⟩ 。
物理过程由仪器(分束器、磁铁……)执行;矩阵描述的不是机械构造而是接口规格 ——A A A 是仪器的 API 签名 :返回值清单(特征值)+ 确定性输入集(特征向量)。实现是硬件的事,签名是矩阵的事。谱定理保证厄米矩阵恰好等价于 这份数据:A = ∑ i λ i ∣ v i ⟩ ⟨ v i ∣ A = \sum_i \lambda_i |v_i\rangle\langle v_i| A = ∑ i λ i ∣ v i ⟩ ⟨ v i ∣ ——矩阵就是密码本压缩成的一个对象。
矩阵乘法有三个合法 用途,全是纸面记账:制作密码本 (解 A v = λ v Av=\lambda v A v = λ v ,乘法当诊断工具);算平均读数 ⟨ A ⟩ = ⟨ ψ ∣ A ∣ ψ ⟩ \langle A\rangle = \langle\psi|A|\psi\rangle ⟨ A ⟩ = ⟨ ψ ∣ A ∣ ψ ⟩ (上例:1 2 ⋅ 2 + 1 2 ⋅ 5 = 3.5 \tfrac12\cdot2+\tfrac12\cdot5 = 3.5 2 1 ⋅ 2 + 2 1 ⋅ 5 = 3.5 ✓——统计工具,非测量本身);判断兼容性 (对易子机器需要矩阵才能相减)。
8.4 双重身份对照表
当门 用 当可观测量 用 数学动作 真的乘:∣ ψ ⟩ → Z ∣ ψ ⟩ \vert\psi\rangle \to Z\vert\psi\rangle ∣ ψ ⟩ → Z ∣ ψ ⟩ 查密码本 + Born 掷骰子 确定性 完全确定 单次结果随机 可逆性 可逆(Z † Z^\dagger Z † 撤销) 不可逆(信息被烧掉) 输出 新量子态,无数字 一个经典数字 + 坍缩后的态
矩阵乘法属于左列的世界(幺正演化);测量是右列的世界,公理清单里两条独立规则,不能互相化归。
最后把「厄米」的资格说满:一台合格仪器需要读数是实数 (厄米 ⟹ 特征值全实)、不同结果可区分 (谱定理 ⟹ 不同特征值的特征向量自动正交——∣ 0 ⟩ ⊥ ∣ 1 ⟩ |0\rangle\perp|1\rangle ∣0 ⟩ ⊥ ∣1 ⟩ 从来不是巧合)、任何态都能被测 (特征向量构成完备基,人人有页可查)。三条一次打包:厄米矩阵就是「测量仪器」这个概念的数学名字。
9. 投影测量:正式制服
9.1 新零件:外积——括号朝外
已知内积 ⟨ 0 ∣ ψ ⟩ \langle 0|\psi\rangle ⟨ 0∣ ψ ⟩ :行×列 = 一个数。顺序反过来是外积 :列×行 = 一个矩阵:
∣ 0 ⟩ ⟨ 0 ∣ = ( 1 0 ) ( 1 0 ) = ( 1 0 0 0 ) , ∣ 1 ⟩ ⟨ 1 ∣ = ( 0 0 0 1 ) |0\rangle\langle 0| = \binom10(1\;\;0) = \begin{pmatrix}1&0\\0&0\end{pmatrix},\qquad |1\rangle\langle 1| = \begin{pmatrix}0&0\\0&1\end{pmatrix} ∣0 ⟩ ⟨ 0∣ = ( 0 1 ) ( 1 0 ) = ( 1 0 0 0 ) , ∣1 ⟩ ⟨ 1∣ = ( 0 0 0 1 )
口诀:括号朝内 ⟨ ⋅ ∣ ⋅ ⟩ \langle\cdot|\cdot\rangle ⟨ ⋅ ∣ ⋅ ⟩ 合拢成数字;括号朝外 ∣ ⋅ ⟩ ⟨ ⋅ ∣ |\cdot\rangle\langle\cdot| ∣ ⋅ ⟩ ⟨ ⋅ ∣ 张开成矩阵。
9.2 投影算符:打影子
记 Π 0 = ∣ 0 ⟩ ⟨ 0 ∣ \Pi_0 = |0\rangle\langle 0| Π 0 = ∣0 ⟩ ⟨ 0∣ 。作用到 ∣ ψ ⟩ = α ∣ 0 ⟩ + β ∣ 1 ⟩ |\psi\rangle=\alpha|0\rangle+\beta|1\rangle ∣ ψ ⟩ = α ∣0 ⟩ + β ∣1 ⟩ 上,用「三明治」读法——右边的 ⟨ 0 ∣ \langle 0| ⟨ 0∣ 先咬掉 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ ,吐出一个数:
Π 0 ∣ ψ ⟩ = ∣ 0 ⟩ ⟨ 0 ∣ ψ ⟩ ⏟ = α = α ∣ 0 ⟩ \Pi_0|\psi\rangle = |0\rangle\underbrace{\langle 0|\psi\rangle}_{=\,\alpha} = \alpha|0\rangle Π 0 ∣ ψ ⟩ = ∣0 ⟩ = α ⟨ 0∣ ψ ⟩ = α ∣0 ⟩
∣ 1 ⟩ |1\rangle ∣1 ⟩ 部分被杀掉、∣ 0 ⟩ |0\rangle ∣0 ⟩ 部分保留——Π 0 \Pi_0 Π 0 问「∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 里含多少 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 成分」并只留那部分。几何图景:把向量按倒在 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 轴上,得到它的影子 。
两条性质各一行验证。厄米 :d i a g ( 1 , 0 ) \mathrm{diag}(1,0) diag ( 1 , 0 ) 实对称 ✓。幂等 (idempotent,Π 2 = Π \Pi^2=\Pi Π 2 = Π )——「影子的影子还是影子」:
Π 0 2 = ∣ 0 ⟩ ⟨ 0 ∣ 0 ⟩ ⏟ = 1 ⟨ 0 ∣ = Π 0 ✓ \Pi_0^2 = |0\rangle\underbrace{\langle 0|0\rangle}_{=1}\langle 0| = \Pi_0\ \checkmark Π 0 2 = ∣0 ⟩ = 1 ⟨ 0∣0 ⟩ ⟨ 0∣ = Π 0 ✓
9.3 公式链走通
P ( 0 ) = ⟨ ψ ∣ Π 0 † Π 0 ∣ ψ ⟩ = ⟨ ψ ∣ Π 0 ∣ ψ ⟩ = ⟨ ψ ∣ 0 ⟩ ⟨ 0 ∣ ψ ⟩ = α ∗ α = ∣ α ∣ 2 P(0) = \langle\psi|\Pi_0^\dagger\Pi_0|\psi\rangle = \langle\psi|\Pi_0|\psi\rangle = \langle\psi|0\rangle\langle 0|\psi\rangle = \alpha^*\alpha = |\alpha|^2 P ( 0 ) = ⟨ ψ ∣ Π 0 † Π 0 ∣ ψ ⟩ = ⟨ ψ ∣ Π 0 ∣ ψ ⟩ = ⟨ ψ ∣0 ⟩ ⟨ 0∣ ψ ⟩ = α ∗ α = ∣ α ∣ 2
逐段读:起点是真正的定律 P = ∥ Π ∣ ψ ⟩ ∥ 2 P = \|\Pi|\psi\rangle\|^2 P = ∥Π∣ ψ ⟩ ∥ 2 ——影子长度的平方 ;按范数定义展开(∥ v ∥ 2 = ⟨ v ∣ v ⟩ \|v\|^2 = \langle v|v\rangle ∥ v ∥ 2 = ⟨ v ∣ v ⟩ ,∣ v ⟩ = Π ∣ ψ ⟩ |v\rangle=\Pi|\psi\rangle ∣ v ⟩ = Π∣ ψ ⟩ )得 ⟨ ψ ∣ Π † Π ∣ ψ ⟩ \langle\psi|\Pi^\dagger\Pi|\psi\rangle ⟨ ψ ∣ Π † Π∣ ψ ⟩ ;厄米 + 幂等把 Π † Π \Pi^\dagger\Pi Π † Π 塌成 Π \Pi Π ;三明治拆开成两个数相乘:⟨ ψ ∣ 0 ⟩ = α ∗ \langle\psi|0\rangle = \alpha^* ⟨ ψ ∣0 ⟩ = α ∗ 、⟨ 0 ∣ ψ ⟩ = α \langle 0|\psi\rangle = \alpha ⟨ 0∣ ψ ⟩ = α 。整条链就是 Born 规则穿上投影算符的制服 ,没有新物理。
坍缩后的态 也顺手出来:影子 Π 0 ∣ ψ ⟩ = α ∣ 0 ⟩ \Pi_0|\psi\rangle = \alpha|0\rangle Π 0 ∣ ψ ⟩ = α ∣0 ⟩ 长度只有 ∣ α ∣ |\alpha| ∣ α ∣ ,不是合法态——重新归一化 (除以长度)得 ( α / ∣ α ∣ ) ∣ 0 ⟩ (\alpha/|\alpha|)|0\rangle ( α /∣ α ∣ ) ∣0 ⟩ ,前面模长为 1 的因子是全局相位、扔掉,剩 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 。两位老朋友(重归一化、扔全局相位)一次登场。
9.4 谱分解:密码本 = 一摞投影算符
( + 1 ) Π 0 + ( − 1 ) Π 1 = ( 1 0 0 0 ) − ( 0 0 0 1 ) = ( 1 0 0 − 1 ) = Z ✓ (+1)\Pi_0 + (-1)\Pi_1 = \begin{pmatrix}1&0\\0&0\end{pmatrix} - \begin{pmatrix}0&0\\0&1\end{pmatrix} = \begin{pmatrix}1&0\\0&-1\end{pmatrix} = Z\ \checkmark ( + 1 ) Π 0 + ( − 1 ) Π 1 = ( 1 0 0 0 ) − ( 0 0 0 1 ) = ( 1 0 0 − 1 ) = Z ✓
每页一个投影算符、贴一个读数标签 ——§8.3 提到的谱分解 A = ∑ i λ i ∣ v i ⟩ ⟨ v i ∣ A = \sum_i\lambda_i|v_i\rangle\langle v_i| A = ∑ i λ i ∣ v i ⟩ ⟨ v i ∣ 的最简实例。期望值也立刻透明:⟨ ψ ∣ Z ∣ ψ ⟩ = P ( 0 ) − P ( 1 ) \langle\psi|Z|\psi\rangle = P(0) - P(1) ⟨ ψ ∣ Z ∣ ψ ⟩ = P ( 0 ) − P ( 1 ) ,按概率加权的平均读数。
9.5 为什么值得:原样搬到多比特
单比特上这套是杀鸡用牛刀(∣ α ∣ 2 |\alpha|^2 ∣ α ∣ 2 一眼看出)。真正的回报在多比特:只测纠缠对的第一个比特 时,「那个振幅」不再是单独一个数,可投影配方一字不改:
Π = ∣ 0 ⟩ ⟨ 0 ∣ ⊗ I , P = ⟨ ψ ∣ Π ∣ ψ ⟩ , 后态 = Π ∣ ψ ⟩ ∥ Π ∣ ψ ⟩ ∥ \Pi = |0\rangle\langle 0|\otimes I,\qquad P = \langle\psi|\Pi|\psi\rangle,\qquad \text{后态} = \frac{\Pi|\psi\rangle}{\|\Pi|\psi\rangle\|} Π = ∣0 ⟩ ⟨ 0∣ ⊗ I , P = ⟨ ψ ∣Π∣ ψ ⟩ , 后态 = ∥Π∣ ψ ⟩ ∥ Π∣ ψ ⟩
(⊗ \otimes ⊗ 是张量积——把两个子系统拼成联合系统的运算,∣ 0 ⟩ ⟨ 0 ∣ ⊗ I |0\rangle\langle 0|\otimes I ∣0 ⟩ ⟨ 0∣ ⊗ I 读作「对第一个比特投影、第二个什么都不做」。)「概率 = ⟨ ψ ∣ Π ∣ ψ ⟩ =\langle\psi|\Pi|\psi\rangle = ⟨ ψ ∣Π∣ ψ ⟩ 、后态 = = = 归一化的 Π ∣ ψ ⟩ \Pi|\psi\rangle Π∣ ψ ⟩ 」 是唯一能无损升级的版本,值得按这个形式背。
9.6 真随机
三个算例:∣ 0 ⟩ |0\rangle ∣0 ⟩ 测得 0 概率 1(已在特征向量上);∣ 1 ⟩ |1\rangle ∣1 ⟩ 同理;∣ + ⟩ |+\rangle ∣ + ⟩ 得 50/50——且宇宙中没有任何人能提前告诉你这一次出哪个 ,合法的只有系综统计。这不是「硬币藏着没看」的无知式随机(复杂度课里 BPP 的那种,原则上偷看随机带即可预测),而是真随机 :硬币根本不存在,那个值在测量前没有被定义(Bell 实验排除了隐藏硬币)。两个直接后果:量子随机数发生器之所以是最好的随机源,因为其随机性有物理定律背书而非算法伪装;量子复杂度类 BQP 之所以定义成 bounded-error(错误率 ≤ 1 / 3 \le 1/3 ≤ 1/3 再放大),正因为量子算法输出天生带随机——为 BPP 造的「2 / 3 2/3 2/3 -然后-放大」机器原样能用。
10. 常见误区清单
「测量就是算 A ∣ ψ ⟩ A|\psi\rangle A ∣ ψ ⟩ 」 ——错。矩阵从不乘到态上;测量 = 分解 → 掷骰子 → 坍缩,A A A 是密码本不是动作(§8.2 的三宗罪反例)。
「特征值 − 1 -1 − 1 表示态变成了另一个态」 ——单独看只是全局相位、球上不动;放进叠加才变成有戏的相对相位(§5.3)。
「转 360 ° 360° 360° 回到原点」 ——差一个 − 1 -1 − 1 ;720 ° 720° 720° 才在数学上回家。只旋转叠加的一支,这个 − 1 -1 − 1 就能在干涉条纹里现形(§6.4,中子实验)。
「电路图和矩阵同方向读」 ——电路从左往右(时间),矩阵从右往左(函数复合);读反可以错到正交(H X ∣ 0 ⟩ = ∣ − ⟩ HX|0\rangle = |-\rangle H X ∣0 ⟩ = ∣ − ⟩ vs X H ∣ 0 ⟩ = ∣ + ⟩ XH|0\rangle = |+\rangle X H ∣0 ⟩ = ∣ + ⟩ )。
「qubit 就是光子」 ——qubit 是角色,光子(的某个自由度)是演员之一;逻辑层/自由度层/载体层三层分明(§4)。
「叠加态很神秘」 ——对偏振来说它就是矢量分解:45 ° 45° 45° 电场真实地同时由水平和竖直摆动合成(§3.2)。
「量子随机和经典随机差不多」 ——BPP 的随机是没翻开的硬币,量子的随机是硬币不存在;Bell 实验是证据(§9.6)。
「全局相位任何时候都测不到」 ——需要精确化:作用在整个 系统上时测不到;只作用在叠加的一部分上,它就降格为相对相位,可测(§6.4)。
11. 自测题(附答案)
题目
手算验证 [ Y , Z ] = 2 i X [Y,Z] = 2iX [ Y , Z ] = 2 i X 。
R y ( π ) R_y(\pi) R y ( π ) 作用在 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 上得到什么?与哪个 Pauli 门等价?
30 ° 30° 30° 线偏振的光子过 H/V 偏振分束器,两个出口的概率各是多少?
Z Z Z 和 X X X 有共同特征向量吗?用五行证明说明理由。
定义 Π + = ∣ + ⟩ ⟨ + ∣ \Pi_+ = |+\rangle\langle+| Π + = ∣ + ⟩ ⟨ + ∣ 。对 ∣ ψ ⟩ = ∣ 0 ⟩ |\psi\rangle = |0\rangle ∣ ψ ⟩ = ∣0 ⟩ 计算 P ( + ) = ⟨ 0 ∣ Π + ∣ 0 ⟩ P(+) = \langle 0|\Pi_+|0\rangle P ( + ) = ⟨ 0∣ Π + ∣0 ⟩ 与坍缩后的态。
为什么经典 AND 门不能直接当量子门用?
电路 ∣ 0 ⟩ — [ H ] — [ Z ] — [ H ] — |0\rangle —[H]—[Z]—[H]— ∣0 ⟩ — [ H ] — [ Z ] — [ H ] — 的输出是什么?(提示:从右往左乘,或一步步走。)
答案
Y Z = ( 0 − i i 0 ) ( 1 0 0 − 1 ) = ( 0 i i 0 ) = i X YZ = \begin{pmatrix}0&-i\\i&0\end{pmatrix}\begin{pmatrix}1&0\\0&-1\end{pmatrix} = \begin{pmatrix}0&i\\i&0\end{pmatrix} = iX Y Z = ( 0 i − i 0 ) ( 1 0 0 − 1 ) = ( 0 i i 0 ) = i X ;Z Y = − i X ZY = -iX Z Y = − i X ;相减得 2 i X 2iX 2 i X ✓。
R y ( π ) = cos π 2 I − i sin π 2 Y = − i Y R_y(\pi) = \cos\frac\pi2 I - i\sin\frac\pi2 Y = -iY R y ( π ) = cos 2 π I − i sin 2 π Y = − iY ;− i Y ∣ 0 ⟩ = − i ⋅ i ∣ 1 ⟩ = ∣ 1 ⟩ -iY|0\rangle = -i\cdot i|1\rangle = |1\rangle − iY ∣0 ⟩ = − i ⋅ i ∣1 ⟩ = ∣1 ⟩ 。北极转到南极,差一个全局相位等价于 Y Y Y 门(也把 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 送到 ∣ 1 ⟩ |1\rangle ∣1 ⟩ ,与 X X X 的差别在相位细节)。
P ( H ) = cos 2 30 ° = 3 / 4 P(H) = \cos^2 30° = 3/4 P ( H ) = cos 2 30° = 3/4 ,P ( V ) = sin 2 30 ° = 1 / 4 P(V) = \sin^2 30° = 1/4 P ( V ) = sin 2 30° = 1/4 。
没有。若 v v v 同时是两者特征向量,则 [ Z , X ] v = 0 [Z,X]v = 0 [ Z , X ] v = 0 ;但 [ Z , X ] = 2 i Y [Z,X]=2iY [ Z , X ] = 2 iY 且 Y 2 = I Y^2=I Y 2 = I 使 Y Y Y 可逆,故 v = 0 v=0 v = 0 ,矛盾——确定 Z Z Z 的态对 X X X 必然最大不确定。
P ( + ) = ∣ ⟨ + ∣ 0 ⟩ ∣ 2 = 1 / 2 P(+) = |\langle+|0\rangle|^2 = 1/2 P ( + ) = ∣ ⟨ + ∣0 ⟩ ∣ 2 = 1/2 ;坍缩后 Π + ∣ 0 ⟩ = 1 2 ∣ + ⟩ \Pi_+|0\rangle = \tfrac{1}{\sqrt2}|+\rangle Π + ∣0 ⟩ = 2 1 ∣ + ⟩ 归一化得 ∣ + ⟩ |+\rangle ∣ + ⟩ 。
AND 两比特进一比特出,信息被销毁、不可逆;量子门必须幺正(可逆),需先改写成 Toffoli 等可逆版本。
H ∣ 0 ⟩ = ∣ + ⟩ H|0\rangle = |+\rangle H ∣0 ⟩ = ∣ + ⟩ ;Z ∣ + ⟩ = ∣ − ⟩ Z|+\rangle = |-\rangle Z ∣ + ⟩ = ∣ − ⟩ ;H ∣ − ⟩ = ∣ 1 ⟩ H|-\rangle = |1\rangle H ∣ − ⟩ = ∣1 ⟩ 。输出 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 。(矩阵语言:H Z H = X HZH = X H Z H = X ——「夹在两个 H 之间的 Z 变成 X」,基变换的经典例子。)
12. 符号速查表(本篇新增)
符号 名称 一句话含义 [ A , B ] = A B − B A [A,B] = AB - BA [ A , B ] = A B − B A 对易子 衡量交换顺序差多少;= 0 =0 = 0 才可同时确定 X , Y , Z X, Y, Z X , Y , Z Pauli 矩阵 绕三轴转 180 ° 180° 180° 的门;兼任三台测量仪器 A † A^\dagger A † 厄米共轭 转置 + 逐项取共轭 U † U = I U^\dagger U = I U † U = I 幺正 保长度;「门」的资格证 A † = A A^\dagger = A A † = A 厄米 特征值全实;「仪器」的资格证 M v = λ v Mv = \lambda v M v = λ v 特征方程 v v v :矩阵动不了的方向;λ \lambda λ :读数/相位倍数R a ( θ ) = e − i θ P a / 2 R_a(\theta) = e^{-i\theta P_a/2} R a ( θ ) = e − i θ P a /2 旋转门 绕 a a a 轴转 θ \theta θ ;θ \theta θ ∝ 脉冲时长 ∣ v ⟩ ⟨ v ∣ \vert v\rangle\langle v\vert ∣ v ⟩ ⟨ v ∣ 外积/投影算符 括号朝外张开成矩阵;打影子 Π 2 = Π \Pi^2 = \Pi Π 2 = Π 幂等 影子的影子还是影子 P = ⟨ ψ ∣ Π ∣ ψ ⟩ P = \langle\psi\vert\Pi\vert\psi\rangle P = ⟨ ψ ∣Π∣ ψ ⟩ 投影测量概率 影长的平方;可无损升级到多比特 A = ∑ i λ i ∣ v i ⟩ ⟨ v i ∣ A = \sum_i \lambda_i\vert v_i\rangle\langle v_i\vert A = ∑ i λ i ∣ v i ⟩ ⟨ v i ∣ 谱分解 密码本 = 一摞投影算符各贴一个读数 ⊗ \otimes ⊗ 张量积 把子系统拼成联合系统
全篇一句话 :知道 α \alpha α 锁得住 β \beta β 的长度、锁不住两支箭头的夹角——那个夹角是真实的物理信息,在偏振里化身为可亲手验证的角度、在旋转门里被 R z R_z R z 拨动、在干涉仪里让转满一圈的 − 1 -1 − 1 现形;门靠幺正矩阵的乘法干活,仪器靠厄米矩阵的密码本掷骰子,而投影算符的「影长平方」公式,是这一切通往多比特世界唯一不用改写的行李。