雅罗斯·瓦·皮卡奇;瓦拉什科娃,乌比卡;奥尔加,纳纳西奥娃 正交模格上二元映射的Bell型不等式。 (英语) 兹比尔1322.81012 已找到。物理学。 45,第8号,900-913(2015). 在非量子物理中,当测量不必改变被测状态时,很自然地将两个属性(a)和(b)的结合“(a)”和“(b)”定义为它们的交集(满足),即包含在(a)与(b)中的最大属性(c)。根据这种解释,对于每种状态(m\),我们可以将连词“(a\)和(b\)”的概率定义为满足查询(a\楔形b\)的“是”答案的概率(m(a\楔形b)。在量子物理学中,测量改变状态。因此,对于不相容性质\(a)和\(b),对应于满足\(a \楔b \)的概率\(m(a \楔形b)\)不再具有观察到(a \)和(b \)概率的明确物理意义。这种物理意义可以通过概率(p(a,b)来更充分地捕捉,当我们首先测量(a),然后测量(b)时,在这两种情况下都会得到“是”的答案。就这个函数\(p(a,b)\)而言,对查询\(a)的“是”回答的概率\(m(a)\)对应于\(p(a,a)\)。这样一个具有自然性质的函数\(p(a,b)\)可以定义为一般的正交模格;生成的函数\(p(a,b)\)被称为s映射.由于(s)-映射更好地捕获了连接的物理意义,因此在Bell型不等式的公式中,用(s)映射代替meet是合理的。例如,不等式\(m(a)+m(b)-m(a\wedget b)\leq 1)被\(p(a,a)+p(b,b)-p(a,b)\eq 1)替换。事实证明,对于产生的不等式,与带有meet的版本相比,基本不等式总是得到满足的。Bell型不等式的其他映射版本的满足性等价于将映射扩展到三个或更多变量的函数(p(a,b,c,dots))的可能性,这些变量对应于几个后续测量。审核人:弗拉基克·雅。克雷诺维奇(埃尔帕索) 引用于2文件 MSC公司: 81页40页 量子相干、纠缠、量子关联 第81页第10页 量子力学的逻辑基础;量子逻辑(量子理论方面) 关键词:钟形不等式;正交模格;s映射 PDF格式BibTeX公司 XML格式引用 \textit{J.Pykacz}等人,发现。物理学。45,第8号,900--913(2015;Zbl 1322.81012) 全文: 内政部 arXiv公司 OA许可证 参考文献: [1] Al-Adiley,A.,NáNásiová,O.:量子逻辑上的Copula和s-map。信息科学。179, 4199-4207 (2009) ·Zbl 1180.81005号 ·doi:10.1016/j.ins.2009.08.011 [2] Beltrametti,E.,Cassinelli,G.:量子力学的逻辑。Addison-Wesley,雷丁(1981)·Zbl 0491.03023号 [3] Beltrametti,E.,Ma̧czynski,M.:经典和非经典概率问题。国际J.Theor。物理学。31, 1849-1856 (1992) ·Zbl 0776.60002号 ·doi:10.1007/BF00678296 [4] Birkhoff,G.,von Neumann,J.:量子力学的逻辑。安。数学。37, 823-843 (1936) ·Zbl 0015.14603号 ·doi:10.2307/1968621 [5] Dvurečenskij,A.,Länger,H.:正交模格中的Bell型不等式,I.Int.J.Theor。物理学。34, 995-1024 (1995) ·Zbl 0842.03043号 ·doi:10.1007/BF00671363 [6] Dvurečenskij,A.,Länger,H.:正交模格中的Bell型不等式,II。国际J.Theor。物理学。34, 1025-1036 (1995) ·Zbl 0842.03044号 ·文件编号:10.1007/BF00671364 [7] Greechie,R.:不允许状态的正交模格。J.库姆。理论10119-132(1971)·Zbl 0219.06007号 ·doi:10.1016/0097-3165(71)90015-X [8] Hamhalter,J.:量子测量理论。Kluwer,Dordrecht(2003)·Zbl 1038.81003号 ·doi:10.1007/978-94-017-0119-8 [9] Jammer,M.:《量子力学哲学》。Wiley-Interscience,纽约(1974) [10] Khrennikov,A。;Accardi,L.(编辑);等。,违反贝尔不平等和非科尔莫戈罗夫(2009),梅尔维尔·Zbl 1183.81009号 [11] Łukasiewicz,J.:作品选集。北荷兰,阿姆斯特丹(1970)·Zbl 0212.00902号 [12] NáNásiová,O.:量子逻辑同步测量图。国际J.Theor。物理学。42, 1889-1903 (2003) ·Zbl 1053.81006号 ·doi:10.1023/A:1027384132753 [13] NáNásiová,O.,Khrennikov,A.:量子系统上观测值的表示定理。国际J.Theor。物理学。45, 481-494 (2006) ·Zbl 1104.81020号 ·doi:10.1007/s10773-006-9030-6 [14] NáNásiová,O.,Khrennikov,A.:兼容性和边缘性。国际J.Theor。物理学。46, 1083-1095 (2007) ·Zbl 1133.81002号 ·doi:10.1007/s10773-006-9034-2 [15] NáNásiová,O.,Purmannovaá,S.:S地图和贸易状态。信息科学。179515-520(2009年)·Zbl 1161.81311号 ·doi:10.1016/j.ins.2008.07.032 [16] NáNásiová,O.,Valásková,L.:量子逻辑上的映射。软计算。14, 1047-1052 (2010) ·Zbl 1211.03094号 ·doi:10.1007/s00500-009-0483-4 [17] NáNásiová,O.,Valášková,L.:边缘性和三角形不平等。国际J.Theor。物理学。49/3199-3208(2010)·Zbl 1204.81016号 ·doi:10.1007/s10773-010-0414-2 [18] NáNásiová,O.,Minárová,M.,Mohammed,A.:概率和量子逻辑。斯洛文尼亚论坛统计5(2007),101-107(2007) [19] 尼尔森,R.B.:Copulas简介。纽约施普林格出版社(1999年)·Zbl 0909.62052号 ·doi:10.1007/978-1-4757-3076-0 [20] Pitovsky,I.:量子概率-量子逻辑。柏林施普林格(1989)·Zbl 0668.60096号 [21] Pták,P.,Pulmannová,S.:作为量子逻辑的正交模结构。多德雷赫特·克鲁沃(1991)·Zbl 0743.03039号 [22] 普鲁马诺娃,S。;Accardi,L.(编辑),贝尔不等式和量子逻辑(1994),罗马 [23] 普鲁马诺娃,S.:量子逻辑中的隐变量和贝尔不等式。已找到。物理学。32, 193-216 (2002) ·doi:10.1023/A:1014424425657 [24] 普鲁马诺娃,S.,马杰尼克,V.:量子逻辑上的贝尔不等式。数学杂志。物理学。33, 2173-2178 (1992) ·Zbl 0771.03022号 ·数字对象标识代码:10.1063/1.529638 [25] Pykacz,J。;Bitsakis,EJ(编辑);尼古拉斯,CA(编辑),《量子逻辑中的贝尔型不等式》(1989),多德雷赫特 [26] Pykacz,J.:模糊量子逻辑和无限值Łukasiewicz逻辑。国际J.Theor。物理学。33, 1403-1416 (1994) ·Zbl 0819.03048号 ·doi:10.1007/BF00670685 [27] Pykacz,J.:量子逻辑的模糊集和多值表示中的ukasiewicz运算。已找到。物理学。30, 1503-1524 (2000) ·doi:10.1023/A:1026462019270 [28] Pykacz,J.:量子逻辑两种方法的统一:每个Birkhoff-von-Neumann量子逻辑都是部分无限值Łukasiewicz逻辑。螺柱日志。95, 5-20 (2010) ·Zbl 1214.03050号 ·doi:10.1007/s11225-010-9252-8 [29] Pykacz,J.:走向量子力学的多值/模糊解释。国际通用系统杂志。2011年11月21日,第40页·兹比尔1210.81009 ·doi:10.1080/03081079.2010.507331 [30] Pykacz,J.,Santos,E.:重温量子逻辑方法中的隐藏变量。数学杂志。物理学。32, 1287-1292 (1991) ·Zbl 0729.03037号 ·数字对象标识代码:10.1063/1.529327 [31] 桑托斯:贝尔不等式是对经典逻辑的测试。物理学。莱特。A 115,363-365(1986)·doi:10.1016/0375-9601(86)90276-8 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。