https://arxiv.org/api//LdxrjQ6GHImmrXisQ0Ly8XuQuI 2026-06-22T21:04:51Z 49870 510 15 http://arxiv.org/abs/2606.03516v1 2026-06-02T11:38:38Z

Long-time simulations of evolution equations present substantial computational challenges due to the inherently sequential nature of conventional time-stepping schemes. The parareal method, a leading parallel-in-time (PinT) algorithm, offers a promising approach to overcome the challenge by introducing concurrency in the time domain. While its convergence theory is well-established for linear problems, extending the theory to nonlinear problems, particularly when the problem data have only limited regularity, remains a significant challenge. In this work, we provide the convergence analysis of the parareal algorithm for solving semilinear parabolic equations with an $H^2$ initial data. We employ stable rational approximations and first-order linearization as coarse propagators, establish the linear convergence of the parareal algorithm and provide a sharp estimate for the convergence factor. The analysis combines the error-splitting technique from the superlinear convergence analysis of the parareal method, a refined linear convergence theory for linear parabolic equations, and \textsl{a priori} error estimates that are optimal with respect to the regularity of the problem data. The analysis shows the close connection between the convergence behavior of nonlinear models and their linear counterparts. Numerical experiments fully support the theoretical findings.

2026-06-02T11:38:38Z 24 Pages Guanglian Li Qingle Lin Shu-lin Wu Zhi Zhou http://arxiv.org/abs/2606.03515v1 2026-06-02T11:37:49Z

Quantum computing presents a promising method to overcome the efficiency and memory constraints in large-scale mechanical problems, with numerous successful applications demonstrated in fluid mechanics. However, solid mechanics problems usually require irregular grids for spatial discretization, due to the Lagrange formulations and complex boundaries, which makes the quantum simulation of the system matrix, e.g., the mass or stiffness matrix which is often referred to as the Hamiltonian in quantum computing, difficult to be effectively conducted. This study proposes a voxel-based quantum computing method (VBQC) for the quantum simulation of Hamiltonians in solid mechanics. VBQC applies voxel grids to discretize the spatial domain, thereby enabling the system matrix to exhibit the tridiagonal fractal property. Based on this property, the system matrix can be decomposed into three groups of fundamental matrices, $\mathbf{k}_{n}$, $\mathbf{c}_{n}$, and $\mathbf{q}_{n}$. This decomposition process is referred to as the KCQ decomposition. By integrating the KCQ decomposition with the quantum Fourier transform and the quantum multiplexer, VBQC enables efficient quantum simulation of Hamiltonians in solid mechanics. Three specific solid problems with different dimensions and numbers of variables are applied to preliminarily verify the correctness of the proposed VBQC for solid mechanics problems.

2026-06-02T11:37:49Z Feng Wu Yuxiang Yang Li Zhu Chen Li Yansong Guo Xu Guo http://arxiv.org/abs/2602.09708v2 2026-06-02T11:20:40Z

We propose physics-informed spectral diffusion (PISD), a methodology that combines generative latent diffusion models with physics-informed machine learning to generate solutions of partial differential equations (PDEs) conditioned on partial observations, which includes, in particular, forward and inverse PDE problems. We learn the joint distribution of PDE parameters and solutions via a diffusion process in a latent space of scaled spectral representations, where Gaussian noise corresponds to functions with controlled regularity. This spectral formulation enables significant dimensionality reduction compared to grid-based diffusion models and ensures that the induced process in function space remains within a class of functions for which the PDE operators are well defined. Building on diffusion posterior sampling, we enforce physics-informed constraints and measurement conditions during inference, applying Adam-based updates at each diffusion step. We evaluate the proposed approach on Poisson, Helmholtz, and incompressible Navier-Stokes equations, demonstrating improved accuracy and computational efficiency compared with existing diffusion-based PDE solvers, which are state of the art for sparse observations. Code is available at https://github.com/deeplearningmethods/PISD.

2026-02-10T12:11:07Z 18 pages, 10 figures Davide Gallon Philippe von Wurstemberger Patrick Cheridito Arnulf Jentzen http://arxiv.org/abs/2606.03469v1 2026-06-02T10:46:40Z

Physics-informed operator learning provides an efficient framework for approximating solution operators of partial differential equations by combining observational data with governing physical laws. However, most existing methods implicitly assume that the prescribed governing equation is accurate. This assumption may fail in practical applications, where model simplifications, missing physical effects, parameter drift, or incomplete constitutive relations can lead to model misspecification. In this work, we propose a physics-guided operator correction framework for learning solution operators under misspecified governing equations. At the operator level, the target mapping is decomposed into a prior operator induced by an approximate physical model and a learnable correction operator that accounts for the remaining discrepancy. Although the formulation is architecture independent, we realize it using a serial DeepONet architecture, where the first DeepONet provides a prior prediction and the second DeepONet learns an additive correction conditioned on both the input function and the prior prediction. The learned correction is incorporated into the physics residual and trained together with data-consistency constraints, allowing the model to retain useful physical structure while adapting to inaccurate governing equations. Numerical experiments on diffusion-reaction, Burgers, cavity flow, and hyperelastic problems show that the proposed method substantially reduces errors induced by misspecified physics. Additional tests under sparse and noisy observations further demonstrate the robustness of the framework and its ability to provide informative uncertainty estimates through deep ensembles.

2026-06-02T10:46:40Z Lei Ma Nicolas Boullé Yu-Sen Yang Hao Wu Ling Guo http://arxiv.org/abs/2606.03407v1 2026-06-02T09:48:53Z

We give detailed analysis and circuit design of structure-preserving quantum algorithms for second-order linear evolutionary PDEs, including parabolic equations and hyperbolic equations with mixed Dirichlet, Neumann, and periodic boundary conditions and source terms. While prior quantum algorithms usually neglect the stability problem from the PDE-to-ODE reduction, our method-of-lines approach investigates the boundary lifting via Coons interpolation and boundary-aware discretization, so that the resulting semi-discrete systems are stable and compatible with efficient quantum ODE primitives. For the parabolic problem, we use a diagonal similarity transform to ensure the semi-discrete generator must have a positive semi-definite Hermitian part, and then solve the resulting ODE system by the optimal linear combination of Hamiltonian simulation (LCHS). For the hyperbolic problem, we rewrite the semi-discrete equation as an equivalent first-order system and solve it by Hamiltonian simulation. We implement our quantum algorithms with explicit block-encoding constructions and circuit implementations, as well as demonstrating the end-to-end complexity bounds together with spatial and quadrature error estimates. We conduct classical numerical experiments on the convection-diffusion equation, inhomogeneous heat equation, and Klein-Gordon equation to validate our structure-preserving analysis and algorithmic constructions.

2026-06-02T09:48:53Z 64 pages, 9 figures Yixuan Liang Jin-Peng Liu http://arxiv.org/abs/2606.04049v1 2026-06-02T08:46:33Z

We develop a general operator-theoretic route that turns Kato-type quasilinear evolution systems on a Banach scale $(Z,X)$ into finite-dimensional interacting approximations. The construction proceeds in two steps. First, one introduces a regularized family $(A_\varepsilon,f_\varepsilon)$ indexed by a scale parameter $\varepsilon>0$, for which the drift $A_\varepsilon[t,z]z+f_\varepsilon[t,z]$ takes values in an output space $Y$ suitable for discretization. Second, one discretizes this regularized dynamics by a sampling-reconstruction pair $(P_N,R_N)$ and obtains an interacting ODE on a finite-dimensional state space $V_N\simeq\R^{dN}$. Our main abstract theorem provides a quantitative estimate of the discrepancy $y_\varepsilon^N-y$ between the lifted discrete solution and the exact one, separating the regularization error $χ(\varepsilon)$ from the discretization error $(1+L_\varepsilon)N^{-γ}$, where $L_\varepsilon$ measures the size of the regularized drift in the output norm. This makes explicit the trade-off between the regularization scale $\varepsilon$, the discretization scale $N$, and the possible deterioration of $L_\varepsilon$ as $\varepsilon\to 0$. As a running example, we focus on quasilinear PDEs on bounded Lipschitz domains with boundary conditions. We show that Burenkov's variable-step mollifiers provide a boundary-compatible kernelization: they regularize differential operators into explicit integral-interaction operators supported inside the domain and preserve boundary traces of sufficiently regular fields. In this setting one can choose an output space $Y$ for which $L_\varepsilon$ remains uniformly bounded, leading to algebraic convergence rates in $N$ for quasi-uniform discretizations.

2026-06-02T08:46:33Z Thierry Paul LYSM Emmanuel Trélat LJLL http://arxiv.org/abs/2509.17531v2 2026-06-02T08:11:44Z

We introduce a two-level hybrid restricted additive Schwarz (RAS) preconditioner for heterogeneous steady-state convection-diffusion equations at high Péclet numbers. Our construction builds on the multiscale spectral generalized finite element method (MS-GFEM), wherein the coarse space is spanned by locally optimal basis functions obtained from local generalized eigenproblems on operator-harmonic spaces. Extending the theory of Ma (2025) to convection-diffusion problems in conservation form, we establish exponential convergence of the MS-GFEM approximation with respect to the dimension of the local approximation space. Rewriting MS-GFEM as a RAS-type iteration, we show for coercive problems that this exponential convergence property is inherited by the RAS-type iterative method (at least in the continuous setting). Employed as a preconditioner within the generalized minimal residual method (GMRES), the resulting method requires only a few iterations for high accuracy even with low-dimensional coarse spaces. Through extensive numerical experiments on problems with high-contrast diffusion and non-divergence-free, rotating velocity fields, we demonstrate robustness with respect to the grid Péclet number and the number of subdomains (tested up to $10^5$ subdomains), while coarse-space dimensions remain small as grid Péclet numbers increase. By adapting the coarse space and oversampling size, we are able to achieve arbitrarily fast convergence of preconditioned GMRES. As an extension, for which we do not have theory yet, we show effectiveness of the method even for indefinite problems and in the vanishing-diffusion limit.

2025-09-22T08:52:03Z Lukas Holbach Peter Bastian Robert Scheichl http://arxiv.org/abs/2606.03276v1 2026-06-02T07:39:01Z

A Hessian-recovery-based C0 finite element framework is proposed for second-order elliptic equations in non-divergence form. The construction is based on a direct approximation of the strong non-divergence operator: the Hessian D2u is replaced by a recovered Hessian Hhuh, so that A : D2u is approximated by A : Hhuh. The resulting discretizations include a nodal formulation and a Galerkin-type formulation for general Lagrange finite element spaces, as well as a biorthogonal Petrov-Galerkin formulation for linear elements. The analysis focuses on the recovered nodal matrix and identifies two verifiable algebraic solvability mechanisms. The first is a globally monotone regime leading to a discrete maximum principle, and the second is a localized Schur-complement criterion for sign-violating rows. A uniform inverse bound and a condition-number estimate are derived in the globally monotone case. Residual consistency estimates are obtained from the Hessian recovery error. In the globally monotone regime, these estimates combine with the uniform inverse bound to give a nodal L-error estimate for the nodal formulation. Numerical experiments with nonsmooth and discontinuous coefficients support the predicted algebraic diagnostics and show the accuracy of the proposed recovered-residual discretizations. A Monge-Ampere type test further illustrates the use of the recovered Hessian in a Newton iteration for a fully nonlinear problem.

2026-06-02T07:39:01Z Minqiang Xu Boying Wu Lei Zhang http://arxiv.org/abs/2606.03262v1 2026-06-02T07:25:49Z

Neural operators learn mappings between infinite-dimensional function spaces and provide a data-driven surrogate modeling paradigm for parametric partial differential equations (PDEs). Existing architectures typically obtain expressivity by parameterizing integral kernels in prescribed transform domains or by applying attention-like interactions over discretized spatial points. While these approaches have achieved substantial progress, they often face a persistent trade-off among physical interpretability, nonlocal spatial communication, mesh scalability, and computational cost. We propose a Light-inspired neural operator(LiNO), an operator-learning architecture whose latent evolution is decomposed into three mechanisms motivated by elementary light transport: reflection, refraction, and scattering. Reflection and refraction act as adaptive pointwise transformations in latent feature space, enabling local feature reorientation and anisotropic modulation, whereas scattering performs input-dependent nonlocal propagation over the physical domain. We first formulate scattering as a normalized pairwise kernel with relative positional bias, and then develop an efficient scattering variant that replaces explicit pairwise interactions with positive-feature global propagation and a local diffusion branch, reducing the dominant spatial complexity from quadratic to linear. This yields a structured neural operator that separates local feature modulation from global spatial communication while retaining a modular and interpretable latent evolution.

2026-06-02T07:25:49Z Keke Wu Yixuan Zhang Jingrun Chen http://arxiv.org/abs/2604.24226v2 2026-06-02T06:29:08Z

In this paper we study continuum-marginal optimal transport. Given a time-continuous family of probability marginals, the problem is to recover the minimum-energy velocity field whose flow reproduces every marginal. This problem is the continuum limit of the classical two-marginal Benamou--Brenier formulation, and also the deterministic limit of the Nelson problem of stochastic optimal transport. We propose a practical mesh-free solver for this problem. The weak continuity equation is embedded in a reproducing kernel Hilbert space, yielding a sample-only objective that requires no spatial discretization. The velocity is parametrized by any linear-in-parameters dictionary or neural network, and is optimized by mini-batch stochastic methods. Synthetic experiments confirm that the method achieves accurate drift recovery and marginal consistency. The same computational framework also applies to the stochastic Nelson problem.

2026-04-27T09:33:52Z Yumiharu Nakano http://arxiv.org/abs/2606.03210v1 2026-06-02T06:08:55Z

Automatic-differentiation-based inverse analysis methods, including physics-informed neural networks (PINNs) and differentiable programming, have recently shown great promise due to their ability to compute accurate gradients and convergence efficiency. However, their applicability to falling weight deflectometer (FWD) backcalculation remains unexplored. This study critically evaluates PINN-based inverse analysis for a multilayer pavement system and investigates differentiable finite element method (DiffFEM) as an alternative based on a synthetic benchmark. The standard PINN does not recover layer moduli because of the sharp domain discontinuities inherent to layered pavement systems. Although we use an extended PINN with domain decomposition (XPINN), which shows better performance on discontinuous domains, its performance remains highly sensitive to loss weighting and network architecture, and degrades under measurement noise. By contrast, DiffFEM consistently achieves more accurate, stable, and computationally efficient inversion results. These results indicate that DiffFEM, which enforces the governing physics as a hard constraint, yields better accuracy, robustness, and computational efficiency than PINN-based approaches, in which the governing physics is imposed as a soft constraint through the loss function. More broadly, the findings suggest that the choice between PINN- and DiffFEM-based inverse analysis needs careful consideration, with DiffFEM offering practical advantages when an efficient and robust differentiable forward solver is available.

2026-06-02T06:08:55Z Yongjin Choi Hyeonbin Moon Seunghwa Ryu http://arxiv.org/abs/2604.25417v3 2026-06-02T04:31:31Z

We present a novel and unifying framework for constructing spectral approximations to fractional integral operators. These spectral approximations are based on transplanted Chebyshev polynomials, which are obtained by composing Chebyshev polynomials with a variable transform. When an algebraic transform is used, the framework produces spectral approximations based on Jacobi fractional polynomials. When an exponential transform is used, it yields a versatile spectral approximation that is applicable to a much broader class of fractional calculus problems. The construction of such spectral approximations is both numerically stable and optimal in terms of complexity. These spectral approximations lead to stable and fast spectral methods for fractional calculus. The spectral approximation based on the double-exponential transform is demonstrated through extensive numerical examples that are intractable for existing spectral methods.

2026-04-28T09:27:11Z Xiaolin Liu Kuan Xu http://arxiv.org/abs/2501.02729v5 2026-06-02T01:32:03Z

Jacobi diffusion is a representative diffusion process whose solution is bounded in a domain under certain drift and diffusion coefficient conditions. However, the process without such conditions has not been thoroughly investigated. We explore a Jacobi diffusion whose drift coefficient is affected by another deterministic process, causing the process to hit the boundary of a domain in finite time. The Kolmogorov equation (a degenerate elliptic partial differential equation) for evaluating the boundary hitting of the proposed Jacobi diffusion is then presented and analyzed, with several conditional arguments, some of which are addressed computationally. We also investigate a related mean-field-type (McKean-Vlasov) self-consistent model arising in tourism management, where the drift depends on the index for sensor boundary hitting, thereby confining the process to a domain with higher probability. We propose a finite difference method for the linear and nonlinear Kolmogorov equations, which yields a unique numerical solution because of discrete ellipticity if the discount is positive. The accuracy of the finite difference method critically depends on the regularity of the boundary condition, and the use of high-order discretization is not always effective. Finally, we computationally investigate the mean field effect.

2025-01-06T02:57:44Z Updated on June 2, 2026 Hidekazu Yoshioka 10.1016/j.cnsns.2026.110268 http://arxiv.org/abs/2406.10407v3 2026-06-01T22:40:55Z

Semidefinite programs (SDPs) and their solvers are powerful tools with many applications in machine learning and data science. Designing scalable SDP solvers is challenging because by standard the positive semidefinite decision variable is an $n \times n$ dense matrix, even though the input is often an $n \times n$ sparse matrix. However, the solution may not require a full-rank matrix, as shown by Barvinok and Pataki. Two decades ago, Burer and Monteiro developed an SDP solver \texttt{SDPLR} that optimizes over a low-rank factorization instead of the full matrix. This greatly decreases the storage cost and works well for many problems. The original solver \texttt{SDPLR} tracks only the primal infeasibility of the solution, preventing early termination at moderate accuracy. We use a suboptimality bound for trace-bounded SDP problems that enables us to track the progress better and perform early termination. We then develop \texttt{SDPLR+}, which starts the optimization with an extremely low-rank factorization and dynamically updates the rank based on the primal infeasibility and suboptimality. This further speeds up the computation and saves storage. Numerical comparisons on Max Cut, Minimum Bisection, Cut Norm, and Lovász Theta problems with many recent memory-efficient scalable SDP solvers demonstrate the scalability of \texttt{SDPLR+} up to problems with million-by-million decision variables. It is often the fastest solver to a moderate accuracy of $10^{-2}$. Further experiments on $μ$-conductance, matrix completion, and $k$-means clustering show the potential of \texttt{SDPLR+} on a broader range of data science applications.

2024-06-14T20:31:22Z 31 pages, 12 figures Yufan Huang David F. Gleich http://arxiv.org/abs/2606.02930v1 2026-06-01T22:25:24Z

We present a new method for the efficient imaginary time evolution of quantum many-body wavefunctions represented by matrix product states (MPS). We first show that logarithmic time grids are sufficient to resolve long imaginary time dynamics, yielding an exponential reduction in the number of time steps compared with standard approaches. We then show that A-stable implicit time-stepping methods for ordinary differential equations allow stable propagation for any time step size. The resulting scheme requires only matrix-vector products and linear solves, standard operations in the MPS toolbox. We validate our approach with two examples: a Heisenberg spin chain, which we use to demonstrate a speedup of several orders of magnitude over the standard time-dependent variational principle method with uniform time steps, and a single-site Anderson impurity model with a metallic bath, for which propagation to large imaginary times allows one to observe the exponential dependence of the Kondo temperature on the interaction strength.

2026-06-01T22:25:24Z John P. Zima E. Miles Stoudenmire Steven R. White Olivier Parcollet Jason Kaye