-
Quantum Framework for Simulating Linear PDEs with Robin Boundary Conditions
Authors:
Nikita Guseynov,
Xiajie Huang,
Nana Liu
Abstract:
We propose an explicit, oracle-free quantum framework for numerically simulating general linear partial differential equations (PDEs) that extends previous work \cite{guseynov2024efficientPDE} to also encompass (a) Robin boundary conditions (which includes Neumann and Dirichlet boundary conditions as special cases), (b) inhomogeneous terms, and (c) variable coefficients in space and time. Our appr…
▽ More
We propose an explicit, oracle-free quantum framework for numerically simulating general linear partial differential equations (PDEs) that extends previous work \cite{guseynov2024efficientPDE} to also encompass (a) Robin boundary conditions (which includes Neumann and Dirichlet boundary 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 satisfying unitary quantum evolution so quantum simulation can be applied.
For the Schrodinger equation corresponding to the discretized PDE, we construct an efficient block-encoding of $H$, scaling polylogarithmically with the number of grid points $N$. This object is compatible with quantum signal processing, to create the evolution operator $e^{-iHt}$. The oracle-free nature of our method allows us to count complexity in more fundamental units (C-NOTs and one-qubit rotations), bypassing the inefficiencies of oracle queries. Thus, the overall algorithm scales polynomially with $N$ and linearly with spatial dimension $d$, offering a polynomial speedup in $N$ and an exponential advantage in $d$, alleviating the classical curse of dimensionality. The correctness and efficiency of the proposed approach are further supported by numerical simulations.
By explicitly defining the quantum operations and their resource requirements, our approach stands as a practical solution for solving PDEs, distinct from others that rely on oracle queries and purely asymptotic scaling methods.
△ Less
Submitted 25 June, 2025;
originally announced June 2025.
-
Soliton resolution for the coupled complex short pulse equation
Authors:
Nan Liu,
Ran Wang
Abstract:
We address the long-time asymptotics of the solution to the Cauchy problem of ccSP (coupled complex short pulse) equation on the line for decaying initial data that can support solitons. The ccSP system describes ultra-short pulse propagation in optical fibers, which is a completely integrable system and posses a $4\times4$ matrix Wadati--Konno--Ichikawa type Lax pair. Based on the…
▽ More
We address the long-time asymptotics of the solution to the Cauchy problem of ccSP (coupled complex short pulse) equation on the line for decaying initial data that can support solitons. The ccSP system describes ultra-short pulse propagation in optical fibers, which is a completely integrable system and posses a $4\times4$ matrix Wadati--Konno--Ichikawa type Lax pair. Based on the $\bar{\partial}$-generalization of the Deift--Zhou steepest descent method, we obtain the long-time asymptotic approximations of the solution in two kinds of space-time regions under a new scale $(ζ,t)$. The solution of the ccSP equation decays as a speed of $O(t^{-1})$ in the region $ζ/t>\varepsilon$ with any $\varepsilon>0$; while in the region $ζ/t<-\varepsilon$, the solution is depicted by the form of a multi-self-symmetric soliton/composite breather and $t^{-1/2}$ order term arises from self-symmetric soliton/composite breather-radiation interactions as well as an residual error order $O(t^{-1}\ln t)$.
△ Less
Submitted 28 May, 2025;
originally announced May 2025.
-
A unifying framework for quantum simulation algorithms for time-dependent Hamiltonian dynamics
Authors:
Yu Cao,
Shi Jin,
Nana Liu
Abstract:
Recently, there has been growing interest in simulating time-dependent Hamiltonians using quantum algorithms, driven by diverse applications, such as quantum adiabatic computing. While techniques for simulating time-independent Hamiltonian dynamics are well-established, time-dependent Hamiltonian dynamics is less explored and it is unclear how to systematically organize existing methods and to fin…
▽ More
Recently, there has been growing interest in simulating time-dependent Hamiltonians using quantum algorithms, driven by diverse applications, such as quantum adiabatic computing. While techniques for simulating time-independent Hamiltonian dynamics are well-established, time-dependent Hamiltonian dynamics is less explored and it is unclear how to systematically organize existing methods and to find new methods. Sambe-Howland's continuous clock elegantly transforms time-dependent Hamiltonian dynamics into time-independent Hamiltonian dynamics, which means that by taking different discretizations, existing methods for time-independent Hamiltonian dynamics can be exploited for time-dependent dynamics. In this work, we systemically investigate how Sambe-Howland's clock can serve as a unifying framework for simulating time-dependent Hamiltonian dynamics. Firstly, we demonstrate the versatility of this approach by showcasing its compatibility with analog quantum computing and digital quantum computing. Secondly, for digital quantum computers, we illustrate how this framework, combined with time-independent methods (e.g., product formulas, multi-product formulas, qDrift, and LCU-Taylor), can facilitate the development of efficient algorithms for simulating time-dependent dynamics. This framework allows us to (a) resolve the problem of finding minimum-gate time-dependent product formulas; (b) establish a unified picture of both Suzuki's and Huyghebaert and De Raedt's approaches; (c) generalize Huyghebaert and De Raedt's first and second-order formula to arbitrary orders; (d) answer an unsolved question in establishing time-dependent multi-product formulas; (e) and recover continuous qDrift on the same footing as time-independent qDrift. Thirdly, we demonstrate the efficacy of our newly developed higher-order Huyghebaert and De Raedt's algorithm through digital adiabatic simulation.
△ Less
Submitted 5 November, 2024;
originally announced November 2024.
-
Analog quantum simulation of parabolic partial differential equations using Jaynes-Cummings-like models
Authors:
Shi Jin,
Nana Liu
Abstract:
We present a simplified analog quantum simulation protocol for preparing quantum states that embed solutions of parabolic partial differential equations, including the heat, Black-Scholes and Fokker-Planck equations. The key idea is to approximate the heat equations by a system of hyperbolic heat equations that involve only first-order differential operators. This scheme requires relatively simple…
▽ More
We present a simplified analog quantum simulation protocol for preparing quantum states that embed solutions of parabolic partial differential equations, including the heat, Black-Scholes and Fokker-Planck equations. The key idea is to approximate the heat equations by a system of hyperbolic heat equations that involve only first-order differential operators. This scheme requires relatively simple interaction terms in the Hamiltonian, which are the electric and magnetic dipole moment-like interaction terms that would be present in a Jaynes-Cummings-like model. For a d-dimensional problem, we show that it is much more appropriate to use a single d-level quantum system - a qudit - instead of its qubit counterpart, and d+1 qumodes. The total resource cost is efficient in d and precision error, and has potential for realisability for instance in cavity and circuit QED systems.
△ Less
Submitted 1 July, 2024;
originally announced July 2024.
-
Efficient explicit gate construction of block-encoding for Hamiltonians needed for simulating partial differential equations
Authors:
Nikita Guseynov,
Xiajie Huang,
Nana Liu
Abstract:
One of the most promising applications of quantum computers is solving partial differential equations (PDEs). By using the Schrodingerisation technique - which converts non-conservative PDEs into Schrodinger equations - the problem can be reduced to Hamiltonian simulations. The particular class of Hamiltonians we consider is shown to be sufficient for simulating almost any linear PDE. In particula…
▽ More
One of the most promising applications of quantum computers is solving partial differential equations (PDEs). By using the Schrodingerisation technique - which converts non-conservative PDEs into Schrodinger equations - the problem can be reduced to Hamiltonian simulations. The particular class of Hamiltonians we consider is shown to be sufficient for simulating almost any linear PDE. In particular, these Hamiltonians consist of discretizations of polynomial products and sums of position and momentum operators. This paper addresses an important gap by efficiently loading these Hamiltonians into the quantum computer through block-encoding. The construction is explicit and efficient in terms of one- and two-qubit operations, forming a fundamental building block for constructing the unitary evolution operator for that class of Hamiltonians. The proposed algorithm demonstrates a squared logarithmic scaling with respect to the spatial partitioning size, offering a polynomial speedup over classical finite-difference methods in the context of spatial partitioning for PDE solving. Furthermore, the algorithm is extended to the multi-dimensional case, achieving an exponential acceleration with respect to the number of dimensions, alleviating the curse of dimensionality problem. This work provides an essential foundation for developing explicit and efficient quantum circuits for PDEs, Hamiltonian simulations, and ground state and thermal state preparation.
△ Less
Submitted 27 January, 2025; v1 submitted 21 May, 2024;
originally announced May 2024.
-
Quantum algorithms for matrix geometric means
Authors:
Nana Liu,
Qisheng Wang,
Mark M. Wilde,
Zhicheng Zhang
Abstract:
Matrix geometric means between two positive definite matrices can be defined from distinct perspectives - as solutions to certain nonlinear systems of equations, as points along geodesics in Riemannian geometry, and as solutions to certain optimisation problems. We devise quantum subroutines for the matrix geometric means, and construct solutions to the algebraic Riccati equation - an important cl…
▽ More
Matrix geometric means between two positive definite matrices can be defined from distinct perspectives - as solutions to certain nonlinear systems of equations, as points along geodesics in Riemannian geometry, and as solutions to certain optimisation problems. We devise quantum subroutines for the matrix geometric means, and construct solutions to the algebraic Riccati equation - an important class of nonlinear systems of equations appearing in machine learning, optimal control, estimation, and filtering. Using these subroutines, we present a new class of quantum learning algorithms, for both classical and quantum data, called quantum geometric mean metric learning, for weakly supervised learning and anomaly detection. The subroutines are also useful for estimating geometric Rényi relative entropies and the Uhlmann fidelity, in particular achieving optimal dependence on precision for the Uhlmann and Matsumoto fidelities. Finally, we provide a BQP-complete problem based on matrix geometric means that can be solved by our subroutines.
△ Less
Submitted 19 June, 2025; v1 submitted 1 May, 2024;
originally announced May 2024.
-
Quantum simulation for time-dependent Hamiltonians -- with applications to non-autonomous ordinary and partial differential equations
Authors:
Yu Cao,
Shi Jin,
Nana Liu
Abstract:
Non-autonomous dynamical systems appear in a very wide range of interesting applications, both in classical and quantum dynamics, where in the latter case it corresponds to having a time-dependent Hamiltonian. However, the quantum simulation of these systems often needs to appeal to rather complicated procedures involving the Dyson series, considerations of time-ordering, requirement of time steps…
▽ More
Non-autonomous dynamical systems appear in a very wide range of interesting applications, both in classical and quantum dynamics, where in the latter case it corresponds to having a time-dependent Hamiltonian. However, the quantum simulation of these systems often needs to appeal to rather complicated procedures involving the Dyson series, considerations of time-ordering, requirement of time steps to be discrete and/or requiring multiple measurements and postselection. These procedures are generally much more complicated than the quantum simulation of time-independent Hamiltonians. Here we propose an alternative formalism that turns any non-autonomous unitary dynamical system into an autonomous unitary system, i.e., quantum system with a time-independent Hamiltonian, in one higher dimension, while keeping time continuous. This makes the simulation with time-dependent Hamiltonians not much more difficult than that of time-independent Hamiltonians, and can also be framed in terms of an analogue quantum system evolving continuously in time. We show how our new quantum protocol for time-dependent Hamiltonians can be performed in a resource-efficient way and without measurements, and can be made possible on either continuous-variable, qubit or hybrid systems. Combined with a technique called Schrodingerisation, this dilation technique can be applied to the quantum simulation of any linear ODEs and PDEs, and nonlinear ODEs and certain nonlinear PDEs, with time-dependent coefficients.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
Quantum simulation of discrete linear dynamical systems and simple iterative methods in linear algebra via Schrodingerisation
Authors:
Shi Jin,
Nana Liu
Abstract:
Quantum simulation is known to be capable of simulating certain dynamical systems in continuous time -- Schrodinger's equations being the most direct and well-known -- more efficiently than classical simulation. Any linear dynamical system can in fact be transformed into a system of Schrodinger's equations via a method called Schrodingerisation. Building on the observation that iterative methods i…
▽ More
Quantum simulation is known to be capable of simulating certain dynamical systems in continuous time -- Schrodinger's equations being the most direct and well-known -- more efficiently than classical simulation. Any linear dynamical system can in fact be transformed into a system of Schrodinger's equations via a method called Schrodingerisation. Building on the observation that iterative methods in linear algebra, and more generally discrete linear dynamical systems, can be viewed as discrete time approximations of dynamical systems which evolve continuously in time, we can apply the Schrodingerisation technique. Thus quantum simulation can be directly applied to the continuous-time limits of some of the simplest iterative methods. This applies to general (explicit) iterative schemes or discrete linear dynamical systems. In particular, we introduce the quantum Jacobi and quantum power methods for solving the quantum linear systems of equations and for estimating the maximum eigenvector and eigenvalue of a matrix respectively. The proposed quantum simulation can be performed on either discrete-variable quantum systems or on hybrid continuous-variable and discrete-variable quantum systems. This framework provides an interesting alternative method to solve linear algebra problems using quantum simulation.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
Quantum algorithms for uncertainty quantification: application to partial differential equations
Authors:
Francois Golse,
Shi Jin,
Nana Liu
Abstract:
Most problems in uncertainty quantification, despite its ubiquitousness in scientific computing, applied mathematics and data science, remain formidable on a classical computer. For uncertainties that arise in partial differential equations (PDEs), large numbers M>>1 of samples are required to obtain accurate ensemble averages. This usually involves solving the PDE M times. In addition, to charact…
▽ More
Most problems in uncertainty quantification, despite its ubiquitousness in scientific computing, applied mathematics and data science, remain formidable on a classical computer. For uncertainties that arise in partial differential equations (PDEs), large numbers M>>1 of samples are required to obtain accurate ensemble averages. This usually involves solving the PDE M times. In addition, to characterise the stochasticity in a PDE, the dimension L of the random input variables is high in most cases, and classical algorithms suffer from curse-of-dimensionality. We propose new quantum algorithms for PDEs with uncertain coefficients that are more efficient in M and L in various important regimes, compared to their classical counterparts. We introduce transformations that transfer the original d-dimensional equation (with uncertain coefficients) into d+L (for dissipative equations) or d+2L (for wave type equations) dimensional equations (with certain coefficients) in which the uncertainties appear only in the initial data. These transformations also allow one to superimpose the M different initial data, so the computational cost for the quantum algorithm to obtain the ensemble average from M different samples is then independent of M, while also showing potential advantage in d, L and precision in computing ensemble averaged solutions or physical observables.
△ Less
Submitted 28 September, 2022; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Time complexity analysis of quantum difference methods for linear high dimensional and multiscale partial differential equations
Authors:
Shi Jin,
Nana Liu,
Yue Yu
Abstract:
We investigate time complexities of finite difference methods for solving the high-dimensional linear heat equation, the high-dimensional linear hyperbolic equation and the multiscale hyperbolic heat system with quantum algorithms (hence referred to as the "quantum difference methods"). For the heat and linear hyperbolic equations we study the impact of explicit and implicit time discretizations o…
▽ More
We investigate time complexities of finite difference methods for solving the high-dimensional linear heat equation, the high-dimensional linear hyperbolic equation and the multiscale hyperbolic heat system with quantum algorithms (hence referred to as the "quantum difference methods"). For the heat and linear hyperbolic equations we study the impact of explicit and implicit time discretizations on quantum advantages over the classical difference method. For the multiscale problem, we find the time complexity of both the classical treatment and quantum treatment for the explicit scheme scales as $\mathcal{O}(1/\varepsilon)$, where $\varepsilon$ is the scaling parameter, while the scaling for the multiscale Asymptotic-Preserving (AP) schemes does not depend on $\varepsilon$. This indicates that it is still of great importance to develop AP schemes for multiscale problems in quantum computing.
△ Less
Submitted 22 September, 2022; v1 submitted 9 February, 2022;
originally announced February 2022.
