Quantum Framework for Simulating Linear PDEs with Robin Boundary Conditions

Abstract

We propose an explicit, oracle-free quantum framework for numerically simulating general linear partial differential equations (PDEs), extending previous work to incorporate (a) Robin boundary conditions - which include Neumann and Dirichlet conditions as special cases - (b) inhomogeneous terms, and (c) variable coefficients in space and time. Our approach begins with a general finite-difference discretization and applies the Schrodingerisation technique to transform the resulting system into one that admits unitary quantum evolution, enabling quantum simulation. For the Schrodinger equation corresponding to the discretized PDE, we construct an efficient block-encoding of the Hamiltonian $H$ that scales polylogarithmically with the number of grid points $N$. This encoding is compatible with quantum signal processing and allows for the implementation of the evolution operator $e^{-iHt}$. The oracle-free nature of our method permits complexity to be measured in fundamental gate units-namely, CNOT gates and single-qubit rotations-bypassing the inefficiencies of oracle queries. Consequently, the overall algorithm scales polynomially with $N$ and linearly with the spatial dimension $d$, achieving a polynomial speedup in $N$ and an exponential advantage in $d$, thereby mitigating the classical curse of dimensionality. The validity and efficiency of the proposed approach are further substantiated by numerical simulations. By explicitly defining the quantum operations and quantifying their resource requirements, our approach offers a practical alternative for numerically solving PDEs, distinct from others that rely on oracle queries and purely asymptotic scaling methods.

37 pages, 10 figures, 4 tables

References in corpus (29)

• Quantum algorithm for solving linear systems of equations
• Explaining Deep Neural Networks and Beyond: A Review of Methods and Applications
• Predicting Many Properties of a Quantum System from Very Few Measurements
• Optimal Hamiltonian Simulation by Quantum Signal Processing
• Option Pricing using Quantum Computers
• Quantum algorithm and circuit design solving the Poisson equation
• Quantum Algorithm for Simulating the Wave Equation
• Efficient phase-factor evaluation in quantum signal processing
• Quantum simulation of partial differential equations via Schrodingerisation: technical details
• Time complexity analysis of quantum algorithms via linear representations for nonlinear ordinary and partial differential equations
• Thermal State Preparation via Rounding Promises
• Quantum simulation of partial differential equations via Schrodingerisation
• Configurable sublinear circuits for quantum state preparation
• Multivariable quantum signal processing (M-QSP): prophecies of the two-headed oracle
• Low-rank quantum state preparation
• Noisy intermediate-scale quantum simulation of the one-dimensional wave equation
• Analog quantum simulation of partial differential equations
• An efficient quantum algorithm for preparation of uniform quantum superposition states
• Quantum Circuits for partial differential equations via Schrödingerisation
• Hamiltonian simulation for hyperbolic partial differential equations by scalable quantum circuits
• Efficient Hamiltonian Simulation for Solving Option Price Dynamics
• Quantum differential equation solvers: limitations and fast-forwarding
• Efficient explicit gate construction of block-encoding for Hamiltonians needed for simulating partial differential equations
• Quantum simulation of discrete linear dynamical systems and simple iterative methods in linear algebra via Schrodingerisation
• Quantum simulation for time-dependent Hamiltonians -- with applications to non-autonomous ordinary and partial differential equations
• Design nearly optimal quantum algorithm for linear differential equations via Lindbladians
• Explicit block encodings of boundary value problems for many-body elliptic operators
• Quantum circuits for partial differential equations in Fourier space
• Efficient explicit circuit for quantum state preparation of piecewise continuous functions