Abstract:In this paper, we present an efficient quantum algorithm to simulate nonlinear differential equations with polynomial vector fields of arbitrary (finite) degree on quantum platforms. Ordinary differential equations (ODEs) and partial differential equations (PDEs) arise extensively in science and engineering applications. Examples of ODE models include mechanics of rigid bodies, molecular dynamics, chemical kinetics, and epidemiology. Nonlinear PDEs arise in fluid dynamics, combustion, weather forecasting, structural mechanics, plasma dynamics, and finance to name a few. In practice, it is challenging to simulate such equations on classical computers due to high dimensionality, stiffness arising from multiple spatial/temporal scales, nonlinearities, and chaotic dynamics. Typically, high performance computing is used to mitigate computational challenges and involves approximations for tractability. For sparse n -dimensional linear ODEs, quantum algorithms have been developed which can produce a quantum state proportional to the solution in ) time using the quantum linear systems algorithm (QLSA). Recently, this framework was extended to systems of nonlinear ODEs with quadratic polynomial vector fields by applying Carleman linearization that enables the embedding of the quadratic system into an approximate linear form. A detailed complexity analysis was conducted which showed significant computational advantage under certain conditions. We present an extension of this algorithm to deal with systems of nonlinear ODEs with k -th degree polynomial vector fields for arbitrary (finite) values of k . The steps involve: (1) mapping the k -th degree polynomial ODE to a higher-dimensional quadratic polynomial ODE; (2) applying Carleman linearization to transform the quadratic ODE to an infinite-dimensional system of linear ODEs; (3) truncating and discretizing the linear ODE and solving using the forward Euler method and QLSA. Alternatively, one could apply Carleman linearization directly to the k -th degree polynomial ODE, resulting in a system of infinite-dimensional linear ODEs, and then apply step 3. This solution route can be computationally more efficient. We present detailed complexity analysis of the proposed algorithms and prove polynomial scaling of runtime on k . We demonstrate the computational framework on a numerical example.

Symbolic Solution of Systems of Polynomial Differential Equations Via The Cauchy-Riemann Equations. Applications to Kinetic Differential Equations

Efficiently and easily integrating differential equations with JiTCODE, JiTCDDE, and JiTCSDE

The Numerical Solution of Differential-Algebraic Systems by Runge-Kutta Methods

Solution of Polynomial Systems Derived from Differential Equations

Exact solutions to a nonlinear dispersive model with variable coefficients

An Alternative Method for Solving a Certain Class of Fractional Kinetic Equations

Symbolically Solving Partial Differential Equations using Deep Learning

An efficient quantum algorithm for simulating polynomial dynamical systems

Solving the 2D Advection-Diffusion Equation using Fixed-Depth Symbolic Regression and Symbolic Differentiation without Expression Trees

Understanding differential equations through diffusion point of view: non-symmetric discrete equations

Symmetry and Numerical Solutions for Systems of Non-linear Reaction Diffusion Equations

A Neuro-Symbolic Method for Solving Differential and Functional Equations

Spectral Methods for Solution of Differential and Functional Equations

Difference Equations by Differential Equation Methods

Systems of Discrete Differential Equations, Constructive Algebraicity of the Solutions

Exact polynomial solutions of second order differential equations and their applications

Symbolic analysis of second-order ordinary differential equations with polynomial coefficients

The Method of Polynomial Particular Solutions for Solving Ordinary Differential Equations

An Overview of Numerical and Analytical Methods for solving Ordinary Differential Equations

Transforming Radical Differential Equations to Algebraic Differential Equations

Qualitative investigation of the solutions to differential equations. (Application of the skew-symmetric differential forms)