High-order splitting of non-unitary operators on quantum computers
Extracted source text ยท arXiv 2511.19659
% ****** Start of file apssamp.tex ******
%
% This file is part of the APS files in the REVTeX 4.2 distribution.
% Version 4.2a of REVTeX, December 2014
%
% Copyright (c) 2014 The American Physical Society.
%
% See the REVTeX 4 README file for restrictions and more information.
%
% TeX'ing this file requires that you have AMS-LaTeX 2.0 installed
% as well as the rest of the prerequisites for REVTeX 4.2
%
% See the REVTeX 4 README file
% It also requires running BibTeX. The commands are as follows:
%
% 1) latex apssamp.tex
% 2) bibtex apssamp
% 3) latex apssamp.tex
% 4) latex apssamp.tex
%
\documentclass[%
reprint,
superscriptaddress,
amsmath,amssymb,
aps,
pra,
]{revtex4-2}
\usepackage{graphicx}
\usepackage{braket}
\usepackage[hidelinks]{hyperref}
\usepackage{booktabs, multirow}
\begin{document}
\title{High-Order Splitting of Non-Unitary Operators on Quantum Computers}
\author{Peter Brearley}
\affiliation{Department of Mechanical and Aerospace Engineering, University of Manchester, UK}
\author{Philipp Pfeffer}
\affiliation{Institute of Thermodynamics and Fluid Mechanics, Technische Universit\"at Ilmenau, Germany}
\begin{abstract}
We present a high-order splitting method for simulating non-unitary dynamics by sequential real- and imaginary-time Hamiltonian evolutions. Complex-coefficient splitting methods with positive real parts are chosen for stable integration in a quantum circuit, avoiding the unstable, norm-amplifying negative steps that arise from real-coefficient splitting at high orders. The method is most beneficial for dynamics that naturally separate into unitary and dissipative components, with broad applications across science and engineering. These systems frequently admit compact spectral representations of the split operators, which we demonstrate by deriving efficient quantum circuits for simulating the damped-wave equation with up to sixth-order accuracy in time. A single sixth-order step in three dimensions on 35 trillion cells requires 1,562 CNOT gates, which can be executed within the coherence time of modern quantum processors.
\end{abstract}
\maketitle
\section{Introduction}
\label{sec:introduction}
Quantum computers are naturally suited to simulating unitary dynamical systems, such as a quantum wavefunction evolving under a Hamiltonian. However, the vast majority of systems are dissipative, with irreversible losses due to friction, diffusion, or boundary flux. This extends beyond classical physics to the development of quantum technologies, such as computing and sensing. Qubits cannot be perfectly isolated from their environment, resulting in decoherence that motivates the study of open quantum systems to understand and reduce these effects~\cite{Lindblad1976}. In quantum sensing, this interaction is the very mechanism by which external fields are imprinted on the sensor's quantum state~\cite{Degen2017}, but occurs alongside other unwanted interactions.
In classical physics, reversible propagation mechanisms for a scalar field~$\phi$ are pure advection by an incompressible velocity field~$\vec{u}$, or wave propagation in a homogeneous, lossless medium at speed~$c$, which are governed by $\partial_t\phi + \vec{u}\cdot\nabla\phi=0$ and $\partial_t^2\phi = c^2\nabla^2\phi$, respectively. When these partial differential equations (PDEs) are discretized in space, they can be formulated as Sch\"odinger equations and solved on quantum computers by Hamiltonian simulation~\cite{Brearley2024, Costa2019}.
For real-world scalar transport processes, diffusion is invariably present, so they are more accurately described by the advection-diffusion equation,
\begin{equation}
\partial_t\phi + \vec{u}\cdot\nabla\phi = D\nabla^2\phi,
\label{eq:advection_diffusion}
\end{equation}
assuming a constant diffusivity~$D$. Mechanical wave propagation is not truly lossless either. Surface water waves, audible sound in air, sonar in water, ultrasound in solids, or seismic waves in the Earth's crust all experience losses due to friction or scattering from inhomogeneous media~\cite{Howe1971}. Such losses can be modelled by a linear damping coefficient $\gamma$ in the damped-wave equation,
\begin{equation}
\partial_t^2\phi + \gamma\,\partial_t\phi = c^2\nabla^2\phi,
\label{eq:damped_wave}
\end{equation}
to varying degrees of accuracy. Equations~\eqref{eq:advection_diffusion} and~\eqref{eq:damped_wave} both consist of a unitary propagation mechanism and a dissipative loss mechanism, reflecting a general pattern seen across many physical systems where reversible and irreversible processes act together.
When time-evolving PDEs, such as Eqs.~\eqref{eq:advection_diffusion} and \eqref{eq:damped_wave}, are discretized in space with $N$ grid points, for example by the finite difference or Fourier spectral methods, linear PDEs become the $N$-dimensional system of ordinary differential equations (ODEs),
\begin{equation}
\frac{d\vec{\phi}}{dt} = M\vec{\phi}.
\label{eq:ode}
\end{equation}
Purely dissipative dynamics, such as damping or diffusion, are described by a Hermitian generator $M=M^\dagger$ with non-positive eigenvalues, while unitary propagative dynamics, such as advection or wave propagation, are described by an anti-Hermitian generator $M = -M^\dagger$. Therefore, in simultaneous propagation-dissipation systems, $M = H_1 + iH_2$ naturally separates into a Hermitian term $H_1=H_1^\dagger$ and an anti-Hermitian term $iH_2$, where $H_2=H_2^\dagger$. In fact, an arbitrary generator~$M$ can be separated into Hermitian and anti-Hermitian components by defining $H_1 = (M+M^\dagger)/2$ and $iH_2 = (M-M^\dagger)/2$~\cite{An2023, Jin2023}. This extends to systems of inhomogeneous ODEs of the form $d_t\vec{\phi} = M\vec{\phi} + \vec{b}$, which can be homogenized by a simple block-matrix construction~\cite{Jin2023}.
Propagative or dissipative linear PDEs frequently admit compact, efficient quantum circuits by diagonalization with quantum spectral transforms~\cite{Lubasch2025}, such as the quantum Fourier transform (QFT) for periodic functions. While the unitary dynamics of Hamiltonian simulation is a natural application of quantum computers, the simulation of purely dissipative dynamics has been extensively studied in the context of imaginary time evolution and block-encoding methods such as qubitization~\cite{Low2019} and the quantum singular value transform (QSVT)~\cite{Gilyen2019}. Therefore, separating the problem into its Hermitian and anti-Hermitian components, then implementing them sequentially by operator splitting, is a practical approach to the quantum simulation of non-unitary dynamics.
The concept of operator splitting is widely regarded by the quantum computing community as a practical means of simulating unitary dynamics \cite{Lloyd1996} with up to high orders of accuracy~\cite{Morales2025}. However, high-order operator splitting for simulating general non-unitary dynamics on quantum computers has yet to be demonstrated. \citeauthor{Pfeffer2025}~\cite{Pfeffer2025} simulated scalar transport by Eq.~\eqref{eq:advection_diffusion} in two-dimensional laminar shear flows in fluid dynamics, where the non-commuting advection and diffusion operators were implemented sequentially with second-order accuracy~\cite{Strang1968}, which is the natural limit for stable integration under positive-only coefficients~\cite{Blanes2005}. We overcome this limit by using complex coefficients $a_i$ satisfying $\Re(a_i)>0$ for the dissipative evolution and real coefficients $b_i>0$ for the unitary evolution. The coefficients ensure that the unitary and dissipative systems are both retained in the real-time evolution, while the dissipative system evolving in imaginary time becomes unitary. The success probability is therefore also retained, as the only additional computational burden is the identification of the unitary circuit to implement the dissipative evolution in imaginary time. This method improves the accuracy up to sixth order using the highest-order qualifying scheme available in the literature~\cite{Bernier2023}.
In the next section, \hyperref[sec:high-order_operator_splitting]{\emph{High-Order Operator Splitting}}, splitting methods are introduced and the qualifying schemes of up to sixth order are presented. In \hyperref[sec:application_to_damped_waves]{\emph{Application to Damped Waves}}, the quantum circuits for high-order splitting are presented in the context of the damped-wave equation. This includes the introduction of a novel quantum algorithm for simulating the wave equation with spectral accuracy. In \hyperref[sec:resource_requirements]{\emph{Resource Requirements}}, the gate complexity is derived in the general case using optimal Hamiltonian simulation~\cite{Low2019} and block encoding~\cite{Gilyen2019} algorithms, followed by the exact CNOT gate count for a sixth-order splitting step for the damped-wave equation. The concluding remarks are provided in \hyperref[sec:summary_and_outlook]{\emph{Summary and Outlook}}.
\section{High-order operator splitting}
\label{sec:high-order_operator_splitting}
The system of ODEs in Eq.~\eqref{eq:ode} has the solution $\vec{\phi}(t) = e^{Mt}\vec{\phi}(0)$, which can equivalently be written as $\vec{\phi}(t) = e^{(H_1 + iH_2)t}\vec{\phi}(0)$ by decomposing $M$ into its Hermitian and anti-Hermitian components. The sequential evolution $e^{(H_1 + iH_2)t} = e^{H_1 t}e^{iH_2t}$ only holds if $H_1$ and $H_2$ commute, i.e.~$[H_1,H_2] = 0$, where $[H_1,H_2] = H_1H_2-H_2H_1$. This occurs for evolutions that can be simultaneously diagonalized in the same basis, which often also admit analytical solutions~\cite{Pfeffer2025}. In general, operator splitting is required to simulate $e^{(H_1 + iH_2)t}$.
The first-order Lie-Trotter splitting is defined as
\begin{equation}
e^{(H_1 + iH_2)t} = \left(e^{H_1 \Delta t}e^{iH_2\Delta t}\right)^T + O(\Delta t),
\label{eq:lie_trotter}
\end{equation}
and the second-order Strang splitting is defined as
\begin{align}
e^{(H_1 + iH_2)t} = \left(e^{iH_2\frac{\Delta t}{2}}e^{H_1 \Delta t}e^{iH_2\frac{\Delta t}{2}}\right)^T + O(\Delta t^2),
\label{eq:strang}
\end{align}
where the overall evolution by time $t$ is separated into $T$ steps of size $\Delta t = t/T$. Improving on the first-order Lie-Trotter splitting in Eq.~\eqref{eq:lie_trotter} to the second-order Strang splitting in Eq.~\eqref{eq:strang} is a natural extension, as it requires sandwiching one evolution between two half-steps of the other and yields a substantial improvement in accuracy. As such, Strang splitting is often preferred to Lie-Trotter splitting in demanding computations. This is analogous to the first-order Euler method for time marching, where extensions to higher order integrators, such as the fourth-order Runge-Kutta (RK4) method, provide substantially improved accuracy and algorithmic scaling with minimal computational overheads~\cite{Butcher1996}.
\begin{table*}[t]\setlength{\tabcolsep}{16pt}
\caption{Splitting schemes with coefficients $a_i\in\mathbb{C}$ and $b_i\in\mathbb{R}$ while $\Re(a_i)>0$ and $b_i>0$. A superscript asterisk denotes the complex conjugate.}
\label{tab:splitting_coefficients}
\begin{tabular}{@{}lll@{}}
\toprule
\textbf{Scheme} & \textbf{Dissipative coefficient} $\boldsymbol{a_i}$ & \textbf{Unitary coefficient} $\boldsymbol{b_i}$ \\ \midrule
\begin{tabular}[c]{@{}c@{}}Lie-Trotter\\ (first-order)\end{tabular} & $a_0=1$ & $b_0=1$ \\ \midrule
\multirow{2}{*}{\begin{tabular}[c]{@{}l@{}}\citeauthor{Strang1968}~\cite{Strang1968}\\ (second-order)\end{tabular}} & \multirow{2}{*}{$a_0 = a_1=1/2$} & \multirow{2}{*}{$b_0 = 1$} \\
& & \\ \midrule
\multirow{3}{*}{\begin{tabular}[c]{@{}l@{}}\citeauthor{Castella2009}~\cite{Castella2009}\\ (fourth-order)\end{tabular}} & $a_0 = a_4 = 1/10-i/30$ & \multirow{3}{*}{\begin{tabular}[c]{@{}c@{}}$b_0 = b_1 = b_2 =b_3 = 1/4$\end{tabular}} \\
& $a_1 =a_3= 4/15+2i/15$ & \\
& $a_2 = \hspace{2.25em} 4/15-i/5$ & \\
\midrule
\multirow{8}{*}{\begin{tabular}[c]{@{}l@{}}\citeauthor{Bernier2023}~\cite{Bernier2023}\\ (sixth-order)\end{tabular}} & $a_0 = a_{15}^\star =0.03 - 0.0028985018717006387i$ & \multirow{8}{*}{\begin{tabular}[c]{@{}l@{}}$b_0 = b_{14}=0.08092666015955027$\\ $b_1 = b_{13}=0.06736427978832901$\\ $b_2=b_{12} = 0.057276240999706116$\\ $b_3 =b_{11}= 0.06428730473896961$\\ $b_4=b_{10} = 0.05528732144478408$\\ $b_5=b_9 \ = 0.02566179136566552$\\ $b_6=b_8 \ = 0.10559039215618958$\\ $b_7 = \ \hspace{2.25em} 0.08721201869361150$\end{tabular}} \\
& $a_1 =a_{14}^\star= 0.08826477458499815 + 0.019065371639195743i$ & \\
& $a_2 =a_{13}^\star= 0.07026507350715319 - 0.05226928459003309i$ & \\
& $a_3 =a_{12}^\star= 0.051044248093469226 + 0.07580262639617709i$ & \\
& $a_4 =a_{11}^\star= 0.040506044227148555 - 0.07981221177569087i$ & \\
& $a_5 =a_{10}^\star= 0.03061653536468681 + 0.07254698089135206i$ & \\
& $a_6 =a_{9}^\star \ = 0.10349890449629792 - 0.03539199012223482i$ & \\
& $a_7 =a_{8}^\star \ = 0.08580441972624608 + 0.011182129837497105i$ & \\ \bottomrule
\end{tabular}
\end{table*}
Unlike explicit time marching, improving the splitting accuracy beyond second-order is non-trivial, as negative coefficients necessarily appear in stages of the evolution~\cite{Blanes2005}. This is acceptable for the implementation of $e^{iH_2\Delta t}$, as evolving backwards time reverses the computation since $e^{-iH_2\Delta t} = (e^{iH_2\Delta t})^\dagger$. However, when implementing the non-unitary evolution of $e^{H_1 \Delta t}$ where $H_1$ is negative semi-definite corresponding to dissipation, a backwards evolution in time results in an amplification, which is numerically unstable and cannot be block-encoded into a unitary operator without rescaling~\cite{Camps2024}. We overcome this by considering splitting methods with complex coefficients~\cite{Blanes2010}. A real coefficient is required for the unitary operator to retain the unitary evolution, and a complex coefficient with a positive real part is required for the dissipative operator to avoid amplifications. Such a scheme that satisfies these constraints was derived by \citeauthor{Castella2009}~\cite{Castella2009} and approximates the evolution $e^{(H_1 + iH_2)t}$ to fourth-order accuracy. It uses the positive real coefficient $b_i=1/4$ for all unitary evolutions and complex coefficients with positive real parts $a_0 = 1/10-i/30$, $a_1 = 4/15+2i/15$, $a_2 = 4/15-i/5$, $a_3=a_1$ and $a_4=a_0$ for the dissipative evolution, as also shown in Table \ref{tab:splitting_coefficients}. The splitting scheme is constructed as
\begin{widetext}
\begin{equation}
e^{(H_1 + iH_2)t} = \left(e^{H_1a_0\Delta t}e^{iH_2b_0\Delta t}e^{H_1a_1\Delta t}e^{iH_2b_1\Delta t}e^{H_1a_2\Delta t}e^{iH_2b_2\Delta t}e^{H_1a_3\Delta t}e^{iH_2b_3\Delta t}e^{H_1a_4\Delta t}\right)^T + O(\Delta t^4).
\label{eq:fourth_order_splitting}
\end{equation}
\end{widetext}
The complex coefficients $a_i$ are scalars, so the real and imaginary components commute and can therefore be implemented sequentially as $e^{H_1 a_i \Delta t}=e^{H_1\Re(a_i)\Delta t}e^{i H_1\Im(a_i)\Delta t}$ with no additional error. Each stage of the evolution therefore evolves under a Hamiltonian in real- or imaginary-time. Two sixth-order schemes with the same constraints of $\Re(a_i)>0$ and $b_i>0$ were presented by \citeauthor{Bernier2023}~\cite{Bernier2023}, consisting of 12 or 16 stages. To the best of our knowledge, these are the highest-order qualifying schemes that have been reported in the literature. There is no known deterministic method of producing such coefficients besides numerical searches that solve the polynomial order conditions from many random initializations~\cite{Bernier2023}. We proceed with the 16-stage scheme due to its more uniform and balanced coefficients, which lead to a more reliable sixth-order convergence across larger steps in practice. The coefficients of all schemes up to sixth order are shown in Table \ref{tab:splitting_coefficients}.
Both the fourth-order and sixth-order splitting satisfy our constraints of $\Re(a_i)>0$ and $b_i>0$, yet they belong to different symmetry classes. The fourth-order method of \citeauthor{Castella2009}~\cite{Castella2009} is palindromic, whereas the sixth-order method of \citeauthor{Bernier2023}~\cite{Bernier2023} is symmetric-conjugate. Symmetric-conjugate schemes were originally devised for the classical simulation of unitary dynamics, as they preserve reversibility under complex conjugation~\cite{Bernier2023}. For our purposes, we found no reason to prefer one class over the other.
\section{Application to damped waves}
\label{sec:application_to_damped_waves}
The wave equation in one spatial dimension is $\partial_{t}^2\phi = c^2\partial_{x}^2\phi$, which we use to simplify the algorithm's derivation and testing, with the extension to two and three spatial dimensions discussed towards the end of the section. After applying the Fourier transform, each spectral mode~$\widehat{\phi}_j$ with wavenumber~$k_j$ satisfies $d_t^2\widehat{\phi}_j + \omega_j^2\widehat{\phi}_j = 0$, which is the ODE describing a harmonic oscillator with angular frequency $\omega_j=c|k_j|$. The evolution can be expressed as a first-order system using the block construction
\begin{equation}
\frac{d}{dt}\begin{bmatrix}
\widehat{\phi}_j \\ d_t\widehat{\phi}_j/\omega_j
\end{bmatrix}
=
\underbrace{\begin{bmatrix}
0 & \omega_j \\
-\omega_j & 0
\end{bmatrix}}_{i\omega_jY}
\begin{bmatrix}
\widehat{\phi}_j \\ d_t\widehat{\phi}_j/\omega_j
\end{bmatrix},
\label{eq:wave_ode}
\end{equation}
where $Y = -i\ket{0}\!\bra{1} + i\ket{1}\!\bra{0}$ is the Pauli-Y gate. Since $Y=Y^\dagger$, the overall system has the unitary evolution $R_Y^\dagger\!(2\omega_jt) = e^{i\omega_jt Y}$ given by
\begin{equation}
\begin{bmatrix}
\widehat{\phi}_j(t) \\
d_t \widehat{\phi}_j(t)/\omega_j
\end{bmatrix}
=
\underbrace{
\begin{bmatrix}
\cos(\omega_jt) &\sin(\omega_jt)\\
-\sin(\omega_jt) & \cos(\omega_jt)
\end{bmatrix}}_{\displaystyle R_Y^\dagger\!\left(2\omega_j t\right)}
\begin{bmatrix}
\widehat{\phi}_j(0) \\
d_t \widehat{\phi}_j(0)/\omega_j
\end{bmatrix},
\label{eq:wave_solution}
\end{equation}
where $R_Y\!(\theta) = e^{-i\frac{\theta}{2}Y}$ is the single-qubit rotation gate around the $y$ axis of the Bloch sphere and $R_Y^\dagger\!(\theta) = R_Y\!(-\theta)$ is its inverse.
\begin{figure*}[t]
\centering
\includegraphics[width=0.95\textwidth]{wave_circuit.pdf}
\caption{Quantum circuit for solving the wave equation in Fourier space using little-endian ordering with the input state in Eq.~\eqref{eq:spectral_input_state}. The non-dimensional evolution time $\zeta t = 4\pi ct/L$.}
\label{fig:wave_circuit}
\end{figure*}
The quantum state preparation requires the amplitude encoding of either the spectral modes
\begin{equation}
\ket{\widehat{\Psi}} \propto \sum_{j=0}^{N-1} \left(\widehat{\phi}_j\ket{0}_S+\frac{d_t\widehat{\phi}_j}{\omega_j}\ket{1}_S\right)\otimes|j\rangle_D,
\label{eq:spectral_input_state}
\end{equation}
or the corresponding physical space quantities
\begin{equation}
\ket{\Psi} \propto \sum_{j=0}^{N-1} \left(\phi_j\ket{0}_S+ |c\partial_x|^{-1}\partial_t\phi_j\ket{1}_S\right)\otimes \ket{j}_D,
\label{eq:physical_space_encoding}
\end{equation}
followed by the appropriate quantum spectral transform. The initial condition is encoded into the data register~$\ket{\text{dat}}_D$ with the selector qubit~$\ket{\text{sel}}_S$ distinguishing between the vertical wave displacement and velocity data.
The quantum circuit that evolves the modes by Eq.~\eqref{eq:wave_solution} is derived by decomposing $\omega_j$ using the binary expansion of the index $j = \sum_{r=0}^{n-1} 2^r q_r$, where $q_r\in\{0,1\}$ is the $r$\textsuperscript{th} qubit, $q_0$ is the least-significant qubit, and $N=2^n$. First, considering the periodic boundary conditions that are enforced by the QFT, the wavenumber $k_j = 2\pi j/L$ when $0\leq j < N/2$, and $k_j = (2\pi/L)(j-N)$ when $N/2 \leq j < N$. Therefore, $\omega_j = c|k_j|$ can be expanded to
\begin{equation}
\omega_j = \frac{2\pi c}{L}
\begin{cases}
\displaystyle\sum_{r=0}^{n-1} 2^r q_r , & 0\leq j < 2^{n-1} \\
2^n - \displaystyle\sum_{r=0}^{n-1} 2^r q_r , & 2^{n-1}\leq j < 2^n .
\end{cases}
\end{equation}
Substituting the expression into the mode evolution operator in Eq.~\eqref{eq:wave_solution} gives
\begin{equation}
R_Y^\dagger\!(2\omega_jt) =
\begin{cases}
R_Y^\dagger\!\left(\zeta t\displaystyle\sum_{r=0}^{n-1} 2^r q_r\right), \!\!&\!\! 0 \leq j < 2^{n-1} \\[1em]
R_Y^\dagger\!\left(\zeta t\left[2^n {-} \displaystyle\sum_{r=0}^{n-1} 2^r q_r\right]\right), \!\!&\!\! 2^{n-1}\leq j < 2^n,
\end{cases}
\end{equation}
where $\zeta = 4\pi c/L$ is defined for convenience. Using additivity of rotation angles about the same axis $R_Y^\dagger\!(\theta_1+\theta_2) = R_Y^\dagger\!(\theta_1)R_Y^\dagger\!(\theta_2)$, the expression becomes
\begin{equation}
R_Y^\dagger\!(2\omega_jt) {=}
\begin{cases}
\displaystyle\prod_{r=0}^{n-1} R_Y^\dagger\!(2^r\zeta t q_r), \!\!&\!\! 0 \leq j < 2^{n-1} \\[1em]
R_Y^\dagger\!(2^n\zeta t)\displaystyle\prod_{r=0}^{n-1} R_Y^\dagger\!(-2^r \zeta t q_r), \!\!&\!\! 2^{n-1} \leq j < 2^n.
\end{cases}
\label{eq:wave_gates}
\end{equation}
The piecewise dependence can be implemented by conditioning each argument by the most-significant qubit $q_{n-1}$, which is $\ket{0}$ for $0\leq j<2^{n-1}$ and $\ket{1}$ for $2^{n-1}\leq j < 2^n$. Since both expressions in Eq.~\eqref{eq:wave_gates} contain the common product term, $R_Y\!(\pm 2^r\zeta t q_r)$ up to the sign of the angle, it can be implemented with a positive sign across all $j$ indices, then surrounded by controlled-NOT gates to reverse the sign for the $q_{n-1}=\ket{1}$ component. This avoids the need for additional zero- and one-controlling operations so all gates are controlled by at most one qubit. Finally, the remaining gate of $R_Y^\dagger\!(2^n\zeta t)$ can be applied to $2^{n-1} \leq j < 2^n$ by controlling on $q_{n-1}=\ket{1}$. The quantum circuit that implements the evolution for periodic boundary conditions is shown in Fig.~\ref{fig:wave_circuit}. Neumann or Dirichlet boundary conditions can be implemented by the quantum cosine transformation (QCT) or quantum sine transformation (QST), respectively~\cite{Strang1999, Klappenecker2001}, where the wavenumber becomes simply $k_j = \pi j/L$ for Neumann conditions or $k_j = \pi (j+1)/L$ for Dirichlet conditions. This was shown by \citeauthor{Pfeffer2025}~\cite{Pfeffer2025} in the context of the advection-diffusion equation in a laminar shear flow, by implementing Neumann boundary conditions with the QCT corresponding to an insulated wall.
\begin{figure*}[t]
\centering
\includegraphics[width=0.99\textwidth]{splitting_circuits.pdf}
\caption{Quantum circuits for implementing one splitting step of the damped-wave equation in Fourier space with little-endian ordering for (a) Lie-Trotter, (b) Strang, and (c) the fourth-order scheme of \citeauthor{Castella2009}~\cite{Castella2009}. The circuit in (c) generalizes to higher orders with the same construction, including the sixth-order scheme of \citeauthor{Bernier2023}~\cite{Bernier2023}. The non-dimensional splitting step size is $\zeta t = 4\pi ct/L$ wave propagation time scales scaled by $4\pi$, or $\gamma t$ damping time scales.}
\label{fig:wave_splitting}
\end{figure*}
The damped-wave equation in one dimension is $\partial_{t}^2\phi + \gamma\partial_t\phi = c^2\partial_x^2\phi$, which becomes the damped harmonic oscillator ODE in spectral space $d_{t}^2\widehat{\phi}_j + \gamma d_t\widehat{\phi}_j + \omega_j^2\widehat{\phi}_j = 0$. The dynamics can be split into wave propagation and damping contributions as
\begin{equation}
\frac{d}{dt}\begin{bmatrix}
\widehat{\phi}_j \\ d_t\widehat{\phi}_j/\omega_j
\end{bmatrix}
=
\Bigg(\underbrace{\begin{bmatrix}
0 & \omega_j \\
-\omega_j & 0
\end{bmatrix}}_{W_j} +
\underbrace{\begin{bmatrix}
0 & 0 \\
0 & -\gamma
\end{bmatrix}}_{D}\Bigg)
\begin{bmatrix}
\widehat{\phi}_j \\ d_t\widehat{\phi}_j/\omega_j
\end{bmatrix}.
\label{eq:damped_wave_ode}
\end{equation}
The damping evolution $e^{D\Delta t} = \ket{0}\!\bra{0} + e^{-\gamma \Delta t}\ket{1}\!\bra{1}$ applies an exponential decay to the velocity component of the state, and can be implemented by applying
\begin{align}
R(\gamma \Delta t) &= R_Y\!(2\arccos [e^{-\gamma \Delta t}]) \nonumber \\
&=
\begin{bmatrix}
e^{-\gamma \Delta t} & -\sqrt{1 - e^{-2\gamma \Delta t}}\\
\sqrt{1 - e^{-2\gamma \Delta t}} & e^{-\gamma \Delta t}
\end{bmatrix}
\label{eq:R_gate}
\end{align}
to an ancilla qubit in a computational basis state ($\ket{0}$ or $\ket{1}$) and controlled by the selector qubit. Measuring the ancilla qubit in the same basis state performs the desired evolution.
The quantum circuit that simulates the Lie-Trotter splitting step in Eq.~\eqref{eq:lie_trotter} is shown in Fig.~\ref{fig:wave_splitting}a, which implements the circuits for wave propagation and damping sequentially for a time step $\Delta t$. The second-order Strang splitting scheme is shown in Fig.~\ref{fig:wave_splitting}b, where the damping is evolved for time $\Delta t$ between wave evolutions for $\Delta t/2$. We improve upon this to fourth-order accuracy using the splitting scheme in Eq.~\eqref{eq:fourth_order_splitting}~\cite{Castella2009} by the quantum circuit shown in Fig.~\ref{fig:wave_splitting}c. The unitary wave evolution can be implemented identically to the Lie-Trotter and Strang circuits, as the coefficient remains real. For the damping, the real part of the evolution $e^{D\Re(a_i)\Delta t}$ can be implemented identically to the Lie-Trotter and Strang circuits. The imaginary part of the damping evolution $e^{i D\Im(a_i)\Delta t} = \ket{0}\!\bra{0} + e^{-i\gamma \Im(a_i)\Delta t}\ket{1}\!\bra{1}$ is unitary, corresponding to the phase gate $P(\theta) = \ket{0}\!\bra{0} + e^{i\theta}\ket{1}\!\bra{1}$ with $\theta=-\gamma\Im(a_i)\Delta t$ applied to the selector qubit. Since the rotation gate $R_Z(\theta) = e^{-i\theta/2}\ket{0}\!\bra{0} + e^{i\theta/2}\ket{1}\!\bra{1}$ equals $P(\theta)$ up to a global phase of $e^{-i\theta/2}$, the single-qubit phase gates may be substituted with $R_Z$ gates with no observable impact. This method generalises to dissipative dynamics that can be implemented by sequences of controlled $R_Y$, such as the method for the heat equation discussed by \citeauthor{Pfeffer2025}~\cite{Pfeffer2025}. The real rotation of the controlled $R_Y$ gate acting on the ancilla qubit with the argument defined in Eq.~\eqref{eq:R_gate} can be substituted by a $P$ gate acting on the controlling qubit, which applies the desired phase to the $\ket{1}$ state. If the $R_Y$ gate has multiple control qubits, then a $P$ gate can be applied to either qubit and controlled by the remaining qubits. Controlled $P$ gates cannot be substituted by controlled $R_Z$ gates, as they are no longer equivalent up to a global phase.
\begin{figure*}[t]
\centering
\includegraphics[width=0.8\textwidth]{damped_wave_evolution.pdf}
\caption{Statevector simulations of the damped-wave equation evolution showing (a) the displacement vector corresponding to selector qubit $\ket{0}_S$, and (b) the function of the velocity vector in Eq.~\eqref{eq:physical_space_encoding} corresponding to $\ket{1}_S$. The simulations use nine qubits and four sixth-order splitting steps. Both plots show the physical-space quantities, corresponding to the QFT$^\dagger$ applied to the $\ket{\text{dat}}_D$ register.}
\label{fig:damped_wave_evolution}
\end{figure*}
\begin{figure*}[t]
\centering
\includegraphics[width=0.99\textwidth]{damped_wave_error.pdf}
\caption{Error norm $\epsilon = \|\ket{\phi(t)}-\vec{\phi}(t)\|$ from statevector simulations of the damped-wave simulation in Fig.~\ref{fig:damped_wave_evolution} using various splitting step sizes. The analytical solution~$\vec{\phi}(t)$ was evaluated from Eq.~\eqref{eq:damped_wave_ode}, then scaled to have a unit norm. The error norm is shown against the number of operator splitting steps in (a) and the number of CNOT gates in (b).}
\label{fig:damped_wave_error}
\end{figure*}
Figure \ref{fig:damped_wave_evolution} presents quantum statevector simulations of the algorithm applied to the damped-wave equation on a periodic domain of length $L$. The sixth-order splitting scheme in Table \ref{tab:splitting_coefficients} is used by extending the circuit architecture in Fig.~\ref{fig:wave_splitting}c accordingly. A Gaussian initial condition of $\phi(x,0) = \exp(-100[x/L-0.5]^2)$ with a zero initial time derivative so $|c\partial_x|^{-1}\partial_t\phi(x,0)=0$ is discretized with 128 grid points and encoded into the quantum state by Eq.~\eqref{eq:physical_space_encoding}, requiring $n=7$ qubits in the data register, in addition to the selector and ancilla qubits for a total of nine qubits. The ratio of the wave propagation to damping time scales $\gamma L/c=0.5$ corresponds to the under-damped regime. Four splitting steps are implemented, each requiring 302 CNOT gates for a total of 1,208 CNOT gates to simulate the entire evolution. This calculation and its scaling will be expanded upon in the following \hyperref[sec:resource_requirements]{\emph{Resource Requirements}} section. The cumulative success probability of measuring $\ket{0}$ after each damping stage is approximately 27.6\%, corresponding to the squared ratio of the $L^2$ norm of the unnormalized solution at the final and initial states, $\|\phi(t)\|^2/\|\phi(0)\|^2$.
The exact propagator for the damped-wave equation can be obtained by exponentiating the generator in Eq.~\eqref{eq:damped_wave_ode}, $e^{(W_j + D)t}$, which we use to validate the theoretical orders of accuracy with the error norm. The statevector simulations in Fig.~\ref{fig:damped_wave_evolution}, which use four sixth-order splitting steps, have an error norm of $\epsilon = 4.77{\times}{10}^{-5}$, evaluated by $\epsilon = \|\ket{\phi(t)}-\vec{\phi}(t)\|$ where the analytical solution~$\vec{\phi}(t)$ is first scaled to have a unit norm. The error norm is plotted in Fig.~\ref{fig:damped_wave_error} for all schemes in Table \ref{tab:splitting_coefficients}, against the number of splitting steps in Fig.~\ref{fig:damped_wave_error}a and the number of CNOT gates in Fig.~\ref{fig:damped_wave_error}b. The results show that all schemes achieve the theoretical error scaling after the initial coarse-grid transients have passed. The number of CNOT gates is comparable at large error tolerances, but the higher-order schemes rapidly become more efficient for a small error tolerance. This suggests that there is no disadvantage in using higher-order schemes, regardless of the error tolerance. The sixth-order splitting achieves the classical machine precision of the emulator with approximately $10^4$ CNOT gates.
For the heat equation, the multi-dimensional evolution operator has the form $e^{(\partial_x^2+\partial_y^2+\partial_z^2)t} = e^{\partial_x^2t}e^{\partial_y^2t}e^{\partial_z^2t}$, which commutes among spatial dimensions and thereby allows each spatial dimension to be evolved sequentially with no loss in accuracy~\cite{Pfeffer2025}. For the wave equation, however, each mode oscillates at a frequency proportional to $c\|\boldsymbol{k}\|$, which depends on the square root of the sum of squared wavenumber components and can no longer be evolved independently. However, the discussed concepts of high-order operator splitting naturally extend to this problem, and to systems of ODEs that decompose into a larger number of unitary and dissipative contributions. For example, consider the evolution $e^{Mt} = e^{(H_1+iH_2)t}$ in Eq.~\eqref{eq:ode}, where $H_1 = \sum_jA_j$ is the sum of Hermitian generators $A_j$ and $iH_2 = \sum_kB_k$ is the sum of anti-Hermitian generators $B_k$. Then, a splitting stage can be implemented as
\begin{equation}
S_i(\Delta t) = \left(\prod_je^{A_ja_i\Delta t}\right)\left(\prod_ke^{B_kb_i\Delta t}\right).
\label{eq:multi_splitting}
\end{equation}
Using the example of multi-dimensional wave propagation, where the anti-Hermitian generator $iH_2 = W_x + W_y$ describes the wave propagation in the $x$ and $y$ directions, a Strang step therefore approximates the evolution by
\begin{equation}
e^{(W_{\!x}+W_{\!y}+D)\Delta t} =
e^{W_{\!x}\!\frac{\Delta t}{2}}
e^{W_{\!y}\!\frac{\Delta t}{2}}
e^{D\Delta t}
e^{W_{\!y}\!\frac{\Delta t}{2}}
e^{W_{\!x}\!\frac{\Delta t}{2}}
{+} O(\Delta t^3).
\label{eq:2d_splitting}
\end{equation}
This method generalizes to higher orders of accuracy by applying Eq.~\eqref{eq:multi_splitting} to the coefficients presented in Table~\ref{tab:splitting_coefficients}.
\section{Resource Requirements}
\label{sec:resource_requirements}
The required resources for simulating the evolution under arbitrary generators $M=H_1+iH_2$, assuming oracular access to the Hamiltonians $H_1$ and $H_2$, will first be derived, followed by the requirements for the case study of the damped-wave equation.
The unitary evolution $e^{iH_2 \Delta t}$ can be implemented by optimal Hamiltonian simulation with $O(s\|H_2\|_\text{max} \Delta t + \log [1/\epsilon])$ two-qubit gates~\cite{Low2019}. The evolution $e^{H_1\Delta t}$ is non-unitary and can be efficiently simulated with QSVT~\cite{Gilyen2019} by applying a polynomial transformation to a block encoding of $H_1\Delta t$ with the identical two-qubit gate complexity $O(s\|H\|_\text{max} \Delta t + \log [1/\epsilon])$, although with a probability of postselection success of $ \|\vec{\phi}(\Delta t)\|^2 / \|\vec{\phi}(0)\|^2$ without the use of oblivious amplitude amplification~\cite{Berry2014}. The required number of splitting steps scales as $T = O(t^{1+1/p}\epsilon^{-1/p})$ for splitting order $p$, since $\Delta t = O([\epsilon/t]^{1/p})$ and $T = t/\Delta t$. The required number of splitting stages within a step scales as $O(2^{p/2})$ \cite{McLachlan1995}. The required number of two-qubit gates for the general evolution is therefore $O([s\|M\|_\text{max} t + t^{1+1/p}\epsilon^{-1/p}\log \{t/\epsilon\}]2^{p/2})$, with $O(\|\vec{\phi}(0)\|^2 / \|\vec{\phi}(t)\|^2)$ attempts per successful run. This bound assumes the largest magnitude matrix element $\|M\|_\text{max} = \|H_1\|_\text{max} = \|H_2\|_\text{max}$, which is a conservative estimate.
For the damped-wave equation case study, the individual operators can be implemented by the spectral algorithm presented in \hyperref[sec:application_to_damped_waves]{\emph{Applications to Damped Waves}}, requiring $O(\log N)$ two-qubit gates. This has exponential error convergence $N = O(\log [1/\epsilon])$ from the spectral method, so the number of two-qubit gates to implement $U_w(\zeta t)$ can be expressed entirely in terms of the error as $O(\log\log[1/\epsilon])$. A single damping step requires $O(1)$ two-qubit gates. In $d$ spatial dimensions, the complexity attains a linear $d$ dependence as can be inferred from Eq.~\eqref{eq:2d_splitting}. When the contributions are combined by operator splitting, the two-qubit gate requirements become $O(2^{p/2} t^{1+1/p}\epsilon^{-1/p}d\log N)$. This assumes that no QFT operations are required in the data input or post-processing stages, which would increase the dependence on the number of grid points to $O(n\log [n/\epsilon]) = O(\log N [\log\log N+ \log \{1/\epsilon\}])$ using the most efficient approximate QFT circuits~\cite{Cleve2000}. The algorithm requires $O(\|\vec{\phi}(0)\|^2 / \|\vec{\phi}(t)\|^2)$ attempts per successful run based on the squared ratio of $L^2$ norms of the unnormalized solution vectors, again without the use of oblivious amplitude amplification, as an objective of this study is to minimise the circuit depth of executing a single shot. Using the highest-order $p=6$ scheme currently available~\cite{Bernier2023}, the two-qubit gate complexity has a near-linear $O(t^{7/6})$ dependence on the simulation time, substantially improving on the $O(t^{3/2})$ obtained for Strang splitting~\cite{Pfeffer2025}.
Figure~\ref{fig:damped_wave_error} shows that the quantum high-order splitting can perform the simulation in Fig.~\ref{fig:damped_wave_evolution} with an error norm $\epsilon\approx 10^{-5}$ using approximately $10^3$ CNOT gates. This is significant because it is the number of two-qubit gates that can be implemented within the phase coherence time of the current generation of quantum computers. For instance, Google's newest superconducting quantum processor, Willow, has a two-qubit gate execution speed of 42\,ns and a mean coherence time of 68\,\textmu s, which allows the execution of approximately 1,600 consecutive two-qubit gates within the coherence window. This is comparable to other qubit architectures, such as trapped ions, despite much longer gate execution times, due to proportionally longer phase coherence times~\cite{IonQAria}.
A controlled $R_Y\!(\theta)$ gate can be factored into
\begin{equation}
\left(I\otimes R_Y\!\left[\tfrac{\theta}{2}\right]\right)\text{CNOT} \left(I\otimes R_Y\!\left[-\tfrac{\theta}{2}\right]\right)\text{CNOT},
\nonumber
\end{equation}
requiring two CNOT gates~\cite{Barenco1995}. The wave evolution unitary $U_w(\zeta t)$ in Fig.~\ref{fig:wave_circuit} therefore requires $2n+4$ CNOT gates, and the damping evolution requires just 2 CNOT gates. A sixth-order splitting step requires $15d$ wave evolutions and 16 damping evolutions, resulting in $30nd + 60d + 32$ CNOT gates and $nd+2$ qubits. This is also the expression for the circuit depth, as all CNOT gates act on, or are controlled by, the selector qubit $\ket{\text{sel}}_S$. Consider a $32768^3\approx$ 35 trillion-cell simulation, which lies on the very limit of what is possible by the most advanced GPU-based supercomputers today~\cite{Yeung2025}. A sixth-order splitting step of a damped wave can be implemented on this grid with 47 qubits with 1,562 CNOT gates, assuming all-to-all connectivity and excluding state preparation and QFT costs. Therefore, a single splitting step of this computation can be executed within the coherence time of modern quantum processors~\cite{Google2025}. This does not consider the cumulative gate or readout errors, and is provided to contextualize the low circuit depths of the proposed approach. Because of the $O(\epsilon^{-1/6})$ error dependence, the number of splitting steps required to bring the error within tolerance is expected to be small, making such large-scale simulations feasible on forthcoming generations of quantum processors. Proof-of-concept computations for simulating the advection-diffusion equation using spectral methods were presented by \citeauthor{Pfeffer2025}~\cite{Pfeffer2025} on both trapped-ion IonQ and superconducting IBM architectures. The developed quantum high-order splitting methods offer a practical route to extending these promising results towards problems of industrial relevance.
Compared to general methods for solving Eq.~\eqref{eq:ode}, such as by linear combination of Hamiltonian simulation~\cite{An2023} or Schr\"odingerization~\cite{Jin2023}, the proposed approach requires substantially fewer CNOT gates for PDEs that can be diagonalized by quantum spectral transforms. For example, \citeauthor{Hu2024}~\cite{Hu2024} demonstrated explicit quantum circuits for solving the heat and advection equations by Schr\"odingerization~\cite{Jin2023}. For the same parameters of $n=15$ and $d=3$, and assuming a modest 10 qubits to discretize the new spatial dimension required by the algorithm, the CNOT gate count per splitting step for diffusion (their Eq.~5.6) and advection (their Eq.~5.21) is of the order $10^7$ in both cases~\cite{Hu2024}. This is expected to be similar for the damped-wave equation, as the construction of the spatial Laplacian is identical to the heat equation. This is four orders of magnitude higher than the proposed approach, and not feasible for implementation on hardware available in the near term. Furthermore, this construction is for a first-order step, so additional orders of magnitude more steps will be required to bring the error to within tolerance. This further highlights the potential of the proposed approach as a practical strategy for simulating PDEs given quantum hardware coherence-time constraints.
\section{Summary and Outlook}
\label{sec:summary_and_outlook}
In conclusion, we have presented a new application of high-order splitting methods with complex coefficients for simulating non-unitary dynamics on quantum computers. The method applies to arbitrary linear dynamics, but is best suited to systems that naturally separate into unitary and dissipative components, such as advection-diffusion or damped-wave equations. The high-order splitting can then be implemented as a series of real- or imaginary-time Hamiltonian evolutions by existing techniques for the simpler problems.
The method was demonstrated in the context of the damped-wave equation, using statevector simulations of up to sixth-order accuracy. This was performed by introducing an efficient, novel spectral quantum algorithm for evolving the wave equation and the damping operators. The designed circuits can be integrated with various quantum spectral transforms such as the QFT, QCT, or QST, permitting periodic, Neumann, or Dirichlet boundary conditions~\cite{Klappenecker2001}. Higher-order schemes use several orders of magnitude fewer CNOT gates for simulations with a small error tolerance, and a comparable number of gates for simulations with a large error tolerance, so they can be chosen near universally.
The overall two-qubit gate count for $p$-order splitting scales as $O(2^{p/2} t^{1+1/p}\epsilon^{-1/p}d\log N)$ using the case study of the damped-wave equation. The resulting circuits are highly compact when the individual dynamics are diagonalized by spectral transforms, demonstrated by a sixth-order splitting step of a 35 trillion-cell simulation requiring 1,562 CNOT gates, which is within the coherence-time limit of the current generation of quantum computers~\cite{Google2025}. The error rapidly converges with increasing steps due to the high-order splitting.
Identifying suitable coefficients beyond sixth order and determining whether they lead to superior CNOT gate counts for various error tolerances remain open problems. The presented splitting constructions fundamentally rely on efficient techniques for simulating the individual Hamiltonian evolutions in both real and imaginary time. Developing such techniques for a broad range of applications is an important direction of future research.
\begin{acknowledgments}
Peter Brearley acknowledges financial support from The University of Manchester via the Dame Kathleen Ollerenshaw Fellowship. Philipp Pfeffer is supported by the European Union (ERC, MesoComp, 101052786). Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them.
\end{acknowledgments}
\bibliography{apssamp}
\end{document}