Gläßle，T。;毛重，D。;查韦斯，R。 用于解决边界问题的计算工具，应用于Bell非局部性和因果建模。 （英语） Zbl 1416.81028号 《物理学杂志》。A、 数学。西奥。 51，48号，文章ID 484002，53 p.（2018）. 摘要：边际问题自然会出现在各种不同的领域：基本上，问题是某些边际/部分信息是否与联合概率分布兼容。为此，通过量词消除和多面体投影算法来表征边缘集至关重要。在这项工作中，在考虑具体问题之前，我们回顾了多面体投影算法，重点是在信息论中的应用，并且除了已知的算法外，我们还提出了一种新开发的几何算法，该算法沿着投影空间中多面体的面格行走。这一点的一个重要应用是在量子非局域性领域，在计算Bell不等式时会出现边缘问题。我们应用所讨论的算法发现了三方Bell场景中的许多紧熵Bell不等式以及因果推理领域中出现的更复杂的网络。最后，我们通过寻找违反量子态来分析这些不等式作为非定域性见证的有用性。 引用于1文件 MSC公司： 81页40页 量子相干、纠缠、量子关联 第81页第05页 量子理论中的一般问题和哲学问题 94甲15 信息论（总论） 90C57型 多面体组合学，分支与绑定，分支与切割 81页第45页 量子信息、通信、网络（量子理论方面） 第81页，共15页 量子测量理论、态操作、态准备 94甲17 信息的度量，熵 关键词：香农熵;量子纠缠;边际问题;贝尔非定域性;信息论;多面体投影 软件：门户网站;熊猫;cfme（计算流体力学）;雷神之锤;皮斯蒂夫 PDF格式BibTeX公司 XML格式引用 \textit{T.Gläle}等人，《物理学杂志》。A、 数学。西奥。51，第48号，文章ID 484002，53 p.（2018；Zbl 1416.81028） 全文： 内政部 arXiv公司 参考文献： [1] Studení，M.，人工智能不同计算中的边缘问题，智能计算的进展——IPMU，348-359，（1994），柏林：斯普林格出版社，柏林 [2] Lauritzen，S.L。；Spiegelhalter，D.J.，《图形结构概率的局部计算及其在专家系统中的应用》，J.R.Stat.Soc.B，157-224，（1988）·Zbl 0684.68106号 [3] Pearl，J.，因果关系，（2009），剑桥：剑桥大学出版社，剑桥·Zbl 1188.68291号 [4] Spirtes，P。；北卡罗来纳州格雷摩尔。；Schienes，R.，因果关系、预测和搜索，（2001），马萨诸塞州剑桥市：麻省理工学院出版社·Zbl 0981.62001号 [5] Yeung，R.W.，《信息理论，网络编码》（2008），柏林：施普林格出版社，柏林·Zbl 1154.94001号 [6] Bell，J.S.，《关于爱因斯坦-波尔斯基-罗森悖论》，《物理学》，1195年，（1964年）·doi:10.1103/PhysisPhysisiqueFizika.1.195 [7] Pitowsky，I.，《量子概率-量子逻辑》（1989），柏林：施普林格出版社，柏林·Zbl 0668.60096号 [8] 北卡罗来纳州布伦纳。；卡瓦尔坎蒂，D。；皮罗尼奥，S。；斯卡拉尼，V。；Wehner，S.，Bell非局部性，修订版。物理。，86, 419-478, (2014) ·doi:10.1103/RevModPhys.86.419 [9] Pitowsky，I.，《相关多面体：几何和复杂性》，《数学》。程序。，50, 395-414, (1991) ·Zbl 0741.90054号 ·doi:10.1007/BF0594946 [10] Branciard，C。；Gisin，N。；Pironio，S.，《表征通过纠缠交换产生的非局部关联》，Phys。修订稿。，104, (2010) ·doi:10.1103/PhysRevLett.104.170401 [11] Branciard，C。；Rosset，D。；Gisin，N。；Pironio，S.，纠缠摆动实验中的双焦点与非双焦点关联，Phys。修订版A，85，（2012）·doi:10.1103/PhysRevA.85.032119 [12] Fritz，T.，《超越贝尔定理：关联场景》，新J.物理学。，14, (2012) ·Zbl 1448.81026号 ·doi:10.1088/1367-2630/14/10/103001 [13] 塔瓦科利，A。；Skzypczyk，P。；卡瓦尔坎蒂，D。；Acín，A.，《星际网络配置中的非局部相关性》，Phys。版本A，90，（2014）·doi:10.1003/PhysRevA.90.062109 [14] Chaves，R。；Kueng，R。；Brask，J.B。；Gross，D.，贝尔定理中因果假设松弛的统一框架，物理学。修订稿。，114, (2015) ·doi:10.1103/PhysRevLett.114.140403 [15] Chaves，R.，多项式钟形不等式，Phys。修订稿。，116, (2016) ·Zbl 1356.81098号 ·doi:10.1103/PhysRevLett.116.010402 [16] Tavakoli，A.，任意非循环网络的Bell型不等式，Phys。版本A，93，（2016）·doi:10.1103/PhysRevA.93.03011 [17] Lee，C.M。；Spekkens，R.W.，《通过代数几何进行因果推理：离散因果模型可行性的充分必要条件》，J.Caus。推断。，5, (2017) [18] 沃尔夫，E。；斯佩肯斯，R.W。；Fritz，T.，《利用潜在变量进行因果推断的通货膨胀技术》（2016） [19] 卡瓦乔，G。；安德烈奥利，F。；Santodonto，L.公司。；Bentivegna，M。；Chaves，R。；Sciarrino，F.，《量子网络中局部因果关系的实验违反》，美国国家通讯社。，8, 14775, (2017) ·doi:10.1038/ncomms14775 [20] 安德烈奥利，F。；卡瓦乔，G。；圣多纳托，L。；Chaves，R。；Sciarrino，F.，星型量子网络中n定域不等式的最大量子比特破坏，新物理学杂志。，19, (2017) ·Zbl 1516.81009号 ·doi:10.1088/1367-2630/aa8b9b [21] 盖革，D。；Meek，C.，统计问题的量词消除，226-235，（1999），加州圣马特奥：摩根考夫曼出版社，加州圣马特奥 [22] 加西亚，L.D。；斯蒂尔曼，M。；Sturmfels，B.，贝叶斯网络的代数几何，J.Symb。计算。，39, 331-355, (2005) ·Zbl 1126.68102号 ·doi:10.1016/j.jsc.2004.11.007 [23] Braunstein，S.L。；Caves，C.M.，《信息论钟形不等式》，《物理学》。修订稿。，61, 662-665, (1988) ·doi:10.1103/PhysRevLett.61.662 [24] 塞尔夫，新泽西州。；Adami，C.，熵钟形不等式，Phys。版本A，55，3371-3374，（1997）·doi:10.1103/PhysRevA.55.3371 [25] Chaves，R。；Fritz，T.，《局部现实主义和非文本性的熵方法》，《物理学》。版本A，85，（2012）·doi:10.1103/PhysRevA.85.032113 [26] 弗里茨，T。；Chaves，R.，熵不等式和边际问题，IEEE Trans。《信息理论》，59803，（2013）·Zbl 1364.94231号 ·doi:10.1109/TIT.2012.2222863 [27] Chaves，R.，熵不等式作为非连续性和局部性的充要条件，Phys。版本A，87，（2013）·doi:10.1103/PhysRevA.87.022102 [28] Chaves，R。；勒夫特。；Gross，D.，《熵信息的因果结构：几何和新场景》，《新物理学杂志》。，16, (2014) ·Zbl 1451.81008号 ·doi:10.1088/1367-2630/16/4/043001 [29] 亨森·J。；拉尔·R。；Pusey，M.F.，广义贝叶斯网络相关性的理论依赖极限，新物理学杂志。，16, (2014) ·Zbl 1451.81028号 ·doi:10.1088/1367-2630/16/11/113043 [30] Kurzyñski，P。；Kaszlikowski，D.，信息论度量作为研究非经典相关性的工具，Phys。版本A，89，（2014）·doi:10.1103/PhysRevA.89.012103 [31] Poh，H.S。；Markiewicz，M。；Kurzyñski，P。；Cerè，A。；Kaszlikowski，D。；Kurtsiefer，C.，用压缩软件探测量子经典边界，新物理学杂志。，18, (2016) ·Zbl 1456.68038号 ·doi:10.1088/1367-2630/18/3/035011 [32] Chaves，R。；Budroni，C.，熵非信号相关性，物理学。修订稿。，116, (2016) ·doi:10.1103/PhysRevLett.116.240501 [33] Weilenmann，M。；Colbeck，R.，《熵向量方法无法证明线性因果结构中的非经典性》，Phys。版次A，94，（2016）·doi:10.1103/PhysRevA.94.042112 [34] 韦伦曼，M。；Colbeck，R.，因果结构熵向量方法中的非萨农不等式，Quantum，2，57，（2018）·doi:10.22331/q-2018-03-14-57 [35] 布德罗尼，C。；Miklin，N。；Chaves，R.，因果关系与有限边缘的不可区分性，物理学。版次A，94，（2016）·doi:10.1103/PhysRevA.94.042127 [36] Weilenmann，M。；Colbeck，R.，用熵分析因果结构，Proc。R.Soc.A，47320170483，（2017）·Zbl 1404.82017年 ·doi:10.1098/rspa.2017.0483 [37] Miklin，N。；Abbott，A.A。；Branciard，C。；Chaves，R。；Budroni，C.，因果关系的熵方法，新物理学杂志。，19, (2017) ·兹比尔1516.81041 ·doi:10.1088/1367-2630/aa8f9f [38] Pienaar，J.，哪些因果结构可能支持量子经典缺口？，新J.Phys。，19, (2017) ·doi:10.1088/1367-2630/aa673e [39] Pawłowski，M。；Paterek，T。；Kaszlikowski，D。；斯卡拉尼，V。；Winter，A。；Żukowski，M.，《作为物理原理的信息因果关系》，《自然》，461110104，（2009）·doi:10.1038/nature08400 [40] 肖特，A.J。；Wehner，S.，《一般物理理论中的熵》，《新物理学杂志》。，12, (2010) ·Zbl 1360.94170号 ·doi:10.1088/1367-2630/12/3/033023 [41] O.C.O.Dahlsten。；Lercher，D。；Renner，R.，Tsirelson的广义数据处理不等式界，新J.Phys。，14, (2012) ·Zbl 1448.81101号 ·doi:10.1088/1367-2630/14/6/063024 [42] 巴纳姆，H。；巴雷特，J。；L.O.克拉克。；Leifer，M。；Spekkens，R。；斯蒂芬尼克，N。；A.威尔斯。；Wilke，R.，《一般概率理论中的熵与信息因果关系》，New J.Phys。，12, (2010) ·Zbl 1360.81026号 ·doi:10.1088/1367-2630/12/3/033024 [43] Chaves，R。；Majenz，C。；格罗斯，D.，量子因果结构的信息论含义，《自然通讯》。，6, 5766, (2015) ·doi:10.1038/ncomms6766 [44] 查维斯，R。；Brask，J.B。；Brunner，N.，《设备依赖性熵测试》，Phys。修订稿。，115, (2015) ·doi:10.1103/PhysRevLett.115.110501 [45] Budroni，C。；Cabello，A.，来自可变消除方法的Bell不等式，J.Phys。A： 数学。理论。，45, (2012) ·Zbl 1252.81011号 ·doi:10.1088/1751-8113/45/38/385304 [46] 威廉姆斯，H.P.，傅里叶线性规划方法及其对偶，《美国数学》。周一。，93, 681-695, (1986) ·Zbl 0618.90065号 ·doi:10.1080/00029890.1986.1971923年 [47] Duffin，R。；Balinski，M.，《关于线性不等式系统的傅里叶分析》，《旋转与扩张》，71-95，（1974），柏林：施普林格出版社，柏林·Zbl 0357.90032号 [48] Huynh，T。；拉塞兹，C。；拉塞兹，J-L，傅里叶算法重访，117-131，（1990），柏林：施普林格出版社，柏林·Zbl 1493.68401号 [49] Davenport，J.H。；Heintz，J.，实量词消除是双指数的，J.Symb。计算。，5, 29-35, (1988) ·Zbl 0663.03015号 ·doi:10.1016/S0747-7171（88）80004-X [50] Lassez，J-L，查询约束，288-298，（1990），纽约：ACM，纽约 [51] 拉塞兹，C。；Lassez，J.L.，通过凸壳算法消除线性约束连词的量词，人工智能的符号和数值计算，（1990），纽约：学术出版社，纽约 [52] Huynh，T。；拉塞兹，C。；拉塞兹，J-L，《多面体集投影的实用问题》，《数学年鉴》。Artif公司。智力。，6, 295-315, (1992) ·Zbl 0875.68821号 ·doi:10.1007/BF01535523 [53] Imbert，J.，傅里叶消元法：选择哪一种？，PPCP，1117-129，（1993） [54] 西蒙，A。；金，A.，《利用多面体分析中的稀疏性》，336-351，（2005），柏林：施普林格出版社，柏林·Zbl 1141.68654号 [55] Jones，C.N。；克里根，东卡罗来纳州。；Maciejowski，J.M.，《等式集投影：半空间表示中多边形投影的新算法》，技术报告CUED/F-INFENG/TR.463，（2004） [56] Würflinger，L.E。；班卡，J-D；阿钦，A。；Gisin，N。；Vértesi，T.，来自局部边际概率的非局部多部分相关性，Phys。版本A，86，（2012）·doi:10.1103/PhysRevA.86.032117 [57] Gläßle，T.，Pythonic shannon型不等式发现者，（2016） [58] McMullen，P.，凸多面体的最大面数，Mathematika，17，179-184，（1970）·Zbl 0217.46703号 ·doi:10.1112/S0025579300002850 [59] Khachiyan，L.，线性规划中的多项式算法，苏联计算。数学。数学。物理。，20, 53-72, (1980) ·Zbl 0459.90047号 ·doi:10.1016/0041-5553（80）90061-0 [60] Karmarkar，N.，线性规划的新多项式时间算法，302-311，（1984），纽约：ACM，纽约·Zbl 0557.90065号 [61] Dantzig，G.B.，《单纯形方法的起源》，科学计算史，141-151，（1990），纽约：美国计算机学会，纽约 [62] 斯皮尔曼，D。；Teng，S-H，算法的平滑分析：为什么单纯形算法通常需要多项式时间，296-305，（2001），纽约：ACM，纽约·Zbl 1323.68636号 [63] Monniaux，D。；Byron Cook，T.T。；Jackson，P.，通过懒惰模型枚举消除量化因子，CAV 2010，585-599，（2010），柏林：施普林格，柏林 [64] Khachiyan，L。；Boros，E。；Borys，K。；Elbassioni，K。；Gurvich，V.，生成多面体的所有顶点很难，离散计算。地理。，39, 174-190, (2008) ·Zbl 1147.05040号 ·doi:10.1007/s00454-008-9050-5 [65] Bremner，D.D.，关于凸多面体顶点和面枚举的复杂性，博士论文，（1998） [66] Sommerville，D.M Y.，《n维空间中多面体的角度和体积之间的关系》，Proc。R.Soc.A，第115页，第103-119页，（1927年）·doi:10.1098/rspa.1927.0078 [67] Elbassioni，K。；Lotker，Z。；Seidel，R.，具有约束矩阵的多面体顶点数的上限，Inf.Process。莱特。，100, 69-71, (2006) ·Zbl 1185.68777号 ·doi:10.1016/j.ipl.20006.05.011 [68] 泰勒，R。；Rajan，V.，基于传感器的机器人规划中不确定性空间的有效计算，231-236，（1988），新泽西州皮斯卡塔韦：IEEE，皮斯卡塔韦，新泽西 [69] Chazelle，B.，任何固定维的最优凸包算法，离散计算。地理。，10, 377-409, (1993) ·Zbl 0786.68091号 ·doi:10.1007/BF02573985 [70] Balinski，M.L.，关于凸多面体的图结构n个-空间，太平洋。数学杂志。，11, 431-434, (1961) ·Zbl 0103.39602号 ·doi:10.2140/pjm.1961.11.431 [71] Grünbaum，B.，凸多边形，（1967），柏林：施普林格，柏林 [72] 麦克雷，W.B。；Davidson，E.R.，《点凸多面体锥的极值射线算法》，SIAM J.Compute。，2, 281-293, (1973) ·Zbl 0267.65083号 ·数字对象标识代码：10.1137/02023 [73] Chand，D.R。；Kapur，S.S.，凸多面体的算法，J.ACM，17，78-86，（1970）·Zbl 0199.50902号 ·数字对象标识代码：10.1145/321556.321564 [74] 阿维斯，D。；布雷姆纳博士。；Seidel，R.，凸壳算法有多好？，7, 265-301, (1997) ·Zbl 0877.68119号 ·doi:10.1016/S0925-7721（96）00023-5 [75] Gläßle，C.T.，C++Fourier-Motzkin消除器，（2016） [76] 克里斯托夫，T。；Löbel，A.，（\mathtt{PORTA}）-多面体表示变换算法，（2009） [77] Fukuda，K.，C双重描述方法的实现 [78] Lörwald，S。；Reinelt，G.，Panda:多面体转换软件，EURO J.Compute。最佳。，3, 297-308, (2015) ·Zbl 1331.52001号 ·doi:10.1007/s13675-015-0040-0 [79] Fine，A.，《隐藏变量、联合概率和贝尔不等式》，Phys。修订稿。，48, 291-295, (1982) ·doi:10.1103/PhysRevLett.48.291 [80] 克劳瑟，J.F。；霍恩，医学硕士。；Shimony，A。；Holt，R.A.，提出了测试局部隐藏变量理论的实验，Phys。修订稿。，23, 880-884, (1969) ·Zbl 1371.81014号 ·doi:10.1103/PhysRevLett.23.880 [81] Zukowski，M。；Zeilinger，A。；霍恩，医学硕士。；Ekert，A.K.，“通过纠缠交换的事件-就绪检测器”钟形实验，Phys。修订稿。，71, 4287-4290, (1993) ·doi:10.1103/PhysRevLett.71.4287 [82] Tura，J。；奥古西亚克，R。；塞恩斯，A.B。；Vértesi，T。；勒文斯坦，M。；Acín，A.，《探测多体量子态中的非局域性》，《科学》，344，1256-1258，（2014）·Zbl 1355.81192号 ·doi:10.1126/科学.1247715 [83] 柯林斯，D。；Gisin，N。；林登，N。；马萨，S。；Popescu，S.，任意高维系统的Bell不等式，Phys。修订稿。，88, (2002) ·Zbl 1243.81029号 ·doi:10.1103/PhysRevLett.88.0404 [84] 勒文斯坦，M。；布鲁·D·。；Cirac，J.I。；克劳斯，B。；库西，M。；萨姆索维奇，J。；Sanpera，A。；Tarrach，R.，《复合量子系统中的可分性和可蒸馏性——引物》，J.Mod。选择。，47, 2481-2499, (2000) ·Zbl 1003.81006号 ·doi:10.1080/09500340008232176 [85] Bruß，D.，《表征纠缠》，J.Math。物理。，43, 4237-4251, (2002) ·Zbl 1060.81505号 ·数字对象标识代码：10.1063/1.1494474 [86] Gurvits，L.，埃德蒙兹问题的经典确定性复杂性和量子纠缠，10-19，（2003），纽约：美国计算机学会，纽约·Zbl 1192.68252号 [87] Gharbian，S.，量子可分性问题的强NP-harderness，量子信息计算。，10, 343-360, (2010) ·Zbl 1234.81033号 [88] Peres，A.，密度矩阵的可分性准则，Phys。修订稿。，77, 1413-1415, (1996) ·Zbl 0947.81003号 ·doi:10.1103/PhysRevLett.77.1413 [89] Horodecki，M。；Horodecki，P。；Horodecki，R.，混合态的可分性：必要和充分条件，Phys。莱特。A、 223、1-8、（1996）·Zbl 1037.81501号 ·doi:10.1016/S0375-9601（96）00706-2 [90] Chaves，R。；勒夫特。；马谢尔，T.O。；总直径。；Janzing，D。；Schölkopf，B.，《通过信息不平等推断潜在结构》，112-121，（2014），弗吉尼亚州阿灵顿：弗吉尼亚州阿林顿AUAI出版社 [91] 施密德，R。；班卡，J-D；Allard，B。；法德尔，M。；斯卡拉尼，V。；Treutlein，P。；Sangouard，N.，《玻色-爱因斯坦凝聚体中的贝尔关联》，《科学》，352441-444，（2016）·兹比尔1355.81052 ·doi:10.1126/science.aad8665 [92] 斯特代尔，B。；Janzing，D。；Schölkopf，B.，子模信息测度的因果马尔可夫条件，464-476，（2010），威斯康星州麦迪逊：OmniPress，威斯康辛州麦迪森 [93] 斯特代尔，B。；Ay，N.，共同祖先的信息论推断，CoRR，（2010） [94] Jarlskog，C.，《酉矩阵的递归参数化》，J.Math。物理。，46, (2005) ·Zbl 1111.15027号 ·数字对象标识代码：10.1063/1.2038607 [95] 阿钦，A。；安德里亚诺夫，A。；科斯塔，L。；Jané，E。；拉托雷，J.I。；Tarrach，R.，《三量子比特态的广义施密特分解和分类》，Phys。修订稿。，85, 1560-1563, (2000) ·doi:10.1103/PhysRevLett.85.1560 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。