Abstract:Random constraint satisfaction problems can exhibit a phase where the number of constraints per variable $\alpha$ makes the system solvable in theory on the one hand, but also makes the search for a solution hard, meaning that common algorithms such as Monte-Carlo method fail to find a solution. The onset of this hardness is deeply linked to the appearance of a dynamical phase transition where the phase space of the problem breaks into an exponential number of clusters. The exact position of this dynamical phase transition is not universal with respect to the details of the Hamiltonian one chooses to represent a given problem. In this paper, we develop some theoretical tools in order to find a systematic way to build a Hamiltonian that maximizes the dynamic $\alpha_{\rm d}$ threshold. To illustrate our techniques, we will concentrate on the problem of continuous coloring, where one tries to set an angle $x_i \in [0;2\pi]$ on each node of a network in such a way that no adjacent nodes are closer than some threshold angle $\theta$, that is $\cos(x_i - x_j) \leq \cos\theta$. This problem can be both seen as a continuous version of the discrete graph coloring problem or as a one-dimensional version of the the Mari-Krzakala-Kurchan (MKK) model. The relevance of this model stems from the fact that continuous constraint satisfaction problems on sparse random graphs remain largely unexplored in statistical physics. We show that for sufficiently small angle $\theta$ this model presents a random first order transition and compute the dynamical, condensation and Kesten-Stigum transitions; we also compare the analytical predictions with Monte Carlo simulations for values of $\theta = 2\pi/q$, $q \in \mathbb{N}$. Choosing such values of $q$ allows us to easily compare our results with the renowned problem of discrete coloring.

Threshold behaviors of a random constraint satisfaction problem with exact phase transitions

Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm

On the Scaling Window of Model RB

Balanced Random Constraint Satisfaction: Phase Transition and Hardness.

The SAT Phase Transition

Solution space structure of random constraint satisfaction problems with growing domains

Analytical And Belief-Propagation Studies Of Random Constraint Satisfaction Problems With Growing Domains

Coarse and Sharp Thresholds of Boolean Constraint Satisfaction Problems

The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem

The solution space structure of planted constraint satisfaction problems with growing domains

Fractional Edge Cover Number of Model RB.

Linear Phase Transition in Random Linear Constraint Satisfaction Problem

Exact Phase Transition of Backtrack-Free Search with Implications on the Power of Greedy Algorithms

General Bounds on Satisfiability Thresholds for Random CSPs via Fourier Analysis

A Message-Passing Approach to Random Constraint Satisfaction Problems with Growing Domains

Consistency and Random Constraint Satisfaction Models

Proof of the Satisfiability Conjecture for Large K

Optimization of the dynamic transition in the continuous coloring problem

Satisfiability Threshold for Random Regular Nae-Sat

The number of solutions for random regular NAE-SAT

Phase transition for a contact process with random slowdowns