吉勒拉克,罗马人;马雷克锯文 广义量子最弱的前提条件。 (英语) Zbl 1197.81047号 量子信息处理。 9,第4期,441-449(2010). 小结:推广了D'Hondt和Panangaden的量子最弱前提结果。特别地,引入了量子谓词作为正算子值测度(POVM)的最一般概念。将已知的量子最弱前提结果推广到POVM充当量子谓词的情况。此外,我们的结果在无限维情况下是有效的,并且对于定义为量子态的正但不一定完全正变换的量子程序也是有效的。 引用于4文件 理学硕士: 81页第10页 量子力学的逻辑基础;量子逻辑(量子理论方面) 第81页,共15页 量子测量理论、态操作、态准备 28个B05 向量值集函数、测度和积分 46国集团10 向量值测度与集成 关键词:完全正变换 软件:质量管理清单;qGCL公司;QPL公司 PDF格式BibTeX公司 XML格式引用 \textit{R.Gielerak}和\textit{M.Sawerwain},量子信息处理。9,第4号,441--449(2010;Zbl 1197.81047) 全文: 内政部 arXiv公司 参考文献: [1] Betelli S.、Serafini L.、Calarco T.:走向量子编程的架构。欧洲物理学。J.25,181–200(2003)arXiv:cs/0103009 [2] Birkhoff G.,von Neumann J.:量子力学的逻辑。安。数学。37, 823–843 (1936) ·doi:10.2307/1968621 [3] Braunstein S.L.,Pati A.K.:连续变量的量子信息。Kluwer学术出版社,多德雷赫特(2003)·Zbl 1013.00018号 [4] Braunstein S.L.,van Loock P.:连续变量的量子信息。修订版Mod。物理学。77, 513–577 (2005) ·Zbl 1205.81010号 ·doi:10.1103/RevModPhys.77.513 [5] Brennecke F.、Donner T.、Ritter S.、Bourdel T.、Köne M.、Esslinger T.:玻色-爱因斯坦凝聚体腔QED。《自然》450,268–271(2007)·doi:10.1038/nature06120 [6] Buscemi F.、D'Ariano G.M.、Keyl M.、Perinotti P.、Werner R.F.:清洁正算子值测度。数学杂志。物理学。46(8),082109(2005)arXiv:quant-ph/0505095v5·Zbl 1110.81025号 ·doi:10.1063/1.2008996 [7] Carteret H.A.,Terno D.R。Zyczkowski K.:超越完全正映射的动力学:一些性质和应用。物理学。版本A 77,042113(2008)arXiv:quant-ph/0512167v3·doi:10.1103/PhysRevA.77.042113 [8] Choi M.D.:复矩阵上的完全正线性映射。线性代数应用。10, 285–290 (1975) ·Zbl 0327.15018号 ·doi:10.1016/0024-3795(75)90075-0 [9] Dalla Chiara,M.L.:量子逻辑。收录于:Gabbay,D.M.,Guenthner,F.(编辑)《哲学逻辑手册》,第三卷,第427-469页(1986年)。修订版本:《哲学逻辑手册》,第6卷,第2版。,第129-228页,多德雷赫特Kluwer(2001)·Zbl 0875.03084号 [10] Dalla Chiara M.L.:量子逻辑和物理模态。J.菲洛斯。逻辑6391–404(1977)·Zbl 0368.02033号 ·doi:10.1007/BF00262076 [11] de Bakker,J.W.,de Roever W.P.:递归程序方案的微积分。收录于:《自动化、语言和编程》,第167-196页。荷兰北部阿姆斯特丹(1972年)·Zbl 0238.68006号 [12] de Bakker J.W.,Meertens L.G.L.T.:关于归纳断言方法的完备性。J.计算。系统。科学11(3),323–357(1975)·Zbl 0353.68040号 ·doi:10.1016/S0022-0000(75)80056-0 [13] D'Hondt E.,Panangaden P.:量子最弱的前提条件。数学。结构。计算。科学。16(3), 429–451 (2006) ·Zbl 1122.68058号 ·doi:10.1017/S0960129506005251 [14] Dijkstra E.W.:编程学科。普伦蒂斯·霍尔(Prentice-Hall),恩格伍德悬崖(Englewood Cliffs)(1976年)·Zbl 0368.68005号 [15] Ficek Z.,Tanas R.:双原子系统中的纠缠态和集体非经典效应。物理学。代表372(6)、369–443(2002)·Zbl 0999.81009号 ·doi:10.1016/S0370-1573(02)00368-X [16] Gay S.J.:量子编程语言:调查和参考书目。计算机科学中的数学结构16(4),581–600(2006)·Zbl 1122.68021号 ·doi:10.1017/S09601290506005378 [17] Grattage,J.:QML:一种功能量子编程语言。博士。论文(2006) [18] Gruska J.:量子计算。McGraw-Hill,纽约(1999) [19] Hennessy K.等人:单量子点腔系统的量子性质。《自然》445896–899(2007)·doi:10.1038/nature05586 [20] Hoare C.:计算机编程的公理基础。Commun公司。ACM 12,576–583(1969)·Zbl 0179.23105号 ·doi:10.1145/363235.363259 [21] Kielpinski D.:离子阱量子信息处理:实验状态。前面。物理学。中国3(4),365–381(2008)·doi:10.1007/s11467-008-0034-y [22] Kraus K.:状态、效果和操作。柏林斯普林格·弗拉格(1983)·Zbl 0545.46049号 [23] 麦基·G:量子力学的数学基础。W.A.Benjamin,纽约(1963年)·Zbl 0114.44002号 [24] Majewski W.A.:关于自旋链上的非完全正量子动力学映射。物理学。A: 数学。西奥。40、11539–11545(2007)arXiv:quant-ph/0606176v2·Zbl 1122.81049号 ·doi:10.1088/1751-8113/40/38/006 [25] Nielsen M.,Chuang I.L.:量子计算与量子信息。剑桥大学出版社,剑桥(2000)·Zbl 1049.81015号 [26] 厄默,B.:结构化量子编程。博士。论文,奥地利维也纳技术大学(2003) [27] 厄默B:量子编程中的经典概念。国际物理杂志。44(7), 943–955 (2005) ·Zbl 1119.81316号 ·doi:10.1007/s10773-005-7071-x [28] Paulsen V.:完全有界映射和算子代数。剑桥大学出版社,剑桥(2003) [29] Piron P.:量子物理学基础。W.A.Benjamin,纽约(1976年)·Zbl 0333.46050号 [30] Ralph T.C.、Gilchrist A.、Milburn G.J.、Munro W.J.、Glancy S.:光学相干态的量子计算。物理学。修订版A 68,042319(2003)·doi:10.1103/PhysRevA.68.042319 [31] Sanders,J.W.,Zuliani,P.:量子编程。摘自:《程序构造数学》,Springer LNCS 1837,第80–99页·Zbl 0963.68037号 [32] Sawerwain M.,Gielerak R.:带有谓词的自然量子操作语义。国际期刊申请。数学。计算。科学。18(3), 341–359 (2008) ·Zbl 1200.68118号 ·数字对象标识代码:10.2478/v10006-008-0031-x [33] Selinger P.:走向量子编程语言。数学。结构。计算。科学。14(4),527–586(2004年)·Zbl 1085.68014号 ·doi:10.1017/S0960129504004256 [34] 西蒙B:现代数学物理方法。纽约学术出版社(1970) [35] Zuliani P.:编译量子程序。信息学报。41(7–8), 435–474 (2005) ·Zbl 1079.68020号 ·doi:10.1007/s00236-005-0165-3 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。