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.
References
59
Referenced
105
{'year': '1983', 'key': '1-1'}
(1983){'key': '2-1', 'first-page': '459'}
10.1090/S0894-0347-99-00305-7
/ J. Am. Math. Soc. (1999)10.1016/S0304-3975(01)00158-X
/ Theor. Comput. Sci. (2001)10.1016/S0304-3975(01)00161-X
/ Theor. Comput. Sci. (2001)10.1090/S0894-0347-04-00464-3
/ J. Am. Math. Soc. (2004)10.1016/S0304-3975(01)00156-6
/ Theor. Comput. Sci. (2001)10.1103/PhysRevE.56.1357
/ Phys. Rev. (1997)10.1007/s100510051065
/ Eur. Phys. J. (2000)10.1103/PhysRevE.66.056126
/ Phys. Rev. (2002)10.1126/science.1073287
/ Science (2002)10.1002/rsa.20090
/ Random Struct. Algorithms (2006){'year': '1987', 'key': '13-1'}
(1987)10.1073/pnas.0703685104
/ Proc. Nat. Acad. Sci. (2007)10.1103/PhysRevE.76.031131
/ Phys. Rev. (2007){'year': '2008', 'key': '16-1'}
(2008){'year': '2008', 'key': '17-1'}
(2008){'year': '2003', 'key': '18-1'}
(2003)10.1109/18.910572
/ IEEE Trans. Inf. Theory (2001)10.1515/9783110850147
(1988){'year': '2003', 'key': '21-1', 'first-page': '271'}
(2003){'year': '2003', 'key': '22-1', 'first-page': '367'}
(2003)10.1103/PhysRevLett.75.2847
/ Phys. Rev. Lett. (1995)10.1007/BF01210613
/ Commun. Math. Phys. (1987)10.1007/PL00011099
/ Eur. Phys. J. (2001)10.1007/s10955-006-9162-3
/ J. Stat. Phys. (2006)10.1063/1.1796231
/ J. Chem. Phys. (2004)10.1007/s00220-004-1147-y
/ Commun. Math. Phys. (2004)10.1103/PhysRevLett.98.187801
/ Phys. Rev. Lett. (2007)10.1051/jp1:1995201
/ J. Physique (1995)10.1007/s00440-004-0369-4
/ Probab. Theory Relat. Fields (2005)10.1007/s10955-006-9175-y
/ J. Stat. Phys. (2006)10.1103/PhysRevLett.95.200202
/ Phys. Rev. Lett. (2005)10.1023/A:1022221005097
/ J. Stat. Phys. (2003)10.1016/j.tcs.2008.01.005
/ Theor. Comput. Sci. (2008){'key': '36-1', 'first-page': '130'}
{'year': '2007', 'key': '37-1'}
(2007)10.1023/A:1022886412117
/ J. Stat. Phys. (2003)10.1103/PhysRevLett.90.047205
/ Phys. Rev. Lett. (2003)10.1002/9781118032718
(2000){'year': '2008', 'key': '41-1'}
(2008)10.1023/A:1022885828956
/ J. Stat. Phys. (2003)10.1007/s00440-004-0342-2
/ Probab. Theory Relat. Fields (2004){'key': '44-1'}
10.1088/0022-3719/6/10/009
/ J. Phys. C: Solid State Phys. (1973)10.1007/s10955-007-9417-7
/ J. Stat. Phys. (2008)10.1007/s10955-006-9103-1
/ J. Stat. Phys. (2006)10.1103/PhysRevE.68.046706
/ Phys. Rev. (2003)10.1140/epjb/e2005-00293-1
/ Eur. Phys. J. (2005)10.1088/0305-4470/37/6/008
/ J. Phys. A: Math. Gen. (2004)10.1140/epjb/e2003-00174-7
/ Eur. Phys. J. (2003)10.1209/0295-5075/81/57005
/ Eur. Phys. Lett. (2008)10.1088/1742-5468/2005/06/P06006
/ J. Stat. Mech. (2005){'year': '2007', 'key': '54-1'}
(2007)10.1103/PhysRevE.76.021122
/ Phys. Rev. (2007){'key': '56-1', 'first-page': '1', 'volume': '54', 'year': '2007', 'journal-title': 'J. Am. Chem. Soc.'}
/ J. Am. Chem. Soc. (2007)10.1088/1742-5468/2005/11/P11008
/ J. Stat. Mech. (2005){'key': '58-1'}
{'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) |
@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} }