量子态的相干叠加是量子力学的重要特征,同时也是量子计算能够实施的重要资源.由于噪声的影响,量子比特系统的相干性不能长时间的保持.有噪量子信道能够多大程度的保持量子相干性?本文利用相对熵相干性度量,首先讨论两...
纠缠(entanglement)一直以来被认为是量子计算与量子信息的最重要的资源.但最近的研究表明,没有纠缠也可以进行非经典计算,比如：DQC1模型(the deterministic quantum computation with one qubit)这表明纠缠并不能完...
针对使用不同方式定量地刻画少量可信信息更改的可容忍性问题,通过实例分析比较香农熵、最小熵和信念等度量方式,提出一种能够适用于大多数攻击情形的度量方式.通过将程序建模为通信信道,根据Clarkson建立的信息流完整...
通过讨论量子失协的上界,给出可达熵量子关联态的一个必要条件.对于双量子比特系统,利用可获得经典关联的最佳测量定义了关联方向上最小的量子失协,分析得到该度量是量子失协很好的逼近结果.最后,讨论量子关联的动力学...
本文首先给出非正交基下线性算子的外积表示,其次通过引入Gram矩阵给出线性算子在非正交基下矩阵表示和外积表示的系数矩阵之间的关系,再次讨论了非正交基下恒等算子的完备性关系,最后给出了几类线性算子的运算。
量子线路模型是使用最广泛的量子计算模型,它对于量子算法的构造和量子计算机的物理实现提供了一个基本框架.利用测量演算和分布式量子计算的基本思想,提出了测量量子线路模型(measurement quantum circuits model).测...
席政军 李永明 《计算机研究与发展》 2011年11期 期刊
如何处理好习题课是当前形势下线性代数教学中值得关注的一个方面。矩阵的秩是线性代数的一个重要概念。与矩阵的秩相关的证明题是非常难的,掌握它们的证明能很好地培养学生数学思维能力。本文将重点介绍在习题课教学...
量子Mealy自动机和量子Moore自动机的等价 CNKI文献
随着大数分解的量子算法和量子搜索算法的给出,量子计算进入了一个全新的迅速的发展时期.量子自动机是近十年来兴起的量子计算理论,是一个很活跃的研究领域,量子自动机的研究已经相当丰富.首先定义了字符集上的有限维...
席政军 王鑫... 《计算机研究与发展》 2009年09期 期刊
关键词： Fock空间 / 量子Mealy自动机 / 量子Moore自动机 / 密度算子
下载（146）| 被引（3）
量子测量诱发量子系统的扰动使得它与辅助系统以及测量装置之间的关联发生了变化.本文使用熵交换与量子失协,在间接测量模型中,讨论测量诱发的关联分布,并得到全关联和量子关联的平衡关系.最后讨论局部操作导致量子失...
本文通过几何模型与线性代数之间的关系,重点讨论几何模型在线性代数中的应用,并对线性代数课堂教学进行了初步探讨。
Pairwise Quantum Correlations for Superpositions of Di... CNKI文献
Pairwise correlation is really an important property for multi-qubit states.For the two-qubit X states extracted from Dicke states and their superposition states,we obtain a compact expression of the...
席政军 熊恒娜... 《Communications in Theoretical Physics》 2012年05期 期刊
关键词： quantum / correlation / quantum / discord
下载（26）| 被引（0）
首先给出了量子最弱自由前置条件(weakest liberal precondition,简称wlp)wlp(A,B,C)-可交换的定义,研究了wlp(A,B,C)-可交换的充分必要条件;其次,得到了wlp不是良好的谓词转换,验证了wlp是比量子最弱前置条件(weakes...
关键词： 量子谓词 / 超算子 / 量子最弱自由前置条件 / 交换
下载（123）| 被引（6）
本文首先就广义量子loop程序(简记为GQLoop)的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信道描述时,对它的终止(几乎终止)问题进行了研究.其次,讨论了两类GQLoop程序相互嵌套时loop程序的终止(几乎终止)的问题.研...
关键词： 广义量子loop程序 / 量子运算 / 终止 / 几乎终止
下载（48）| 被引（7）
在实际计算机系统中可信信息不可避免地会被更改,因此有必要定量刻画信息的完整性,目的在于度量有多少的更改是可容忍的.本文针对攻击者能够一次最大可能更改可信信息的情况,结合信息流完整性模型,将程序建模为信道,使...
主要研究参数化的广义量子通用相位门,给出了单比特量子门、双比特量子门以及三比特量子门的参数化构造。证明参数化的广义量子门和M.Nielsen给出的广义量子门是等价的。举例说明了参数化的广义量子通用门在量子计算中...
Monogamy of Measurement-Induced Nonlocality Based on R... CNKI文献
In this paper, using relative entropy, we study monogamous properties of measurement-induced nonlocality based on relative entropy. Depending on different measurement sides, we provide necessary and ...
罗宇 席政军... 《Communications in Theoretical Physics》 2014年11期 期刊
关键词： measurement-induced / nonlocality / relative / entropy
下载（20）| 被引（0）
基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况进行了详细的讨论。研究表明,由这些量子信...
在经典计算中,Loop程序是非常重要的程序。对量子计算中Loop程序进行研究非常必要。定义了体为量子运算的广义量子Loop程序,给出了量子Loop程序在输入态上终止,几乎终止以及不终止的定义基于任意的初始态。并证明了量...
Remark on the One-Way Quantum Deficit for General Two-... CNKI文献
We reinvestigate the one-way quantum deficit,which is a measure of quantum correlation emerging from a thermodynamical approach.We give a tight upper bound of the one-way quantum deficit for general ...
邵连合 席政军... 《Communications in Theoretical Physics》 2013年03期 期刊
关键词： quantum / correlation / quantum / deficit
下载（31）| 被引（0）
本文详细的总结了重因式、零点和重根之间的关系,用简洁的方法证明了它们之间的关系,并推理了它们之间的充要条件;通过这些证明与推理的结论得到了求重根的一般方法。
