Classical satisfiability (SAT) and quantum satisfiability (QSAT) are complete problems for the complexity classes NP and QMA which are believed to be intractable for classical and quantum computers, respectively. Statistical ensembles of instances of
these problems have been studied previously in an attempt to elucidate their typical, as opposed to worst case, behavior. In this paper we introduce a new statistical ensemble that interpolates between classical and quantum. For the simplest 2-SAT/2-QSAT ensemble we find the exact boundary that separates SAT and UNSAT instances. We do so by establishing coincident lower and upper bounds, in the limit of large instances, on the extent of the UNSAT and SAT regions, respectively.
We introduce a semi-classical limit for many-body localization in the absence of global symmetries. Microscopically, this limit is realized by disordered Floquet circuits composed of Clifford gates. In $d=1$, the resulting dynamics are always many-bo
dy localized with a complete set of strictly local integrals of motion. In $dgeq 2$, the system realizes both localized and delocalized phases separated by a continuous transition in which ergodic puddles percolate. We argue that the phases are stable to deformations away from the semi-classical limit and estimate the resulting phase boundary. The Clifford circuit model is a distinct tractable limit from that of free fermions and suggests bounds on the critical exponents for the generic transition.
It is typically assumed that disorder is essential to realize Anderson localization. Recently, a number of proposals have suggested that an interacting, translation invariant system can also exhibit localization. We examine these claims in the contex
t of a one-dimensional spin ladder. At intermediate time scales, we find slow growth of entanglement entropy consistent with the phenomenology of many-body localization. However, at longer times, all finite wavelength spin polarizations decay in a finite time, independent of system size. We identify a single length scale which parametrically controls both the eventual spin transport times and the divergence of the susceptibility to spin glass ordering. We dub this long pre-thermal dynamical behavior, intermediate between full localization and diffusion, quasi-many body localization.
