Quantum algorithm for nonhomogeneous linear partial differential equations
- 4 September 2019
- journal article
- research article
- Published by American Physical Society (APS) in Physical Review A
- Vol. 100 (3) , 032306
Abstract
We describe a quantum algorithm for preparing states that encode solutions of nonhomogeneous linear partial differential equations. The algorithm is a continuous-variable version of matrix inversion: it efficiently inverts differential operators that are polynomials in the variables and their partial derivatives. The output is a quantum state whose wave function is proportional to a specific solution of the nonhomogeneous differential equation, which can be measured to reveal features of the solution. The algorithm consists of three stages: preparing fixed resource states in ancillary systems, performing Hamiltonian simulation, and measuring the ancilla systems. The algorithm can be carried out using standard methods for gate decompositions, but we improve this in two ways. First, we show that for a wide class of differential operators, it is possible to derive exact decompositions for the gates employed in Hamiltonian simulation. This avoids the need for costly commutator approximations, reducing gate counts by orders of magnitude. Additionally, we employ methods from machine learning to find explicit circuits that prepare the required resource states. We conclude by studying two example applications of the algorithm: solving Poisson's equation in electrostatics and performing one-dimensional integration.Keywords
All Related Versions
Funding Information
- Air Force Office of Scientific Research
- Intelligence Advanced Research Projects Activity
- Army Research Office
- National Science Foundation
This publication has 31 references indexed in Scilit:
- Quantum algorithm and circuit design solving the Poisson equationNew Journal of Physics, 2013
- How to Decompose Arbitrary Continuous-Variable Quantum OperationsPhysical Review Letters, 2011
- Quantum algorithms for algebraic problemsReviews of Modern Physics, 2010
- Quantum Algorithm for Linear Systems of EquationsPhysical Review Letters, 2009
- Polynomial-time quantum algorithms for Pell's equation and the principal ideal problemJournal of the ACM, 2007
- Quantum information with continuous variablesReviews of Modern Physics, 2005
- Quantum Computation over Continuous VariablesPhysical Review Letters, 1999
- Universal Quantum SimulatorsScience, 1996
- General Decomposition Theory of Ordered Exponentials.Proceedings of the Japan Academy, Series B, 1993
- On the product of semi-groups of operatorsProceedings of the American Mathematical Society, 1959