Survey Propagation as local equilibrium equations

A. Braunstein; R. Zecchina

doi:10.1088/1742-5468/2004/06/p06007

Home/Archive/arXiv

arXiv · cond-mat/0312483

Survey Propagation as local equilibrium equations

A. Braunstein·R. Zecchina

View original source ↗Read source document ↗Export metadata ↓

Abstract

It has been shown experimentally that a decimation algorithm based on Survey Propagation (SP) equations allows to solve efficiently some combinatorial problems over random graphs. We show that these equations can be derived as sum-product equations for the computation of marginals in an extended space where the variables are allowed to take an additional value -- $*$ -- when they are not forced by the combinatorial constraints. An appropriate ``local equilibrium condition'' cost/energy function is introduced and its entropy is shown to coincide with the expected logarithm of the number of clusters of solutions as computed by SP. These results may help to clarify the geometrical notion of clusters assumed by SP for the random K-SAT or random graph coloring (where it is conjectured to be exact) and helps to explain which kind of clustering operation or approximation is enforced in general/small sized models in which it is known to be inexact.

Explore related subjects

cond-mat.dis-nn cs.CC

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

A. Braunstein, R. Zecchina. 2004-06-08. Survey Propagation as local equilibrium equations. https://doi.org/10.1088/1742-5468%2F2004%2F06%2Fp06007

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Statistical levels and spatial modes of Fock-space heterogeneity in many-body localization crossovers

Near many-body localization crossovers, local memory fluctuates strongly among eigenstates and ensemble realizations, but the observed heterogeneity combines contributions from different statistical levels. We develop a statistical framework based on configuration-space distance distributions that uses a variance decomposition to separate fluctuations within eigenstates, between eigenstates of one sample, and between samples. Applying this framework to random-cosine and quasiperiodic-cosine Ising ensembles with the same one-site field marginal, we find that, at the exact-diagonalization sizes studied, the clearest difference occurs among disorder realizations or quasiperiodic phase samples, whereas within-eigenstate and within-sample eigenstate-to- eigenstate contributions remain broadly comparable. Spatial covariances show that random outer fluctuations have a much stronger uniform component, whereas quasiperiodic phase fluctuations are organized more strongly at finite wave number and partly cancel in the spatial average controlling the distance center. We find that, near the crossover in the random ensemble, the ensemble-averaged distance center is particularly sensitive to changes in the nominal field strength. Combined with sample-to-sample differences in the realized field amplitude, this mean response accounts for much of the sample-to-sample variation in the distance center. Analysis of half-chain entanglement further shows that its sample-to-sample fluctuations likewise reflect the combined effects of amplitude variations and its own mean response. An application to a fixed-magnetization spin chain demonstrates the framework in a constrained configuration space. Resolving both statistical level and spatial mode therefore provides a more complete picture of sample- dependent many-body memory and its configuration-space probability geometry.

cond-mat.dis-nn↗

arXiv2026

Synchronous and asynchronous Monte Carlo dynamics of mean-field spin glasses with rotationally invariant couplings: what they share and where they differ

We compare two Markov chain Monte Carlo dynamics for Ising spin glasses with rotationally invariant couplings: the synchronous Monte Carlo method (SyncMC), which updates all spins in parallel with the help of Gaussian auxiliary fields, and asynchronous Metropolis-Hastings dynamics, which updates one spin at a time. Using the Guionnet-Maïda formula, we derive the dynamical mean-field theory of both dynamics in terms of the R-transform of the coupling spectrum. The two effective single-spin processes share a retarded self-interaction and a Gaussian noise; SyncMC has, in addition, an instantaneous self-coupling and a noise that depends only on the response function. These additional terms act only on the fastest time scale, so that the equations for slow time scales, including the fluctuation-dissipation ratio and, for the Sherrington-Kirkpatrick model, the Parisi equation, are the same for the two dynamics. Simulations of the random orthogonal and Sherrington-Kirkpatrick models confirm that both dynamics approach the same fluctuation-dissipation relations, differing only in how many updates they need to do so.

cond-mat.dis-nn↗

arXiv2026

Optical Ceiling on Polaron Mobility in Disordered Molecular Semiconductors: Lessons from Eumelanin

Polaron hopping in disordered molecular semiconductors such as eumelanin is set by energetic disorder $σ$ and reorganization energy $λ$. We show that the reduced polaron absorption band encodes this transport problem. Its value at zero energy fixes the mean hop rate, which bounds the mobility in any dimension. For Gaussian disorder and classical vibrations its centroid is $E_\mathrm{op}=λ+(1-c)σ^2/k_BT$, its variance obeys the Hush relation, and the bound is the Marcus rate at $λ\to E_\mathrm{op}$; a 1D lower bound vanishes at $k_BT^*=(1-c)σ^2/λ$, read from optics.

cond-mat.dis-nn↗