Explicit Quantum Circuits for Simulating Linear Differential Equations via Dilation
- URL: http://arxiv.org/abs/2509.16777v2
- Date: Fri, 03 Oct 2025 08:39:39 GMT
- Title: Explicit Quantum Circuits for Simulating Linear Differential Equations via Dilation
- Authors: Seonggeun Park,
- Abstract summary: We present a concrete pipeline that connects the dilation formalism with explicit quantum circuit constructions.<n>On the analytical side, we introduce a discretization of the continuous dilation operator that is tailored for quantum implementation.<n>We prove that the resulting scheme achieves a global error bound of order $O(M-3/2)$, up to exponentially small boundary effects.
- Score: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Quantum simulation has primarily focused on unitary dynamics, while many physical and engineering systems can be modeled by linear ordinary differential equations whose generators include non-Hermitian terms. Recent studies have shown that such equations, which give rise to nonunitary dynamics, can be embedded into a larger unitary framework via dilation techniques. However, their concrete realization on quantum circuits remains underexplored. In this paper we present a concrete pipeline that connects the dilation formalism with explicit quantum circuit constructions. On the analytical side, building on the recent dilation framework, we introduce a discretization of the continuous dilation operator that is tailored for quantum implementation. This construction ensures an exactly skew-Hermitian ancillary generator, which allows the moment conditions to be satisfied without imposing artificial constraints. We prove that the resulting scheme achieves a global error bound of order $O(M^{-3/2})$, up to exponentially small boundary effects. This error can be suppressed by refining the discretization, where $M$ denotes the discretization parameter. On the algorithmic side, we demonstrate that the dilation triple $(F_h, |r_h\rangle, \langle l_h|)$ can be efficiently implemented on quantum circuits. Using linear combinations of unitaries, QFT-adder operators, and quantum singular value transformation, the framework requires resources ranging from $O(\log M)$ to $O((\log M)^2)$, depending on the stage of the pipeline.
Related papers
- Transmutation based Quantum Simulation for Non-unitary Dynamics [35.35971148847751]
We present a quantum algorithm for simulating dissipative diffusion dynamics generated by positive semidefinite operators of the form $A=Ldagger L$.<n>Our main tool is the Kannai transform, which represents the diffusion semigroup $e-TA$ as a Gaussian-weighted superposition of unitary wave propagators.
arXiv Detail & Related papers (2026-01-07T05:47:22Z) - Performance Guarantees for Quantum Neural Estimation of Entropies [31.955071410400947]
Quantum neural estimators (QNEs) combine classical neural networks with parametrized quantum circuits.<n>We study formal guarantees for QNEs of measured relative entropies in the form of non-asymptotic error risk bounds.<n>Our theory aims to facilitate principled implementation of QNEs for measured relative entropies.
arXiv Detail & Related papers (2025-11-24T16:36:06Z) - Arbitrary Boundary Conditions and Constraints in Quantum Algorithms for Differential Equations via Penalty Projections [5.720812431258812]
Complicated boundary conditions are essential to accurately describe phenomena arising in nature and engineering.<n>We design an efficient quantum algorithms for solving differential equations with arbitrary boundary conditions.
arXiv Detail & Related papers (2025-06-26T20:14:32Z) - Constant-Factor Improvements in Quantum Algorithms for Linear Differential Equations [0.4199844472131922]
We prove constant factor bounds for a promising new quantum differential equation solver, the linear combination of Hamiltonian simulation algorithm.<n>Our new formulae improve over previous state of the art by at least two orders of magnitude, where the speedup can be far greater if state preparation has a significant cost.
arXiv Detail & Related papers (2025-06-25T18:50:44Z) - Quantum Framework for Simulating Linear PDEs with Robin Boundary Conditions [0.6144680854063939]
We propose an explicit, oracle-free quantum framework for numerically simulating general linear partial differential equations (PDEs)<n>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.
arXiv Detail & Related papers (2025-06-25T14:23:38Z) - Zassenhaus Expansion in Solving the Schrödinger Equation [0.0]
A fundamental challenge lies in approximating the unitary evolution operator ( e-imathcalHt ) where ( mathcalH ) is a large, typically non-commuting, Hermitian operator.<n>We present a refinement of the fixed-depth simulation framework introduced by E. K"okc"u et al, incorporating the second-order Zassenhaus expansion.<n>This yields a controlled, non-unitary approximation with error scaling as ( mathcalO(t
arXiv Detail & Related papers (2025-05-14T14:48:47Z) - Practical Quantum Circuit Implementation for Simulating Coupled Classical Oscillators [1.3140209441982318]
We present and implement a detailed quantum circuit construction for simulating one-dimensional spring-mass systems.<n>This circuit-based Hamiltonian simulation approach can substantially reduce computational costs and potentially enable larger-scale many-body studies on future quantum hardware.
arXiv Detail & Related papers (2025-01-10T16:53:56Z) - Hybrid Oscillator-Qubit Quantum Processors: Simulating Fermions, Bosons, and Gauge Fields [31.51988323782987]
We develop a hybrid oscillator-qubit processor framework for quantum simulation of strongly correlated fermions and bosons.
This framework gives exact decompositions of particle interactions as well as approximate methods based on the Baker-Campbell Hausdorff formulas.
While our work focusses on an implementation in superconducting hardware, our framework can also be used in trapped ion, and neutral atom hardware.
arXiv Detail & Related papers (2024-09-05T17:58:20Z) - Calculating response functions of coupled oscillators using quantum phase estimation [40.31060267062305]
We study the problem of estimating frequency response functions of systems of coupled, classical harmonic oscillators using a quantum computer.<n>Our proposed quantum algorithm operates in the standard $s-sparse, oracle-based query access model.<n>We show that a simple adaptation of our algorithm solves the random glued-trees problem in time.
arXiv Detail & Related papers (2024-05-14T15:28:37Z) - Dilation theorem via Schr\"odingerisation, with applications to the
quantum simulation of differential equations [29.171574903651283]
Nagy's unitary dilation theorem in operator theory asserts the possibility of dilating a contraction into a unitary operator.
In this study, we demonstrate the viability of the recently devised Schr"odingerisation approach.
arXiv Detail & Related papers (2023-09-28T08:55:43Z) - Sufficient condition for universal quantum computation using bosonic
circuits [44.99833362998488]
We focus on promoting circuits that are otherwise simulatable to computational universality.
We first introduce a general framework for mapping a continuous-variable state into a qubit state.
We then cast existing maps into this framework, including the modular and stabilizer subsystem decompositions.
arXiv Detail & Related papers (2023-09-14T16:15:14Z) - Correspondence between open bosonic systems and stochastic differential
equations [77.34726150561087]
We show that there can also be an exact correspondence at finite $n$ when the bosonic system is generalized to include interactions with the environment.
A particular system with the form of a discrete nonlinear Schr"odinger equation is analyzed in more detail.
arXiv Detail & Related papers (2023-02-03T19:17:37Z) - K-sparse Pure State Tomography with Phase Estimation [1.2183405753834557]
Quantum state tomography (QST) for reconstructing pure states requires exponentially increasing resources and measurements with the number of qubits.
QST reconstruction for any pure state composed of the superposition of $K$ different computational basis states of $n$bits in a specific measurement set-up is presented.
arXiv Detail & Related papers (2021-11-08T09:43:12Z) - Realization of arbitrary doubly-controlled quantum phase gates [62.997667081978825]
We introduce a high-fidelity gate set inspired by a proposal for near-term quantum advantage in optimization problems.
By orchestrating coherent, multi-level control over three transmon qutrits, we synthesize a family of deterministic, continuous-angle quantum phase gates acting in the natural three-qubit computational basis.
arXiv Detail & Related papers (2021-08-03T17:49:09Z) - Simulating nonnative cubic interactions on noisy quantum machines [65.38483184536494]
We show that quantum processors can be programmed to efficiently simulate dynamics that are not native to the hardware.
On noisy devices without error correction, we show that simulation results are significantly improved when the quantum program is compiled using modular gates.
arXiv Detail & Related papers (2020-04-15T05:16:24Z) - Hartree-Fock on a superconducting qubit quantum computer [30.152226344347064]
Here, we perform a series of quantum simulations of chemistry the largest of which involved a dozen qubits, 78 two-qubit gates, and 114 one-qubit gates.
We model the binding energy of $rm H_6$, $rm H_8$, $rm H_10$ and $rm H_12$ chains as well as the isomerization of diazene.
We also demonstrate error-mitigation strategies based on $N$-representability which dramatically improve the effective fidelity of our experiments.
arXiv Detail & Related papers (2020-04-08T18:00:06Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.