Quantum Simulation of Differential-Algebraic Equations with Applications to Unsteady Stokes Flow

• URL: http://arxiv.org/abs/2605.00794v1
• Date: Fri, 01 May 2026 17:21:52 GMT
• Title: Quantum Simulation of Differential-Algebraic Equations with Applications to Unsteady Stokes Flow
• Abstract summary: This paper initiates a quantum-algorithmic study of constrained linear DAEs.<n>We introduce a dilation framework that embeds the generally non-Hermitian constrained evolution into a projected Schrdinger-type dynamics.<n>Results provide a first step toward understanding the potential intersection of quantum algorithms, DAEs, and constrained PDE dynamics.
• Score: 2.847280100380157
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Differential-algebraic equations (DAEs) arise naturally in constrained dynamical systems, but their algebraic constraints and hidden compatibility conditions make them more subtle than standard ordinary differential equations. This paper initiates a quantum-algorithmic study of constrained linear DAEs. We introduce a dilation framework that embeds the generally non-Hermitian constrained evolution into a projected Schrödinger-type dynamics on an enlarged Hilbert space, \[ i\frac{d}{dt}Ψ(t)=P\tH PΨ(t), \] where $\tH$ is Hermitian and $P$ is the orthogonal projector onto the lifted constraint subspace. This identifies the DAE evolution with a quantum Zeno-type dynamics and enables the use of block encodings, QSVT-based projector construction, and Hamiltonian simulation. We apply the framework to structure-preserving discretizations of the unsteady Stokes equations, where the pressure enforces the discrete incompressibility constraint. We derive the corresponding projected Hamiltonian formulation, identify low-energy spectral cutoffs motivated by solution smoothness, and discuss the resulting quantum simulation cost in comparison with classical projection-type methods. The results provide a first step toward understanding the potential intersection of quantum algorithms, DAEs, and constrained PDE dynamics.

Related papers

• Quantum simulation of the Liouville equation in classical mechanics with discontinuous potential via Schrödingerization [42.22857110018992]
  We develop quantum simulation algorithms for the Liouville equation of classical mechanics with discontinuous potential.<n>We combine Hamiltonian-preserving schemes by Jin and Wen in Commun. Math. Sci. 3(3), 285-315 (2005) with the Schrdingerization method, which embeds the resulting nonunitary semi-discrete dynamics into a unitary Schrdinger type system.
  arXiv  Detail & Related papers  (2026-06-13T02:49:05Z)
• Structure-Preserving Quantum Method of Lines for Evolutionary PDEs with Mixed Boundary Conditions [4.591453488105558]
  We give analysis and circuit design of structure-preserving quantum algorithms for second-order PDEs.<n>We implement our quantum algorithms with explicit block-encoding constructions and circuit implementations.<n>We conduct classical numerical experiments on the convection-diffusion equation, inhomogeneous heat equation, and Klein-Gordon equation.
  arXiv  Detail & Related papers  (2026-06-02T09:48:53Z)
• Unitary discretization of the Koopman-von Neumann equation for quantum simulation of fluid and plasma dynamics [45.88028371034407]
  KvN framework embeds the Liouville equation into a Hilbert space with norm-preserving, unitary evolution.<n>Weyl-ordered KvN generator is derived as the unique anti-Hermitian operator symmetrization for real velocity fields.
  arXiv  Detail & Related papers  (2026-05-18T23:27:02Z)
• Quantum simulation of Liouville equation in geometrical optics with partial transmission and reflection via Schrödingerization [42.22857110018992]
  This paper investigates quantum simulation algorithms for the Liouville equation in geometrical optics with partial transmission and reflection at sharp interfaces.<n>By means of a warped phase transformation in one higher dimension, the Schrdingerization method converts linear partial differential equations into a system of Schrdinger-type equations with unitary evolution.<n>We present detailed constructions of the resulting quantum algorithms and show through complexity analysis that the proposed methods achieve quantum advantage in the precision parameter $$ over their classical counterparts.
  arXiv  Detail & Related papers  (2026-03-12T14:47:16Z)
• On the Noisy Road to Open Quantum Dynamics: The Place of Stochastic Hamiltonians [0.0]
  evolution underpins several approaches to the dynamics of open quantum systems.<n>In a formulation, the open-system problem is reduced from a coupled system-environment to an effective system-only description.
  arXiv  Detail & Related papers  (2025-10-11T09:40:29Z)
• Quantum neural ordinary and partial differential equations [38.77776626953413]
  We present a unified framework that brings the continuous-time formalism of classical neural ODEs/PDEs into quantum machine learning and quantum control.<n>We define QNODEs as the evolution of finite-dimensional quantum systems, and QNPDEs as infinite-dimensional (continuous-variable) counterparts.
  arXiv  Detail & Related papers  (2025-08-24T18:43:44Z)
• Solving wave equation problems on D-Wave quantum annealers [44.99833362998488]
  We solve the one-dimensional Helmholtz equation in several scenarios using the quantum annealer provided by the D-Wave systems within a pseudospectral scheme.<n>We assess the performance of different strategies of encoding based on algebraic arguments and the adiabatic condition.
  arXiv  Detail & Related papers  (2025-07-18T08:06:43Z)
• Towards Variational Quantum Algorithms for generalized linear and nonlinear transport phenomena [0.0]
  This article proposes a Variational Quantum Algorithm to solve linear and nonlinear thermofluid dynamic transport equations.<n>The hybrid classical-quantum framework is applied to problems governed by the heat, wave, and Burgers' equation in combination with different engineering boundary conditions.
  arXiv  Detail & Related papers  (2024-11-22T13:39:49Z)
• Quantum algorithm for the advection-diffusion equation and the Koopman-von Neumann approach to nonlinear dynamical systems [0.0]
  We propose an explicit algorithm to simulate both the advection-diffusion equation and a nonunitary discretized version of the Koopman-von Neumann formulation of nonlinear dynamics.<n>The proposed algorithm is universal and can be used for modeling a broad class of linear and nonlinear differential equations.
  arXiv  Detail & Related papers  (2024-10-04T23:58:12Z)
• Quantum Simulation for Partial Differential Equations with Physical Boundary or Interface Conditions [28.46014452281448]
  This paper explores the feasibility of quantum simulation for partial differential equations (PDEs) with physical boundary or interface conditions. We implement this method for several typical problems, including the linear convection equation with inflow boundary conditions and the heat equation with Dirichlet and Neumann boundary conditions. For interface problems, we study the (parabolic) Stefan problem, linear convection, and linear Liouville equations with discontinuous and even measure-valued coefficients.
  arXiv  Detail & Related papers  (2023-05-04T10:32:40Z)
• 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)
• Decimation technique for open quantum systems: a case study with driven-dissipative bosonic chains [62.997667081978825]
  Unavoidable coupling of quantum systems to external degrees of freedom leads to dissipative (non-unitary) dynamics. We introduce a method to deal with these systems based on the calculation of (dissipative) lattice Green's function. We illustrate the power of this method with several examples of driven-dissipative bosonic chains of increasing complexity.
  arXiv  Detail & Related papers  (2022-02-15T19:00:09Z)

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.