2.1 量子力学基础理论¶
2.1.1 量子系统¶
对于一个非物理专业的人而言,量子力学概念晦涩难懂。鉴于此,本章节仅介绍量子力学的一些基础概念加之部分数学的相关知识,甚至不涉及薛定谔方程,就足够开始量子计算机的应用。这如同不需去了解CPU的工作原理以及经典计算机的组成原理,但仍能在日常生活中使用经典计算机或者编写经典程序一样。
在本章里,彻底抛却数学公式,纯粹去介绍宽泛的概念,目的仅仅想让读者都能了解这个问题——“量子究竟是什么”。
如果不想被量子的诡异事实所颠覆,并且对于线性代数很有把握的话,那么可以直接过渡到本教材的后面章节开始学习。
量子化 Quantization与量子态 Quantum State
简而言之,量子态就是一个微观粒子的状态。
描述一个粒子的状态时,总要找一些能够用来区分微观粒子的属性。如图2.1.1,在宏观世界中,假设一个人在一栋楼中活动,如果他在一层,就称处于”1态”;在二层,就称处于“2态”;在地下一层,就称处于“-1 态”。微观粒子也有这样的属性,比如它的位置。
图2.1.1 一个人在一栋楼中活动
但是假设这个人正在上楼梯,进入到一个模糊的状态,这样就不太容易区分到底是在“1态”还是“2态”,此时就需要找一些客观存在的参数去描述这一方面的属性,比如所处的海拔。通常,在日常生活中,这些描述都是连续的,因为这些参数会被分割成更小的部分。
然而,无限分割下去,直到不得不靠“几个原子”这种单位去描述物体的长度时,量子效应就出场了。薛定谔方程告诉人们,一定会遇到不可分割的最小单位,这种最小单位,统称为量子;这种现象,被称为量子化。这是量子的第一个特性。
量子化的属性有很多种,但在此优先考虑一种——能量。经过长期探索得知,原子的光谱只会有几个峰值,而不是连续的谱线,这代表了原子内电子的能量只会出现几种情况,电子不可能具有几种情况之外的中间值,这就是能量的量子化。每一种能量,被称之为一个“能级”。
同样以一栋楼为例,在微观的世界里面,一栋楼的楼梯被拆掉了,这使得微观粒子要么在一楼,要么在二楼,仅存在于整数的楼层,但是,这不代表微观粒子就失去了上下楼的机会。这里就是量子的第二个特性——跃迁。
当一个原子中的电子获得了来自原子外的能量时,它就有可能克服能级之间能量的差距,跳跃到另外一个态上面,并且这个电子也可以将自己的能量释放出来,跳跃到能量较低的能级上面。当然,能级本身是稳定的,不管怎么跃迁,电子的能量都只能处在这几个能级上,这是原则。
最后,回顾下什么是量子态呢?你可以想象一下电子处在不同的能级(类似宏观世界的楼层)上面,给这些楼层命名称之 \(|1F\rangle\) , \(|2F\rangle\) , \(|3F\rangle\) ……,电子处于不同的能级就说明它处在不同的量子态,这样就可以区分出来不同的量子态。如果能想象到此种情形,那就已经明白了什么是量子态了。
量子叠加性 Quantum Superposition
如果仅仅是把能级建成大楼,然后把大楼的楼梯、电梯全拆掉,(并且不追问原因)这件事情倒也不难理解,然而剩余部分,就无法用普通的现实去想象了。
量子叠加性是量子的第三个特性。量子理论中,薛定谔的猫的故事是量子叠加性的一个典型示例,故事的末尾告诉我们:猫处于生与死的叠加态。什么是生与死的叠加态?既生又死?实际上,这个故事是关于量子叠加性的一个有争议的思想实验。
图2.1.2 薛定谔的猫实验
首先,必须接受一个假设,即量子的世界里面,同时存在几个状态是可能的。就像这栋楼里面的每个人,在不去观察他们时,他们同时存在于所有楼层,这就是量子叠加性。
但或许大家会有疑问,即便在现实生活中,也无法得知一栋大楼里面任何一个人的位置,最多了解他在办公桌上坐着的概率比较大而已,那这样就是量子叠加性吗?很遗憾,并非如此。因为某一时刻,即便无法确定,但这个人肯定存在于这栋楼某一个位置,不可能出现在这栋楼不同的位置,量子叠加不是一种“概率性”存在,事实上,对于量子本身,它就是“同时存在”于很多状态的叠加上。经过无数的实验证明,当物体小到分子、原子、电子那个级别的时候,叠加是客观存在的,尽管无人知道原因。
那么为什么我们感受不到叠加性呢?如果每个粒子都有这种叠加性,那是不是作为粒子组合的人也应该具有叠加性呢?
一个宏观物体是由巨大数量的粒子构成的集合体。一个粒子虽然是叠加的,但是一群粒子就能开始体现统计的平均性,就像连续扔一百次硬币,还是有可能出现全部是正面的情况,但是扔一亿次硬币的时候(如果没有做假),那会得到一个趋于稳定的结果——正反面各一半。何况每个人身体里的粒子比一亿还要多几亿倍的几亿倍(差不多有27 ∼ 28位数那么多),所以人是绝无可能有叠加性的。
状态的演化 Evolution of State
状态的演化是指量子态随时间发生变化。对于一个两能级的量子系统,量子状态的演化类似于地球上的位置随时间变化一样,量子态可以想象成一个单位球面上的点,它随时间演化就同球面上点的位置随时间发生变化类似。
测量和坍缩 Measurement And Collapse
薛定谔宣称,不打开盒子,猫就处于生和死的“叠加态”,又称:“当我们打开盒子,经过了我们的观察,猫就会坍缩到一个确定的生、死状态上”。
图2.1.3 薛定谔的猫
什么叫做“观察”之后“坍缩”到确定的状态上?难道不是这个装置而是第一个看到猫的人决定了猫的生死吗?
这里提出量子的第四个特性:“测量和坍缩假设”。测量和坍缩对量子态的影响仍然是一个争议话题,所以用了“假设”。这个特性的描述如下: 对于一个叠加态而言,可以去测量它,测量的结果一定是这一组量子化之后的、确定的、分立的态中的一个。测量得到任意的态的概率是这个叠加态和测量态的内积的平方,测量之后,叠加态就会坍缩到这个确定的态之上。
简而言之,如果在一个微观粒子处在1楼和2楼叠加态的话,只能测出来它在1楼或者2楼,这个概率是由它们的叠加权重决定的,但是一旦对这个粒子进行测量,这个粒子的状态就会发生变化,不再是原来那个既在1楼又在2楼的叠加态,而是处在一个确定的状态(1楼或者2楼)。换句话说,测量影响了这个粒子本身的状态。 在上一节中,已经说明了叠加本身是一种客观存在的现象,那么测量、观察这种主观的事情是如何影响到客观叠加的呢?
比较主流的理论是说因为微观粒子太小,测量仪器本身会对这个粒子产生一定的影响,导致粒子本身发生了变化。但是没有足够的证据证明这种说法。
回到薛定谔的猫。薛定谔之所以提出这个思想实验,是想让宏观事物——猫,和微观事物——放射性原子,建立“纠缠”,从而把量子力学的诡异现象从微观世界引到现实世界中来。“如果我们承认微观粒子具有这些“叠加“、”坍缩“的性质的话,那猫也具有了”——这是薛定谔的思想。关于这个问题,目前并没有确切的证据证明猫不是处于这样的状态。
通过形象的描述介绍了量子力学的一些基础概念,下面将用数学的方式将这些概念重新表述一遍。(阅读下面的内容需要一定的数理基础,包括高等数学,线性代数,概率论中的基本概念。)
1)态矢 State Vector
量子态可用线性代数中的向量来描述,在物理学中,向量常称作矢量。在量子理论中,描述量子态的向量称为态矢,态矢分为左矢和右矢。
右矢(ket):
左矢(bra):
采用竖线和尖括号的组合描述一个量子态,其中每一个分量都是复数,右上角标 \(T\) 表示转置。这种形式表示量子态是一个矢量。右矢表示一个 \(n \times 1\) 的列矢量,左矢表示一个 \(1 \times n\) 的行矢量。另外,在讨论同一个问题时,如果左矢和右矢在括号内的描述相同的话,那么这两个矢量互为转置共轭。
2)内积和外积
对于任意的两个量子态的矩阵(坐标)表示如下:
其内积定义为:
其外积定义为:
表示一个 \(n \times n\) 矩阵。
两能级系统 Two Level System
事物的二元化:0和1、无和有、高和低、开和关、天和地、阴和阳、生和死、产生和消灭。二元化是一种将事物关系简化的哲学,基于二进制的计算理论正是利用了这种哲学思想。
在谈论量子计算原理前,先了解经典计算机的工作流程。经典计算机就是在不断地处理0、1的二进制数码,它们代表着逻辑电路中的高低电平,对于这些二进制数码的产生、传输、处理、读取,最终反馈到像显示器这种输出设备上的信号,就是一个计算机的工作流程。
对于微观量子而言,有一个决定粒子性质的最直接参量——能量。粒子的能量只会在几个分立的能级上面取值,限制取值的可能性种类为两种,这就构成了两能级系统。除了某些特殊的情况之外,这两个能级必定能找出来一个较低的,称之为基态(ground state),记为 \(|\mathrm{g}\rangle\) ;另一个能量较高的,称之为激发态(excited state),记为 \(|\mathrm{e}\rangle\) 。
量子计算机里面也由两种状态来构成基本计算单元,只不过这里的两种状态是指量子态的 \(|\mathrm{e}\rangle\) 和 \(|\mathrm{g}\rangle\) ,这就是一个两能级系统的特征。以列矢量的方式将它们记为
行矢量的形式记为
和经典的比特类比,常将 \(|\mathrm{e}\rangle\) 记做 \(|0\rangle\) ,将 \(|\mathrm{g}\rangle\) 记做,并称 \(|\mathrm{1}\rangle\) 之为量子比特(quantum bits)。
任意叠加态(superposition) \(|\psi\rangle\) 可以写作 \(|\mathrm{0}\rangle\) 和 \(|\mathrm{1}\rangle\) 的线性组合
其中复数 \(\alpha\) 和 \(\beta\) 称为振幅(amplitudes),并且满足归一化条件
其中 \(|\alpha|\) 表示复数 \(\alpha\) 的模。
状态的演化 Evolution of State
量子态可以由态矢(或称向量)来表示,量子也可以有不同的状态,并且可以同时处于不同的状态,那么量子态是如何随时间演化呢?如下例:
假设:封闭的(closed)量子系统的演化(evolution)由酉变换(unitary transformation)来描述。具体地,在 \(t_1\) 时刻系统处于状态 \(|\psi_1 \rangle\) ,经过一个和时间 \(t_1\) 和 \(t_2\) 有关的酉变换 \(U\) ,系统在 \(t_2\) 时刻的状态
这里的酉变换 \(U\) 可以理解为是一个矩阵,并且满足
其中 \(U^{\dagger}\) 表示对矩阵 \(U\) 取转置共轭。根据可逆矩阵的定义可知, \(U\) 也是一个可逆矩阵,因此酉变换也是一个可逆变换。
而在量子计算中,各种形式的酉矩阵被称作量子门。例如Pauli矩阵也是一组酉矩阵,
以X门作用在量子态上为例,
从上述中看出,量子态的演化本质上可以看作是对量子态对应的矩阵做变换,即是做矩阵的乘法。 由于 \(X\) 门和经典逻辑门中的非门类似,有时也常称 \(X\) 门为量子非门(quantum NOT gate)。
叠加态和测量 Superposition State And Measurement
按照态矢的描述,这两个矢量可以构成一个二维空间的基。任何一个态都可以写为这两个基在复数空间上的线性组合,即
其中 \(e^{i \theta}\) 表示模为1幅角为 \(\theta\) 的复数。
可以定义测量就是将量子态 \(|\psi\rangle\) 投影到另一个态 \(|\alpha\rangle\) 上。获得这个态的概率是它们内积的平方,即
其它概率下会将量子态投影到它的正交态上去,即
测量之后量子态就坍缩到测量到的态上。
相位、纯态和混合态 Phase, Pure State and Mixed State
如果将量子态初始化到某一个未知的叠加态上面,能否通过反复的测量得到它的表达式呢?看以下这两种情况:
发现在 \(|0\rangle\) , \(|1\rangle\) 的方向上测量,它们的表现都是一半概率为0,一半概率为1,根本不能区分。从这个现象可以知道无法通过概率得到态的相位信息 \(\theta\) ,实际上,量子态的相位是量子相干性的体现。
另一种情况,假设左手抓着一个袋子,这个袋子里面有无数的量子态,它们全都是 \(\left|\psi_{1}\right\rangle=\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)\) 这种叠加态;另外,有一个机器可以在 \(|0\rangle\) , \(|1\rangle\) 的方向上测量。
每次拿出一个态,对它进行测量,不管它是 \(|0\rangle\) ,还是 \(|1\rangle\) ,都扔到右手边的另一个袋子里面,如此反复,这样右边袋子里面的态越来越多了。由于测量结果对于这两种情况是等概率的,所以袋子里面约有一半的态是 \(|0\rangle\) ,另一半是 \(|1\rangle\) 。
假设从右边的袋子里取出一个,在不知道手上的态是什么情况下,能说它和左边袋子里的态一样都是 \(\frac{1}{\sqrt{2}}(|0\rangle+|1\rangle)\) 吗?
答案是不能。右边袋子里的态,实际上是一种经典的概率叠加,和等量的红球白球装在袋子里面一样。这样的态是不具有相位的。它只能表示为
这种类似于概率列表的形式。
所以,定义纯态就是“纯粹的量子态”,它不仅具有概率,还具有相位(也就是量子相干性)。混合态是纯态的概率性叠加,它往往失去了(部分或全部的)相位信息。
密度矩阵和布洛赫球 Density Matrix And Bloch Sphere
态矢是对纯态的描述,如果要描述一个混合态,就必须写成态集合和概率的列表形式,非常繁琐。因此采用密度矩阵来描述。
对于一个纯态而言,密度矩阵的形式是:
而对于一个混合态而言,密度矩阵的形式是:
其中 \(\{P_{i},\left|\psi_{i}\right\rangle\}\) 是系统所处的态及其概率。
密度矩阵有以下的性质:
对于一个两能级体系表述的态,不论是纯的还是混合的,都可以用密度矩阵 \(\rho\) 表示
\(\rho=\rho^{2}\) 当且仅当量子态是纯态时成立。
\(\rho\) 对角线上的分量表示整个系统如果经历一次测量,那么可以得到这个态的概率。如果只去操作和测量一个两能级体系,那么是分辨不出相同的密度矩阵的。
密度矩阵已经完备地表示了一个两能级系统可能出现的任何状态。为了更加直观地理解量子叠加态与逻辑门的作用,引入布洛赫球的概念,如图2.1.4,它能够方便地表示一个量子比特的任意状态。
图2.1.4 布洛赫球
如果量子态是一个纯态,那么它是球面上的点。点的 \(z\) 坐标衡量了它的 \(|0\rangle\) 和 \(|1\rangle\) 的概率,即
最上面表示 \(|0\rangle\) 态,最下面表示 \(|1\rangle\) 态。
再沿着平行于 \(XY\) 平面的方向,并且穿过这个点的 \(Z\) 坐标,可以得到一个圆,这个圆就象征着相位的复平面;这个点在这个圆上交 \(X\) 轴的角度就是单位复数的幅角。经过这个过程可以将每个纯态都与球面上的点一一对应了起来。
对于混合态而言,因为根据之前的描述,混合态实际上是多个纯态的经典统计概率的叠加。对于每一个纯态分量,连接球心和球面上的点,可以形成一个矢量。根据概率列表,对所有的纯态矢量进行加权平均,即可得到混合态的矢量,即得到了混合态对应的点。
混合态是布洛赫球内部的点,根据混合的程度不同,矢量的长度也不同。最大混合态是球心,它意味着这里不存在任何量子叠加性。
例如 \((1,0,0)\) 和 \((-1,0,0)\) 点在布洛赫球上就是在 \(X\) 方向上的顶点和 \(-X\) 方向上的顶点。它们对应的量子态的概率分布就是 \(Z\) 坐标,即为 \(0\) 。所以,
沿 \(XY\) 平面横切,得到一个圆,可以看到这两个点对应的幅角是 \(\theta_1 =0\) , \(\theta_2 = \pi\) ,由此推断出量子态分别为:
如果将这两个态以 \(1/2\) , \(1/2\) 的概率混合,在布洛赫球上面的坐标将表示为 \((0,0,0)\) ,也就是球心。对应到密度矩阵的表述,为:
即为最大混合态。
2.1.2 观测量和计算基下的测量¶
量子比特(qubit)不同于经典的比特(bit),一个量子比特 \(|\psi\rangle\) 可以同时处于 \(|0 \rangle\) 和 \(|1 \rangle\) 两个状态,可用线性代数中的线性组合(linear combination)来表示为
在量子力学中常称量子比特 \(|\psi\rangle\) 处于 \(|0\rangle\) 和 \(|1\rangle\) 的叠加态(superpositions),其中α、β都是复数(complex number),两维复向量空间的一组标准正交基(orthonormal basis)组成一 \(|0 \rangle\) 和 \(|1 \rangle\) 组计算基(computational basis)。
量子比特的信息不能直接获取,而是通过测量来获取量子比特的可观测的信息。可观测量在量子理论中由自伴算子(self-adjoint operators)来表征,自伴的有时也称Hermitian。量子理论中的可观测量与经典力学中的动力学量,如位置、动量和角动量等对应,而系统的其他特征,如质量或电荷,并不在可观测量的类别之中,它是作为参数被引入到系统的哈密顿量(Hamiltonian)。
在量子力学中测量(measure)会导致坍塌,即是说测量会影响到原来的量子状态,因此量子状态的全部信息不可能通过一次测量得到。当对量子比特 \(|\psi\rangle\) 进行测量时,仅能得到该量子比特概率 \(|\alpha|^2\) 处在 \(|0 \rangle\) 态,或概率 \(|\beta|^2\) 处在 \(|1 \rangle\) 态。由于所有情况的概率和为 \(1\) ,则有 \(|\alpha|^{2}+|\beta|^{2}=1\) 。
当对量子进行测量时,会发生什么变化呢?
假设:量子测量是由测量算子(measurement operators)的集合 \(\{M_{i}\}\) 来描述,这些算子可以作用在待测量系统的状态空间(state space)上。指标(index) \(i\) 表示在实验上可能发生的结果。如果测量前的量子系统处在最新状态 \(|\psi\rangle\) ,那么结果 \(i\) 发生的概率为
并且测量后的系统状态变为
由于所有可能情况的概率和为 \(1\) ,即
因此,测量算子需满足
该方程被称为完备性方程(completeness equation)。
再例如,在计算基下单量子比特的测量。单量子比特在计算基下有两个测量算子,分别是 \(M_{0}=|0\rangle\left\langle 0\left|, M_{1}=\right| 1\right\rangle\langle 1|\) 。注意到这两个测量算子都是自伴的,即
且
因此
该测量算子满足完备性方程。
设系统被测量时的状态是 \(|\psi\rangle=\alpha|0\rangle+\beta|1\rangle\) ,则测量结果为 \(0\) 的概率为
对应测量后的状态为
测量结果为1的概率为
测量后的状态为
量子测量有很多种方式,比如投影测量(projective measurements)、POVM测量(Positive Operator-Valued Measure)。
投影测量
为什么要介绍投影测量呢?因为当测量算子具有酉变换性质时,投影测量和一般测量等价。
投影测量由一个可观测量(observable) \(\Lambda\) 来描述,可观测量 \(\Lambda\) 是一个待观测系统的状态空间上的自伴算子。可观测量 \(\Lambda\) 可以写成谱分解的形式
这里的 \(P_i\) 为在 \(\Lambda\) 的特征值 \(\lambda_{1}\) 对应特征空间上的投影。测量的可能结果对应于可观测量的特征 \(\Lambda\) 值 \(\lambda_{i}\) 。在对状态 \(|\psi\rangle\) 测量之后,得到结果 \(i\) 的概率为
若测量后,结果 \(i\) 发生,则量子系统最新的状态为
投影测量有一个重要的特征就是很容易计算投影测量的平均值 \(E(\Lambda)\) 。
这个公式它能够简化很多计算。观测量 \(\Lambda\) 的平均值通常也记作 \(\langle\Lambda\rangle \equiv\langle\psi|\Lambda| \psi\rangle\) 。因此,观测量 \(\Lambda\) 的标准差(standard deviation) \(\Delta(\Lambda)\) 满足
标准差是一个刻画典型分散程度的度量。
2.1.3 复合系统与联合测量¶
拥有两个或两个以上的量子比特的量子系统通常被称为复合系统(composite systems)。单量子比特系统的描述与测量已有所了解,那么多个量子比特的系统该如何描述以及怎样去测量呢?单量子比特系统与多量子比特系统之间又有怎样的关系呢?首先,解决这些问题,需要认识一个新的运算-张量积(tensor products)。
张量积
张量积是两个向量空间形成一个更大向量空间的运算。在量子力学中,量子的状态由希尔伯特空间(Hilbert spaces)中的单位向量来描述。
设 \(H_1\) 和 \(H_2\) 分别为 \(n_1\) 和 \(n_2\) 维的希尔伯特空间。 \(H_1\) 和 \(H_2\) 的张量积为一个 \(n_{1} n_{2}\) 维的希尔伯特空间 \(H \equiv H_{1} \otimes H_{2}\) ,对于 \(H_1\) 中的每一个向量 \(\left|h_{1}\right\rangle\) 和 \(H_2\) 中的每一个向量 \(\left|h_{2}\right\rangle\) 在 \(H\) 都有中唯一的向量 \(\left|h_{1}\right\rangle \otimes\left|h_{2}\right\rangle\) ,并且 \(H\) 中向量可表示为向量 \(\left|h_{1}\right\rangle \otimes\left|h_{2}\right\rangle\) 的线性叠加。还要满足以下基本性质:
(i)对任意 \(\left|h_{1}\right\rangle \in H_{1},\left|h_{2}\right\rangle \in H_{2}\) ,以及任意复数 \(c \in \mathbb{C}\) ,都有
(ii)对任意 \(\left|h_{1}^{1}\right\rangle,\left|h_{1}^{2}\right\rangle \in H_{1}\) ,任意 \(\left|h_{2}\right\rangle \in H_{2}\) ,都有
(iii)对任意 \(\left|h_{1}\right\rangle \in H_{1}\) ,任意 \(\left|h_{2}^{1}\right\rangle,\left|h_{2}^{2}\right\rangle \in H_{2}\) ,都有
\(\left|h_{1}\right\rangle \otimes\left|h_{2}\right\rangle\) 经常被简写为 \(\left|h_{1}\right\rangle\left|h_{2}\right\rangle,\left|h_{1}, h_{2}\right\rangle\) 或 \(\left|h_{1} h_{2}\right\rangle\) 。
如果 \(|i\rangle\) 和 \(|j\rangle\) 分别为 \(H_{1}\) 和 \(H_{2}\) 的标准正交基,那么 \(|i\rangle \otimes|j\rangle\) 为 \(H \equiv H_{1} \otimes H_{2}\) 的标准正交基。例如,现在有两个 \(2\) 维的希尔伯特空间 \(H_{1}\) 和 \(H_{2}\) ,并且都 有一组标准正交基 \({|0\rangle,|1\rangle}\) ,那么 \(H\) 的标准正交基为 \({|00\rangle,|01\rangle,|10\rangle,|11\rangle}\) 。因此,任意给定 \(H\) 中的向量 \(|\psi\rangle\) 都可以表示成这组标准正交基的线性组合
其中 \(\varepsilon_{i j} \equiv\langle i j \mid \psi\rangle, i, j \in{0,1}\) 。
设 \(A\) 和 \(B\) 分别为 \(H_{1}\) 和 \(H_{2}\) 上的线性算子,那么算子 \(A \otimes B\) 作用到 \(H\) 中的任意向量
被定义为
可以证明以这种方式定义 \(A \otimes B\) 为 \(H_{1} \otimes H_{2}\) 上的线性算子。
对于 \(H\) 中的两个任意向量 \(|\alpha\rangle=\sum_{ij} \alpha_{i j}|i j\rangle\) 和 \(|\beta\rangle=\sum_{ij} \beta_{i j}|i j\rangle\) ,这两个向量的内积被定义为
也可以证明这种函数满足之前的内积定义。
这样的表达形式优点是表示比较简练,缺点是不太容易有直观的认识。下面给出线性算子张量积的矩阵表示的运算规则-克罗内科积(Kronecker product)。设 \(A\) 是 \(m \times n\) 的矩阵, \(B\) 是 \(p \times q\) 的矩阵。 \(A \otimes B\) 的矩阵形式定义为
这里 \(A \otimes B\) 是一个 \(m p \times n q\) 的矩阵, \(A_{i j} B\) 表示矩阵 \(A\) 的中的第 \(i\) 行,第 \(j\) 列元素与矩阵 \(B\) 相乘。
例如, Pauli矩阵 \(\sigma_{x}\) 和 \(\sigma_{y}\) 做张量积生成的矩阵为
举个反例就可以验证张量积并不满足交换律。
可以看出 \(\sigma_{x} \otimes \sigma_{y} \neq \sigma_{y} \otimes \sigma_{x}\) 。
两个向量做张量积该如何表示呢? 其实在给定基下,向量的坐标表示也可以看作一个特殊的矩阵。例如向量 \(|\alpha\rangle=\alpha_{1}|0\rangle+\alpha_{2}|1\rangle\) 和 \(|\beta\rangle=\beta_{1}|0\rangle+\beta_{2}|1\rangle\) 在标准正交基 \({|0\rangle,|1\rangle}\) 下的矩阵表示分别为 \(|\alpha\rangle=\left[\alpha_{1}, \alpha_{2}\right]^{T}\) 和 \(|\beta\rangle=\left[\beta_{1}, \beta_{2}\right]^{T}\) 。因此, \(|\alpha\rangle \otimes|\beta\rangle\) 的矩阵表示为
假设: 复合物理系统的状态空间由子物理系统状态空间的张量积生成,即是说,如果有被 \(1\) 到 \(n\) 标记的系统,第 \({i}\) 个系统的状态为 \(\left|\psi_{i}\right\rangle\) ,那么生成的整个系统的联合状态为 \(\left|\psi_{1}\right\rangle \otimes\left|\psi_{2}\right\rangle \otimes \cdots \otimes\left|\psi_{n}\right\rangle\) 。
复合系统有单量子系统不具有的另一个奇特现象就是纠缠 (entanglement)。在数学上,设态 \(|\psi\rangle \in H_{1} \otimes H_{2}\) ,若不存在 \(|\alpha\rangle \in H_{1},|\beta\rangle \in H_{2}\) ,使得
则称 \(|\psi\rangle\) 是纠缠的 (entangled)。否则, 称 \(|\psi\rangle\) 不处于纠缠态 (entangled state) 。
例如, 在双量子比特系统中: \(\left|\psi_{1}\right\rangle=1 / \sqrt{2}(|00\rangle-|11\rangle)\) 处于纠缠态。而 \(\left|\psi_{2}\right\rangle=1 / \sqrt{2}(|00\rangle+|01\rangle)\) 是非纠缠的,这是因为 \(\left|\psi_{2}\right\rangle\) 还可分成 \(1 / \sqrt{2}|0\rangle \otimes(|0\rangle+|1\rangle)\) 。
复合系统的状态演化
已知两能级的量子系统的状态是通过酉变换来实现演化的,那么复合系统的状态该如何随时间发生演化呢? 复合系统可以看成是子系统的张成,因此以下假设可以 说明复合系统中量子态的变化。
假设:复合系统中量子态的演化是由张成复合系统的子系统中量子态的演化对应的酉变换做张量生成的变换来描述,即是说,如果有被 1 到n标记的系统,第 \({i}\) 个系统在 \(t_{1}\) 时刻的状态为 \(\left|\psi_{i}^{1}\right\rangle\) ,那么生成的整个系统的联合状态 \(\left|\psi^{1}\right\rangle\) 为 \(\left|\psi_{1}^{1}\right\rangle \otimes\left|\psi_{2}^{1}\right\rangle \otimes \cdots \otimes\left|\psi_{n}^{1}\right\rangle \) 时刻,通过酉变换 \(U_{i}\) 将第 \({i}\) 个系统的状态演化为 \(\left|\psi_{i}^{2}\right\rangle\) ,那么在 \(t_{2}\) 时刻,复合系统的状态通过变换 \(U_{1} \otimes U_{2} \otimes \cdots \otimes U_{n}\) 演化为 \(\left|\psi_{1}^{2}\right\rangle \otimes\left|\psi_{2}^{2}\right\rangle \otimes \cdots \otimes\left|\psi_{n}^{2}\right\rangle\) 。
例如,复合系统 \(H\) 由两能级系统 \(H_{1}\) 和 \(H_{2}\) 复合而成,在 \(t_{1}\) 时刻,两个系统的状态都为 \(|0\rangle\) ,则复合系统的状态为 \(|00\rangle\) ; 在时刻 \(t_{2}\) 第一个系统经过 \(X\) 门,状态变为 \(|1\rangle\) ,第二个系统经过 \(Z\) 门,状态为 \(|0\rangle\) ,那么复合系统的状态经过变换
变为
本质上复合系统中量子态的演化也是矩阵的乘法,与单个子系统相比,只不过是多了张量积的运算。