×
马雷克·索尔文;吉勒拉克，罗马人

带有谓词的自然量子操作语义。 （英语） Zbl 1200.68118号

国际期刊申请。数学。计算。科学。 18，第3号，341-359（2008）.
摘要：给出了有限量子计算系统中量子谓词和量子标记跃迁系统的一般定义。发展了量子谓词作为正算子值测度的概念。本文的主要结果是关于定义为完全正映射的量子程序的广义谓词的存在性的定理和关于量子标记跃迁系统的GSOS格式的存在性的定理。第一个定理是D'Hondt和Panagaden关于离散支持正算子值测度的量子最弱前提的定理的一个轻微推广。

引用于1文件

MSC公司：

2005年第68季度 计算模型（图灵机等）（MSC2010）
68号30 软件工程的数学方面（规范、验证、度量、需求等）
2010年第68季度 计算模式（非确定性、并行、交互式、概率性等）
68问题55 计算理论中的语义学
81页68 量子计算

关键词：

量子计算;量子标记跃迁系统;量子谓词

软件：

QPL公司;LanQ公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Sawerwain}和\textit{R.Gielerak}，国际期刊应用。数学。计算。科学。18，第3号，341--359（2008；Zbl 1200.68118）
全文： 内政部 欧洲DML
OA许可证

参考文献：

[1] Aceto L.（1994）。GSOS和有限标记跃迁系统，理论计算机科学131（1）：181-195·Zbl 0822.68060号 ·doi:10.1016/0304-3975（94）90094-9
[2] de Bakker J.W.，de Roever W.P.（1972年）。递归程序方案的微积分，见：M.Nivat，《自动机、语言和编程》，荷兰阿姆斯特丹北荷兰特，第167-196页·Zbl 0238.68006号
[3] de Bakker J.W.、Meertens L.G.L.T.（1975年）。关于归纳断言方法的完整性，《计算机与系统科学杂志》11（3）：323-357·Zbl 0353.68040号 ·doi:10.1016/S0022-0000（75）80056-0
[4] Bennett C.H.、Brassard G.、Crepeau C.、Jozsa R.、Peres A.和Wooters W.K.（1993年）。通过双重经典和爱因斯坦-波尔斯基-罗森通道传送未知状态，《物理评论快报》70（13）：1895-1899·Zbl 1051.81505号 ·doi:10.1103/PhysRevLett.70.1895
[5] Birkhoff G.和von Neumann J.（1936年）。量子力学的逻辑，《数学年鉴》37（4）：823-843·Zbl 0015.14603号 ·doi:10.2307/1968621
[6] Bloom B.（1989）：《就绪模拟、互模拟和类CCS语言的语义》，麻省理工学院博士论文。
[7] Bloom B.、Istrail S.、Meyer A.R.（1989年）。无法追踪双模拟：初步报告，第15届ACM编程语言原理年度研讨会会议记录，美国加利福尼亚州圣地亚哥，第229-239页·Zbl 0886.68027号 ·doi:10.1145/200836.200876
[8] Boschi D.、Branca S.、de Martini F.、Hardy L.和Popescu S.（1998年）。通过双经典和Einstein-Poolsky-Rosen通道传送未知纯量子态的实验实现，《物理评论快报》80（6）：1121-1125·Zbl 0947.81004号 ·doi:10.1103/PhysRevLett.80.1121
[9] Bouwmeester D.、Pan J.W.、Mattle K.、Eibl M.、Weinfurter H.和Zeilinger A.（1997年）。实验量子隐形传态，Nature390（6660）：575-579·Zbl 1369.81006号
[10] Choi M.D.（1975年）。复矩阵上的完全正线性映射，线性代数及其应用10（3）：285-290·Zbl 0327.15018号 ·doi:10.1016/0024-3795（75）90075-0
[11] Coecke B.和Martin K.（2002年）。经典和量子态的偏序，技术报告，PRG-RR-02-07，牛津大学·Zbl 1253.81008号 ·doi:10.1007/978-3-642-12821-9_10
[12] Deutsch D.和Jozsa R.（1992年）。通过量子计算快速解决问题，伦敦皇家学会学报A，439（1907）：553-558·Zbl 0792.68058号 ·doi:10.1098/rspa.1992.0167
[13] Dijkstra E.W.（1976年）。《编程学科》，Prentice Hall，新泽西州恩格尔伍德悬崖·Zbl 0368.68005号
[14] D'Hondt E.和Panangaden P.（2006年）。量子最弱的前提条件，计算机科学中的数学结构16（3）：429-451·Zbl 1122.68058号 ·doi:10.1017/S0960129506005251
[15] Gielerak R.和Sawerwain M.（2007年）。广义量子最弱前提条件，可从以下网址获得：·Zbl 1197.81047号 ·doi:10.1007/s11128-009-0151-8
[16] Gleason A.M.（1957）。希尔伯特空间闭子空间的测度，数学与力学杂志6（4）：885-893·Zbl 0078.28803号
[17] Grover L.K.（1996）。用于数据库搜索的快速量子力学算法，第28届美国计算机学会计算理论年会论文集，美国宾夕法尼亚州费城，美国计算机学会出版社，纽约州纽约市，第212-219页·Zbl 0922.68044号
[18] Hirvensolo M.（2001年）。量子计算，柏林斯普林格·弗拉格·Zbl 0976.68063号
[19] Hoare C.（1969）。计算机编程的公理基础，ACM12的通信（10）：576-583·Zbl 0179.23105号 ·doi:10.1145/363235.363259
[20] Jozsa R.（2005）。基于测量的量子计算简介，网址：
[21] Kraus K.（1983）。柏林施普林格州，国家，效果和行动。
[22] Kak S.（2003）。只需要一个经典比特的远程传输协议，可在以下网址获得：
[23] Lalire M.、Jorrand P.（2004）。并发和分布式量子计算的过程代数方法：操作语义，第二届量子编程语言国际研讨会论文集，芬兰图尔库，第109-126页。
[24] Löwner K.（1934）：《单调矩阵》，《数学》38（1）：177-216·Zbl 0008.11301号 ·doi:10.1007/BF01170633
[25] Mlnařík H.（2006）：量子编程语言LanQ的LanQ操作语义，技术报告FIMURS-2006-10，网址：
[26] Mauerer W.（2005）。量子编程中通信的语义和模拟，纽伦堡埃伦根大学埃伦根纽伦堡分校理科硕士论文，见：
[27] 厄默·B（2005）。量子编程中的经典概念，《国际理论物理杂志》，44（7）：943-955，见：·Zbl 1119.81316号 ·doi:10.1007/s10773-005-7071-x
[28] Peres A.（1995年）。《量子理论：概念和方法》，Kluwer学术出版社，多德雷赫特·Zbl 0867.00010号
[29] Plotkin G.D.（2004）。操作语义的结构方法，《逻辑与代数编程杂志》60:17-139·Zbl 1082.68062号 ·doi:10.1016/j.jlap.2004.05.001
[30] Raynal P.（2006）。量子信息理论中两个密度矩阵的明确状态判别，光学研究所博士论文，information und Photonik，Max Planck Forschungsgruppe，见：
[31] Rüdiger R.（2007）。量子编程语言：介绍性概述，《计算机杂志》50（2）：134-150。
[32] Raussendorf R.、Briegel H.J.（2001）。单向量子计算机，《物理评论快报》86（22）：5188-5191，参见：·doi:10.1103/PhysRevLett.86.5188
[33] Raussendorf R.、Browne D.E.、Briegel H.J.（2003）。基于测量的簇态量子计算，物理评论A，68（2），022312，见：·doi:10.1103/PhysRevA.68.022312
[34] Sawerwain M.、Gielerak R.和Pilecki J.（2006年）。量子计算的操作语义，见：Wȩgrzyn S.，Znamirowski L.，Czachórski T.，Kozielski S.，《计算机网络新技术》，WKiŁ，华沙，第1卷，第69-77页，（波兰语）。
[35] Selinger P.：（2004）：走向量子编程语言，计算机科学中的数学结构14（5）：527-586·Zbl 1085.68014号 ·doi:10.1017/S0960129504004256
[36] Selinger P.：（2004）。走向高阶量子计算的语义，《第二届量子编程语言国际研讨会论文集》，芬兰图尔库，第127-143页。
[37] Sewell G.：（2005）。关于量子测量理论的数学结构，《数学物理报告》56（2）：271-290，见：·兹比尔1086.81016 ·doi:10.1016/S0034-4877（05）80074-6
[38] Shor P.（2004）。量子算法进展，量子信息处理3（1）：5-13·Zbl 1075.68602号 ·doi:10.1007/s11128-004-3878-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。