注:这里写的是笔者所理解的使用布洛赫球表达一个比特的合理逻辑。
量子力学中的单比特
对于一个经典比特来说,它只能等于0或者1,用一个二值变量就可以表达出来。但是对于一个量子比特,需要用到量子态去表达,它需要用到两个连续的变量才能表达出全部的信息。只是,这两个量之间还有约束:
∣ ψ ⟩ = a ∣ 0 ⟩ + b ∣ 1 ⟩ |\psi\rang=a|0\rangle+b|1\rangle ∣ψ⟩=a∣0⟩+b∣1⟩
其中a和b都是复数,满足一个关系: ∣ a ∣ 2 + ∣ b ∣ 2 = 1 |a|^2+|b|^2=1 ∣a∣2+∣b∣2=1. 但是这样表示一个态有很多问题。比如:约束不好处理,和整体相位(global phase)。因为:
∣ ψ ′ ⟩ = e i γ ( a ∣ 0 ⟩ + b ∣ 1 ⟩ ) |\psi'\rang=e^{i\gamma}(a|0\rangle+b|1\rangle) ∣ψ′⟩=eiγ(a∣0⟩+b∣1⟩)
和上面的态 ∣ ψ ⟩ |\psi\rangle ∣ψ⟩在量子性质上是完全相同的。而只有在0态和1态之间的相位差才可能通过量子性质表达出来。把这种同时加在0和1上的相位,我们叫做整体相位(global phase)。之后很多人希望把态表达成:
∣ ψ ⟩ = cos θ ∣ 0 ⟩ + e i ϕ sin θ ∣ 1 ⟩ |\psi\rang=\cos\theta|0\rangle+e^{i\phi}\sin\theta|1\rangle ∣ψ⟩=cosθ∣0⟩+eiϕsinθ∣1⟩
它有效的解决了整体相位和约束的问题,但是,这不是我们使用的形式。我们会看到为什么。
密度算符
密度算符是处理量子力学问题的重要手段。一般,我们测量某个力学量或是可观测量(observable)都得到的是它的平均值。这种平均值可以用密度算符去书写出来。对于纯态的密度算符的定义为:
ρ ^ : = ∣ ψ ⟩ ⟨ ψ ∣ \hat{\rho} := |\psi\rangle\langle\psi| ρ^:=∣ψ⟩⟨ψ∣
有了上面的定义,我们就可以得到:
⟨ F ⟩ = ⟨ ψ ∣ F ^ ∣ ψ ⟩ = Tr ( F ^ ρ ^ ) 其 中 , Tr ( ∗ ) = ∑ n ⟨ n ∣ ∗ ∣ n ⟩ \langle F\rangle=\lang\psi|\hat{F}|\psi\rang=\verb!Tr! (\hat{F}\hat{\rho}) \\ 其中,\verb!Tr! (*) =\sum_n\langle n|*|n\rangle ⟨F⟩=⟨ψ∣F^∣ψ⟩=Tr(F^ρ^)其中,Tr(∗)=n∑⟨n∣∗∣n⟩
Tr表达的是求迹,对矩阵而言就是把对角线上的元素加起来。对于一个一般的算符,就是如上的定义,在任意一组正交完备基上去表达成一个矩阵再求迹。显然,根据波恩诠释,必然满足: Tr ρ ^ = 1 \verb!Tr!\hat{\rho}=1 Trρ^=1. 这个表达式也可以作为密度矩阵的一个重要约束。
密度矩阵及其分解
对于一个态,我们可以用向量去表达它。同理,对于密度算符可以用矩阵表达:
∣ ψ ⟩ = ( a b ) , ρ ^ = ∣ ψ ⟩ ⟨ ψ ∣ = ( ∣ a ∣ 2 a b ∗ b a ∗ ∣ b ∣ 2 ) |\psi\rangle=\begin{pmatrix}a\\b\end{pmatrix}, \hat{\rho}=|\psi\rangle\langle\psi|=\begin{pmatrix}|a|^2&ab^*\\ba^*&|b|^2\end{pmatrix} ∣ψ⟩=(ab),ρ^=∣ψ⟩⟨ψ∣=(∣a∣2ba∗ab∗∣b∣2)
因此,对于一个比特,我们可以用 2 × 2 2\times2 2×2的矩阵表达. 事实上,这样的矩阵总可以表达成泡利矩阵(Pauli Matrix)的线性组合,可以理解为一组完备正交基。其中正交表达为:
Tr ( σ i σ j ) = δ