Related papers: The K-sat problem in a simple limit
In this manuscript, we derive the principle of conservation of computational complexity. We measure computational complexity as the number of binary computations (decisions) required to solve a problem. Every problem then defines a unique…
The boolean satisfiability (SAT) problem asks whether there exists an assignment of boolean values to the variables of an arbitrary boolean formula making the formula evaluate to True. It is well-known that all NP-problems can be coded as…
A rotating hairy black hole solution is found in gravity minimally coupled to a self-interacting real scalar field in three spacetime dimensions. Then we discuss analytically the horizon structure and find an analogue of the famous Kerr…
We study the thermodynamic geometry arising from the free energy for the 2- and 3-flavor finite temperature hot QCD near the critical temperature. We develop a geometric notion for QCD thermodynamics, relating it with the existing…
We study the thermodynamic behaviour of Inozemtsev's long-range elliptic spin chain using the Bethe ansatz equations describing the spectrum of the model in the infinite-length limit. We classify all solutions of these equations in that…
We study extensions of N-wave systems with PT-symmetry. The types of (nonlocal) reductions leading to integrable equations invariant with respect to P- (spatial reflection) and T- (time reversal) symmetries is described. The corresponding…
We determine under which conditions certain natural models of random constraint satisfaction problems have sharp thresholds of satisfiability. These models include graph and hypergraph homomorphism, the $(d,k,t)$-model, and binary…
Our model is a generalized linear programming relaxation of a much studied random K-SAT problem. Specifically, a set of linear constraints C on K variables is fixed. From a pool of n variables, K variables are chosen uniformly at random and…
We analyze the spontaneous $U(1)_R$ symmetry breaking at finite temperature for the simple O'Raifeartaigh-type model introduced in [1] in connection with spontaneous supersymmetry breaking. We calculate the finite temperature effective…
We present numerical results showing how our recently proposed relativistic three-particle quantization condition can be used in practice. Using the isotropic (generalized $s$-wave) approximation, and keeping only the leading terms in the…
Finding a quantum computing method to solve nondeterministic polynomial time (NP)-complete problems is currently of paramount importance in quantum information science. Here an experiment is presented to demonstrate the use of Rydberg atoms…
Random instances of constraint satisfaction problems such as k-SAT provide challenging benchmarks. If there are m constraints over n variables there is typically a large range of densities r=m/n where solutions are known to exist with…
In systems described by the scattering theory, there is an upper bound, lower than Carnot, on the efficiency of steady-state heat to work conversion at a given output power. We show that interacting systems can overcome such bound and…
We derive algebraic formulas for the density matrices of finite segments of the integrable su(2) isotropic spin-1 chain in the thermodynamic limit. We give explicit results for the 2 and 3 site cases for arbitrary temperature T and zero…
Superconformal five dimensional theories have a rich structure of phases and brane webs play a crucial role in studying their properties. This paper is devoted to the study of a three parameter family of SQCD theories, given by the number…
We study increasing subsequences (IS) for an ensemble of sequences given by permutation of numbers {1,2,...,n}. We consider a Boltzmann ensemble at temperature T. Thus each IS appears with the corresponding Boltzmann probability where the…
The limit of small entropy production is reached in relaxing systems long after preparation, and in stationary driven systems in the limit of small driving power. Surprisingly, for extended systems this limit is not in general the…
Non-linear sigma models that arise from the supersymmetric approach to disordered electron systems contain a non-compact bosonic sector. We study the model with target space H^2, the two-hyperboloid with isometry group SU(1,1), and prove…
We discuss replica analytic continuation using several simple models in order to prove mathematically the validity of replica analysis, which is used in a wide range of fields related to large scale complex systems. While replica analysis…
We show that the following properties are preserved under inverse limits: countable fan-tightness, q+, discrete generation and selective separability. We also present several examples based on inverse limits of countable spaces.