在双粒子体系中,两个电子的自旋可以用张量积空间.两个电子自旋态的张量积在a中四维向量空间,基向量标记为:
∣↑⟩⊗∣↑⟩,∣↑⟩⊗∣↓⟩,∣↓⟩⊗∣↑⟩,∣↓⟩⊗∣↓⟩.
两个态的张量积
∣x⟩而且
∣y⟩遵守以下规则:
1)缩放张量积等价于缩放任一状态:
c(∣x⟩⊗∣y⟩)=(c∣x⟩)⊗∣y⟩=∣x⟩⊗(c∣y⟩).
2)张量积在第一和第二槽都是分布的:
∣x⟩⊗(∣y1⟩+∣y2⟩)=∣x⟩⊗∣y1⟩+∣x⟩⊗∣y2⟩(∣x1⟩+∣x2⟩)⊗∣y⟩=∣x1⟩⊗∣y⟩+∣x2⟩⊗∣y⟩
双自旋系统的任意张量积态可以在四维基下表示为:
∣Ψ⟩=c11∣↑⟩⊗∣↑⟩+c12∣↑⟩⊗∣↓⟩+c21∣↓⟩⊗∣↑⟩+c22∣↓⟩⊗∣↓⟩.
2
1∣↑↑⟩
2
1(∣↑↑⟩+∣↓↑⟩)
2
1∣↑↓⟩
2
1(∣↑↑⟩+∣↑↓⟩)
两个自旋态由
∣Ψ1⟩=∣↑⟩而且
∣Ψ2⟩=2
1(∣↑⟩+∣↓⟩).
哪个能给出正确的张量积态
∣Ψ1⟩⊗∣Ψ2⟩?
请注意:符号
∣↑↓⟩=∣↑⟩⊗∣↓⟩是自旋态张量积的常用缩写。
这种表示法表明,用矩阵表示双自旋状态更方便,类似于单自旋状态的向量表示:
∣Ψ⟩=(c11c21c12c22).
要对双自旋系统进行测量,需要指定作用于每个独立空间上的算子。例如,要测量第一个粒子的自旋,使用写为的运算符
年代^z⊗我,它测量第一个粒子在z方向上的自旋,并作用于第二个空间作为恒等式。为了同时测量两个粒子在z方向上的自旋,使用
年代^z⊗年代^z等等。
定义了这个符号之后,现在就有可能提出一个明确的纠缠的数学标准,这对于证明量子信息理论中的事物是有用的。
双电子自旋态是A产品状态如果它可以写成两个独立的单自旋态的张量积。
有些状态显然是产物状态:
∣↑⟩⊗∣↓⟩,例如,显然是的产物
∣↑⟩而且
∣↓⟩.因此,这种状态可以被描述为,只需要把每个独立的单自旋状态独立,而忽略另一个。一个国家,比如
∣↑⟩⊗∣↓⟩+∣↓⟩⊗∣↑⟩,但显然不是产物状态。然而,并不是所有的情况都如此明显,这就是为什么制定一个精确的数学标准是重要的。
上面的直觉提示了纠缠的定义:
双电子自旋态是纠缠如果不是积态,即如果用矩阵表示
米不满足的状态
依据米=0.
对于多于两个电子的状态,这个条件实际上太强了——如果
依据米=0,然后所有电子的自旋是纠缠的。但只要有两个电子在多粒子态中被纠缠,整个态就被认为是纠缠态了。对于一般的多粒子状态,更准确的条件是
排名米≥2,因为这等价于二维子空间中的纠缠。注意,这个条件简化为
依据米=0对于双电子自旋态。
挑战问题:证明上述纠缠的决定条件
是以下状态
∣Ψ⟩纠缠?
∣Ψ⟩=2
1(∣↓↓⟩+∣↓↑⟩).
请注意:符号
∣↑↓⟩=∣↑⟩⊗∣↓⟩是自旋态张量积的常用缩写。
∣Ψ⟩=5
1∣↑↑⟩+5
2
∣↓↑⟩−5
2
∣↓↓⟩
是状态
∣Ψ⟩上面纠缠?
请注意:符号
∣↑↓⟩=∣↑⟩⊗∣↓⟩是自旋态张量积的常用缩写。
这种纠缠定义的原因如上所述。如果两个自旋态可以写成积态,就好像每个自旋都是独立的。对每一个旋转的测量都不影响其他旋转。但如果一个双自旋态是纠缠态,这个态不是积态的事实意味着在一个空间中坍缩到一个特征向量也会导致在另一个空间中坍缩。因此,无论另一个电子的空间位置如何,对一个自旋的测量都会通过影响对另一个自旋的可能测量来立即影响任何纠缠自旋!然而,值得注意的是,这并没有违反狭义相对论:信息不能通过纠缠比光速还快;纠缠的影响只能在两个观察者见面比较自旋测量后才能看到。
考虑以下给出的纠缠态:
∣ΨE⟩=2
1(∣↑⟩⊗∣↓⟩−∣↓⟩⊗∣↑⟩),
而非纠缠态由
∣ΨN⟩=2
1(∣↑⟩⊗∣↑⟩+∣↑⟩⊗∣↓⟩).
证明测量第一个粒子的自旋
∣ΨE⟩影响在每种可能状态下找到第二个粒子的概率,而相同的测量为
∣ΨN⟩不影响结果。
解决方案:
对于纠缠态,在测量之前,第二个粒子有相同的机会处于自旋向上或自旋向下的状态。在用算子测量了第一个粒子的自旋之后
年代^z⊗我,如果第一个电子处于自旋向上的状态,
∣ΨE⟩崩溃,
∣↑⟩⊗∣↓⟩第二个电子必须处于自旋向下状态。如果第一个电子处于自旋向下的状态,则相反;因此,第一个电子的状态的测量已经影响了整个系统的状态。
对于非纠缠态,找到自旋向上态的第一个粒子的概率是1。测量后,状态没有改变,第二个粒子仍然处于两个自旋状态的相等叠加状态。注意,也存在非纠缠态,测量第一个粒子会改变整个自旋波函数,而不改变第二个粒子的状态。