https://arxiv.org/api/AEAk8YwtubBFZisJGdfuUFjr8Ss 2026-06-21T18:33:19Z 49870 165 15 http://arxiv.org/abs/2606.14950v1 2026-06-12T20:48:00Z

Iterative finite element solvers for time-harmonic wave problems are notoriously slow to converge, owing to fundamental properties of these problems. We present a variant of the hybridizable discontinuous Galerkin (HDG) method that is better suited to fast iterative solution. Unlike the standard hybridization strategy, which eliminates physical unknowns by introducing an auxiliary numerical flux on element faces, our approach instead introduces a transmission variable on those faces. For Helmholtz problems, this reformulation, known as CHDG, has been shown to significantly accelerate the convergence of iterative schemes relative to standard HDG. The present work extends CHDG to a general framework covering wave propagation problems with constant coefficients, capable of handling diverse wave types in a unified manner. We prove that the resulting hybridized system is well-posed and amenable to fixed-point iteration. As a practical application, we apply the method to the time-harmonic linearized Euler equations with a uniform subsonic mean flow. The method is illustrated through two-dimensional numerical benchmarks involving both sound and vorticity waves, with a systematic comparison of the convergence behaviour of several iterative schemes across a range of configurations.

2026-06-12T20:48:00Z Simone Pescuma Gwénaël Gabard Théophile Chaumont-Frelet Axel Modave http://arxiv.org/abs/2606.12632v2 2026-06-12T20:28:58Z

Stochastic Galerkin discretizations of nonlinear hyperbolic conservation laws may lose hyperbolicity because the standard pseudospectral product is generally nonassociative, leading to non-commuting blocks in the flux Jacobian matrix. We develop a novel framework for constructing hyperbolicity-preserving stochastic Galerkin systems based on associative truncated products on polynomial spaces. In one stochastic dimension, we characterize associative truncated products through a single polynomial datum and identify examples with useful symmetry, positivity, and spectral properties, including collocation products and an associative symmetric product based on Gaussian quadrature nodes. We prove a consistency result showing that, under suitable projection-error assumptions, these products converge to the classical product as the polynomial degree grows. For systems with rational fluxes, we derive sufficient conditions under which the resulting stochastic Galerkin flux remains hyperbolic on the corresponding admissible set. Applications to the one-dimensional isothermal and compressible Euler equations show accurate statistical approximation and robust hyperbolicity preservation of the computed stochastic Galerkin states.

2026-06-10T19:38:30Z Haroun Meghaichi Yulong Xing http://arxiv.org/abs/2606.14937v1 2026-06-12T20:22:42Z

This paper is the final part in a series devoted to the development of numerically stable and efficient algorithms, together with multi-precision Fortran implementations, for computing Bessel functions with real orders and complex arguments. Parts~I and~II presented stable and efficient algorithms for the modified Bessel functions I_nu(z) and K_nu(z); here we treat Bessel functions J_nu(z) and Y_nu(z). The proposed algorithms support complex arguments for both positive and negative real orders and are implemented in native double and quadruple precision. Quadruple precision substantially increases dynamic range and accuracy (by roughly an order of magnitude in reliably computable |nu| and |z|), thereby extending applicability to problems requiring 20-30 digits. Comprehensive accuracy and performance comparisons are carried out against both the widely used Algorithm~644, restricted to double-precision arithmetic, and the more recent Algorithm~912, which supports both double- and quad-precision arithmetic as well as complex orders. In double precision, the present implementation consistently outperforms Algorithm~644, achieving execution times of approximately 35-67% for J_nu(z) and 44-72% for Y_nu(z), while also producing reliable results where Algorithm~644 fails. In comparison with Algorithm~912, the present algorithm achieves comparable accuracy in double-precision computations and significantly higher accuracy in quad-precision calculations. At the same time, it requires only a small fraction of the computational cost (from a few thousandths to a few hundredths) of the time taken by Algorithm~912, depending on the precision and parameter regime. Furthermore, unlike Algorithm~912, whose applicability is restricted to a limited region of the (Re(nu),z) plane, the present algorithm remains stable and accurate over the full tested domain for which reliable reference values are available.

2026-06-12T20:22:42Z Mofreh R Zaghloul Steven G. Johnson http://arxiv.org/abs/2510.05597v3 2026-06-12T18:18:22Z

Nitsche's method weakly imposes Dirichlet boundary conditions, but its nonsymmetric variant has long shown a gap between theory and computation: the classical $L^2$~analysis under $H^{k+1}$~regularity predicts a half-order convergence loss, whereas numerical experiments on smooth test problems consistently produce the optimal rate. Whether this discrepancy reflects a limitation of the analysis or an essential feature of the method has remained an open question. On bounded convex polytopes in two and three dimensions, we prove a unified, regularity-dependent $L^2$~error estimate valid across the entire penalty scale $h^{-α}$: \begin{align*} \|u-u_h\|_{L^2(Ω)}\le C h^r |u|_{W^{k+1,p}(Ω)},\qquad r=\min\bigl\{k+1,\,k+\max\{1,α\}-1/p\bigr\}. \end{align*} Numerical experiments in two and three dimensions, on a one-parameter family of manufactured solutions with tunable regularity, demonstrate the sharpness of the estimate and resolve the open question. First, under merely $H^{k+1}$~regularity the half-order loss is essential; second, the optimal convergence consistently observed on smooth test problems is therefore explained by their full $W^{k+1,\infty}$~regularity, not by a limitation of the standard analysis. The theory identifies $α\ge 1+1/p$ or $p=\infty$ as the sharp threshold for recovering the optimal rate $h^{k+1}$, and the experiments confirm this if-and-only-if condition in both dimensions.

2025-10-07T05:46:59Z Gang Chen Chaoran Liu Yangwen Zhang http://arxiv.org/abs/2606.14655v1 2026-06-12T17:20:34Z

The Jordan-Moore-Gibson-Thompson (JMGT) equation models nonlinear acoustic wave propagation in thermally relaxing media and in the vanishing relaxation limit approaches the damped Westervelt equation. We investigate discontinuous Galerkin spatial discretizations of the JMGT equation on simplicial meshes and analyze their behavior uniformly with respect to the relaxation parameter. Under practically relevant mixed Neumann and absorbing boundary conditions, we derive a priori error estimates independent of the relaxation parameter. These estimates enable a rigorous singular limit analysis, yielding convergence of the semi-discrete JMGT approximations to the corresponding Westervelt pressure profile at a linear rate. This also sheds light on the expected behavior of exact solutions in the vanishing relaxation limit. For the fully discrete problem, we propose a Newmark-type method based on a reformulation as a coupled second-/first-order system. Numerical experiments support the theoretical findings and demonstrate the robustness of the approach in the small-parameter regime.

2026-06-12T17:20:34Z Vanja Nikolić http://arxiv.org/abs/2606.14839v1 2026-06-12T17:20:14Z

This paper, the second in a series, presents an efficient, self-contained algorithm for computing the modified Bessel function of the second kind, \(K_ν(z)\) for complex argument and real orders, building on Part~I (for \(I_ν\)). The method adaptively selects among analytic representations such as power series, large-\(|z|\) asymptotics, uniform asymptotics for large \(|ν|\), and numerically stable forward recurrence with region boundaries tuned for accuracy and efficiency. A robust \texttt{Fortran} implementation supports double precision and quadruple precision. The use of quadruple precision extends the reliable computational domain and improves stability in challenging regimes. Accuracy is validated against high-precision \texttt{Maple} results, and benchmarks show runtimes significantly superior to those of established methods, in the literature, while avoiding their numerical failure modes across several decades of the parameter domain. Together with Part~I, this work provides a comprehensive, multiple-precision toolkit for \(\{I_ν,K_ν\}\) across wide parameter ranges.

2026-06-12T17:20:14Z Mofreh R. Zaghloul Steven G. Johnson http://arxiv.org/abs/2606.14630v1 2026-06-12T16:57:34Z

We adapt the recent theory for unique solvability of perturbed saddle-point problems in Banach spaces to the case of parameter-independent stability bounds. This also constitutes an extension to the Brezzi--Braess theory for parameter-robust stability of perturbed saddle-point problems from the Hilbert to the Banach setting. We apply the new abstract result to the mixed formulation of the advection-diffusion-reaction equation and tackle also its coupling with the Darcy--Forchheimer equations. The complete system is shown to be stable irrespective of the model parameters of permeability, Forchheimer coefficient, and reaction modulation. We discretise the problem with mixed finite element methods and show convergence in appropriately parameter-weighted norms. We also design operator-based preconditioners for the full system, utilising weighted norms that provide robustness with respect to model parameters.

2026-06-12T16:57:34Z Rishi Das Harsha Hutridurga Amiya K. Pani Ricardo Ruiz-Baier http://arxiv.org/abs/2606.14610v1 2026-06-12T16:33:34Z

We study the data-to-solution value map for quasistatic nonlinear elasticity in the linearized-kinematics regime, allowing both generalized loads and variable Dirichlet data. Under standard direct-method hypotheses, the negative minimum potential energy is finite and locally Lipschitz, convex in the load variable, and concave in the Dirichlet datum. Its supporting slopes, and its first variations at differentiability points, are the equilibrium displacement and the Dirichlet reaction. This convex--concave structure leads to a mechanics-preserving saddle minmax architecture in which displacement atoms generate load slopes, reaction atoms generate Dirichlet slopes, and the coupling coefficients are the corresponding trace-reaction pairings. Manufactured samples are produced by prescribing displacement--reaction pairs and computing the associated ambient data and exact value labels. The resulting architecture directly approximates the negative minimum-potential-energy value map and provides mechanical subgradient readouts. Immersed representations and cell-center quadrature make the construction implementable on background grids and geometry-rich domains. We prove uniform convergence on compact data sets with respect to atom enrichment and quadrature refinement, and illustrate the method on elementary examples.

2026-06-12T16:33:34Z 46 pages, 9 figures Michael Ortiz http://arxiv.org/abs/2509.24710v3 2026-06-12T15:24:58Z

Score-based diffusion models are a highly effective method for generating samples from a distribution of images. We consider scenarios where the training data comes from a noisy version of the target distribution, and present an efficiently implementable modification of the inference procedure to generate noiseless samples. Our approach is motivated by the manifold hypothesis, according to which meaningful data is concentrated around some low-dimensional manifold of a high-dimensional ambient space. The central idea is that noise manifests as low magnitude variation in off-manifold directions in contrast to the relevant variation of the desired distribution which is mostly confined to on-manifold directions. We introduce the notion of an extended score and show that, in a simplified setting, it can be used to reduce small variations to zero, while leaving large variations mostly unchanged. We describe how its approximation can be computed efficiently from an approximation to the standard score and demonstrate its efficacy on toy problems, synthetic data, and real data.

2025-09-29T12:40:20Z Forty-third International Conference on Machine Learning, 2026 Dennis Elbrächter Giovanni S. Alberti Matteo Santacesaria http://arxiv.org/abs/2606.14503v1 2026-06-12T14:34:01Z

We introduce a Grid-Based Multinode Shepard Collocation Method (GBMSC) for two-dimensional elliptic boundary value problems on rectangular domains. The method combines Shepard-type partition functions with tensor-product Lagrange interpolation on overlapping local Cartesian subgrids. The Cartesian structure avoids the local unisolvency search required by multinode Shepard constructions on scattered data, while the local character of the approximation yields sparse collocation matrices and moderate conditioning. We establish the main structural properties of the method, including the cardinal property, tensor-product polynomial reproduction, and local interpolation estimates. Numerical experiments for Poisson problems with Dirichlet and mixed boundary conditions confirm the polynomial reproduction property up to round-off accuracy and show regular convergence for smooth non-polynomial solutions. Comparisons with Multinode Shepard Collocation Method (MSC) and Kansa's collocation methods indicate that the proposed discretization preserves high accuracy with significantly better conditioning than the RBF-based schemes considered.

2026-06-12T14:34:01Z 19 pages, 5 figures, 6 tables; preprint Anouar El Harrak Hatim Tayeq Benaissa Zerroudi http://arxiv.org/abs/2504.11989v2 2026-06-12T14:07:30Z

Many-body interactions arise naturally in the perturbative treatment of classical and quantum many-body systems and play a crucial role in the description of condensed matter systems. In the case of three-body interactions, the Axilrod-Teller-Muto (ATM) potential is highly relevant for the quantitative prediction of material properties. This work solves the long-standing issue of the numerical computation of the resulting energies in $d$-dimensional lattice systems. We present an efficiently computable representation of many-body lattice sums in terms of singular integrals over products of Epstein zeta functions. For three-body interactions in three dimensions, this approach reduces the runtime for computing the ATM lattice sum from weeks to minutes. Our approach further extends to a broad class of $n$-body lattice sums. We demonstrate that the computational cost of our method only increases linearly with $n$, evading the exponential increase in complexity of direct summation. We discuss techniques for numerically computing the arising singular integrals and compare the accuracy of our results against computable special cases and against direct summation in low dimensions, achieving full precision for exponents greater than the system dimension. Finally, we apply our method to study the stability of a three-dimensional lattice system with Lennard-Jones two-body interactions under the inclusion of an ATM three-body term at finite pressure, finding a transition from the face-centered-cubic to the body-centered-cubic lattice structure with increasing ATM coupling strength. This work establishes both the numerical and analytical foundation for an ongoing investigation into the influence of many-body interactions on the stability of matter.

2025-04-16T11:30:11Z Andreas A. Buchheit Jonathan K. Busse http://arxiv.org/abs/2606.14467v1 2026-06-12T14:00:03Z

In 2002, V. N. Temlyakov established a criterion for the convergence of the weak greedy algorithm in a Hilbert space for a given weakness sequence $ τ= \{t_1,t_2,\ldots\} $. The criterion requires verifying a certain limiting relation for every nonnegative square-summable sequence. We give an equivalent closed-form criterion: the weak greedy algorithm converges if and only if $ \sum_{n=1}^{\infty}(1+ n\sum_{k=1}^{n}t_k^2 )^{-1/2}t_n^2=+\infty $.

2026-06-12T14:00:03Z Mikhail Novikov http://arxiv.org/abs/2412.16317v2 2026-06-12T13:43:41Z

The Epstein zeta function generalises the classical Riemann zeta function to oscillatory lattice sums in higher dimensions and has recently emerged as a key tool in the simulation of long-range interacting classical and quantum many-body systems. Its computation and analytic properties are therefore of significant interest, yet a rigorous and comprehensive treatment has been lacking. We address this gap by introducing a superexponentially convergent algorithm, complete with error bounds, for computing the Epstein zeta function in any dimension with arbitrary real parameters. Our approach is accompanied by a detailed analysis of the analytic properties of the Epstein zeta function. We first present a concise reformulation of its meromorphic continuation, functional equation, and symmetries. We then establish, for the first time, its joint holomorphic continuation in all parameters and offer a complete characterization of the resulting complex singularity structure, which governs convergence rates in numerical algorithms based on the function. Recognizing that the function can be decomposed into power-law singularities and a regularised analytic part, we provide an algorithm for removing singularities without cancellation error. This facilitates the evaluation of integrals and enables fast precomputations through interpolation methods. We present the first high-performance implementation for arbitrary real arguments in EpsteinLib, a C library with Python and Julia bindings, and rigorously benchmark its performance and accuracy, achieving full-precision evaluation against known analytic results in dimensions 1,2,3,4,6, and 8 and against an arbitrary precision implementation across the entire parameter range. Finally, we apply our methods to the computation of quantum dispersion relations in spin systems and Casimir energies in three-dimensional geometries.

2024-12-20T20:03:22Z Andreas A. Buchheit Jonathan Busse Ruben Gutendorf http://arxiv.org/abs/2601.11626v2 2026-06-12T12:21:10Z

Large collections of matrices arise throughout modern machine learning, signal processing, and scientific computing, where they are commonly compressed by concatenation followed by truncated singular value decomposition (SVD). This strategy enables parameter sharing and efficient reconstruction and has been widely adopted across domains ranging from multi-view learning and signal processing to neural network compression. However, it leaves a fundamental question unanswered: which matrices can be safely concatenated and compressed together under explicit reconstruction error constraints? Existing approaches rely on heuristic or architecture-specific grouping and provide no principled guarantees on the resulting SVD approximation error. In the present work, we introduce a theory-driven framework for compression-aware clustering of matrices under SVD compression constraints. Our analysis establishes new spectral bounds for horizontally concatenated matrices, deriving global upper bounds on the optimal rank-$r$ SVD reconstruction error from lower bounds on singular value growth. The first bound follows from Weyl-type monotonicity under blockwise extensions, while the second leverages singular values of incremental residuals to yield tighter, per-block guarantees. We further develop an efficient approximate estimator based on incremental truncated SVD that tracks dominant singular values without forming the full concatenated matrix. Therefore, we propose three clustering algorithms that merge matrices only when their predicted joint SVD compression error remains below a user-specified threshold. The algorithms span a trade-off between speed, provable accuracy, and scalability, enabling compression-aware clustering with explicit error control.

2026-01-12T18:15:53Z Published in Transactions on Machine Learning Research (06/2026) Transactions on Machine Learning Research (2026) Maksym Shamrai http://arxiv.org/abs/2506.12899v3 2026-06-12T11:41:21Z

This paper introduces a geometric multigrid preconditioner for the Shifted Boundary Method (SBM) designed to solve PDEs on complex geometries. While SBM simplifies mesh generation by using a non-conforming background grid, it often results in non-symmetric and potentially ill-conditioned linear systems that are challenging to solve efficiently. Standard multigrid methods with pointwise smoothers prove ineffective for such systems due to the localized perturbations introduced by the shifted boundary conditions. To address this challenge, we introduce a Discontinuous Galerkin (DG) formulation for SBM that enables the design of a cell-wise multiplicative smoother within an $hp$-multigrid framework. The element-local nature of DG methods naturally facilitates cell-wise correction, which can effectively handle the local complexities arising from the boundary treatment. Numerical results for the Poisson equation demonstrate favorable performance with mesh refinement for linear ($p=1$) and quadratic ($p=2$) elements in both 2D and 3D, with iteration counts showing mild growth. However, challenges emerge for cubic ($p=3$) elements, particularly in 3D, where the current smoother shows reduced effectiveness.

2025-06-15T16:07:03Z Michal Wichrowski