A large spectrum of problems in classical physics and engineering, such as turbulence, is governed by nonlinear differential equations, which typically require high-performance computing to be solved. Over the past decade, however, the growth of classical computing power has slowed down because the miniaturisation of chips has been approaching the atomic scale. This is marking an end to Moore's law, which calls for a new computing paradigm: Quantum computing is a prime candidate. In this paper, we offer a perspective on the current challenges that need to be overcome in order to use quantum computing for the simulation of nonlinear dynamics. We review and discuss progress in the development of both quantum algorithms for nonlinear equations and quantum hardware. We propose pairings between quantum algorithms for nonlinear equations and quantum hardware concepts. These avenues open new opportunities for the simulation of nonlinear systems and turbulence.
A large spectrum of problems in classical physics and engineering, such as turbulence, is governed by nonlinear differential equations, which typically require high-performance computing to be solved. Over the past decade, however, the growth of classical computing power has slowed down because the miniaturisation of chips has been approaching the atomic scale. This is marking an end to Moore's law, which calls for a new computing paradigm: Quantum computing is a prime candidate. In this paper, we offer a perspective on the current challenges that need to be overcome in order to use quantum computing for the simulation of nonlinear dynamics. We review and discuss progress in the development of both quantum algorithms for nonlinear equations and quantum hardware. We propose pairings between quantum algorithms for nonlinear equations and quantum hardware concepts. These avenues open new opportunities for the simulation of nonlinear systems and turbulence.
For quantum computers to become useful tools to physicists, engineers and computational scientists, quantum algorithms for solving nonlinear differential equations need to be developed. Despite recent advances, the quest for a solver that can integrate nonlinear dynamical systems with a quantum advantage, whilst being realisable on available (or near-term) quantum hardware, is an open challenge. In this paper, we propose to transform a nonlinear dynamical system into a linear system, which we integrate with quantum algorithms. Key to the method is the Fokker-Planck equation, which is a non-normal partial differential equation. Three integration strategies are proposed: (i) Forward-Euler stepping by unitary block encoding; (ii) Schroedingerisation, and (iii) Forward-Euler stepping by linear addition of unitaries. We emulate the integration of prototypical nonlinear systems with the proposed quantum solvers, and compare the output with the benchmark solutions of classical integrators. We find that classical and quantum outputs are in good agreement. This paper opens opportunities for solving nonlinear differential equations with quantum algorithms.
For quantum computers to become useful tools to physicists, engineers and computational scientists, quantum algorithms for solving nonlinear differential equations need to be developed. Despite recent advances, the quest for a solver that can integrate nonlinear dynamical systems with a quantum advantage, while being realizable on available (or near-term) quantum hardware, is an open challenge. In this paper, we transform a nonlinear dynamical system into a linear system, which we integrate with quantum algorithms. Key to the method is the Fokker–Planck equation, which is a non-normal partial differential equation. Three approaches are proposed: (i) forward-Euler stepping by block encoding; (ii) Schrödingerization and (iii) forward-Euler stepping by a linear combination of unitaries. We emulate the integration of prototypical nonlinear systems with the proposed quantum solvers and compare the output with the benchmark solutions of classical integrators. We find that classical and quantum outputs are in good agreement. This paper opens opportunities for solving nonlinear differential equations with quantum algorithms.
Stochastic nonlinear dynamics underlie many models in engineering and computational physics, yet accurate high-dimensional simulation remains challenging. We present a quantum algorithm for a broad class of N-dimensional stochastic differential equations with dissipation and quadratic drift. The algorithm applies to strongly nonlinear systems with all-to-all interactions, thereby extending the scope of previously known quantum algorithms that were limited to weak nonlinearity and sparse systems. For norm-preserving drifts, a condition satisfied by key fluid dynamics discretizations, our method approximates expectation values of low-order correlation functions with rigorous error bounds at a cost polynomial in log(N) and linear in the evolution time. Our main technical advance is a subroutine for simulating an auxiliary system of N interacting quantum harmonic oscillators with cost polylogarithmic in N. Finally, we formulate turbulence models, including Navier-Stokes and damped Euler equations, within this framework, opening a route to quantum simulation of strongly nonlinear SDEs governing turbulence and nonlinear wave dynamics.
In recent years, significant progress has been made in the development of quantum algorithms for linear ordinary differential equations as well as linear partial differential equations. There has not been similar progress in the development of quantum algorithms for nonlinear differential equations. In the present work, the focus is on nonlinear partial differential equations arising as governing equations in fluid mechanics. First, the key challenges related to nonlinear equations in the context of quantum computing are discussed. Then, as the main contribution of this work, quantum circuits are presented that represent the nonlinear convection terms in the Navier–Stokes equations. The quantum algorithms introduced use encoding in the computational basis, and employ arithmetic based on the Quantum Fourier Transform. Furthermore, a floating-point type data representation is used instead of the fixed-point representation typically employed in quantum algorithms. A complexity analysis shows that even with the limited number of qubits available on current and near-term quantum computers (<100), nonlinear product terms can be computed with good accuracy. The importance of including sub-normal numbers in the floating-point quantum arithmetic is demonstrated for a representative example problem. Further development steps required to embed the introduced algorithms into larger-scale algorithms are discussed.
Abstract Efficient simulation of a quantum system's dynamics is expected to be an important application area for quantum computers as existing classical computers cannot do this. However, quantum systems are not unique in being hard to simulate. For example, classical nonlinear continuum systems and fields are governed by nonlinear partial differential equations whose solution is also hard for classical computers. Solving such equations is essential for many economically important industries/applications such as the aerospace industry, weather‐forecasting, fiber‐optics communication, and plasma magneto‐hydrodynamics. This raises the question: can a quantum computer speed‐up solving these equations? In this Review, a new quantum algorithm is described for solving nonlinear partial differential equations for which the answer is yes. First, a new quantum algorithm is discussed for solving the Navier‐Stokes nonlinear partial differential equations which govern the flow of a viscous fluid. Its construction, verification, and computational cost are described, and it is shown that a significant quantum speed‐up is possible. Its generalization to a quantum algorithm for solving nonlinear partial differential equations is described. The Review closes with a discussion of next steps forward. These new quantum algorithms open up a large new application area for quantum computing with substantial economic impact, including the trillion‐dollar aerospace industry.
Quantum computing uses the physical principles of very small systems to develop computing platforms which can solve problems that are intractable on conventional supercomputers. There are challenges not only in building the required hardware, but also in identifying the most promising application areas and developing the corresponding quantum algorithms. The availability of intermediate-scale noisy quantum computers is now propelling the developments of novel algorithms, with applications across a variety of domains, including in aeroscience. Variational quantum algorithms are particularly promising since they are comparatively noise tolerant and aim to achieve a quantum advantage with only a few hundred qubits. Furthermore, they are applicable to a wide range of optimization problems arising throughout the natural sciences and industry. To demonstrate the possibilities for the aeroscience community, we give a perspective on how variational quantum algorithms can be utilized in computational fluid dynamics. We discuss how classical problems are translated into quantum algorithms and their logarithmic scaling with problem size. As an explicit example we apply this method to Burgers' Equation in one spatial dimension. We argue that a quantum advantage over classical computing methods could be achieved by the end of this decade if quantum hardware progresses as currently envisaged and emphasize the importance of joining up development of quantum algorithms with application-specific expertise to achieve real-world impact.