arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · cond-mat/0301272

Relaxation and Metastability in the RandomWalkSAT search procedure

Guilhem Semerjian·Remi Monasson
View original source ↗Read source document ↗Export metadata ↓

Abstract

An analysis of the average properties of a local search resolution procedure for the satisfaction of random Boolean constraints is presented. Depending on the ratio alpha of constraints per variable, resolution takes a time T_res growing linearly (T_res \sim tau(alpha) N, alpha < alpha_d) or exponentially (T_res \sim exp(N zeta(alpha)), alpha > alpha_d) with the size N of the instance. The relaxation time tau(alpha) in the linear phase is calculated through a systematic expansion scheme based on a quantum formulation of the evolution operator. For alpha > alpha_d, the system is trapped in some metastable state, and resolution occurs from escape from this state through crossing of a large barrier. An annealed calculation of the height zeta(alpha) of this barrier is proposed. The polynomial/exponentiel cross-over alpha_d is not related to the onset of clustering among solutions.

Explore related subjects

cond-matcs.CC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Guilhem Semerjian, Remi Monasson. 2003-01-29. Relaxation and Metastability in the RandomWalkSAT search procedure. https://doi.org/10.1103/physreve.67.066103

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

KEEP EXPLORING

Related papers

arXiv2025

The $1/r^2$ Integrable system: The Universal Hamiltonian for Quantum Chaos

We summarize recent work showing that the $1/r^2$ model of interacting particles in 1-dimension is a universal Hamiltonian for quantum chaotic systems. The problem is analyzed in terms of random matrices and of the evolution of their eigenvalues under changes of parameters. The robustness of bulk space-time correlations of a many particle system to changing boundary conditions is suggested to be at the root of the universality. The explicit density-density correlation functions of the $1/r^2$ model, now available through the above mapping at two values of the coupling constant, are interpreted in the light of Bethe's {\it Ansatz}, giving a vivid picture of the fractionalization of bare particles or holes into ``quark'' like Bethe quasi-particles and holes.

cond-mat↗
arXiv2025

Super Lax Pairs and Infinite Symmetries in The $1/r^2$ System

We present an algebraic structure that provides an interesting and novel link between supersymmetry and quantum integrability. This structure underlies two classes of models that are exactly solvable in 1-dimension and belong to the $1/r^2 $ family of interactions. The algebra consists of the commutation between a ``Super- Hamiltonian'', and two other operators, in a Hilbert space that is an enlargement of the original one by introducing fermions. The commutation relations reduce to quantal Ordered Lax equations when projected to the original subspace, and to a statement about the ``Harmonic Lattice Potential'' structure of the Lax operator. These in turn lead to a highly automatic proof of the integrability of these models. In the case of the discrete $SU(n)-1/r^2$ model, the `` Super-Hamiltonian'' is again an $SU(m)-1/r^2$ model with a related $m$, providing an interesting hierarchy of models.

cond-mat↗
arXiv2025

What Does The Korringa Ratio Measure?

We present an analysis of the Korringa ratio in a dirty metal, emphasizing the case where a Stoner enhancement of the uniform susceptibilty is present. We find that the relaxation rates are significantly enhanced by disorder, and that the inverse problem of determining the bare density of states from a study of the change of the Knight shift and relaxation rates with some parameter, such as pressure, has rather constrained solutions, with the disorder playing an important role. Some preliminary applications to the case of chemical substitution in the Rb$_{3-x}$K$_x $C$_{60}$ family of superconductors is presented and some other relevant systems are mentioned.

cond-mat↗