Cluster expansions in dilute systems: applications to satisfiability problems and spin glasses

Abstract

We develop a systematic cluster expansion for dilute systems in the highly dilute phase. We first apply it to the calculation of the entropy of the K-satisfiability problem in the satisfiable phase. We derive a series expansion in the control parameter, the average connectivity, that is identical to the one obtained by using the replica approach with a replica symmetric ({\sc rs}) {\it Ansatz}, when the order parameter is calculated via a perturbative expansion in the control parameter. As a second application we compute the free-energy of the Viana-Bray model in the paramagnetic phase. The cluster expansion allows one to compute finite-size corrections in a simple manner and these are particularly important in optimization problems. Importantly enough, these calculations prove the exactness of the {\sc rs} {\it Ansatz} below the percolation threshold and might require its revision between this and the easy-to-hard transition.

21 pages, 7 figs, to appear in Phys. Rev. E

References in corpus (1)

• Simplest random K-satisfiability problem

Cited by in corpus (6)

• Sparse random matrices: the eigenvalue spectrum revisited
• The high temperature region of the Viana-Bray diluted spin glass model
• Relaxation and Metastability in the RandomWalkSAT search procedure
• On the stochastic dynamics of disordered spin models
• Approximate analysis of search algorithms with "physical" methods
• A Phase Transition and Stochastic Domination in Pippenger's Probabilistic Failure Model for Boolean Networks with Unreliable Gates