两体贝尔不等式的应用-基础数学专业论文.docxVIP

i i 目录 1 引言 1 2 预备知识 3 2.1 态空间 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 量子纯态与混合态 . . . . . . . . . . . . . . . . . . . . . 4 2.3 密度矩阵 . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.4 两体纠缠的定义与性质 . . . . . . . . . . . . . . . . . . . 6 2.5 张量积 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 3 两体贝尔不等式的具体应用 9 3.1 理论知识 . . . . . . . . . . . . . . . . . . . . . . . . . . 9 3.2 构造一的简单应用 . . . . . . . . . . . . . . . . . . . . . 12 3.3 构造二在构造三上的简单应用 . . . . . . . . . . . . . . . 19 4 总结 25 参考文献 26 PAGE PAGE 1 1 引言 从十九世纪末到二十世纪初, 量子力学得到了很大的丰富和发展, 解决了许多经典理论不能解释的现象, 大量的实验事实及实际应用也 证明了量子力学是一个成功的物理理论. 众多的物理学家都坚持自己 观点, 对量子力学的基本解释提出坚持了自己的看法, 从而有了著名的 爱因斯坦与玻尔之间的论战, 于是以爱因斯坦的一个悖论疑问的形式 提出了量子纠缠. 量子纠缠态在迅速发展的量子信息科学领域中起到 了非常关键的作用. 例如, 量子隐形传态, 量子密钥分配, 量子纠错, 稠 密编码及量子计算等. 遗憾的是, 到目前为止, 人们对于量子纠错态的 物理特点和数学结构都还没有很好地理解和掌握. 由于量子纠缠态重 要的作用从而促使许多实验者创造纠缠态并利用贝尔不等式来检查他 们是否己经成功产生了纠缠态. 1964 年, 贝尔得出了一个不等式展示了量子理论与局域实体是不 兼容的. 他展示出基于 Einstein, Podolsky 和 Rosen 的局域现实理论 概念的任意一种局域隐藏变量理论都应该服从这个不等式, 然而在量 子力学中它很容易被违背. 作用在局域现实上的统计关联限制就是贝 尔不等式. 因此贝尔不等式使实验性地区分局域实体模型和量子力学 成为可能. 关于量子力学基础的这个值得鼓励的进步引起了很大的轰 动, 贝尔不等式的一系列早期的工作己经得出, 包括两体系统的 CHSH 不等式和多体系统的 MABK不等式. 关于贝尔不等式的各种各样的更 多的细节和不等式的性质可以参考 [5]. 不等式的违背在量子信息过 程中有很多重要作用, 因此贝尔不等式被广泛的应用到许多领域. 例 如确保量子通信的安全性和建立量子公约来减少通信复杂性. 更新更 强的贝尔不等式的导出是量子信息进程中最重要和最具挑战性的问题 之一. 多体的贝尔不等式集合己经由 WWZB 利用二分观测值导出, 这 样的不等式称作“标准”的贝尔不等式, 其中包括了 MABK 不等式作为 一种特殊情况, 检测了一些 MABK 不等式不能检测的一些纠缠态. 对 于高维系统, 通过利用更多的测量设置, 导出了更强的贝尔不等式. 这 进一步促进了一系列非定域性的实验证明. 这些不等式导致了多体纠 缠的一个更详细的分类 [12], 在文献 [2]中作者通过贝尔不等式的一个 集合对三体系统的纠缠做了更好的分类. 然而 GHZ 态是极大化的违 背 MABK 不等式的唯一态. 可以被更大的态的集合违背, 包括推广的 GHZ 态. Chen et al 得到了一个关于三量子比特态涉及二分观测值的 贝尔不等式 [22], 它可以被任意的纯纠缠态数值化地违背. 所有构造出 的贝尔不等式都有效地对量子态的纠缠性做出了判断. 但是构造出更 好的高维多体系统的贝尔不等式还是很困难的, 所以在前人所研究的 基础上做了进一步的应用从而对己知知识做了更深入的掌握和理解. 在参考文献 [1]和 [6]中, 作者给出了判断两体量子态的贝尔不等式 和它的极大违背. 本文的主要目的就是利用这个方法来判断给定量子 态的纠缠性并证明了文献 [5]中的一个重要结论. 2 预备知识 我们首先介绍一些在本文研究中常用到的一些基本概念. 2.1 态空间 在量子力学中, 我们把微观粒子的运动状态称为量子态. 对于任 意的独立的物理系统我们都可以利用一个带有内积运算的复向量空间 (也就是 Hilbert 空间)来描述, 我们称这个空间称为态空间. 严格来说, 量