第二章 量子力学物理基础
在第一章中,我们建立了一套完备的数学工具箱——从复数和向量空间,到线性算子、特征值分解和张量积。本章的任务是将这些抽象的数学结构”物理实例化”:我们将看到,量子力学并非凭空而来的神秘理论,而是经典物理学在微观尺度上失效后的必然产物;而那些看似抽象的数学公设,恰恰是对物理现实最精确的刻画。
2.1 从经典到量子:动机与历史 (Classical→Quantum: Motivation & History)
经典物理的辉煌与困境
十九世纪末,经典物理学(Classical Physics)似乎已趋完美。牛顿力学精确描述宏观物体的运动轨迹,麦克斯韦方程组优雅地统一了电、磁、光三种现象,热力学与统计物理学成功解释了宏观热现象和物质的状态变化。从行星轨道到蒸汽机效率,从电磁波的预言到光谱分析,经典理论在几乎所有已知的物理领域都取得了令人瞩目的成功。物理学家们普遍抱有一种乐观情绪,认为物理大厦的主体已经竣工,只剩下”两朵乌云”——黑体辐射与以太漂移——有待澄清。英国物理学家开尔文勋爵在1900年的著名演讲中甚至宣称,物理学的大厦已经基本建成,后辈物理学家只需要做一些零碎的修补工作。
然而,历史证明这种乐观为时过早。正是这两朵看似不起眼的乌云,掀起了二十世纪物理学最壮丽的革命风暴,彻底改变了人类对自然界的认知。
黑体辐射与紫外灾难
所谓黑体辐射(Black-body Radiation),是指处于热平衡状态的物体发出的电磁辐射。经典电磁理论与统计物理联合推导出的瑞利-金斯公式(Rayleigh-Jeans Law)预言:辐射能量密度随频率 ν \nu ν 的平方无限增长:
u ( ν , T ) = 8 π ν 2 c 3 k B T u(\nu, T) = \frac{8\pi\nu^2}{c^3} k_B T u ( ν , T ) = c 3 8 π ν 2 k B T
其中 k B k_B k B 是玻尔兹曼常数,c c c 是光速。这一结果意味着,任何高温物体都应在紫外及更高频率区域辐射无限大的能量——显然与实验观测严重不符。这就是著名的紫外灾难(Ultraviolet Catastrophe) 。
1900年,马克斯·普朗克(Max Planck)为了拟合实验曲线,提出了一个大胆的假设:电磁辐射的能量不是连续的,而是以离散的”能量子”形式发射和吸收,每个能量子的大小为:
E = h ν = ℏ ω E = h\nu = \hbar\omega E = h ν = ℏ ω
其中 h ≈ 6.626 × 10 − 34 J ⋅ s h \approx 6.626 \times 10^{-34} \, \text{J}\cdot\text{s} h ≈ 6.626 × 1 0 − 34 J ⋅ s 是普朗克常数,ℏ = h / 2 π \hbar = h/2\pi ℏ = h /2 π 是约化普朗克常数。基于这一假设,普朗克推导出了与实验完美吻合的辐射公式:
u ( ν , T ) = 8 π h ν 3 c 3 1 e h ν / k B T − 1 u(\nu, T) = \frac{8\pi h\nu^3}{c^3} \frac{1}{e^{h\nu/k_B T} - 1} u ( ν , T ) = c 3 8 π h ν 3 e h ν / k B T − 1 1
这一发现标志着量子论的诞生——能量在微观世界不再是连续变化的量,而是具有”颗粒性”。
光电效应与光的粒子性
1905年,阿尔伯特·爱因斯坦(Albert Einstein)进一步发展了量子概念,用以解释光电效应(Photoelectric Effect)。经典波动理论预言:光照射金属表面时,无论光强多弱,只要照射时间足够长,电子总会积累足够能量逸出。但实验表明:只有当光的频率 ν \nu ν 超过某一阈值 ν 0 \nu_0 ν 0 时,电子才会被打出;且电子的动能仅与光频率有关,与光强无关。
爱因斯坦提出:光本身也是由粒子(后称光子,Photon)组成的,每个光子的能量为 E = h ν E = h\nu E = h ν 。当光子撞击电子时,能量一次性传递,电子获得的动能为:
E k = h ν − W E_k = h\nu - W E k = h ν − W
其中 W W W 是金属的逸出功。这一解释完美符合实验,也为爱因斯坦赢得了1921年诺贝尔物理学奖。光——这种经典物理学中纯粹的波动现象——在微观尺度上表现出了粒子性。
氢原子光谱与玻尔模型
另一个经典理论无法解释的现象是氢原子光谱(Hydrogen Atom Spectrum)。实验观测到氢原子只发射特定波长的光,形成离散的谱线。经典电动力学预言电子绕核运动会不断辐射能量,最终螺旋坠入原子核,原子不可能稳定存在。
1913年,尼尔斯·玻尔(Niels Bohr)提出了半经典的量子化模型:电子只能在特定轨道上运动,轨道角动量必须是 ℏ \hbar ℏ 的整数倍:
L = n ℏ , n = 1 , 2 , 3 , … L = n\hbar, \quad n = 1, 2, 3, \ldots L = n ℏ , n = 1 , 2 , 3 , …
当电子在不同轨道间”跃迁”时,吸收或发射光子的能量为两轨道能量之差:
Δ E = E m − E n = h ν \Delta E = E_m - E_n = h\nu Δ E = E m − E n = h ν
玻尔模型成功解释了氢原子光谱的实验规律,但其理论基础的物理含义尚不清晰——它更像是一个”拼凑”出来的经验规则,而非从第一性原理推导的结果。
矩阵力学与波动力学
真正的理论突破发生在1925至1926年。维尔纳·海森堡(Werner Heisenberg)在1925年发展了矩阵力学(Matrix Mechanics) ,将物理量表示为矩阵,力学关系由矩阵方程描述。几乎同时,埃尔温·薛定谔(Erwin Schrödinger)在1926年提出了波动力学(Wave Mechanics) ,将电子描述为围绕原子核的”物质波”。
起初,这两种形式看似截然不同。但很快,数学上的严格证明表明:矩阵力学与波动力学是完全等价的——它们只是同一物理理论在不同表象下的表述。这背后的统一框架,正是我们在1.2节学过的**希尔伯特空间(Hilbert Space)**与线性算子理论。波函数 ψ \psi ψ 是希尔伯特空间中的向量,力学量对应的算符是该空间上的线性算子。
波粒二象性:双缝实验的量子谜题
最能体现量子力学反直觉特征的思想实验,莫过于双缝实验(Double-Slit Experiment) 。
想象一个发射源,逐个地向带有两条狭缝的不透明屏发射电子(或光子)。在屏后放置探测屏,记录电子的落点。实验分三个阶段:
只打开缝A :电子在探测屏上形成单缝衍射图案,中心最亮,向两侧递减。落点的分布概率为 P A ( x ) = ∣ ψ A ( x ) ∣ 2 P_A(x) = |\psi_A(x)|^2 P A ( x ) = ∣ ψ A ( x ) ∣ 2 。
只打开缝B :同理,形成另一单缝衍射图案,分布概率为 P B ( x ) = ∣ ψ B ( x ) ∣ 2 P_B(x) = |\psi_B(x)|^2 P B ( x ) = ∣ ψ B ( x ) ∣ 2 。
同时打开两条缝 :按照经典概率论(回顾1.7节),如果电子是经典粒子,我们预期总概率应为各缝概率之和:
P classical ( x ) = P A ( x ) + P B ( x ) = ∣ ψ A ( x ) ∣ 2 + ∣ ψ B ( x ) ∣ 2 P_{\text{classical}}(x) = P_A(x) + P_B(x) = |\psi_A(x)|^2 + |\psi_B(x)|^2 P classical ( x ) = P A ( x ) + P B ( x ) = ∣ ψ A ( x ) ∣ 2 + ∣ ψ B ( x ) ∣ 2
然而实际观测到的却是干涉条纹(Interference Pattern) ——明暗相间的条纹分布!总概率为:
P quantum ( x ) = ∣ ψ A ( x ) + ψ B ( x ) ∣ 2 = ∣ ψ A ( x ) ∣ 2 + ∣ ψ B ( x ) ∣ 2 + 2 Re [ ψ A ∗ ( x ) ψ B ( x ) ] P_{\text{quantum}}(x) = |\psi_A(x) + \psi_B(x)|^2 = |\psi_A(x)|^2 + |\psi_B(x)|^2 + 2\text{Re}[\psi_A^*(x)\psi_B(x)] P quantum ( x ) = ∣ ψ A ( x ) + ψ B ( x ) ∣ 2 = ∣ ψ A ( x ) ∣ 2 + ∣ ψ B ( x ) ∣ 2 + 2 Re [ ψ A ∗ ( x ) ψ B ( x )]
关键在于交叉项 2 Re [ ψ A ∗ ψ B ] 2\text{Re}[\psi_A^*\psi_B] 2 Re [ ψ A ∗ ψ B ] 。这一项可正可负,导致某些位置的电子到达概率增加 (相长干涉),另一些位置的概率减少 (相消干涉)。这正是我们在1.1节学过的复数运算的直接体现:复数的模平方不等于各分量模平方之和,∣ a + b ∣ 2 ≠ ∣ a ∣ 2 + ∣ b ∣ 2 |a + b|^2 \neq |a|^2 + |b|^2 ∣ a + b ∣ 2 = ∣ a ∣ 2 + ∣ b ∣ 2 。
更为惊人的是:即使将电子发射速率降到极低——确保每次只有一个电子穿过实验装置——经过足够长时间的累积,探测屏上仍然会出现干涉条纹!这意味着单个电子同时”通过”了两条缝 ,并与自身发生干涉。这是经典物理完全无法解释的现象。
如果在双缝后方放置探测器,试图确定电子究竟通过了哪条缝,干涉条纹立刻消失,探测屏上恢复为经典概率叠加 P A + P B P_A + P_B P A + P B 。测量行为本身改变了系统的状态——这就是量子力学的测量问题(Measurement Problem) ,也是量子计算中”读取量子态会破坏叠加态”这一核心特性的物理根源。
“经典概率” vs “量子概率”的回顾
让我们用数学语言精确对比经典与量子概率的差异。在经典概率论(1.7节)中,互斥事件的概率具有可加性:如果事件 A A A 和 B B B 互斥,则 P ( A 或 B ) = P ( A ) + P ( B ) P(A \text{ 或 } B) = P(A) + P(B) P ( A 或 B ) = P ( A ) + P ( B ) 。这对应于实数概率的直接相加。
在量子力学中,概率由概率振幅(Probability Amplitude) ——一个复数 ψ \psi ψ ——的模平方给出。不同路径的振幅先相加,再取模平方:
P = ∣ ψ A + ψ B ∣ 2 = ∣ ψ A ∣ 2 + ∣ ψ B ∣ 2 + 2 Re ( ψ A ∗ ψ B ) P = |\psi_A + \psi_B|^2 = |\psi_A|^2 + |\psi_B|^2 + 2\text{Re}(\psi_A^*\psi_B) P = ∣ ψ A + ψ B ∣ 2 = ∣ ψ A ∣ 2 + ∣ ψ B ∣ 2 + 2 Re ( ψ A ∗ ψ B )
多出的交叉项 2 Re ( ψ A ∗ ψ B ) 2\text{Re}(\psi_A^*\psi_B) 2 Re ( ψ A ∗ ψ B ) 就是量子干涉的来源。这正是1.1节复数运算和1.7节概率论结合后产生的全新物理效应。在量子计算中,这种干涉效应是量子算法加速的根本机制——通过精心设计的量子线路,让”正确答案”的振幅相长增强,“错误答案”的振幅相消抵消。
小结 (Summary):
经典物理学在黑体辐射、光电效应和原子光谱等问题上遭遇系统性失败。普朗克、爱因斯坦和玻尔的先驱工作揭示了微观世界的离散性和量子化特征。海森堡的矩阵力学和薛定谔的波动力学从两个角度建立了量子力学的数学框架,后来被证明是希尔伯特空间上同一理论的不同表象。双缝实验是量子力学与经典物理的根本分水岭:量子概率遵循复数振幅的叠加规则 ∣ ψ A + ψ B ∣ 2 ≠ ∣ ψ A ∣ 2 + ∣ ψ B ∣ 2 |\psi_A + \psi_B|^2 \neq |\psi_A|^2 + |\psi_B|^2 ∣ ψ A + ψ B ∣ 2 = ∣ ψ A ∣ 2 + ∣ ψ B ∣ 2 ,单个粒子可以表现出干涉行为,而测量会不可逆地改变量子态。
与量子计算的连接 (Connection to Quantum Computing):
量子计算的核心资源正是双缝实验所揭示的量子叠加与量子干涉。一个量子比特(Quantum Bit, Qubit)处于 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 和 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 的叠加态 ∣ ψ ⟩ = α ∣ 0 ⟩ + β ∣ 1 ⟩ |\psi\rangle = \alpha|0\rangle + \beta|1\rangle ∣ ψ ⟩ = α ∣0 ⟩ + β ∣1 ⟩ ,类似于电子同时通过两条缝。量子算法通过酉操作操纵这些复数振幅,利用相长干涉放大正确结果的概率,利用相消干涉抑制错误结果的概率。没有量子干涉,就没有量子计算的加速优势。
2.2 量子力学基本公设 (QM Postulates)
经过2.1节的历史回顾,我们现在系统地建立量子力学的公理化框架。如同欧几里得几何的五大公设,量子力学也可以从五条基本公设出发,推导出全部理论内容。更重要的是,每条公设都将直接对应我们在第一章中精心构建的数学结构——这正是将数学”落地”为物理的关键一步。
公设1:态空间公设 (State Space Postulate)
一个孤立量子系统的全部可能状态,由一个复希尔伯特空间 H \mathcal{H} H 中的单位向量 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 描述。该向量称为系统的态矢(State Vector)或 波函数(Wave Function) 。
回忆1.2节的内容:希尔伯特空间是定义了内积的完备复向量空间。在量子力学中,这个空间称为态空间(State Space) 。系统的状态不是由某个确定的数值(如经典力学中的位置和动量)给出,而是由一个向量完整描述。
“单位向量”的要求意味着态矢必须满足归一化条件(回顾1.4节的内积与范数):
⟨ ψ ∣ ψ ⟩ = ∣ ∣ ∣ ψ ⟩ ∣ ∣ 2 = 1 \langle\psi|\psi\rangle = ||\,|\psi\rangle\,||^2 = 1 ⟨ ψ ∣ ψ ⟩ = ∣∣ ∣ ψ ⟩ ∣ ∣ 2 = 1
这一条件的物理意义是:系统处于某个状态的总概率为1。在1.4节中,我们学习了内积 ⟨ ϕ ∣ ψ ⟩ \langle\phi|\psi\rangle ⟨ ϕ ∣ ψ ⟩ 可以衡量两个向量的”重叠程度”;在物理上,∣ ⟨ ϕ ∣ ψ ⟩ ∣ 2 |\langle\phi|\psi\rangle|^2 ∣ ⟨ ϕ ∣ ψ ⟩ ∣ 2 给出系统处于 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 态时被测量到处于 ∣ ϕ ⟩ |\phi\rangle ∣ ϕ ⟩ 态的概率。
例子 :一个二维量子系统(自旋1/2系统)的态空间是 C 2 \mathbb{C}^2 C 2 。一个归一化的态可以写为:
∣ ψ ⟩ = α ∣ 0 ⟩ + β ∣ 1 ⟩ |\psi\rangle = \alpha|0\rangle + \beta|1\rangle ∣ ψ ⟩ = α ∣0 ⟩ + β ∣1 ⟩
其中 α , β ∈ C \alpha, \beta \in \mathbb{C} α , β ∈ C ,且满足 ∣ α ∣ 2 + ∣ β ∣ 2 = 1 |\alpha|^2 + |\beta|^2 = 1 ∣ α ∣ 2 + ∣ β ∣ 2 = 1 (回忆1.1节的复数模运算)。这里 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 和 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 构成一组标准正交基(Orthonormal Basis)。
公设2:演化公设 (Evolution Postulate)
封闭(不受外界测量或扰动)量子系统的状态演化,由一个酉算子(Unitary Operator) U U U 描述。若系统在时刻 t 0 t_0 t 0 处于 ∣ ψ ( t 0 ) ⟩ |\psi(t_0)\rangle ∣ ψ ( t 0 )⟩ ,则在时刻 t t t 的状态为:
酉算子的定义(1.3节)要求 $U^\dagger U = U U^\dagger = I$,即 $U$ 的厄米共轭等于其逆。这一数学性质具有深刻的物理含义:
1. **保范数性**:$\langle\psi(t)|\psi(t)\rangle = \langle\psi(0)|U^\dagger U|\psi(0)\rangle = \langle\psi(0)|\psi(0)\rangle = 1$。态矢始终维持归一化,总概率守恒。
2. **可逆性**:酉演化是可逆的,给定末态可以唯一确定初态。这与测量的不可逆性形成鲜明对照。
在1.3节中,我们学习了泡利矩阵 $X, Y, Z$ 和一般的酉矩阵。量子计算中的所有逻辑门——Hadamard门、相位门、CNOT门等——都是酉算子。量子算法的本质,就是设计一个酉算子 $U$,将初始态 $|\psi_0\rangle$ 变换到目标态 $|\psi_f\rangle = U|\psi_0\rangle$,使得测量时有较高概率读出正确答案。
**例子**:将态 $|0\rangle$ 应用Hadamard门(在1.3节中介绍的矩阵 $H = \frac{1}{\sqrt{2}}\begin{pmatrix}1 & 1 \\ 1 & -1\end{pmatrix}$):
$$H|0\rangle = \frac{1}{\sqrt{2}}\begin{pmatrix}1 & 1 \\ 1 & -1\end{pmatrix}\begin{pmatrix}1 \\ 0\end{pmatrix} = \frac{1}{\sqrt{2}}\begin{pmatrix}1 \\ 1\end{pmatrix} = \frac{|0\rangle + |1\rangle}{\sqrt{2}} \equiv |+\rangle$$
新态 $|+\rangle$ 仍是归一化的:$\langle +|+\rangle = \frac{1}{2}(1 + 1) = 1$。
**公设3:可观测量公设 (Observable Postulate)**
> 每个物理**可观测量(Observable)**对应一个**厄米算子(Hermitian Operator)** $A$。算子的**特征值(Eigenvalue)** $a_i$ 给出该可观测量的所有可能测量结果。对应的**特征向量(Eigenvector)** $|a_i\rangle$ 构成态空间的一组完备正交基。
这正是1.5节**谱分解定理(Spectral Decomposition)**的直接应用!厄米算子的三个关键数学性质——特征值为实数、不同特征值对应的特征向量正交、特征向量构成完备基——分别对应三个物理事实:
1. **特征值为实数**:测量结果必须是实数(我们可以用尺子读出"3.5 cm",但无法读出"2+i cm")。
2. **特征向量正交**:不同测量结果对应的状态彼此可区分。
3. **完备性**:任何态都可以表示为这些本征态的叠加。
根据谱分解定理,任何可观测量可以写为:
$$A = \sum_i a_i \, |a_i\rangle\langle a_i|$$
其中 $|a_i\rangle\langle a_i|$ 是投影到特征向量 $|a_i\rangle$ 上的**投影算子(Projection Operator)**——我们在1.4节详细讨论过的对象。
**例子**:自旋1/2系统的 $z$ 方向自旋算子为 $S_z = \frac{\hbar}{2}Z$,其中 $Z = \begin{pmatrix}1 & 0 \\ 0 & -1\end{pmatrix}$ 是泡利 $Z$ 矩阵(1.3节)。$Z$ 的特征值为 $\pm 1$,对应特征向量 $|0\rangle = \begin{pmatrix}1 \\ 0\end{pmatrix}$ 和 $|1\rangle = \begin{pmatrix}0 \\ 1\end{pmatrix}$。因此 $S_z$ 的可能测量结果为 $\pm \hbar/2$。
**公设4:测量公设 / 玻恩规则 (Measurement Postulate / Born Rule)**
> 对处于 $|\psi\rangle$ 态的系统测量可观测量 $A$:
> 1. 得到结果 $a_i$ 的概率为 $P(a_i) = |\langle a_i|\psi\rangle|^2 = \langle\psi|a_i\rangle\langle a_i|\psi\rangle = \langle\psi|P_i|\psi\rangle$,其中 $P_i = |a_i\rangle\langle a_i|$。
> 2. 若测量结果为 $a_i$,测量后系统立即坍缩(Collapse)到对应的本征态 $|a_i\rangle$。
这是量子力学最具标志性的公设。**玻恩规则(Born Rule)**给出了从复数振幅到实数概率的映射:先计算态 $|\psi\rangle$ 与本征态 $|a_i\rangle$ 的**内积** $\langle a_i|\psi\rangle$(复数),再取模平方得到概率。
让我们用1.4节的投影算子语言重新表述:测量结果 $a_i$ 的概率等于 $|\psi\rangle$ 被投影到 $|a_i\rangle$ 方向后的长度平方。投影算子 $P_i = |a_i\rangle\langle a_i|$ 将任意态 $|\psi\rangle$ 映射到沿 $|a_i\rangle$ 的分量 $P_i|\psi\rangle = |a_i\rangle\langle a_i|\psi\rangle$。该分量的范数平方即为:
$$||P_i|\psi\rangle||^2 = \langle\psi|P_i^\dagger P_i|\psi\rangle = \langle\psi|P_i|\psi\rangle$$
(最后一步利用了 $P_i$ 的厄米性和幂等性:$P_i^\dagger = P_i$,$P_i^2 = P_i$。)
测量后态的坍缩意味着:量子测量不是被动地"读取"信息,而是主动地改变系统状态。这一不可逆过程无法用酉算子描述——它是量子力学中最深邃的谜团之一。
**数值例子(自旋1/2系统演示玻恩规则)**:
设系统处于 $|+\rangle = \frac{|0\rangle + |1\rangle}{\sqrt{2}}$ 态,用 $S_z = \frac{\hbar}{2}Z$ 测量其 $z$ 方向自旋。
$S_z$ 的本征态为 $|0\rangle$(本征值 $+\hbar/2$)和 $|1\rangle$(本征值 $-\hbar/2$)。
测得 $+\hbar/2$ 的概率:
$$P(+\hbar/2) = |\langle 0|+\rangle|^2 = \left|\frac{\langle 0|0\rangle + \langle 0|1\rangle}{\sqrt{2}}\right|^2 = \left|\frac{1 + 0}{\sqrt{2}}\right|^2 = \frac{1}{2}$$
测得 $-\hbar/2$ 的概率:
$$P(-\hbar/2) = |\langle 1|+\rangle|^2 = \left|\frac{\langle 1|0\rangle + \langle 1|1\rangle}{\sqrt{2}}\right|^2 = \frac{1}{2}$$
若测得 $+\hbar/2$,系统立即坍缩到 $|0\rangle$ 态。
**公设5:复合系统公设 (Composite System Postulate)**
> 由 $N$ 个子系统组成的复合系统,其态空间为各子系统态空间的**张量积(Tensor Product)**:
> $$\mathcal{H} = \mathcal{H}_1 \otimes \mathcal{H}_2 \otimes \cdots \otimes \mathcal{H}_N
这正是1.6节的内容!如果子系统 A A A 处于 ∣ ψ ⟩ A |\psi\rangle_A ∣ ψ ⟩ A ,子系统 B B B 处于 ∣ ϕ ⟩ B |\phi\rangle_B ∣ ϕ ⟩ B ,则复合系统的态为 ∣ ψ ⟩ A ⊗ ∣ ϕ ⟩ B |\psi\rangle_A \otimes |\phi\rangle_B ∣ ψ ⟩ A ⊗ ∣ ϕ ⟩ B ,常简写为 ∣ ψ ⟩ A ∣ ϕ ⟩ B |\psi\rangle_A|\phi\rangle_B ∣ ψ ⟩ A ∣ ϕ ⟩ B 或 ∣ ψ ϕ ⟩ |\psi\phi\rangle ∣ ψ ϕ ⟩ 。
复合系统的维度随子系统数量指数增长:若每个子系统的维度为 d d d ,则 N N N 个子系统的复合空间维度为 d N d^N d N 。这是量子计算强大能力的数学根源——N N N 个量子比特的态空间维度为 2 N 2^N 2 N ,经典计算机需要指数级资源才能模拟。
然而,并非所有复合态都可写成各子系统态的张量积形式。形如
∣ Ψ ⟩ A B = ∣ 0 ⟩ A ∣ 0 ⟩ B + ∣ 1 ⟩ A ∣ 1 ⟩ B 2 |\Psi\rangle_{AB} = \frac{|0\rangle_A|0\rangle_B + |1\rangle_A|1\rangle_B}{\sqrt{2}} ∣Ψ ⟩ A B = 2 ∣0 ⟩ A ∣0 ⟩ B + ∣1 ⟩ A ∣1 ⟩ B
的态无法分解为 ∣ ψ ⟩ A ⊗ ∣ ϕ ⟩ B |\psi\rangle_A \otimes |\phi\rangle_B ∣ ψ ⟩ A ⊗ ∣ ϕ ⟩ B 。这种态称为纠缠态(Entangled State) ,是量子通信和量子密码的核心资源。我们将在2.6节通过密度矩阵和约化密度矩阵进一步理解纠缠的本质。
例子 :两个量子比特系统的标准计算基为 ∣ 00 ⟩ , ∣ 01 ⟩ , ∣ 10 ⟩ , ∣ 11 ⟩ |00\rangle, |01\rangle, |10\rangle, |11\rangle ∣00 ⟩ , ∣01 ⟩ , ∣10 ⟩ , ∣11 ⟩ 。一个一般的双量子比特态为:
∣ Ψ ⟩ = α ∣ 00 ⟩ + β ∣ 01 ⟩ + γ ∣ 10 ⟩ + δ ∣ 11 ⟩ |\Psi\rangle = \alpha|00\rangle + \beta|01\rangle + \gamma|10\rangle + \delta|11\rangle ∣Ψ ⟩ = α ∣00 ⟩ + β ∣01 ⟩ + γ ∣10 ⟩ + δ ∣11 ⟩
其中 ∣ α ∣ 2 + ∣ β ∣ 2 + ∣ γ ∣ 2 + ∣ δ ∣ 2 = 1 |\alpha|^2 + |\beta|^2 + |\gamma|^2 + |\delta|^2 = 1 ∣ α ∣ 2 + ∣ β ∣ 2 + ∣ γ ∣ 2 + ∣ δ ∣ 2 = 1 (归一化条件)。
小结 (Summary):
量子力学的五条公设构成了完整的理论框架:(1)系统状态由希尔伯特空间中的单位向量描述——对应1.2节的向量空间和1.4节的归一化;(2)封闭系统的演化由酉算子驱动——对应1.3节的酉矩阵;(3)可观测量对应厄米算子,其特征值为可能测量结果——对应1.5节的特征值问题;(4)测量概率由内积的模平方给出,测量导致态坍缩——对应1.4节的投影算子和1.7节的概率论;(5)复合系统的态空间是张量积——对应1.6节的张量积。这五条公设将第一章的全部数学工具编织成了统一的物理理论。
与量子计算的连接 (Connection to Quantum Computing):
量子计算机的每个操作都直接对应这五条公设。量子比特的初始化对应公设1;量子门操作对应公设2的酉演化;计算基测量对应公设3和公设4;多量子比特系统对应公设5的张量积结构。量子算法的设计艺术,就是在保持酉演化的前提下,巧妙地安排量子干涉(公设2),使得在最终测量时(公设4),正确结果以高概率出现。纠缠态(公设5的特殊产物)则是量子通信、量子密钥分发和量子纠错的核心资源。
2.3 波函数与薛定谔方程 (Wave Functions & Schrödinger Equation)
在2.2节的公设框架中,态矢 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 是抽象的希尔伯特空间向量。本节我们将它”投影”到具体表象——位置表象,引入波函数(Wave Function) ψ ( x ) \psi(x) ψ ( x ) ,并建立其演化方程:薛定谔方程(Schrödinger Equation)。
波函数作为态矢的位置表示
考虑一个质量为 m m m 的粒子在一维空间中运动。在位置表象下,我们引入位置本征态 ∣ x ⟩ |x\rangle ∣ x ⟩ ,满足正交归一关系 ⟨ x ∣ x ′ ⟩ = δ ( x − x ′ ) \langle x|x'\rangle = \delta(x - x') ⟨ x ∣ x ′ ⟩ = δ ( x − x ′ ) (狄拉克 δ \delta δ 函数)和完备性关系 ∫ − ∞ + ∞ ∣ x ⟩ ⟨ x ∣ d x = I \int_{-\infty}^{+\infty} |x\rangle\langle x| dx = I ∫ − ∞ + ∞ ∣ x ⟩ ⟨ x ∣ d x = I 。
任意态矢 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 可以向位置基展开:
∣ ψ ⟩ = ∫ − ∞ + ∞ ψ ( x ) ∣ x ⟩ d x |\psi\rangle = \int_{-\infty}^{+\infty} \psi(x) \, |x\rangle \, dx ∣ ψ ⟩ = ∫ − ∞ + ∞ ψ ( x ) ∣ x ⟩ d x
其中展开系数 ψ ( x ) = ⟨ x ∣ ψ ⟩ \psi(x) = \langle x|\psi\rangle ψ ( x ) = ⟨ x ∣ ψ ⟩ 就是波函数 。它是一个复值函数,将每个位置 x x x 映射到一个复数 ψ ( x ) ∈ C \psi(x) \in \mathbb{C} ψ ( x ) ∈ C 。在1.2节中,我们讨论了有限维向量空间;波函数则是无限维(连续指标)希尔伯特空间 L 2 ( R ) L^2(\mathbb{R}) L 2 ( R ) 中的向量——即满足 ∫ ∣ ψ ( x ) ∣ 2 d x < ∞ \int |\psi(x)|^2 dx < \infty ∫ ∣ ψ ( x ) ∣ 2 d x < ∞ 的平方可积函数。
概率解释
波函数的核心物理诠释由马克斯·玻恩(Max Born)提出:∣ ψ ( x ) ∣ 2 |\psi(x)|^2 ∣ ψ ( x ) ∣ 2 表示在位置 x x x 处找到粒子的概率密度(Probability Density) 。具体来说,在区间 [ x , x + d x ] [x, x+dx] [ x , x + d x ] 内找到粒子的概率为:
P ( x ≤ X ≤ x + d x ) = ∣ ψ ( x , t ) ∣ 2 d x P(x \leq X \leq x+dx) = |\psi(x,t)|^2 \, dx P ( x ≤ X ≤ x + d x ) = ∣ ψ ( x , t ) ∣ 2 d x
归一化条件 ⟨ ψ ∣ ψ ⟩ = 1 \langle\psi|\psi\rangle = 1 ⟨ ψ ∣ ψ ⟩ = 1 在位置表象下变为:
∫ − ∞ + ∞ ∣ ψ ( x ) ∣ 2 d x = 1 \int_{-\infty}^{+\infty} |\psi(x)|^2 \, dx = 1 ∫ − ∞ + ∞ ∣ ψ ( x ) ∣ 2 d x = 1
这意味着粒子必然存在于空间的某处——总概率为1。
波函数的**相位(Phase)**也蕴含物理信息。虽然 ∣ ψ ( x ) ∣ 2 |\psi(x)|^2 ∣ ψ ( x ) ∣ 2 只依赖于模,但两个波函数叠加时的相对相位决定了干涉图案。这正是1.1节复数相位概念的物理体现:ψ ( x ) = ∣ ψ ( x ) ∣ e i ϕ ( x ) \psi(x) = |\psi(x)|e^{i\phi(x)} ψ ( x ) = ∣ ψ ( x ) ∣ e i ϕ ( x ) ,其中全局相位 e i θ e^{i\theta} e i θ 不影响物理观测,但相对相位至关重要。
薛定谔方程
波函数如何随时间演化?1926年,薛定谔提出了描述这一演化的方程:
i ℏ ∂ ∂ t ∣ ψ ( t ) ⟩ = H ∣ ψ ( t ) ⟩ i\hbar \frac{\partial}{\partial t} |\psi(t)\rangle = H |\psi(t)\rangle i ℏ ∂ t ∂ ∣ ψ ( t )⟩ = H ∣ ψ ( t )⟩
其中 H H H 是哈密顿算子(Hamiltonian Operator) ,代表系统的总能量。在位置表象下,对于质量为 m m m 、势能为 V ( x ) V(x) V ( x ) 的单粒子,哈密顿量为:
H = − ℏ 2 2 m ∂ 2 ∂ x 2 + V ( x ) H = -\frac{\hbar^2}{2m}\frac{\partial^2}{\partial x^2} + V(x) H = − 2 m ℏ 2 ∂ x 2 ∂ 2 + V ( x )
第一项是动能算子(动量算子 p = − i ℏ ∂ ∂ x p = -i\hbar\frac{\partial}{\partial x} p = − i ℏ ∂ x ∂ 的平方除以 2 m 2m 2 m ),第二项是势能。
薛定谔方程是量子力学的基本动力学方程,类似于经典力学中的牛顿第二定律 F = m a F = ma F = ma 。但它不是从更基本的原理”推导”出来的——它是量子力学的基本假设之一,其正确性由实验验证。
定态薛定谔方程
当哈密顿量不显含时间时(∂ H / ∂ t = 0 \partial H/\partial t = 0 ∂ H / ∂ t = 0 ),我们可以使用分离变量法。设 ∣ ψ ( t ) ⟩ = e − i E t / ℏ ∣ ψ ⟩ |\psi(t)\rangle = e^{-iEt/\hbar}|\psi\rangle ∣ ψ ( t )⟩ = e − i E t /ℏ ∣ ψ ⟩ ,代入薛定谔方程:
i ℏ ∂ ∂ t ( e − i E t / ℏ ∣ ψ ⟩ ) = H ( e − i E t / ℏ ∣ ψ ⟩ ) i\hbar \frac{\partial}{\partial t} \left(e^{-iEt/\hbar}|\psi\rangle\right) = H \left(e^{-iEt/\hbar}|\psi\rangle\right) i ℏ ∂ t ∂ ( e − i E t /ℏ ∣ ψ ⟩ ) = H ( e − i E t /ℏ ∣ ψ ⟩ )
E e − i E t / ℏ ∣ ψ ⟩ = e − i E t / ℏ H ∣ ψ ⟩ E \, e^{-iEt/\hbar}|\psi\rangle = e^{-iEt/\hbar} H |\psi\rangle E e − i E t /ℏ ∣ ψ ⟩ = e − i E t /ℏ H ∣ ψ ⟩
两边消去时间相位因子,得到定态薛定谔方程(Time-Independent Schrödinger Equation) :
H ∣ ψ ⟩ = E ∣ ψ ⟩ H |\psi\rangle = E |\psi\rangle H ∣ ψ ⟩ = E ∣ ψ ⟩
这正是我们在1.5节详细研究过的特征值方程(Eigenvalue Equation) !哈密顿算子 H H H 的本征值 E n E_n E n 就是系统的能量本征值(Energy Eigenvalues) ,对应的本征态 ∣ ψ n ⟩ |\psi_n\rangle ∣ ψ n ⟩ 称为能量本征态(Energy Eigenstates)或 定态(Stationary States) 。处于定态的系统,其概率密度 ∣ ψ n ( x , t ) ∣ 2 = ∣ ψ n ( x ) ∣ 2 |\psi_n(x,t)|^2 = |\psi_n(x)|^2 ∣ ψ n ( x , t ) ∣ 2 = ∣ ψ n ( x ) ∣ 2 不随时间变化——只有相位在旋转。
这一对应关系极为深刻:求解量子系统的能级,数学上就是求解哈密顿算子的特征值问题。我们在1.5节学习的谱分解、对角化等技术,在这里变成了计算原子能级、分子振动频率的实用工具。
一维无限深方势阱
为了展示薛定谔方程的具体求解过程,我们考虑一个教科书级别的例子:一维无限深方势阱(Infinite Square Well) 。
势阱定义如下:
V ( x ) = { 0 0 < x < L ∞ 其他 V(x) = \begin{cases} 0 & 0 < x < L \\ \infty & \text{其他} \end{cases} V ( x ) = { 0 ∞ 0 < x < L 其他
粒子被完全限制在 0 0 0 到 L L L 的区间内。在势阱外部,V = ∞ V = \infty V = ∞ ,波函数必须为零(否则能量无穷大);在势阱内部,V = 0 V = 0 V = 0 ,定态薛定谔方程简化为:
− ℏ 2 2 m d 2 ψ d x 2 = E ψ -\frac{\hbar^2}{2m}\frac{d^2\psi}{dx^2} = E\psi − 2 m ℏ 2 d x 2 d 2 ψ = E ψ
或等价地:
d 2 ψ d x 2 = − k 2 ψ , 其中 k = 2 m E ℏ \frac{d^2\psi}{dx^2} = -k^2\psi, \quad \text{其中 } k = \frac{\sqrt{2mE}}{\hbar} d x 2 d 2 ψ = − k 2 ψ , 其中 k = ℏ 2 m E
这是标准的简谐振动方程,通解为 ψ ( x ) = A sin ( k x ) + B cos ( k x ) \psi(x) = A\sin(kx) + B\cos(kx) ψ ( x ) = A sin ( k x ) + B cos ( k x ) 。
边界条件 :波函数在边界处连续,因此 ψ ( 0 ) = 0 \psi(0) = 0 ψ ( 0 ) = 0 和 ψ ( L ) = 0 \psi(L) = 0 ψ ( L ) = 0 。
由 ψ ( 0 ) = B = 0 \psi(0) = B = 0 ψ ( 0 ) = B = 0 ,得 B = 0 B = 0 B = 0 。由 ψ ( L ) = A sin ( k L ) = 0 \psi(L) = A\sin(kL) = 0 ψ ( L ) = A sin ( k L ) = 0 ,要求 k L = n π kL = n\pi k L = nπ ,其中 n = 1 , 2 , 3 , … n = 1, 2, 3, \ldots n = 1 , 2 , 3 , … (n = 0 n = 0 n = 0 给出平凡解 ψ = 0 \psi = 0 ψ = 0 ;负整数给出相同的物理态,只是差一个负号)。
因此,波数被量子化为:
k n = n π L k_n = \frac{n\pi}{L} k n = L nπ
对应的能量本征值为:
E n = ℏ 2 k n 2 2 m = n 2 π 2 ℏ 2 2 m L 2 , n = 1 , 2 , 3 , … E_n = \frac{\hbar^2 k_n^2}{2m} = \frac{n^2\pi^2\hbar^2}{2mL^2}, \quad n = 1, 2, 3, \ldots E n = 2 m ℏ 2 k n 2 = 2 m L 2 n 2 π 2 ℏ 2 , n = 1 , 2 , 3 , …
能量是离散的——只能取特定的允许值!这是量子力学的标志性特征,在经典物理中没有对应物。n n n 称为量子数(Quantum Number) 。基态(n = 1 n = 1 n = 1 )能量 E 1 = π 2 ℏ 2 2 m L 2 E_1 = \frac{\pi^2\hbar^2}{2mL^2} E 1 = 2 m L 2 π 2 ℏ 2 称为零点能(Zero-point Energy) ,即使系统将温度降到绝对零度,粒子仍有这一最低能量——这是不确定性原理的直接后果。
归一化的波函数为:
ψ n ( x ) = 2 L sin ( n π x L ) \psi_n(x) = \sqrt{\frac{2}{L}} \sin\left(\frac{n\pi x}{L}\right) ψ n ( x ) = L 2 sin ( L nπ x )
验证归一化:
∫ 0 L ∣ ψ n ( x ) ∣ 2 d x = 2 L ∫ 0 L sin 2 ( n π x L ) d x = 2 L ⋅ L 2 = 1 \int_0^L |\psi_n(x)|^2 dx = \frac{2}{L}\int_0^L \sin^2\left(\frac{n\pi x}{L}\right) dx = \frac{2}{L} \cdot \frac{L}{2} = 1 ∫ 0 L ∣ ψ n ( x ) ∣ 2 d x = L 2 ∫ 0 L sin 2 ( L nπ x ) d x = L 2 ⋅ 2 L = 1
不同的能量本征态彼此正交:
∫ 0 L ψ m ∗ ( x ) ψ n ( x ) d x = δ m n \int_0^L \psi_m^*(x)\psi_n(x) dx = \delta_{mn} ∫ 0 L ψ m ∗ ( x ) ψ n ( x ) d x = δ mn
这正是1.4节正交性概念在连续函数空间的体现。
波函数 ψ n ( x ) \psi_n(x) ψ n ( x ) 在势阱内有 n − 1 n-1 n − 1 个节点(波函数为零的点),波长为 λ n = 2 L / n \lambda_n = 2L/n λ n = 2 L / n 。粒子的动量大小为 p n = ℏ k n = n π ℏ / L p_n = \hbar k_n = n\pi\hbar/L p n = ℏ k n = nπ ℏ/ L ,这与德布罗意关系 λ = h / p \lambda = h/p λ = h / p 完全一致。
小结 (Summary):
波函数 ψ ( x ) = ⟨ x ∣ ψ ⟩ \psi(x) = \langle x|\psi\rangle ψ ( x ) = ⟨ x ∣ ψ ⟩ 是态矢在位置表象下的表示,∣ ψ ( x ) ∣ 2 |\psi(x)|^2 ∣ ψ ( x ) ∣ 2 给出位置概率密度。薛定谔方程 i ℏ ∂ t ∣ ψ ⟩ = H ∣ ψ ⟩ i\hbar\partial_t|\psi\rangle = H|\psi\rangle i ℏ ∂ t ∣ ψ ⟩ = H ∣ ψ ⟩ 描述量子态的时间演化,类似于经典力学中的牛顿方程。当哈密顿量不随时间变化时,定态薛定谔方程 H ∣ ψ ⟩ = E ∣ ψ ⟩ H|\psi\rangle = E|\psi\rangle H ∣ ψ ⟩ = E ∣ ψ ⟩ 退化为特征值问题——这正是1.5节谱定理的直接应用。一维无限深势阱的求解展示了量子化的自然出现:边界条件迫使波数(从而能量)取离散值,归一化和正交性分别对应1.4节中的范数与内积概念。
与量子计算的连接 (Connection to Quantum Computing):
虽然量子计算通常工作在有限维的离散系统(量子比特)中,但薛定谔方程的框架仍然适用。量子门操作对应哈密顿量在短时间的酉演化 U = e − i H t / ℏ U = e^{-iHt/\hbar} U = e − i H t /ℏ 。连续变量量子计算(Continuous-Variable Quantum Computing)直接使用位置或动量本征态作为信息载体。更重要的是,薛定谔方程的特征值问题精神贯穿量子算法:量子相位估计算法(Quantum Phase Estimation)的核心,就是将待求特征值编码到量子态的相位中,再通过量子傅里叶变换(1.8节的DFT的量子版本)读出。无限深势阱的离散能级结构也启发了量子点(Quantum Dot)量子比特的设计——通过纳米尺度的人工势阱囚禁电子,其离散能级自然构成量子比特的两个能级。
2.4 二能级系统与自旋 (Two-Level System & Spin)
经过2.3节的连续系统讨论,我们转向量子力学中最简单、也最深刻的研究对象:二能级系统(Two-Level System) 。这类系统的态空间仅为二维复向量空间 C 2 \mathbb{C}^2 C 2 ,却蕴含了量子力学的全部核心特征。更重要的是,二能级系统是**量子比特(Qubit)**的物理原型——量子计算的基本信息单元。
二能级系统:最简单的量子系统
一个二能级系统只有两个可区分的能量状态,通常记为 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 和 ∣ 1 ⟩ |1\rangle ∣1 ⟩ (或 ∣ 基态 ⟩ |\text{基态}\rangle ∣ 基态 ⟩ 和 ∣ 激发态 ⟩ |\text{激发态}\rangle ∣ 激发态 ⟩ )。其态空间为:
H = C 2 = { α ∣ 0 ⟩ + β ∣ 1 ⟩ ∣ α , β ∈ C , ∣ α ∣ 2 + ∣ β ∣ 2 = 1 } \mathcal{H} = \mathbb{C}^2 = \{\alpha|0\rangle + \beta|1\rangle \,|\, \alpha, \beta \in \mathbb{C}, \, |\alpha|^2 + |\beta|^2 = 1\} H = C 2 = { α ∣0 ⟩ + β ∣1 ⟩ ∣ α , β ∈ C , ∣ α ∣ 2 + ∣ β ∣ 2 = 1 }
任意归一化态可参数化为:
∣ ψ ⟩ = 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 ⟩
其中 θ ∈ [ 0 , π ] \theta \in [0, \pi] θ ∈ [ 0 , π ] ,ϕ ∈ [ 0 , 2 π ) \phi \in [0, 2\pi) ϕ ∈ [ 0 , 2 π ) 。两个实参数对应布洛赫球面上的一个点(见2.5节)。
二能级系统无处不在:原子的两个特定能级、光子的两个偏振方向、超导量子比特的两个电荷态——以及本节的主角:自旋1/2(Spin-1/2) 。
Stern-Gerlach实验
1922年,奥托·斯特恩(Otto Stern)和瓦尔特·格拉赫(Walther Gerlach)进行了一个里程碑式的实验。他们将银原子束(每个银原子含有一个未成对电子)通过一个不均匀的磁场。经典物理预期:由于电子磁矩的取向是连续分布的,原子束应该在探测屏上展宽成一片连续分布。
然而实验结果令人震惊:原子束分裂为两束 ,在探测屏上留下两个清晰的斑点!
这一结果表明:
电子具有内禀的角动量——自旋(Spin) ,不依赖于任何轨道运动。
自旋在任何空间方向上只能取两个离散的值:± ℏ / 2 \pm\hbar/2 ± ℏ/2 。
自旋是纯粹的量子力学概念,没有经典对应物。经典粒子的角动量可以取任意值,且方向连续变化;但电子的自旋只有两种可能,无论测量哪个方向。
自旋算子与泡利矩阵
自旋的数学描述直接对应我们在1.3节学习的泡利矩阵(Pauli Matrices) 。三个空间方向的自旋算子为:
S x = ℏ 2 X = ℏ 2 ( 0 1 1 0 ) , S y = ℏ 2 Y = ℏ 2 ( 0 − i i 0 ) , S z = ℏ 2 Z = ℏ 2 ( 1 0 0 − 1 ) S_x = \frac{\hbar}{2} X = \frac{\hbar}{2}\begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}, \quad S_y = \frac{\hbar}{2} Y = \frac{\hbar}{2}\begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}, \quad S_z = \frac{\hbar}{2} Z = \frac{\hbar}{2}\begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} S x = 2 ℏ X = 2 ℏ ( 0 1 1 0 ) , S y = 2 ℏ Y = 2 ℏ ( 0 i − i 0 ) , S z = 2 ℏ Z = 2 ℏ ( 1 0 0 − 1 )
这三个算子满足角动量对易关系:
[ S i , S j ] = i ℏ ε i j k S k [S_i, S_j] = i\hbar\varepsilon_{ijk} S_k [ S i , S j ] = i ℏ ε ij k S k
其中 ε i j k \varepsilon_{ijk} ε ij k 是列维-奇维塔符号(Levi-Civita Symbol),[ A , B ] = A B − B A [A, B] = AB - BA [ A , B ] = A B − B A 是对易子(Commutator)。
注意到 S x , S y , S z S_x, S_y, S_z S x , S y , S z 都是厄米算子,符合公设3的要求。它们的特征值都是 ± ℏ / 2 \pm\hbar/2 ± ℏ/2 ,与Stern-Gerlach实验观测完全一致。
自旋态
Z Z Z 算子的本征态构成标准计算基:
∣ ↑ z ⟩ = ∣ 0 ⟩ = ( 1 0 ) , ∣ ↓ z ⟩ = ∣ 1 ⟩ = ( 0 1 ) |\uparrow_z\rangle = |0\rangle = \begin{pmatrix} 1 \\ 0 \end{pmatrix}, \quad |\downarrow_z\rangle = |1\rangle = \begin{pmatrix} 0 \\ 1 \end{pmatrix} ∣ ↑ z ⟩ = ∣0 ⟩ = ( 1 0 ) , ∣ ↓ z ⟩ = ∣1 ⟩ = ( 0 1 )
泡利矩阵对这两个基态的作用:
Z ∣ 0 ⟩ = + 1 ⋅ ∣ 0 ⟩ = ∣ 0 ⟩ Z|0\rangle = +1 \cdot |0\rangle = |0\rangle Z ∣0 ⟩ = + 1 ⋅ ∣0 ⟩ = ∣0 ⟩ ,Z ∣ 1 ⟩ = − 1 ⋅ ∣ 1 ⟩ = − ∣ 1 ⟩ Z|1\rangle = -1 \cdot |1\rangle = -|1\rangle Z ∣1 ⟩ = − 1 ⋅ ∣1 ⟩ = − ∣1 ⟩
X ∣ 0 ⟩ = ∣ 1 ⟩ X|0\rangle = |1\rangle X ∣0 ⟩ = ∣1 ⟩ ,X ∣ 1 ⟩ = ∣ 0 ⟩ X|1\rangle = |0\rangle X ∣1 ⟩ = ∣0 ⟩
Y ∣ 0 ⟩ = i ∣ 1 ⟩ Y|0\rangle = i|1\rangle Y ∣0 ⟩ = i ∣1 ⟩ ,Y ∣ 1 ⟩ = − i ∣ 0 ⟩ Y|1\rangle = -i|0\rangle Y ∣1 ⟩ = − i ∣0 ⟩
X X X 算子翻转自旋,因此称为**比特翻转(Bit-flip)算子;Z Z Z 算子改变 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 的符号,称为 相位翻转(Phase-flip)**算子。
X X X 的本征态(x x x 方向自旋本征态)为:
∣ + ⟩ = ∣ 0 ⟩ + ∣ 1 ⟩ 2 , ∣ − ⟩ = ∣ 0 ⟩ − ∣ 1 ⟩ 2 |+\rangle = \frac{|0\rangle + |1\rangle}{\sqrt{2}}, \quad |-\rangle = \frac{|0\rangle - |1\rangle}{\sqrt{2}} ∣ + ⟩ = 2 ∣0 ⟩ + ∣1 ⟩ , ∣ − ⟩ = 2 ∣0 ⟩ − ∣1 ⟩
对应本征值 + 1 +1 + 1 和 − 1 -1 − 1 (即 S x S_x S x 的本征值 + ℏ / 2 +\hbar/2 + ℏ/2 和 − ℏ / 2 -\hbar/2 − ℏ/2 )。验证:X ∣ + ⟩ = X ∣ 0 ⟩ + X ∣ 1 ⟩ 2 = ∣ 1 ⟩ + ∣ 0 ⟩ 2 = ∣ + ⟩ X|+\rangle = \frac{X|0\rangle + X|1\rangle}{\sqrt{2}} = \frac{|1\rangle + |0\rangle}{\sqrt{2}} = |+\rangle X ∣ + ⟩ = 2 X ∣0 ⟩ + X ∣1 ⟩ = 2 ∣1 ⟩ + ∣0 ⟩ = ∣ + ⟩ 。
Y Y Y 的本征态为:
∣ + i ⟩ = ∣ 0 ⟩ + i ∣ 1 ⟩ 2 , ∣ − i ⟩ = ∣ 0 ⟩ − i ∣ 1 ⟩ 2 |+i\rangle = \frac{|0\rangle + i|1\rangle}{\sqrt{2}}, \quad |-i\rangle = \frac{|0\rangle - i|1\rangle}{\sqrt{2}} ∣ + i ⟩ = 2 ∣0 ⟩ + i ∣1 ⟩ , ∣ − i ⟩ = 2 ∣0 ⟩ − i ∣1 ⟩
任意态的参数化
自旋1/2系统的最一般纯态可以显式写为:
∣ ψ ⟩ = 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 ⟩
其中 θ ∈ [ 0 , π ] \theta \in [0, \pi] θ ∈ [ 0 , π ] ,ϕ ∈ [ 0 , 2 π ) \phi \in [0, 2\pi) ϕ ∈ [ 0 , 2 π ) 。这两个角度具有明确的物理意义:
θ \theta θ 决定 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 和 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 的相对权重:当 θ = 0 \theta = 0 θ = 0 时 ∣ ψ ⟩ = ∣ 0 ⟩ |\psi\rangle = |0\rangle ∣ ψ ⟩ = ∣0 ⟩ ;当 θ = π \theta = \pi θ = π 时 ∣ ψ ⟩ = ∣ 1 ⟩ |\psi\rangle = |1\rangle ∣ ψ ⟩ = ∣1 ⟩ ;当 θ = π / 2 \theta = \pi/2 θ = π /2 时两者权重相等。
ϕ \phi ϕ 是两个分量之间的相对相位(Relative Phase) 。正是这个相位导致了2.1节双缝实验中的量子干涉。
这一参数化覆盖了所有归一化纯态。注意,全局相位 e i γ ∣ ψ ⟩ e^{i\gamma}|\psi\rangle e iγ ∣ ψ ⟩ 不产生可观测的物理效应,因为概率只依赖于 ∣ ⟨ ϕ ∣ ψ ⟩ ∣ 2 |\langle\phi|\psi\rangle|^2 ∣ ⟨ ϕ ∣ ψ ⟩ ∣ 2 ,全局相位在模平方中被消去。但相对相位 e i ϕ e^{i\phi} e i ϕ 是物理的——它决定了测量结果的概率分布。
例子 :测量 ∣ + i ⟩ |+i\rangle ∣ + i ⟩ 态的 z z z 方向自旋。本征态 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 和 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 对应 S z S_z S z 测量。
P ( S z = + ℏ / 2 ) = ∣ ⟨ 0 ∣ + i ⟩ ∣ 2 = ∣ 1 2 ∣ 2 = 1 2 P(S_z = +\hbar/2) = |\langle 0|+i\rangle|^2 = \left|\frac{1}{\sqrt{2}}\right|^2 = \frac{1}{2} P ( S z = + ℏ/2 ) = ∣ ⟨ 0∣ + i ⟩ ∣ 2 = 2 1 2 = 2 1
P ( S z = − ℏ / 2 ) = ∣ ⟨ 1 ∣ + i ⟩ ∣ 2 = ∣ − i 2 ∣ 2 = 1 2 P(S_z = -\hbar/2) = |\langle 1|+i\rangle|^2 = \left|\frac{-i}{\sqrt{2}}\right|^2 = \frac{1}{2} P ( S z = − ℏ/2 ) = ∣ ⟨ 1∣ + i ⟩ ∣ 2 = 2 − i 2 = 2 1
若测得 + ℏ / 2 +\hbar/2 + ℏ/2 ,态坍缩到 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 。
小结 (Summary):
二能级系统是态空间为 C 2 \mathbb{C}^2 C 2 的最简单量子系统,是量子比特的物理原型。Stern-Gerlach实验证明了电子具有内禀自旋,自旋在任何方向上只有 ± ℏ / 2 \pm\hbar/2 ± ℏ/2 两个取值。自旋算子 S x , S y , S z S_x, S_y, S_z S x , S y , S z 直接对应1.3节的泡利矩阵 X , Y , Z X, Y, Z X , Y , Z ,其本征态构成各方向上的测量基。计算基 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 和 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 是 Z Z Z 的本征态,∣ + ⟩ |+\rangle ∣ + ⟩ 和 ∣ − ⟩ |-\rangle ∣ − ⟩ 是 X X X 的本征态,∣ + i ⟩ |+i\rangle ∣ + i ⟩ 和 ∣ − i ⟩ |-i\rangle ∣ − i ⟩ 是 Y Y Y 的本征态。任意纯态由两个参数 ( θ , ϕ ) (\theta, \phi) ( θ , ϕ ) 刻画,相对相位 ϕ \phi ϕ 是量子干涉的源泉。
与量子计算的连接 (Connection to Quantum Computing):
量子比特就是抽象的二能级系统。物理实现上,它可以是:超导电路中的两个能级(Transmon量子比特)、囚禁离子的两个内态(Ion-trap Qubit)、光子的两个偏振方向(Photonic Qubit)、半导体量子点中的两个自旋态(Spin Qubit)。所有量子比特操作——初始化、单比特门、双比特门、测量——都在2.2节的五条公设框架内进行。单比特量子门(X , Y , Z , H X, Y, Z, H X , Y , Z , H 等)对应泡利矩阵及其线性组合生成的酉矩阵;测量对应沿某个方向的自旋测量。自旋1/2系统的完备数学描述,就是单量子比特的全部理论框架。
2.5 布洛赫球 (The Bloch Sphere)
在2.4节中,我们参数化了二能级系统的任意纯态 ∣ ψ ⟩ = cos ( θ / 2 ) ∣ 0 ⟩ + e i ϕ sin ( θ / 2 ) ∣ 1 ⟩ |\psi\rangle = \cos(\theta/2)|0\rangle + e^{i\phi}\sin(\theta/2)|1\rangle ∣ ψ ⟩ = cos ( θ /2 ) ∣0 ⟩ + e i ϕ sin ( θ /2 ) ∣1 ⟩ 。本节将这些参数映射到一个三维球面——布洛赫球(Bloch Sphere) ——上,为量子比特的状态空间提供直观的几何图像。
布洛赫球的参数化
给定一个纯态的参数化:
∣ ψ ⟩ = 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 ⟩
其中 θ ∈ [ 0 , π ] \theta \in [0, \pi] θ ∈ [ 0 , π ] ,ϕ ∈ [ 0 , 2 π ) \phi \in [0, 2\pi) ϕ ∈ [ 0 , 2 π ) 。我们将其映射到三维空间中的点 ( x , y , z ) (x, y, z) ( x , y , z ) :
x = sin θ cos ϕ , y = sin θ sin ϕ , z = cos θ x = \sin\theta\cos\phi, \quad y = \sin\theta\sin\phi, \quad z = \cos\theta x = sin θ cos ϕ , y = sin θ sin ϕ , z = cos θ
验证:x 2 + y 2 + z 2 = sin 2 θ ( cos 2 ϕ + sin 2 ϕ ) + cos 2 θ = sin 2 θ + cos 2 θ = 1 x^2 + y^2 + z^2 = \sin^2\theta(\cos^2\phi + \sin^2\phi) + \cos^2\theta = \sin^2\theta + \cos^2\theta = 1 x 2 + y 2 + z 2 = sin 2 θ ( cos 2 ϕ + sin 2 ϕ ) + cos 2 θ = sin 2 θ + cos 2 θ = 1 。因此该点位于单位球面上。这种从量子态到三维空间中单位球面的映射,为抽象的二能级系统提供了一个直观且易于可视化的几何图像。
布洛赫球提供了一个一一映射(相差全局相位 e i γ e^{i\gamma} e iγ 的态映射到同一点):量子比特的每个纯态对应球面上唯一一点,球面上每一点对应一个等价类(全局相位不同)的纯态。
标准状态在球面上的位置
让我们计算几个重要量子态在布洛赫球上的坐标:
量子态 θ \theta θ ϕ \phi ϕ ( x , y , z ) (x, y, z) ( x , y , z ) 球面位置 $ 0\rangle$ 0 0 0 任意 ( 0 , 0 , + 1 ) (0, 0, +1) ( 0 , 0 , + 1 ) $ 1\rangle$ π \pi π 任意 ( 0 , 0 , − 1 ) (0, 0, -1) ( 0 , 0 , − 1 ) $ +\rangle = \frac{ 0\rangle+ 1\rangle}{\sqrt{2}}$ π / 2 \pi/2 π /2 $ -\rangle = \frac{ 0\rangle- 1\rangle}{\sqrt{2}}$ π / 2 \pi/2 π /2 $ +i\rangle = \frac{ 0\rangle+i 1\rangle}{\sqrt{2}}$ π / 2 \pi/2 π /2 $ -i\rangle = \frac{ 0\rangle-i 1\rangle}{\sqrt{2}}$ π / 2 \pi/2 π /2
这些状态在布洛赫球上构成三个相互正交的轴:z z z 轴对应 Z Z Z 算子的本征态,x x x 轴对应 X X X 算子的本征态,y y y 轴对应 Y Y Y 算子的本征态。
相位 ϕ \phi ϕ 的物理意义
参数 ϕ \phi ϕ 是 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 和 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 分量之间的相对相位。在布洛赫球上,ϕ \phi ϕ 对应绕 z z z 轴的方位角。
当 ϕ = 0 \phi = 0 ϕ = 0 时,态位于 x x x -z z z 平面(y = 0 y = 0 y = 0 ),如 ∣ + ⟩ |+\rangle ∣ + ⟩ 。
当 ϕ = π / 2 \phi = \pi/2 ϕ = π /2 时,态向 + y +y + y 方向偏移,如 ∣ + i ⟩ |+i\rangle ∣ + i ⟩ 。
改变 ϕ \phi ϕ 相当于绕 z z z 轴旋转量子态,这对应 Z Z Z 门或更一般的相位门操作。
相对相位是量子计算中量子干涉的核心资源。例如,在Deutsch算法中,正是通过精心设计的相位操作,将”函数为常数”和”函数为平衡”的情况映射到不同的可区分态上。
布洛赫矢量
对于纯态 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ ,定义布洛赫矢量(Bloch Vector) n ⃗ = ( x , y , z ) \vec{n} = (x, y, z) n = ( x , y , z ) ,其中:
x = ⟨ ψ ∣ X ∣ ψ ⟩ , y = ⟨ ψ ∣ Y ∣ ψ ⟩ , z = ⟨ ψ ∣ Z ∣ ψ ⟩ x = \langle\psi|X|\psi\rangle, \quad y = \langle\psi|Y|\psi\rangle, \quad z = \langle\psi|Z|\psi\rangle x = ⟨ ψ ∣ X ∣ ψ ⟩ , y = ⟨ ψ ∣ Y ∣ ψ ⟩ , z = ⟨ ψ ∣ Z ∣ ψ ⟩
验证:对 ∣ ψ ⟩ = cos ( θ / 2 ) ∣ 0 ⟩ + e i ϕ sin ( θ / 2 ) ∣ 1 ⟩ |\psi\rangle = \cos(\theta/2)|0\rangle + e^{i\phi}\sin(\theta/2)|1\rangle ∣ ψ ⟩ = cos ( θ /2 ) ∣0 ⟩ + e i ϕ sin ( θ /2 ) ∣1 ⟩ ,
z = ⟨ ψ ∣ Z ∣ ψ ⟩ = ∣ cos ( θ / 2 ) ∣ 2 − ∣ e i ϕ sin ( θ / 2 ) ∣ 2 = cos 2 θ 2 − sin 2 θ 2 = cos θ z = \langle\psi|Z|\psi\rangle = |\cos(\theta/2)|^2 - |e^{i\phi}\sin(\theta/2)|^2 = \cos^2\frac{\theta}{2} - \sin^2\frac{\theta}{2} = \cos\theta z = ⟨ ψ ∣ Z ∣ ψ ⟩ = ∣ cos ( θ /2 ) ∣ 2 − ∣ e i ϕ sin ( θ /2 ) ∣ 2 = cos 2 2 θ − sin 2 2 θ = cos θ
类似可验证 x x x 和 y y y 。布洛赫矢量的三个分量,正是沿三个泡利方向的自旋期望值(除以 ℏ / 2 \hbar/2 ℏ/2 )。
球面上的旋转对应酉操作
布洛赫球的几何图像使得酉操作变得直观:任何单量子比特的酉操作,都对应布洛赫球上的一个旋转 !
具体而言:
X X X 门 :X = e i π X / 2 X = e^{i\pi X/2} X = e iπ X /2 (相差全局相位),对应绕 x x x 轴旋转 π \pi π 。它将 ∣ 0 ⟩ |0\rangle ∣0 ⟩ (北极)转到 ∣ 1 ⟩ |1\rangle ∣1 ⟩ (南极),将 ∣ + ⟩ |+\rangle ∣ + ⟩ 保持不变,将 ∣ + i ⟩ |+i\rangle ∣ + i ⟩ 转到 ∣ − i ⟩ |-i\rangle ∣ − i ⟩ 。
Z Z Z 门 :对应绕 z z z 轴旋转 π \pi π 。它保持 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 和 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 不变(只是改变 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 的符号,全局相位不影响布洛赫球上的点),将 ∣ + ⟩ |+\rangle ∣ + ⟩ 转到 ∣ − ⟩ |-\rangle ∣ − ⟩ ,将 ∣ + i ⟩ |+i\rangle ∣ + i ⟩ 转到 ∣ − i ⟩ |-i\rangle ∣ − i ⟩ 。
Y Y Y 门 :对应绕 y y y 轴旋转 π \pi π 。
Hadamard门 H H H :对应绕轴 n ⃗ = ( 1 , 0 , 1 ) / 2 \vec{n} = (1, 0, 1)/\sqrt{2} n = ( 1 , 0 , 1 ) / 2 (即 x x x -z z z 平面的对角线方向)旋转 π \pi π 。它将 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 转到 ∣ + ⟩ |+\rangle ∣ + ⟩ ,将 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 转到 ∣ − ⟩ |-\rangle ∣ − ⟩ 。
更一般地,绕任意轴 n ⃗ = ( n x , n y , n z ) \vec{n} = (n_x, n_y, n_z) n = ( n x , n y , n z ) (单位矢量)旋转角度 α \alpha α 的酉操作,由泡利旋转算子 给出:
R n ⃗ ( α ) = e − i α ( n ⃗ ⋅ σ ⃗ ) / 2 = cos α 2 I − i sin α 2 ( n x X + n y Y + n z Z ) R_{\vec{n}}(\alpha) = e^{-i\alpha(\vec{n}\cdot\vec{\sigma})/2} = \cos\frac{\alpha}{2}I - i\sin\frac{\alpha}{2}(n_x X + n_y Y + n_z Z) R n ( α ) = e − i α ( n ⋅ σ ) /2 = cos 2 α I − i sin 2 α ( n x X + n y Y + n z Z )
其中 σ ⃗ = ( X , Y , Z ) \vec{\sigma} = (X, Y, Z) σ = ( X , Y , Z ) 是泡利矩阵向量。这是1.3节矩阵指数的直接应用。
纯态与混态
布洛赫球表面的所有点对应纯态(Pure States) 。这些纯态是可以用单一态矢完备描述的量子态,具有最大的量子相干性。然而,球体内部的点 x 2 + y 2 + z 2 < 1 x^2 + y^2 + z^2 < 1 x 2 + y 2 + z 2 < 1 也有明确的物理意义——它们对应混态(Mixed States) 。混态不能由单一态矢描述,需要用密度矩阵(2.6节)刻画。球心 ( 0 , 0 , 0 ) (0,0,0) ( 0 , 0 , 0 ) 对应最大混态(Maximally Mixed State) ρ = I / 2 \rho = I/2 ρ = I /2 ,表示对系统一无所知。
从球心到表面,态的”纯度”逐渐增加。布洛赫矢量长度的平方 r 2 = x 2 + y 2 + z 2 r^2 = x^2 + y^2 + z^2 r 2 = x 2 + y 2 + z 2 与密度矩阵的 Tr ( ρ 2 ) \text{Tr}(\rho^2) Tr ( ρ 2 ) 直接相关:对纯态 r = 1 r = 1 r = 1 ,Tr ( ρ 2 ) = 1 \text{Tr}(\rho^2) = 1 Tr ( ρ 2 ) = 1 ;对混态 r < 1 r < 1 r < 1 ,Tr ( ρ 2 ) < 1 \text{Tr}(\rho^2) < 1 Tr ( ρ 2 ) < 1 。
小结 (Summary):
布洛赫球为二能级系统的纯态提供了优美的几何表示:每个纯态 ∣ ψ ⟩ = cos ( θ / 2 ) ∣ 0 ⟩ + e i ϕ sin ( θ / 2 ) ∣ 1 ⟩ |\psi\rangle = \cos(\theta/2)|0\rangle + e^{i\phi}\sin(\theta/2)|1\rangle ∣ ψ ⟩ = cos ( θ /2 ) ∣0 ⟩ + e i ϕ sin ( θ /2 ) ∣1 ⟩ 对应单位球面上的点 ( x , y , z ) = ( sin θ cos ϕ , sin θ sin ϕ , cos θ ) (x, y, z) = (\sin\theta\cos\phi, \sin\theta\sin\phi, \cos\theta) ( x , y , z ) = ( sin θ cos ϕ , sin θ sin ϕ , cos θ ) 。北极和南极分别对应 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 和 ∣ 1 ⟩ |1\rangle ∣1 ⟩ ,x x x 轴和 y y y 轴分别对应 X X X 和 Y Y Y 算子的本征态。相对相位 ϕ \phi ϕ 对应方位角,决定了量子态在赤道平面上的取向。量子门操作对应布洛赫球上的旋转:X , Y , Z X, Y, Z X , Y , Z 门分别绕三个坐标轴旋转 π \pi π ,Hadamard门绕对角轴旋转 π \pi π 。球面内部的点对应混态,将在2.6节通过密度矩阵完整讨论。
与量子计算的连接 (Connection to Quantum Computing):
布洛赫球是单量子比特操作的直观工具。任何单比特酉门都对应球面上的旋转,其旋转轴和角度可由泡利矩阵的线性组合确定。量子态层析(Quantum State Tomography)通过测量 X , Y , Z X, Y, Z X , Y , Z 三个方向的期望值,重构布洛赫矢量,从而完整刻画未知量子态。在量子纠错中,我们需要将量子信息编码到高维空间,使得噪声引起的布洛赫矢量偏移可以被检测和纠正。理解布洛赫球是设计单量子比特门序列(如最优控制脉冲)的基础。
2.6 测量理论与密度矩阵 (Measurement Theory & Density Matrix)
在前面的章节中,我们假设系统处于确定的纯态 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 。然而,物理现实中我们常常面临”不知道系统确切处于哪个态”的情形——系统可能以某种概率分布处于若干可能态之一。此外,当我们只观察复合系统的一部分时,即使整体处于纯态,子系统也会表现出”混合”的行为。**密度矩阵(Density Matrix)**是描述这类情形的统一数学工具,也是理解量子纠缠与量子纠错的关键。
投影测量
让我们从2.2节的测量公设出发,用1.4节和1.5节的投影算子语言进行更系统的阐述。
一个可观测量 M M M 对应厄米算子,根据谱分解定理(1.5节):
M = ∑ i m i P i M = \sum_i m_i P_i M = ∑ i m i P i
其中 m i m_i m i 是互不相同的实特征值,P i = ∣ m i ⟩ ⟨ m i ∣ P_i = |m_i\rangle\langle m_i| P i = ∣ m i ⟩ ⟨ m i ∣ 是投影到本征态 ∣ m i ⟩ |m_i\rangle ∣ m i ⟩ 的投影算子(Projection Operator) 。投影算子满足:
厄米性 :P i † = P i P_i^\dagger = P_i P i † = P i
幂等性 :P i 2 = P i P_i^2 = P_i P i 2 = P i (再次投影不改变结果——这正是1.4节讨论的性质)
正交性 :P i P j = δ i j P i P_i P_j = \delta_{ij} P_i P i P j = δ ij P i (投影到不同本征空间的结果互相排斥)
完备性 :∑ i P i = I \sum_i P_i = I ∑ i P i = I (所有本征空间张成整个态空间)
对处于 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 的系统测量 M M M :
得到结果 m i m_i m i 的概率 :
P ( m i ) = ⟨ ψ ∣ P i ∣ ψ ⟩ = ∣ ∣ P i ∣ ψ ⟩ ∣ ∣ 2 P(m_i) = \langle\psi|P_i|\psi\rangle = ||P_i|\psi\rangle||^2 P ( m i ) = ⟨ ψ ∣ P i ∣ ψ ⟩ = ∣∣ P i ∣ ψ ⟩ ∣ ∣ 2
这正是 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 在 ∣ m i ⟩ |m_i\rangle ∣ m i ⟩ 方向上投影分量的长度平方。
测量后态 :
∣ ψ ⟩ → 测得 m i P i ∣ ψ ⟩ P ( m i ) |\psi\rangle \xrightarrow{\text{测得 } m_i} \frac{P_i|\psi\rangle}{\sqrt{P(m_i)}} ∣ ψ ⟩ 测得 m i P ( m i ) P i ∣ ψ ⟩
态矢被”投影”到对应本征空间,然后重新归一化。
期望值
多次重复测量,结果 m i m_i m i 的平均值——期望值(Expectation Value) ——为:
⟨ M ⟩ = ∑ i m i P ( m i ) = ∑ i m i ⟨ ψ ∣ P i ∣ ψ ⟩ = ⟨ ψ ∣ ( ∑ i m i P i ) ∣ ψ ⟩ = ⟨ ψ ∣ M ∣ ψ ⟩ \langle M \rangle = \sum_i m_i P(m_i) = \sum_i m_i \langle\psi|P_i|\psi\rangle = \langle\psi|\left(\sum_i m_i P_i\right)|\psi\rangle = \langle\psi|M|\psi\rangle ⟨ M ⟩ = ∑ i m i P ( m i ) = ∑ i m i ⟨ ψ ∣ P i ∣ ψ ⟩ = ⟨ ψ ∣ ( ∑ i m i P i ) ∣ ψ ⟩ = ⟨ ψ ∣ M ∣ ψ ⟩
这一简洁的公式将测量统计与算子直接联系起来。
数值例子(用 Z Z Z 测量 ∣ + ⟩ |+\rangle ∣ + ⟩ ) :
设 ∣ ψ ⟩ = ∣ + ⟩ = ∣ 0 ⟩ + ∣ 1 ⟩ 2 |\psi\rangle = |+\rangle = \frac{|0\rangle + |1\rangle}{\sqrt{2}} ∣ ψ ⟩ = ∣ + ⟩ = 2 ∣0 ⟩ + ∣1 ⟩ ,测量可观测量 Z = ∣ 0 ⟩ ⟨ 0 ∣ − ∣ 1 ⟩ ⟨ 1 ∣ Z = |0\rangle\langle 0| - |1\rangle\langle 1| Z = ∣0 ⟩ ⟨ 0∣ − ∣1 ⟩ ⟨ 1∣ 。
投影算子为 P 0 = ∣ 0 ⟩ ⟨ 0 ∣ P_0 = |0\rangle\langle 0| P 0 = ∣0 ⟩ ⟨ 0∣ 和 P 1 = ∣ 1 ⟩ ⟨ 1 ∣ P_1 = |1\rangle\langle 1| P 1 = ∣1 ⟩ ⟨ 1∣ ,对应测量结果 + 1 +1 + 1 和 − 1 -1 − 1 。
计算概率:
P ( + 1 ) = ⟨ + ∣ P 0 ∣ + ⟩ = 1 2 ( ⟨ 0 ∣ + ⟨ 1 ∣ ) ∣ 0 ⟩ ⟨ 0 ∣ ( ∣ 0 ⟩ + ∣ 1 ⟩ ) = 1 2 ⟨ 0 ∣ 0 ⟩ ⟨ 0 ∣ 0 ⟩ = 1 2 P(+1) = \langle +|P_0|+\rangle = \frac{1}{2}(\langle 0| + \langle 1|)|0\rangle\langle 0|(|0\rangle + |1\rangle) = \frac{1}{2}\langle 0|0\rangle\langle 0|0\rangle = \frac{1}{2} P ( + 1 ) = ⟨ + ∣ P 0 ∣ + ⟩ = 2 1 (⟨ 0∣ + ⟨ 1∣ ) ∣0 ⟩ ⟨ 0∣ ( ∣0 ⟩ + ∣1 ⟩) = 2 1 ⟨ 0∣0 ⟩ ⟨ 0∣0 ⟩ = 2 1
P ( − 1 ) = ⟨ + ∣ P 1 ∣ + ⟩ = 1 2 P(-1) = \langle +|P_1|+\rangle = \frac{1}{2} P ( − 1 ) = ⟨ + ∣ P 1 ∣ + ⟩ = 2 1
测量后的态:若得 + 1 +1 + 1 ,
∣ ψ ′ ⟩ = P 0 ∣ + ⟩ 1 / 2 = ∣ 0 ⟩ ⟨ 0 ∣ + ⟩ 1 / 2 = ∣ 0 ⟩ ⋅ ( 1 / 2 ) 1 / 2 = ∣ 0 ⟩ |\psi'\rangle = \frac{P_0|+\rangle}{\sqrt{1/2}} = \frac{|0\rangle\langle 0|+\rangle}{1/\sqrt{2}} = \frac{|0\rangle \cdot (1/\sqrt{2})}{1/\sqrt{2}} = |0\rangle ∣ ψ ′ ⟩ = 1/2 P 0 ∣ + ⟩ = 1/ 2 ∣0 ⟩ ⟨ 0∣ + ⟩ = 1/ 2 ∣0 ⟩ ⋅ ( 1/ 2 ) = ∣0 ⟩
若得 − 1 -1 − 1 ,∣ ψ ′ ⟩ = ∣ 1 ⟩ |\psi'\rangle = |1\rangle ∣ ψ ′ ⟩ = ∣1 ⟩ 。
期望值:
⟨ Z ⟩ = ( + 1 ) ⋅ 1 2 + ( − 1 ) ⋅ 1 2 = 0 \langle Z \rangle = (+1)\cdot\frac{1}{2} + (-1)\cdot\frac{1}{2} = 0 ⟨ Z ⟩ = ( + 1 ) ⋅ 2 1 + ( − 1 ) ⋅ 2 1 = 0
直接验证:⟨ + ∣ Z ∣ + ⟩ = 1 2 ( 1 , 1 ) ( 1 0 0 − 1 ) ( 1 1 ) = 1 2 ( 1 − 1 ) = 0 \langle +|Z|+\rangle = \frac{1}{2}(1, 1)\begin{pmatrix}1 & 0 \\ 0 & -1\end{pmatrix}\begin{pmatrix}1 \\ 1\end{pmatrix} = \frac{1}{2}(1 - 1) = 0 ⟨ + ∣ Z ∣ + ⟩ = 2 1 ( 1 , 1 ) ( 1 0 0 − 1 ) ( 1 1 ) = 2 1 ( 1 − 1 ) = 0 。
密度矩阵的引入
现在考虑更一般的情形:系统以概率 p i p_i p i 处于态 ∣ ψ i ⟩ |\psi_i\rangle ∣ ψ i ⟩ (i = 1 , 2 , … , N i = 1, 2, \ldots, N i = 1 , 2 , … , N ),其中 ∑ i p i = 1 \sum_i p_i = 1 ∑ i p i = 1 。我们测量可观测量 M M M ,得到 m j m_j m j 的概率为:
P ( m j ) = ∑ i p i ⟨ ψ i ∣ P j ∣ ψ i ⟩ P(m_j) = \sum_i p_i \langle\psi_i|P_j|\psi_i\rangle P ( m j ) = ∑ i p i ⟨ ψ i ∣ P j ∣ ψ i ⟩
期望值为:
⟨ M ⟩ = ∑ i p i ⟨ ψ i ∣ M ∣ ψ i ⟩ \langle M \rangle = \sum_i p_i \langle\psi_i|M|\psi_i\rangle ⟨ M ⟩ = ∑ i p i ⟨ ψ i ∣ M ∣ ψ i ⟩
直接计算需要对每个可能的态分别求内积再加权平均,十分繁琐。密度矩阵提供了统一的简洁描述。
定义 :系统的**密度矩阵(Density Matrix)或 密度算子(Density Operator)**定义为:
ρ = ∑ i p i ∣ ψ i ⟩ ⟨ ψ i ∣ \rho = \sum_i p_i |\psi_i\rangle\langle\psi_i| ρ = ∑ i p i ∣ ψ i ⟩ ⟨ ψ i ∣
这是一个厄米、半正定、迹为1的算子(矩阵)。
利用密度矩阵,概率和期望值可以写为:
P ( m j ) = Tr ( ρ P j ) , ⟨ M ⟩ = Tr ( ρ M ) P(m_j) = \text{Tr}(\rho P_j), \quad \langle M \rangle = \text{Tr}(\rho M) P ( m j ) = Tr ( ρ P j ) , ⟨ M ⟩ = Tr ( ρM )
其中 Tr ( A ) = ∑ k ⟨ k ∣ A ∣ k ⟩ \text{Tr}(A) = \sum_k \langle k|A|k\rangle Tr ( A ) = ∑ k ⟨ k ∣ A ∣ k ⟩ 是矩阵的迹(Trace),与基底选择无关。
纯态与混态
纯态(Pure State) :系统确定地处于某个态 ∣ ψ ⟩ |\psi\rangle ∣ ψ ⟩ 。此时 p = 1 p = 1 p = 1 ,密度矩阵为:
ρ = ∣ ψ ⟩ ⟨ ψ ∣ \rho = |\psi\rangle\langle\psi| ρ = ∣ ψ ⟩ ⟨ ψ ∣
纯态密度矩阵满足幂等性 :ρ 2 = ∣ ψ ⟩ ⟨ ψ ∣ ψ ⟩ ⟨ ψ ∣ = ∣ ψ ⟩ ⟨ ψ ∣ = ρ \rho^2 = |\psi\rangle\langle\psi|\psi\rangle\langle\psi| = |\psi\rangle\langle\psi| = \rho ρ 2 = ∣ ψ ⟩ ⟨ ψ ∣ ψ ⟩ ⟨ ψ ∣ = ∣ ψ ⟩ ⟨ ψ ∣ = ρ 。
因此:
Tr ( ρ 2 ) = Tr ( ρ ) = 1 \text{Tr}(\rho^2) = \text{Tr}(\rho) = 1 Tr ( ρ 2 ) = Tr ( ρ ) = 1
混态(Mixed State) :系统以非平凡的概率分布处于多个态。此时:
ρ 2 = ∑ i , j p i p j ∣ ψ i ⟩ ⟨ ψ i ∣ ψ j ⟩ ⟨ ψ j ∣ ≠ ρ \rho^2 = \sum_{i,j} p_i p_j |\psi_i\rangle\langle\psi_i|\psi_j\rangle\langle\psi_j| \neq \rho ρ 2 = ∑ i , j p i p j ∣ ψ i ⟩ ⟨ ψ i ∣ ψ j ⟩ ⟨ ψ j ∣ = ρ
且:
Tr ( ρ 2 ) = ∑ i p i 2 < 1 \text{Tr}(\rho^2) = \sum_i p_i^2 < 1 Tr ( ρ 2 ) = ∑ i p i 2 < 1
(因为 p i < 1 p_i < 1 p i < 1 且 ∑ p i = 1 \sum p_i = 1 ∑ p i = 1 ,所以 ∑ p i 2 < ( ∑ p i ) 2 = 1 \sum p_i^2 < (\sum p_i)^2 = 1 ∑ p i 2 < ( ∑ p i ) 2 = 1 。)
Tr ( ρ 2 ) \text{Tr}(\rho^2) Tr ( ρ 2 ) 称为纯度(Purity) ,是纯态与混态的判别标准:Tr ( ρ 2 ) = 1 \text{Tr}(\rho^2) = 1 Tr ( ρ 2 ) = 1 当且仅当 ρ \rho ρ 描述纯态;Tr ( ρ 2 ) < 1 \text{Tr}(\rho^2) < 1 Tr ( ρ 2 ) < 1 则为混态。在布洛赫球(2.5节)中,纯度对应球心距离的平方:Tr ( ρ 2 ) = 1 2 ( 1 + r 2 ) \text{Tr}(\rho^2) = \frac{1}{2}(1 + r^2) Tr ( ρ 2 ) = 2 1 ( 1 + r 2 ) ,其中 r 2 = x 2 + y 2 + z 2 r^2 = x^2 + y^2 + z^2 r 2 = x 2 + y 2 + z 2 。
纯态与混态对比示例
考虑以下两个单量子比特状态:
状态A(纯态) :∣ ψ ⟩ = ∣ + ⟩ = ∣ 0 ⟩ + ∣ 1 ⟩ 2 |\psi\rangle = |+\rangle = \frac{|0\rangle + |1\rangle}{\sqrt{2}} ∣ ψ ⟩ = ∣ + ⟩ = 2 ∣0 ⟩ + ∣1 ⟩
密度矩阵:
ρ A = ∣ + ⟩ ⟨ + ∣ = 1 2 ( 1 1 ) ( 1 , 1 ) = 1 2 ( 1 1 1 1 ) \rho_A = |+\rangle\langle +| = \frac{1}{2}\begin{pmatrix}1 \\ 1\end{pmatrix}(1, 1) = \frac{1}{2}\begin{pmatrix}1 & 1 \\ 1 & 1\end{pmatrix} ρ A = ∣ + ⟩ ⟨ + ∣ = 2 1 ( 1 1 ) ( 1 , 1 ) = 2 1 ( 1 1 1 1 )
纯度:ρ A 2 = 1 4 ( 2 2 2 2 ) = 1 2 ( 1 1 1 1 ) = ρ A \rho_A^2 = \frac{1}{4}\begin{pmatrix}2 & 2 \\ 2 & 2\end{pmatrix} = \frac{1}{2}\begin{pmatrix}1 & 1 \\ 1 & 1\end{pmatrix} = \rho_A ρ A 2 = 4 1 ( 2 2 2 2 ) = 2 1 ( 1 1 1 1 ) = ρ A ,因此 Tr ( ρ A 2 ) = Tr ( ρ A ) = 1 \text{Tr}(\rho_A^2) = \text{Tr}(\rho_A) = 1 Tr ( ρ A 2 ) = Tr ( ρ A ) = 1 。布洛赫矢量:( 1 , 0 , 0 ) (1, 0, 0) ( 1 , 0 , 0 ) ,位于球面上。
状态B(混态) :系统以 50 % 50\% 50% 概率处于 ∣ 0 ⟩ |0\rangle ∣0 ⟩ ,以 50 % 50\% 50% 概率处于 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 。注意,这不是叠加态 ∣ + ⟩ |+\rangle ∣ + ⟩ ——而是”经典的不确定性”,我们不知道系统究竟是 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 还是 ∣ 1 ⟩ |1\rangle ∣1 ⟩ ,只知道各自的概率。
密度矩阵:
ρ B = 1 2 ∣ 0 ⟩ ⟨ 0 ∣ + 1 2 ∣ 1 ⟩ ⟨ 1 ∣ = 1 2 ( 1 0 0 0 ) + 1 2 ( 0 0 0 1 ) = 1 2 ( 1 0 0 1 ) = I 2 \rho_B = \frac{1}{2}|0\rangle\langle 0| + \frac{1}{2}|1\rangle\langle 1| = \frac{1}{2}\begin{pmatrix}1 & 0 \\ 0 & 0\end{pmatrix} + \frac{1}{2}\begin{pmatrix}0 & 0 \\ 0 & 1\end{pmatrix} = \frac{1}{2}\begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix} = \frac{I}{2} ρ B = 2 1 ∣0 ⟩ ⟨ 0∣ + 2 1 ∣1 ⟩ ⟨ 1∣ = 2 1 ( 1 0 0 0 ) + 2 1 ( 0 0 0 1 ) = 2 1 ( 1 0 0 1 ) = 2 I
纯度:ρ B 2 = I 4 \rho_B^2 = \frac{I}{4} ρ B 2 = 4 I ,Tr ( ρ B 2 ) = Tr ( I 4 ) = 1 2 < 1 \text{Tr}(\rho_B^2) = \text{Tr}(\frac{I}{4}) = \frac{1}{2} < 1 Tr ( ρ B 2 ) = Tr ( 4 I ) = 2 1 < 1 。布洛赫矢量:( 0 , 0 , 0 ) (0, 0, 0) ( 0 , 0 , 0 ) ,位于球心。
这两个状态有完全不同的物理含义:ρ A \rho_A ρ A 描述的是 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 和 ∣ 1 ⟩ |1\rangle ∣1 ⟩ 的量子叠加 ,测量 Z Z Z 时以相等概率得到 ± 1 \pm 1 ± 1 ,但系统处于确定性的相干态;ρ B \rho_B ρ B 描述的是经典混态 ,测量 Z Z Z 同样以相等概率得到 ± 1 \pm 1 ± 1 ,但不存在量子相干——系统”确实”是 ∣ 0 ⟩ |0\rangle ∣0 ⟩ 或”确实”是 ∣ 1 ⟩ |1\rangle ∣1 ⟩ ,只是我们不知道而已。
关键检验:测量 X X X 。对 ρ A \rho_A ρ A ,⟨ X ⟩ = Tr ( ρ A X ) = 1 \langle X \rangle = \text{Tr}(\rho_A X) = 1 ⟨ X ⟩ = Tr ( ρ A X ) = 1 (因为 ∣ + ⟩ |+\rangle ∣ + ⟩ 是 X X X 的本征态,本征值 + 1 +1 + 1 )。对 ρ B \rho_B ρ B ,⟨ X ⟩ = Tr ( I 2 X ) = 1 2 Tr ( X ) = 0 \langle X \rangle = \text{Tr}(\frac{I}{2}X) = \frac{1}{2}\text{Tr}(X) = 0 ⟨ X ⟩ = Tr ( 2 I X ) = 2 1 Tr ( X ) = 0 。两者产生完全不同的实验预测,尽管它们在 Z Z Z 测量下统计相同。
约化密度矩阵
密度矩阵最重要的应用之一,是描述复合系统中的子系统。考虑一个双粒子系统的纯态 ∣ Ψ ⟩ A B |\Psi\rangle_{AB} ∣Ψ ⟩ A B ,其密度矩阵为 ρ A B = ∣ Ψ ⟩ ⟨ Ψ ∣ \rho_{AB} = |\Psi\rangle\langle\Psi| ρ A B = ∣Ψ ⟩ ⟨ Ψ∣ 。
当我们只关注粒子 A A A (对粒子 B B B “视而不见”),A A A 的物理由**约化密度矩阵(Reduced Density Matrix)**描述:
ρ A = Tr B ( ρ A B ) \rho_A = \text{Tr}_B(\rho_{AB}) ρ A = Tr B ( ρ A B )
其中 Tr B \text{Tr}_B Tr B 表示对子系统 B B B 求偏迹(Partial Trace) :若 { ∣ b j ⟩ } \{|b_j\rangle\} { ∣ b j ⟩} 是 B B B 的一组标准正交基,则:
ρ A = ∑ j ⟨ b j ∣ ρ A B ∣ b j ⟩ \rho_A = \sum_j \langle b_j|\rho_{AB}|b_j\rangle ρ A = ∑ j ⟨ b j ∣ ρ A B ∣ b j ⟩
偏迹的结果是一个仅作用于 A A A 的希尔伯特空间的算子。
核心事实 :即使 ρ A B \rho_{AB} ρ A B 是纯态(整体有完全确定的量子态),ρ A \rho_A ρ A 通常是混态!这一看似矛盾的现象,正是**量子纠缠(Quantum Entanglement)**的数学表征。
例子 :考虑贝尔态(Bell State)∣ Φ + ⟩ = ∣ 00 ⟩ + ∣ 11 ⟩ 2 |\Phi^+\rangle = \frac{|00\rangle + |11\rangle}{\sqrt{2}} ∣ Φ + ⟩ = 2 ∣00 ⟩ + ∣11 ⟩ 。整体是纯态,ρ A B = ∣ Φ + ⟩ ⟨ Φ + ∣ \rho_{AB} = |\Phi^+\rangle\langle\Phi^+| ρ A B = ∣ Φ + ⟩ ⟨ Φ + ∣ 。
计算 ρ A \rho_A ρ A :
ρ A = Tr B ( ρ A B ) = ⟨ 0 B ∣ ρ A B ∣ 0 B ⟩ + ⟨ 1 B ∣ ρ A B ∣ 1 B ⟩ \rho_A = \text{Tr}_B(\rho_{AB}) = \langle 0_B|\rho_{AB}|0_B\rangle + \langle 1_B|\rho_{AB}|1_B\rangle ρ A = Tr B ( ρ A B ) = ⟨ 0 B ∣ ρ A B ∣ 0 B ⟩ + ⟨ 1 B ∣ ρ A B ∣ 1 B ⟩
计算第一项:
⟨ 0 B ∣ Φ + ⟩ = 1 2 ⟨ 0 B ∣ ( ∣ 0 A 0 B ⟩ + ∣ 1 A 1 B ⟩ ) = 1 2 ∣ 0 A ⟩ \langle 0_B|\Phi^+\rangle = \frac{1}{\sqrt{2}}\langle 0_B|(|0_A 0_B\rangle + |1_A 1_B\rangle) = \frac{1}{\sqrt{2}}|0_A\rangle ⟨ 0 B ∣ Φ + ⟩ = 2 1 ⟨ 0 B ∣ ( ∣ 0 A 0 B ⟩ + ∣ 1 A 1 B ⟩) = 2 1 ∣ 0 A ⟩
所以 ⟨ 0 B ∣ ρ A B ∣ 0 B ⟩ = 1 2 ∣ 0 A ⟩ ⟨ 0 A ∣ \langle 0_B|\rho_{AB}|0_B\rangle = \frac{1}{2}|0_A\rangle\langle 0_A| ⟨ 0 B ∣ ρ A B ∣ 0 B ⟩ = 2 1 ∣ 0 A ⟩ ⟨ 0 A ∣ 。
类似地,⟨ 1 B ∣ ρ A B ∣ 1 B ⟩ = 1 2 ∣ 1 A ⟩ ⟨ 1 A ∣ \langle 1_B|\rho_{AB}|1_B\rangle = \frac{1}{2}|1_A\rangle\langle 1_A| ⟨ 1 B ∣ ρ A B ∣ 1 B ⟩ = 2 1 ∣ 1 A ⟩ ⟨ 1 A ∣ 。
因此:
ρ A = 1 2 ∣ 0 ⟩ ⟨ 0 ∣ + 1 2 ∣ 1 ⟩ ⟨ 1 ∣ = I 2 \rho_A = \frac{1}{2}|0\rangle\langle 0| + \frac{1}{2}|1\rangle\langle 1| = \frac{I}{2} ρ A = 2 1 ∣0 ⟩ ⟨ 0∣ + 2 1 ∣1 ⟩ ⟨ 1∣ = 2 I
这是一个最大混态!Tr ( ρ A 2 ) = 1 / 2 < 1 \text{Tr}(\rho_A^2) = 1/2 < 1 Tr ( ρ A 2 ) = 1/2 < 1 。
物理诠释:子系统 A A A “单独看”纠缠态 ∣ Φ + ⟩ |\Phi^+\rangle ∣ Φ + ⟩ ,得到的描述与”以50%概率处于 ∣ 0 ⟩ |0\rangle ∣0 ⟩ ,50%概率处于 ∣ 1 ⟩ |1\rangle ∣1 ⟩ “的经典混态完全相同。子系统 A A A 不包含任何关于自身状态的确定性信息——全部信息都隐藏在 A A A 与 B B B 的关联之中。
这一性质是量子密码学安全性的基础:如果有人试图窃听量子通信(即对子系统 B B B 进行测量),会不可避免地破坏纠缠态,留下可检测的痕迹。
小结 (Summary):
投影测量由厄米算子的谱分解描述,投影算子 P i = ∣ m i ⟩ ⟨ m i ∣ P_i = |m_i\rangle\langle m_i| P i = ∣ m i ⟩ ⟨ m i ∣ 将态投影到对应本征空间,测量概率 P ( m i ) = ⟨ ψ ∣ P i ∣ ψ ⟩ P(m_i) = \langle\psi|P_i|\psi\rangle P ( m i ) = ⟨ ψ ∣ P i ∣ ψ ⟩ (引用1.4和1.5节)。期望值 ⟨ M ⟩ = ⟨ ψ ∣ M ∣ ψ ⟩ \langle M\rangle = \langle\psi|M|\psi\rangle ⟨ M ⟩ = ⟨ ψ ∣ M ∣ ψ ⟩ 。密度矩阵 ρ = ∑ i p i ∣ ψ i ⟩ ⟨ ψ i ∣ \rho = \sum_i p_i|\psi_i\rangle\langle\psi_i| ρ = ∑ i p i ∣ ψ i ⟩ ⟨ ψ i ∣ 统一描述纯态与混态:纯态满足 ρ 2 = ρ \rho^2 = \rho ρ 2 = ρ 且 Tr ( ρ 2 ) = 1 \text{Tr}(\rho^2) = 1 Tr ( ρ 2 ) = 1 ;混态满足 Tr ( ρ 2 ) < 1 \text{Tr}(\rho^2) < 1 Tr ( ρ 2 ) < 1 。约化密度矩阵 ρ A = Tr B ( ρ A B ) \rho_A = \text{Tr}_B(\rho_{AB}) ρ A = Tr B ( ρ A B ) 描述复合系统中子系统的状态,纠缠纯态的约化密度矩阵通常是混态。这是理解量子纠缠本质的关键:子系统单独看纠缠态,看到的是完全随机的经典混态,全部量子信息蕴含在关联之中。
与量子计算的连接 (Connection to Quantum Computing):
密度矩阵是分析开放量子系统和量子噪声的标准工具。真实量子计算机不是完全隔离的——与环境存在不可避免的耦合,导致退相干(Decoherence)。退相干过程将纯态变为混态,描述为密度矩阵的非酉演化。量子纠错码通过将逻辑量子信息编码到多个物理量子比特的纠缠态中,使得局部噪声只引起可纠正的小扰动。约化密度矩阵的纠缠熵 S = − Tr ( ρ A log ρ A ) S = -\text{Tr}(\rho_A \log \rho_A) S = − Tr ( ρ A log ρ A ) 量化了子系统间的纠缠程度,是评估量子线路生成纠缠资源能力的重要指标。在量子机器学习、量子热力学和量子通信的理论分析中,密度矩阵都是不可或缺的数学工具。
本章总结
本章将第一章的抽象数学工具逐一”物理实例化”:
2.1节展示了经典物理在微观世界的失效,双缝实验揭示量子概率 ∣ ψ A + ψ B ∣ 2 ≠ ∣ ψ A ∣ 2 + ∣ ψ B ∣ 2 |\psi_A + \psi_B|^2 \neq |\psi_A|^2 + |\psi_B|^2 ∣ ψ A + ψ B ∣ 2 = ∣ ψ A ∣ 2 + ∣ ψ B ∣ 2 的本质——复数干涉。
2.2节系统建立了五条量子力学公设,每条都直接对应1.2-1.6节的数学结构:希尔伯特空间、酉算子、厄米算子与谱分解、投影算子与概率、张量积。
2.3节通过薛定谔方程的定态问题,展示了特征值方程 H ∣ ψ ⟩ = E ∣ ψ ⟩ H|\psi\rangle = E|\psi\rangle H ∣ ψ ⟩ = E ∣ ψ ⟩ 的物理意义,并用无限深势阱给出了完整求解。
2.4节将泡利矩阵(1.3节)与自旋1/2系统对应起来,Stern-Gerlach实验为量子化提供了物理基础。
2.5节的布洛赫球为量子比特提供了几何图像,酉操作对应球面上的旋转。
2.6节的密度矩阵统一了纯态和混态的描述,约化密度矩阵揭示了纠缠的深刻本质。
这六个小节构成了量子计算的全部物理基础。读者现在已经掌握了:从数学结构到物理诠释,从单个量子比特到复合系统,从理想纯态到现实混态的完整理论框架。下一章将在此基础上,正式构建量子计算的计算模型。
附录
第二部分 费曼练习册:量子力学物理基础
方法 :费曼学习法(Feynman Technique)——如果你不能用简单的语言解释一个概念,说明你还没有真正理解它。
难度标识 :⭐ 计算/验证 · ⭐⭐ 推导/证明 · 🗣️ 费曼讲解 · 💭 洞察挑战
本练习册与主教程第 2.1–2.6 节配套使用。
2.1 从经典到量子:动机与历史
⭐ 紫外灾难的温度依赖性
黑体辐射实验在三个温度下测得峰值波长:T 1 = 3000 K T_1 = 3000\,\text{K} T 1 = 3000 K 时 λ max ( 1 ) = 966 nm \lambda_{\max}^{(1)} = 966\,\text{nm} λ m a x ( 1 ) = 966 nm ;T 2 = 4000 K T_2 = 4000\,\text{K} T 2 = 4000 K 时 λ max ( 2 ) = 724 nm \lambda_{\max}^{(2)} = 724\,\text{nm} λ m a x ( 2 ) = 724 nm ;T 3 = 5000 K T_3 = 5000\,\text{K} T 3 = 5000 K 时 λ max ( 3 ) = 580 nm \lambda_{\max}^{(3)} = 580\,\text{nm} λ m a x ( 3 ) = 580 nm 。验证这三个数据点是否满足维恩位移定律 λ max T = 常数 \lambda_{\max} T = \text{常数} λ m a x T = 常数 ,并计算该常数的实验值。普朗克公式在高频极限下退化为维恩公式——验证当 h ν ≫ k B T h\nu \gg k_B T h ν ≫ k B T 时,u ( ν , T ) ≈ 8 π h ν 3 c 3 e − h ν / k B T u(\nu, T) \approx \frac{8\pi h\nu^3}{c^3} e^{-h\nu/k_B T} u ( ν , T ) ≈ c 3 8 π h ν 3 e − h ν / k B T 。
⭐⭐ 干涉条纹的消失条件
双缝实验中,两个缝的波函数为 ψ L ( x ) = P L e i ϕ L \psi_L(x) = \sqrt{P_L}\, e^{i\phi_L} ψ L ( x ) = P L e i ϕ L 和 ψ R ( x ) = P R e i ϕ R \psi_R(x) = \sqrt{P_R}\, e^{i\phi_R} ψ R ( x ) = P R e i ϕ R ,其中 P L + P R = 1 P_L + P_R = 1 P L + P R = 1 。推导量子概率 P quantum = ∣ ψ L + ψ R ∣ 2 P_{\text{quantum}} = |\psi_L + \psi_R|^2 P quantum = ∣ ψ L + ψ R ∣ 2 的表达式,并证明干涉项的幅度受 2 P L P R 2\sqrt{P_L P_R} 2 P L P R 约束。当 P L ≪ P R P_L \ll P_R P L ≪ P R 时(一条缝几乎关闭),干涉项如何变化?你的推导是否暗示在极限 P L → 0 P_L \to 0 P L → 0 下干涉条纹消失?
🗣️ 费曼:向祖母解释量子概率
你的祖母听说”量子力学说一个电子可以同时出现在两个地方”。她皱着眉头说:“这太荒谬了——一个东西怎么可能同时在两个地方?你在跟我开玩笑吗?”
要求:不用任何数学公式,不用”概率幅”、“叠加态”这类术语,只用生活中的类比和通俗语言,向祖母解释双缝实验到底在说什么。让她理解:
为什么”电子通过哪条缝”这个问题本身可能就是一个错误的问题
测量为什么会影响结果
量子概率和经典概率有什么本质不同
💭 洞察:爱因斯坦的”上帝不掷骰子”
爱因斯坦在1926年致玻恩的信中写道:“量子力学固然令人印象深刻,但我内心有一个声音告诉我,这还不是真相。这个理论说了很多,但并没有引导我们更接近上帝的奥秘。无论如何,我坚信上帝不掷骰子。”
爱因斯坦一生都不接受量子力学的概率诠释。但他的光电效应论文(1905年)恰恰是量子概念最有力的证据之一。
思考:爱因斯坦反对的究竟”是什么”?是概率本身,还是”概率是最终答案”这一论断?如果爱因斯坦在多世界诠释(Many-Worlds Interpretation)的时代工作,他还会说”上帝不掷骰子”吗?或者,概率诠释的”不可接受性”是否源于我们古典决定论的本能直觉?
2.2 量子力学基本公设
⭐ 三组不同基下的测量概率
量子态 ∣ ψ ⟩ = 1 3 ∣ 0 ⟩ + 2 3 ∣ 1 ⟩ \lvert\psi\rangle = \frac{1}{\sqrt{3}}\lvert0\rangle + \sqrt{\frac{2}{3}}\lvert1\rangle ∣ ψ ⟩ = 3 1 ∣ 0 ⟩ + 3 2 ∣ 1 ⟩ 。分别计算在以下三个基下测量得到第一个结果的概率:
(a) Z Z Z 基 { ∣ 0 ⟩ , ∣ 1 ⟩ } \{\lvert0\rangle, \lvert1\rangle\} {∣ 0 ⟩ , ∣ 1 ⟩} ,测得 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ 的概率。
(b) X X X 基 { ∣ + ⟩ , ∣ − ⟩ } \{\lvert+\rangle, \lvert-\rangle\} {∣ + ⟩ , ∣ − ⟩} ,测得 ∣ + ⟩ \lvert+\rangle ∣ + ⟩ 的概率。(提示:将 ∣ ψ ⟩ \lvert\psi\rangle ∣ ψ ⟩ 用 ∣ + ⟩ , ∣ − ⟩ \lvert+\rangle, \lvert-\rangle ∣ + ⟩ , ∣ − ⟩ 展开。)
(c) Y Y Y 基 { ∣ + i ⟩ , ∣ − i ⟩ } \{\lvert+i\rangle, \lvert-i\rangle\} {∣ + i ⟩ , ∣ − i ⟩} ,测得 ∣ + i ⟩ \lvert+i\rangle ∣ + i ⟩ 的概率。
验证三个概率之和是否大于 1?如果大于,这矛盾吗?
⭐⭐ 观测量的期望值公式推导
证明:对于可观测量(厄米算子)A A A 和任意的归一化态 ∣ ψ ⟩ \lvert\psi\rangle ∣ ψ ⟩ ,测量结果的期望值满足 ⟨ A ⟩ = ⟨ ψ ∣ A ∣ ψ ⟩ \langle A \rangle = \langle\psi|A|\psi\rangle ⟨ A ⟩ = ⟨ ψ ∣ A ∣ ψ ⟩ 。推导过程需包含以下步骤:
(1) 利用谱分解 A = ∑ i a i P i A = \sum_i a_i P_i A = ∑ i a i P i ,其中 P i = ∣ a i ⟩ ⟨ a i ∣ P_i = \lvert a_i\rangle\langle a_i\rvert P i = ∣ a i ⟩ ⟨ a i ∣ 。
(2) 由玻恩规则写出 P ( a i ) P(a_i) P ( a i ) 。
(3) 写出期望值定义 ⟨ A ⟩ = ∑ i a i P ( a i ) \langle A \rangle = \sum_i a_i P(a_i) ⟨ A ⟩ = ∑ i a i P ( a i ) 。
(4) 结合以上步骤完成证明。
额外挑战:如果 A A A 有简并(degenerate)本征值,证明步骤需要如何修改?
🗣️ 费曼:量子力学的”游戏规则”
假设你是一个桌游设计师,正在为朋友设计一款新游戏。你的朋友从未接触过量子力学,但你需要游戏中的”量子规则”既准确又易懂。
要求:用桌游的比喻(游戏棋盘、棋子、骰子、卡牌等)向你的朋友解释量子力学的五条公设。每个公设对应一条游戏规则。不需要精确的数学表述,而是要用游戏机制来类比:
公设 1(态空间):棋盘上的位置
公设 2(酉演化):移动规则
公设 3(可观测量):计分标准
公设 4(测量):翻牌/揭晓结果
公设 5(复合系统):多人合作模式
让你朋友听完后说:“哦,原来量子力学也没那么神秘嘛!”
💭 洞察:测量问题是”问题”吗?
公设 4 说:测量导致波函数坍缩。但公设 2 说:封闭系统的演化由酉算子描述。坍缩不是酉演化。
这就产生了一个根本性的张力:测量仪器的物理过程本身应当由量子力学描述 (测量仪器也是由原子组成的呀!),但如果把测量仪器也纳入系统,那整个”系统+仪器”应当遵循酉演化——坍缩又从何而来?
这个问题被称为”测量问题”(Measurement Problem),自量子力学诞生起就困扰着物理学家。一百年来,没有人真正”解决”它——只是提出了不同的诠释来回避或者消解它。
思考:
“坍缩”是一个真实的物理过程,还是我们对信息更新的心理描述?
如果你认为坍缩是真实的,那么是什么触发了它?多大、多复杂的系统才能触发坍缩?
如果你认为坍缩不是真实的,那为什么测量结果看起来是确定的?
有没有第三种可能——坍缩既不是真实也不是虚幻,而是我们提问的方式有问题?
2.3 波函数与薛定谔方程
⭐ 无限深势阱第一激发态
一维无限深势阱 [ 0 , L ] [0, L] [ 0 , L ] 中,第一激发态(n = 2 n=2 n = 2 )的波函数为 ψ 2 ( x ) = 2 / L sin ( 2 π x / L ) \psi_2(x) = \sqrt{2/L}\sin(2\pi x/L) ψ 2 ( x ) = 2/ L sin ( 2 π x / L ) 。
(a) 验证 ψ 2 \psi_2 ψ 2 满足归一化条件。
(b) 计算在该态下的位置期望值 ⟨ x ⟩ \langle x \rangle ⟨ x ⟩ 。
(c) 计算在该态下的位置平方期望值 ⟨ x 2 ⟩ \langle x^2 \rangle ⟨ x 2 ⟩ 。(提示:sin 2 θ = ( 1 − cos 2 θ ) / 2 \sin^2\theta = (1-\cos 2\theta)/2 sin 2 θ = ( 1 − cos 2 θ ) /2 和 ∫ 0 L x 2 cos ( 4 π x / L ) d x \int_0^L x^2\cos(4\pi x/L)\,dx ∫ 0 L x 2 cos ( 4 π x / L ) d x 可用分部积分。)
(d) 利用 (b) 和 (c) 计算位置不确定度 Δ x = ⟨ x 2 ⟩ − ⟨ x ⟩ 2 \Delta x = \sqrt{\langle x^2 \rangle - \langle x \rangle^2} Δ x = ⟨ x 2 ⟩ − ⟨ x ⟩ 2 。
⭐⭐ 动量空间波函数
无限深势阱的基态波函数为 ψ 1 ( x ) = 2 / L sin ( π x / L ) \psi_1(x) = \sqrt{2/L}\sin(\pi x/L) ψ 1 ( x ) = 2/ L sin ( π x / L ) (0 < x < L 0 < x < L 0 < x < L ),0 0 0 以外。
动量空间波函数定义为 ϕ ( p ) = 1 2 π ℏ ∫ − ∞ + ∞ ψ ( x ) e − i p x / ℏ d x \phi(p) = \frac{1}{\sqrt{2\pi\hbar}}\int_{-\infty}^{+\infty} \psi(x) e^{-ipx/\hbar}\,dx ϕ ( p ) = 2 π ℏ 1 ∫ − ∞ + ∞ ψ ( x ) e − i p x /ℏ d x 。
计算 ϕ ( p ) \phi(p) ϕ ( p ) 并证明:
ϕ ( p ) = 1 π L ℏ π ℏ / L ( π ℏ / L ) 2 − ( p / ℏ ) 2 [ e − i p L / ℏ cos ( p L / ℏ ) − i p ℏ π ℏ / L sin ( p L / ℏ ) ] \phi(p) = \frac{1}{\sqrt{\pi L\hbar}} \frac{\pi\hbar/L}{(\pi\hbar/L)^2 - (p/\hbar)^2} \left[ e^{-ipL/\hbar} \cos(pL/\hbar) - \frac{ip\hbar}{\pi\hbar/L}\sin(pL/\hbar) \right] ϕ ( p ) = π L ℏ 1 ( π ℏ/ L ) 2 − ( p /ℏ ) 2 π ℏ/ L [ e − i p L /ℏ cos ( p L /ℏ ) − π ℏ/ L i p ℏ sin ( p L /ℏ ) ]
(提示:将 sin \sin sin 写成指数形式,合并积分后得到两个类傅里叶形式的积分。)
从 ϕ ( p ) \phi(p) ϕ ( p ) 的表达式你能读出动量分布的主要特征吗?它有几个峰?峰值在什么地方?
🗣️ 费曼:薛定谔方程的”直觉”
薛定谔方程 i ℏ ∂ t ψ = H ψ i\hbar\partial_t\psi = H\psi i ℏ ∂ t ψ = H ψ 是量子力学的基本动力学方程,类似于经典力学中的 F = m a F = ma F = ma 。但它的数学形式——包含虚数单位 i i i 、偏导数、哈密顿量——往往让初学者觉得”这方程是从天上掉下来的”。
要求:不用任何数学公式(允许只写 i ℏ ∂ t ψ = H ψ i\hbar\partial_t\psi = H\psi i ℏ ∂ t ψ = H ψ 作为引用),向一个学过高中物理的朋友解释:
薛定谔方程到底在说什么?它的”物理图像”是什么?
方程中的 i i i 意味着什么?(为什么不是实数方程?)
为什么薛定谔方程是”量子”的?它和经典波动方程有什么直觉上的不同?
如果说 F = m a F = ma F = ma 描述的是”粒子的轨迹”,薛定谔方程描述的是什么?
可以使用任何类比(水流、声波、概率的传播等),但必须说明类比的局限在哪里。
💭 洞察:波函数到底”是”什么?
薛定谔最初提出波函数时,他认为 ψ \psi ψ 描述的是”电子的某种物质波”——电子像云一样在空间弥漫,∣ ψ ∣ 2 |\psi|^2 ∣ ψ ∣ 2 就是电荷密度。但玻恩很快指出:∣ ψ ∣ 2 |\psi|^2 ∣ ψ ∣ 2 是概率密度,不是物质密度。薛定谔终身不同意这个诠释。
这场争议至今未完全平息:波函数究竟是客观实在的物理场(ontic),还是我们知识状态的描述(epistemic)?
思考以下情景:
情景 A:一个电子处于位置叠加态 ∣ ψ ⟩ = ( ∣ x 1 ⟩ + ∣ x 2 ⟩ ) / 2 \lvert\psi\rangle = (\lvert x_1\rangle + \lvert x_2\rangle)/\sqrt{2} ∣ ψ ⟩ = (∣ x 1 ⟩ + ∣ x 2 ⟩) / 2 。测量发现电子在 x 1 x_1 x 1 。按照标准诠释,“波函数坍缩”了——x 2 x_2 x 2 处的概率瞬间变为零。
情景 B:一个纠缠对 ∣ Φ + ⟩ = ( ∣ 00 ⟩ + ∣ 11 ⟩ ) / 2 \lvert\Phi^+\rangle = (\lvert00\rangle + \lvert11\rangle)/\sqrt{2} ∣ Φ + ⟩ = (∣ 00 ⟩ + ∣ 11 ⟩) / 2 的两个粒子相距 1 光年。测量粒子 A 得到 0 0 0 ,粒子 B 的波函数瞬间坍缩到 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ 。
这两个情景中的”瞬间坍缩”是否是超光速的信号传输?如果不是,为什么?波函数的”实在性”和”非定域性”之间有什么关系?一个”不实在”的东西能否表现出非定域的关联?
2.4 二能级系统与自旋
⭐ 自旋在任意方向的测量
自旋 1/2 系统处于状态 ∣ ψ ⟩ = 3 4 ∣ 0 ⟩ + 1 2 ∣ 1 ⟩ \lvert\psi\rangle = \sqrt{\frac{3}{4}}\lvert0\rangle + \frac{1}{2}\lvert1\rangle ∣ ψ ⟩ = 4 3 ∣ 0 ⟩ + 2 1 ∣ 1 ⟩ 。考虑沿方向 n ⃗ = ( sin θ cos ϕ , sin θ sin ϕ , cos θ ) \vec{n} = (\sin\theta\cos\phi, \sin\theta\sin\phi, \cos\theta) n = ( sin θ cos ϕ , sin θ sin ϕ , cos θ ) 的自旋算子 S n ⃗ = ℏ 2 ( sin θ cos ϕ X + sin θ sin ϕ Y + cos θ Z ) S_{\vec{n}} = \frac{\hbar}{2}(\sin\theta\cos\phi\,X + \sin\theta\sin\phi\,Y + \cos\theta\,Z) S n = 2 ℏ ( sin θ cos ϕ X + sin θ sin ϕ Y + cos θ Z ) 。
(1) 对于 θ = π / 4 \theta = \pi/4 θ = π /4 、ϕ = 0 \phi = 0 ϕ = 0 (即在 x x x -z z z 平面与 z z z 轴成 45 ∘ 45^\circ 4 5 ∘ ),计算 S n ⃗ S_{\vec{n}} S n 的矩阵表示。
(2) 求 S n ⃗ S_{\vec{n}} S n 的两个本征态(可以参数化表达),并用它们计算在该方向测得 + ℏ / 2 +\hbar/2 + ℏ/2 的概率。
(3) 当 θ = 0 \theta = 0 θ = 0 时,概率退化为哪个更简单的测量?
⭐⭐ 旋转算子的显式形式
对任意单位向量 n ⃗ = ( n x , n y , n z ) \vec{n} = (n_x, n_y, n_z) n = ( n x , n y , n z ) 和任意角度 α \alpha α ,证明旋转算子 R n ⃗ ( α ) = e − i α ( n ⃗ ⋅ σ ⃗ ) / 2 R_{\vec{n}}(\alpha) = e^{-i\alpha(\vec{n}\cdot\vec{\sigma})/2} R n ( α ) = e − i α ( n ⋅ σ ) /2 可以展开为:
R n ⃗ ( α ) = cos α 2 I − i sin α 2 ( n x X + n y Y + n z Z ) R_{\vec{n}}(\alpha) = \cos\frac{\alpha}{2}\,I - i\sin\frac{\alpha}{2}\,(n_x X + n_y Y + n_z Z) R n ( α ) = cos 2 α I − i sin 2 α ( n x X + n y Y + n z Z )
推导的关键步骤是利用泡利矩阵的性质 ( n x X + n y Y + n z Z ) 2 = I (n_x X + n_y Y + n_z Z)^2 = I ( n x X + n y Y + n z Z ) 2 = I (证明这一点本身是推导的一部分)。
利用这个公式计算:
(1) R x ( π ) R_x(\pi) R x ( π ) — 绕 x x x 轴转 π \pi π ,应当得到什么?
(2) R y ( π / 2 ) R_y(\pi/2) R y ( π /2 ) — 绕 y y y 轴转 π / 2 \pi/2 π /2 ,作用在 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ 上得到什么?
验证 R x ( π ) = − i X R_x(\pi) = -iX R x ( π ) = − i X (相差全局相位 − i -i − i )和 X X X 门的关系。
🗣️ 费曼:自旋的”空间取向悖论”
想象一下:你有一个小磁针,它可以指向任何方向——北、东北、东、等等。这是经典世界的直觉。
但如果你有一个电子,它的”自旋”在 z z z 方向测量时只能指向”上”或”下”。最奇怪的是:如果你先测量它在 z z z 方向确实是”上”,然后测量它在 x x x 方向——“上”和”下”各占一半概率!你回到 z z z 方向再测一次,它又变成各一半了!但你明明记得刚才它还是”上”啊。
要求:向一个从未学过量子力学的高中生解释:
为什么自旋在 z z z 方向的信息在测量 x x x 方向后会”丢失”?
为什么不能同时知道自旋在 z z z 方向和 x x x 方向的值?这和经典物理有何不同?
自旋和经典旋转的”角动量”到底有什么本质区别?
使用 Stern-Gerlach 装置的比喻——银原子束通过一个不均匀磁场后为什么分裂成两束,而不是形成连续分布?
可以画示意图辅助(文字描述即可),但不要用矩阵或代数。
💭 洞察:自旋——量子力学的”最纯粹奇迹”
自旋没有经典对应物。它不是电子在”自转”(如果真是自转,电子表面速度将远超光速)。自旋是一个纯粹内禀的量子自由度,它的存在和性质直接来自相对论量子力学(狄拉克方程)的要求——不是人为假设,而是数学的必然。
狄拉克在 1928 年试图将薛定谔方程与狭义相对论结合时,发现方程的解天然包含一个四分量旋量(spinor),其中两个分量对应电子,两个对应正电子,而电子的两个分量恰好对应自旋的上下。自旋不是”加上去的”,而是”冒出来的”。
思考:
如果自旋是相对论量子力学的产物,非相对论量子力学(薛定谔方程)中的自旋从何而来?它是如何被”强行装进去”的?
“自旋统计定理”(Spin-Statistics Theorem)说:半整数自旋的粒子是费米子(遵守泡利不相容原理),整数自旋的粒子是玻色子。这一定理是相对论量子场论的结果,在非相对论框架中只是经验假设。为什么自旋和统计之间有如此深刻的内在联系?
Pauli 矩阵满足 σ i σ j = δ i j I + i ε i j k σ k \sigma_i\sigma_j = \delta_{ij}I + i\varepsilon_{ijk}\sigma_k σ i σ j = δ ij I + i ε ij k σ k 。这个代数结构和四元数(quaternions)有着深刻的数学联系——这只是一个巧合,还是暗示着时空的某种更本质的结构?
2.5 布洛赫球
⭐ 四态在布洛赫球上的几何位置
给出以下四个量子态,计算它们的布洛赫坐标 ( x , y , z ) (x, y, z) ( x , y , z ) 并在脑海中画出它们的位置:
(1) ∣ A ⟩ = 3 2 ∣ 0 ⟩ + 1 2 ∣ 1 ⟩ \lvert A\rangle = \frac{\sqrt{3}}{2}\lvert0\rangle + \frac{1}{2}\lvert1\rangle ∣ A ⟩ = 2 3 ∣ 0 ⟩ + 2 1 ∣ 1 ⟩
(2) ∣ B ⟩ = 1 2 ∣ 0 ⟩ + e i π / 3 2 ∣ 1 ⟩ \lvert B\rangle = \frac{1}{\sqrt{2}}\lvert0\rangle + \frac{e^{i\pi/3}}{\sqrt{2}}\lvert1\rangle ∣ B ⟩ = 2 1 ∣ 0 ⟩ + 2 e iπ /3 ∣ 1 ⟩
(3) ∣ C ⟩ = 1 5 ∣ 0 ⟩ + 2 5 ∣ 1 ⟩ \lvert C\rangle = \frac{1}{\sqrt{5}}\lvert0\rangle + \frac{2}{\sqrt{5}}\lvert1\rangle ∣ C ⟩ = 5 1 ∣ 0 ⟩ + 5 2 ∣ 1 ⟩
(4) ∣ D ⟩ = 1 10 ( ∣ 0 ⟩ + 3 i ∣ 1 ⟩ ) \lvert D\rangle = \frac{1}{\sqrt{10}}( \lvert0\rangle + 3i\lvert1\rangle) ∣ D ⟩ = 10 1 (∣ 0 ⟩ + 3 i ∣ 1 ⟩)
对于每个态,说明它是在北半球、南半球、赤道还是极点上。哪两个态在球面上最接近?用球面距离(圆心角)量化。
⭐⭐ 任意旋转的合成
在布洛赫球上,先绕 z z z 轴旋转 α \alpha α 角度(R z ( α ) = e − i α Z / 2 R_z(\alpha) = e^{-i\alpha Z/2} R z ( α ) = e − i α Z /2 ),再绕 x x x 轴旋转 β \beta β 角度(R x ( β ) = e − i β X / 2 R_x(\beta) = e^{-i\beta X/2} R x ( β ) = e − i β X /2 ),最后再绕 z z z 轴旋转 γ \gamma γ 角度(R z ( γ ) = e − i γ Z / 2 R_z(\gamma) = e^{-i\gamma Z/2} R z ( γ ) = e − iγ Z /2 )。这个序列 R z ( γ ) R x ( β ) R z ( α ) R_z(\gamma)R_x(\beta)R_z(\alpha) R z ( γ ) R x ( β ) R z ( α ) 称为 Z-Y 分解 或欧拉角分解 。
证明:任意单量子比特酉操作 U ∈ S U ( 2 ) U \in SU(2) U ∈ S U ( 2 ) 都可以表示为上述形式,即存在实参数 α , β , γ \alpha, \beta, \gamma α , β , γ 使得:
U = e − i γ Z / 2 e − i β X / 2 e − i α Z / 2 U = e^{-i\gamma Z/2} e^{-i\beta X/2} e^{-i\alpha Z/2} U = e − iγ Z /2 e − i β X /2 e − i α Z /2
提示:利用 2.4 节的旋转公式将三个因子展开为矩阵,然后乘积并设结果等于一个一般的 2 × 2 2\times2 2 × 2 酉矩阵 ( a b − b ∗ a ∗ ) \begin{pmatrix} a & b \\ -b^* & a^* \end{pmatrix} ( a − b ∗ b a ∗ ) (满足 det = 1 \det = 1 det = 1 ,∣ a ∣ 2 + ∣ b ∣ 2 = 1 |a|^2 + |b|^2 = 1 ∣ a ∣ 2 + ∣ b ∣ 2 = 1 ),解出 α , β , γ \alpha, \beta, \gamma α , β , γ 与 a , b a, b a , b 的关系。
这一结果在量子计算中极为重要:任何单比特门都可以通过三条参数化指令在硬件上实现。
🗣️ 费曼:布洛赫球就是一个”量子罗盘”
布洛赫球是理解量子比特最直观的几何工具。但它的数学定义——∣ ψ ⟩ = cos ( θ / 2 ) ∣ 0 ⟩ + e i ϕ sin ( θ / 2 ) ∣ 1 ⟩ \lvert\psi\rangle = \cos(\theta/2)\lvert0\rangle + e^{i\phi}\sin(\theta/2)\lvert1\rangle ∣ ψ ⟩ = cos ( θ /2 ) ∣ 0 ⟩ + e i ϕ sin ( θ /2 ) ∣ 1 ⟩ 映射到坐标 ( sin θ cos ϕ , sin θ sin ϕ , cos θ ) (\sin\theta\cos\phi, \sin\theta\sin\phi, \cos\theta) ( sin θ cos ϕ , sin θ sin ϕ , cos θ ) ——对于初学者来说像天书。
要求:向一个只学过球坐标系的高中生解释布洛赫球。具体来说:
布洛赫球为什么是一个球?两个复参数为什么可以用一个球面上的点表示?
北极和南极为什么是 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ 和 ∣ 1 ⟩ \lvert1\rangle ∣ 1 ⟩ ?为什么不是赤道?
为什么 ∣ + ⟩ \lvert+\rangle ∣ + ⟩ 在 x x x 轴正方向?相对相位 ϕ \phi ϕ 为什么决定经度?
布洛赫球上的”旋转”为什么对应量子门操作?
混态为什么在球内部?球心代表什么物理含义?
使用”指南针/罗盘”或”地球仪”作为主要的类比工具。如果有余力,还可以解释为什么 90 ∘ 90^\circ 9 0 ∘ 旋转(如 Hadamard 门)在布洛赫球上是 π \pi π 旋转而不是 π / 2 \pi/2 π /2 旋转——注意参数化中的 θ / 2 \theta/2 θ /2 !
💭 洞察:布洛赫球是否隐藏了什么?
布洛赫球是量子比特态空间的优美几何表示,但也可能”过度简化”了某些东西。一个 n n n 量子比特系统的态空间是 ( 2 n − 1 ) (2^n-1) ( 2 n − 1 ) -维的复投影空间(CP2 n − 1 ^{2^n-1} 2 n − 1 ),远远不是简单的 n n n 个布洛赫球的笛卡尔积。
思考以下问题:
对于两个量子比特,为什么不能简单地将态空间描述为”两个布洛赫球”?贝尔态 ∣ Φ + ⟩ = ( ∣ 00 ⟩ + ∣ 11 ⟩ ) / 2 \lvert\Phi^+\rangle = (\lvert00\rangle + \lvert11\rangle)/\sqrt{2} ∣ Φ + ⟩ = (∣ 00 ⟩ + ∣ 11 ⟩) / 2 在”两个布洛赫球”的框架下怎么描述?
“纠缠态在布洛赫球上没有对应物”这个事实告诉了我们什么关于几何和信息的深层关系?这是否暗示量子信息需要一种新的几何语言?
单量子比特的混态在布洛赫球内部——一个半径为 r r r 的球体。这个”球体”可以看作一个由 3 个实参数描述的流形。但对于 n n n 个量子比特,混态的几何结构远非如此简单。Bloch 表示在多体系统中是否存在一个优雅的推广?
如果我们生活在布洛赫球”里面”(即我们本身也是量子系统),我们能”看到”球面的边界吗?如果看不到,是否存在我们无法探测的量子自由度?
2.6 测量理论与密度矩阵
⭐ 两组分概率混合的密度矩阵
一个量子系统以概率 p p p 处于 ∣ + ⟩ \lvert+\rangle ∣ + ⟩ ,以概率 1 − p 1-p 1 − p 处于 ∣ − ⟩ \lvert-\rangle ∣ − ⟩ ,其中 p ∈ [ 0 , 1 ] p \in [0, 1] p ∈ [ 0 , 1 ] 。
(a) 写出密度矩阵 ρ ( p ) \rho(p) ρ ( p ) 的显式矩阵形式(用 p p p 表示)。
(b) 计算 Tr [ ρ ( p ) ] \operatorname{Tr}[\rho(p)] Tr [ ρ ( p )] 和 Tr [ ρ ( p ) 2 ] \operatorname{Tr}[\rho(p)^2] Tr [ ρ ( p ) 2 ] 。
(c) 对什么 p p p 值 ρ \rho ρ 是纯态?对什么 p p p 值混度最大?
(d) 将 ρ ( p ) \rho(p) ρ ( p ) 与”以概率 p p p 处于 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ ,以概率 1 − p 1-p 1 − p 处于 ∣ 1 ⟩ \lvert1\rangle ∣ 1 ⟩ “的密度矩阵进行比较。它们什么时候相同?什么时候不同?(提示:比较它们在 X X X 和 Z Z Z 基下的测量预测。)
⭐⭐ 约化密度矩阵的纠缠判据
考虑两个纠缠态:
∣ Ψ 1 ⟩ = 1 2 ( ∣ 00 ⟩ + ∣ 01 ⟩ ) \lvert\Psi_1\rangle = \frac{1}{\sqrt{2}}(\lvert00\rangle + \lvert01\rangle) ∣ Ψ 1 ⟩ = 2 1 (∣ 00 ⟩ + ∣ 01 ⟩)
∣ Ψ 2 ⟩ = 1 2 ( ∣ 00 ⟩ + ∣ 11 ⟩ ) \lvert\Psi_2\rangle = \frac{1}{\sqrt{2}}(\lvert00\rangle + \lvert11\rangle) ∣ Ψ 2 ⟩ = 2 1 (∣ 00 ⟩ + ∣ 11 ⟩)
(a) 判断 ∣ Ψ 1 ⟩ \lvert\Psi_1\rangle ∣ Ψ 1 ⟩ 是否可分离(即能否写成 ∣ ψ ⟩ A ⊗ ∣ ϕ ⟩ B \lvert\psi\rangle_A \otimes \lvert\phi\rangle_B ∣ ψ ⟩ A ⊗ ∣ ϕ ⟩ B 的形式)。
(b) 对两个态分别求 ρ A = Tr B ( ∣ Ψ ⟩ ⟨ Ψ ∣ ) \rho_A = \operatorname{Tr}_B(\lvert\Psi\rangle\langle\Psi\rvert) ρ A = Tr B (∣ Ψ ⟩ ⟨ Ψ ∣) 。
(c) 计算两个 ρ A \rho_A ρ A 的纯度 Tr ( ρ A 2 ) \operatorname{Tr}(\rho_A^2) Tr ( ρ A 2 ) 。纯度是否小于 1 可以作为纠缠的判据吗?比较 (a) 中你的判断和纯度计算结果是否一致。
(d) 如果一个两体纯态的约化密度矩阵是混态(Tr ( ρ A 2 ) < 1 \operatorname{Tr}(\rho_A^2) < 1 Tr ( ρ A 2 ) < 1 ),这”意味着”什么?反过来,如果 ρ A \rho_A ρ A 是纯态,∣ Ψ ⟩ A B \lvert\Psi\rangle_{AB} ∣ Ψ ⟩ A B 一定是可分态吗?
🗣️ 费曼:概率混合 vs 量子叠加
假设你有一个神秘的盒子。实验物理学家 Anna 说:“盒子里的量子比特处于 50% 的 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ 和 50% 的 ∣ 1 ⟩ \lvert1\rangle ∣ 1 ⟩ 的叠加态。“她的同事 Bob 说:“不对,盒子里要么是 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ 要么是 ∣ 1 ⟩ \lvert1\rangle ∣ 1 ⟩ ,只是我们不知道是哪个——各占一半概率。”
Anna 和 Bob 对 Z Z Z 测量的预言完全相同:一半概率得到 + 1 +1 + 1 ,一半概率得到 − 1 -1 − 1 。在 Z Z Z 基下,两者的预测不可区分。
要求:向 Anna 和 Bob 解释:
如何在 X X X 基下区分这两种情况?为什么 X X X 测量能够”看穿”量子叠加和经典混合的区别?
用日常生活中的类比来解释”量子相干”和”经典不确定性”的本质差异。(提示:可以想象两个完美同步的钟摆 vs 两个互不相干的钟摆。)
为什么这个区别对量子计算至关重要?如果量子比特只是”经典概率”意义上的比特,量子计算机还能工作吗?
密度矩阵如何用一个统一的数学对象同时描述这两种截然不同的物理情形?什么时候两种不同的”制备方式”会给出完全相同的密度矩阵?
💭 洞察:纠缠——从”诡异的”到”有用的”
薛定谔在 1935 年的一篇论文中将”纠缠”(Verschränkung)描述为”量子力学的根本特征……不是一种,而是那个 特征”。同一篇文章中,他还提出了著名的”薛定谔的猫”思想实验,以展示纠缠的荒谬后果。同年,EPR 论文用纠缠论证量子力学的不完备性。
但到了今天,纠缠是量子信息科学的核心资源——量子通信、量子密码、量子纠错、量子度量学都依赖纠缠。一个被 Einstein 称为”幽灵般的超距作用”的现象,变成了工程资源。
思考以下问题:
薛定谔的猫将微观的纠缠放大到宏观。在什么尺度上,我们不再观察到量子效应?“退相干”(decoherence)是否解决了测量问题,还是只是将问题推后了一步?
如果纠缠是非定域的,那么”信息”是否也是非定域的?量子隐形传态(quantum teleportation)真的”传输”了信息吗?如果不能超光速传输信息,纠缠的非定域性到底”非定域”在什么意义上?
纠缠的量化是量子信息理论的核心问题。对于两体纯态,纠缠熵 S ( ρ A ) = − Tr ( ρ A log ρ A ) S(\rho_A) = -\operatorname{Tr}(\rho_A\log\rho_A) S ( ρ A ) = − Tr ( ρ A log ρ A ) 是唯一的纠缠度量。但对于混态和多体系统,存在多种不相等的纠缠度量(纠缠形成代价、蒸馏纠缠、相对熵纠缠等)。“一个系统有多少纠缠”这个看似简单的问题,为什么如此复杂?
量子纠错通过将逻辑信息编码到多个纠缠的物理量子比特中,使得即使部分量子比特退相干,信息仍然完好无损。这是否说明”纠缠”和”信息”可能是同一枚硬币的两面?有没有可能”信息”就是量子力学的基础概念,而”态”和”纠缠”只是它的衍生现象?
参考答案
注意:对于 🗣️ 和 💭 类开放性问题,参考答案不是”标准答案”,而是提供思考方向和关键要点。你的答案可能与这里的不同,只要有理有据,就是好答案。
2.1 从经典到量子:动机与历史
⭐ 参考答案
维恩位移常数计算:
λ max ( 1 ) T 1 = 966 × 10 − 9 × 3000 = 2.898 × 10 − 3 m⋅K \lambda_{\max}^{(1)} T_1 = 966 \times 10^{-9} \times 3000 = 2.898 \times 10^{-3}\,\text{m·K} λ m a x ( 1 ) T 1 = 966 × 1 0 − 9 × 3000 = 2.898 × 1 0 − 3 m⋅K
λ max ( 2 ) T 2 = 724 × 10 − 9 × 4000 = 2.896 × 10 − 3 m⋅K \lambda_{\max}^{(2)} T_2 = 724 \times 10^{-9} \times 4000 = 2.896 \times 10^{-3}\,\text{m·K} λ m a x ( 2 ) T 2 = 724 × 1 0 − 9 × 4000 = 2.896 × 1 0 − 3 m⋅K
λ max ( 3 ) T 3 = 580 × 10 − 9 × 5000 = 2.900 × 10 − 3 m⋅K \lambda_{\max}^{(3)} T_3 = 580 \times 10^{-9} \times 5000 = 2.900 \times 10^{-3}\,\text{m·K} λ m a x ( 3 ) T 3 = 580 × 1 0 − 9 × 5000 = 2.900 × 1 0 − 3 m⋅K
三组数据一致,常数约为 2.898 × 10 − 3 m⋅K 2.898 \times 10^{-3}\,\text{m·K} 2.898 × 1 0 − 3 m⋅K ,与维恩位移常数的标准值 2.898 × 10 − 3 m⋅K 2.898 \times 10^{-3}\,\text{m·K} 2.898 × 1 0 − 3 m⋅K 吻合。普朗克公式在高频极限下的近似:u ( ν , T ) = 8 π h ν 3 c 3 1 e h ν / k B T − 1 u(\nu,T) = \frac{8\pi h\nu^3}{c^3}\frac{1}{e^{h\nu/k_BT} - 1} u ( ν , T ) = c 3 8 π h ν 3 e h ν / k B T − 1 1 ,当 h ν ≫ k B T h\nu \gg k_B T h ν ≫ k B T 时分母 e h ν / k B T − 1 ≈ e h ν / k B T e^{h\nu/k_BT} - 1 \approx e^{h\nu/k_BT} e h ν / k B T − 1 ≈ e h ν / k B T ,因此 u ≈ 8 π h ν 3 c 3 e − h ν / k B T u \approx \frac{8\pi h\nu^3}{c^3} e^{-h\nu/k_BT} u ≈ c 3 8 π h ν 3 e − h ν / k B T ,这正是维恩公式。
⭐⭐ 参考答案
P quantum = ∣ ψ L + ψ R ∣ 2 = ∣ P L e i ϕ L + P R e i ϕ R ∣ 2 P_{\text{quantum}} = |\psi_L + \psi_R|^2 = |\sqrt{P_L}e^{i\phi_L} + \sqrt{P_R}e^{i\phi_R}|^2 P quantum = ∣ ψ L + ψ R ∣ 2 = ∣ P L e i ϕ L + P R e i ϕ R ∣ 2
= P L + P R + 2 P L P R cos ( ϕ L − ϕ R ) = P_L + P_R + 2\sqrt{P_L P_R}\cos(\phi_L - \phi_R) = P L + P R + 2 P L P R cos ( ϕ L − ϕ R )
干涉项 2 P L P R cos Δ ϕ 2\sqrt{P_L P_R}\cos\Delta\phi 2 P L P R cos Δ ϕ ,幅度最大为 2 P L P R 2\sqrt{P_L P_R} 2 P L P R 。由 AM-GM 不等式 2 P L P R ≤ P L + P R = 1 2\sqrt{P_L P_R} \leq P_L + P_R = 1 2 P L P R ≤ P L + P R = 1 ,当 P L = P R = 1 / 2 P_L = P_R = 1/2 P L = P R = 1/2 时干涉项幅度最大(为 1)。当 P L → 0 P_L \to 0 P L → 0 时,2 P L P R → 0 2\sqrt{P_L P_R} \to 0 2 P L P R → 0 ,干涉条纹消失——这符合物理直觉:关闭一条缝后干涉自然消失。P L ≪ P R P_L \ll P_R P L ≪ P R 时干涉项很小但仍存在,验证需要极精确的实验。
🗣️ 参考答案要点
核心类比建议——“抛硬币与海浪”:
向祖母解释:想象你在海边,有两个非常窄的入口可以让波浪进入一个水池。如果你只打开一个入口,波浪会形成一种波纹图案;如果只打开另一个入口,也会形成一种图案。但如果你同时打开两个入口,两个波浪会相互叠加——在有些地方波峰加波峰形成大浪(概率增加),在有些地方波峰加波谷相互抵消(概率减少)。电子(或光子)的行为更像波浪而不是子弹——它”同时”通过两个入口,并与自身干涉。
关于”电子分裂”的误解:不是电子分裂了,而是电子的”可能性”像水波一样扩散到了两条路径。当你去”看”它走了哪条路时(放置探测器),就像用手去触摸水面——波纹被你搅乱了,干涉也就消失了。
关于”测量为什么破坏结果”:想象你在黑屋子里找一只猫——你必须开灯才能看到它。但开灯这个动作本身会惊动猫。在微观世界,测量仪器对被测量系统的”扰动”是不可忽略的。你无法”轻轻地看一眼”而不影响电子。
💭 参考答案要点
爱因斯坦反对的不是概率本身(他本人对统计力学有重要贡献),而是”概率是最终的、不可约化的回答”。他的 EPR 论文试图证明:如果量子力学是完备的,那么就必须存在”超距作用”——他认为这是荒谬的,因此反推量子力学不完备。
关键洞察:爱因斯坦不接受的是”量子力学是终极理论”的宣称。他相信背后有更深层的决定论理论(隐变量理论)。有趣的是,贝尔不等式(1964年)证明:任何局域隐变量理论都无法复现量子力学的全部预言。实验(Aspect 1982, 以及后来的大量高精度实验)站在了量子力学一边。
关于多世界诠释:爱因斯坦可能仍然不接受。他的品味是”简洁优雅的决定论”,而多世界虽然消除了坍缩,但引入了无数不可观测的平行宇宙——这在他看来可能同样不可接受。
2.2 量子力学基本公设
⭐ 参考答案
(a) Z Z Z 基:P ( 0 ) = ∣ ⟨ 0 ∣ ψ ⟩ ∣ 2 = ∣ 1 / 3 ∣ 2 = 1 / 3 P(0) = |\langle 0|\psi\rangle|^2 = |1/\sqrt{3}|^2 = 1/3 P ( 0 ) = ∣ ⟨ 0∣ ψ ⟩ ∣ 2 = ∣1/ 3 ∣ 2 = 1/3
(b) X X X 基:∣ + ⟩ = ( ∣ 0 ⟩ + ∣ 1 ⟩ ) / 2 \lvert+\rangle = (\lvert0\rangle + \lvert1\rangle)/\sqrt{2} ∣ + ⟩ = (∣ 0 ⟩ + ∣ 1 ⟩) / 2 ,⟨ + ∣ ψ ⟩ = 1 2 ( 1 3 + 2 3 ) = 1 2 ⋅ 1 + 2 3 \langle+|\psi\rangle = \frac{1}{\sqrt{2}}(\frac{1}{\sqrt{3}} + \sqrt{\frac{2}{3}}) = \frac{1}{\sqrt{2}}\cdot\frac{1+ \sqrt{2}}{\sqrt{3}} ⟨ + ∣ ψ ⟩ = 2 1 ( 3 1 + 3 2 ) = 2 1 ⋅ 3 1 + 2 ,P ( + ) = ( 1 + 2 ) 2 6 ≈ 5.828 6 ≈ 0.971 P(+) = \frac{(1+\sqrt{2})^2}{6} \approx \frac{5.828}{6} \approx 0.971 P ( + ) = 6 ( 1 + 2 ) 2 ≈ 6 5.828 ≈ 0.971
(c) Y Y Y 基:∣ + i ⟩ = ( ∣ 0 ⟩ + i ∣ 1 ⟩ ) / 2 \lvert+i\rangle = (\lvert0\rangle + i\lvert1\rangle)/\sqrt{2} ∣ + i ⟩ = (∣ 0 ⟩ + i ∣ 1 ⟩) / 2 ,⟨ + i ∣ ψ ⟩ = 1 2 ( 1 3 − i 2 3 ) \langle+i|\psi\rangle = \frac{1}{\sqrt{2}}(\frac{1}{\sqrt{3}} - i\sqrt{\frac{2}{3}}) ⟨ + i ∣ ψ ⟩ = 2 1 ( 3 1 − i 3 2 ) ,P ( + i ) = 1 2 ( 1 3 + 2 3 ) = 1 / 2 P(+i) = \frac{1}{2}(\frac{1}{3} + \frac{2}{3}) = 1/2 P ( + i ) = 2 1 ( 3 1 + 3 2 ) = 1/2
三概率之和 1 / 3 + 0.971 + 0.5 ≈ 1.804 > 1 1/3 + 0.971 + 0.5 \approx 1.804 > 1 1/3 + 0.971 + 0.5 ≈ 1.804 > 1 ,这不矛盾,因为它们是不同测量基下的概率 ——每次实验只能选一个基测量,不可能同时测三个基。
⭐⭐ 参考答案
(1) A = ∑ i a i P i A = \sum_i a_i P_i A = ∑ i a i P i ,其中 P i = ∣ a i ⟩ ⟨ a i ∣ P_i = \lvert a_i\rangle\langle a_i\rvert P i = ∣ a i ⟩ ⟨ a i ∣
(2) 玻恩规则:P ( a i ) = ⟨ ψ ∣ P i ∣ ψ ⟩ P(a_i) = \langle\psi|P_i|\psi\rangle P ( a i ) = ⟨ ψ ∣ P i ∣ ψ ⟩
(3) 期望值定义:⟨ A ⟩ = ∑ i a i P ( a i ) = ∑ i a i ⟨ ψ ∣ P i ∣ ψ ⟩ \langle A\rangle = \sum_i a_i P(a_i) = \sum_i a_i \langle\psi|P_i|\psi\rangle ⟨ A ⟩ = ∑ i a i P ( a i ) = ∑ i a i ⟨ ψ ∣ P i ∣ ψ ⟩
(4) ⟨ A ⟩ = ⟨ ψ ∣ ( ∑ i a i P i ) ∣ ψ ⟩ = ⟨ ψ ∣ A ∣ ψ ⟩ \langle A\rangle = \langle\psi|\left(\sum_i a_i P_i\right)|\psi\rangle = \langle\psi|A|\psi\rangle ⟨ A ⟩ = ⟨ ψ ∣ ( ∑ i a i P i ) ∣ ψ ⟩ = ⟨ ψ ∣ A ∣ ψ ⟩
如果 A A A 有简并(假设 a i a_i a i 对应 g i g_i g i 维子空间,投影算子为 P i = ∑ k = 1 g i ∣ a i ( k ) ⟩ ⟨ a i ( k ) ∣ P_i = \sum_{k=1}^{g_i} \lvert a_i^{(k)}\rangle\langle a_i^{(k)}\rvert P i = ∑ k = 1 g i ∣ a i ( k ) ⟩ ⟨ a i ( k ) ∣ ),则步骤 (1) 中谱分解形式不变(P i P_i P i 是到整个简并子空间的投影),测量概率 P ( a i ) = ⟨ ψ ∣ P i ∣ ψ ⟩ P(a_i) = \langle\psi|P_i|\psi\rangle P ( a i ) = ⟨ ψ ∣ P i ∣ ψ ⟩ ,证明过程完全不变。
🗣️ 参考答案要点
游戏设计方案可参考:
游戏名称 :“量子探险”(Quantum Quest)
规则 1(态空间) :你的角色可以站在棋盘上的任何位置,但不能同时在两个位置——但你的”可能性”可以。棋盘上的每个”格子”都代表一个可能的态。你不能站在”格子之间”(态必须是格子上的一点)。
规则 2(酉演化) :每个回合你必须按照卡牌上的指令移动你的棋子。移动规则是”可逆的”——你可以随时倒退到上一步(如果记得怎么走)。你不能跳过移动,也不能随机移动(除非卡牌要求)。这就是量子门的操作。
规则 3(可观测量) :每个游戏事件有一个”计分规则”,对应一个特定的测量方式。不同的计分规则对应不同的”基”。
规则 4(测量) :当你翻看一张卡牌或者检查得分时,结果就”确定”了。但在你翻牌之前,卡牌处于所有可能值的叠加状态。翻牌这个动作——测量——让不确定变成确定。
规则 5(复合系统) :两个玩家可以组成”联盟”。联盟的状态空间比两个人状态的简单组合要大得多——因为两人可以”纠缠”在一起,共享信息。这就是为什么量子计算机需要多个量子比特协同工作。
💭 参考答案要点
这个”测量问题”是一个持续了近百年的开放问题。以下是几种主要立场:
立场 1 — 坍缩是真实的(标准 Copenhagen) :测量是一个不可逆过程,由”经典仪器”触发坍缩。但问题在于,“经典”和”量子”的边界在哪里?von Neumann 认为坍缩发生在”意识”介入时——但多数物理学家不接受这个观点。
立场 2 — 坍缩不是真实的(多世界诠释) :没有坍缩,只有分支。每次测量,宇宙分裂成多个平行分支,每个分支看到一个确定的结果。问题是:“概率”在这个框架中从何而来?如果所有可能结果都实际发生,为什么我们只能感知一个?
立场 3 — 坍缩是涌现的(退相干理论) :系统与环境的纠缠导致”看似”坍缩——量子信息”泄露”到环境自由度中,从观察者的视角看,系统表现为经典混态。但退相干只解释”为什么看起来像坍缩”,不能解释为什么我们只体验到一个确定的结果(“选择问题”)。
立场 4 — 坍缩是客观的(GRW 自发定域模型) :坍缩是一个真实的物理过程,以极低的概率自发发生(单粒子约 10 − 16 s − 1 10^{-16}\,\text{s}^{-1} 1 0 − 16 s − 1 ),但在宏观系统中迅速累积。这个理论有可实验检验的修正预言,但目前的实验还没有观测到偏离标准量子力学的证据。
核心见解 :每种诠释都对第 4 公设做了不同的”补充”或”重解释”。它们都复现了标准量子力学的实验预言,但在”坍缩到底是什么”这个问题上各执一词。这告诉我们:量子力学可能不是一个完整的理论,而是更深刻理论的”有效描述”。
2.3 波函数与薛定谔方程
⭐ 参考答案
(a) ∫ 0 L ∣ ψ 2 ( x ) ∣ 2 d x = 2 L ∫ 0 L sin 2 ( 2 π x / L ) d x = 2 L ⋅ L 2 = 1 \int_0^L |\psi_2(x)|^2 dx = \frac{2}{L}\int_0^L \sin^2(2\pi x/L)dx = \frac{2}{L}\cdot\frac{L}{2} = 1 ∫ 0 L ∣ ψ 2 ( x ) ∣ 2 d x = L 2 ∫ 0 L sin 2 ( 2 π x / L ) d x = L 2 ⋅ 2 L = 1
(b) ⟨ x ⟩ = 2 L ∫ 0 L x sin 2 ( 2 π x / L ) d x = 2 L ∫ 0 L x ⋅ 1 2 [ 1 − cos ( 4 π x / L ) ] d x \langle x\rangle = \frac{2}{L}\int_0^L x\sin^2(2\pi x/L)dx = \frac{2}{L}\int_0^L x\cdot\frac{1}{2}[1 - \cos(4\pi x/L)]dx ⟨ x ⟩ = L 2 ∫ 0 L x sin 2 ( 2 π x / L ) d x = L 2 ∫ 0 L x ⋅ 2 1 [ 1 − cos ( 4 π x / L )] d x
= 1 L [ L 2 2 ] = L 2 = \frac{1}{L}[\frac{L^2}{2}] = \frac{L}{2} = L 1 [ 2 L 2 ] = 2 L (含 cos \cos cos 项的积分为零,因为 ∫ 0 L x cos ( 4 π x / L ) d x = 0 \int_0^L x\cos(4\pi x/L)dx = 0 ∫ 0 L x cos ( 4 π x / L ) d x = 0 )
(c) ⟨ x 2 ⟩ = 2 L ∫ 0 L x 2 sin 2 ( 2 π x / L ) d x = 1 L ∫ 0 L x 2 [ 1 − cos ( 4 π x / L ) ] d x \langle x^2\rangle = \frac{2}{L}\int_0^L x^2\sin^2(2\pi x/L)dx = \frac{1}{L}\int_0^L x^2[1 - \cos(4\pi x/L)]dx ⟨ x 2 ⟩ = L 2 ∫ 0 L x 2 sin 2 ( 2 π x / L ) d x = L 1 ∫ 0 L x 2 [ 1 − cos ( 4 π x / L )] d x
= 1 L [ L 3 3 − ∫ 0 L x 2 cos ( 4 π x / L ) d x ] = \frac{1}{L}[\frac{L^3}{3} - \int_0^L x^2\cos(4\pi x/L)dx] = L 1 [ 3 L 3 − ∫ 0 L x 2 cos ( 4 π x / L ) d x ]
利用分部积分:∫ 0 L x 2 cos ( k x ) d x = 2 x k 2 cos ( k x ) + ( x 2 k − 2 k 3 ) sin ( k x ) ∣ 0 L \int_0^L x^2\cos(kx)dx = \frac{2x}{k^2}\cos(kx) + (\frac{x^2}{k} - \frac{2}{k^3})\sin(kx)\big|_0^L ∫ 0 L x 2 cos ( k x ) d x = k 2 2 x cos ( k x ) + ( k x 2 − k 3 2 ) sin ( k x ) 0 L ,设 k = 4 π / L k = 4\pi/L k = 4 π / L
在 x = L x = L x = L 处:cos ( k L ) = cos ( 4 π ) = 1 \cos(kL) = \cos(4\pi) = 1 cos ( k L ) = cos ( 4 π ) = 1 ,sin ( k L ) = 0 \sin(kL) = 0 sin ( k L ) = 0 ;在 x = 0 x = 0 x = 0 处:cos ( 0 ) = 1 \cos(0) = 1 cos ( 0 ) = 1 ,sin ( 0 ) = 0 \sin(0) = 0 sin ( 0 ) = 0
代入得 ∫ 0 L x 2 cos ( 4 π x / L ) d x = 2 L k 2 cos ( k L ) − 0 = 2 L ( 4 π / L ) 2 = L 3 8 π 2 \int_0^L x^2\cos(4\pi x/L)dx = \frac{2L}{k^2}\cos(kL) - 0 = \frac{2L}{(4\pi/L)^2} = \frac{L^3}{8\pi^2} ∫ 0 L x 2 cos ( 4 π x / L ) d x = k 2 2 L cos ( k L ) − 0 = ( 4 π / L ) 2 2 L = 8 π 2 L 3
因此 ⟨ x 2 ⟩ = 1 L [ L 3 3 − L 3 8 π 2 ] = L 2 ( 1 3 − 1 8 π 2 ) \langle x^2\rangle = \frac{1}{L}[\frac{L^3}{3} - \frac{L^3}{8\pi^2}] = L^2(\frac{1}{3} - \frac{1}{8\pi^2}) ⟨ x 2 ⟩ = L 1 [ 3 L 3 − 8 π 2 L 3 ] = L 2 ( 3 1 − 8 π 2 1 )
(d) 基态时有 Δ x = L 2 ( 1 3 − 1 8 π 2 ) − ( L 2 ) 2 = L 1 3 − 1 8 π 2 − 1 4 = L 1 12 − 1 8 π 2 ≈ 0.181 L \Delta x = \sqrt{L^2(\frac{1}{3} - \frac{1}{8\pi^2}) - (\frac{L}{2})^2} = L\sqrt{\frac{1}{3} - \frac{1}{8\pi^2} - \frac{1}{4}} = L\sqrt{\frac{1}{12} - \frac{1}{8\pi^2}} \approx 0.181L Δ x = L 2 ( 3 1 − 8 π 2 1 ) − ( 2 L ) 2 = L 3 1 − 8 π 2 1 − 4 1 = L 12 1 − 8 π 2 1 ≈ 0.181 L
⭐⭐ 参考答案
提示:sin ( π x / L ) = ( e i π x / L − e − i π x / L ) / ( 2 i ) \sin(\pi x/L) = (e^{i\pi x/L} - e^{-i\pi x/L})/(2i) sin ( π x / L ) = ( e iπ x / L − e − iπ x / L ) / ( 2 i )
ϕ ( p ) = 1 2 π ℏ 2 L 1 2 i ∫ 0 L ( e i π x / L − e − i π x / L ) e − i p x / ℏ d x \phi(p) = \frac{1}{\sqrt{2\pi\hbar}} \sqrt{\frac{2}{L}} \frac{1}{2i} \int_0^L (e^{i\pi x/L} - e^{-i\pi x/L}) e^{-ipx/\hbar} dx ϕ ( p ) = 2 π ℏ 1 L 2 2 i 1 ∫ 0 L ( e iπ x / L − e − iπ x / L ) e − i p x /ℏ d x
这是一个高斯型积分:∫ 0 L e i α x d x = ( e i α L − 1 ) / ( i α ) \int_0^L e^{i\alpha x} dx = (e^{i\alpha L} - 1)/(i\alpha) ∫ 0 L e i α x d x = ( e i α L − 1 ) / ( i α ) ,其中 α = ± π / L − p / ℏ \alpha = \pm \pi/L - p/\hbar α = ± π / L − p /ℏ 。
合并后得到:
ϕ ( p ) = 1 2 i π L ℏ e i ( p L / ℏ − π ) − 1 p / ℏ − π / L − e − i ( p L / ℏ + π ) − 1 p / ℏ + π / L \phi(p) = \frac{1}{2i\sqrt{\pi L\hbar}} \frac{e^{i(pL/\hbar - \pi)} - 1}{p/\hbar - \pi/L} - \frac{e^{-i(pL/\hbar + \pi)} - 1}{p/\hbar + \pi/L} ϕ ( p ) = 2 i π L ℏ 1 p /ℏ − π / L e i ( p L /ℏ − π ) − 1 − p /ℏ + π / L e − i ( p L /ℏ + π ) − 1
化简后可得题目中的表达式。动量分布 ∣ ϕ ( p ) ∣ 2 |\phi(p)|^2 ∣ ϕ ( p ) ∣ 2 有一个主峰在 p = π ℏ / L p = \pi\hbar/L p = π ℏ/ L 附近,以及一个对称的次级峰在 p = − π ℏ / L p = -\pi\hbar/L p = − π ℏ/ L 附近,两侧还有快速衰减的振荡尾巴。这对应于基态波函数的动量不确定度 Δ p > 0 \Delta p > 0 Δ p > 0 ,满足不确定性原理 Δ x Δ p ≥ ℏ / 2 \Delta x \Delta p \geq \hbar/2 Δ x Δ p ≥ ℏ/2 。
🗣️ 参考答案要点
向朋友解释的核心思路:
薛定谔方程在说什么 :它描述的是”概率波”如何随时间传播。想象一个雨滴落在平静的水面上——你会看到波纹一圈圈向外扩散。薛定谔方程描述的就是”一个粒子可能在哪里的概率分布”像水波一样演化。
i i i 的意义 :方程中的虚数单位 i i i 是至关重要的一笔。如果方程是实数版本,波函数就会指数地增长或衰减(不稳定)。但 i i i 使得演化成为”旋转”——就像复数 e i ω t e^{i\omega t} e iω t 在复平面上画圆——概率分布保持稳定(归一化不变)。这保证了总概率始终为 1。
与经典波动的不同 :经典波动方程(如声波方程)是实数的,描述的是”真实的振动”(空气分子的疏密变化)。薛定谔方程描述的不是”真实的振动”,而是”可能性的振动”。波函数本身不是可以直接测量的物理量——我们只能测量它的模平方。
描述对象的区别 :F = m a F = ma F = ma 告诉你一个确定的轨迹——给定初始位置和速度,你可以算出任意时刻粒子的确切位置。薛定谔方程不告诉你确定的轨迹——它告诉你”每个位置的概率”。这是本质的区别:从确定性到概率性的根本转变。
关键类比 :可以把薛定谔方程想象成一个”天气预报模型”——它不能确切告诉你明天 3 点在你家门口会不会下雨,但它能告诉你下雨的概率。不同之处在于,量子力学中的概率不是因为我们缺乏信息,而是世界在基础层面上就是概率性的。
💭 参考答案要点
波函数的实在性问题触及量子力学最深刻的哲学层面。
Onic vs Epistemic 之争 :
Onic(实在的) :波函数是物理世界中真实存在的场。坍缩是真实的物理过程(非定域的、瞬时的)。问题是:如果波函数是实在的,那为什么我们不能直接测量它?为什么只能测量 ∣ ψ ∣ 2 |\psi|^2 ∣ ψ ∣ 2 ?
Epistemic(知识的) :波函数只是我们对系统知识状态的编码。坍缩只是信息的更新——就像你学会新知识后更新你的信念。问题是:如果波函数只是知识,为什么两个纠缠粒子的”知识”可以表现出非定域的关联?
情景 A 分析 :坍缩瞬间将 x 2 x_2 x 2 的概率变为 0。按照 ontic 观点,x 2 x_2 x 2 处的波函数场真的消失了。按照 epistemic 观点,没有”东西”在物理上传播——只是我们得知电子在 x 1 x_1 x 1 后,x 2 x_2 x 2 的概率就归零了(条件概率更新)。
情景 B 分析 :这是 EPR 关联的核心。坍缩的”瞬间”不能用来传递信息——因为粒子 B 的观测者自己无法知道坍缩发生了,除非收到粒子 A 观测者发来的经典通信(速度上限为光速)。所以没有违反狭义相对论。
核心结论 :量子力学中的非定域性是一个”关联的非定域性”(non-local correlations),而不是”因果的非定域性”(non-local causation)。贝尔定理表明:任何能完美复现量子关联的理论要么是”非定域的”,要么是”非实在的”(或两者兼具)。这被称为”贝尔三角”困境——你必须选择放弃定域性(locality)、实在性(realism)或自由意志(free will)中的一个。大多数物理学家选择放弃实在性。
2.4 二能级系统与自旋
⭐ 参考答案
(1) n ⃗ = ( sin π / 4 cos 0 , sin π / 4 sin 0 , cos π / 4 ) = ( 2 2 , 0 , 2 2 ) \vec{n} = (\sin\pi/4\cos0, \sin\pi/4\sin0, \cos\pi/4) = (\frac{\sqrt{2}}{2}, 0, \frac{\sqrt{2}}{2}) n = ( sin π /4 cos 0 , sin π /4 sin 0 , cos π /4 ) = ( 2 2 , 0 , 2 2 )
S n ⃗ = ℏ 2 ( 2 2 X + 2 2 Z ) = ℏ 2 2 ( X + Z ) S_{\vec{n}} = \frac{\hbar}{2}(\frac{\sqrt{2}}{2}X + \frac{\sqrt{2}}{2}Z) = \frac{\hbar}{2\sqrt{2}}(X + Z) S n = 2 ℏ ( 2 2 X + 2 2 Z ) = 2 2 ℏ ( X + Z )
X + Z = ( 1 1 1 − 1 ) X + Z = \begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix} X + Z = ( 1 1 1 − 1 ) ,所以 S n ⃗ = ℏ 2 2 ( 1 1 1 − 1 ) S_{\vec{n}} = \frac{\hbar}{2\sqrt{2}}\begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix} S n = 2 2 ℏ ( 1 1 1 − 1 )
(2) 本征值方程 ℏ 2 2 ( 1 1 1 − 1 ) ∣ v ⟩ = λ ∣ v ⟩ \frac{\hbar}{2\sqrt{2}}\begin{pmatrix} 1 & 1 \\ 1 & -1 \end{pmatrix}\lvert v\rangle = \lambda \lvert v\rangle 2 2 ℏ ( 1 1 1 − 1 ) ∣ v ⟩ = λ ∣ v ⟩ ,其中 λ = ± ℏ 2 \lambda = \pm\frac{\hbar}{2} λ = ± 2 ℏ
对应 + ℏ / 2 +\hbar/2 + ℏ/2 的本征态:∣ v + ⟩ = cos ( π / 8 ) ∣ 0 ⟩ + sin ( π / 8 ) ∣ 1 ⟩ \lvert v_+\rangle = \cos(\pi/8)\lvert0\rangle + \sin(\pi/8)\lvert1\rangle ∣ v + ⟩ = cos ( π /8 ) ∣ 0 ⟩ + sin ( π /8 ) ∣ 1 ⟩ (注意这里 θ / 2 = π / 8 \theta/2 = \pi/8 θ /2 = π /8 ,因为 S n ⃗ S_{\vec{n}} S n 的”北极”对应 45 ∘ 45^\circ 4 5 ∘ )
P ( + ℏ / 2 ) = ∣ ⟨ v + ∣ ψ ⟩ ∣ 2 P(+\hbar/2) = |\langle v_+|\psi\rangle|^2 P ( + ℏ/2 ) = ∣ ⟨ v + ∣ ψ ⟩ ∣ 2
⟨ v + ∣ ψ ⟩ = cos ( π / 8 ) 3 / 4 + sin ( π / 8 ) ⋅ 1 2 ≈ 0.9239 ⋅ 0.8660 + 0.3827 ⋅ 0.5 ≈ 0.800 + 0.191 ≈ 0.991 \langle v_+|\psi\rangle = \cos(\pi/8)\sqrt{3/4} + \sin(\pi/8)\cdot\frac{1}{2} \approx 0.9239\cdot0.8660 + 0.3827\cdot0.5 \approx 0.800 + 0.191 \approx 0.991 ⟨ v + ∣ ψ ⟩ = cos ( π /8 ) 3/4 + sin ( π /8 ) ⋅ 2 1 ≈ 0.9239 ⋅ 0.8660 + 0.3827 ⋅ 0.5 ≈ 0.800 + 0.191 ≈ 0.991
P ( + ℏ / 2 ) ≈ 0.982 P(+\hbar/2) \approx 0.982 P ( + ℏ/2 ) ≈ 0.982
(3) θ = 0 \theta = 0 θ = 0 时 n ⃗ = ( 0 , 0 , 1 ) \vec{n} = (0, 0, 1) n = ( 0 , 0 , 1 ) ,S n ⃗ = ℏ 2 Z S_{\vec{n}} = \frac{\hbar}{2}Z S n = 2 ℏ Z ,退化为 z z z 方向自旋测量。P ( + ℏ / 2 ) = ∣ ⟨ 0 ∣ ψ ⟩ ∣ 2 = 3 / 4 P(+\hbar/2) = |\langle 0|\psi\rangle|^2 = 3/4 P ( + ℏ/2 ) = ∣ ⟨ 0∣ ψ ⟩ ∣ 2 = 3/4 。
⭐⭐ 参考答案
关键步骤:对任意单位向量 n ⃗ \vec{n} n ,( n ⃗ ⋅ σ ⃗ ) 2 = ( n x X + n y Y + n z Z ) 2 (\vec{n}\cdot\vec{\sigma})^2 = (n_x X + n_y Y + n_z Z)^2 ( n ⋅ σ ) 2 = ( n x X + n y Y + n z Z ) 2
展开:n x 2 X 2 + n y 2 Y 2 + n z 2 Z 2 + n x n y ( X Y + Y X ) + n y n z ( Y Z + Z Y ) + n z n x ( Z X + X Z ) n_x^2 X^2 + n_y^2 Y^2 + n_z^2 Z^2 + n_x n_y (XY + YX) + n_y n_z (YZ + ZY) + n_z n_x (ZX + XZ) n x 2 X 2 + n y 2 Y 2 + n z 2 Z 2 + n x n y ( X Y + Y X ) + n y n z ( Y Z + Z Y ) + n z n x ( Z X + X Z )
利用 X 2 = Y 2 = Z 2 = I X^2 = Y^2 = Z^2 = I X 2 = Y 2 = Z 2 = I 和反交换关系 { X , Y } = X Y + Y X = 0 \{X,Y\} = XY + YX = 0 { X , Y } = X Y + Y X = 0 (同样对 Y Z YZ Y Z 和 Z X ZX Z X ):
= ( n x 2 + n y 2 + n z 2 ) I = I = (n_x^2 + n_y^2 + n_z^2)I = I = ( n x 2 + n y 2 + n z 2 ) I = I (因为 n ⃗ \vec{n} n 是单位向量)
因此 e − i α ( n ⃗ ⋅ σ ⃗ ) / 2 = ∑ k = 0 ∞ 1 k ! ( − i α / 2 ) k ( n ⃗ ⋅ σ ⃗ ) k e^{-i\alpha(\vec{n}\cdot\vec{\sigma})/2} = \sum_{k=0}^\infty \frac{1}{k!}(-i\alpha/2)^k (\vec{n}\cdot\vec{\sigma})^k e − i α ( n ⋅ σ ) /2 = ∑ k = 0 ∞ k ! 1 ( − i α /2 ) k ( n ⋅ σ ) k
偶数次幂:( n ⃗ ⋅ σ ⃗ ) 2 k = I (\vec{n}\cdot\vec{\sigma})^{2k} = I ( n ⋅ σ ) 2 k = I ,奇数次幂:( n ⃗ ⋅ σ ⃗ ) 2 k + 1 = ( n ⃗ ⋅ σ ⃗ ) (\vec{n}\cdot\vec{\sigma})^{2k+1} = (\vec{n}\cdot\vec{\sigma}) ( n ⋅ σ ) 2 k + 1 = ( n ⋅ σ )
= ∑ k = 0 ∞ ( − i α / 2 ) 2 k ( 2 k ) ! I + ∑ k = 0 ∞ ( − i α / 2 ) 2 k + 1 ( 2 k + 1 ) ! ( n ⃗ ⋅ σ ⃗ ) = \sum_{k=0}^\infty \frac{(-i\alpha/2)^{2k}}{(2k)!} I + \sum_{k=0}^\infty \frac{(-i\alpha/2)^{2k+1}}{(2k+1)!} (\vec{n}\cdot\vec{\sigma}) = ∑ k = 0 ∞ ( 2 k )! ( − i α /2 ) 2 k I + ∑ k = 0 ∞ ( 2 k + 1 )! ( − i α /2 ) 2 k + 1 ( n ⋅ σ )
= cos ( α / 2 ) I − i sin ( α / 2 ) ( n ⃗ ⋅ σ ⃗ ) = \cos(\alpha/2) I - i\sin(\alpha/2)(\vec{n}\cdot\vec{\sigma}) = cos ( α /2 ) I − i sin ( α /2 ) ( n ⋅ σ )
得证。
应用 (1) R x ( π ) = cos ( π / 2 ) I − i sin ( π / 2 ) X = − i X R_x(\pi) = \cos(\pi/2)I - i\sin(\pi/2)X = -iX R x ( π ) = cos ( π /2 ) I − i sin ( π /2 ) X = − i X ,作用在量子态上相当于 X X X 门(相差全局相位)。
(2) R y ( π / 2 ) = cos ( π / 4 ) I − i sin ( π / 4 ) Y = 1 2 ( I − i Y ) R_y(\pi/2) = \cos(\pi/4)I - i\sin(\pi/4)Y = \frac{1}{\sqrt{2}}(I - iY) R y ( π /2 ) = cos ( π /4 ) I − i sin ( π /4 ) Y = 2 1 ( I − iY )
R y ( π / 2 ) ∣ 0 ⟩ = 1 2 ( ∣ 0 ⟩ − i Y ∣ 0 ⟩ ) = 1 2 ( ∣ 0 ⟩ − i ( i ∣ 1 ⟩ ) ) = 1 2 ( ∣ 0 ⟩ + ∣ 1 ⟩ ) = ∣ + ⟩ R_y(\pi/2)\lvert0\rangle = \frac{1}{\sqrt{2}}(\lvert0\rangle - iY\lvert0\rangle) = \frac{1}{\sqrt{2}}(\lvert0\rangle - i(i\lvert1\rangle)) = \frac{1}{\sqrt{2}}(\lvert0\rangle + \lvert1\rangle) = \lvert+\rangle R y ( π /2 ) ∣ 0 ⟩ = 2 1 (∣ 0 ⟩ − iY ∣ 0 ⟩) = 2 1 (∣ 0 ⟩ − i ( i ∣ 1 ⟩)) = 2 1 (∣ 0 ⟩ + ∣ 1 ⟩) = ∣ + ⟩
绕 y y y 轴转 π / 2 \pi/2 π /2 将 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ (北极)转到 x x x 轴正方向(∣ + ⟩ \lvert+\rangle ∣ + ⟩ )。
🗣️ 参考答案要点
向高中生解释的核心思路:
为什么 z z z 轴的信息在测 x x x 后会”丢失” :想象你手里有一支笔。你可以测量它的长度(z z z 方向信息),也可以测量它的粗细(x x x 方向信息)。但这两个测量是”不相容的”——要精密测量长度,你可能需要拉伸笔,这会改变它的粗细。自旋也是一样——z z z 方向和 x x x 方向的自旋是”不相容可观测量”,你不能同时知道两者的确切值。
为什么不准确同时知道两个方向 :这不是技术限制(测量精度不够),而是原理性限制——海森堡不确定性原理。在经典物理中,你可以同时知道一个物体的位置和动量(虽然测量本身会引入误差,但理论上你可以任意提高精度)。在量子力学中,有些成对的可观测量之间存在”最小不确定度”的硬约束,与测量技术无关。
自旋 vs 经典旋转 :经典的角动量是”连续的”(可以取任何方向、任何大小),而且三个方向的分量可以同时知道。自旋只有一个固定大小(ℏ / 2 \hbar/2 ℏ/2 ),在任何方向只能取 ± ℏ / 2 \pm\hbar/2 ± ℏ/2 ,三个方向不能同时确定。自旋是”量子的”——不是经典意义上的旋转。
Stern-Gerlach 实验的类比 :想象一个台球在旋转。当它通过一个不均匀磁场时,如果旋转方向与磁场方向一致,它会偏转到一个方向;如果相反,则偏转到另一个方向。经典物理预期:台球可以以任意角度旋转(就像地球自转轴可以指向任意方向),偏转应该是连续分布。但实验发现只有两个点——这意味着电子自旋在面对磁场时只有两种可能的方向。这就像一台只能指向”北”或”南”的指南针——无法指向”东北”。
💭 参考答案要点
自旋在非相对论 QM 中的来源 :非相对论薛定谔方程的自旋是”手放进去”的——Pauli 在 1927 年通过引入 2 分量波函数和 Pauli 矩阵来”凑出”自旋。在非相对论框架中,自旋是一个额外的假设,没有深层理由。相对论量子力学则不同:Dirac 方程”自动”产生自旋——它是协变性的要求,不是人为添加的。
自旋-统计定理的深层联系 :在相对论量子场论中,自旋-统计定理是一个严格的数学结果。它来源于因果律和正能量条件的结合。如果试图让两个费米子处于同一量子态,构造出的场算符会违反因果性(非定域性会出现不可接受的形式)。这暗示着:自旋和交换对称性之间的关联是时空本身的性质,不是偶然的 。
Pauli 矩阵与四元数 :这不是巧合。四元数 { 1 , i , j , k } \{1, i, j, k\} { 1 , i , j , k } 满足 i 2 = j 2 = k 2 = − 1 i^2 = j^2 = k^2 = -1 i 2 = j 2 = k 2 = − 1 和 i j = k , j i = − k ij = k, ji = -k ij = k , j i = − k 等关系。Pauli 矩阵(乘以 i i i 后)给出四元数的一个 2 × 2 2\times2 2 × 2 复矩阵表示:i σ x , i σ y , i σ z i\sigma_x, i\sigma_y, i\sigma_z i σ x , i σ y , i σ z 与四元数的 i , j , k i, j, k i , j , k 同构。这表明自旋的数学结构更深地植根于”旋转的代数理论”中——四元数本就是为了描述三维空间旋转而发明的。旋量(spinor)是旋转群 SO(3) 的双值表示——旋转 360° 不回到原始态(而是旋转 720° 才回来),这个违反直觉的拓扑性质是量子力学中许多”奇异”现象的根源。
2.5 布洛赫球
⭐ 参考答案
(1) ∣ A ⟩ \lvert A\rangle ∣ A ⟩ :cos ( θ / 2 ) = 3 / 2 \cos(\theta/2) = \sqrt{3}/2 cos ( θ /2 ) = 3 /2 ,sin ( θ / 2 ) = 1 / 2 \sin(\theta/2) = 1/2 sin ( θ /2 ) = 1/2 → θ = π / 3 \theta = \pi/3 θ = π /3 ,ϕ = 0 \phi = 0 ϕ = 0 → ( x , y , z ) = ( sin π / 3 , 0 , cos π / 3 ) = ( 3 / 2 , 0 , 1 / 2 ) (x,y,z) = (\sin\pi/3, 0, \cos\pi/3) = (\sqrt{3}/2, 0, 1/2) ( x , y , z ) = ( sin π /3 , 0 , cos π /3 ) = ( 3 /2 , 0 , 1/2 )
北半球,+ x +x + x 方向。
(2) ∣ B ⟩ \lvert B\rangle ∣ B ⟩ :θ / 2 = π / 4 \theta/2 = \pi/4 θ /2 = π /4 → θ = π / 2 \theta = \pi/2 θ = π /2 ,ϕ = π / 3 \phi = \pi/3 ϕ = π /3 → ( x , y , z ) = ( sin π / 2 cos π / 3 , sin π / 2 sin π / 3 , 0 ) = ( 1 / 2 , 3 / 2 , 0 ) (x,y,z) = (\sin\pi/2\cos\pi/3, \sin\pi/2\sin\pi/3, 0) = (1/2, \sqrt{3}/2, 0) ( x , y , z ) = ( sin π /2 cos π /3 , sin π /2 sin π /3 , 0 ) = ( 1/2 , 3 /2 , 0 )
赤道上。
(3) ∣ C ⟩ \lvert C\rangle ∣ C ⟩ :cos ( θ / 2 ) = 1 / 5 \cos(\theta/2) = 1/\sqrt{5} cos ( θ /2 ) = 1/ 5 ,sin ( θ / 2 ) = 2 / 5 \sin(\theta/2) = 2/\sqrt{5} sin ( θ /2 ) = 2/ 5 → θ ≈ 2 arccos ( 1 / 5 ) ≈ 2 ⋅ 1.107 ≈ 2.214 \theta \approx 2\arccos(1/\sqrt{5}) \approx 2\cdot 1.107 \approx 2.214 θ ≈ 2 arccos ( 1/ 5 ) ≈ 2 ⋅ 1.107 ≈ 2.214 rad → 南半球(θ > π / 2 \theta > \pi/2 θ > π /2 ),ϕ = 0 \phi = 0 ϕ = 0 → ( x , y , z ) ≈ ( sin 2.214 , 0 , cos 2.214 ) ≈ ( 0.8 , 0 , − 0.6 ) (x,y,z) \approx (\sin 2.214, 0, \cos 2.214) \approx (0.8, 0, -0.6) ( x , y , z ) ≈ ( sin 2.214 , 0 , cos 2.214 ) ≈ ( 0.8 , 0 , − 0.6 )
(4) ∣ D ⟩ \lvert D\rangle ∣ D ⟩ :∣ D ⟩ = 1 10 ( ∣ 0 ⟩ + 3 i ∣ 1 ⟩ ) \lvert D\rangle = \frac{1}{\sqrt{10}}(\lvert0\rangle + 3i\lvert1\rangle) ∣ D ⟩ = 10 1 (∣ 0 ⟩ + 3 i ∣ 1 ⟩) ,cos ( θ / 2 ) = 1 / 10 \cos(\theta/2) = 1/\sqrt{10} cos ( θ /2 ) = 1/ 10 ,sin ( θ / 2 ) = 3 / 10 \sin(\theta/2) = 3/\sqrt{10} sin ( θ /2 ) = 3/ 10 → θ ≈ 2 arccos ( 1 / 10 ) ≈ 2.498 \theta \approx 2\arccos(1/\sqrt{10}) \approx 2.498 θ ≈ 2 arccos ( 1/ 10 ) ≈ 2.498 rad,ϕ = π / 2 \phi = \pi/2 ϕ = π /2 → ( x , y , z ) ≈ ( sin 2.498 cos π / 2 , sin 2.498 sin π / 2 , cos 2.498 ) ≈ ( 0 , 0.949 , − 0.316 ) (x,y,z) \approx (\sin2.498\cos\pi/2, \sin2.498\sin\pi/2, \cos2.498) \approx (0, 0.949, -0.316) ( x , y , z ) ≈ ( sin 2.498 cos π /2 , sin 2.498 sin π /2 , cos 2.498 ) ≈ ( 0 , 0.949 , − 0.316 )
南半球,+ y +y + y 方向。
球面距离:∣ A ⟩ \lvert A\rangle ∣ A ⟩ 和 ∣ B ⟩ \lvert B\rangle ∣ B ⟩ 在 θ \theta θ 和 ϕ \phi ϕ 上都较接近——圆心角 γ \gamma γ 由 cos γ = cos θ A cos θ B + sin θ A sin θ B cos ( ϕ A − ϕ B ) \cos\gamma = \cos\theta_A\cos\theta_B + \sin\theta_A\sin\theta_B\cos(\phi_A - \phi_B) cos γ = cos θ A cos θ B + sin θ A sin θ B cos ( ϕ A − ϕ B ) 给出。
⭐⭐ 参考答案
一般的 S U ( 2 ) SU(2) S U ( 2 ) 矩阵为 U = ( a b − b ∗ a ∗ ) U = \begin{pmatrix} a & b \\ -b^* & a^* \end{pmatrix} U = ( a − b ∗ b a ∗ ) ,∣ a ∣ 2 + ∣ b ∣ 2 = 1 |a|^2 + |b|^2 = 1 ∣ a ∣ 2 + ∣ b ∣ 2 = 1 。
R z ( α ) = e − i α Z / 2 = ( e − i α / 2 0 0 e i α / 2 ) R_z(\alpha) = e^{-i\alpha Z/2} = \begin{pmatrix} e^{-i\alpha/2} & 0 \\ 0 & e^{i\alpha/2} \end{pmatrix} R z ( α ) = e − i α Z /2 = ( e − i α /2 0 0 e i α /2 )
R x ( β ) = e − i β X / 2 = ( cos ( β / 2 ) − i sin ( β / 2 ) − i sin ( β / 2 ) cos ( β / 2 ) ) R_x(\beta) = e^{-i\beta X/2} = \begin{pmatrix} \cos(\beta/2) & -i\sin(\beta/2) \\ -i\sin(\beta/2) & \cos(\beta/2) \end{pmatrix} R x ( β ) = e − i β X /2 = ( cos ( β /2 ) − i sin ( β /2 ) − i sin ( β /2 ) cos ( β /2 ) )
R z ( γ ) R x ( β ) R z ( α ) = ( e − i γ / 2 0 0 e i γ / 2 ) ( cos ( β / 2 ) − i sin ( β / 2 ) − i sin ( β / 2 ) cos ( β / 2 ) ) ( e − i α / 2 0 0 e i α / 2 ) R_z(\gamma) R_x(\beta) R_z(\alpha) = \begin{pmatrix} e^{-i\gamma/2} & 0 \\ 0 & e^{i\gamma/2} \end{pmatrix} \begin{pmatrix} \cos(\beta/2) & -i\sin(\beta/2) \\ -i\sin(\beta/2) & \cos(\beta/2) \end{pmatrix} \begin{pmatrix} e^{-i\alpha/2} & 0 \\ 0 & e^{i\alpha/2} \end{pmatrix} R z ( γ ) R x ( β ) R z ( α ) = ( e − iγ /2 0 0 e iγ /2 ) ( cos ( β /2 ) − i sin ( β /2 ) − i sin ( β /2 ) cos ( β /2 ) ) ( e − i α /2 0 0 e i α /2 )
= ( e − i ( α + γ ) / 2 cos ( β / 2 ) − i e i ( α − γ ) / 2 sin ( β / 2 ) − i e i ( γ − α ) / 2 sin ( β / 2 ) e i ( α + γ ) / 2 cos ( β / 2 ) ) = \begin{pmatrix} e^{-i(\alpha+\gamma)/2}\cos(\beta/2) & -i e^{i(\alpha-\gamma)/2}\sin(\beta/2) \\ -i e^{i(\gamma-\alpha)/2}\sin(\beta/2) & e^{i(\alpha+\gamma)/2}\cos(\beta/2) \end{pmatrix} = ( e − i ( α + γ ) /2 cos ( β /2 ) − i e i ( γ − α ) /2 sin ( β /2 ) − i e i ( α − γ ) /2 sin ( β /2 ) e i ( α + γ ) /2 cos ( β /2 ) )
设 a = e − i ( α + γ ) / 2 cos ( β / 2 ) a = e^{-i(\alpha+\gamma)/2}\cos(\beta/2) a = e − i ( α + γ ) /2 cos ( β /2 ) ,b = − i e i ( α − γ ) / 2 sin ( β / 2 ) b = -i e^{i(\alpha-\gamma)/2}\sin(\beta/2) b = − i e i ( α − γ ) /2 sin ( β /2 ) 。
给定任意 a , b a, b a , b (∣ a ∣ 2 + ∣ b ∣ 2 = 1 |a|^2 + |b|^2 = 1 ∣ a ∣ 2 + ∣ b ∣ 2 = 1 ):
β = 2 arccos ∣ a ∣ = 2 arcsin ∣ b ∣ \beta = 2\arccos|a| = 2\arcsin|b| β = 2 arccos ∣ a ∣ = 2 arcsin ∣ b ∣
α + γ = − 2 arg ( a ) \alpha + \gamma = -2\arg(a) α + γ = − 2 arg ( a )
α − γ = − 2 arg ( b ) − π \alpha - \gamma = -2\arg(b) - \pi α − γ = − 2 arg ( b ) − π (因为 − i = e − i π / 2 -i = e^{-i\pi/2} − i = e − iπ /2 )
两个方程可唯一确定 α \alpha α 和 γ \gamma γ 。因此任意 S U ( 2 ) SU(2) S U ( 2 ) 矩阵(从而任意单比特酉门,相差全局相位)都可以表示为 Z-X-Z 欧拉角分解。在超导量子比特中,这对应”虚拟 Z 门 + 微波脉冲 X 旋转”的硬件实现方案。
🗣️ 参考答案要点
向高中生解释布洛赫球:
为什么是一个球 :两个复数 α , β \alpha, \beta α , β 有 4 个实参数,但归一化条件去掉 1 个,全局相位去掉 1 个,剩下 2 个自由参数。两个参数的集合恰好对应一个球面上的所有点——就像地球表面的点由经度和纬度两个参数确定一样。
为什么北极和南极是 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ 和 ∣ 1 ⟩ \lvert1\rangle ∣ 1 ⟩ :这只是一个约定。如果你拿指南针,“纯粹向北”是 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ ,“纯粹向南”是 ∣ 1 ⟩ \lvert1\rangle ∣ 1 ⟩ 。任何其他方向都是两者的混合。就像你在赤道上的位置是”北和南各一半”——但不是”北”和”南”的经典混合,而是一种全新的”叠加方向”。
为什么相对相位决定经度 :想象一个钟摆在 x x x 轴方向摆动(∣ + ⟩ \lvert+\rangle ∣ + ⟩ ),和一个在 y y y 轴方向摆动(∣ + i ⟩ \lvert+i\rangle ∣ + i ⟩ )——它们摆动的幅度一模一样,但”相位”差了 90 ∘ 90^\circ 9 0 ∘ (或者说时间上差了 1/4 周期)。在布洛赫球上,这个时间差映射为经度差。
旋转对应量子门 :布洛赫球最美妙的地方:任何一个量子门(用酉矩阵描述)都对应球面上的一次刚体旋转。绕 x x x 轴旋转将北极转到南极——这就是 X X X 门(比特翻转)。绕 z z z 轴旋转改变相位——这就是 Z Z Z 门(相位翻转)。
混态在球内部 :纯态是球面上的点——你知道系统确切处于哪个态。混态是球内部的点——你不知道确切态,只知道概率分布。球心对应”完全不知道”——任何方向测量的结果都是完全随机的。从球心到球面,你对量子态的了解越来越精确。
关于 θ / 2 \theta/2 θ /2 的解释 :当我们在球面上旋转 180 ∘ 180^\circ 18 0 ∘ (从北极到南极),对应的量子态参数 θ \theta θ 经历了 180 ∘ 180^\circ 18 0 ∘ ,所以参数化中是 θ / 2 从 0 \theta/2\ 从\ 0 θ /2 从 0 到 π / 2 \pi/2 π /2 。360 ∘ 360^\circ 36 0 ∘ 的球面旋转(回到起点)对应 720 ∘ 720^\circ 72 0 ∘ 的量子态旋转!这是旋量(spinor)的特性——自旋 1/2 系统旋转 360 ∘ 360^\circ 36 0 ∘ 后不回到原始态,而是得到 − 1 -1 − 1 倍的全局相位。这听起来很奇怪,但已在中子干涉实验中被直接验证。
💭 参考答案要点
多量子比特不能简化为多个布洛赫球 :这是因为纠缠态的存在。贝尔态 ∣ Φ + ⟩ \lvert\Phi^+\rangle ∣ Φ + ⟩ 如果试图用”两个布洛赫球”描述,每个子系统的约化密度矩阵都是 I / 2 I/2 I /2 (球心),完全丢失了关联信息。两个球心的”笛卡尔积”包含了所有的可能,但丢失了到底是哪一个纠缠纯态的信息。多体量子态需要在高维空间(CP2 n − 1 ^{2^n-1} 2 n − 1 )中描述,其几何结构远比球体复杂。
几何与信息的深层关系 :布洛赫球”丢失纠缠信息”这个事实暗示:我们对量子态的直观几何理解在纠缠面前失效了。这促使研究者发展新的几何语言——如纠缠熵、张量网络(Tensor Networks)、量子信息几何(Quantum Information Geometry)——来捕捉多体量子态的丰富结构。
多体混态的几何 :n n n 个量子比特的密度矩阵构成一个 4 n − 1 4^n-1 4 n − 1 维的凸空间——态空间(State Space)。这个空间的边界不是光滑的球面,而是一个有大量”尖点”和”平坦区域”的复杂凸体。纯态(边界点)和混态(内部点)之间的关系远比二维情况复杂。多体量子态的几何分类是当前量子信息理论的一个活跃研究方向。
生活在布洛赫球里面 :这个问题触及了”观察者与被观察系统的边界”。如果我们本身也是量子系统,我们能接触到的信息受到量子力学本身的限制——这就是”量子位”(Quantum Epistemology)的核心课题。是否存在无法通过任何实验探测的”隐藏”量子自由度?这就是量子计量学(Quantum Metrology)试图回答的问题。
2.6 测量理论与密度矩阵
⭐ 参考答案
(a) ∣ + ⟩ ⟨ + ∣ = 1 2 ( 1 1 1 1 ) \lvert+\rangle\langle+\rvert = \frac12\begin{pmatrix}1&1\\1&1\end{pmatrix} ∣ + ⟩ ⟨ + ∣ = 2 1 ( 1 1 1 1 ) ,∣ − ⟩ ⟨ − ∣ = 1 2 ( 1 − 1 − 1 1 ) \lvert-\rangle\langle-\rvert = \frac12\begin{pmatrix}1&-1\\-1&1\end{pmatrix} ∣ − ⟩ ⟨ − ∣ = 2 1 ( 1 − 1 − 1 1 )
ρ ( p ) = p ⋅ 1 2 ( 1 1 1 1 ) + ( 1 − p ) ⋅ 1 2 ( 1 − 1 − 1 1 ) = 1 2 ( 1 2 p − 1 2 p − 1 1 ) \rho(p) = p\cdot\frac12\begin{pmatrix}1&1\\1&1\end{pmatrix} + (1-p)\cdot\frac12\begin{pmatrix}1&-1\\-1&1\end{pmatrix} = \frac12\begin{pmatrix}1&2p-1\\2p-1&1\end{pmatrix} ρ ( p ) = p ⋅ 2 1 ( 1 1 1 1 ) + ( 1 − p ) ⋅ 2 1 ( 1 − 1 − 1 1 ) = 2 1 ( 1 2 p − 1 2 p − 1 1 )
(b) Tr [ ρ ( p ) ] = 1 2 ( 1 + 1 ) = 1 \operatorname{Tr}[\rho(p)] = \frac12(1 + 1) = 1 Tr [ ρ ( p )] = 2 1 ( 1 + 1 ) = 1 ✓
ρ ( p ) 2 = 1 4 ( 1 2 p − 1 2 p − 1 1 ) 2 = 1 4 ( ( 1 ) 2 + ( 2 p − 1 ) 2 ( 1 ) ( 2 p − 1 ) + ( 2 p − 1 ) ( 1 ) ( 2 p − 1 ) ( 1 ) + ( 1 ) ( 2 p − 1 ) ( 2 p − 1 ) 2 + ( 1 ) 2 ) \rho(p)^2 = \frac14\begin{pmatrix}1&2p-1\\2p-1&1\end{pmatrix}^2 = \frac14\begin{pmatrix}(1)^2+(2p-1)^2 & (1)(2p-1)+(2p-1)(1)\\(2p-1)(1)+(1)(2p-1) & (2p-1)^2+(1)^2\end{pmatrix} ρ ( p ) 2 = 4 1 ( 1 2 p − 1 2 p − 1 1 ) 2 = 4 1 ( ( 1 ) 2 + ( 2 p − 1 ) 2 ( 2 p − 1 ) ( 1 ) + ( 1 ) ( 2 p − 1 ) ( 1 ) ( 2 p − 1 ) + ( 2 p − 1 ) ( 1 ) ( 2 p − 1 ) 2 + ( 1 ) 2 )
= 1 4 ( 1 + ( 2 p − 1 ) 2 2 ( 2 p − 1 ) 2 ( 2 p − 1 ) 1 + ( 2 p − 1 ) 2 ) = \frac14\begin{pmatrix}1+(2p-1)^2 & 2(2p-1)\\2(2p-1) & 1+(2p-1)^2\end{pmatrix} = 4 1 ( 1 + ( 2 p − 1 ) 2 2 ( 2 p − 1 ) 2 ( 2 p − 1 ) 1 + ( 2 p − 1 ) 2 )
Tr [ ρ ( p ) 2 ] = 1 4 [ 1 + ( 2 p − 1 ) 2 + 1 + ( 2 p − 1 ) 2 ] = 1 + ( 2 p − 1 ) 2 2 \operatorname{Tr}[\rho(p)^2] = \frac14[1+(2p-1)^2 + 1+(2p-1)^2] = \frac{1+(2p-1)^2}{2} Tr [ ρ ( p ) 2 ] = 4 1 [ 1 + ( 2 p − 1 ) 2 + 1 + ( 2 p − 1 ) 2 ] = 2 1 + ( 2 p − 1 ) 2
(c) 纯态:Tr ( ρ 2 ) = 1 ⟹ 1 + ( 2 p − 1 ) 2 = 2 ⟹ ( 2 p − 1 ) 2 = 1 ⟹ p = 0 \operatorname{Tr}(\rho^2) = 1 \implies 1 + (2p-1)^2 = 2 \implies (2p-1)^2 = 1 \implies p = 0 Tr ( ρ 2 ) = 1 ⟹ 1 + ( 2 p − 1 ) 2 = 2 ⟹ ( 2 p − 1 ) 2 = 1 ⟹ p = 0 或 p = 1 p = 1 p = 1
最大混度:( 2 p − 1 ) 2 (2p-1)^2 ( 2 p − 1 ) 2 最小 → p = 1 / 2 p = 1/2 p = 1/2 ,此时 Tr ( ρ 2 ) = 1 / 2 \operatorname{Tr}(\rho^2) = 1/2 Tr ( ρ 2 ) = 1/2
(d) 与”p p p 概率 ∣ 0 ⟩ \lvert0\rangle ∣ 0 ⟩ 、1 − p 1-p 1 − p 概率 ∣ 1 ⟩ \lvert1\rangle ∣ 1 ⟩ “比较:该密度矩阵为 ( p 0 0 1 − p ) \begin{pmatrix}p&0\\0&1-p\end{pmatrix} ( p 0 0 1 − p )
两者相同当且仅当 1 2 = p \frac12 = p 2 1 = p 且 1 2 = 1 − p \frac12 = 1-p 2 1 = 1 − p ,即 p = 1 / 2 p = 1/2 p = 1/2 时,两者都等于 I / 2 I/2 I /2 。
其他 p p p 值时不同:例如 p = 1 p=1 p = 1 ,前者是 ∣ + ⟩ ⟨ + ∣ \lvert+\rangle\langle+\rvert ∣ + ⟩ ⟨ + ∣ (纯态,X X X 测量得 + 1 +1 + 1 的概率为 1),后者是 ∣ 0 ⟩ ⟨ 0 ∣ \lvert0\rangle\langle0\rvert ∣ 0 ⟩ ⟨ 0 ∣ (纯态,Z Z Z 测量得 + 1 +1 + 1 的概率为 1,X X X 测量概率各半)。两者在 X X X 基下有完全不同的行为。
⭐⭐ 参考答案
(a) ∣ Ψ 1 ⟩ = 1 2 ( ∣ 00 ⟩ + ∣ 01 ⟩ ) = ∣ 0 ⟩ ⊗ 1 2 ( ∣ 0 ⟩ + ∣ 1 ⟩ ) = ∣ 0 ⟩ ⊗ ∣ + ⟩ \lvert\Psi_1\rangle = \frac{1}{\sqrt{2}}(\lvert00\rangle + \lvert01\rangle) = \lvert0\rangle \otimes \frac{1}{\sqrt{2}}(\lvert0\rangle + \lvert1\rangle) = \lvert0\rangle \otimes \lvert+\rangle ∣ Ψ 1 ⟩ = 2 1 (∣ 00 ⟩ + ∣ 01 ⟩) = ∣ 0 ⟩ ⊗ 2 1 (∣ 0 ⟩ + ∣ 1 ⟩) = ∣ 0 ⟩ ⊗ ∣ + ⟩
这是可分离态(乘积态),不存在纠缠。
∣ Ψ 2 ⟩ = 1 2 ( ∣ 00 ⟩ + ∣ 11 ⟩ ) \lvert\Psi_2\rangle = \frac{1}{\sqrt{2}}(\lvert00\rangle + \lvert11\rangle) ∣ Ψ 2 ⟩ = 2 1 (∣ 00 ⟩ + ∣ 11 ⟩) ,这是著名的贝尔态,不可分离(纠缠态),因为没有 ∣ ψ ⟩ A ⊗ ∣ ϕ ⟩ B \lvert\psi\rangle_A\otimes\lvert\phi\rangle_B ∣ ψ ⟩ A ⊗ ∣ ϕ ⟩ B 的分解。
(b) 对 ∣ Ψ 1 ⟩ \lvert\Psi_1\rangle ∣ Ψ 1 ⟩ :
ρ A ( 1 ) = Tr B ( ∣ Ψ 1 ⟩ ⟨ Ψ 1 ∣ ) = Tr B [ ( ∣ 0 ⟩ ⟨ 0 ∣ ) ⊗ ( ∣ + ⟩ ⟨ + ∣ ) ] = ∣ 0 ⟩ ⟨ 0 ∣ ⋅ Tr ( ∣ + ⟩ ⟨ + ∣ ) = ∣ 0 ⟩ ⟨ 0 ∣ \rho_A^{(1)} = \operatorname{Tr}_B(\lvert\Psi_1\rangle\langle\Psi_1\rvert) = \operatorname{Tr}_B[(\lvert0\rangle\langle0\rvert) \otimes (\lvert+\rangle\langle+\rvert)] = \lvert0\rangle\langle0\rvert \cdot \operatorname{Tr}(\lvert+\rangle\langle+\rvert) = \lvert0\rangle\langle0\rvert ρ A ( 1 ) = Tr B (∣ Ψ 1 ⟩ ⟨ Ψ 1 ∣) = Tr B [(∣ 0 ⟩ ⟨ 0 ∣) ⊗ (∣ + ⟩ ⟨ + ∣)] = ∣ 0 ⟩ ⟨ 0 ∣ ⋅ Tr (∣ + ⟩ ⟨ + ∣) = ∣ 0 ⟩ ⟨ 0 ∣
对 ∣ Ψ 2 ⟩ \lvert\Psi_2\rangle ∣ Ψ 2 ⟩ :由 2.6 节教程,ρ A ( 2 ) = I / 2 \rho_A^{(2)} = I/2 ρ A ( 2 ) = I /2
(c) Tr [ ( ρ A ( 1 ) ) 2 ] = Tr ( ∣ 0 ⟩ ⟨ 0 ∣ ) = 1 \operatorname{Tr}[(\rho_A^{(1)})^2] = \operatorname{Tr}(\lvert0\rangle\langle0\rvert) = 1 Tr [( ρ A ( 1 ) ) 2 ] = Tr (∣ 0 ⟩ ⟨ 0 ∣) = 1 (纯态)
Tr [ ( ρ A ( 2 ) ) 2 ] = Tr ( I / 4 ) = 1 / 2 \operatorname{Tr}[(\rho_A^{(2)})^2] = \operatorname{Tr}(I/4) = 1/2 Tr [( ρ A ( 2 ) ) 2 ] = Tr ( I /4 ) = 1/2 (混态)
对于 ∣ Ψ 1 ⟩ \lvert\Psi_1\rangle ∣ Ψ 1 ⟩ (可分离态),ρ A \rho_A ρ A 是纯态;对于 ∣ Ψ 2 ⟩ \lvert\Psi_2\rangle ∣ Ψ 2 ⟩ (纠缠态),ρ A \rho_A ρ A 是混态。在这个特定例子中,“约化密度矩阵是混态”可以作为纠缠的判据。两者一致。
(d) 对于两体纯态:纠缠态 ⟺ ρ A \rho_A ρ A 是混态(Tr ( ρ A 2 ) < 1 \operatorname{Tr}(\rho_A^2) < 1 Tr ( ρ A 2 ) < 1 )。反过来,如果 ρ A \rho_A ρ A 是纯态,那么 ∣ Ψ ⟩ A B \lvert\Psi\rangle_{AB} ∣ Ψ ⟩ A B 一定是可分态(乘积态)。
但对于混态 (整体是混态时),这个判据不再充要——存在”可分离的混态”其中 ρ A \rho_A ρ A 也是混态。区分纠缠混态和可分离混态是一个 NP-难问题,这凸显了量子纠缠在混态情形下的复杂几何。
🗣️ 参考答案要点
向 Anna 和 Bob 解释的核心思路:
如何在 X X X 基下区分 :Anna 的叠加态 ∣ + ⟩ = ( ∣ 0 ⟩ + ∣ 1 ⟩ ) / 2 \lvert+\rangle = (\lvert0\rangle + \lvert1\rangle)/\sqrt{2} ∣ + ⟩ = (∣ 0 ⟩ + ∣ 1 ⟩) / 2 是 X X X 的本征态——测量 X X X 永远得到 + 1 +1 + 1 。Bob 的经典混合在 X X X 基下各占一半概率——无法永远得到相同的结果。这就是实验上的关键区别:在不同基下的统计行为不同。
日常类比——钟摆 :想象两个钟摆完全同步地摆动——它们的相位关系是固定的(这就是”相干”)。这是量子叠加的类比。现在想象两个独立的钟摆随机摆动——它们之间没有固定相位关系(这就是”经典混合”)。相干系统可以产生干涉效应(相长相消),非相干系统只能产生简单的概率相加。
对量子计算的重要性 :如果量子比特只是”经典概率”意义上的比特,量子计算机不可能比经典计算机更快。因为经典概率叠加不会产生干涉——没有干涉就没有量子算法的加速。量子计算机的”秘密武器”就是量子相干性——让不同”计算路径”的复数振幅相互干涉,放大正确答案、抑制错误答案。
密度矩阵的统一描述 :密度矩阵 ρ = ∑ i p i ∣ ψ i ⟩ ⟨ ψ i ∣ \rho = \sum_i p_i\lvert\psi_i\rangle\langle\psi_i\rvert ρ = ∑ i p i ∣ ψ i ⟩ ⟨ ψ i ∣ 用一个数学对象同时描述了量子叠加(各 ∣ ψ i ⟩ \lvert\psi_i\rangle ∣ ψ i ⟩ 之间的相干性)和经典不确定性(概率 p i p_i p i )。不同制备方式可能给出相同的 ρ \rho ρ (如均匀混合 ∣ 0 ⟩ , ∣ 1 ⟩ \lvert0\rangle, \lvert1\rangle ∣ 0 ⟩ , ∣ 1 ⟩ 和均匀混合 ∣ + ⟩ , ∣ − ⟩ \lvert+\rangle, \lvert-\rangle ∣ + ⟩ , ∣ − ⟩ 都得到 I / 2 I/2 I /2 )——这意味着没有任何实验能区分这两种制备方案,它们对物理世界而言就是”相同的”。
💭 参考答案要点
薛定谔的猫与退相干 :退相干理论说明:宏观物体与环境不可避免的纠缠使得量子相干性以极快的速度(10 − 20 10^{-20} 1 0 − 20 秒量级)转移到环境自由度中,从观察者视角看,系统表现为经典混合。但退相干不解决”选择问题”——为什么我们体验到 ∣ 死 ⟩ |{\text{死}}\rangle ∣ 死 ⟩ 或 ∣ 活 ⟩ |{\text{活}}\rangle ∣ 活 ⟩ 中的一个结果,而不是两者的混合。所以”测量问题”没有被”解决”,只是被”推后”了——从”坍缩何时发生”变成了”分支何时形成”。
纠缠的非定域与信息传输 :量子隐形传态确实传输了量子态,但这个传输需要经典通信信道配合——Alice 必须通过经典信道(速度 ≤ 光速)告诉 Bob 她的测量结果。没有这个经典信息,Bob 的粒子看起来完全是随机的。所以”信息”的传输速度没有超过光速。
纠缠的非定域性体现在:两个粒子的关联(correlation)是非定域的——Alice 的测量选择会影响 Bob 的测量结果统计(当后来进行比较时能看到这种影响)。但单看 Bob 的测量结果,没有任何”信号”可言。这就是”相关非定域性”≠“因果非定域性”。
纠缠度量的复杂性 :对于混态和体系统,存在多个不等价的纠缠度量,因为它们捕捉纠缠的不同方面:
纠缠形成代价 (Entanglement of Formation):需要多少纯态纠缠来制备这个混态?
蒸馏纠缠 (Distillable Entanglement):从这个混态中可以提取多少纯态纠缠?
对于纯态,两者相等;对于混态,两者一般不相等——“投入”和”产出”的纠缠量可能不同,这是量子信息处理中”纠缠损耗”的表现。
纠缠与信息可能是同一枚硬币的两面 :这是量子信息理论的深层主题。量子纠错的事实——信息可以编码在纠缠中抵抗退相干——暗示着:纠缠不是信息的敌人,而是信息的保护伞。从”信息是基始”(It from Qubit)的视角看,物理定律(包括时空、引力)可能都是量子信息处理的涌现现象。纠缠熵和黑洞熵(Bekenstein-Hawking 熵)之间的惊人相似性(面积定律)暗示着这一联系可能通往量子引力。
开放性问题
以下问题是开放性的,没有标准答案。它们旨在激发思考、促进讨论,帮助你建立量子力学直觉的同时,意识到这门学科深处仍有许多悬而未决的哲学和物理学问题。
爱因斯坦坚持”上帝不掷骰子”,但贝尔不等式的实验似乎站在了玻尔一边。如果 1935 年 EPR 论文发表后,薛定谔没有提出”薛定谔的猫”,量子力学的公众理解和哲学讨论会有何不同?“猫”的思想实验是否在塑造”量子=怪异”的大众印象方面起了不成比例的作用?
费曼曾说:“我想我可以有把握地说,没有人真正理解量子力学。“但量子力学是目前经过实验检验最精确的物理学理论——一些量子电动力学预言与实验的吻合度达到 10 − 12 10^{-12} 1 0 − 12 级别。如果一个理论如此精确,它的诠释问题为什么不重要?反过来说,如果一个理论可以如此精确却不告诉我们”世界究竟是什么”,物理学是否应该满足于此?
量子计算机的基本操作(酉演化+测量)完全遵循量子力学公设。但当我们说”量子计算机比经典计算机更快”时,实质是说”某些计算问题的量子算法具有更低的复杂度”。这个”加速”的来源是什么?是纠缠?是干涉?是概率幅的复数特性?还是这些因素的综合?如果把”量子加速”的本质用一个简洁的物理图像来解释,你会怎么说?
密度矩阵的偏迹运算是”丢弃”了子系统 B 的信息。在量子计算中,这意味着当纠缠量子比特中有一个与环境相互作用而退相干,我们永久丢失了部分量子信息。但物理定律(如 CPT 对称性)在基础层面上是信息守恒的。那么退相干中的”信息丢失”是真正的丢失,还是信息只是从我们可接触的自由度转移到了不可接触的环境自由度中?这个问题的答案和黑洞信息悖论(Black Hole Information Paradox)有何关联?
如果量子力学是”正确”的基础理论,为什么经典物理如此有效?也就是说,为什么 N ≈ 10 23 N \approx 10^{23} N ≈ 1 0 23 个粒子组成的宏观物体遵循牛顿力学而不是薛定谔方程?退相干是唯一的答案吗?是否可能存在一条从量子到经典的”相变”边界——在某个临界尺度或临界纠缠量之上,量子行为”自发”冻结为经典?这个边界是否可以实验检验?