polsarpro进行极化分解_如何理解施密特(Schmidt)分解定理

复合空间的施密特分解是一个比较不直观的过程, 虽然证明起来并不复杂, 但初学者可能会想不通怎么高维度的空间能用低于维度数的基矢分解, 这是本文讨论的一个重点.

初学者可能还会问到: "为什么看证明过程好像随便求和就能自动产生正交的矢量呢? 难道施密特分解这个操作没有运算量吗? "这也是本文讨论的一个重点.

如果教材用的是西安电子科技大学出版的那本量子信息的话可能会对证明过程产生如下疑问:

(2.156)式后的一句话中先指出

, 又说总可以选取系数

使态归一.

这个态指的是什么态? 是

还是

？

究竟是

确定的值还是仅仅是一个归一化系数?

如果

是选取的一个归一化系数, 那仅顾2系统的去归一化会不会打乱1系统的状态信息?

在(2.160)式处又指出可以求得

这和前面确定的

会不会有冲突?

这又是本文讨论的一个重点, 前面我会给出一个更直观一些的证明, 然后在最后会附上该教科书书上的证明方式, 并非照搬而是会在修改一些用词同时通过引用块的形式在中间解答这些疑惑. 当然没看过这本书的就不用管这部分了.

定理的证明如果用矩阵的奇异值分解定理的话会简单许多, 可以自行了解这里暂不做介绍.

---

Index :

I. 施密特(Schmidt)分解定理的内容

II. 施密特(Schmidt)分解定理的证明

III. 怎么高维度的空间的矢量能用低于维度数的基矢分解

IV. 这个分解过程真的没有运算量吗? 正交性是如何产生的

V. 如何理解西电出版的教科书上的证明

---

I. 施密特(Schmidt)分解定理的内容:

将一个复合系统分成

两个子空间, 则复合系统的态矢可以用这两个子空间的基矢展开.

即

.

其中

分别为

空间的任意一组正交归一基.

而施密特分解定理指出有更简单的一般形式:

即

.

分别为

空间的密度算符

与

的本征矢, 都对应本征值

.

需要指出的是

空间维度不必相同, 而求和指标

的最大值为

中较小空间的维数.

这种形式被称作复合系统的施密特极化形式, 这个操作被称作施密特分解.

---

II. 施密特(Schmidt)分解定理的证明:

复合系统

分成

两个子系统, 记

分别为

空间的任意一组正交归一基. 则

空间中任意纯态可以表示为

. 下面不妨设

空间的维度比较小.

设

系统约化密度算符

的本征方程为

.

若记

, 则复合系统纯态可做如下分解:

给上式举一个

维

空间与

维

空间的直观例子:

那么现在得到的式子

中的

是不是一个正交集呢?

的表达式已由等式

给出.

现求内积验证是否正交:

其中

的表达式为:

.

将

的表达式代入内积表达式:

别忘了前面假设的

, 即

是约化密度算符

的本征矢.

至此我们发现光就是通过等式

定义的

就是一个正交集.

且不难发现

模长

.

那么由

构成的集合

就是正交归一集.

综上所述:

, 其中

均为正交归一基, 且有

.

接下来就是要证明

同时也是

系统约化密度算符

的本征矢:

系统约化密度算符

其中

.

所以显然有

, 也即存在关系

.

综上所述:

将一个复合系统分成

两个子空间, 则复合系统的态矢可以用这两个子空间的基矢展开.

这个展开具有一般形式:

其中

分别为

空间的密度算符

与

的本征矢, 都对应本征值

.

这也就是施密特分解定理.

---

III. 怎么高维度的空间的矢量能用低于维度数的基矢分解：

Exp :

维

系统

与

维

系统

, 这是一个比较极端的例子.

先设

系统的本征方程

, 但

空间说实话就只能存在一种态...

复合系统任何一个态矢都可以表达成

再具体一点:

如同前面说的, 记

而这本身就是归一的了, 从前面的推到来看就是说

的共同本征值是

, 这个很容易验证.

就是说

分解为

.

在这个具体例子中这一切是显然的,

系统当然一定处于

态；至于

系统, 纵使你空间有一万维我们也能把你任意处于的那个态作为你密度算符的本征态. 在这里是

维的情况, 那厄米算符

的本征矢应该是完备的啊, 起码三个吧？这是不难理解的, 密度算符也是算符, 而算符的基矢是任意选取的, 这里只是选取了特别合适的一组正交基矢

使得密度算符表达为:

.

---

IV. 这个分解过程真的没有运算量吗? 正交性是如何产生的:

从证明过程来看我们似乎什么都没做, 就是合并了一下同类项就得到了正交的

是不是太神奇了点? 施密特正交化的过程真的没有运算量吗? 让我们来观察一个例子:

Exp :

维

系统

与

维

系统

, 看正交性如何产生.

先设

系统的本征方程

.

记

则得到

现在求内积来证明这样得到的

是正交的:

不正交??? 这是为什么呢? 前面证明定理本身的过程中是这样的:

现求内积

求

的表达式:

, 再代入上式:

这里

和前面的

是一致的.

那为什么前面发展到了

而这个例子却得到了一个实数呢? 我们来一步步分析看看:

将

与

代入上式得到:

这个结果对应着前面的

但我们这里

这说明什么呢? 这说明前面的

根本就不是

的本征矢! 你不能说他是他就是了.

不过在一般性的证明的过程中我们总可以假设已经找到

的本征矢

然后把

表示为

.

所以当题目给定一个待分解的矢量

比如说:

我们要做的第一件事就是找到

的本征矢

再将其改写为

的形式.

而这就是施密特分解的运算量所在之处.

下面我们仍然以此为例来分解一下试试?

本征值分别为

注意这里

这非常棒!

对应的本征矢分别为(约等号后进行了归一化操作):

第一次忘了归一化, 全都重来了一遍, 这是血的教训.

代入待分解的态, 整理得到:

进一步化简:

记

验证正交性:

验证模长:

所以真正奇妙的点是, 为何两个系统的密度算符拥有同样的本征值. 以及为何把

系统进行本征普分解之后

系统也跟着被分解了.

这是一个极其乐色的例子, 但我仍然莽出了一个漂亮的结果.

---

V. 如何理解西电出版的教科书上的证明:

为了方便于前面方法对比, 特意将与产生的疑惑无关的部分的形式整理的与前面方法相似.

复合系统

分成

两个子系统, 记

分别为

空间的任意一组正交归一基. 则

空间中任意纯态可以表示为

. 下面不妨设

空间的维度比较小.

设

系统约化密度算符

本征方程为

, 且记

.

中

是一个单位矢量.

系数

是总矢量

的模长.

故书上说的归一化并非指的非恒等变形, 而是单纯的把一个矢量表达为模长乘以方向罢了.

则存在分解

已经很像需要证明的结论了, 接下来就是研究

是否互相正交：

表达式已经给出:

求内积

现在研究

, 其表达式不难得出:

显然

(其中

为实数)才能保证

归一, 而相位可以放在后面态矢里.

这里需要指出的是并非

被式子

确定了, 而是

被此式确定为

而由

知

是被式子

确定了模长.

既有

, 现在求

的约化密度矩阵:

显然存在关系

.

所以证明了存在分解

.

其中

分别为

空间的密度算符

与

的本征矢, 都对应本征值

.