English
Related papers

Related papers: Instability of one-step replica-symmetry-broken ph…

200 papers

Random constraint satisfaction problems (CSP) have been studied extensively using statistical physics techniques. They provide a benchmark to study average case scenarios instead of the worst case one. The interplay between statistical…

Disordered Systems and Neural Networks · Physics 2017-06-06 Silvio Franz , Giorgio Parisi , Maksim Sevelev , Pierfrancesco Urbani , Francesco Zamponi

We study the critical properties of the weakly disordered $p$-component random Heisenberg ferromagnet. It is shown that if the specific heat critical exponent of the pure system is positive, the traditional renormalization group (RG) flows…

Condensed Matter · Physics 2009-10-22 Viktor Dotsenko , A. B. Harris , David Sherrington , R. B. Stinchcombe

We consider the random $k$-SAT problem with $n$ variables, $m=m(n)$ clauses, and clause density $\alpha=\lim_{n\to\infty}m/n$ for $k=2,3$. It is known that if $\alpha$ is small enough, then the random $k$-SAT problem admits a solution with…

Probability · Mathematics 2025-04-17 Andreas Basse-O'Connor , Tobias Lindhardt Overgaard , Mette Skjøtt

We study the typical case properties of the 1-in-3 satisfiability problem, the boolean satisfaction problem where a clause is satisfied by exactly one literal, in an enlarged random ensemble parametrized by average connectivity and…

Statistical Mechanics · Physics 2011-11-09 Jack Raymond , Andrea Sportiello , Lenka Zdeborová

There has been much recent interest in the satisfiability of random Boolean formulas. A random k-SAT formula is the conjunction of m random clauses, each of which is the disjunction of k literals (a variable or its negation). It is known…

Probability · Mathematics 2012-06-19 David B. Wilson

In this paper we study a variation of the random $k$-SAT problem, called polarized random $k$-SAT. In this model there is a polarization parameter $p$, and in half of the clauses each variable occurs negated with probability $p$ and pure…

Probability · Mathematics 2023-01-13 Joel Larsson Danielsson , Klas Markström

During the past decade, phase-transition phenomena in the random 3-satisfiability (3-SAT) problem has been intensively studied by statistical physics methods. In this work, we study the random 3-SAT problem by the mean-field first-step…

Disordered Systems and Neural Networks · Physics 2008-09-25 Haijun Zhou

Random $K$-satisfiability ($K$-SAT) is a model system for studying typical-case complexity of combinatorial optimization. Recent theoretical and simulation work revealed that the solution space of a random $K$-SAT formula has very rich…

Disordered Systems and Neural Networks · Physics 2015-05-13 Haijun Zhou

The $k$-QSAT problem is a quantum analog of the famous $k$-SAT constraint satisfaction problem. We must determine the zero energy ground states of a Hamiltonian of $N$ qubits consisting of a sum of $M$ random $k$-local rank-one projectors.…

Information Theory · Computer Science 2026-01-15 Joon Lee , Nicolas Macris , Jean Bernoulli Ravelomanana , Perrine Vantalon

The constraint satisfaction problems k-SAT and Quantum k-SAT (k-QSAT) are canonical NP-complete and QMA_1-complete problems (for k>=3), respectively, where QMA_1 is a quantum generalization of NP with one-sided error. Whereas k-SAT has been…

Quantum Physics · Physics 2021-04-01 Marco Aldi , Niel de Beaudrap , Sevag Gharibian , Seyran Saeedi

In classic robust optimization, it is assumed that a set of possible parameter realizations, the uncertainty set, is modeled in a previous step and part of the input. As recent work has shown, finding the most suitable uncertainty set is in…

Optimization and Control · Mathematics 2016-10-18 André Chassein , Marc Goerigk

We study a class of random 3-SAT instances having exactly one solution. The properties of this ensemble considerably differ from those of a random 3-SAT ensemble. It is numerically shown that the running time of several complete and…

Artificial Intelligence · Computer Science 2007-05-23 Marko Znidaric

We study a disordered system of interacting bosons described by the Bose-Hubbard Hamiltonian with random tunneling amplitudes. We derive the condition for the stability of the replica-symmetric solution for this model. Following the scheme…

Disordered Systems and Neural Networks · Physics 2026-03-24 Anna M. Piekarska , Tadeusz K. Kopeć

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…

Disordered Systems and Neural Networks · Physics 2009-11-13 Andrea Montanari , Federico Ricci-Tersenghi , Guilhem Semerjian

We study the critical properties of the weakly disordered two-dimensional Ising and Baxter models in terms of the renormalization group (RG) theory generalized to take into account the replica symmetry breaking (RSB) effects. Recently it…

Condensed Matter · Physics 2009-10-28 D. E. Feldman , A. V. Izyumov , Viktor Dotsenko

Using elementary rigorous methods we prove the existence of a clustered phase in the random $K$-SAT problem, for $K\geq 8$. In this phase the solutions are grouped into clusters which are far away from each other. The results are in…

Disordered Systems and Neural Networks · Physics 2007-05-23 M. Mezard , T. Mora , R. Zecchina

A solution to a 3-satisfiability (3-SAT) formula can be expanded into a cluster, all other solutions of which are reachable from this one through a sequence of single-spin flips. Some variables in the solution cluster are frozen to the same…

Disordered Systems and Neural Networks · Physics 2009-03-17 Kang Li , Hui Ma , Haijun Zhou

This work analyses the potential of restarts for probSAT, a quite successful algorithm for k-SAT, by estimating its runtime distributions on random 3-SAT instances that are close to the phase transition. We estimate an optimal restart time…

Data Structures and Algorithms · Computer Science 2020-05-11 Jan-Hendrik Lorenz , Julian Nickerl

This paper deals with a robust recoverable approach to 0-1 programming problems. It is assumed that a solution constructed in the first stage can be modified to some extent in the second stage. This modification consists in choosing a…

Data Structures and Algorithms · Computer Science 2018-11-19 Mmikita Hradovich , Adam Kasperski , Pawel Zielinski

We study critical behaviour of a magnet with cubic anisotropy and quenched scalar disorder which is taken into account by replica method. We derive to first order in $\epsilon$ approximation the renormalization group equations taking into…

Statistical Mechanics · Physics 2017-02-22 E. Kogan , M. Kaveh