English
Related papers

Related papers: The K-sat problem in a simple limit

200 papers

We examine counterparts of the Reissner-Nordstrom-anti-de Sitter black hole spacetimes in which the two-sphere has been replaced by a surface Sigma of constant negative or zero curvature. When horizons exist, the spacetimes are black holes…

General Relativity and Quantum Cosmology · Physics 2009-10-30 Dieter R. Brill , Jorma Louko , Peter Peldan

The divergence of the thermal conductivity in the thermodynamic limit is thoroughly investigated. The divergence law is consistently determined with two different numerical approaches based on equilibrium and non-equilibrium simulations. A…

Statistical Mechanics · Physics 2009-10-31 Stefano Lepri , Roberto Livi , Antonio Politi

We present a topological barrier to efficient computation, revealed by comparing the geometry of 2 SAT and 3 SAT solution spaces. Viewing the set of satisfying assignments as a cubical complex within the Boolean hypercube, we prove that…

Computational Complexity · Computer Science 2025-08-20 M. Alasli

We study the energy landscape of the Traveling Salesperson problem (TSP) using exact ground states and a novel linear programming approach to generate excited states with closely defined properties. We look at four different ensembles,…

Disordered Systems and Neural Networks · Physics 2019-10-02 Hendrik Schawe , Jitesh Kumar Jha , Alexander K. Hartmann

We study in detail the quantum Sherrington-Kirkpatrick (SK) model, i.e. the infinite-range Ising spin glass in a transverse field, by solving numerically the effective one-dimensional model that the quantum SK model can be mapped to in the…

Statistical Mechanics · Physics 2017-09-20 A. P. Young

We study in detail the analytic properties of the Thermodynamic Bethe Ansatz (TBA) equations for the anomalous dimensions of composite operators in the planar limit of the 3D N=6 superconformal Chern-Simons gauge theory and derive…

High Energy Physics - Theory · Physics 2015-06-16 Andrea Cavaglia' , Davide Fioravanti , Roberto Tateo

Constraint satisfaction problems (CSPs) models many important intractable NP-hard problems such as propositional satisfiability problem (SAT). Algorithms with non-trivial upper bounds on running time for restricted SAT with bounded clause…

Data Structures and Algorithms · Computer Science 2008-01-22 Liang Li , Xin Li , Tian Liu , Ke Xu

We study the localization in the one-dimensional trap model in terms of statistical mechanics of trajectories. By numerically investigating overlap between trajectories of two particles on a common disordered potential, we find that there…

Statistical Mechanics · Physics 2017-03-14 Masahiko Ueda , Shin-ichi Sasa

The realizability problem is a well-known problem in the analysis of complex systems, which can be modeled as an infinite-dimensional moment problem. More precisely, as a truncated $K-$moment problem where $K$ is the space of all possible…

Probability · Mathematics 2023-05-18 Raúl E. Curto , Maria Infusino

Here we study the NP-complete $K$-SAT problem. Although the worst-case complexity of NP-complete problems is conjectured to be exponential, there exist parametrized random ensembles of problems where solutions can typically be found in…

Disordered Systems and Neural Networks · Physics 2019-07-11 Hendrik Schawe , Roman Bleim , Alexander K. Hartmann

The thermodynamic interpretation of the Stephani Universes is studied in detail. The general expression of the speed of sound and of the thermodynamic schemes associated with a thermodynamic solution is obtained. The constraints imposed on…

General Relativity and Quantum Cosmology · Physics 2024-09-04 Salvador Mengual , Joan Josep Ferrando , Juan Antonio Sáez

This article investigates the properties of a few interacting particles trapped in a few wells and how these properties change under adiabatic tuning of interaction strength and inter-well tunneling. While some system properties are…

Quantum Physics · Physics 2017-05-18 N. L. Harshman

This article is the first in a series dealing with the thermodynamic properties of quantum Coulomb systems. In this first part, we consider a general real-valued function $E$ defined on all bounded open sets of $\R^3$. Our aim is to give…

Mathematical Physics · Physics 2008-12-21 Christian Hainzl , Mathieu Lewin , Jan Philip Solovej

Inspired by recent results in the context of AdS/CFT integrability, we reconsider the Thermodynamic Bethe Ansatz equations describing the 1D fermionic Hubbard model at finite temperature. We prove that the infinite set of TBA equations are…

High Energy Physics - Theory · Physics 2015-06-04 Andrea Cavaglià , Martina Cornagliotto , Massimo Mattelliano , Roberto Tateo

The utility of satisfiability (SAT) as an application focused hard computational problem is well established. We explore the potential of quantum annealing to enhance classical SAT solving, especially where sampling from the space of all…

Quantum Physics · Physics 2016-12-22 Kristen L. Pudenz , Gregory S. Tallant , Todd R. Belote , Steven H. Adachi

Symmetry is a common feature of many combinatorial problems. Unfortunately eliminating all symmetry from a problem is often computationally intractable. This paper argues that recent parameterized complexity results provide insight into…

Artificial Intelligence · Computer Science 2015-05-19 Toby Walsh

In the Planar 3-SAT problem, we are given a 3-SAT formula together with its incidence graph, which is planar, and are asked whether this formula is satisfiable. Since Lichtenstein's proof that this problem is NP-complete, it has been used…

Computational Complexity · Computer Science 2023-06-22 Alexander Pilz

Many NP-complete constraint satisfaction problems appear to undergo a "phase transition'' from solubility to insolubility when the constraint density passes through a critical threshold. In all such cases it is easy to derive upper bounds…

Statistical Mechanics · Physics 2007-05-23 Dimitris Achlioptas , Cristopher Moore

The satisfiability threshold for constraint satisfaction problems is that value of the ratio of constraints (or clauses) to variables, above which the probability that a random instance of the problem has a solution is zero in the large…

Statistical Mechanics · Physics 2020-07-21 Supriya Krishnamurthy , Sumedha

We quantize a scalar field at finite temperature T in the background of a classical black hole, adopting 't Hooft's ``brick wall'' model with generic mixed boundary conditions at the brick wall boundary. We first focus on the exactly…

High Energy Physics - Theory · Physics 2007-05-23 Giuseppe Milanesi , Mihail Mintchev