Structure-preserving full- and low-rank exponential methods for the optimal control of Lindblad equations

Hao Chen; Alfio Borzi

Home/Archive/arXiv

arXiv · 2610.09403

Structure-preserving full- and low-rank exponential methods for the optimal control of Lindblad equations

Hao Chen·Alfio Borzi

View original source ↗Read source document ↗Export metadata ↓

Abstract

Optimal control of open quantum systems governed by the Lindblad master equation requires the repeated solution of forward and adjoint evolution equations. For large Hilbert spaces, these computations demand numerical methods that are structure-preserving, accurate, and computationally efficient, while remaining compatible with nonsmooth optimization techniques. In this work, a unified framework for optimal control of Lindblad equations is presented. The continuous optimality system is derived from the Pontryagin maximum principle and solved by a sequential quadratic Hamiltonian (SQH) method. Its numerical realization is based on second-order exponential midpoint propagators for the forward and adjoint Lindblad equations with time-dependent Hamiltonians. Full-rank schemes preserving the Hermitian and positive-semidefinite structure of the density matrix are developed together with low-rank formulations that substantially reduce storage requirements and computational cost. Rigorous error estimates are established for the full- and low-rank forward and adjoint propagators. Numerical experiments confirm the predicted convergence rates, demonstrate the effectiveness of the low-rank approximations, and illustrate the performance of the proposed FREM-SQH and LREM-SQH algorithms for optimal control problems with smooth and nonsmooth control costs.

Explore related subjects

math.NA cs.NA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Hao Chen, Alfio Borzi. 2026-10-07. Structure-preserving full- and low-rank exponential methods for the optimal control of Lindblad equations. https://arxiv.org/abs/2610.09403

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Asymptotic error distributions for diffusion-implicit schemes via appurtenant methods

We develop an appurtenant-method framework for analyzing asymptotic error distributions and implement it in two diffusion-implicit settings for stochastic differential equations. The argument rests on an explicit appurtenant method which has the same strong order as the implicit method and approximates it with a higher strong order. A local-to-global strong convergence result for two Markov chains turns the one-step expansion of the implicit equation into the required appurtenant method; the limiting distribution can then be obtained from an adapted continuization of the appurtenant method. We first illustrate the framework with the fully implicit stochastic midpoint method for a multidimensional Stratonovich equation, without imposing commutativity on the diffusion fields. This method has strong order $1/2$, and its normalized error is governed by the Lévy areas omitted by the numerical method. We then turn to the main application, namely, a class of fully implicit stochastic Runge--Kutta (SRK) methods of strong order $1$ for Stratonovich equations with scalar multiplicative noise. We derive their asymptotic error distributions and identify a parameter, depending only on the coefficients of the Butcher tableau, that reflects the growth rate of the root-mean-square error of the SRK method.

math.NA↗

arXiv2026

On the Pre-Asymptotic Stability and Inverse Structure of Extended-Domain Spectral Methods

The extended-domain method is a strategy for applying spectral methods to complex geometries. Its stability is complicated by the ill-conditioning of the Fourier extension frame. This paper provides an analysis of the method's pre-asymptotic behavior. We confirm that the spectral collocation system is asymptotically ill-conditioned for both the Poisson and convection-diffusion operators, driven by the redundancy of the underlying frame. However, we prove a fundamental structural dichotomy in their discrete Green's functions. We show that the inverse of the convection-diffusion operator is numerically highly asymmetric, exhibiting exponential upstream decay, in contrast to the numerically dense inverse of the Poisson operator. This intrinsic asymmetry explains why the convection-diffusion operator is significantly more robust to the underlying frame instability in practical computations.

math.NA↗

arXiv2026

Neural Approximate Inverse Preconditioners

In this paper, we propose a learning-based framework for constructing approximate inverse preconditioners for partial differential equations (PDEs) by approximating the Green's function of the underlying differential operator with neural networks (NNs). The training framework combines four components: an adaptive multiscale neural architecture ($α$MSNN) that resolves hierarchical features across near-, middle-, and far-field regimes; optional coarse-grid solution anchors that improve identifiability; a multistage training strategy that progressively refines the Green's function representation across spatial scales; and an overlapping domain decomposition that enables local adaptation while preserving global consistency. Once trained, the learned Green's function provides a continuous approximation to the inverse operator that can be discretized on a given mesh to construct approximate inverse preconditioners. Within the domain decomposition framework, selected blocks of the learned inverse can also be used to approximate the inverse Schur complement, avoiding the need to assemble a full dense inverse. Numerical experiments on challenging PDE problems demonstrate that the resulting preconditioners provide robust and scalable convergence and are competitive with classical two-level preconditioning methods.

math.NA↗