https://arxiv.org/api/BMUGtDMfns8Fiy7lX7qTkYNq80E 2026-06-21T11:38:50Z 49870 75 15 http://arxiv.org/abs/2509.26274v3 2026-06-16T16:45:56Z

We address the efficient computation of power-law-based interaction potentials of homogeneous $d$-dimensional bodies with an infinite $n$-dimensional array of copies, including their higher-order derivatives. This problem forms a serious challenge in micromagnetics with periodic boundary conditions and related fields. Nowadays, it is common practice to truncate the associated infinite lattice sum to a finite number of images, introducing uncontrolled errors. We show that, for general interacting geometries, the exact infinite sum for both dipolar interactions and generalized Riesz power-law potentials can be obtained by complementing a small direct sum by a correction term that involves efficiently computable derivatives of generalized zeta functions. We show that the resulting representation converges exponentially in the derivative order, reaching machine precision at a computational cost no greater than that of truncated summation schemes. In order to compute the generalized zeta functions efficiently, we provide a superexponentially convergent algorithm for their evaluation, as well as for all required special functions, such as incomplete Bessel functions. Magnetic fields and related quantities can thus be evaluated to machine precision in arbitrary cuboidal domains periodically extended along one or two dimensions. We benchmark our method against known formulas for magnetic interactions and against direct summation for Riesz potentials with sufficiently large exponents, consistently achieving full precision. In addition, we identify new corrections to the asymptotic limit of the demagnetization field and tabulate high-precision benchmark values that can be used as a reliable reference for micromagnetic solvers. The techniques developed are broadly applicable, with direct impact in other areas such as molecular dynamics.

2025-09-30T13:58:28Z J. Comput. Phys. 559, 114885 (2026) Andreas A. Buchheit Jonathan K. Busse Torsten Keßler Filipp N. Rybakov 10.1016/j.jcp.2026.114885 http://arxiv.org/abs/2606.18118v1 2026-06-16T16:20:02Z

The Chebfun software system is a Matlab extension essentially based on representations of (piece-wise) smooth one-variable functions by expansions in Chebyshev polynomials. One of Chebfun's attractive features is the ability to provide solutions to nonlinear boundary value problems (BVP) with accuracy close to the machine precision. This is done by the chebop class which provides automatic solutions by performing linearizations with a Newton method in function spaces of the nonlinear BVP, automatic differentiation, and using Fast Fourier Transform computations for the coefficients of the Chebyshev polynomials. A drawback of chebop automatic approach is the possible lack of convergence of the Newton method if the initial guess is not close enough to the exact solution. An explicit functional linearization done for each particular shape of the differential operator (i.e. without automatic differentiation) proves to be more robust than the chebop class and allows an enlargement of the range of convergence. Another alternative is the implicit L-scheme (quasi-Newton approach with derivatives replaced by suitable positive constants L), with a much simpler implementation and globally convergent. While chebop is the easiest way to solve the BVP, provided that it converges, the last two approaches largely overcome the convergence issues, yielding accurate solutions to a wide class of steady-state one-dimensional problems governed by Richards' equation. Chebfun2 and Chebfun3, which at the current stage cannot solve BVPs, provide efficient tools for accuracy and convergence assessments of the non-steady solutions in one or two spatial dimensions obtained by classical discretization schemes.

2026-06-16T16:20:02Z Nicolae Suciu http://arxiv.org/abs/2606.18073v1 2026-06-16T15:41:17Z

The generalized Krylov subspace (GKS) method is an effective projection technique for large-scale Tikhonov regularization with a general regularization matrix. As the subspace expands, however, two computational bottlenecks limit scalability: the thin QR factorizations of the tall projected matrices formed by the forward operator and the regularization matrix applied to the basis, and the full reorthogonalization of each new basis vector against all previous columns. We propose a sketched variant, named sGKS, that addresses both bottlenecks. The QR factorizations are performed on compressed matrices of much smaller row dimension, maintained incrementally via rank-one updates. Moreover, we observe that explicit reorthogonalization can be skipped entirely without compromising the quality of the approximation subspace, since no step of GKS relies intrinsically on the orthogonality of the basis. The resulting algorithm is independent of the choice of sketching operator and preserves the approximation quality of the original method: we show that, in the absence of sketching in the projected solve, sGKS produces iterates identical to those of standard GKS, and that the sketched projected solve delivers quasi-optimal residual norms controlled by the embedding quality. For more challenging problems where the loss of basis orthogonality becomes significant, we show that incorporating a small number of iterative refinement steps in the projected solve restores the spectral properties of the basis and recovers the full accuracy of the unsketched method. Numerical experiments on image deblurring, X-ray computerized tomography, seismic travel-time tomography, and dynamic computerized tomography demonstrate that sGKS matches the reconstruction quality of standard GKS while significantly reducing per-iteration costs and overall wall-clock time.

2026-06-16T15:41:17Z Davide Palitta Mirjeta Pasha http://arxiv.org/abs/2606.15878v2 2026-06-16T15:10:55Z

The perfectly matched layer-based boundary integral equation (PML-BIE) method (Lu et al., \emph{SIAM J. Appl. Math.} 78 (2018)) has become an effective tool for wave scattering problems in unbounded domains. Despite its successful applications, a rigorous convergence theory has remained incomplete in many physically relevant settings. In this paper, we present a general framework for establishing convergence of PML-BIE methods, using acoustic scattering in an impedance half-space as the first illustrative example. The framework separates the analysis into three components: convergence of the PML truncated partial differential equation, equivalence between the PML problem and an exact PML-BIE, and convergence of a computable PML-BIE obtained by replacing the exact kernel with a stretched free-space kernel. For the impedance half-space problem, we prove convergence of both the exact and computable PML-BIE formulations. The final error bound decays exponentially as the PML absorption power increases. The resulting theory provides a rigorous foundation for the PML-BIE method and gives a reference model for more general scattering problems in layered and inhomogeneous media.

2026-06-14T16:04:42Z 27 pages, 2 figures. Remove the index $m$ for all weighted spaces now, as it is useless Wangtao Lu http://arxiv.org/abs/2606.18032v1 2026-06-16T15:06:15Z

We propose a new weak-form Physics-Informed Neural Network approach (named INI-VPINN). INI-VPINN naturally incorporates Neumann boundary and interface conditions into the variational formulation. It removes the need for additional loss terms or multiple subdomain networks. This framework employs compact support weighting functions and integration by parts to implicitly impose flux and continuity constraints. In this way, it implicitly ensures physical consistency across material boundaries. The proposed method is tested on Poisson and Laplace problems with sharp interfaces and complex geometries. Results show that, compared with several other Physics Informed Neural Networks-based formulations, the INI-VPINN consistently achieves higher accuracy, smoother and faster convergence. The proposed framework provides a general approach for solving multimaterial problems with complex geometries and mixed Neumann-Dirichlet boundary conditions using neural networks. The implementation is publicly available in a GitHub repository.

2026-06-16T15:06:15Z Preprint version. Under peer review. Code available at: https://github.com/ShayanDodge/INI-VPINN Shayan Dodge DESTeC, University of Pisa, Pisa, Italy Alessandro Formisano Department of Engineering, University of Campania Luigi Vanvitelli, Aversa, Italy Sami Barmada DESTeC, University of Pisa, Pisa, Italy http://arxiv.org/abs/2606.18026v1 2026-06-16T15:04:34Z

A fourth-order conservative adaptive multiresolution average-interpolating wavelet upwind scheme is proposed for compressible flows governed by hyperbolic conservation laws. A family of asymmetric average-interpolating wavelets with upwind properties is constructed for conservative finite volume discretization, while symmetric average-interpolating wavelets are employed for multiresolution decomposition and reconstruction of physical variables in the adaptive procedure. Since both the conservative discretization and the adaptive multiresolution representation are constructed from cell-average quantities, the proposed scheme preserves strict conservation during both numerical evolution and adaptive cell redistribution. Unlike hybrid adaptive wavelet methods that use wavelets mainly for data compression and mesh adaptation, the present adaptive wavelet upwind scheme utilizes average-interpolating wavelet multiresolution approximation to reconstruct the interface values directly for numerical flux evaluation, thereby avoiding additional ghost-cell marking and reconstruction near coarse--fine mesh interfaces. The boundary variation diminishing reconstruction is incorporated at the finest resolution level to achieve non-oscillatory shock-capturing capability. Numerical tests demonstrate that the proposed scheme achieves the expected fourth-order accuracy, maintains conservation errors close to machine precision, and controls numerical errors around the prescribed threshold. The proposed method also sharply captures shock waves and contact discontinuities without spurious oscillations and resolves multiscale smooth structures through a sparse adaptive representation. These results indicate that the proposed scheme provides an efficient, conservative, and reliable approach for high-resolution simulations of compressible flows.

2026-06-16T15:04:34Z Bing Yang Xiaojing Liu Youhe Zhou Feng Xiao Jizeng Wang http://arxiv.org/abs/2603.20483v2 2026-06-16T15:04:17Z

We propose a generalized version of the bisection method where the cutting point between the two subintervals is chosen at random following an arbitrary distribution. We compute expected convergence rates with respect to any arbitrary a priori distribution for the position of the root in the initial interval and proved that it depends only on the the expectation $\mathbb{E}[c(1-c)]$ of the cut $c$. We also provide a generalization of the method for $K$ random cuts and study its convergence properties. Most probabilistic derivations are kept fairly simple for the ease of understanding of a larger audience. Our theoretical results are then validated numerically using statistical simulation.

2026-03-20T20:28:25Z Ludovick Bouthat Philippe-André Luneau Philippe Petitclerc http://arxiv.org/abs/2501.09876v4 2026-06-16T15:03:18Z

Generative modeling aims to generate new data samples that resemble a given dataset. When using diffusion models for this task, one of the main challenges is solving the problem in the input space, which tends to be very high-dimensional. To address this, recent approaches solve diffusion models in the latent space through an encoder that maps from the data space to a lower-dimensional latent space, improving training efficiency and achieving state-of-the-art results. The variational autoencoder (VAE) is the most commonly used encoder/decoder framework in this domain, known for its ability to learn latent representations and generate data samples. In this paper, we introduce a novel encoder/decoder framework with theoretical properties distinct from those of the VAE, specifically designed to preserve the geometric structure of the data distribution. We demonstrate the significant advantages of this geometry-preserving encoder in the training process of both the encoder and decoder. Additionally, we provide theoretical results proving convergence of the training process, including convergence guarantees for encoder training, and results showing faster convergence of decoder training when using the geometry-preserving encoder.

2025-01-16T23:14:34Z 50 pages Wonjun Lee Riley C. W. O'Neill Dongmian Zou Jeff Calder Gilad Lerman http://arxiv.org/abs/2606.18018v1 2026-06-16T15:00:09Z

The paper deals with new formulations of a Lagrange interpolant polynomial based on the nodes of the well-known anti-Gauss rule. A first representation is given in terms of the classical Christoffel-Darboux kernel appropriately modified. The second one closely follows the barycentric form of the classical Lagrange polynomial, while the third formulation represents the interpolant as a combination of an orthonormal family of polynomials with respect to the discrete anti-Gauss inner product. A numerical test shows the performance of the explored forms.

2026-06-16T15:00:09Z Patricia Díaz de Alba Luisa Fermo Valerio Loi http://arxiv.org/abs/2606.17934v1 2026-06-16T13:43:11Z

For PDEs naturally posed in the de Rham complex, structure-preserving mixed and saddle-point finite element discretizations typically produce indefinite linear systems. We propose a multigrid preconditioning framework that combines mass-lumped (explicitly invertible) FEEC mass matrices with transforming smoothers that map the operator to a block form with positive definite diagonal blocks, enabling Gauss-Seidel-type relaxation on the transformed system. Under mild h-uniform norm-equivalence assumptions (and for trivial topology), we prove stability of the mass-lumped systems, and by extension spectral equivalence between the mass-lumped and original FEEC operators, which motivates using multigrid cycles designed for the mass-lumped operators as preconditioners for the consistent FEEC systems. While our primary focus is on algorithmic design rather than formal convergence theory, extensive numerical experiments on the Hodge-Dirac operator, mixed Hodge-Laplacians, and a magnetostatics saddle-point system in 2D and 3D demonstrate the robustness of the approach.

2026-06-16T13:43:11Z Radovan Dabetić http://arxiv.org/abs/2606.17918v1 2026-06-16T13:35:01Z

We develop and analyze a conforming Virtual Element Method (VEM) for the fourth-order Poisson-Nernst-Planck-Navier-Stokes (PNP-NS) system. The proposed scheme is based on compatible discretizations of each component: an \(H^2\)-conforming VEM for a fourth-order electrostatic potential equation, an \(H^1\)-conforming VEM for the Nernst--Planck equations, and a \textit{divergence-free} and \textit{pressure-robust} VEM for the Navier--Stokes equations. Time integration is performed using a backward Euler scheme to ensure stability. We establish the well-posedness of the continuous problem up to three-dimensions and also establish existence and uniqueness of the fully discrete solution via a fixed-point argument. Further, we derive a priori error estimates showing that the electrostatic potential, concentration and velocity converge optimally in Bochner norms \(L^\infty\bigl(0,T; H^2(Ω)\bigr)\), \(L^2\bigl(0,T; H^1(Ω)\bigr)\), and \(L^2\bigl(0,T; \bm{H}^1(Ω)\bigr)\), respectively. The analysis requires a sophisticated argument to avoid any restrictive assumptions on the coercivity and continuity constants and to handle the trilinear form involving three different variables. The pressure-robust design permits the use of lowest-order pressure approximations without compromising convergence rates of the other variables, reducing computational cost. Numerical experiments confirm the theoretical convergence rates for various polynomial orders and demonstrate the scheme's robustness, including in low-viscosity regimes.

2026-06-16T13:35:01Z Ankur Ankur Andrea Cangiani http://arxiv.org/abs/2601.07757v2 2026-06-16T12:23:27Z

The Compact Discontinuous Galerkin method was introduced by Peraire and Persson in (SIAM J. Sci. Comput., 30, 1806-1824, 2008). In this work, we present the stability and convergence analysis for the $hp$-version of this method applied to elliptic problems on polytopal meshes. Moreover, we introduce fast and practical algorithms that allow the CDG, LDG, and BR2 methods to be implemented within a unified framework. Our numerical experiments show that the CDG method yields a compact stencil for the stiffness matrix, with faster assembly and solving times compared to the LDG and BR2 methods. We numerically study how coercivity depends on the method parameters for various mesh types, with particular focus on the number of facets per mesh element. Finally, we demonstrate the importance of choosing the correct directions for the numerical fluxes when using variable polynomial degrees.

2026-01-12T17:41:51Z Mattia Corti Sergio Gómez http://arxiv.org/abs/2510.02156v2 2026-06-16T10:56:41Z

We present an enhanced version of the row-based randomized block-Kaczmarz method to solve a linear system of equations. This improvement makes use of a regularization during block updates in the solution, and a dynamic proposal distribution based on the current residual vector and effective mutual orthogonality between all blocks. The improved method provides significant gains in solving highly ill-conditioned linear systems that are either sparse, or dense least-squares problems that are significantly over/under determined. Considering the poor guarantees in effectively preconditioning iterative solutions for such ill-conditioned problems, it may also serve as a pre-solver for accelerating other iterative numerical methods, and as an inner iteration in certain types of GMRES solvers for linear systems.

2025-10-02T16:08:27Z Suvendu Kar Murugesan Venkatapathi http://arxiv.org/abs/2506.09679v4 2026-06-16T10:53:25Z

We design strategies in nonlinear geometric analysis to temper the effects of adversarial learning for sufficiently smooth data of numerical method-type dynamics in encoder-decoder methods, variational and deterministic, through the use of geometric flow regularization. We augment latent spaces with geometric flows to control structure, relying on adaptations of curvature and Ricci flow. All of our flows are solved using physics-informed learning. Traditional geometric meaning is traded for computing ability, but we maintain key geometric invariants, the primary of which are maintained, intrinsically-low structure, nontriviality due to sufficient lower bounds on curvature, distortion of volume element, that develop quality in the inference stage. We instill representations that are canonical, smooth, curvature-aware, geodesic-aware, and non-topologically void or sparse. The primary bottleneck of a Ricci curvature flow is that Ricci curvature is high order, thus expensive to compute, so we will attempt to overcome this with properly justified proxies. Our primary contributions are fourfold. We develop a loss based on Gaussian curvature using closed path circulation integration for surfaces, bypassing automatic differentiation of the Christoffel symbols through use of Stokes' theorem. We invent a new parametric flow valid under a Taylor expansion derived from the Gauss equation. We develop two strategies based on time differentiation of functionals, one with a special case of scalar curvature for conformally-changed metrics, and another with harmonic maps, their energy, and induced metrics. Our losses are diminished analytically and mostly heuristic but maintain overall integral latent structure. We showcase that curvature flows and the formulation of geometric structure in intermediary encoded settings enhance learning and overall zero-shot and adversarial fidelity.

2025-06-11T12:53:09Z Andrew Gracyk http://arxiv.org/abs/2606.17772v1 2026-06-16T10:45:12Z

This study presents a high-order compact finite difference gas-kinetic scheme (FD-CGKS) that introduces a novel spatial discretization strategy for the efficient implementation of space-time coupled high-order schemes on structured grids. A conservative nonlinear compact discretization is achieved by formulating numerical fluxes from physical fluxes at both nodal and interfacial locations. To simplify the multidimensional spatial reconstruction required for the GKS flux evaluation, we propose a dual-grid approach that updates conservative variables on both a primary grid and an identical dual grid, offset by half the mesh spacing. By leveraging the time-accurate interface solutions from the gas-kinetic evolution model, the scheme explicitly updates averaged spatial derivatives between virtual interfaces, naturally enabling compact high-order reconstruction. Furthermore, a nonlinear GENO method is incorporated to capture flow discontinuities with high resolution and robustness, effectively suppressing spurious oscillations. The proposed framework, which also offers new perspectives for designing schemes based on space-time decoupled Riemann solvers, is systematically validated. Comprehensive benchmark computations of inviscid and viscous flows demonstrate the scheme's high accuracy in resolving a wide spectrum of flow features, from smooth multiscale structures to strong shock discontinuities.

2026-06-16T10:45:12Z Fengxiang Zhao Yibing Chen Kun Xu