Related papers: The K-sat problem in a simple limit
We give a rigorous treatment to the thermodynamic limit of the 6-vertex model. We prove that the unique solution of the Bethe-Ansatz equation exists and the distribution of the roots converges to a continuum measure. We solve this problem…
We consider Calderon's inverse problem with partial data in dimensions $n \geq 3$. If the inaccessible part of the boundary satisfies a (conformal) flatness condition in one direction, we show that this problem reduces to the invertibility…
We analyse the fusion of representations of the triplet algebra, the maximally extended symmetry algebra of the Virasoro algebra at c=-2. It is shown that there exists a finite number of representations which are closed under fusion. These…
In this work we analyse the Parisi's infinity-replica symmetry breaking solution of the Sherrington - Kirkpatrick model without external field using high order perturbative expansions. The predictions are compared with those obtained from…
We introduce the problem of finding a satisfying assignment to a CNF formula that must further belong to a prescribed input subspace. Equivalent formulations of the problem include finding a point outside a union of subspaces (the…
We present an exactly solvable random-subcube model inspired by the structure of hard constraint satisfaction and optimization problems. Our model reproduces the structure of the solution space of the random k-satisfiability and k-coloring…
What makes a computational problem easy (e.g., in P, that is, solvable in polynomial time) or hard (e.g., NP-hard)? This fundamental question now has a satisfactory answer for a quite broad class of computational problems, so called…
Constraint satisfaction problems are a central pillar of modern computational complexity theory. This survey provides an introduction to the rapidly growing field of Quantum Hamiltonian Complexity, which includes the study of quantum…
Quantifying irreversibility of a system using finite information constitutes a major challenge in stochastic thermodynamics. We introduce an observable that measures the time-reversal asymmetry between two states after a given time lag. Our…
Given a finite field k of characteristic at least 5, we show that the Tate conjecture holds for K3 surfaces defined over the algebraic closure of k if and only if there are only finitely many K3 surfaces over each finite extension of k.
We formulate three-dimensional equations for the finite temperature in-matter three-body problem. Our approach takes into account the full infinite series for the effective pair-interaction kernel, so that all possible two-body…
We extend the analysis of the recently obtained stringy cosmological solutions induced by thermal and quantum effects, once space-time supersymmetry is spontaneously broken by geometrical fluxes. Cases in which more than one modulus…
When a (super) conformal field theory is placed on a non-trivial manifold, the (super) conformal symmetry is broken. However, it is still possible to derive broken Ward identities for these broken symmetries, which provide additional…
We calculate the three-loop thermodynamic potential of QCD at finite temperature and chemical potential(s) using the hard-thermal-loop perturbation theory (HTLpt) reorganization of finite temperature and density QCD. The resulting analytic…
Some lattice models having two conservation laws may display an equilibrium phase transition from a homogeneous (positive temperature - PT) to a condensed (negative temperature) phase, where a finite fraction of the energy is localized in a…
We prove an algebraic extension theorem for the computably enumerable sets, $\mathcal{E}$. Using this extension theorem and other work we then show if $A$ and $\hat{A}$ are automorphic via $\Psi$ then they are automorphic via $\Lambda$…
We study the problem of \emph{robust satisfiability} of systems of nonlinear equations, namely, whether for a given continuous function $f:\,K\to\mathbb{R}^n$ on a~finite simplicial complex $K$ and $\alpha>0$, it holds that each function…
We investigate infinite distance limits in the complex structure moduli space of F-theory compactified on K3 to eight dimensions. While this is among the simplest possible arenas to test ideas about the Swampland Distance Conjecture, it is…
The relationship between thermodynamics and statistical physics is valid in the thermodynamic limit - when the number of particles becomes very large. Here, we study thermodynamics in the opposite regime - at both the nano scale, and when…
The (2+p)-Satisfiability (SAT) problem interpolates between different classes of complexity theory and is believed to be of basic interest in understanding the onset of typical case complexity in random combinatorics. In this paper, a…