关于经验模型互文性的定量研究

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:yxs
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
量子互文(Quantum contextuality)是比量子非局域性(Quantum Non-locality)更广泛的一种关联性质,是量子计算与量子信息处理的重要资源,因而成为量子信息学中一个非常热门的研究课题.经验模型(Empirical model)的互文性是量子互文性的数学框架.本文利用算子论、算子代数与矩阵论等理论与方法,系统研究了经验模型的互文鲁棒性、广义互文鲁棒性、互文成本、互文量化与互文提纯等一系列重要理论问题.本文共分七章,主要内容如下:第一章首先介绍了本文的研究背景和现状,然后列出了本文要用到的基本符号、概念以及已有结论,最后给出了本文的主要结果.第二章研究了经验模型及其互文性.首先研究了一个测量情形上的经验模型之集、无干扰的经验模型之集与非互文的经验模型之集的代数与拓扑性质.然后,讨论了 4-循环测量情形本身的性质,证明了不管量子系统处于什么状态,在“有迹”的4-循环测量情形下都目击不到互文现象.最后,在4-循环测量情形下,引入了两比特量子态的极大互文性的概念,得到了两比特量子态的极大互文性为0当且仅当在任意4-循环测量情形下,测量该量子态都目击不到互文现象.值得一提的是,证明了两比特量子态的极大互文性由该量子态的特征值决定,从而说明当且仅当量子态的特征值满足约束条件时,存在4-循环测量情形使得测量得到的量子经验模型是互文的.第三章研究了经验模型的互文鲁棒性与互文成本,并讨论了两者之间的联系.首先,受纠缠鲁棒性与量子关联鲁棒性的启发,引入了经验模型互文鲁棒性的概念,证明了互文鲁棒性可以用来区分经验模型是否为非互文的.考虑到经验模型是一族联合测量得到的概率分布,结果可能有误差,研究了在无干扰的经验模型之集上,互文鲁棒性函数的有界性和连续性.然后,计算了任意n-循环盒子的互文鲁棒性,从而建立了它与非互文不等式违背量之间的联系.最后,引入了经验模型互文成本的概念,证明了互文成本可以用来区分经验模型是否为非互文的,经验模型是强互文的当且仅当它的互文成本为最大值1,并讨论了经验模型的互文鲁棒性与互文成本之间的联系.第四章研究了经验模型的广义互文鲁棒性.首先,基于广义纠缠鲁棒性的研究,引入了两个概念:经验模型e相对经验模型f的广义相对互文鲁棒性和经验模型e的广义互文鲁棒性,得到了广义互文鲁棒性可以用来区分经验模型是否为非互文的.与互文鲁棒性不同,任意经验模型的广义互文鲁棒性是有限的.最重要的是,只要经验模型e相对经验模型f的广义相对互文鲁棒性有限,就有这两个经验模型的广义互文鲁棒性的乘积小于等于1,这就说明,这两个经验模型的广义互文鲁棒性不能同时大.最后,建立了 n-循环盒子的广义互文鲁棒性与互文鲁棒性之间的联系.第五章用互文量(QoC)量化经验模型e的互文性.首先,引入了一族与e相关的经典关联态,证明了 e是非互文的当且仅当这一族经典关联态中有乘积态.然后,基于迹距离引入了经验模型的互文量来量化其互文性,证明了互文量可以用来区分经验模型是否为互文的,具有凸性、连续性等重要性质.最后,基于Peres-Mermin-isotropic 盒子 PMα,Mermin-isotropic 盒子 Mα,与CHn-isotropic盒子(CHnα互文的充分条件,讨论了它们互文的充分必要条件,并容易地比较了它们互文性的强弱(互文量的大小).第六章研究了更有效的互文提纯方案.首先介绍了本章关注的对象:广义关联的n-循环盒子en,λ,ε,得到了它的互文性强弱可由参数ε来刻画.然后提出了互文提纯方案*,它可以增加参数ε,从而可以提纯任意的互文的en,λ,ε.特别地,当测量情形是Clauser-Horne-Shimony-Holt(CHSH)测量情形时,互文提纯方案*成为了非局域提纯方案.更为重要的是,证明了任意的互文的en,λ,ε经过互文提纯方案*无限次迭代可以提纯至极大互文的n-循环盒子CHn(n-链盒子).最后与已知的互文提纯方案以及非局域提纯方案比较,得到了互文提纯方案*有最高的提纯速率,最强的逼近能力,且可以目击到更多会导致平凡通讯复杂度的4-循环盒子.
其他文献
《同文備攷》(以下簡稱《備攷》)成書於明嘉靖庚子年,即公元1540年,是明代學者王應電(以下簡稱王氏)編著的一部字書,包括卷之首三卷、正文八卷及附錄,共三大部分。附錄部分為音韻研究,約占全書四分之一,其餘正文八卷及卷之首三卷均為文字研究。該書文字研究部分以“取古文諸書正小篆之謬”為宗旨收字,並將所收字按意義類屬編排,即天文、地理、人容、人道、人體、動物、植物、用物等。從對所收字的編排及解說等角度可
自动机是计算理论的最简单数学模型,在经典计算理论中占有重要的地位.加权自动机是目前含盖面最广泛的一类自动机模型.根据权(半环)的结构选择的不同,加权自动机可以含盖经典自动机、概率自动机、模糊自动机、以及量子自动机等.而语言理论与自动机理论有紧密的关系.作为自动机接受的语言一一正则语言,其广泛应用于自然语言处理、语音识别、模型检测等领域.本文将针对某些特殊的半环(如:模糊半环,即权值取之于[0,1]
谱自仿测度的概念首先由Jorgenden和Pedersen引入,1998年他们给出了第一个具有分形支撑的谱自仿测度的例子,于是人们猜测和谐对可以生成谱自仿测度,紧接着关于和谐对生成谱自仿测度的问题吸引了大量数学爱好者的兴趣.本文也正是围绕和谐对展开研究.一方面,研究了对给定的扩张整矩阵M,存在整数集D使得μM,D成为谱测度的条件.另一方面,研究了一维空间的某些谱Cantor测度.在谱测度的许多重要
近几十年来,各种各样的生物模型一直被数学家和生物学家所关注.特别地,研究空间分布不均匀是一个非常热门的课题,比如考虑带有扩散项,带有交叉扩散项的生物模型,已经被许多学者所研究.随着非线性泛函分析和非线性偏微分方程的发展,特别是反应扩散方程的长足的发展,使得生态模型的定性分析进入了一个新的发展阶段,取得了一些更有实际价值的成果.本文主要应用非线性泛函分析和非线性偏微分方程的理论,特别是反应扩散方程和
Domain理论作为理论计算机科学中程序设计语言的指称语义学的数学基础,由Scott在20世纪60年代末70年代初建立以来,已取得了丰富的成果.序和拓扑的相互结合、相互作用是这一理论的基本特征.正是这一特征使Domain理论成为理论计算机科学和数学研究者共同关注的领域,也使这一理论具有广泛的应用空间.自从Scott拓扑被提出后,Domain理论的研究与T0空间紧紧的联系在了一起.特别是2013年以
算子理论与算子代数是泛函分析的一个重要研究领域,其中算子的谱理论在矩阵论,函数论,微分方程,控制理论以及量子物理等领域都有着广泛的应用,由此衍生的具有不同代数特征的算子的谱结构,代数结构,以及几何结构等相关问题成为了学者们研究的热点问题.满足Weyl型定理的算子是其中一类重要且非常经典的算子,它能较好的反映算子各种谱的分布特点以及几何特征.另一方面,正交投影作为微分几何的重要研究对象,与正交投影有
随着社会现代化进程的加快,童年时期缺乏父母陪伴的现象越来越严重。这种陪伴缺失对儿童成年后社会行为产生的影响也逐渐成为社会问题。父母和孩子的联系对后代的成长和发育是非常重要的。早期的生活压力增加了成年后患精神疾病(比如焦虑,抑郁,药物成瘾,压力的过高反应等)的风险。亲子依恋是指产生于婴儿和照料者之间的,一种相互的持久的情感联系或联结。在早期,孩子对父母的依恋包括生理依恋和情感依恋。孩子一出生主要以生
细胞中有不同类型的膜结构,其中之一是由磷脂的同心膜所组成的髓磷脂结构,髓磷脂在细胞内的状态(脂质-水系统)已被描述为生物膜的液晶结构,被用来研究细胞膜的结构。髓鞘由磷脂和髓鞘蛋白组成,髓鞘蛋白主要分为髓鞘蛋白脂蛋白(Myelin Protein Lipoprotein,MPLP)和髓鞘碱性蛋白(Myelin Basic Protein,MBP),MBP是髓鞘主要蛋白之一,强碱性膜蛋白,约占髓鞘蛋白
强激光场中物质的高次谐波辐射是当前强场物理领域关注的热点问题之一。首先,利用谐波辐射可以得到阿秒脉冲,而后者在科学技术中有广泛的应用。此外,利用谐波辐射可以在超快时间尺度内实现分子的轨道成像,这对理解化学反应具有重要的意义。从真实分子的角度考虑,由于核的运动会产生许多复杂的效应和机制,如核的运动与电子运动的耦合会影响谐波的产生强度和频率,为了能更深入理解核的运动对这些现象产生影响的机制,人们迫切需
在运筹学、控制论、科学计算与工程技术等领域中,通常需要求解一类大规模稀疏的鞍点问题.由于这类问题具有规模巨大、病态严重等特征,其求解会面临耗时多、存储空间大和计算复杂度高等困难.因此,建立耗时短、计算量小且数值稳定的算法是解决这些困难的关键.而迭代法具有保持矩阵的稀疏性、节省内存开销、易于编程实现等优点,所以研究求解鞍点问题的迭代法越来越受到广泛关注.众所周知,收敛性和收敛速度是算法应用的理论依据