Crossref journal-article
IOP Publishing
Journal of Statistical Mechanics: Theory and Experiment (266)
Abstract

We study the set of solutions of random k-satisfiability formulas through the cavity method. It is known that, for an interval of the clause-to-variables ratio, this decomposes into an exponential number of pure states (clusters). We refine substantially this picture by: (i) determining the precise location of the clustering transition; (ii) uncovering a second ‘condensation’ phase transition in the structure of the solution set for k≥4. These results both follow from computing the large deviation rate of the internal entropy of pure states. From a technical point of view our main contributions are a simplified version of the cavity formalism for special values of the Parisi replica symmetry breaking parameter m (in particular for m = 1 via a correspondence with the tree reconstruction problem) and new large-k expansions.

Bibliography

Montanari, A., Ricci-Tersenghi, F., & Semerjian, G. (2008). Clusters of solutions and replica symmetry breaking in random k-satisfiability. Journal of Statistical Mechanics: Theory and Experiment, 2008(04), P04004.

Authors 3
  1. Andrea Montanari (first)
  2. Federico Ricci-Tersenghi (additional)
  3. Guilhem Semerjian (additional)
References 59 Referenced 105
  1. {'year': '1983', 'key': '1-1'} (1983)
  2. {'key': '2-1', 'first-page': '459'}
  3. 10.1090/S0894-0347-99-00305-7 / J. Am. Math. Soc. (1999)
  4. 10.1016/S0304-3975(01)00158-X / Theor. Comput. Sci. (2001)
  5. 10.1016/S0304-3975(01)00161-X / Theor. Comput. Sci. (2001)
  6. 10.1090/S0894-0347-04-00464-3 / J. Am. Math. Soc. (2004)
  7. 10.1016/S0304-3975(01)00156-6 / Theor. Comput. Sci. (2001)
  8. 10.1103/PhysRevE.56.1357 / Phys. Rev. (1997)
  9. 10.1007/s100510051065 / Eur. Phys. J. (2000)
  10. 10.1103/PhysRevE.66.056126 / Phys. Rev. (2002)
  11. 10.1126/science.1073287 / Science (2002)
  12. 10.1002/rsa.20090 / Random Struct. Algorithms (2006)
  13. {'year': '1987', 'key': '13-1'} (1987)
  14. 10.1073/pnas.0703685104 / Proc. Nat. Acad. Sci. (2007)
  15. 10.1103/PhysRevE.76.031131 / Phys. Rev. (2007)
  16. {'year': '2008', 'key': '16-1'} (2008)
  17. {'year': '2008', 'key': '17-1'} (2008)
  18. {'year': '2003', 'key': '18-1'} (2003)
  19. 10.1109/18.910572 / IEEE Trans. Inf. Theory (2001)
  20. 10.1515/9783110850147 (1988)
  21. {'year': '2003', 'key': '21-1', 'first-page': '271'} (2003)
  22. {'year': '2003', 'key': '22-1', 'first-page': '367'} (2003)
  23. 10.1103/PhysRevLett.75.2847 / Phys. Rev. Lett. (1995)
  24. 10.1007/BF01210613 / Commun. Math. Phys. (1987)
  25. 10.1007/PL00011099 / Eur. Phys. J. (2001)
  26. 10.1007/s10955-006-9162-3 / J. Stat. Phys. (2006)
  27. 10.1063/1.1796231 / J. Chem. Phys. (2004)
  28. 10.1007/s00220-004-1147-y / Commun. Math. Phys. (2004)
  29. 10.1103/PhysRevLett.98.187801 / Phys. Rev. Lett. (2007)
  30. 10.1051/jp1:1995201 / J. Physique (1995)
  31. 10.1007/s00440-004-0369-4 / Probab. Theory Relat. Fields (2005)
  32. 10.1007/s10955-006-9175-y / J. Stat. Phys. (2006)
  33. 10.1103/PhysRevLett.95.200202 / Phys. Rev. Lett. (2005)
  34. 10.1023/A:1022221005097 / J. Stat. Phys. (2003)
  35. 10.1016/j.tcs.2008.01.005 / Theor. Comput. Sci. (2008)
  36. {'key': '36-1', 'first-page': '130'}
  37. {'year': '2007', 'key': '37-1'} (2007)
  38. 10.1023/A:1022886412117 / J. Stat. Phys. (2003)
  39. 10.1103/PhysRevLett.90.047205 / Phys. Rev. Lett. (2003)
  40. 10.1002/9781118032718 (2000)
  41. {'year': '2008', 'key': '41-1'} (2008)
  42. 10.1023/A:1022885828956 / J. Stat. Phys. (2003)
  43. 10.1007/s00440-004-0342-2 / Probab. Theory Relat. Fields (2004)
  44. {'key': '44-1'}
  45. 10.1088/0022-3719/6/10/009 / J. Phys. C: Solid State Phys. (1973)
  46. 10.1007/s10955-007-9417-7 / J. Stat. Phys. (2008)
  47. 10.1007/s10955-006-9103-1 / J. Stat. Phys. (2006)
  48. 10.1103/PhysRevE.68.046706 / Phys. Rev. (2003)
  49. 10.1140/epjb/e2005-00293-1 / Eur. Phys. J. (2005)
  50. 10.1088/0305-4470/37/6/008 / J. Phys. A: Math. Gen. (2004)
  51. 10.1140/epjb/e2003-00174-7 / Eur. Phys. J. (2003)
  52. 10.1209/0295-5075/81/57005 / Eur. Phys. Lett. (2008)
  53. 10.1088/1742-5468/2005/06/P06006 / J. Stat. Mech. (2005)
  54. {'year': '2007', 'key': '54-1'} (2007)
  55. 10.1103/PhysRevE.76.021122 / Phys. Rev. (2007)
  56. {'key': '56-1', 'first-page': '1', 'volume': '54', 'year': '2007', 'journal-title': 'J. Am. Chem. Soc.'} / J. Am. Chem. Soc. (2007)
  57. 10.1088/1742-5468/2005/11/P11008 / J. Stat. Mech. (2005)
  58. {'key': '58-1'}
  59. {'year': '2008', 'key': '59-1'} (2008)
Dates
Type When
Created 17 years, 4 months ago (April 8, 2008, 11:17 p.m.)
Deposited 8 months, 2 weeks ago (Dec. 12, 2024, 6:14 a.m.)
Indexed 2 months, 4 weeks ago (May 30, 2025, 10:06 a.m.)
Issued 17 years, 4 months ago (April 1, 2008)
Published 17 years, 4 months ago (April 1, 2008)
Published Online 17 years, 4 months ago (April 8, 2008)
Published Print 17 years, 4 months ago (April 1, 2008)
Funders 0

None

@article{Montanari_2008, title={Clusters of solutions and replica symmetry breaking in random k-satisfiability}, volume={2008}, ISSN={1742-5468}, url={http://dx.doi.org/10.1088/1742-5468/2008/04/p04004}, DOI={10.1088/1742-5468/2008/04/p04004}, number={04}, journal={Journal of Statistical Mechanics: Theory and Experiment}, publisher={IOP Publishing}, author={Montanari, Andrea and Ricci-Tersenghi, Federico and Semerjian, Guilhem}, year={2008}, month=apr, pages={P04004} }