相关论文: 3-Local Hamiltonian is QMA-complete

We present a deterministic polynomial-time algorithm that solves the 3-satisfiability problem.

We present an exact spin-elimination technique that reduces the dimensionality of both quadratic and k-local Ising Hamiltonians while preserving their original ground-state configurations. By systematically replacing each removed spin with…

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…

We perform the BFV quantization of the 2+1 projectable and the 3+1 nonprojectable versions of the Horava theory. This is a Hamiltonian formalism, and noncanonical gauges can be used with it. In the projectable case, we show that the…

In the context of ground states of quantum many-body systems, the locality of entanglement between connected regions of space is directly tied to the locality of the corresponding entanglement Hamiltonian: the latter is dominated by local,…

We study the problem of learning a local quantum Hamiltonian $H$ given copies of its Gibbs state $\rho = e^{-\beta H}/\textrm{tr}(e^{-\beta H})$ at a known inverse temperature $\beta>0$. Anshu, Arunachalam, Kuwahara, and Soleimanifar…

We prove that the KdV equation on the circle remains exactly controllable in arbitrary time with localized control, for sufficiently small data, also in presence of quasi-linear perturbations, namely nonlinearities containing up to three…

Fullerene graphs, i.e., 3-connected planar cubic graphs with pentagonal and hexagonal faces, are conjectured to be Hamiltonian. This is a special case of a conjecture of Barnette and Goodey, stating that 3-connected planar graphs with faces…

A canonical result about satisfiability theory is that the 2-SAT problem can be solved in linear time, despite the NP-hardness of the 3-SAT problem. In the quantum 2-SAT problem, we are given a family of 2-qubit projectors $\Pi_{ij}$ on a…

We prove that a 3-dimensional compact Riemannian manifold which is locally collapsed, with respect to a lower curvature bound, is a graph manifold. This theorem was stated by Perelman and was used in his proof of the geometrization…

We prove that integer programming with three quantifier alternations is $NP$-complete, even for a fixed number of variables. This complements earlier results by Lenstra and Kannan, which together say that integer programming with at most…

Recently, a quantum version of Painleve equations from the point of view of their symmetries was proposed by H. Nagoya. These quantum Painleve equations can be written as Hamiltonian systems with a (noncommutative) polynomial Hamiltonian.…

We establish the existence of infinitely many synchronized solutions for a class of critical Hamiltonian elliptic systems with Hartree-type nonlocal interactions.

In this paper, we further investigate the local criterion and present a class of permutation polynomials and their compositional inverses over $ \mathbb{F}_{q^2}$. Additionally, we demonstrate that linearized polynomial over…

We consider the Cauchy problem for an equation of the form \partial_t+\partial_x^3)u=F(u,u_x,u_{xx}) where F is a polynomial with no constant or linear terms and no quadratic uu_{xx} term. For a polynomial nonlinearity with no quadratic…

In this paper we study the Real Gromov-Witten theory of local 3-folds over Real curves. We show that this gives rise to a 2-dimensional Klein TQFT defined on an extension of the category of unorientable surfaces. We use this structure to…

In this article, we prove that if $\Pi: X\rightarrow \Omega$ is an unbranched Riemann domain with $\Omega$ Stein of dimension $n$ and $\Pi$ a locally $q$-complete morphism, then $X$ is cohomologically $q$-complete if $n\geq 3$ and $1\leq…

We consider quantum systems consisting of a linear chain of n harmonic oscillators coupled by a nearest neighbour interaction of the form $-q_r q_{r+1}$ ($q_r$ refers to the position of the $r$th oscillator). In principle, such systems are…

We introduce a local algorithm for Khovanov Homology computations - that is, we explain how it is possible to "cancel" terms in the Khovanov complex associated with a ("local") tangle, hence canceling the many associated "global" terms in…

We consider a Hamiltonian describing three quantum particles in dimension one interacting through two-body short-range potentials. We prove that, as a suitable scale parameter in the potential terms goes to zero, such Hamiltonian converges…