In this note we present two natural restrictions of the local Hamiltonian problem which are BQP-complete under Karp reduction. Restrictions complete for QCMA, QMA_1, and MA were demonstrated previously.
The Local Hamiltonian problem is the problem of estimating the least eigenvalue of a local Hamiltonian, and is complete for the class QMA. The 1D problem on a chain of qubits has heuristics which work well, while the 13-state qudit case has been shown to be QMA-complete. We show that this problem remains QMA-complete when the dimensionality of the qudits is brought down to 8.
The Lagrangian representation of multi-Hamiltonian PDEs has been introduced by Y. Nutku and one of us (MVP). In this paper we focus on systems which are (at least) bi-Hamiltonian by a pair $A_1$, $A_2$, where $A_1$ is a hydrodynamic-type Hamiltonian operator. We prove that finding the Lagrangian representation is equivalent to finding a generalized vector field $tau$ such that $A_2=L_tau A_1$. We use this result in order to find the Lagrangian representation when $A_2$ is a homogeneous third-order Hamiltonian operator, although the method that we use can be applied to any other homogeneous Hamiltonian operator. As an example we provide the Lagrangian representation of a WDVV hydrodynamic-type system in $3$ components.
We analyze general uncertainty relations and we show that there can exist such pairs of non--commuting observables $A$ and $B$ and such vectors that the lower bound for the product of standard deviations $Delta A$ and $Delta B$ calculated for these vectors is zero: $Delta A,cdot,Delta B geq 0$. We show also that for some pairs of non--commuting observables the sets of vectors for which $Delta A,cdot,Delta B geq 0$ can be complete (total). The Heisenberg, $Delta t ,cdot, Delta E geq hbar/2$, and Mandelstam--Tamm (MT), $ tau_{A},cdot ,Delta E geq hbar/2$, time--energy uncertainty relations ($tau_{A}$ is the characteristic time for the observable $A$) are analyzed too. We show that the interpretation $tau_{A} = infty$ for eigenvectors of a Hamiltonian $H$ does not follow from the rigorous analysis of MT relation. We show also that contrary to the position--momentum uncertainty relation, the validity of the MT relation is limited: It does not hold on complete sets of eigenvectors of $A$ and $H$.
For the variational quantum eigensolver we propose to generate trial wavefunctions from a small amount of selected Pauli terms of the problem Hamiltonian. Two different approaches, one inspired by the quantum approximate optimization algorithm and the other by imaginary-time evolution, are proposed and studied in detail. Using numerical calculations, we study the efficiency of these trial wavefunctions for finding the ground-state energy of three molecules: H2, LiH and H2O. We find that only a small number of Pauli terms are needed to reach chemical accuracy, leading to short-depth quantum circuits with a small number of variational parameters. For the LiH molecule, the quantum circuit consists of 36 two-qubit gates, 45 one-qubit gates, and four variational parameters, with a favorable scaling for larger molecules.
We present a Hamiltonian quantum computation scheme universal for quantum computation (BQP). Our Hamiltonian is a sum of a polynomial number (in the number of gates L in the quantum circuit) of time-independent, constant-norm, 2-local qubit-qubit interaction terms. Furthermore, each qubit in the system interacts only with a constant number of other qubits. The computer runs in three steps - starts in a simple initial product-state, evolves it for time of order L^2 (up to logarithmic factors) and wraps up with a two-qubit measurement. Our model differs from the previous universal 2-local Hamiltonian constructions in that it does not use perturbation gadgets, does not need large energy penalties in the Hamiltonian and does not need to run slowly to ensure adiabatic evolution.