Related papers: The K-sat problem in a simple limit
We consider atomistic geometry relaxation in the context of linear tight binding models for point defects. A limiting model as Fermi-temperature is sent to zero is formulated, and an exponential rate of convergence for the nuclei…
Consider a correlated Gaussian random energy model built by successively adding one particle (spin) into the system and imposing the positivity of the associated covariance matrix. We show that the validity of a recently isolated condition…
The conjecture, that the finite volume corrections to the thermodynamic functions can be correctly reproduced by using the thermodynamic limit with low particle momenta cutoff is examined in a very transparent example of an ideal boson gas…
Satisfiability is considered the canonical NP-complete problem and is used as a starting point for hardness reductions in theory, while in practice heuristic SAT solving algorithms can solve large-scale industrial SAT instances very…
We prove that a random 3-SAT instance with clause-to-variable density less than 3.52 is satisfiable with high probability. The proof comes through an algorithm which selects (and sets) a variable depending on its degree and that of its…
Supersymmetry broken geometrically in extra dimensions naturally leads to a nearly degenerate spectrum for superparticles, ameliorating the bounds from the current searches at the LHC. We present a minimal such model with a single extra…
Given $k$ collections of 2SAT clauses on the same set of variables $V$, can we find one assignment that satisfies a large fraction of clauses from each collection? We consider such simultaneous constraint satisfaction problems, and design…
Random instances of Constraint Satisfaction Problems (CSP's) appear to be hard for all known algorithms, when the number of constraints per variable lies in a certain interval. Contributing to the general understanding of the structure of…
Any satisfiability problem in conjunctive normal form can be solved in polynomial time by reducing it to a 3-sat formulation and transforming this to a Linear Complementarity problem (LCP) which is then solved as a linear program (LP). Any…
We show the absence of continuous symmetry breaking in 2D lattice systems without any smoothness assumptions on the interaction. We treat certain cases of interactions with integrable singularities. We also present cases of singular…
Consider neutron transport equations in 3D convex domains with in-flow boundary. We mainly study the asymptotic limits as the Knudsen number $\epsilon\rightarrow 0^+$. Using Hilbert expansion, we rigorously justify that the solution of…
Using the AdS/CFT correspondence, we study the thermodynamic properties and the phase diagram of matter fields on (2+1)-dimensional defects coupled to a (3+1)-dimensional N=4 SYM "heat bath". Considering a background magnetic field, (net)…
We present a consistent thermodynamic theory for the resonant level model in the wide band limit, whose level energy is driven slowly by an external force. The problem of defining 'system' and 'bath' in the strong coupling regime is…
The nuclear incompressibility $\kappa$ is investigated in asymmetric systems in a mean field model. The calculations are done at zero and finite temperatures and include surface, Coulomb and symmetry energy terms for several equations of…
The quantum-mechanical problem of a many-particle system with a single impurity in one-dimension, interacting by a delta-function, is solved. The wave-function for a bosonic system and the related secular equation for the spectrum are…
Symmetry problems in harmonic analysis are formulated and solved. One of these problems is equivalent to the refined Schiffer's conjecture which was recently proved by the author. Let $k=const>0$ be fixed, $S^2$ be the unit sphere in…
Local thermal equilibrium generally implies the absence of heat flux within a fluid. We find the relations between a set of thermodynamic variables of a fluid on a general spacetime and those defined on a conformally connected spacetime,…
We study the ratio of the entropy to the total energy in conformal field theories at finite temperature. For the free field realizations of N=4 super Yang-Mills theory in D=4 and the (2,0) tensor multiplet in D=6, the ratio is bounded from…
The topology of the ground state of QCD manifests itself through the dependence of its potential energy density on the CP-violating angle $\Theta$. This is computed in the present note within a three-flavor linear meson model. It is shown…
Satisfiability of boolean formulae (SAT) has been a topic of research in logic and computer science for a long time. In this paper we are interested in understanding the structure of satisfiable and unsatisfiable sentences. In previous work…