386 research outputs found
Glass models on Bethe lattices
We consider ``lattice glass models'' in which each site can be occupied by at
most one particle, and any particle may have at most l occupied nearest
neighbors. Using the cavity method for locally tree-like lattices, we derive
the phase diagram, with a particular focus on the vitreous phase and the
highest packing limit. We also study the energy landscape via the
configurational entropy, and discuss different equilibrium glassy phases.
Finally, we show that a kinetic freezing, depending on the particular dynamical
rules chosen for the model, can prevent the equilibrium glass transitions.Comment: 24 pages, 11 figures; minor corrections + enlarged introduction and
conclusio
Statistical Mechanics of the Hyper Vertex Cover Problem
We introduce and study a new optimization problem called Hyper Vertex Cover.
This problem is a generalization of the standard vertex cover to hypergraphs:
one seeks a configuration of particles with minimal density such that every
hyperedge of the hypergraph contains at least one particle. It can also be used
in important practical tasks, such as the Group Testing procedures where one
wants to detect defective items in a large group by pool testing. Using a
Statistical Mechanics approach based on the cavity method, we study the phase
diagram of the HVC problem, in the case of random regualr hypergraphs.
Depending on the values of the variables and tests degrees different situations
can occur: The HVC problem can be either in a replica symmetric phase, or in a
one-step replica symmetry breaking one. In these two cases, we give explicit
results on the minimal density of particles, and the structure of the phase
space. These problems are thus in some sense simpler than the original vertex
cover problem, where the need for a full replica symmetry breaking has
prevented the derivation of exact results so far. Finally, we show that
decimation procedures based on the belief propagation and the survey
propagation algorithms provide very efficient strategies to solve large
individual instances of the hyper vertex cover problem.Comment: Submitted to PR
Exactly solvable models of adaptive networks
A satisfiability (SAT-UNSAT) transition takes place for many optimization
problems when the number of constraints, graphically represented by links
between variables nodes, is brought above some threshold. If the network of
constraints is allowed to adapt by redistributing its links, the SAT-UNSAT
transition may be delayed and preceded by an intermediate phase where the
structure self-organizes to satisfy the constraints. We present an analytic
approach, based on the recently introduced cavity method for large deviations,
which exactly describes the two phase transitions delimiting this adaptive
intermediate phase. We give explicit results for random bond models subject to
the connectivity or rigidity percolation transitions, and compare them with
numerical simulations.Comment: 4 pages, 4 figure
The cavity method for large deviations
A method is introduced for studying large deviations in the context of
statistical physics of disordered systems. The approach, based on an extension
of the cavity method to atypical realizations of the quenched disorder, allows
us to compute exponentially small probabilities (rate functions) over different
classes of random graphs. It is illustrated with two combinatorial optimization
problems, the vertex-cover and coloring problems, for which the presence of
replica symmetry breaking phases is taken into account. Applications include
the analysis of models on adaptive graph structures.Comment: 18 pages, 7 figure
Amorphous-amorphous transition and the two-step replica symmetry breaking phase
The nature of polyamorphism and amorphous-to-amorphous transition is
investigated by means of an exactly solvable model with quenched disorder, the
spherical s+p multi-spin interaction model. The analysis is carried out in the
framework of Replica Symmetry Breaking theory and leads to the identification
of low temperature glass phases of different kinds. Besides the usual
`one-step' solution, known to reproduce all basic properties of structural
glasses, also a physically consistent `two-step' solution arises. More
complicated phases are found as well, as temperature is further decreased,
expressing a complex variety of metastable states structures for amorphous
systems.Comment: 8 pages, 7 figures, longer version, new references adde
Landscape of solutions in constraint satisfaction problems
We present a theoretical framework for characterizing the geometrical
properties of the space of solutions in constraint satisfaction problems,
together with practical algorithms for studying this structure on particular
instances. We apply our method to the coloring problem, for which we obtain the
total number of solutions and analyze in detail the distribution of distances
between solutions.Comment: 4 pages, 4 figures. Replaced with published versio
Message passing for vertex covers
Constructing a minimal vertex cover of a graph can be seen as a prototype for
a combinatorial optimization problem under hard constraints. In this paper, we
develop and analyze message passing techniques, namely warning and survey
propagation, which serve as efficient heuristic algorithms for solving these
computational hard problems. We show also, how previously obtained results on
the typical-case behavior of vertex covers of random graphs can be recovered
starting from the message passing equations, and how they can be extended.Comment: 25 pages, 9 figures - version accepted for publication in PR
- …