研究对象:使用量子力学系统能够完成的信息处理任务
基本概念涉及领域:量子力学、计算机科学、信息论和密码体系
危机:经典物理学做出荒谬的预言
解决:量子力学理论创立
量子力学
内容:数学框架或物理理论构建的规则集
特点:规则简单,违背直觉
量子计算与量子信息的目标之一是开发工具以增进对量子力学的直观把握、并使其预言对人们更加通俗易懂
发展:对单量子系统的完全操控的兴趣
初步成就:在几个量子比特上进行几十次操作的小型量子计算机
诞生:图灵机(可编程计算机)
图灵机
发展:
困境:随着电子器件越来越小,其功能会受到量子效应的干扰(摩尔定律最终失效)
解决:采用不同的计算模式——量子计算机相比传统计算机在速度上有本质的超越
”有效“与”非有效“模拟
强丘奇-图灵论题挑战
模拟计算:某些类型的模拟计算机可以有效解地解决在图灵机上没有有效解决方案的问题
在评估计算模型的效率时必须考虑现实噪声的影响(解决:量子纠错码、容错量子计算理论)
随机算法:Solovay-Strassen测试算法利用随机性给出素数合数的概率
解决:修改强丘奇-图灵论题:任何算法都可以用概率图灵机有效模拟
用物理学定律推导出更强的丘奇-图灵论题:定义一种能够有效模拟任意物理系统(基于量子力学原理)的计算设备
证明量子计算机比图灵机和概率图灵机更强大的证据:
费曼:建议建立基于量子力学原理的计算机以克服模拟量子力学系统的困难
设计量子计算机算法的困难:(1)经典直觉阻碍,难以利用量子效应 (2)算法需优于经典算法
诞生:香农发表现代信息与通信理论奠基性论文
关键:在数学上定义信息的概念
信息论基本定理:
量子信息理论
研究方向
量子纠错码理论
思想基础:经典线性编码理论
经典的纠错码思想已被证明在研究和理解量子纠错码上非常重要
目的:保护量子态免受噪声干扰
传输效率
超密编码:通过只将一个量子比特从发送方发送到接受方,来传输两个经典的比特
分布式量子计算:量子计算机可以用比经典计算机指数少的通信量来求解某些问题
挑战:寻找现实中重要且分布式量子计算比经典计算有实质性优势的问题
网络化量子信息论:量子信道网络的信息承载能力
初步成果:两个噪声很大的零容量信道并行运行,在量子力学中,将其中一个零容量信道反向可以获得非零容量的信息传输
主要问题:更好地理解量子信道网路的信息承载特性
内容:涉及彼此不一定信任的两方或多方的通信或计算的问题(最著名的加密学问题:保密通信)
私钥密码系统
工作方式:通信双方共享一个只有他们知道的私钥,Alice利用私钥加密信息并将加密信息发送给Bob,Bob需知道私钥以消除Alice施加的变换
问题:密钥分配(恶意第三方窃听)
解决:量子密钥分发
基本思想:利用观测一般会破坏被观测系统的量子力学原理
操作:丢弃有窃听者出现时建立的密钥位,并重新确定密钥
公钥密码系统
量子纠缠
教会我们以物理的方式对计算进行思考
值得探索的内容丰富的新模型
任何物理理论都可以作为信息处理和通信的基础
学会用计算的方式思考物理学
新的工具可以用来跨越微小和相对复杂的事物之间的鸿沟:计算与算法为构建和理解此类系统提供了系统化的手段
概念:具有某些特定属性的数学对象,用实际的物理系统来实现
状态:
计算基矢态: ∣ 0 ⟩ , ∣ 1 ⟩ \ket{0},\ket{1} ∣0⟩,∣1⟩(正交基)
叠加态: ∣ ψ ⟩ = α ∣ 0 ⟩ + β ∣ 1 ⟩ ( α , β ∈ C , ∣ α ∣ 2 + ∣ β ∣ 2 = 1 ) \ket{\psi}=\alpha\ket{0}+\beta\ket{1}\ (\alpha,\beta\in \mathbb{C},|\alpha|^2+|\beta|^2=1) ∣ψ⟩=α∣0⟩+β∣1⟩ (α,β∈C,∣α∣2+∣β∣2=1)
二维复向量空间中的单位向量(连续状态)
“ ∣ ⟩ \ket{} ∣⟩”:Dirac记号
测量:
例: ∣ + ⟩ = 1 2 ∣ 0 ⟩ + 1 2 ∣ 1 ⟩ ⟶ 测量 { 0 , P = 50 % , 1 , P = 50 % . \ket{+}=\dfrac{1}{\sqrt2}\ket0+\dfrac{1}{\sqrt2}\ket1\overset{测量}{\longrightarrow}\left\{\begin{array}{ll}0,&P=50\%,\\1,&P=50\%.\end{array}\right. ∣+⟩=21∣0⟩+21∣1⟩⟶测量{0,1,P=50%,P=50%.
几何表示:
∣ ψ ⟩ = e i γ ( cos θ 2 ∣ 0 ⟩ + e i φ sin θ 2 ∣ 1 ⟩ ) ∣ ψ ⟩ = cos θ 2 ∣ 0 ⟩ + e i φ sin θ 2 ∣ 1 ⟩ ( θ ∈ [ 0 , π ] , φ ∈ [ 0 , 2 π ] ) \ket{\psi}=e^{i\gamma}(\cos\dfrac{\theta}{2}\ket0+e^{i\varphi}\sin\dfrac{\theta}{2}\ket1)\\ \ket\psi=\cos\dfrac{\theta}{2}\ket0+e^{i\varphi}\sin\dfrac{\theta}{2}\ket1\\ (\theta\in[0,\pi],\varphi\in[0,2\pi]) ∣ψ⟩=eiγ(cos2θ∣0⟩+eiφsin2θ∣1⟩)∣ψ⟩=cos2θ∣0⟩+eiφsin2θ∣1⟩(θ∈[0,π],φ∈[0,2π])
验证:
α = e i γ cos θ 2 , β = e i γ e i φ sin θ 2 ∵ ∣ e i θ ∣ = ∣ cos θ + i sin θ ∣ = 1 ∴ ∣ α ∣ 2 + ∣ β ∣ 2 = ∣ e i γ ∣ 2 cos 2 θ 2 + ∣ e i γ e i φ ∣ 2 sin 2 θ 2 = ∣ e i γ ∣ 2 cos 2 θ 2 + ∣ e i γ ∣ 2 ∣ e i φ ∣ 2 sin 2 θ 2 = cos 2 θ 2 + sin 2 θ 2 = 1 ∴ ∣ e i γ cos θ 2 ∣ 2 = cos 2 θ 2 , ∣ e i γ e i φ sin θ 2 ∣ 2 = sin 2 θ 2 \alpha=e^{i\gamma}\cos\dfrac{\theta}{2},\beta=e^{i\gamma}e^{i\varphi}\sin\dfrac{\theta}{2}\\ \because|e^{i\theta}|=|\cos\theta+i\sin\theta|=1\\ \therefore|\alpha|^2+|\beta|^2=|e^{i\gamma}|^2\cos^2\dfrac{\theta}{2}+|e^{i\gamma}e^{i\varphi}|^2\sin^2\dfrac{\theta}{2}\\ =|e^{i\gamma}|^2\cos^2\dfrac{\theta}{2}+|e^{i\gamma}|^2|e^{i\varphi}|^2\sin^2\dfrac{\theta}{2}\\ =\cos^2\dfrac{\theta}{2}+\sin^2\dfrac{\theta}{2}=1\\ \therefore|e^{i\gamma}\cos\dfrac{\theta}{2}|^2=\cos^2\dfrac{\theta}{2},|e^{i\gamma}e^{i\varphi}\sin\dfrac{\theta}{2}|^2=\sin^2\dfrac{\theta}{2} α=eiγcos2θ,β=eiγeiφsin2θ∵∣eiθ∣=∣cosθ+isinθ∣=1∴∣α∣2+∣β∣2=∣eiγ∣2cos22θ+∣eiγeiφ∣2sin22θ=∣eiγ∣2cos22θ+∣eiγ∣2∣eiφ∣2sin22θ=cos22θ+sin22θ=1∴∣eiγcos2θ∣2=cos22θ,∣eiγeiφsin2θ∣2=sin22θ
( e i γ e^{i\gamma} eiγ可以看作整体相位)
其中 θ , φ \theta,\varphi θ,φ定义了单位三维球(布洛赫球面)上的一个点,如图:
对布洛赫球面的理解1:
事实上,最初我们是将 ∣ ψ ⟩ \ket\psi ∣ψ⟩表为 ∣ 0 ⟩ , ∣ 1 ⟩ \ket0,\ket1 ∣0⟩,∣1⟩的线性组合。考虑到 ∣ α ∣ 2 + ∣ β ∣ 2 = 1 |\alpha|^2+|\beta|^2=1 ∣α∣2+∣β∣2=1的限制并去除整体相位,我们可将其表为
∣ ψ ⟩ = cos θ ∣ 0 ⟩ + e i φ sin θ ∣ 1 ⟩ ( θ ∈ [ 0 , π 2 ] , φ ∈ [ 0 , 2 π ] ) ) \ket\psi=\cos\theta\ket0+e^{i\varphi}\sin\theta\ket1\ (\theta\in[0,\dfrac{\pi}{2}],\varphi\in[0,2\pi])) ∣ψ⟩=cosθ∣0⟩+eiφsinθ∣1⟩ (θ∈[0,2π],φ∈[0,2π]))
这样可以看作是 ∣ 1 ⟩ \ket1 ∣1⟩确定的复平面 x − O − y x-O-y x−O−y与 ∣ 0 ⟩ \ket0 ∣0⟩确定的 z z z轴构成的半球,如左图。但问题在于,由于我们去除了整体相位,所有落在半球大圆上的态与 ∣ 1 ⟩ \ket1 ∣1⟩等价,这样不利于我们建立一一对应关系。为此,我们将其缩为一个点,类似于拉伸操作,将半球面拉成一个完整的球面。
受到拉伸的影响,原先用 θ \theta θ确定的态将由 θ 2 \dfrac{\theta}{2} 2θ来确定。令 θ ′ = 2 θ ∈ [ 0 , π ] \theta'=2\theta\in[0,\pi] θ′=2θ∈[0,π],故最终几何表示为
∣ ψ ⟩ = cos θ ′ 2 ∣ 0 ⟩ + e i φ sin θ ′ 2 ∣ 1 ⟩ ( θ ∈ [ 0 , π ] , φ ∈ [ 0 , 2 π ] ) \ket\psi=\cos\dfrac{\theta'}{2}\ket0+e^{i\varphi}\sin\dfrac{\theta'}{2}\ket1\ (\theta\in[0,\pi],\varphi\in[0,2\pi]) ∣ψ⟩=cos2θ′∣0⟩+eiφsin2θ′∣1⟩ (θ∈[0,π],φ∈[0,2π])
这样便不难理解 ∣ 0 ⟩ , ∣ 1 ⟩ \ket0,\ket1 ∣0⟩,∣1⟩为一组正交基了。
双量子比特
基矢态: ∣ 00 ⟩ , ∣ 01 ⟩ , ∣ 10 ⟩ , ∣ 11 ⟩ \ket{00},\ket{01},\ket{10},\ket{11} ∣00⟩,∣01⟩,∣10⟩,∣11⟩
态向量 ∣ ψ ⟩ = α 00 ∣ 00 ⟩ + α 01 ∣ 01 ⟩ + α 10 ∣ 10 ⟩ + α 11 ∣ 11 ⟩ \ket\psi=\alpha_{00}\ket{00}+\alpha_{01}\ket{01}+\alpha_{10}\ket{10}+\alpha_{11}\ket{11} ∣ψ⟩=α00∣00⟩+α01∣01⟩+α10∣10⟩+α11∣11⟩( α 00 , α 01 , α 10 , α 11 \alpha_{00},\alpha_{01},\alpha_{10},\alpha_{11} α00,α01,α10,α11称为振幅, ∣ 00 ⟩ , ∣ 01 ⟩ , ∣ 10 ⟩ , ∣ 11 ⟩ \ket{00},\ket{01},\ket{10},\ket{11} ∣00⟩,∣01⟩,∣10⟩,∣11⟩称为计算基矢态)
测量:
测量整体: P ( x ( = 00 , 01 , 10 , 11 ) ) = ∣ α x ∣ 2 P(x(=00,01,10,11))=|\alpha_x|^2 P(x(=00,01,10,11))=∣αx∣2,测量后量子比特变为 ∣ x ⟩ \ket x ∣x⟩(归一化: ∑ x ∈ { 0 , 1 } 2 ∣ α x ∣ = 1 \sum\limits_{x\in\{0,1\}^2}|\alpha_x|=1 x∈{0,1}2∑∣αx∣=1)
测量子集(一个量子比特):
以测量第一个量子比特为例, P ( 0 ) = ∣ α 00 ∣ 2 + ∣ α 01 ∣ 2 P(0)=|\alpha_{00}|^2+|\alpha_{01}|^2 P(0)=∣α00∣2+∣α01∣2,测量后量子比特变为 ∣ ψ ′ ⟩ = α 00 ∣ 00 ⟩ + α 01 ∣ 01 ⟩ ∣ α 00 ∣ 2 + ∣ α 01 ∣ 2 \ket{\psi'}=\dfrac{\alpha_{00}\ket{00}+\alpha_{01}\ket{01}}{\sqrt{|\alpha_{00}|^2+|\alpha_{01}|^2}} ∣ψ′⟩=∣α00∣2+∣α01∣2α00∣00⟩+α01∣01⟩,其中 ∣ α 00 ∣ 2 + ∣ α 01 ∣ 2 \sqrt{|\alpha_{00}|^2+|\alpha_{01}|^2} ∣α00∣2+∣α01∣2为归一化因子(使之满足归一化条件)
贝尔态(EPR对)
概念: ∣ 00 ⟩ + ∣ 11 ⟩ 2 \dfrac{\ket{00}+\ket{11}}{\sqrt2} 2∣00⟩+∣11⟩
性质:第二个量子比特的测量结果总与第一个相同(贝尔态测量的相关性比任何经典系统存在的相关性都强)
验证: ∣ 00 ⟩ + ∣ 11 ⟩ 2 ⟶ 测量第一个量子比特 { 0 , P = 50 % → ∣ ψ ′ ⟩ = ∣ 00 ⟩ , 1 , P = 50 % → ∣ ψ ′ ⟩ = ∣ 11 ⟩ . \dfrac{\ket{00}+\ket{11}}{\sqrt2}\overset{测量第一个量子比特}{\longrightarrow}\left\{\begin{array}{lll}0,&P=50\%&\to\ket{\psi'}=\ket{00},\\1,&P=50\%&\to\ket{\psi'}=\ket{11}.\end{array}\right. 2∣00⟩+∣11⟩⟶测量第一个量子比特{0,1,P=50%P=50%→∣ψ′⟩=∣00⟩,→∣ψ′⟩=∣11⟩.
n量子比特系统
概念:描述量子态的变换
量子计算机由量子电路(电路+基本量子门)构造(类似经典计算机连线【信息传送】+逻辑门【操控信息】)
性质
线性性(非线性行为将导致悖论)
可由 2 × 2 2\times2 2×2矩阵 U U U给出(将 ∣ 0 ⟩ \ket0 ∣0⟩态变成矩阵第一列对应的状态,将 ∣ 1 ⟩ \ket1 ∣1⟩态变成矩阵第二列对应的状态)
验证:记 X = ( x i j ) 2 × 2 , ∣ ψ ⟩ = a 0 ∣ 0 ⟩ + a 1 ∣ 1 ⟩ X=(x_{ij})_{2\times2},\ket\psi=a_0\ket0+a_1\ket1 X=(xij)2×2,∣ψ⟩=a0∣0⟩+a1∣1⟩
[ x 11 x 12 x 21 x 22 ] [ a 0 a 1 ] = [ a 0 x 11 + a 1 x 12 a 0 x 21 + a 1 x 22 ] = [ a 0 x 11 a 0 x 21 ] + [ a 1 x 12 a 1 x 22 ] \begin{bmatrix} x_{11}&x_{12}\\ x_{21}&x_{22} \end{bmatrix} \begin{bmatrix} a_0\\ a_1 \end{bmatrix}= \begin{bmatrix} a_0x_{11}+a_1x_{12}\\ a_0x_{21}+a_1x_{22} \end{bmatrix}= \begin{bmatrix} a_0x_{11}\\ a_0x_{21} \end{bmatrix}+ \begin{bmatrix} a_1x_{12}\\ a_1x_{22} \end{bmatrix} [x11x21x12x22][a0a1]=[a0x11+a1x12a0x21+a1x22]=[a0x11a0x21]+[a1x12a1x22]
可以看到, ∣ 0 ⟩ \ket0 ∣0⟩前的系数 a 0 a_0 a0与 X . 1 = [ x 11 x 21 ] X_{.1}=\begin{bmatrix}x_{11}\\x_{21}\end{bmatrix} X.1=[x11x21]结合,而 ∣ 1 ⟩ \ket1 ∣1⟩前的系数 a 1 a_1 a1与 X . 2 = [ x 12 x 22 ] X_{.2}=\begin{bmatrix}x_{12}\\x_{22}\end{bmatrix} X.2=[x12x22]结合
矩阵 U U U需满足酉性条件 U † U = I U^\dagger U=I U†U=I(其中 U † U^\dagger U†为 U U U的共轭转置 U T ‾ \overline{U^T} UT)(量子门作用后仍需满足归一化要求)
酉性限制是量子们的唯一限制,任何酉矩阵都可以定义一个有效的量子门
量子门种类无穷,但任意量子比特上的任何量子计算,都可以用一组通用的有限个门构成的集合生成
结论:任何单量子比特酉门都可以分解成一个旋转和一个可以理解为绕 z ^ \hat z z^旋转的门再加上一个全局相移
可以证明任何 2 × 2 2\times2 2×2酉矩阵可以分解为
U = e i α [ e − i β / 2 0 0 e i β / 2 ] [ cos γ 2 − sin γ 2 sin γ 2 cos γ 2 ] [ e − i δ / 2 0 0 e i δ / 2 ] ( α , β , γ , δ ∈ R ) U=e^{i\alpha} \begin{bmatrix} e^{-i\beta/2}&0\\ 0&e^{i\beta/2} \end{bmatrix} \begin{bmatrix} \cos\frac{\gamma}{2}&-\sin\frac{\gamma}{2}\\ \sin\frac{\gamma}{2}&\cos\frac{\gamma}{2} \end{bmatrix} \begin{bmatrix} e^{-i\delta/2}&0\\ 0&e^{i\delta/2} \end{bmatrix}\ (\alpha,\beta,\gamma,\delta\in \R) U=eiα[e−iβ/200eiβ/2][cos2γsin2γ−sin2γcos2γ][e−iδ/200eiδ/2] (α,β,γ,δ∈R)
进一步分解,无需实现任意的 α , β , γ \alpha,\beta,\gamma α,β,γ,只需用一些特定的 α , β , γ \alpha,\beta,\gamma α,β,γ来无限逼近任意的门
量子非门
Z门
阿达玛门
作用: ∣ 0 ⟩ → ∣ 0 ⟩ + ∣ 1 ⟩ 2 , ∣ 1 ⟩ → ∣ 0 ⟩ − ∣ 1 ⟩ 2 \ket0\to\dfrac{\ket0+\ket1}{\sqrt2},\ket1\to\dfrac{\ket0-\ket1}{\sqrt2} ∣0⟩→2∣0⟩+∣1⟩,∣1⟩→2∣0⟩−∣1⟩
矩阵表示: H ≡ 1 2 [ 1 1 1 − 1 ] H\equiv\dfrac{1}{\sqrt2}\begin{bmatrix}1&1\\1&-1\end{bmatrix} H≡21[111−1]
几何意义:(以 ∣ ψ ⟩ = ∣ 0 ⟩ + ∣ 1 ⟩ 2 \ket\psi=\dfrac{\ket0+\ket1}{\sqrt2} ∣ψ⟩=2∣0⟩+∣1⟩为例, ∵ H 2 = E ∴ H ∣ ψ ⟩ = H 2 ∣ 0 ⟩ = ∣ 0 ⟩ \because H^2=E\therefore H\ket\psi=H^2\ket0=\ket0 ∵H2=E∴H∣ψ⟩=H2∣0⟩=∣0⟩)
电路表示:
受控非门
概念:控制量子比特、目标量子比特
作用:
控制量子比特为0,则目标量子比特不变;控制量子比特为1,则目标量子比特翻转:
∣ 00 ⟩ → ∣ 00 ⟩ , ∣ 01 ⟩ → ∣ 01 ⟩ , ∣ 10 ⟩ → ∣ 11 ⟩ , ∣ 11 ⟩ → ∣ 10 ⟩ \ket{00}\to\ket{00},\ket{01}\to\ket{01},\ket{10}\to\ket{11},\ket{11}\to\ket{10} ∣00⟩→∣00⟩,∣01⟩→∣01⟩,∣10⟩→∣11⟩,∣11⟩→∣10⟩
或视作经典异或门的拓展: ∣ A , B ⟩ → ∣ A , B ⊕ A ⟩ \ket{A,B}\to\ket{A,B\oplus A} ∣A,B⟩→∣A,B⊕A⟩(控制量子比特与目标量子比特做异或运算,并存储到目标量子比特上)
经典门无法被视作酉门:异或门、与非门本质上不可逆(由 A ⊕ B A\oplus B A⊕B的输出无法确定输入 A , B A,B A,B,存在信息的损失),而酉量子门总是可逆的
矩阵表示: U C N = [ 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 ] U_{CN}=\begin{bmatrix}1&0&0&0\\0&1&0&0\\0&0&0&1\\0&0&1&0\end{bmatrix} UCN= 1000010000010010 ,易知 U C N † U C N = I U_{CN}^\dagger U_{CN}=I UCN†UCN=I
对矩阵的理解:
根据矩阵的定义(线性映射基上取值在到达空间基下的坐标),我们可以将矩阵视作一个“处理器”,如图:其中矩阵的上方为输入段,左方为输出端。我们将出发空间的向量坐标排布在对应的基的上方,则每一个坐标与下方的列向量相乘得到的列向量为这个分量上的输出,将所有输出叠加起来即为矩阵作用后的结果。
按照这样的理解,我们完全可以将矩阵作用在向量上视作如下的“电路”:
回到量子门的矩阵表示上,我们便不难理解矩阵的每一列分别描述了对应的计算基矢态的变换,具体而言,第n列描述的是n的二进制分解对应的计算基矢态的变换。
电路表示:
结论:任何多量子比特逻辑门可以由受控非门和单量子门组成(与非门通用性的量子对应)
条件: ∣ a ⟩ , ∣ b ⟩ \ket a,\ket b ∣a⟩,∣b⟩正交(满足概率限制 ∣ α ∣ 2 + ∣ β ∣ 2 = 1 |\alpha|^2+|\beta|^2=1 ∣α∣2+∣β∣2=1)
结果: ∣ ψ ⟩ = α ∣ a ⟩ + β ∣ b ⟩ ⟶ 在 { ∣ a ⟩ , ∣ b ⟩ } 下测量 { a , P = ∣ α ∣ 2 → ∣ ψ ′ ⟩ = ∣ a ⟩ , b , P = ∣ β ∣ 2 → ∣ ψ ′ ⟩ = ∣ b ⟩ . \ket\psi=\alpha\ket a+\beta\ket b\overset{在\{\ket a,\ket b\}下测量}{\longrightarrow}\left\{\begin{array}{lll}a,&P=|\alpha|^2&\to\ket{\psi'}=\ket a,\\b,&P=|\beta|^2&\to\ket{\psi'}=\ket b.\end{array}\right. ∣ψ⟩=α∣a⟩+β∣b⟩⟶在{∣a⟩,∣b⟩}下测量{a,b,P=∣α∣2P=∣β∣2→∣ψ′⟩=∣a⟩,→∣ψ′⟩=∣b⟩.
应用:用于观测结果的描述
在 { ∣ + ⟩ , ∣ − ⟩ } \{\ket+,\ket-\} {∣+⟩,∣−⟩}下测量
∣ + ⟩ ≡ ∣ 0 ⟩ + ∣ 1 ⟩ 2 , ∣ − ⟩ ≡ ∣ 0 ⟩ − ∣ 1 ⟩ 2 \ket+\equiv\dfrac{\ket0+\ket1}{\sqrt2},\ket-\equiv\dfrac{\ket0-\ket1}{\sqrt2} ∣+⟩≡2∣0⟩+∣1⟩,∣−⟩≡2∣0⟩−∣1⟩
∣ ψ ⟩ = α ∣ 0 ⟩ + β ∣ 1 ⟩ = α ∣ + ⟩ + ∣ − ⟩ 2 + β ∣ + ⟩ − ∣ − ⟩ 2 = α + β 2 ∣ + ⟩ + α − β 2 ∣ − ⟩ \ket\psi=\alpha\ket0+\beta\ket1=\alpha\dfrac{\ket++\ket-}{\sqrt2}+\beta\dfrac{\ket+-\ket-}{\sqrt2}\\ =\dfrac{\alpha+\beta}{\sqrt2}\ket++\dfrac{\alpha-\beta}{\sqrt2}\ket- ∣ψ⟩=α∣0⟩+β∣1⟩=α2∣+⟩+∣−⟩+β2∣+⟩−∣−⟩=2α+β∣+⟩+2α−β∣−⟩
{ + , P = ∣ α + β ∣ 2 2 → ∣ ψ ′ ⟩ = ∣ + ⟩ , − , P = ∣ α − β ∣ 2 2 → ∣ ψ ′ ⟩ = ∣ − ⟩ . \left\{\begin{array}{lll}+,&P=\dfrac{|\alpha+\beta|^2}{2}&\to\ket{\psi'}=\ket+, \\-,&P=\dfrac{|\alpha-\beta|^2}{2}&\to\ket{\psi'}=\ket-.\end{array}\right. ⎩ ⎨ ⎧+,−,P=2∣α+β∣2P=2∣α−β∣2→∣ψ′⟩=∣+⟩,→∣ψ′⟩=∣−⟩.
读法
特征
受控U门
概念:单量子比特控制位,n量子比特目标位
作用:控制位为0时不变,控制位为1时门U作用在目标量子比特上
电路表示:
特例:U=X时为受控非门(原型)
测量
∀ \forall ∀计算基 ∣ a , b ⟩ \ket{a,b} ∣a,b⟩:
∣ a , b ⟩ → ∣ a , a ⊕ b ⟩ → ∣ a ⊕ ( a ⊕ b ) , a ⊕ b ⟩ = ∣ b , a ⊕ b ⟩ ( a ⊕ a = 0 ) → ∣ b , ( a ⊕ b ) ⊕ b ⟩ = ∣ b , a ⟩ \begin{array}{ll} \ket{a,b}&\to\ket{a,a\oplus b}\\ &\to\ket{a\oplus(a\oplus b),a\oplus b}=\ket{b,a\oplus b}\ (a\oplus a=0)\\ &\to\ket{b,(a\oplus b)\oplus b}=\ket{b,a} \end{array} ∣a,b⟩→∣a,a⊕b⟩→∣a⊕(a⊕b),a⊕b⟩=∣b,a⊕b⟩ (a⊕a=0)→∣b,(a⊕b)⊕b⟩=∣b,a⟩
对上式的理解:
- 相当于变量x,y位运算交换(x^=y^=x^=y)的量子版本
- 设原先的两个量子比特 ∣ ψ 1 ⟩ = α 1 ∣ a ⟩ + β 1 ∣ b ⟩ , ∣ ψ 2 ⟩ = α 2 ∣ a ⟩ + β 2 ∣ b ⟩ \ket{\psi_1}=\alpha_1\ket a+\beta_1\ket b,\ket{\psi_2}=\alpha_2\ket a+\beta_2\ket b ∣ψ1⟩=α1∣a⟩+β1∣b⟩,∣ψ2⟩=α2∣a⟩+β2∣b⟩,则 ∣ ψ 1 ⟩ ∣ ψ 2 ⟩ = α 1 α 2 ∣ a , a ⟩ + α 1 β 2 ∣ a , b ⟩ + α 2 β 1 ∣ b , a ⟩ + β 1 β 2 ∣ b , b ⟩ \ket{\psi_1}\ket{\psi_2}=\alpha_1\alpha_2\ket{a,a}+\alpha_1\beta_2\ket{a,b}+\alpha_2\beta_1\ket{b,a}+\beta_1\beta_2\ket{b,b} ∣ψ1⟩∣ψ2⟩=α1α2∣a,a⟩+α1β2∣a,b⟩+α2β1∣b,a⟩+β1β2∣b,b⟩经过上述电路作用后,所有计算基交换,变为 α 1 α 2 ∣ a , a ⟩ + α 1 β 2 ∣ b , a ⟩ + α 2 β 1 ∣ a , b ⟩ + β 1 β 2 ∣ b , b ⟩ = ( α 2 ∣ a ⟩ + β 2 ∣ b ⟩ ) ( α 1 ∣ a ⟩ + β 1 ∣ b ⟩ ) = ∣ ψ 2 ⟩ ∣ ψ 1 ⟩ \alpha_1\alpha_2\ket{a,a}+\alpha_1\beta_2\ket{b,a}+\alpha_2\beta_1\ket{a,b}+\beta_1\beta_2\ket{b,b}=(\alpha_2\ket a+\beta_2\ket b)(\alpha_1\ket a+\beta_1\ket b)=\ket{\psi_2}\ket{\psi_1} α1α2∣a,a⟩+α1β2∣b,a⟩+α2β1∣a,b⟩+β1β2∣b,b⟩=(α2∣a⟩+β2∣b⟩)(α1∣a⟩+β1∣b⟩)=∣ψ2⟩∣ψ1⟩,即实现了量子态的交换
∣ ψ ⟩ ∣ 0 ⟩ = [ a ∣ 0 ⟩ + b ∣ 1 ⟩ ] ∣ 0 ⟩ = a ∣ 00 ⟩ + b ∣ 10 ⟩ → a ∣ 00 ⟩ + b ∣ 11 ⟩ ∣ ψ ⟩ ∣ ψ ⟩ = a 2 ∣ 00 ⟩ + a b ∣ 01 ⟩ + a b ∣ 10 ⟩ + b 2 ∣ 11 ⟩ ∣ ψ ⟩ ∣ 0 ⟩ = ∣ ψ ⟩ ∣ ψ ⟩ ⇒ a b = 0 \ket\psi\ket0=[a\ket0+b\ket1]\ket0=a\ket{00}+b\ket{10}\to a\ket{00}+b\ket{11}\\ \ket\psi\ket\psi=a^2\ket{00}+ab\ket{01}+ab\ket{10}+b^2\ket{11}\\ \ket\psi\ket0=\ket\psi\ket\psi\Rightarrow ab=0 ∣ψ⟩∣0⟩=[a∣0⟩+b∣1⟩]∣0⟩=a∣00⟩+b∣10⟩→a∣00⟩+b∣11⟩∣ψ⟩∣ψ⟩=a2∣00⟩+ab∣01⟩+ab∣10⟩+b2∣11⟩∣ψ⟩∣0⟩=∣ψ⟩∣ψ⟩⇒ab=0
所以仅 ∣ ψ ⟩ = ∣ 0 ⟩ , ∣ ψ ⟩ = ∣ 1 ⟩ \ket\psi=\ket0,\ket\psi=\ket1 ∣ψ⟩=∣0⟩,∣ψ⟩=∣1⟩(经典信息)能够复制,一般量子态不能被复制(不可克隆定理)。
从隐藏信息的角度理解:
测量任意量子比特复制a|00>+b|11>丢失隐藏信息保留隐藏信息一旦一个量子比特被测量,量子态的另一个量子比特也被确定,隐藏信息丢失;但如果量子比特已被复制,测量后该量子态的另一个量子比特仍然包含着隐藏信息,矛盾。故量子态不能被复制
记 ∣ x y ⟩ → ∣ β x y ⟩ \ket{xy}\to\ket{\beta_{xy}} ∣xy⟩→∣βxy⟩:
∣ 00 ⟩ → ∣ 0 ⟩ + ∣ 1 ⟩ 2 ∣ 0 ⟩ = ∣ 00 ⟩ + ∣ 10 ⟩ 2 → ∣ 00 ⟩ + ∣ 11 ⟩ 2 ∣ β 00 ⟩ = ∣ 00 ⟩ + ∣ 11 ⟩ 2 ∣ 01 ⟩ → ∣ 0 ⟩ + ∣ 1 ⟩ 2 ∣ 1 ⟩ = ∣ 01 ⟩ + ∣ 11 ⟩ 2 → ∣ 01 ⟩ + ∣ 10 ⟩ 2 ∣ β 01 ⟩ = ∣ 01 ⟩ + ∣ 10 ⟩ 2 ∣ 10 ⟩ → ∣ 0 ⟩ − ∣ 1 ⟩ 2 ∣ 0 ⟩ = ∣ 00 ⟩ − ∣ 10 ⟩ 2 → ∣ 00 ⟩ − ∣ 11 ⟩ 2 ∣ β 10 ⟩ = ∣ 00 ⟩ − ∣ 11 ⟩ 2 ∣ 11 ⟩ → ∣ 0 ⟩ − ∣ 1 ⟩ 2 ∣ 1 ⟩ = ∣ 01 ⟩ − ∣ 11 ⟩ 2 → ∣ 01 ⟩ − ∣ 10 ⟩ 2 ∣ β 11 ⟩ = ∣ 01 ⟩ − ∣ 10 ⟩ 2 \begin{array}{ll} \ket{00}\to\dfrac{\ket0+\ket1}{\sqrt2}\ket0=\dfrac{\ket{00}+\ket{10}}{\sqrt2}\to\dfrac{\ket{00}+\ket{11}}{\sqrt2}&\ket{\beta_{00}}=\dfrac{\ket{00}+\ket{11}}{\sqrt2}\\ \ket{01}\to\dfrac{\ket0+\ket1}{\sqrt2}\ket1=\dfrac{\ket{01}+\ket{11}}{\sqrt2}\to\dfrac{\ket{01}+\ket{10}}{\sqrt2}&\ket{\beta_{01}}=\dfrac{\ket{01}+\ket{10}}{\sqrt2}\\ \ket{10}\to\dfrac{\ket0-\ket1}{\sqrt2}\ket0=\dfrac{\ket{00}-\ket{10}}{\sqrt2}\to\dfrac{\ket{00}-\ket{11}}{\sqrt2}&\ket{\beta_{10}}=\dfrac{\ket{00}-\ket{11}}{\sqrt2}\\ \ket{11}\to\dfrac{\ket0-\ket1}{\sqrt2}\ket1=\dfrac{\ket{01}-\ket{11}}{\sqrt2}\to\dfrac{\ket{01}-\ket{10}}{\sqrt2}&\ket{\beta_{11}}=\dfrac{\ket{01}-\ket{10}}{\sqrt2} \end{array} ∣00⟩→2∣0⟩+∣1⟩∣0⟩=2∣00⟩+∣10⟩→2∣00⟩+∣11⟩∣01⟩→2∣0⟩+∣1⟩∣1⟩=2∣01⟩+∣11⟩→2∣01⟩+∣10⟩∣10⟩→2∣0⟩−∣1⟩∣0⟩=2∣00⟩−∣10⟩→2∣00⟩−∣11⟩∣11⟩→2∣0⟩−∣1⟩∣1⟩=2∣01⟩−∣11⟩→2∣01⟩−∣10⟩∣β00⟩=2∣00⟩+∣11⟩∣β01⟩=2∣01⟩+∣10⟩∣β10⟩=2∣00⟩−∣11⟩∣β11⟩=2∣01⟩−∣10⟩
其中 ∣ β x y ⟩ \ket{\beta_{xy}} ∣βxy⟩被称为贝尔态(EPR态/EPR对).
记忆: ∣ β x , y ⟩ ≡ ∣ 0 , y ⟩ + ( − 1 ) x ∣ 1 , y ˉ ⟩ 2 \ket{\beta_{x,y}}\equiv\dfrac{\ket{0,y}+(-1)^x\ket{1,\bar y}}{\sqrt2} ∣βx,y⟩≡2∣0,y⟩+(−1)x∣1,yˉ⟩
概念:在发送方和接收方之间没有量子通信信道连接的情况下,进行量子态的传输
任务:利用双方各持有的EPR对中的一个量子比特,传递一个单量子比特 ∣ ψ ⟩ \ket\psi ∣ψ⟩
上方两条连线为Alice系统,持有EPR对中的一个以及待传输量子比特 ∣ ψ ⟩ \ket\psi ∣ψ⟩,下方连线为Bob系统,持有EPR对的另一个
传输对象: ∣ ψ ⟩ = α ∣ 0 ⟩ + β ∣ 1 ⟩ \ket\psi=\alpha\ket0+\beta\ket1 ∣ψ⟩=α∣0⟩+β∣1⟩( α , β \alpha,\beta α,β未知)
输入态 ∣ ψ 0 ⟩ = ∣ ψ ⟩ ∣ β 00 ⟩ = 1 2 [ α ∣ 0 ⟩ ( ∣ 00 ⟩ + ∣ 11 ⟩ ) + β ∣ 1 ⟩ ( ∣ 00 ⟩ + ∣ 11 ⟩ ) ] \ket{\psi_0}=\ket\psi\ket{\beta_{00}}=\dfrac{1}{\sqrt2}[\alpha\ket0(\ket{00}+\ket{11})+\beta\ket1(\ket{00}+\ket{11})] ∣ψ0⟩=∣ψ⟩∣β00⟩=21[α∣0⟩(∣00⟩+∣11⟩)+β∣1⟩(∣00⟩+∣11⟩)]
Alice将她的态传入受控非门,得 ∣ ψ 1 ⟩ = 1 2 [ α ∣ 0 ⟩ ( ∣ 00 ⟩ + ∣ 11 ⟩ ) + β ∣ 1 ⟩ ( ∣ 10 ⟩ + ∣ 01 ⟩ ) ] \ket{\psi_1}=\dfrac{1}{\sqrt2}[\alpha\ket0(\ket{00}+\ket{11})+\beta\ket1(\ket{10}+\ket{01})] ∣ψ1⟩=21[α∣0⟩(∣00⟩+∣11⟩)+β∣1⟩(∣10⟩+∣01⟩)]
她随即将第一个量子比特送入阿达玛门,得 ∣ ψ 2 ⟩ = 1 2 [ α ( ∣ 0 ⟩ + ∣ 1 ⟩ ) ( ∣ 00 ⟩ + ∣ 11 ⟩ ) + β ( ∣ 0 ⟩ − ∣ 1 ⟩ ) ( ∣ 10 ⟩ + ∣ 01 ⟩ ) ] \ket{\psi_2}=\dfrac{1}{2}[\alpha(\ket0+\ket1)(\ket{00}+\ket{11})+\beta(\ket0-\ket1)(\ket{10}+\ket{01})] ∣ψ2⟩=21[α(∣0⟩+∣1⟩)(∣00⟩+∣11⟩)+β(∣0⟩−∣1⟩)(∣10⟩+∣01⟩)]
整理得:(将Alice的两个量子比特提出,便于测量)
∣ ψ 2 ⟩ = 1 2 [ ∣ 00 ⟩ ( α ∣ 0 ⟩ + β ∣ 1 ⟩ ) + ∣ 01 ⟩ ( α ∣ 1 ⟩ + β ∣ 0 ⟩ ) + ∣ 10 ⟩ ( α ∣ 0 ⟩ − β ∣ 1 ⟩ ) + ∣ 11 ⟩ ( α ∣ 1 ⟩ − β ∣ 0 ⟩ ) ] \ket{\psi_2}=\dfrac{1}{2}[\ket{00}(\alpha\ket0+\beta\ket1)+\ket{01}(\alpha\ket1+\beta\ket0)+\ket{10}(\alpha\ket0-\beta\ket1)+\ket{11}(\alpha\ket1-\beta\ket0)] ∣ψ2⟩=21[∣00⟩(α∣0⟩+β∣1⟩)+∣01⟩(α∣1⟩+β∣0⟩)+∣10⟩(α∣0⟩−β∣1⟩)+∣11⟩(α∣1⟩−β∣0⟩)]
随后得到测量结果,在给定测量结果 x y xy xy的情况下,我们可以读出Bob在此次测量后的状态 ∣ ψ 3 ( x y ) ⟩ \ket{\psi_3(xy)} ∣ψ3(xy)⟩:
00 ↦ ∣ ψ 3 ( 00 ) ⟩ ≡ α ∣ 0 ⟩ + β ∣ 1 ⟩ 01 ↦ ∣ ψ 3 ( 01 ) ⟩ ≡ α ∣ 1 ⟩ + β ∣ 0 ⟩ 10 ↦ ∣ ψ 3 ( 10 ) ⟩ ≡ α ∣ 0 ⟩ − β ∣ 1 ⟩ 11 ↦ ∣ ψ 3 ( 11 ) ⟩ ≡ α ∣ 1 ⟩ − β ∣ 0 ⟩ 00\mapsto\ket{\psi_3(00)}\equiv\alpha\ket0+\beta\ket1\\ 01\mapsto\ket{\psi_3(01)}\equiv\alpha\ket1+\beta\ket0\\ 10\mapsto\ket{\psi_3(10)}\equiv\alpha\ket0-\beta\ket1\\ 11\mapsto\ket{\psi_3(11)}\equiv\alpha\ket1-\beta\ket0 00↦∣ψ3(00)⟩≡α∣0⟩+β∣1⟩01↦∣ψ3(01)⟩≡α∣1⟩+β∣0⟩10↦∣ψ3(10)⟩≡α∣0⟩−β∣1⟩11↦∣ψ3(11)⟩≡α∣1⟩−β∣0⟩
Bob根据Alice告知的测量结果对他的态进行修正(测量结果第二位为1时需交换 ∣ 0 ⟩ , ∣ 1 ⟩ \ket0,\ket1 ∣0⟩,∣1⟩(X门),在此基础上,第一位为1时需改变 ∣ 1 ⟩ \ket1 ∣1⟩符号(Z门)): ∣ ψ 4 ⟩ = Z M 1 X M 2 ∣ ψ 3 ⟩ \ket{\psi_4}=Z^{M_1}X^{M_2}\ket{\psi_3} ∣ψ4⟩=ZM1XM2∣ψ3⟩
电路图代表时间顺序,而矩阵乘法顺序与之相反
特性:
意义:强调了量子力学中不同资源的互换性:一个共享EPR+2经典量子比特 ⟶ 构成 \overset{构成}{\longrightarrow} ⟶构成至少等于一个量子比特通信的资源
下文传送门:
https://blog.csdn.net/qq_37638320/article/details/129971704