×
德米特里·库尼斯基;阿方索·班德拉。

Sherrington-Kirkpatrick哈密顿量的紧度4平方和下限。 （英语） Zbl 1478.90081号

数学。程序。 190，编号1-2（A），721-759（2021）.
摘要：我们证明，如果\（{mathbf{W}}\）是一个从高斯正交系综得到的\（N\次N）矩阵，那么在约束\（x_i^2-1=0）（即\（mathbf}x}）下，4次平方和松弛很可能不能证明目标\（N^{-1}\cdot\mathbf\x}^\top\mathbf{W}\mathbf2{x}\）上的上界\在\{\pm 1\}^N）中），其渐近小于（lambda_{\max}（{\mathbf{W}}）大约2）。通过提出一个近似的伪矩构造，我们还推测了一种证明任意程度的平方和松弛下界为常数的方法。

引用于2评论
引用于三文件

理学硕士：

90C22型 半定规划
65年第68季度 算法和问题复杂性分析
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
82天30分 随机介质、无序材料（包括液晶和自旋玻璃）的统计力学
15B52号 随机矩阵（代数方面）
82磅44 平衡统计力学中的无序系统（随机伊辛模型、随机薛定谔算子等）

关键词：

平方和;凸优化;平均案例计算复杂性;半定规划;旋转玻璃
PDF格式BibTeX公司 XML格式引用
\textit{D.Kunisky}和\textit{A.S.Bandeira}，数学。程序。190，编号1-2（A），721-759（2021；兹bl 1478.90081）
全文： 内政部 arXiv公司

参考文献：

[1] Addario-Berry，L.，Maillard，P.：连续随机能量模型的算法硬度阈值。arXiv预印arXiv:1810.05129（2018）·兹比尔1434.68182
[2] Bandeira，A.S.，Kunisky，D.：四阶广义椭圆体的Gramian描述。arXiv预印本arXiv:1812.11583（2018）
[3] Bandeira，A.S.，Kunisky，D.：等角紧框架的平方和优化和稀疏结构。2019年国际抽样理论与应用会议（SampTA 2019）。IEEE（2019）
[4] Bandeira，A.S.、Kunisky，D.、Wein，A.S.:约束PCA问题的证明边界的计算难度。收录：Vidick，T.（编辑）第11届理论计算机科学创新大会（ITCS 2020），莱布尼茨国际信息学会议论文集（LIPIcs）·Zbl 07650426号
[5] 巴拉克，B。；霍普金斯，S。；Kelner，J。；科塔里，PK；莫伊特拉，A。；Potechin，A.，“人为集团问题的近似紧致平方和下限”，SIAM J.Compute。，48, 2, 687-735 (2019) ·Zbl 1421.68056号 ·doi:10.1137/17M1138236
[6] Barak，B.，Steurer，D.：平方和证明和寻求最佳算法。arXiv预印arXiv:1404.5236（2014）·Zbl 1373.68253号
[7] 布莱赫曼，G。；宾夕法尼亚州帕里罗；Thomas，RR，《半定优化与凸代数几何》（2012），费城：SIAM，费城·Zbl 1260.90006号 ·doi:10.1137/1.9781611972290
[8] Casazza，P.G.，Redmond，D.，Tremain，J.C.：真实等角框架。参见：第42届信息科学与系统年会（CISS 2008），第715-720页。IEEE（2008）
[9] Chatterjee，S。；Meckes，E.，使用可交换对的多元正态近似，Alea，4257-283（2008）·Zbl 1162.60310号
[10] Dembo，A。；Montanari，A。；Sen，S.，稀疏随机图的极值割，Ann.Probab。，45, 2, 1190-1217 (2017) ·Zbl 1372.05196号 ·doi:10.1214/15-AOP1084
[11] 德扎，MM；Laurent，M.，《切割与度量几何》（2009），柏林：施普林格，柏林·Zbl 1210.52001
[12] Fawzi，H。；桑德斯，J。；Parrilo，PA，有限阿贝尔群上的稀疏平方和和和改进的半定提升，数学。程序。，160, 1-2, 149-191 (2016) ·Zbl 1387.90180号 ·doi:10.1007/s10107-015-0977-z
[13] Fickus，M.，Mixon，D.G.：等角紧框架存在性表。arXiv预印arXiv:1504.00253（2015）
[14] 霍普金斯，S.：统计推断和平方和法。康奈尔大学博士论文（2018）
[15] Hopkin，S.B.，Steurer，D.：从少量样本进行有效的贝叶斯估计：社区检测和相关问题。摘自：第58届计算机科学基础年度研讨会（FOCS 2017），第379-390页。IEEE（2017）
[16] Jain，V.，Koehler，F.，Risteski，A.：平均场近似、凸层次和相关性舍入的最优性：统一的观点。摘自：第51届ACM SIGACT计算机理论年会（STOC 2019），第1226-1236页。ACM（2019）·Zbl 1434.68338号
[17] Karp，R.M.：组合问题中的可约性。摘自：Miller，R.E.，Thatcher，J.W.，Bohlinger，J.D.（编辑）《计算机计算的复杂性》，第85-103页。斯普林格（1972）·Zbl 1467.68065号
[18] Kunisky，D.，Wein，A.S.，Bandeira，A.S.:假设检验的计算难度注释：使用低阶似然比进行预测。arXiv预印本arXiv:1907.11636（2019）
[19] Kurpisz，A.，Leppänen，S.，Mastrolilli，M.：对称公式的平方和层次下限。摘自：整数规划和组合优化国际会议，第362-374页。斯普林格（2016）·Zbl 1419.90070号
[20] Lasserre，JB，多项式全局优化与矩问题，SIAM J.Optim。，11, 3, 796-817 (2001) ·Zbl 1010.90061号 ·doi:10.1137/S1052623400366802
[21] Laurent，B。；Massart，P.，通过模型选择对二次函数的自适应估计，《Ann.Stat.》，28，5，1302-1338（2000）·Zbl 1105.62328号 ·doi:10.1214/aos/1015957395
[22] Laurent，M.，切割多面体半定层次中迭代次数的下限，数学。操作。Res.，28，4，871-883（2003）·Zbl 1082.90085 ·doi:10.1287/门28.4.871.20508
[23] Laurent，M.：平方和、矩矩阵和多项式优化。收录于：Putinar，M.，Sullivant，S.（编辑）《代数几何的新兴应用》，第157-270页。施普林格（2009）·Zbl 1163.13021号
[24] Ledoux，M.：浓度测量现象。数学调查与专著第89号。美国数学学会（2001）·兹比尔0995.60002
[25] 勒杜，M。；Talagrand，M.，《巴拿赫空间中的概率：等高线和过程》（2013），柏林：施普林格出版社，柏林·Zbl 1226.60003号
[26] 李，CK；Tam，BS，关于极端相关矩阵的注释，SIAM J.矩阵分析。申请。，15, 3, 903-908 (1994) ·Zbl 0804.15011号 ·doi:10.1137/S0895479892240683
[27] Mohanty，S.，Raghavendra，P.，Xu，J.：提升平方和下限：2到4度。arXiv预印arXiv:1911.01411（2019）·Zbl 07298292号
[28] Montanari，A.：谢林顿-柯克帕特里克哈密顿优化。摘自：第60届计算机科学基础年会（FOCS 2019），第1417-1433页。IEEE（2019）
[29] Montanari，A.，Sen，S.：稀疏随机图上的半定程序及其在社区检测中的应用。摘自：第48届ACM计算机理论年会（STOC 2016），第814-827页。ACM（2016）·Zbl 1376.90043号
[30] O'Donnell，R.：SOS显然不是自动化的，甚至是近似自动化的。参加：第八届理论计算机科学创新大会（ITCS 2017）。Dagstuhl-Leibniz-Zentrum fuer Informatik学校（2017年）·Zbl 1402.90116号
[31] Panchenko，D.，《巴黎超度量猜想》，《数学年鉴》。，177, 1, 383-393 (2013) ·Zbl 1270.60060号 ·doi:10.4007/年鉴.2013.177.1.8
[32] 潘琴科，D.，《谢灵顿-柯克帕特里克模型》（The Sherington-Kirkpatrick Model）（2013），柏林：施普林格出版社，柏林·Zbl 1266.82005年 ·doi:10.1007/978-1-4614-6289-7
[33] Parisi，G.，自旋类的无穷阶参数，Phys。修订稿。，43, 23, 1754 (1979) ·doi:10.1103/PhysRevLett.43.1754
[34] Raghavendra，P.，Weitz，B.：关于平方和证明的位复杂性。参见：Chatzigiannakis，I.，Indyk，P.，Kuhn，F.，Muscholl，A.（编辑）第44届国际自动化、语言和编程学术讨论会（ICALP 2017），莱布尼茨国际信息学学报（LIPIcs），第80卷，第80:1-80:13页。德国达格斯图尔Dagstuhl-Leibniz-Zentrum fuer Informatik宫（2017年）·Zbl 1441.68100号
[35] Montanari，A.，Richard，E.：张量主成分分析的统计模型。摘自：NIPS’14：第27届神经信息处理系统国际会议记录，第2卷，第2897-2905页。加拿大蒙特利尔（2014）
[36] Rudelson，M.：随机矩阵的可逆性：逆的范数。安。数学。575-600 (2008) ·Zbl 1175.15030号
[37] Rudelson，M。；Vershynin，R.，《Littlewood-Offord问题与随机矩阵的可逆性》，高等数学。，218, 2, 600-633 (2008) ·Zbl 1139.15015号 ·doi:10.1016/j.aim.2008.01.010
[38] Sherrington，D。；Kirkpatrick，S.，自旋类的可解模型，《物理评论》。，35, 26, 1792 (1975) ·doi:10.1103/PhysRevLett.35.1792
[39] Subag，E.：遵循全RSB球形自旋玻璃的地面状态。arXiv预印arXiv:1812.04588（2018）·Zbl 1467.82097号
[40] Suetin，P。；Kostrikin，AI公司；Manin，YI，《线性代数与几何》（1989），博卡拉顿：CRC出版社，博卡拉顿·Zbl 0755.15002号 ·doi:10.1201/9781466593480
[41] 马萨诸塞州苏斯蒂克；JA特罗普；印度迪伦；《关于等角紧框架的存在性》，《线性代数应用》。，426, 2-3, 619-635 (2007) ·Zbl 1127.15013号 ·doi:10.1016/j.laa.2007.05.043
[42] Talagrand，M.，《巴黎公式》，《数学年鉴》。，163, 1, 221-263 (2006) ·Zbl 1137.82010年 ·doi:10.4007/annals.2006.163.221
[43] Vershynin，R.，随机和确定性矩阵乘积的谱范数，Probab。理论关联。菲尔德，150，3-4，471-509（2011）·Zbl 1235.60009号 ·doi:10.1007/s00440-010-0281-z
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。