哈米德·哈萨尼（Hamed Hassani），S。;尼古拉斯·马克里斯;鲁迪格·乌尔班克 空间耦合约束满足问题中的阈值饱和。 （英语） 兹比尔1266.82067 《统计物理学杂志》。 150，第5期，807-850（2013）. 摘要：我们考虑沿链方向跨有限窗口空间耦合的随机约束满足模型链。我们使用测量传播形式和插值方法研究了它们在零温度下的相图。我们证明了无限链的SAT-UNSAT相变阈值与单个标准模型的相同，因此不受空间耦合的影响。我们使用人口动力学和大范围近似计算调查传播复杂性，并确定调查传播阈值。我们发现，集群阶段能够经受住耦合。然而，随着耦合窗口范围的增加，测量传播阈值增加，并向相变阈值饱和。我们还简要讨论了该问题的其他方面。即冷凝阈值不受耦合影响，但动态阈值向冷凝阈值显示饱和。所有这些特征可能为获得单个标准模型的相变阈值的更好的可证明算法下限提供了一种新的途径。 引用于2文件 MSC公司： 82天30分 随机介质、无序材料（包括液晶和自旋玻璃）的统计力学 82B26型 平衡统计力学中的相变（一般） 关键词：随机约束满足;测量传播;旋转玻璃;空间耦合;插值法 PDF格式BibTeX公司 XML格式引用 \textit{S.Hamed Hassani}等人，《统计物理学杂志》。150，第5号，807--850（2013；Zbl 1266.82067） 全文： 内政部 arXiv公司 参考文献： [1] Felstrom，A.，Zigangirov，K.S.：具有低密度奇偶校验矩阵的时间序列周期卷积码。IEEE Trans。Inf.理论45（5），2181-2190（1999）·Zbl 0959.94025号 ·doi:10.1109/18.782171 [2] Kudekar，S.，Richardson，T.，Urbanke，R.：通过空间耦合的阈值饱和：为什么卷积LDPC信号群在BEC上表现如此出色。IEEE传输。《信息理论》57，803–834（2011）·Zbl 1366.94709号 ·doi:10.1109/TIT.2010.2095072 [3] Kudekar，S.，Richardson，T.，Urbanke，R.：空间耦合系综在信念传播下普遍具有容量。在：国际信息理论研讨会论文集，第453–457页（2012年）。另请参见arXiv:1201.2999v1[cs.IT] [4] Kumar，S.、Young，A.J.、Macris，N.、Pfister，H.D.：BMS信道上非规则LDPC码阈值饱和的证明。In：程序。第50届Allerton通信、控制和计算年会（2012年10月）·Zbl 1359.94712号 [5] Hassani，S.H.，Macris，N.，Urbanke，R.：耦合图形模型及其阈值。摘自：《IEEE信息理论研讨会论文集》（ITW），都柏林，第1-5页（2010年）。arXiv:1105.0785v1[cs.信息技术]·Zbl 1266.82067号 [6] Hassani，S.H.，Macris，N.，Urbanke，R.：平均场模型链。《统计力学杂志》。2012年第二季度（2012年） [7] Bak，P.：公度相位、非公度相位和魔鬼楼梯。代表程序。物理学。45, 587–629 (1982) ·doi:10.1088/0034-4885/45/6/001 [8] Krug，J.，Lebowitz，J.L.，Spohn，H.，Zhang，M.Q.：驱动扩散系统的快速率极限。《统计物理学杂志》。44, 535 (1986) ·doi:10.1007/BF01011309 [9] Kudekar，S.，Pfister，H.D.：空间耦合对压缩传感的影响。摘自：第48届Allerton年会，第347-353页（2010年） [10] Krzakala，F.、Mézard，M.、Sausset，F.，Sun，Y.、Zdeborova，L.：压缩感知中基于统计物理的重建。物理学。修订版X 2，021005（2012）·doi:10.1103/PhysRevX.2.021005 [11] Donoho，D.L.，Javanmard，A.，Montanari，A.：信息——通过空间耦合和近似消息传递实现理论上最优的压缩感知。arXiv:1112.0708v1[cs.IT]。另见：IEEE信息理论国际研讨会论文集，第1231–1235页（2012） [12] Mézard，M.，Montanari，A.：信息、计算和物理。牛津大学出版社，伦敦（2010）·Zbl 1163.94001号 [13] Mézard，M.，Parisi，G.：零温度下的空腔法。《统计物理学杂志》。111(1–2), 1–34 (2003). ·兹比尔1014.82032 ·doi:10.1023/A:1022221005097 [14] Mézard，M.，Parisi，G.，Zecchina，R.：随机可满足性问题的分析和算法解。《科学》297812-815（2002）·doi:10.1126/science.1073287 [15] Mézard，M.，Zecchina，R.：随机K可满足性问题：从解析解到有效算法。物理学。版本E 66056126（2002）·doi:10.1103/PhysRevE.66.056126 [16] Guerra，F.，Toninelli，F.：平均场自旋玻璃模型中的热力学极限。Commun公司。数学。物理学。203, 71–79 (2002) ·Zbl 1004.82004号 ·doi:10.1007/s00220-002-0699-y [17] Guerra，F.，Toninelli，F.：Viana-Bray稀释自旋玻璃模型的高温区。《统计物理学杂志》。115, 531–555 (2004) ·Zbl 1157.82377号 ·doi:10.1023/B:JOSS.00000019815.11115.54 [18] Franz，S.，Leone，M.：优化问题和稀释自旋玻璃问题的复制边界。《统计物理学杂志》。111, 535–564 (2003) ·Zbl 1049.82070号 ·doi:10.1023/A:1022885828956 [19] Bayati，M.，Gamarnik，D.，Tetali，P.：稀疏随机图中插值方法和缩放极限的组合方法。摘自：STOC会议记录，第105–114页（2010年）·Zbl 1293.05350号 [20] Mézard，M.、Palassini，M.和Rivoire，O.：约束满足问题的解决方案前景。物理学。修订稿。95, 200202 (2005) ·doi:10.1103/PhysRevLett.95.200202 [21] Zdeborova，L.，Krzakala，F.：随机图着色中的相变。物理学。版本E 76031131（2007）·doi:10.1103/PhysRevE.76.031131 [22] Montanari，A.，Ricci-Tersenghi，F.，Semerjian，G.：随机K-可满足性中的解簇和副本对称破缺。《统计力学杂志》。理论实验2008，P04004（2008）·doi:10.1088/1742-5468/2008/04/P04004 [23] Krzakala，F.、Montanari，A.、Ricci-Tersenghi，F.，Semerjian，G.、Zdeborova，L.：Gibbs状态和随机约束满足问题的解集。程序。国家。阿卡德。科学。104, 10318–10323 (2007) ·Zbl 1190.68031号 ·doi:10.1073/pnas.0703685104 [24] Ricci-Tersenghi，F.，Sermerjian，G.：关于抽取随机约束满足问题的空腔方法和信度传播引导抽取算法的分析。《统计力学杂志》。2009年，P09001（2009）·doi:10.1088/1742-5468/2009/09/P09001 [25] Coja-Oglhan，A.：关于随机K-SAT的信念传播引导抽取。In：Proc。第22届SODA，第957–966页（2011年）·Zbl 1373.68261号 [26] Kirkpatrick，T.R.，Wolynes，P.G.：玻璃转变的一些动力学和平衡理论之间的联系。物理学。版本A 35，3072–3080（1987）·doi:10.1103/PhysRevA.35.3072 [27] Kirkpatrick，T.R.，Thirumalai，D.：p-自旋相互作用自旋玻璃模型：与结构玻璃问题的联系。物理学。修订版B 365388-5397（1987）·doi:10.1103/PhysRevB.36.5388 [28] Berthier，L.，Biroli，G.：玻璃转变和非晶材料的理论观点。修订版Mod。物理学。83, 587–645 (2011) ·doi:10.1103/RevModPhys.83.587 [29] Abbe，E.，Montanari，A.：关于随机可满足公式的解数的集中。arXiv:1006.3786v1·兹比尔1373.68300 [30] Ruelle，D.：《统计力学：严格的结果》。数学系列专题系列。阿姆斯特丹本杰明（1983）·Zbl 1016.82500号 [31] Georgii，H.O.：吉布斯测量和相变。德格鲁伊特数学研究，第9卷。德格鲁伊特，柏林（1988）·Zbl 0657.60122号 [32] Franco，J.：可满足性问题的纯文字启发式概率分析。安·Oper。第1273-289号决议（1984年）·Zbl 0673.90074号 ·doi:10.1007/BF01874393 [33] Broder，A.Z.，Frieze，A.M.，Upfal，E.：关于随机3-CNF公式的可满足性和最大可满足性。参见：第四届ACM-SIAM离散算法年度研讨会，德克萨斯州奥斯汀，1993年，第322-330页。ACM，纽约（1993）·Zbl 0801.68082号 [34] Mézard，M.，Ricci-Tersenghi，F.，Zecchina，R.：稀释p-spin模型和XORSAT问题的两种解决方案。《统计物理学杂志》。111, 505–533 (2003) ·Zbl 1049.82073号 ·doi:10.1023/A:1022886412117 [35] Pittel，B.，Spencer，J.，Wormald，N.：随机图中巨型k核的突然出现。J.库姆。理论系列。B 67、111–151（1996）·Zbl 0860.05065号 ·文件编号：10.1006/jctb.1996.0036 [36] Mézard，M.，Parisi，G.，Virasoro，M.A.：自旋玻璃理论及其以外。《世界科学》，新加坡（1987年）·Zbl 0992.82500号 [37] Talagrand，M.：旋转眼镜：对数学家的挑战。施普林格，柏林（2000）·Zbl 1149.60324号 [38] Stein，D.L.，Newman，C.：热力学混沌和短程自旋玻璃的结构。收录于：Bovier，A.，Picco，P.（编辑）《自旋玻璃和神经网络的数学》，第243-247页。Birkhäuser，波士顿（1998年）·Zbl 0896.60078号 [39] Aizenman，M.，Wehr，J.：猝灭随机性对一阶相变的舍入效应。Commun公司。数学。物理学。130, 489–528 (1990) ·兹比尔0714.60090 ·doi:10.1007/BF02096933 [40] Luby，M.、Mitzenmacher，M.和Shokrollahi，A.：通过And-Or树分析随机过程。附：第九届ACM-SIAM离散算法年会（1998年）论文集·兹比尔0942.68091 [41] Mertens，S.、Mézard，M.、Zecchina，R.：空腔法中随机K-SAT的阈值。随机结构。算法28、340–373（2006）·Zbl 1094.68035号 ·doi:10.1002/rsa.2009年 [42] Kudekar，S.，Richardson，T.，Urbanke，R.：一般一维空间耦合系统的类波解。arXiv:1208.5273[cs.IT]·Zbl 1359.94266号 [43] Mulet，R.，Pagnani，A.，Weigt，M.，Zecchina，R.：着色随机图。物理学。修订稿。89, 268701 (2002) ·Zbl 1267.05121号 ·doi:10.1103/PhysRevLett.89.268701 [44] Achlioptas，D.，Hassani，H.，Macris，N.，Urbanke，R.：正在进行的工作 [45] Aref，V.，Macris，N.，Urbanke，R.，Vuffray，M.：通过空间耦合LDGM信号群的有损信源编码。摘自：《信息理论会议录国际研讨会》，第373–377页（2012年）。arXiv:1202.4959v1[cs.IT] [46] Yedla，A.，Jian，Y.，Nguyen，P.S.，Pfister，H.D.：耦合标量递归阈值饱和的简单证明。摘自：《国际交响乐会议录》。Turbo码和迭代信息处理。arXiv:1204.5703·Zbl 1360.94393号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。