Skip to main content
Log in

Bethe States of Random Factor Graphs

  • Published:
Communications in Mathematical Physics Aims and scope Submit manuscript

Abstract

We verify a key component of the replica symmetry breaking hypothesis put forward in the physics literature (Mézard and Montanari in Information, physics and computation. Oxford University Press, Oxford, 2009) on random factor graph models. For a broad class of these models we verify that the Gibbs measure can be decomposed into a moderate number of Bethe states, subsets of the state space in which both short and long range correlations of the measure take a simple form. Moreover, we show that the marginals of these Bethe states can be obtained from fixed points of the Belief Propagation operator. We derive these results from a new result on the approximation of general probability measures on discrete cubes by convex combinations of product measures.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Abbe E., Sandon C.: Proof of the achievability conjectures for the general stochastic block model. Commun. Pure Appl. Math. 71, 1334–1406 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  2. Allen, S., O’Donnell, R.: Conditioning and covariance on caterpillars. In: IEEE Information Theory Workshop (ITW), pp. 1–5 (2015)

  3. Auffinger, A., Jagannath, A.: Thouless-Anderson-Palmer equations for conditional Gibbs measures in the generic p-spin glass model. (2016). arXiv:1612.06359

  4. Banks, J., Moore, C., Neeman, J., Netrapalli, P.: Information-theoretic thresholds for community detection in sparse networks. In: Proceedings of 29th COLT, pp. 383–416 (2016)

  5. Bapst V., Coja-Oghlan A.: Harnessing the Bethe free energy. Random Struct. Algorithms 49, 694–741 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  6. Barbier, J., Dia, M., Macris, N.: Threshold saturation of spatially coupled sparse superposition codes for all memoryless channels. In: IEEE Information Theory Workshop (2016)

  7. Borgs C., Chayes J., Lovász L., Sós V., Vesztergombi K.: Convergent sequences of dense graphs I: Subgraph frequencies, metric properties and testing. Adv. Math. 219, 1801–1851 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  8. Coja-Oghlan, A., Jaafari, N.: On the Potts antiferromagnet on random graphs. Electron. J. Comb. 23, P4.3 (2016)

  9. Coja-Oghlan A., Krzakala F., Perkins W., Zdeborová L.: Information-theoretic thresholds from the cavity method. Adv. Math. 333, 694–795 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  10. Coja-Oghlan A., Panagiotou K.: The asymptotic k-SAT threshold. Adv. Math. 288, 985–1068 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  11. Coja-Oghlan A., Perkins W.: Belief Propagation on replica symmetric random factor graph models. Annales de l’Institut Henri Poincare D 5, 211–249 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  12. Coja-Oghlan A., Perkins W., Skubch K.: Limits of discrete distributions and Gibbs measures on random graphs. Eur. J. Comb. 66, 37–59 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  13. Contucci P., Dommers S., Giardina C., Starr S.: Antiferromagnetic Potts model on the Erdős-Rényi random graph. Commun. Math. Phys. 323, 517–554 (2013)

    Article  ADS  MATH  Google Scholar 

  14. Dembo A., Montanari A.: Gibbs measures and phase transitions on sparse random graphs. Braz. J. Probab. Stat. 24, 137–211 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  15. Dembo A., Montanari A., Sly A., Sun N.: The replica symmetric solution for Potts models on d-regular graphs. Commun. Math. Phys. 327, 551–575 (2014)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  16. Dembo A., Montanari A., Sun N.: Factor models on locally tree-like graphs. Ann. Probab. 41, 4162–4213 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  17. Ding, J., Sly, A., Sun, N.: Proof of the satisfiability conjecture for large k. In: Proceedings of 47th STOC, pp. 59–68 (2015)

  18. Ding J., Sly A., Sun N.: Maximum independent sets on random regular graphs. Acta Math. 217, 2630–340 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  19. Diaconis P., Janson S.: Graph limits and exchangeable random graphs. Rend. Mat. Appl 28, 33–61 (2008)

    MathSciNet  MATH  Google Scholar 

  20. Frieze A., Kannan R.: Quick approximation to matrices and applications. Combinatorica 19, 175–220 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  21. Galanis A., Stefankovic D., Vigoda E.: Inapproximability of the partition function for the antiferromagnetic Ising and hard-core models. Comb. Probab. Comput. 25, 500–559 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  22. Giurgiu A., Macris N., Urbanke R.: Spatial coupling as a proof technique and three applications. IEEE Trans. Inf. Theory 62, 5281–5295 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  23. Janson, S.: Graphons, cut norm and distance, couplings and rearrangements. In: NYJM Monographs, vol. 4 (2013)

  24. Krzakala F., Montanari A., Ricci-Tersenghi F., Semerjian G., Zdeborová L.: Gibbs states and the set of solutions of random constraint satisfaction problems. Proc. Natl. Acad. Sci. 104, 10318–10323 (2007)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  25. Lovász L., Szegedy B.: Limits of dense graph sequences. J. Comb. Theory Ser. B 96, 933–957 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  26. Marinari E., Parisi G., Ricci-Tersenghi F., Ruiz-Lorenzo J., Zuliani F.: Replica symmetry breaking in short-range spin glasses: theoretical foundations and numerical evidences. J. Stat. Phys. 98, 973–1074 (2000)

    Article  ADS  MathSciNet  MATH  Google Scholar 

  27. Massoulié, L.: Community detection thresholds and the weak Ramanujan property. In: Proceedings of the 46th Annual ACM Symposium on Theory of Computing, pp. 694–703 (2014)

  28. Mézard, M., Montanari, A.: Information, Physics and Computation. Oxford University Press, Oxford (2009)

  29. Mézard M., Parisi G.: The Bethe lattice spin glass revisited. Eur. Phys. J. B 20, 217–233 (2001)

    Article  ADS  MathSciNet  Google Scholar 

  30. Mézard M., Parisi G.: The cavity method at zero temperature. J. Stat. Phys. 111, 1–34 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  31. Mézard, M., Parisi, G., Virasoro, M.: Spin Glass Theory and Beyond. World Scientific, Singapore (1987)

  32. Mézard M., Parisi G., Zecchina R.: Analytic and algorithmic solution of random satisfiability problems. Science 297, 812–815 (2002)

    Article  ADS  Google Scholar 

  33. Montanari A.: Estimating random variables from random sparse observations. Eur. Trans. Telecommun. 19, 385–403 (2008)

    Article  Google Scholar 

  34. Mossel E., Neeman J., Sly A.: A proof of the block model threshold conjecture. Combinatorica 38, 665–708 (2018)

    Article  MathSciNet  Google Scholar 

  35. Mossel, E., Neeman, J., Sly, A.: Reconstruction and estimation in the planted partition model. Probab. Theory Relat. Fields. 1–31 (2014)

  36. Mossel E., Weitz D., Wormald N.: On the hardness of sampling independent sets beyond the tree threshold. Probab. Theory Relat. Fields 143, 401–439 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  37. Panchenko D.: On the replica symmetric solution of the K-sat model. Electron. J. Probab 19, 1–17 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  38. Panchenko, D.: The Sherrington-Kirkpatrick Model. Springer, New York (2013)

  39. Raghavendra, P., Tan, N.: Approximating CSPs with global cardinality constraints using SDP hierarchies. In: Proceedings of 23rd SODA, pp .373–387 (2012)

  40. Richardson, T., Urbanke, R.: Modern Coding Theory. Cambridge University Press, Cambridge (2008)

  41. Sly A., Sun N.: The computational hardness of counting in two-spin models on d-regular graphs. Ann. Probab. 42, 2383–2416 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  42. Szemerédi E.: Regular partitions of graphs. Colloq. Internat. CNRS 260, 399–401 (1978)

    MathSciNet  MATH  Google Scholar 

  43. Talagrand M.: The high temperature case for the random K-sat problem. Probab. Theory Relat. Fields 119, 187–212 (2001)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

We thank Dmitry Panchenko for many detailed comments and corrections on an early version of this paper. We also thank Ryan O’Donnell for bringing [2,39] to our attention and Florent Krzakala and Guilhem Semerjian for helpful comments. WP was supported in part by the Engineering and Physical Sciences Research Council (EPSRC) Grant EP/P009913/1.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Will Perkins.

Additional information

Communicated by H. Duminil-Copin

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Coja-Oghlan, A., Perkins, W. Bethe States of Random Factor Graphs. Commun. Math. Phys. 366, 173–201 (2019). https://doi.org/10.1007/s00220-019-03387-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00220-019-03387-7

Navigation