# Hamiltonian simulation with optimal sample complexity

@article{Kimmel2016HamiltonianSW,
title={Hamiltonian simulation with optimal sample complexity},
author={Shelby Kimmel and Cedric Yen-Yu Lin and Guang Hao Low and Maris A. Ozols and Theodore J. Yoder},
journal={npj Quantum Information},
year={2016},
volume={3},
pages={1-7}
}
• Published 31 July 2016
• Computer Science
• npj Quantum Information
We investigate the sample complexity of Hamiltonian simulation: how many copies of an unknown quantum state are required to simulate a Hamiltonian encoded by the density matrix of that state? We show that the procedure proposed by Lloyd, Mohseni, and Rebentrost [Nat. Phys., 10(9):631–633, 2014] is optimal for this task. We further extend their method to the case of multiple input states, showing how to simulate any Hermitian polynomial of the states provided. As applications, we derive optimal…
Approximating Hamiltonian dynamics with the Nyström method
• Mathematics
Quantum
• 2020
This work derives a simulation technique whose runtime scales polynomially in the number of qubits and the Frobenius norm of the Hamiltonian, and suggests that under strong sampling assumptions there exist classical poly-logarithmic time simulations of quantum computations.
A pr 2 01 8 Approximating Hamiltonian dynamics with the Nyström method
• Mathematics, Computer Science
• 2018
It is shown that sample based quantum simulation, a type of evolution where the Hamiltonian is a density matrix, can be efficiently classically simulated under specific structural conditions, and proposed conditions for the efficient approximation of state vectors evolving under a given Hamiltonian.
Interactive Proofs for Synthesizing Quantum States and Unitaries
• Computer Science
ITCS
• 2022
This work defines models of interactive proofs for synthesizing quantum states and unitaries, where a polynomial-time quantum verifier interacts with an untrusted quantum prover, and a verifier who accepts also outputs an approximation of the target state or the result of thetarget unitary applied to the input state.
Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics
• Computer Science, Mathematics
STOC
• 2019
A new “Quantum singular value transformation” algorithm is developed that can directly harness the advantages of exponential dimensionality by applying polynomial transformations to the singular values of a block of a unitary operator.
Simulating Large Quantum Circuits on a Small Quantum Computer.
• Physics, Computer Science
Physical review letters
• 2020
This Letter introduces cluster parameters K and d of a quantum circuit and proposes a cluster simulation scheme that can simulate any (K,d)-clustered quantum circuit on a d-qubit machine in time roughly 2^{O(K)}, with further speedups possible when taking more fine-grained circuit structure into account.
Improved Quantum Algorithms for Fidelity Estimation
• Computer Science, Mathematics
• 2022
It is proved that ﬁdelity estimation to any non-trivial constant additive accuracy is hard in general, by giving a sample complexity lower bound that depends polynomially on the dimension.
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.
Fast algorithm for quantum polar decomposition, pretty-good measurements, and the Procrustes problem
• Computer Science
• 2021
This work shows that the problem of quantum polar decomposition has a simple and concise implementation via the quantum singular value transform (QSVT), and develops algorithms for these problems whose gate complexity exhibits a polynomial advantage in the size and condition number of the input compared to alternative approaches for the same problem settings.
Quantum lower bounds for approximate counting via laurent polynomials
• S. Aaronson
• Computer Science, Mathematics
Electron. Colloquium Comput. Complex.
• 2018
The complexity of approximate counting, the problem of multiplicatively estimating the size of a nonempty set S ⊆ [N], is resolved in two natural generalizations of quantum query complexity.
Physical implementation of quantum nonparametric learning with trapped ions
• Dan-Bo Zhang, Z. D. Wang
• Computer Science, Physics
Physical review letters
• 2020
A quantum paradigm of nonparametric learning that offers an exponential speedup over the sample size is pointed out and a trained state for prediction can be obtained by entanglement spectrum transformation, using the quantum matrix toolbox.

## References

SHOWING 1-10 OF 56 REFERENCES
Optimal Hamiltonian Simulation by Quantum Signal Processing.
• Physics
Physical review letters
• 2017
It is argued that physical intuition can lead to optimal simulation methods by showing that a focus on simple single-qubit rotations elegantly furnishes an optimal algorithm for Hamiltonian simulation, a universal problem that encapsulates all the power of quantum computation.
Efficient algorithms in quantum query complexity
These algorithms are a novel application of the quantum walk search framework and give improved upper bounds for several subgraph-finding problems and study the quantum query complexity of matrix multiplication and related problems over rings, semirings, and the Boolean semiring in particular.
Demonstrating the viability of universal quantum computation using teleportation and single-qubit operations
• Physics, Computer Science
Nature
• 1999
It is shown that single quantum bit operations, Bell-basis measurements and certain entangled quantum states such as Greenberger–Horne–Zeilinger (GHZ) states are sufficient to construct a universal quantum computer.
Hamiltonian Simulation with Nearly Optimal Dependence on all Parameters
• Computer Science
2015 IEEE 56th Annual Symposium on Foundations of Computer Science
• 2015
An algorithm for sparse Hamiltonian simulation whose complexity is optimal (up to log factors) as a function of all parameters of interest is presented, and a new lower bound is proved showing that no algorithm can have sub linear dependence on tau.
Experimentally superposing two pure states with partial prior knowledge
• Physics
Physical Review A
• 2017
Superposition, arguably the most fundamental property of quantum mechanics, lies at the heart of quantum information science. However, how to create the superposition of any two unknown pure states
Gate count estimates for performing quantum chemistry on small quantum computers
• Physics, Computer Science
• 2014
This paper focuses on the quantum resources required to find the ground state of a molecule twice as large as what current classical computers can solve exactly and suggests that for quantum computation to become useful for quantum chemistry problems, drastic algorithmic improvements will be needed.
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
Universal Quantum Emulator
• Computer Science, Mathematics
• 2016
A quantum algorithm that emulates the action of an unknown unitary transformation on a given input state, using multiple copies of some unknown sample input states of the unitary and their corresponding output states, which can be used as a subroutine in other algorithms, such as quantum phase estimation.
Improving quantum algorithms for quantum chemistry
• Computer Science
Quantum Inf. Comput.
• 2015
Improvements to the standard Trotter-Suzuki based algorithms used in the simulation of quantum chemistry on a quantum computer by modifying how Jordan-Wigner transformations are implemented to reduce their cost from linear or logarithmic in the number of orbitals to a constant.
Universal quantum computation with the exchange interaction
• Physics
Nature
• 2000
An explicit scheme is introduced in which the Heisenberg interaction alone suffices to implement exactly any quantum computer circuit, at a price of a Factor of three in additional qubits, and about a factor of ten in additional two-qubit operations.