×
姆拉丹·帕维奇奇；布伦丹·D·麦凯。；诺曼·D·梅吉尔。；克雷什米尔·弗雷尔

量子系统的图形方法。 （英语） Zbl 1314.81024号

数学杂志。物理。 51，第10期，第102103页，第31页（2010年）.
摘要：利用量子系统的图论方法，我们发现文献中对三维Kochen-Spicker（KS）装置的描述以及利用格里奇图（一种晶格）对三维自旋系统的描述是错误的。给出了由McKay-Megill-Pavicic（MMP）超图和Hilbert子空间方程生成的正确格。通过我们最近发现的剥离技术，二部图生成用于为我们提供具有相等数量的元素和块（元素的正交三元组）的格-最多41个。我们获得了关于此类格和超图的几个新结果，特别是关于迭加和正交方程等性质的结果。{
©2010美国物理研究所}

引用于5文件

MSC公司：

第81页第13页 量子理论中的语境
05C15号 图和超图的着色
05C65号 Hypergraphs（Hypergraph）

软件：

鹦鹉螺；BGL公司；渐近线；促进
PDF格式BibTeX公司 XML格式引用
\textit{M.Pavić}等人，《数学杂志》。物理。51，第10期，第102103页，第31页（2010年；Zbl 1314.81024）
全文： 内政部 arXiv公司 链接

参考文献：

[1] Beltrametti，E.G。；卡西内利，G.，《量子力学的逻辑》（1981）·Zbl 0504.03026号
[2] Holland，S.S.Jr.，公牛。美国数学。《社会学杂志》，32，205（1995）·Zbl 0856.11021号 ·doi:10.1090/S0273-0979-1995-00593-8
[3] Birkhoff，G。；冯·诺依曼，J.，《数学年鉴》。，37, 823 (1936) ·JFM 62.1061.04标准 ·doi:10.2307/1968621
[4] 索勒，M.P.，Commun。代数，23219（1995）·Zbl 0827.46019号 ·doi:10.1080/00927879508825218
[5] Hultgren，B.O.III；Shimony，A.，J.数学。物理。，18381（1977年）·doi:10.1063/1.523280
[6] Hultgren，B.O.III，可验证命题的格（1974）
[7] Svozil，K。；Tkadlec，J.，J.数学。物理。，37, 5380 (1996) ·Zbl 0862.03041号 ·doi:10.1063/1.531710
[8] Svozil，K.，《量子逻辑、离散数学和理论计算机科学》（1998）·Zbl 0989.81521号
[9] Tkadlec，J.，《国际法学杂志》。物理。，37, 203 (1998) ·Zbl 0906.03064号 ·doi:10.1023/A:1026646229896
[10] Tkadlec，J.，《国际法学杂志》。物理。，39, 921 (2000) ·Zbl 0967.03057号 ·doi:10.1023/A：1003695317353
[11] Tkadlec，J。；Holland，W.C.，《有序代数结构：南京》；南京会议论文集，代数，逻辑和应用，16，153-158（2001）·兹比尔1038.06503
[12] 史密斯·D·J·物理。A、 363899（2003）·Zbl 1050.81005号 ·doi:10.1088/0305-4470/36/13/319
[13] Foulis，D.J。；阿尔茨，D。；Pykacz，J.，《量子结构与现实的本质》，《会议记录：爱因斯坦与马格里特的靛蓝之书》，1-36（1999）·Zbl 0933.00053号
[14] 帕维奇奇，M。；梅雷特，J.-P。；梅吉尔，N.D.（2004）
[15] Pavičić，M.，众议员数学。物理。，64, 417 (2009) ·Zbl 1204.81017号 ·doi:10.1016/S0034-4877（10）00005-4
[16] 帕维奇奇，M。；北卡罗来纳州梅吉尔。；Merlet，J.-P.，《物理学》。莱特。A、 3742122（2010）·Zbl 1237.81011号 ·doi:10.1016/j.physleta.2010.03.019
[17] 梅吉尔，N.D。；Pavičić，M.，国际法学博士。物理。，39, 2337 (2000) ·Zbl 0981.81013号 ·doi:10.1023/A:1026461417704
[18] Mayet，R.，《国际法学杂志》。物理。，45, 1216 (2006) ·Zbl 1102.81018号 ·doi:10.1007/s10773-006-9059-6
[19] 帕维奇奇，M。；梅吉尔，N.D。；Engesser，K。；Gabbay博士。；Lehmann，D.，《量子逻辑和量子结构手册》，第卷，量子结构，751-787（2007）·Zbl 1119.81005号
[20] 梅耶，R。；Engesser，K。；Gabbay博士。；Lehmann，D.，《量子逻辑和量子结构手册》，525-554（2007）·Zbl 1119.81005号 ·doi:10.1016/B978-044452870-4/50034-0
[21] 梅吉尔，N.D。；Pavić，M.，Ann.Henri Poincare，101335（2010年）·Zbl 1213.81022号 ·doi:10.1007/s00023-009-0019-6
[22] A.R.斯威夫特。；Wright，R.，J.数学。物理。，21, 77 (1980) ·doi:10.1063/1.524312
[23] Kochen，S。；Specker，E.P.，J.数学。机械。，17, 59 (1967) ·Zbl 0156.23302号
[24] Smith，D.，《有限生成量子逻辑》（1999）
[25] Smith，D.，国际J.Theor。物理。，43, 2023 (2004) ·兹比尔1072.81007 ·doi:10.1023/B:IJTP.000049007.77597.9f
[26] 皮托夫斯基，I.，菲洛斯。科学。，49, 380 (1982) ·doi:10.1086/289067
[27] Pitowski（参考文献26，第392页）说：“Kochen和Specker（1967）构建了一个L的有限生成子格L'，其中不存在真值函数”，但他和Kochen以及Specker都没有给出这样一个格的蓝图，也就是说，我们没有他们的构造性定义。
[28] 佩雷斯，A.，J.Phys。A、 24，L175（1991）·Zbl 0770.46034号 ·doi:10.1088/0305-4470/24/4/003
[29] 科纳根，M.，J.Phys。A、 27，L829（1994）·doi:10.1088/0305-4470/27/21/007
[30] Bub，J.，发现。物理。，26, 787 (1996) ·doi:10.1007/BF02058633
[31] 帕维奇奇，M。；北卡罗来纳州梅吉尔。；Aravind，P.K.，《关于关键的Kochen-Spicker集》·Zbl 1314.81025号
[32] 舒尔茨，F.W.，J.库姆。理论，Ser。A、 17317年（1974年）·Zbl 0317.06007号 ·doi:10.1016/0097-3165（74）90096-X
[33] 纳瓦拉，M.，国际期刊Theor。物理。，47, 36 (2008) ·Zbl 1147.81004号 ·doi:10.1007/s10773-007-9415-1
[34] 哈马，A。；Ioniciou，R。；Zanardi，P.，物理学。版本A，72，012324（2005）·Zbl 1227.81077号 ·doi:10.1103/PhysRevA.72.012324
[35] Chen，K。；Lo，H.-K.，量子信息计算。，7, 689 (2007) ·Zbl 1152.81691号
[36] 海因，M。；艾瑟特，J。；布里格尔，H.J.，物理。版本A，69，062311（2004）·Zbl 1232.81007号 ·doi:10.1103/PhysRevA.69.062311
[37] 科森蒂诺，A。；Severini，S.，物理学。版本A，80，052309（2009）·doi:10.1103/PhysRevA.80.052309
[38] 卡内罗，I。；卢，M。；Xu，X。；Girerd，M。；V.Kendon。；Knight，P.L.、New J.Phys.、。，7, 156 (2005) ·doi:10.1088/1367-2630/7/156
[39] Reichardt，B.W.，Span程序和量子查询复杂性：对于每个布尔函数，一般的对手边界几乎都很紧·Zbl 1292.68070号
[40] 北卡罗来纳州梅吉尔。；发现Pavić，M。物理。，32, 357 (2002) ·doi:10.1023/A:1014857228326
[41] 有关本节中使用的术语的其他定义，请参见参考文献。1、2和45。
[42] 艾弗特，P.-A。；Sjödin，T.，Helv。物理。《学报》，51，635（1978）
[43] Isham，C.J.，量子理论讲座（1995）·Zbl 0875.81001号
[44] Halmos，P.R.，《希尔伯特空间和光谱多重性的光谱理论导论》（1957）·Zbl 0079.12404号
[45] Kalmbach，G.，《正交模晶格》（1983）·JFM 44.0201.10号
[46] Mittelstaedt，P.，量子逻辑，综合图书馆，126（1978）·Zbl 0411.03059号
[47] Mackey，G.W.，《量子力学的数学基础》（1963年）·Zbl 0114.44002号
[48] 太平洋地区医学博士麦克拉伦。数学杂志。，14, 597 (1964) ·Zbl 0122.02201号
[49] Varadarajan，V.S.，量子理论几何，1（1968）·Zbl 0155.56802号
[50] 格里奇，R.J。；Beltrametti，E.G。；van Fraassen，B.C.，《量子逻辑研讨会论文集》，375-380（1981）
[51] 吉普森，P。；Rose，H.，《晶格的变化》（1992）·Zbl 1380.06004号
[52] 因为存在可以为特定设置预先确定的量子状态——可重复测量。
[53] Godowski，R.，演示数学。，14, 725 (1981) ·Zbl 0483.06007号
[54] Mayet，R.，代数大学。，20, 368 (1985) ·Zbl 0581.06006号 ·doi:10.1007/BF01195144
[55] Zeman，J.J.，Notre Dame J.形式逻辑，20723（1979）·Zbl 0426.03066号 ·doi:10.10305/ndjfl/1093882792
[56] Beran，L.，正交模格；代数方法（1985）·Zbl 0558.06008号
[57] 麦凯，B.D。；北卡罗来纳州梅吉尔。；Pavičić，M.，国际法学博士。物理。，39, 2381 (2000) ·Zbl 0981.81012号 ·doi:10.1023/A:1026476701774
[58] 帕维奇奇，M。；梅雷特，J.-P。；麦凯，B.D。；梅吉尔，N.D.，J.Phys。A、 38、1577（2005）·Zbl 1065.81006号 ·doi:10.1088/0305-4470/38/7/013
[59] 格里奇，R.J.，J.库姆。理论，Ser。A、 10119（1971）·Zbl 0219.06007号 ·doi:10.1016/0097-3165（71）90015-X
[60] Pavićić，M.，Primošten会议（2009年）
[61] Peres，A.，《量子理论：概念和方法》（1993）·兹比尔0820.00011
[62] 拉尔森，J.奥勒。，欧罗普提斯。莱特。，58, 799 (2002) ·doi:10.1209/epl/i2002-00444-0
[63] Mayet，R.，代数大学。，23, 167 (1986) ·Zbl 0618.06003号 ·doi:10.1007/BF01237719
[64] 麦凯，B.D。；Myrvold，W。；Nadon，J.，第九届ACM-SIAM离散算法年会，188-191（1998）·Zbl 0930.68106号
[65] Exo，G.、McKay，B.D.、Myrvold，W.和Nadon，J.、J.Disc。藻类。，（印刷中）；电子打印arXiv:1009.3608。
[66] McKay，B.D.（1990）
[67] 梅吉尔，N.D。；Pavičić，M.，Mayet Godowski Hilbert格方程
[68] 仅允许一个状态的OML的最大循环与允许两个或更多状态的OMLs的平均循环既不显著小于也不显著大于。因此，这两个属性都没有对OML施加重大限制条件。
[69] Siek，J.和Quan Lee，L.，Boost图形库（2000-01）。
[70] Hammerlindl，A.、Bowman，J.和Prince，T.，《符号：矢量图形语言》（2004-08）。
[71] Pták，P.，大学数学。，54, 1 (1987) ·Zbl 0639.03063号
[72] 韦伯，H.，J.数学。分析。申请。，183, 89 (1994) ·Zbl 0797.06010号 ·doi:10.1006/jmaa.1994.1133
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。