# Spectral Gap Amplification

@article{Somma2013SpectralGA, title={Spectral Gap Amplification}, author={Rolando D. Somma and Sergio Boixo}, journal={SIAM J. Comput.}, year={2013}, volume={42}, pages={593-610} }

Many problems can be solved by preparing a specific eigenstate of some Hamiltonian $H$. The generic cost of quantum algorithms for these problems is determined by the inverse spectral gap of $H$ for that eigenstate and the cost of evolving with $H$ for some fixed time. The goal of spectral gap amplification is to construct a Hamiltonian $H'$ with the same eigenstate as $H$ but a bigger spectral gap, requiring that constant-time evolutions with $H'$ and $H$ are implemented with nearly the same…

## 41 Citations

### Hamiltonian Simulation by Uniform Spectral Amplification

- Computer Science
- 2017

This work motivates a systematic approach to understanding and exploiting structure, in a setting where Hamiltonians are encoded as measurement operators of unitary circuits $\hat{U}$ for generalized measurement, and presents general solutions to uniform spectral amplification.

### On the gap of Hamiltonians for the adiabatic simulation of quantum circuits

- Physics
- 2013

The time or cost of simulating a quantum circuit by adiabatic evolution is determined by the spectral gap of the Hamiltonians involved in the simulation. In "standard" constructions based on…

### On optimal methods for adiabatic quantum state transformations

- Physics
- 2013

This talk will review recently developed methods for ASTs that are more efficient and require less assumptions on the Hamiltonians than the conventional implementation, and show that this cost is optimal and comment on results of the gap amplification problem.

### Nearly-frustration-free ground state preparation

- Physics
- 2021

Solving for quantum ground states is important for understanding the properties of quantum many-body systems, and quantum computers are potentially well-suited for solving for quantum ground states.…

### Computing partition functions in the one-clean-qubit model

- Computer Science, Mathematics
- 2021

It is proved that a version of the partition function estimation problem within additive error is complete for the so-called DQC1 complexity class, suggesting that the method provides a super-polynomial speedup for certain parameter values.

### Local gap threshold for frustration-free spin systems

- Mathematics
- 2015

We improve Knabe's spectral gap bound for frustration-free translation-invariant local Hamiltonians in 1D. The bound is based on a relationship between global and local gaps. The global gap is the…

### Hamiltonian Simulation in the Interaction Picture

- Physics
- 2018

We present a low-space overhead simulation algorithm based on the truncated Dyson series for time-dependent quantum dynamics. This algorithm is applied to simulating time-independent Hamiltonians by…

### On the complexity of quantum partition functions

- Computer ScienceArXiv
- 2021

The results suggest that simulation of quantum many-body systems in thermal equilibrium may precisely capture the complexity of a broad family of computational problems that has yet to be defined or characterized in terms of known complexity classes.

### Quantum simulations of one dimensional quantum systems

- Computer ScienceQuantum Inf. Comput.
- 2016

We present quantum algorithms for the simulation of quantum systems in one spatial dimension, which result in quantum speedups that range from superpolynomial to polynomial. We first describe a…

### Quantum algorithms for Gibbs sampling and hitting-time estimation

- Computer ScienceQuantum Inf. Comput.
- 2017

This work presents quantum algorithms for solving two problems regarding stochastic processes, one of which estimates the hitting time of a Markov chain and the other quadratically improves the dependence on 1/\epsilon and $1/\Delta of the analog classical algorithm for hitting-time estimation.

## References

SHOWING 1-10 OF 67 REFERENCES

### Complexity of Stoquastic Frustration-Free Hamiltonians

- MathematicsSIAM J. Comput.
- 2009

The Cook-Levin theorem proving NP-completeness of the satisfiability problem is generalized to the complexity class MA (Merlin-Arthur games)—a probabilistic analogue of NP.

### Fast quantum algorithms for traversing paths of eigenstates

- Computer Science
- 2010

This work gives ``digital'' methods for performing the transformation of Hamiltonians that require no assumption on path continuity or differentiability other than the absence of large jumps, and demonstrates that path length and the gap are the primary parameters that determine the complexity of state transformation along a path.

### Eigenpath traversal by phase randomization

- Computer ScienceQuantum Inf. Comput.
- 2009

The quantum simulated annealing algorithm for solving combinatorial optimization problems provides a quadratic speed-up in the gap of the stochastic matrix over its classical counterpart implemented via Markov chain Monte Carlo.

### The complexity of stoquastic local Hamiltonian problems

- PhysicsQuantum Inf. Comput.
- 2008

It is proved that LH-MIN for stoquastic Hamiltonians belongs to the complexity class AM -- a probabilistic version of NP with two rounds of communication between the prover and the verifier, and that any problem solved by adiabatic quantum computation using stoquian Hamiltonians is in PostBPP.

### Analog analogue of a digital quantum computation

- Mathematics
- 1996

We solve a problem, which while not fitting into the usual paradigm, can be viewed as a quantum computation. Suppose we are given a quantum system with a Hamiltonian of the form $E|w〉〈w|$ where $|w〉$…

### Quantum Computation by Adiabatic Evolution

- Physics
- 2000

We give a quantum algorithm for solving instances of the satisfiability problem, based on adiabatic evolution. The evolution of the quantum state is governed by a time-dependent Hamiltonian that…

### Quantum annealing in the transverse Ising model

- Physics
- 1998

We introduce quantum fluctuations into the simulated annealing process of optimization problems, aiming at faster convergence to the optimal state. Quantum fluctuations cause transitions between…

### The Power of Quantum Systems on a Line

- Physics48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07)
- 2007

The proof of the QMA-completeness result requires an additional idea beyond the usual techniques in the area: Some illegal configurations cannot be ruled out by local checks, and are instead ruled out because they would, in the future, evolve into a state which can be seen locally to be illegal.

### Efficient Quantum Algorithms for Simulating Sparse Hamiltonians

- Computer Science
- 2007

We present an efficient quantum algorithm for simulating the evolution of a quantum state for a sparse Hamiltonian H over a given time t in terms of a procedure for computing the matrix entries of H.…

### Universal quantum walks and adiabatic algorithms by 1D Hamiltonians

- Physics
- 2008

We construct a family of time-independent nearest-neighbor Hamiltonians coupling eight-state systems on a 1D ring that enables universal quantum computation. Hamiltonians in this family can achieve…