https://arxiv.org/api/s/yzNLhOvaBnWzW1fNi0iBOuCT4 2026-06-21T22:13:45Z 49870 210 15 http://arxiv.org/abs/2605.13648v4 2026-06-11T14:37:20Z

We study the sticky Cox--Ingersoll--Ross (CIR) process in one dimension, a diffusion on $[0,\infty)$ with a sticky boundary condition at the origin, arising as the marginal process in a sparse Bayesian inference framework based on Hadamard--Langevin dynamics. For the parameter range $δ\in(1,2)$, in which the origin is accessible but not absorbing, we prove well-posedness of the process and uniqueness of its invariant measure, which is a mixture of a point mass at zero and a weighted gamma-type density on the interior. We derive an explicit Green's function for the resolvent in terms of confluent hypergeometric functions, and use this to construct an exact sampler for the invariant measure in the zero-potential case. For a non-trivial potential $G$, we establish existence and uniqueness of the tilted invariant measure via a Girsanov change of measure, and develop two sampling algorithms: a Metropolis--Hastings corrected sampler that targets the invariant measure exactly, and a cheaper, biased unadjusted Langevin algorithm (ULA) for a boundary-clamped variant of which we prove a first-order expansion of the stationary bias with an explicit constant: the leading error is a rank-one transfer of mass $K_\star h|\log h| $ onto the atom, so the total-variation bias is of exact order $h|\log h | $ -- independent of $δ$ -- whenever the potential has nonzero boundary drift. Numerical experiments confirm the predicted behaviour: the Metropolis--Hastings sampler achieves the target invariant measure at all step sizes, while the ULA bias follows the proven first-order law, including its constant.

2026-05-13T15:07:10Z Tony Shardlow http://arxiv.org/abs/2606.13357v1 2026-06-11T13:45:14Z

Solving nonlinear eigenvalue problems is an important and challenging task in scientific computing. Contour integral-based approaches are attractive for such eigenvalue problems because they reliably target all eigenvalues in a prescribed domain. However, unlike in the linear case, many traditional methods of this type, such as Beyn's method, lack an inherent iterative refinement mechanism. Consequently, achieving high accuracy requires high-quality quadrature rules for approximating the contour integral, which often leads to prohibitive computational costs. A notable exception is the so-called NLFEAST algorithm, which combines contour integral techniques with a nonlinear Rayleigh--Ritz extraction step. In this work, we propose a general framework of iterative contour integral-based methods for nonlinear eigenvalue problems that includes NLFEAST. This allows us to prove linear convergence of NLFEAST under mild assumptions and also explains why certain nonlinear eigensolvers do not combine well with iterative methods. Numerical experiments confirm our theoretical findings; in particular that NLFEAST can achieve high accuracy even with a limited number of quadrature nodes, significantly outperforming Beyn's method on challenging problems.

2026-06-11T13:45:14Z Daniel Kressner Yuqi Liu Jose E. Roman Meiyue Shao Nian Shao http://arxiv.org/abs/2606.13339v1 2026-06-11T13:29:28Z

This paper is devoted to discussing the linear tensor product problems in the worst case setting. We consider algorithms that use finitely many evaluations of arbitrary continuous linear functionals. We investigate algebraic $(s, t)$-weak tractability (ALG-$(s, t)$-WT) under the absolute error criterion in the case $λ_1 > 1$, where $λ_1$ is the square of the univariate maximal singular value. We solve the problem by giving the necessary and sufficient conditions for ALG-$(s, t)$-WT on univariate singular values and fill the gap left open.

2026-06-11T13:29:28Z 11 pages Zirong Liu Heping Wang http://arxiv.org/abs/2606.13308v1 2026-06-11T13:05:30Z

This paper applies a subdivision-based isogeometric method to solve the axisymmetric Maxwell eigenvalue problem. The reduction to an $H^1$-formulation allows to use a Catmull-Clark construction for both geometry and field discretization. The approach yields a numerical solution for the electric field, which is $C^1$-continuous everywhere except at extraordinary vertices. This is demonstrated by computing the eigenmodes of a TESLA 9-cell cavity, showing smoother fields with less numerical noise than conventional methods. The convergence rate of the method is numerically analyzed and is in agreement with rates observed in the literature.

2026-06-11T13:05:30Z Devin Balian Sebastian Schöps Melina Merkel http://arxiv.org/abs/2606.00274v2 2026-06-11T12:56:44Z

In the design of computational methods for Bayesian inverse problems, costly forward model evaluations make it difficult to sample from or compute the posterior. This motivates the need for approximate forward models that are cheaper to evaluate. We consider reduced-order forward models which exploit the lower-dimensional structure in the Bayesian inverse problem by projecting to the "likelihood-informed subspace" of the parameter space where the prior-to-posterior update is significant. However, the theoretical properties of these reduced-order forward models and their impact on the solution of the Baysian inverse problem are not always well-understood. In this work we consider linear Gaussian inverse problems with a possibly singular prior covariance matrix. We analyse a recently proposed reduced-order model which uses a Petrov-Galerkin projection to likelihood-informed subspaces that arise in optimal low-rank approximations of the posterior covariance matrix. We bound the error in the resulting approximation of the root prior-preconditioned Hessian of the data misfit. Based on this we also bound the errors of the approximate posterior covariance and mean. Our analysis shows that this reduced-order model recovers the exact posterior when the rank of the reduced-order model is equal to the "intrinsic dimension" of the inverse problem, i.e. the rank of the prior-preconditioned Hessian. Two numerical experiments from structural engineering illustrate the performance of our bounds.

2026-05-29T19:07:50Z Han Cheng Lie Jakob Scheffels Elisabeth Ullmann http://arxiv.org/abs/2511.11228v3 2026-06-11T12:52:46Z

In this work, we propose a modified Hybrid Parallel Kolmogorov--Arnold Network and Multilayer Perceptron Physics-Informed Neural Network to overcome the high-frequency and multiscale challenges inherent in Physics-Informed Neural Networks. This proposed model features a trainable weighting parameter to optimize the convex combination of outputs from the Kolmogorov--Arnold Network and the Multilayer Perceptron, thus maximizing the networks' capabilities to capture different frequency components. Furthermore, we adopt an overlapping domain decomposition technique to decompose complex problems into subproblems, which alleviates the challenge of global optimization. Benchmark results demonstrate that our method reduces training costs and improves computational efficiency compared with manual hyperparameter tuning in solving high-frequency multiscale problems.

2025-11-14T12:30:16Z Qiumei Huang Xu Wang Yu Zhao http://arxiv.org/abs/2601.13823v2 2026-06-11T12:44:42Z

This paper introduces a boundary integral equation for time-harmonic electromagnetic scattering by composite dielectric objects. The formulation extends the classical Müller equation to composite structures through the global multitrace method. The key ingredient enabling this extension is the use of the Stratton-Chu representation in complementary region, also known as the extinction property, which augments the off-diagonal blocks of the interior representation operator. The resulting block system is composed entirely of second-kind operators. A Petrov-Galerkin (mixed) discretization using Rao-Wilton-Glisson trial functions and Buffa-Christiansen test functions is employed, yielding linear systems that remain well conditioned on dense meshes and at low frequencies without the need for additional stabilization. This reduces computational costs associated with matrix-vector multiplications and iterative solving. Numerical experiments demonstrate the accuracy of the method in computing field traces and derived quantities.

2026-01-20T10:31:27Z Van Chien Le Kristof Cools 10.1109/TAP.2026.3696813 http://arxiv.org/abs/2606.13255v1 2026-06-11T12:12:13Z

The solution of large, sparse linear systems often dominates the computational effort of scientific applications and is a frequent optimization target. Modern libraries provide numerous solver and preconditioner configurations, but their performance varies significantly across problem instances. Previous works have addressed the selection of an optimal solver, but are typically limited by the problem set addressed (e.g., only symmetric positive definite matrices), the use of expensive matrix features, or the complexity of the approach. This work proposes a modular, low-cost embedding-based framework for solver selection that decouples performance modeling from feature representation and downstream prediction. Solver-problem relationships are learned directly from observed performance data, while inexpensive numerical features are used to project unseen problems into the learned embedding space. The framework focuses on multilabel prediction and evaluation using user-centric metrics, such as MAPE and nDCG, which better reflect relative performance. Experiments on 621 matrices from the SuiteSparse matrix collection across 101 PETSc solver configurations demonstrate a 17% increase in top-prediction accuracy over classical feature-based models when expensive numerical features are included, along with reductions of 37% in mean average percentage error (MAPE) and 46% in top-prediction error (1-error). When restricted to a reduced feature set, the embedding approach remains competitive, while still consistently achieving ca. 24% lower MAPE and 1-error across a broad range of problems.

2026-06-11T12:12:13Z 16 pages, 4 figures. Submitted to the 26th International Conference on Computational Science. This version includes a minor correction to the submitted manuscript, which does not result from the conference's peer review, and no changes resulting from the peer review process Hayden Liu Weng Hans-Joachim Bungartz Felix Dietrich http://arxiv.org/abs/2606.13250v1 2026-06-11T12:05:51Z

We study the exact-basis problem for Solvability Complexity Index (SCI) computational problem families through finite-query transports. A raw finite-query reduction permits arbitrary encodings and finite transcript reconstructions, with only a continuous output decoder. For the Colbrook-Hansen (CH23) singleton-window spectral/pseudospectral block, this raw preorder collapses the expected two-source structure: the diagonal exact spectral and fixed-$\varepsilon$ pseudospectral sources are raw- and continuous-finite-query equivalent, and, for computable $\varepsilon$ under the evaluation-name representations, TTE-finite-query equivalent, so the six-problem ambient is raw-principal. We then introduce modal finite-query preorders, whose admissibility conditions may restrict encodings, decoders, reconstructions, uniformity, and geometric naturality. We also characterize TTE finite-query transport as computable point transport with a uniform finite interface trace; after forgetting the trace this gives strong Weihrauch reducibility, and the implication is strict. Under a CH23 geometric modality generated by representation inclusions, unitary and graph relabelings, and neutral stabilizations, the same ambient has exactly two minimal exact sources. This gives a calibrated reformulation of the exact-basis problem: natural SCI families should be classified by modality-indexed exact bases and refinement maps, not by one raw preorder alone.

2026-06-11T12:05:51Z Christopher Sorg http://arxiv.org/abs/2606.13234v1 2026-06-11T11:48:53Z

We introduce a switching Hamiltonian Monte Carlo method for sampling from finite mixture Boltzmann-Gibbs distributions. We propose symmetric numerical integrators to approximate switching Hamiltonian dynamics interlaced with Poisson jumps, where the regime-switching chain is simulated using the uniformization technique or the stochastic simulation algorithm. We prove geometric ergodicity of the resulting Markov chain. We develop an approach based on the discrete Poisson equation associated with numerical schemes to estimate the error in computing ergodic averages. Using this approach we prove that the proposed numerical integrators have second-order bias. This approach is simple and can be generalized to other settings, for example, kinetic Langevin equations. Finally, we verify the convergence result via numerical experiment.

2026-06-11T11:48:53Z A. Sharma http://arxiv.org/abs/2606.13229v1 2026-06-11T11:43:30Z

We develop an embedded Trefftz-DG method for the Oseen problem and prove a complete stability and quasi-optimality theory in standard DG norms. The key ingredient is a construction of a suitable local complement space to the Trefftz space, on which the Oseen operator is stably invertible. We also derive a reduced formulation of the method, the resulting system is posed in terms of the velocity unknown only, a crucial step in the analysis especially for the nonlinear Navier-Stokes problem in Part II.

2026-06-11T11:43:30Z 34 pages, 7 figures, 1 table Paul Stocker Igor Voulis Christoph Lehrenfeld Philip L. Lederer http://arxiv.org/abs/2606.13219v1 2026-06-11T11:35:11Z

We develop and analyze an embedded Trefftz-DG method for the steady incompressible Navier-Stokes equations, based on the reduced Oseen discretization from Part I. The main difficulty is that the reduced Trefftz space depends on the convection field, so successive Picard iterates live in different discrete spaces. We address this by constructing projections between convection-dependent Trefftz spaces and using them to control the reduced Oseen solution map. Under suitable resolution and small-data assumptions, we prove existence of discrete solutions, uniqueness, and convergence of the Picard iteration. We also derive an a priori error analysis by relating the method to the underlying DG discretization, thereby inheriting convergence properties from compatible DG Navier-Stokes analyses. Numerical experiments on standard incompressible-flow benchmarks illustrate the theory.

2026-06-11T11:35:11Z 23 pages, 3 figures, 2 tables Paul Stocker Igor Voulis Christoph Lehrenfeld Philip L. Lederer http://arxiv.org/abs/2606.19368v1 2026-06-11T10:56:00Z

In this work we investigate the role of neural architectures as implicit functional priors in control problems governed by ordinary differential equations. Rather than focusing on highly complex problems, our objective is to investigate architecture-dependent effects in controlled dynamical systems within the simplest physically interpretable settings possible. In particular, we study a controlled linear RLC electrical circuit and a nonlinear Duffing-type dynamical system. Both systems are analyzed first through classical optimal-control formulations and later through PINN-based approaches. We compare different combinations of multilayer perceptrons (MLPs) and Fourier-based KAN-like architectures, and analyze their influence on the resulting controls. The numerical experiments suggest that different architectural choices systematically generate qualitatively distinct controls, even under identical governing equations, loss functionals, initial and target states, training parameters and physical constraints. Significant differences appear in the spectral structure, smoothness, energy distribution, and phase-space behavior of the learned solutions. A central observation of this work is the emergence of a functional specialization phenomenon when the neural architectures are allowed sufficient freedom to shape the structure of the learned controls. More specifically, in the systems considered here, Fourier-based architectures tend to produce trajectories with richer oscillatory content, whereas smoother low-frequency-biased architectures tend to generate more regular and energetically efficient controls. This suggests that different functional components of the control problem may be handled more efficiently by different neural architectures, leading to an implicit specialization between state representation and control generation.

2026-06-11T10:56:00Z 17 pages, 6 figures. Physics-informed neural networks, optimal control, spectral bias, Kolmogorov-Arnold Networks Sonia Rubio Herranz Fernando Carlos López Hernández Antonio López Montes http://arxiv.org/abs/2606.13185v1 2026-06-11T10:52:56Z

We develop and analyze a fully discrete scheme for the weakly damped semilinear wave equation that combines a Symmetric Interior Penalty Discontinuous Galerkin (SIPG) spatial discretization with a hybrid Crank--Nicolson/second-order Backward Differentiation Formula (CN--BDF2) time integrator. A chord-slope linearization of the nonlinear reaction term is employed, which preserves an exact discrete gradient structure and, crucially, requires {no global Lipschitz continuity assumption} on the nonlinearity. Stability of the fully discrete solution is established through a Lyapunov-based analysis-rather than spectral arguments-by constructing a discrete Lyapunov functional that yields existence, uniqueness, and uniform boundedness of the numerical solution. Under standard regularity assumptions, optimal a~priori error estimates of order $\mathcal{O}(h^{k}+τ^{2})$ in the DG energy norm and $\mathcal{O}(h^{k+1}+τ^{2})$ in the $L^{2}$-norm are proved, where $h$ is the mesh size, $τ$ the time step, and $k$ the polynomial degree. Numerical experiments on two-dimensional problems with linear, cubic, and trigonometric nonlinearities confirm the theoretical convergence rates and illustrate the long-time energy-dissipation properties guaranteed by the Lyapunov structure.

2026-06-11T10:52:56Z Ajeet Singh Abhinav Jha http://arxiv.org/abs/2606.13099v1 2026-06-11T09:28:00Z

Lagrangian sensors have shown promise to improve operator awareness of conditions inside a chemical reactor but three-dimensional tracking remains a mostly unsolved challenge. We explore a setup where in-silico sensors, based on a recently proposed real-world design, are tracked using data from an accelerometer and magnetometer available from a built-in inertial measurement unit. Filtering algorithms, using a bespoke dynamical model, are used to process these readings into position estimates. We compare tracking performance of an extended Kalman filter, a particle filter and the unscented Kalman filter implemented in the pykalman library. Our numerical experiments track in-silico particles moving in an analytically given three dimensional vortex as well as in the experimentally measured flow-field of a lab-scale stirred tank reactor. Using the Maxey-Riley-Gatignol equations for the movement of inertial particles as ground-truth, we demonstrate that trajectories can be reconstructed from noisy synthetic data with errors below 10%.

2026-06-11T09:28:00Z 30 pages, 7 figures Vamika Rathi Fatima Sehar Finn Sommer Sebastian Goetschel Eike Steuwe Alexandra von Kameke Daniel Ruprecht