布兰登，费尔南多·G.S.L。;阿兰·哈罗。 局部测量下的量子德芬尼蒂定理及其应用。 （英语） 兹比尔1380.81068 Commun公司。数学。物理学。 353，第2期，469-506（2017）. 作者摘要：量子德芬尼蒂定理是研究量子多体态关联的有用工具。在本文中，我们证明了两个新的量子de Finetti定理，这两个定理都表明，在每个子系统中由局部测量形成的测试下，可以在误差对子系统维度的依赖性方面得到指数级的改进。对于非信号概率分布，我们也得到了类似的结果。我们给出了结果在量子复杂性理论、多项式优化和量子信息理论中的几个应用。新量子德芬尼蒂定理的证明是基于信息论，特别是基于互信息链规则。由于第一作者等人的努力，这些结果对最近的de Finetti定理进行了改进和推广[in:ACM第43届年度计算理论研讨会论文集，STOC'11。纽约州纽约市：计算机机械协会（ACM）。343–352 (2011;Zbl 1288.68068号)].审核人：Hichem Eleuch（大学站） 引用于14文件 MSC公司： 81页第45页 量子信息、通信、网络（量子理论方面） 81页40页 量子相干、纠缠、量子关联 第81页，共15页 量子测量理论、态操作、态准备 62C12号机组 经验决策程序；经验贝叶斯程序 引文：Zbl 1288.68068号 PDF格式BibTeX公司 XML格式引用 \textit{F.G.S.L.Brandáo}和\textit{A.W.Harrow}，Commun。数学。物理学。353，第2号，469--506（2017；Zbl 1380.81068） 全文： 内政部 arXiv公司 链接 参考文献： [1] Aaronson S.：量子态的可学习性。程序。R.Soc.A 4632088（2007）arXiv:quant-ph/0608142·Zbl 1140.81317号 ·doi:10.1098/rspa.2007.0113 [2] Aaronson S.、Beigi S.、Drucker A.、Fefferman B.、Shor P.：不纠结的力量。理论计算。5(1), 1-42. （2009）arXiv:0804.0802·Zbl 1213.68280号 ·doi:10.4086/toc.2009.v005a001 [3] Aaronson，S.、Impagliazzo，R.、Moshkovitz，D.：美国有多个梅林。2014年IEEE第29届计算复杂性会议论文集，CCC’14，第44-55页。arXiv:1401.6848（2014）·Zbl 0669.46033号 [4] Arora S.，Barak B.：计算复杂性：现代方法。剑桥大学出版社，剑桥（2009）·Zbl 1193.68112号 ·doi:10.1017/CBO9780511804090 [5] Arora，S.，Barak，B.，Steurer，D.：独特游戏和相关问题的次指数算法。收录于：FOCS，第563-572页（2010年）·Zbl 1426.05159号 [6] Arora S.、Lund C.、Motwani R.、Sudan M.、Szegedy M.：证明验证和近似问题的难度。J.ACM 45（3），501-555（1998）·Zbl 1065.68570号 ·数字对象标识代码：10.1145/278298.278306 [7] Arora S.，Safra S.：证明的概率检验：NP的一个新表征。J.ACM 45（1），70-122（1998）·Zbl 0903.68076号 ·doi:10.1145/273865.273901 [8] Aspect A.，Dalibard J.，Roger G.：使用时变分析仪对Bell不等式进行实验测试。物理学。修订版Lett。49, 1804-1807 (1982) ·doi:10.1003/PhysRevLett.491.1804 [9] Babai L.、Fortnow L.、Lund C.：非确定性指数时间具有双探测车交互协议。计算。复杂。1，3-40（1991年）·Zbl 0774.68041号 ·doi:10.1007/BF01200056 [10] Barak B.，Brandáo，F.G.，Harrow，A.W.，Kelner，J.，Steurer，D.，Zhou，Y.：超收缩性，平方和证明及其应用。收录于：STOC’12，STOC‘12，第307-326页。arXiv:1205.4484（2012）·Zbl 1286.68176号 [11] Barak，B.，Kelner，J.，Steurer，D.：四舍五入平方和松弛。收件人：STOC。arXiv:1312.6652（2014）·Zbl 1315.90028号 [12] Barrett J.，Leifer M.：测试空间的de Finetti定理。新J.Phys。11:033024. arXiv:0712.2265（2009）·Zbl 1226.81048号 [13] Beigi，S.，Shor，P.：使用正部分转置检验近似可分离状态集。数学杂志。物理学。51, 042202. arXiv:0904.2705（2010）·Zbl 1310.81026号 [14] 贝尔·J·：关于爱因斯坦-波尔斯基-罗森悖论。物理学1195（1964） [15] Bellare，M.，Feige，U.，Kilian，J.：关于共享随机性在两个证明人证明系统中的作用。收录于：ISTCS’95，第199-208页（1995）·Zbl 1280.81024号 [16] Bennett C.，Bernstein E.，Brassard G.，Vazirani U.：量子计算的优缺点。SIAM J.计算。26, 1510-1523. （1997）arXiv:quant-ph/9701001·Zbl 0895.68044号 ·doi:10.1137/S0097539796300933 [17] Bennett C.H.、DiVincenzo D.P.、Smolin J.A.、Wootters W.K.：混合态纠缠和量子误差校正。物理学。版次A 52，3824-3851。（1996）arXiv:quant-ph/9604024·Zbl 1371.81041号 ·doi:10.1103/PhysRevA.54.3824 [18] Blier，H.，Tapp，A.：NP中的所有语言都有非常短的量子证明。摘自：第一届量子、纳米和微技术国际会议，第34-37页。IEEE计算机学会，美国加利福尼亚州洛斯阿拉米托斯arXiv:0709.0738（2009）·Zbl 0990.68079号 [19] Brandão，F.：纠缠理论和多体物理的量子模拟。伦敦皇家学院arXiv博士论文：0810.0026（2008） [20] Brandão，F.G.，Christandl，M.，Yard，J.：量子可分性问题的拟多项式时间算法。摘自：第43届ACM计算机理论年会论文集，STOC’11，第343-352页。arXiv:1011.2751（2011）·Zbl 1288.68068号 [21] Brandáo，F.G.，Plenio，M.B.：量子Stein引理的推广。Commun公司。数学。物理学。295, 791. arXiv:0904.0281（2010）·Zbl 1190.81015号 [22] Brandáo F.G.S.L.，Christandl M.：检测多粒子纠缠：量化对称扩展的搜索。物理学。修订版Lett。109, 160502. （2012）arXiv:1105.5720·doi:10.1103/PhysRevLett.109.160502 [23] Brandáo，F.G.S.L.，Harrow，A.W.：量子基态的生产态近似。摘自：第45届ACM计算机理论研讨会论文集，STOC’13，第871-880页。arXiv:1310.0017（2013）·Zbl 1293.68127号 [24] Brandáo F.G.S.L.，Christandl M.，Yard J.：忠实压扁的纠缠。Commun公司。数学。物理学。306(3), 805-830. （2011）arXiv:1010.1750·Zbl 1231.81011号 ·doi:10.1007/s00220-011-1302-1 [25] Buhrman，H.，Regev，O.，Scarpa，G.，de Wolf，R.：近最优和显式Bell不等式违反。收录于：CCC’11，第157-166页arXiv:1012.5043（2011）·Zbl 1298.81034号 [26] Cai，J.-Y.，Condon，A.，Lipton，R.：玩不完全信息的游戏。收录于：STACS’90，第415卷，第58-69页（1990年）·Zbl 0786.90094号 [27] Caves C.M.、Fuchs C.A.、Schack R.：未知量子态：量子德菲内蒂表示。数学杂志。物理学。43(9), 4537-4559. （2002）arXiv:quant-ph/0104088·Zbl 1060.81005号 ·数字对象标识代码：10.1063/1.1494475 [28] Chen，J.，Drucker，A.：无纠缠测量的SAT多探测器量子证明。arXiv:101011.0716（2010年） [29] Christandl M.、Koenig R.、Renner R.：量子信道的后选择技术及其在量子密码术中的应用。物理学。修订版Lett。102, 020504. （2009）arXiv：0809.3019·Zbl 1234.92056号 ·doi:10.10103/PhysRevLett.102020504 [30] Christandl M.，König R.，Mitchison G.，Renner R.：一个半量子德菲内蒂定理。Commun公司。数学。物理学。273, 473-498. （2007）arXiv:quant-ph/0602130·Zbl 1126.81032号 ·doi:10.1007/s00220-007-0189-3 [31] Christandl M.，Toner B.：描述物理理论的条件概率分布的有限de-Finetti定理。数学杂志。物理学。50(4), 042104. （2009）arXiv:0712.0916·Zbl 1214.81027号 ·doi:10.1063/1.3114986 [32] Cleve R.、Gavinsky D.、Jain R.：抗纠缠双探测车交互验证系统和非自适应PIR。量子信息计算。9(7), 648-656. （2009）arXiv:0707.1729·Zbl 1178.81033号 [33] Cleve R.、Hoyer P.、Toner B.、Watrous J.：非本地策略的后果和限制。CCC’04，第236-249页。arXiv:quant-ph/0404076（2004） [34] Cobos F.，Kühn T.，Peetre J.：关于三线性形式对称性的评论。Rev.R.学术版。中国。确实如此。财政部。Nat.（Esp）94（4），441-449（2000）·Zbl 1279.47013号 [35] D'Angelo，J.P.，Putinar，M.：奇数维球面上的多项式优化。收录于：Putinar，M.，Sullivant，S.（编辑）《代数几何的新兴应用》，《数学及其应用IMA卷》第149卷，第1-15页。施普林格，纽约（2009）·Zbl 1156.14329号 [36] de Klerk E.：单纯形、超立方体或球体上优化的复杂性：简短综述。美分。欧洲药典。第16（2）号决议，111-125（2008）·Zbl 1152.90607号 ·doi:10.1007/s10100-007-0052-9 [37] Diaconis P.，Freedman D.：有限可交换序列。安·普罗巴伯。8, 745-764 (1980) ·兹伯利0434.60034 ·doi:10.1214/aop/1176994663 [38] Doherty A.C.、Parrilo P.A.、Spedalieri F.M.：完整的可分性标准系列。物理学。修订版A 69022308。（2004）arXiv:quant-ph/0308032·doi:10.10103/物理版A.69.022308 [39] Doherty，A.C.，Wehner，S.：超球面上多项式优化的SDP层次的收敛性。arXiv:1210.5048（2012）·Zbl 0895.68044号 [40] Fannes M.，Lewis J.T.，Verbeure A.：复合系统的对称状态。莱特。数学。物理学。15, 255-260 (1988) ·Zbl 0669.46033号 ·doi:10.1007/BF00398595 [41] Harrow，A.W.，Montanaro，A.：产品状态的有效测试，应用于量子Merlin-Arthur游戏。收录于：FOCS’10，第633-642页。arXiv:1001.017（2010）·Zbl 0903.68076号 [42] Harrow A.W.，Montanaro A.：测试产品状态，量子Merlin-Arthur游戏和张量优化。美国医学会期刊60（1），3-1343。（2013）arXiv:1001.017·Zbl 1281.68112号 ·doi:10.1145/2432622.2432625 [43] 海登·P·温特·A·：弱去耦对偶和量子识别。IEEE传输。《信息论》58（7），4914-4929。（2012）arXiv:1003.4994·Zbl 1365.81027号 ·doi:10.1109/TIT.2012.2191695 [44] Hudson R.L.，Moody G.R.：局部正规对称态和de Finetti定理的类似物。Z.Wahrschein。verw。盖布。33, 343-351 (1976) ·Zbl 0304.60001号 ·doi:10.1007/BF00534784 [45] Impagliazzo R.，Paturi R.：关于k-SAT的复杂性。系统。科学。62(2), 367-375 (2001) ·Zbl 0990.68079号 ·doi:10.1006/jcss.2000.1727 [46] Impagliazzo，R.、Paturi，R.和Zane，F.：哪些问题具有强烈的指数复杂性？收录于：FOCS’98，第653-662页。IEEE（1998）·Zbl 1006.68052号 [47] Ioannou L.：量子可分性问题的计算复杂性。量子信息计算。7（4），335（2007）·Zbl 1152.81740号 [48] Ito，T.：无扭曲校准仪的多项式空间近似。载于：ICALP’10，第140-151页。arXiv:0908.2363（2010）·兹比尔1287.68051 [49] Ito，T.、Kobayashi，H.、Matsumoto，K.：Oraculalization和针对非局部策略的双探测车单轮交互证明。收录于：CCC’09，第217-228页。arXiv:0810.0693（2009） [50] Ito，T.、Kobayashi，H.、Preda，D.、Sun，X.、Yao，A.C.C.：广义tsirelson不等式、交换算子证明器和多机器人交互证明系统。收录于：CCC’08，第187-198页。arXiv:0712.2163（2008）·Zbl 1213.68280号 [51] Ito，T.、Vidick，T.：NEXP声音的多探测器交互式证明，针对纠结证明。在FOCS’12中。arXiv:1207.0550（2012）·Zbl 1140.81317号 [52] 卡恩斯·M·瓦齐拉尼·U·：计算学习理论导论。麻省理工学院出版社，剑桥（1994） [53] Kempe J.、Kobayashi H.、Matsumoto K.、Toner B.、Vidick T.：纠结游戏很难估计。SIAM J.计算。40(3), 848-877. （2011）arXiv:0704.2903·Zbl 1226.81048号 ·doi:10.1137/090751293 [54] Kempe J.，Regev O.，Toner B.：使用纠结谚语的独特游戏很容易。SIAM J.计算。39(7), 3207-3229. （2010）arXiv:0710.0655·Zbl 1244.68040号 ·doi:10.1137/090772885 [55] 科特，S.，萨夫拉，M.：一场双人单回合比赛，具有很强的稳健性。收录于：FOCS’11，第648-657页（2011年）·Zbl 1292.68075号 [56] Kitaev，A.Y.，Shen，A.H.，Vyalyi，M.N.：经典和量子计算，数学研究生课程第47卷。AMS，普罗维登斯（2002）·Zbl 1022.68001号 [57] Kobayashi H.，Matsumoto K.：具有有限优先纠缠的量子多探测车交互证明系统。J.计算。系统。科学。66(3), 429-450. （2003）arXiv:cs/01012013·兹比尔1054.68061 ·doi:10.1016/S0022-0000（03）00035-7 [58] Kobayashi，H.，Matsumoto，K.，Yamakami，T.：量子梅林——Arthur证明系统：多重梅林对Arthur更有帮助吗？载于：国际会计准则咨询委员会，第2906卷，第189-198页。arXiv:quant-ph/0306051（2003）·兹比尔1205.68159 [59] Koenig，R.，Renner，R.：有限对称量子态的de Finetti表示。数学杂志。物理学。46(12), 122108. arXiv:quant-ph/0410229（2005）·Zbl 1111.81020号 [60] Lancien C.，Winter A.：通过当地测量区分多方国家。Commun公司。数学。物理学。323(2), 555-573. （2013）arXiv:1206.2884·Zbl 1280.81024号 ·doi:10.1007/s00220-013-1779-x [61] Lasserre J.B.：多项式全局优化和矩问题。SIAM J.选项。11(3), 796-817 (2001) ·Zbl 1010.90061号 ·doi:10.1137/S1052623400366802 [62] Laurent M.：平方和、矩矩阵和多项式优化。紧急申请。代数几何。149, 157-270 (2009) ·Zbl 1163.13021号 ·doi:10.1007/978-0-387-09686-57 [63] Li K.，Smith G.：全单向自适应测量下的量子德芬蒂定理。物理学。修订版Lett。114, 160503. （2015）arXiv:1408.6829·doi:10.1103/PhysRevLett.114.160503 [64] 李凯，温特A.：相对熵和压缩纠缠。Commun公司。数学。物理学。326(1), 63-80. （2014）arXiv:1210.3181·Zbl 1315.81023号 ·doi:10.1007/s00220-013-1871-2 [65] Marriott C.，Watrous J.：量子阿瑟-梅林游戏。计算。复杂。14(2), 122-152. （2005）arXiv:cs/0506068·Zbl 1085.68052号 ·doi:10.1007/s00037-005-0194-x [66] Masanes L.，Acin A.，Gisin N.：非信号理论的一般性质。物理学。版次A 73，012112。（2006）arXiv:定量ph/0508016·doi:10.1103/PhysRevA.73.012112 [67] Matthews W.，Wehner S.，Winter A.：有限测量族下量子态的可分辨性及其在量子数据隐藏中的应用。Commun公司。数学。物理学。291(3), 813-843. （2009）arXiv:0810.2327·Zbl 1179.81020号 ·doi:10.1007/s00220-009-0890-5 [68] Navascuse M.、Owari M.、Plenio M.B.：纠缠检测对称扩展的威力。物理学。版次A 80，052306。（2009）arXiv:0906.2731·Zbl 1274.81048号 ·doi:10.1103/PhysRevA.80.052306 [69] Nielsen M.A.，Chuang I.L.：量子计算和量子信息。剑桥大学出版社，纽约（2000）·Zbl 1049.81015号 [70] O'Donnell，R.，Zhou，Y.：近似性和证明复杂性。收录于：SODA’13，第1537-1556页。arXiv:1211.1958（2013）·Zbl 1422.68132号 [71] Parrilo，P.A.：鲁棒性和优化中的结构化半定程序和半代数几何方法。麻省理工学院博士论文（2000）·Zbl 0081.11502号 [72] Piani M.：纠缠的相对熵和限制测量。物理学。修订版Lett。103, 160504. （2009）arXiv:0904.2705·doi:10.1103/PhysRevLett.103.160504 [73] Powers，V.，Reznick，B.：Pólya定理的一个新界及其对多面体上正多项式的应用。J.纯应用。代数164（1-2），221-229（2001）·Zbl 1075.14523号 [74] Raggio G.A.，Werner R.F.：一般平均场系统的量子统计力学。Helv公司。物理学。《学报》62，980-1003（1989）·Zbl 0938.82501号 [75] Raghavendra，P.，Tan，N.：使用SDP层次结构近似具有全局基数约束的CSP。收录于：SODA’12，第373-387页。arXiv:1110.1064（2012）·Zbl 1422.68312号 [76] Renner，R.：量子密钥分发的安全性。苏黎世ETHZ博士论文。arXiv:quant-ph/0512258（2005）·兹比尔1151.81007 [77] 雷纳·R：对称意味着独立。自然物理学。3, 645-649. （2007）arXiv:quant-ph/0703069·doi:10.1038/nphys684 [78] Sion M.：关于一般极小极大定理。派克靴。数学杂志。8(1), 171-176 (1958) ·Zbl 0081.11502号 ·doi:10.2140/pjm.1958.8.171 [79] Störmer E.：C*-代数无限张量积的对称状态。J.功能。分析。3, 48 (1969) ·Zbl 0167.43403号 ·doi:10.1016/0022-1236（69）90050-0 [80] Terhal B.M.、Doherty A.C.和Schwab D.：量子态的对称扩展和局部隐变量理论。物理学。修订版Lett。90, 157903. （2003）arXiv:quant-ph/0210053·Zbl 1267.81020号 ·doi:10.1103/PhysRevLett.90.157903 [81] Vidick T.：三人纠缠异或游戏是NP-hard的近似值。SIAM J.计算。45(3), 1007-1063. （2016）arXiv:1302.1242·Zbl 1342.81080号 ·数字对象标识代码：10.1137/140956622 [82] 沃纳，R.F.：贝尔不等式在量子态扩展问题中的应用。莱特。数学。物理学。17, 359 (1989) ·Zbl 0687.46045号 [83] 王尔德M.M.：量子信息理论。剑桥大学出版社，剑桥。（2013）arXiv:1106.1445·Zbl 1296.81001号 ·doi:10.1017/CBO9781139525343 [84] Yang，D.：纠缠一夫一妻制的简单证明。物理学。莱特。A 360（2），249-250。arXiv:quant-ph/0604168（2006）·兹比尔1236.81047 [85] Yang D.，Horodecki K.，Horodescki M.，Horodecki P.，Oppenheim J.，Song W.：多体态的挤压纠缠和基于混合凸顶的纠缠测度。IEEE传输。《信息论》55（7），3375-3387。（2009）arXiv：0704.2236·Zbl 1367.81019号 ·doi:10.10109/TIT.2009.2021373 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。