Termwise versus globally stoquastic local Hamiltonians: questions of
complexity and sign-curing
- URL: http://arxiv.org/abs/2007.11964v2
- Date: Wed, 27 Apr 2022 12:10:16 GMT
- Title: Termwise versus globally stoquastic local Hamiltonians: questions of
complexity and sign-curing
- Authors: Marios Ioannou, Stephen Piddock, Milad Marvian, Joel Klassen and
Barbara M. Terhal
- Abstract summary: We show that the stoquastic local Hamiltonian problem is $textbfStoqMA$-complete even for globally stoquastic Hamiltonians.
We expand the class of sign-curing transformations by showing how Clifford transformations can sign-cure a class of disordered 1D $XYZ$ Hamiltonians.
- Score: 3.762360672951513
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We elucidate the distinction between global and termwise stoquasticity for
local Hamiltonians and prove several complexity results. We show that the
stoquastic local Hamiltonian problem is $\textbf{StoqMA}$-complete even for
globally stoquastic Hamiltonians. We study the complexity of deciding whether a
local Hamiltonian is globally stoquastic or not. In particular, we prove
$\textbf{coNP}$-hardness of deciding global stoquasticity in a fixed basis and
$\Sigma_2^p$-hardness of deciding global stoquasticity under single-qubit
transformations. As a last result, we expand the class of sign-curing
transformations by showing how Clifford transformations can sign-cure a class
of disordered 1D $XYZ$ Hamiltonians.
Related papers
- Hamiltonian Decoded Quantum Interferometry [69.7049555871155]
We introduce Hamiltonian Decoded Quantum Interferometry (HDQI)<n>HDQI utilizes coherent measurements and the symplectic representation of the Pauli group to reduce Gibbs sampling and Hamiltonian Bellians.<n>We show that HDQI efficiently prepares Gibbs states at arbitrary temperatures for a class of physically motivated commuting Hamiltonians.
arXiv Detail & Related papers (2025-10-09T08:06:15Z) - The Guided Local Hamiltonian Problem for Stoquastic Hamiltonians [0.0]
We show that the Guided Local Hamiltonian problem for stoquastic Hamiltonians is (promise) BPP-hard.<n>For a range of local Hamiltonian families, this problem is (promise) BQP-hard, though for stoquastic Hamiltonians, the complexity was previously unknown.
arXiv Detail & Related papers (2025-09-30T06:11:26Z) - Lower Bounds for Learning Hamiltonians from Time Evolution [5.118083299467833]
We consider the problem of learning Hamiltonians from time evolution.<n>We show that any learning algorithm with inverse time resolution requires super-polynomial total evolution time.
arXiv Detail & Related papers (2025-09-25T01:50:55Z) - The rotation-invariant Hamiltonian problem is QMA$_{\
m EXP}$-complete [0.08594140167290097]
We study a variant of the local Hamiltonian problem where we restrict to Hamiltonians that live on a lattice.<n>We prove that this rotation-invariant problem is QMA$_rm EXP$-complete.
arXiv Detail & Related papers (2025-08-29T18:03:12Z) - A Regularized Newton Method for Nonconvex Optimization with Global and Local Complexity Guarantees [31.772894924814395]
We find an $epsilon-frac32) + tilde O$ in terms of the second-order local calls, and a global complexity of $tilde O(epsilon-frac74)$ for Hessian-vectorvectors.<n>Preliminary numerical results illustrate our algorithm.
arXiv Detail & Related papers (2025-02-07T10:10:10Z) - New random compiler for Hamiltonians via Markov Chains [0.08192907805418585]
Many quantum algorithms, such as adiabatic algorithms, require simulating Hamiltonian evolution.
We develop a new compiler, similar to the first order randomized Trotter, but with an arguably simpler framework.
It is more versatile as it supports a large class of randomisation schemes and as well as time-dependent weights.
arXiv Detail & Related papers (2024-11-10T14:57:25Z) - Optimizing random local Hamiltonians by dissipation [44.99833362998488]
We prove that a simplified quantum Gibbs sampling algorithm achieves a $Omega(frac1k)$-fraction approximation of the optimum.
Our results suggest that finding low-energy states for sparsified (quasi)local spin and fermionic models is quantumly easy but classically nontrivial.
arXiv Detail & Related papers (2024-11-04T20:21:16Z) - Quasi-quantum states and the quasi-quantum PCP theorem [0.21485350418225244]
We show that solving the $k$-local Hamiltonian over the quasi-quantum states is equivalent to optimizing a distribution of assignment over a classical $k$-local CSP.
Our main result is a PCP theorem for the $k$-local Hamiltonian over the quasi-quantum states in the form of a hardness-of-approximation result.
arXiv Detail & Related papers (2024-10-17T13:43:18Z) - Complexity of geometrically local stoquastic Hamiltonians [1.474723404975345]
The QMA-completeness of the local Hamiltonian problem is a landmark result of the field of Hamiltonian complexity.
We show that both the two- and one-dimensional geometrically local analogues remain MA-hard with high enough qudit dimension.
arXiv Detail & Related papers (2024-07-22T09:27:25Z) - Structure learning of Hamiltonians from real-time evolution [22.397920564324973]
We present a new, general approach to Hamiltonian learning that not only solves the challenging structure learning variant, but also resolves other open questions in the area.
Our algorithm recovers the Hamiltonian to $varepsilon$ error with total evolution time $O(log (n)/varepsilon)$, and has the following appealing properties.
As an application, we can also learn Hamiltonians exhibiting power-law decay up to accuracy $varepsilon$ with total evolution time beating the standard limit of $1/varepsilon2$.
arXiv Detail & Related papers (2024-04-30T18:00:00Z) - A hybrid quantum algorithm to detect conical intersections [39.58317527488534]
We show that for real molecular Hamiltonians, the Berry phase can be obtained by tracing a local optimum of a variational ansatz along the chosen path.
We demonstrate numerically the application of our algorithm on small toy models of the formaldimine molecule.
arXiv Detail & Related papers (2023-04-12T18:00:01Z) - Sampled Transformer for Point Sets [80.66097006145999]
sparse transformer can reduce the computational complexity of the self-attention layers to $O(n)$, whilst still being a universal approximator of continuous sequence-to-sequence functions.
We propose an $O(n)$ complexity sampled transformer that can process point set elements directly without any additional inductive bias.
arXiv Detail & Related papers (2023-02-28T06:38:05Z) - A Newton-CG based barrier-augmented Lagrangian method for general nonconvex conic optimization [53.044526424637866]
In this paper we consider finding an approximate second-order stationary point (SOSP) that minimizes a twice different subject general non conic optimization.
In particular, we propose a Newton-CG based-augmentedconjugate method for finding an approximate SOSP.
arXiv Detail & Related papers (2023-01-10T20:43:29Z) - Some Remarks on the Regularized Hamiltonian for Three Bosons with
Contact Interactions [77.34726150561087]
We discuss some properties of a model Hamiltonian for a system of three bosons interacting via zero-range forces in three dimensions.
In particular, starting from a suitable quadratic form $Q$, the self-adjoint and bounded from below Hamiltonian $mathcal H$ can be constructed.
We show that the threshold value $gamma_c$ is optimal, in the sense that the quadratic form $Q$ is unbounded from below if $gammagamma_c$.
arXiv Detail & Related papers (2022-07-01T10:01:14Z) - Simultaneous Stoquasticity [0.0]
Stoquastic Hamiltonians play a role in the computational complexity of the local Hamiltonian problem.
We address the question of whether two or more Hamiltonians may be made simultaneously stoquastic via a unitary transformation.
arXiv Detail & Related papers (2022-02-17T19:08:30Z) - Average-case Speedup for Product Formulas [69.68937033275746]
Product formulas, or Trotterization, are the oldest and still remain an appealing method to simulate quantum systems.
We prove that the Trotter error exhibits a qualitatively better scaling for the vast majority of input states.
Our results open doors to the study of quantum algorithms in the average case.
arXiv Detail & Related papers (2021-11-09T18:49:48Z) - Does causal dynamics imply local interactions? [0.0]
We consider quantum systems with causal dynamics in discrete spacetimes, also known as quantum cellular automata (QCA)
We ask if any of the Hamiltonians generating a QCA unitary is local in some sense, and we obtain two very different answers.
arXiv Detail & Related papers (2020-06-18T17:40:42Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.