关于纠缠证据构造的研究

来源 :曲阜师范大学 | 被引量 : 0次 | 上传用户:gigitsang
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由[Phys. Rev. A81,062351(2010)],我们知道,在无限维复合量子系统中,每个纠缠态都有一个形如αI+T这种形式的纠缠证据,其中α≥0,T是值域为有限维的自伴随算子,本文首先就是利用这种形式构造出了一类特殊的纠缠证据,并给出了一些例子加以说明.接着把文献[Phys. Rev. A84,014303(2011)]中给出的利用密度矩阵来构造纠缠证据的方法推广到三个量子比特系统上,同时也给出一些例子来说明如何构造纠缠证据.最后给出了上述这些纠缠证据在结构上的联系.
其他文献
绝对值方程(AVE)Ax-??的研究来源于线性互补问题,是非线性方程的一种特例.由于绝对值方程与线性互补问题,双线性规划问题的等价性,对于一些重要的问题,如线性规划、二次规划、线性互补等都可以等价的转化为绝对值方程,因此绝对值方程问题有着极强的应用背景.本文主要是在Mangasarian等人的工作基础上,对求解绝对值方程问题做了进一步研究.根据绝对值的非光滑性,分别提出了求解绝对值方程的光滑New
最优化理论和方法随着近年来计算机技术的迅猛发展在国民经济、军事、科学技术等方面被广泛的应用.约束非线性规划问题是在经济、军事、工程等多领域中应用较多的一种最优化问题.而求解约束非线性规划化问题主要方法之一是把约束非线性规划问题转化为无约束的非线性规划问题.罚函数法就是这种转化方法之一,它主要是通过求解一个或者多个罚问题来得到约束非线性规划化问题的解.当罚参数足够大,求得的罚问题的极小点是原约束规划
纳米酶是一类具有酶学特性的纳米材料,相较于天然生物酶而言,它具有合成简便、稳定性好、成本较低等优点,已引起各个领域研究者的关注。随着纳米材料的不断发展,纳米酶也在迅猛发展,越来越多的纳米材料已被发现可以用于模拟生物酶的活性,如类氧化物酶、类过氧化物酶、类水解酶等。由于纳米酶表面易于修饰、制备成本低且性质较稳定等优点,已被广泛应用于分析检测、环境检测、临床诊断及治疗等各方面。因此,研究各种类型的纳米
本文主要研究直觉模糊集的熵和相似度及其在直觉模糊多属性群决策问题中的应用,共分四章.第一章介绍直觉模糊集的熵、相似度和直觉模糊多属性群决策问题的研究背景、发展现状以及本文的主要研究成果.第二章研究直觉模糊集的熵.根据熵公式是否描述直觉模糊集的模糊性和直觉性对现有文献中的熵公式进行分类比较,并通过数据分析指出各类公式的优缺点.最后提出两个新的直觉模糊集的熵公式,研究了它们的性质,通过与其它熵公式的比
本文共分为四个部分.第一部分为本文的引言.主要介绍了椭圆偏微分方程水平集凸性问题的研究成果,及其发展趋势.同时又介绍了本文中所做的工作,即在二维和三维空间讨论了一个具体的椭圆偏微分方程水平集曲率估计.第二部分为为理论知识,重点为极大值原理及其有关的证明,另外介绍了一些关于凸水平集和函数水平集曲率矩阵的一些内容.第三部分和第四部分是在R2和R3中对特定的椭圆偏微分方程的解的水平集曲率进行了先验估计.
随着科学技术的不断发展,各种各样的非线性问题已日益引起人们的广泛关注,非线性分析已成为现代数学中的重要研究方向之一.非线性泛函分析是非线性分析中的一个重要分支.非线性微分方程边值问题源于应用数学,物理学,控制论等各种应用学科中,是目前非线性泛函分析中研究最为活跃的领域之一.其中,积分边值问题及奇异边值问题成为近年来讨论的热点,是目前微分方程研究的两个重要领域.本文利用不动点指数定理Leray-Sc
常微分方程边值问题在经典力学和电学中有极为丰富的源泉,它是常微分方程学科的重要组成部分之一.常微分方程两点边值问题(如Dirichlet边值问题、Neumann边值问题、Robin边值问题、Strum-Liouville边值问题等)已被深入而广泛的研究,并取得了系统而深刻的结果.事实上,自1893年Picard运用迭代法讨论非线性二阶常微分方程两点边值问题解的存在性和唯一性之后,常微分方程两点边值
量子信息学是量子力学与信息科学的结合,它利用量子系统来实现信息的产生,存储,编码,传输,抽取,转换等任务.纠缠态是量子力学所特有的一种现象,在经典物理中没有对应.一般情况下,量子信息处理都要借助纠缠态来实现.量子失谐给出了量子关联的一个量化方法,并且即使对于两个量子比特系统,计算起来也非常困难.近来在这方面的计算对于特殊的态已经有了一些结果.本文讨论了两类两个量子比特态的量子失谐,并把它们的结果给
设R是含幺环,若左R一模M满足:(1)存在PC模正合列:…→C(?)RP1→C(?)RP0→C(?)RP0→C(?)RP1→…(2)M(?)ker(C(?)RP0→C(?)RP1).(3)该正合列HomR(-,FC)正合,则称M是强C-Gorenstein平坦模.首先,本文在第三节中得出了强C-Gorenstein平坦模的一些主要性质:(1)如果MR是强C-Gorenstein平坦模,则MR是C-
用B(H)表示作用在希尔伯特空间H上的所有有界线性算子构成的代数.在迁移代数问题方面KadiSon猜测B(H)中的一些自伴极大交换子代数和一些不在这些子代数中的元素可以生成非平凡的迁移代数Arveson在文献[1]中证明了如果A是B(H)的迁移子代数,并且A包含一个自伴极大交换的冯·诺依曼代数,则A在B(H)中是强算子稠密的.从而否定了Kadison的上述猜测.受文献[6]中U.Haagerup和