18 research outputs found
Glassy Critical Points and Random Field Ising Model
We consider the critical properties of points of continuous glass transition
as one can find in liquids in presence of constraints or in liquids in porous
media. Through a one loop analysis we show that the critical Replica Field
Theory describing these points can be mapped in the -Random Field Ising
Model. We confirm our analysis studying the finite size scaling of the -spin
model defined on sparse random graph, where a fraction of variables is frozen
such that the phase transition is of a continuous kind.Comment: The paper has been completely revised. A completely new part with
simulations of a p-spin glass model on random graph has been included. An
appendix with the Mathematica worksheet used in the calculation of the
diagrams has also been adde
Characterizing and Improving Generalized Belief Propagation Algorithms on the 2D Edwards-Anderson Model
We study the performance of different message passing algorithms in the two
dimensional Edwards Anderson model. We show that the standard Belief
Propagation (BP) algorithm converges only at high temperature to a paramagnetic
solution. Then, we test a Generalized Belief Propagation (GBP) algorithm,
derived from a Cluster Variational Method (CVM) at the plaquette level. We
compare its performance with BP and with other algorithms derived under the
same approximation: Double Loop (DL) and a two-ways message passing algorithm
(HAK). The plaquette-CVM approximation improves BP in at least three ways: the
quality of the paramagnetic solution at high temperatures, a better estimate
(lower) for the critical temperature, and the fact that the GBP message passing
algorithm converges also to non paramagnetic solutions. The lack of convergence
of the standard GBP message passing algorithm at low temperatures seems to be
related to the implementation details and not to the appearance of long range
order. In fact, we prove that a gauge invariance of the constrained CVM free
energy can be exploited to derive a new message passing algorithm which
converges at even lower temperatures. In all its region of convergence this new
algorithm is faster than HAK and DL by some orders of magnitude.Comment: 19 pages, 13 figure
Clusters of solutions and replica symmetry breaking in random k-satisfiability
We study the set of solutions of random k-satisfiability formulae 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 larger or equal than 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.Comment: 30 pages, 14 figures, typos corrected, discussion of appendix C
expanded with a new figur
Approximation schemes for the dynamics of diluted spin models: the Ising ferromagnet on a Bethe lattice
We discuss analytical approximation schemes for the dynamics of diluted spin
models. The original dynamics of the complete set of degrees of freedom is
replaced by a hierarchy of equations including an increasing number of global
observables, which can be closed approximately at different levels of the
hierarchy. We illustrate this method on the simple example of the Ising
ferromagnet on a Bethe lattice, investigating the first three possible
closures, which are all exact in the long time limit, and which yield more and
more accurate predictions for the finite-time behavior. We also investigate the
critical region around the phase transition, and the behavior of two-time
correlation functions. We finally underline the close relationship between this
approach and the dynamical replica theory under the assumption of replica
symmetry.Comment: 21 pages, 5 figure
Instability of one-step replica-symmetry-broken phase in satisfiability problems
We reconsider the one-step replica-symmetry-breaking (1RSB) solutions of two
random combinatorial problems: k-XORSAT and k-SAT. We present a general method
for establishing the stability of these solutions with respect to further steps
of replica-symmetry breaking. Our approach extends the ideas of [A.Montanari
and F. Ricci-Tersenghi, Eur.Phys.J. B 33, 339 (2003)] to more general
combinatorial problems.
It turns out that 1RSB is always unstable at sufficiently small clauses
density alpha or high energy. In particular, the recent 1RSB solution to 3-SAT
is unstable at zero energy for alpha< alpha_m, with alpha_m\approx 4.153. On
the other hand, the SAT-UNSAT phase transition seems to be correctly described
within 1RSB.Comment: 26 pages, 7 eps figure
On the cavity method for decimated random constraint satisfaction problems and the analysis of belief propagation guided decimation algorithms
We introduce a version of the cavity method for diluted mean-field spin
models that allows the computation of thermodynamic quantities similar to the
Franz-Parisi quenched potential in sparse random graph models. This method is
developed in the particular case of partially decimated random constraint
satisfaction problems. This allows to develop a theoretical understanding of a
class of algorithms for solving constraint satisfaction problems, in which
elementary degrees of freedom are sequentially assigned according to the
results of a message passing procedure (belief-propagation). We confront this
theoretical analysis to the results of extensive numerical simulations.Comment: 32 pages, 24 figure
Aging dynamics of heterogeneous spin models
We investigate numerically the dynamics of three different spin models in the
aging regime. Each of these models is meant to be representative of a distinct
class of aging behavior: coarsening systems, discontinuous spin glasses, and
continuous spin glasses. In order to study dynamic heterogeneities induced by
quenched disorder, we consider single-spin observables for a given disorder
realization. In some simple cases we are able to provide analytical predictions
for single-spin response and correlation functions.
The results strongly depend upon the model considered. It turns out that, by
comparing the slow evolution of a few different degrees of freedom, one can
distinguish between different dynamic classes. As a conclusion we present the
general properties which can be induced from our results, and discuss their
relation with thermometric arguments.Comment: 39 pages, 36 figure
On the dynamics of the glass transition on Bethe lattices
The Glauber dynamics of disordered spin models with multi-spin interactions
on sparse random graphs (Bethe lattices) is investigated. Such models undergo a
dynamical glass transition upon decreasing the temperature or increasing the
degree of constrainedness. Our analysis is based upon a detailed study of large
scale rearrangements which control the slow dynamics of the system close to the
dynamical transition. Particular attention is devoted to the neighborhood of a
zero temperature tricritical point.
Both the approach and several key results are conjectured to be valid in a
considerably more general context.Comment: 56 pages, 38 eps figure
Solving satisfiability problems by fluctuations: The dynamics of stochastic local search algorithms
Stochastic local search algorithms are frequently used to numerically solve
hard combinatorial optimization or decision problems. We give numerical and
approximate analytical descriptions of the dynamics of such algorithms applied
to random satisfiability problems. We find two different dynamical regimes,
depending on the number of constraints per variable: For low constraintness,
the problems are solved efficiently, i.e. in linear time. For higher
constraintness, the solution times become exponential. We observe that the
dynamical behavior is characterized by a fast equilibration and fluctuations
around this equilibrium. If the algorithm runs long enough, an exponentially
rare fluctuation towards a solution appears.Comment: 21 pages, 18 figures, revised version, to app. in PRE (2003
Field Theory of Fluctuations in Glasses
We develop a field-theoretical description of dynamical heterogeneities and
fluctuations in supercooled liquids close to the (avoided) MCT singularity.
Using quasi-equilibrium arguments we eliminate time from the description and we
completely characterize fluctuations in the beta regime. We identify different
sources of fluctuations and show that the most relevant ones are associated to
variations of "self-induced disorder" in the initial condition of the dynamics.
It follows that heterogeneites can be describes through a cubic field theory
with an effective random field term. The phenomenon of perturbative dimensional
reduction ensues, well known in random field problems, which implies an upper
critical dimension of the theory equal to 8. We apply our theory to finite size
scaling for mean-field systems and we test its prediction against numerical
simulations