Abstract:We present a novel variational quantum framework for nonlinear partial differential equation (PDE) constrained optimization problems. The proposed work extends the recently introduced bi-level variational quantum PDE constrained optimization (BVQPCO) framework for linear PDE to a nonlinear setting by leveraging Carleman linearization (CL). CL framework allows one to transform a system of polynomial ordinary differential equations (ODE), i,e. ODE with polynomial vector field, into an system of infinite but linear system of ODE. For instance, such polynomial ODEs naturally arise when the PDE are semi-discretized in the spatial dimensions. By truncating the CL system to a finite order, one obtains a finite system of linear ODE to which the linear BVQPCO framework can be applied. In particular, the finite system of linear ODE is discretized in time and embedded as a system of linear equations. The variational quantum linear solver (VQLS) is used to solve the linear system for given optimization parameters, and evaluate the design cost/objective function, and a classical black box optimizer is used to select next set of parameter values based on this evaluated cost. We present detailed computational error and complexity analysis and prove that under suitable assumptions, our proposed framework can provide potential advantage over classical techniques. We implement our framework using the PennyLane library and apply it to solve inverse Burgers' problem. We also explore an alternative tensor product decomposition which exploits the sparsity/structure of linear system arising from PDE discretization to facilitate the computation of VQLS cost functions.

Carleman Linearization of Partial Differential Equations

Carleman-Fourier Linearization of Complex Dynamical Systems: Convergence and Explicit Error Bounds

Variational Quantum Framework for Nonlinear PDE Constrained Optimization Using Carleman Linearization

An Improved Poincaré-like Carleman Linearization Approach for Power System Nonlinear Analysis

Determining initial conditions for nonlinear hyperbolic equations with time dimensional reduction and the Carleman contraction

Quantum Algorithms for Nonlinear Dynamics: Revisiting Carleman Linearization with No Dissipative Conditions

The linearization of equations and the conjugate factors

The Carleman-Newton method to globally reconstruct the initial condition for nonlinear parabolic equations

The Carleman-Newton method to globally reconstruct a source term for nonlinear parabolic equation

New method for linearization of non-autonomous nonlinear real-order systems

Linearized Controllability Analysis of Semilinear Partial Differential Equations

Carleman estimates for the regularization of ill-posed Cauchy problems

Linear and nonlinear parabolic forward-backward problems

Construction Of Difference Schemes For Nonlinear Singular Perturbed Equations By Approximation Of Coefficients

Exact linear representations of the nonlinear Cauchy problems and their smooth solutions

Carleman estimates and controllability results for fully discrete approximations of 1D parabolic equations

Estimation of Carleman operator from a univariate time series

Carleman weight functions for a globally convergent numerical method for ill-posed Cauchy problems for some quasilinear PDEs

Linear Scaling Algorithms for Solving High-Dimensional Nonlinear Parabolic Differential Equations

Carleman estimates for higher order partial differential operators and its applications

Carleman estimates for time-discrete parabolic equations and applications to controllability