arXiv Daily Brief

We introduce a hierarchical sparse-grid (HSG) particle method for the numerical solution of the Vlasov--Poisson system. Sparse-grid PIC methods have so far been formulated within finite-difference frameworks, most notably through the sparse-grid combination technique (SGCT), which ties them to tensor-product Cartesian grids and globally defined component grids. This paper brings sparse-grid particle methods into the Galerkin setting: the field equation is solved in variational form on a hierarchical sparse-grid space spanned by B-splines of arbitrary degree, and the traditional charge deposition step is replaced by a direct Galerkin projection of the raw Monte Carlo density estimator onto this space. Beyond preserving the mesh-complexity and noise-reduction benefits of sparse grids, this reformulation substantially extends the versatility of the approach, opening the way to spatial adaptivity and to non-rectangular geometries, which are notoriously difficult to accommodate within the SGCT framework. We carry out a probabilistic error analysis decomposing the numerical error into a grid-based bias and a statistical noise component. Under mixed-derivative regularity assumptions on the particle distribution, the bias of the charge density in the $\mathrm{L}^2$-norm is shown to scale as $\mathcal{O}(h^{p+1}|\log h|^{d-1})$, where $p$ is the B-spline degree and $d$ the spatial dimension, and the statistical error in the $\mathrm{L}^1$-norm as $\mathcal{O}(|\log h|^{(d-1)/2}(Nh)^{-1/2})$, matching the accuracy of high-order SGCT-PIC methods. Corresponding bounds are derived for the electric field. The theoretical estimates are validated on classical kinetic plasma benchmarks, including configurations with limited regularity and strong anisotropies that are known to be challenging for sparse-PIC approximations.

We develop a hierarchical order-resolved relaxation model for a fixed D3Q125 discrete-velocity kinetic formulation. Conventional adaptive collision models often use one scalar rarefaction or nonequilibrium indicator for all retained moment orders, thereby coupling distinct kinetic sectors. Here, a shared macroscopic-gradient background is combined separately with second-, third-, and fourth-order thermodynamic nonequilibrium indicators to define effective measures K2, K3, and K4, each driving its own log-Gaussian relaxation spectrum. Pure-order perturbation tests verify selective activation, with nonmatching sectors remaining at roundoff level. Homogeneous mixed-order, amplitude, and composition tests show lower residual nonequilibrium than a common-sensor model while preserving positive populations. In a smooth periodic compression wave at the stated reference discretization and in the TNE-only sensor limit, the peak total nonequilibrium intensity is reduced by 6.565%, with reductions throughout the domain and in all retained moment sectors. Additional timestep, transport-discretization, relaxation-spectrum, uniform-boost, long-time, and shear-wave studies show that the sign of the hierarchical correction is robust over the tested configurations, while its magnitude depends on timestep, transport scheme, sensor frame, and relaxation spectrum. The periodic benchmarks preserve the principal global invariants to floating-point accuracy and remain positive. These results establish the mechanism and numerical behavior of order-resolved activation on a fixed velocity set; independent kinetic-reference validation is still required before claiming universal accuracy improvement.

Discretizing integral formulations of the Helmholtz equation yields dense linear systems. Hence, simulating acoustic models at larger scales or higher frequencies is typically constrained by memory capacity. Fast algorithms, such as hierarchical matrix compression, reduce the memory footprint substantially while controlling the approximation error in matrix-vector multiplications. However, the commonly used Adaptive Cross Approximation suffers from early-convergence problems, where the iterative construction of low-rank decompositions stops before reaching the targeted error tolerance. This failure arises when the error estimator does not capture significant components of the matrix structure under partial pivoting. This manuscript proposes a new diagonal convergence criterion, additional matrix elements for the pivoting strategy, an extended admissibility condition, and a sustained convergence check to improve the robustness of hierarchical matrix compression. These modifications improve compression reliability without increasing memory. We tested our compression strategy on various discretized volume and boundary integral operators. The computational results show that our approach successfully compresses all benchmark matrices within predefined tolerances, thereby resolving the early-convergence issues encountered in standard algorithms. This robust matrix compression was achieved at the same memory footprint as alternative compression strategies. Furthermore, a complexity analysis shows log-linear memory scaling with mesh refinement at constant frequency. Finally, we successfully applied our robust matrix compression algorithm to a coupled system of volume and boundary integral operators that models transcranial ultrasound propagation. This confirms the feasibility of our robust algorithm to accelerate large-scale simulations with high-resolution meshes in a biomedical application.

Bilinear systems with quadratic outputs (BQO) have recently emerged as an important system class, arising naturally in applications where both the dynamics and the quantities of interest depend nonlinearly on the state. Despite the growing interest in this class of systems, a systematic $\mathcal{H}_2$ framework for BQO systems has been lacking. In this paper, we develop such a framework by establishing an $\mathcal{H}_2$ inner product and norm for BQO systems, deriving output bounds in terms of the $\mathcal{H}_2$ norm, and obtaining first-order optimality conditions for $\mathcal{H}_2$ optimal model reduction. Building on these theoretical foundations, we propose an algorithm that computes a reduced BQO system satisfying these optimality conditions, and thus generalizing existing $\mathcal{H}_2$ optimal methods for bilinear and linear quadratic output systems. The effectiveness of the proposed framework is demonstrated on two numerical examples.

The library \texttt{librla} is a randomized linear algebra library that is specifically designed for the intermediate-sized matrices (of dimension up to roughly 10,000) that arise in applications such as reduced order modeling, fast direct solvers, least squares solves and, in some settings, data compression. \texttt{librla} is the first software package that is both stable and efficient in several high-level languages: MATLAB, Python and Julia. It also provides increased functionality over existing software. Specifically, it allows the user to choose to create a factorization based on a fixed rank or a desired tolerance. The factorization options include QR, SVD and the interpolative decomposition. Additionally, the factorization can be generated either with access to the matrix or access to a matrix-vector multiplication routine. Numerical results compare the Python implementation with the available PyTorch and SciPy randomized factorizations. Performance of \texttt{librla} in the three languages is comparable.

X-ray scattering tensor tomography reveals nanoscale structural orientation in 3D, but its reliance on slow iterative reconstruction limits real-time use. We introduce an extension of a direct reconstruction approach for parallel-beam geometries that computes algebraic filters approximating multiple iterative updates with a single filtering and back-projection step. By explicitly separating the tomographic projector from a view-dependent mixing operator, the method generalizes across tensor representations and modes of (small-angle) X-ray scattering measurement. Simulated and experimental results show that the approach approximates iterative reconstructions while reducing computation time by over an order of magnitude, realizing a reconstruction of a 53x53x53x28 tensor volume in 1 second on commercially-available hardware. The resulting speed and stability enable high-throughput analysis and open the door to real-time scattering-based imaging.

We study space-time Galerkin--Petrov formulations for parabolic evolution problems and their relation to classical implicit time-stepping schemes. Although such schemes are stable in the usual time-stepping sense, their interpretation as space-time operator equations may lead to conditional stability, with constants depending on the relation between temporal and spatial mesh sizes. We revisit this phenomenon for the continuous Galerkin method of Aziz and Monk, which yields the Crank--Nicolson scheme in the lowest-order case, and provide a detailed space-time error analysis for solutions of both high and low regularity. In particular, the space-time framework allows us to analyze the deteriorated behaviour of classical time-stepping methods for nonsmooth initial data. By applying integration by parts in time, we derive an adjoint space-time formulation that incorporates the initial condition in a natural variational way. In the lowest-order case, this formulation leads to a Rannacher-type smoothing of the initial data. The theoretical results are complemented by numerical experiments.

This work studies the linear Jin-Xin relaxation model by means of the relative entropy method, both at the continuous and fully discrete levels. Under the strict subcharacteristic condition, we obtain an O($ε$) estimate for the convergence toward the equilibrium transport equation. We then develop discrete relative entropy estimates for a Lie splitting scheme and an asymptotic preserving staggered scheme. A fixed-time analysis further explains the O($ε$^2 ) behavior observed in the strongly stiff regime and the transition occurring when $ε$ becomes comparable to the time step.

This paper considers a class of charged-particle dynamics problems in which the particle is subjected to a magnetic force, with a magnetic flux density inversely proportional to a small parameter $0<\varepsilon\ll 1$, and a nonlinear electric force. The resulting highly oscillatory behavior poses significant challenges for numerical computation. To enhance the performance of exponential integrators (EIs), this paper employs a technique that linearizes the ordinary differential equation through a dimension-raising approach. Based on this technique, a new family of EIs is developed that achieves arbitrarily high order. For short-time simulations on the interval $[0,T]$, it is rigorously proved that the proposed method--which employs auxiliary polynomials of degree $k$ and a time step $Δt$--satisfies two distinct error bounds: $O(\varepsilon Δt^{k+1})$ and $O(\varepsilon^{k+2})$. The latter bound guarantees that the algorithm stays accurate even when the step size is of order $O(1)$. Furthermore, when a large step size $\varepsilon^{-1}Δt$ is used to simulate the long-term dynamics over $[0,\varepsilon^{-1}T]$, the numerical scheme attains a uniform convergence rate of $O(Δt^{k+1})$. Several numerical experiments confirm these theoretical results.

We present yancc, a new GPU-accelerated solver for the drift kinetic equation that computes neoclassical transport fluxes, flows, and currents in tokamaks and stellarators. The drift kinetic equation is challenging to solve numerically due to strong advection-dominance, recirculating flows, internal boundary layers, severe anisotropy, and high dimensionality. The code solves both the full four-dimensional drift kinetic equation (retaining speed-dependent collisions, energy scattering, and full interspecies coupling), and the reduced monoenergetic form. The discretization combines a Maxwell polynomial collocation grid in speed with finite differences in pitch angle and the flux surface coordinates, using a modified upwind stencil designed to improve diagonal dominance for multigrid efficiency. The resulting linear system is solved with a multigrid-preconditioned Krylov method. Built in JAX, yancc is fully differentiable, enabling gradient-based optimization and adjoint sensitivity analysis. Benchmarks against MONKES and SFINCS show agreement within 1\% across a range of collisionalities, geometries, and multi-species configurations. yancc achieves roughly an order of magnitude speedup over SFINCS on a per-scan basis while using an order of magnitude less memory, with runtime remaining nearly flat across the full range of collisionality. The combination of speed, low memory footprint, and differentiability makes yancc well suited for integration into stellarator optimization workflows, uncertainty quantification, and profile prediction.

The Fisher-Kolmogorov model is one of the most widely used models in the study of neurodegenerative diseases, owing to its simple structure as a nonlinear reaction-diffusion equation. In particular, it is commonly employed to describe proteinopathies such as Alzheimer's and Parkinson's diseases. Under suitable assumptions, non-negativity of the solution is guaranteed at the continuous level, which is physically relevant since the solution represents a relative concentration. However, this property is not generally preserved at the discrete level, potentially leading to unphysical and unstable numerical approximations. In this work, we analyze a modified version of the Fisher-Kolmogorov model that stabilizes the dynamics around the unstable equilibrium $c=0$. For the spatial discretization, we adopt a discontinuous Galerkin method on polygonal and polyhedral meshes, coupled with the Crank-Nicolson scheme for time integration. We derive stability and $a$-priori error estimates for the semi-discrete problem. The theoretical findings are supported by numerical experiments, including convergence studies in both two and three dimensions. Finally, we validate the model through simulations of $α$-synuclein diffusion in a two-dimensional agglomerated brain section, demonstrating the high-order accuracy and robustness of the proposed method.

By Godunov's theorem, linear second-order finite-difference schemes for the Fokker-Planck equation cannot preserve positivity. The Diagonal Frog (DF) framework previously bypassed this barrier using eventual positivity, but required a strict minimum time step. This paper resolves the small-step limitation using a nonlinear extension of the DF solvers. We split the second-order directional operator into a monotone M-matrix core and an antidiffusive flux correction. A Zalesak-type limiter is then applied iteratively within the implicit banded solve. The resulting Flux-Corrected DF (FCDF) schemes (variants A and B) are unconditionally positive across all time steps. Because the limiter acts on fluxes rather than point values, these schemes conserve discrete mass exactly and maintain second-order accuracy. Crucially, the limiter activates only within unresolved layers. This ensures the global $L_1$ convergence remains second-order uniformly in the cell Péclet number, avoiding the first-order degradation seen in the Chang-Cooper scheme. The method's Picard iteration is contractive under a purely convective step restriction. To support arbitrary step sizes, we develop an active-set reformulation. This solves the system using a semismooth Newton iteration, where computational cost scales only with the number of nodes where positivity binds. Finally, we introduce a defect-corrected time stepping approach that restores second-order time accuracy. Numerical experiments on Ornstein-Uhlenbeck and advection-dominated benchmarks confirm our claims.

We present a third-order finite volume central WENO scheme for systems of nonlocal conservation laws in two spatial dimensions. The CWENO reconstruction of the conservative variable provides polynomials that can be evaluated in the entire domain, which is of advantage when approximating the nonlocal terms. Moreover, this method can be augmented with a limiter that preserves the maximum-principle and especially positivity of the solution.

Learned solvers for compressible flow are usually compared to classical methods at equal mesh resolution rather than at equal computational cost, and they typically offer no guarantee that their solutions remain physically admissible. We present a learned finite volume scheme for the two-dimensional Euler equations on unstructured meshes, admissible by construction and with an entropy-stable interior flux. We evaluate it under protocols fixed before any computation: frozen thresholds, falsification clauses, negative controls, a factor decomposition of the learned components, and an iso-cost comparison against the refined classical baseline. The decomposition produced the central result: the guarantee machinery alone, with both learned heads switched off (the unlearned skeleton), is the strongest scheme at equal mesh on every periodic case. At equal wall-clock cost the picture inverts into a map. Learning pays robustly only on the wall case whose boundary-condition type it never saw (10.8%). Its periodic gains flip sign with the evaluation draw (+10% on one held-out case, -12% on the hardest). The skeleton is the only method whose iso-cost gain never changes sign, at a measured overhead of 1.74x per step. The guaranteed variant completes 36 of 36 rollouts, Mach extrapolation and unseen wall included, with zero negativity events. We fix the guaranteed scheme's one remaining out-of-distribution weakness, Mach extrapolation, at inference time: with scale-invariant network inputs, a specific-entropy floor, and no retraining, the corrected arm overtakes the unconstrained arm on one Mach case, cuts its deficit on the other by a third, passes the skeleton on the unseen wall, and keeps the guarantee. A spatial gate closes the loop: activating the heads only near the walls beats both the skeleton and the corrected arm, and transfers unchanged to a second wall geometry.

We study spectral approximations of the dynamic programming semigroup for finite-horizon optimal control on a connected compact Lie group $G$, and of the associated first-order Hamilton-Jacobi-Bellman equation. The Bellman operator is monotone and non-expansive in the supremum norm, while the Peter-Weyl decomposition of $L^{2}(G)$, on which every Fourier method on $G$ rests, is orthogonal, and the mismatch is quantitative. The natural sup-norm error recursion of the Galerkin iteration is amplified at every step by the Lebesgue constant of the spectral projection, which grows logarithmically on $S^{1}$ and polynomially on compact Lie groups of rank one, including $\mathrm{SO}(3)$, and in computation the iteration violates elementary bounds within a few steps. We restore the dynamic programming structure at the discrete level by replacing the orthogonal projection with spectral filters of Markov type. An auxiliary heat-kernel/vanishing-viscosity scheme yields qualitative sup-norm convergence for Lipschitz data. The main result is a Fejér-type filter on $G$, finite-rank, positivity preserving and non-expansive, together with a convergence theorem at the rate $O(\sqrtδ+\sqrt{ε+1/(δN^2)})$ for Lipschitz data, where $δ$ is the time step, $N$ the spectral resolution and $ε$ the viscosity. The viscosity may be zero, and the coupling $δ=N^{-1}$ then gives the rate $N^{-1/2}$. The proof interprets the filter as a small random perturbation of the controlled dynamics, requires neither a priori regularity of the value function nor a consistency argument in the viscosity sense for the filtering step, and extends to a fully discrete realization based on positive cubature, with exact Wigner transport on $\mathrm{SO}(3)$. Numerical experiments confirm the predicted rates and filter bias and quantify the frame dependence of two chart-based baselines.

The solution of the Cauchy problem for homogeneous abstract hyperbolic equations, together with its derivative, admits a vector representation in terms of a unitary operator group associated with a rotation matrix. A rational approximation of this unitary group is constructed and shown to possess optimal fourth-order convergence. The order of convergence is determined in accordance with the smoothness scale. Based on this rational approximation, a two-layer semi-discrete scheme is constructed for the approximate solution of Cauchy problems for nonhomogeneous abstract hyperbolic equations in both the linear and semi-linear settings. The convergence properties of the scheme are examined in relation to the regularity of the solution.

We present an unfitted boundary algebraic equation method for the two-dimensional exterior/interior Stokes equations on a staggered MAC grid. By constructing an explicit free-space pair of velocity and pressure lattice Green's functions (LGFs) from free-space Laplace LGFs, we represent homogeneous fields using sources supported exclusively on thin staggered boundary layers. This formulation imposes physical Dirichlet data at cut points via local interpolation, while sampled-normal rank updates remove hydrostatic null modes associated with single or multiple obstacles. The workflow parallels that of classical boundary integral formulations and requires no artificial boundary conditions for exterior flows, but follows a discretize-then-represent route and does not require singular/near-singular quadrature. The resulting dense boundary system is solved via GMRES, utilizing a componentwise discrete Calderón preconditioner built from the scalar Laplace kernel and padded FFTs for fast volume convolutions. Extensive numerical validation, including multiply connected domains, narrow gaps, and Moffatt eddies, confirms discrete incompressibility to solver accuracy and recovers the expected Moffatt eddy scaling. We achieve second-order velocity and pressure convergence and bound maximum discrete divergence within numerical accuracy. The discrete Calderón preconditioner reduces the condition number by orders of magnitude and yields nearly mesh-independent conditioning in exterior configurations, while remaining effective---though more demanding---for narrow-gap and fine-grid interior problems.

Scattered data approximation with discontinuities is challenging due to the Gibbs phenomenon, which significantly reduces accuracy near interfaces. The recently introduced Non-Linear Partition of Unity Method (NL-PUM) addresses this by combining Radial Basis Function (RBF) interpolation with a non-linear Weighted Essentially Non-Oscillatory (WENO) strategy. While effective, NL-PUM's performance relies heavily on two fixed hyperparameters: the RBF shape parameter and the patch radius. This work extends NL-PUM by adapting both hyperparameters locally using Leave-One-Out Cross-Validation (LOOCV) minimized via Global Optimization with Optimistic Improvement (GOOI). Our main innovation is a smoothness indicator linking a discontinuity-aware shrinkage process to LOOCV-based radius selection: patches in smooth regions remain unchanged, while those near discontinuities automatically shrink to avoid crossing the interface. The resulting method, LOOCV-NL-PUM-GOOI, requires no prior knowledge of interface geometry and introduces no extra cost beyond standard adaptive shape parameter selection. Numerical experiments on synthetic test functions with jump discontinuities and a real-data application to Norwegian Fjords elevation data confirm that this approach substantially reduces approximation error near discontinuities while preserving full accuracy in smooth regions.

We propose a model order reduction framework for nonlinear parametrized variational inequalities arising in computational mechanics. The high-dimensional model is written in mixed primal-dual form with projection-based complementarity conditions, leading to nonlinear nonsmooth algebraic systems solved by a semi-smooth Newton method in primal-dual form. On this basis, reduced models are constructed by proper orthogonal decomposition (POD) of both primal and dual solution snapshots, and the resulting reduced systems are solved by semi-smooth Newton iterations in the reduced space. To address cases where low-dimensional linear spaces provide limited approximation efficiency, we introduce a neural-network-augmented reduced model. Two feedforward networks learn corrections in the truncated POD coordinates of the primal and dual variables, defining a nonlinear manifold approximation that is embedded directly in the semi-smooth Newton iterations. The online cost associated with high-dimensional residual evaluations is reduced through hyper-reduction, using a sparse cubature approach based on greedy nonnegative least squares. Particular attention is paid to the interaction between hyper-reduction and the learned nonlinear manifold. The proposed methodology is assessed on two nonlinear variational inequalities with distinct sources of nonlinearity: a two-dimensional obstacle problem with a cubic nonlinearity in the state equation, and a three-dimensional frictional contact problem in which the Coulomb law induces a nonlinear projection in the constraint equation. Numerical results compare the high-dimensional model, the linear reduced model, the neural-network-augmented reduced model, and their hyper-reduced variants, demonstrating accurate approximations with substantial reductions in online computational cost.

In this communication we propose a discrete Cosserat rod formulation in which a slender elastic rod is represented as a chain of rigid bodies (nodes) coupled by compliant elastic forces and moments acting between adjacent node pairs. Discrete dilatation, shear, torsion and curvature strain measures are evaluated from the relative kinematics of each node pair, while the constitutive behavior is expressed in compliance form through independent stress degrees of freedom. We show that the resulting model arises rigorously from a mixed Petrov--Galerkin Cosserat rod finite element formulation (FEM) at linear kinematic interpolation order when the internal virtual work is integrated by the midpoint rule and the external and inertial contributions by the trapezoidal rule. The proposed formulation inherits the robustness and the absence of locking from the underlying mixed FEM while simultaneously exposing a two-node coupling structure that mirrors discrete rod models from the computer graphics community. This is in sharp contrast to the dense coupling of strain-parameterized reduced-order models often used in soft robotic applications. Three numerical examples involving piecewise-varying cross sections, tendon-driven actuation under different spatial discretizations, and coupled longitudinal-torsional dynamics confirm the accuracy, robustness, and convergence behavior of the presented approach.

We introduce a damped variant of the Shannon Wavelet Inverse Fourier Technique (SWIFT) for pricing European options when the characteristic function of the underlying model is available. The key idea is to apply an exponential damping transformation to the payoff, which enables the direct computation of Fourier coefficients in the frequency domain without introducing an additional physical-domain truncation parameter. We provide a rigorous analysis of the decay of these coefficients by exploiting the singularity structure of the associated Fourier transforms. For light-tailed models, we obtain Gaussian-type decay estimates, while for semi-heavy and heavy-tailed models whose singularities are poles, algebraic branch points, or logarithmic branch points, we derive exponential decay bounds with explicit polynomial prefactors. The resulting sharp bounds make it possible to truncate the Fourier series without relying on the cumulants of the underlying density, which are often unavailable or difficult to compute in practice. We further derive an error decomposition separating projection, truncation, and quadrature errors, and translate the analysis into practical rules for selecting the damping parameter, resolution level, and truncation range. Numerical experiments demonstrate that the proposed approach consistently improves the accuracy of the original SWIFT method while requiring a significantly smaller number of Fourier coefficients and remaining stable in cases where the undamped method deteriorates.

Positive-semidefinite matrices are most efficiently factored using the Cholesky decomposition. For indefinite matrices, the Cholesky factorization does not exist, and the alternatives face greater challenges in achieving numeric stability and preservation of banded structure. Here we pursue an analogy between the requirement for positive-semidefinite matrices and the solution of the quadratic equation x^2 = c for c <= 0. It is shown that a non-associative algebra, called the hemiplex numbers, allows the Cholesky factorization to be computed for arbitrary symmetric matrices. Crucially, the hemiplex Cholesky factorization does not require pivoting for its existence or stability, allowing it to preserve banded structure. For singular matrices it produces a parametrization of the null space, and provides opportunity for truncation of nearly-null directions in a manner similar to common usage of the singular value decomposition. The hemiplex Cholesky factorization may be a practically useful addition to the tools for solving symmetric linear equations.

Photoacoustic tomography (PAT) is a promising modality for high-resolution biomedical imaging, motivating the need for reliable uncertainty quantification (UQ) of reconstructed images. Bayesian approaches provide a rigorous framework for UQ but remain computationally challenging for realistic three-dimensional PAT and are sensitive to numerical approximations in the governing wave equation. We develop a finite-element Bayesian UQ framework for PAT that accommodates complex computational domains and detector geometries while enabling large-scale three-dimensional inference. The proposed methodology reformulates the randomize-then-optimize (RTO) sampling strategy as a matrix-free algorithm that generates independent posterior samples using only forward and adjoint wave propagations. Particular attention is given to constructing an adjoint discretization that forms an exact transpose pair with the discrete forward operator while remaining consistent with the continuous PAT adjoint, enabling efficient least-squares solvers within the sampling procedure. We investigate the influence of temporal discretization, artificial boundary conditions, and adjoint consistency on posterior uncertainty and identify discretization strategies that avoid numerical artifacts. The framework is validated against exact posterior statistics, existing Bayesian PAT methods, and Hamiltonian Monte Carlo using the No-U-Turn Sampler (NUTS), and is demonstrated on a three-dimensional problem with approximately $2\times 10^5$ unknowns on a general finite-element domain. To the best of our knowledge, this is the first large-scale Bayesian PAT study on general three-dimensional finite-element geometries, and the methodology extends naturally to a broad class of linear PDE-constrained inverse problems.

In two dimensions, we develop a virtual element method to solve the Darcy's problem coupled with a nonlinear heat equation. This coupled model may allow for thermal diffusion and viscosity as a function of temperature. Under standard discretization assumptions and appropriate assumptions on the data, we prove the well posedness of the proposed numerical scheme. We also derive optimal error estimates under suitable regularity assumptions for the solution and appropriate assumptions on the data. We conclude with a series of numerical tests performed on different families of meshes that complement the theoretical findings.

The paper studies a Jacobi-type method for the eigenvalue problem of general complex matrices with simple eigenvalues. The method applies elementary triangular similarity transformations in order to annihilate selected off-diagonal elements and, when convergent, produces highly accurate eigenvalues. We give a new proof of its asymptotic quadratic convergence and derive an explicit, verifiable bound that describes the region in which this convergence is guaranteed. To make the method applicable well beyond matrices already close to the diagonal form, we introduce a preconditioning strategy. We use two types of preconditioners, both based on theoretical convergence results. The preconditioner is computed at lower precision to reduce computational cost, the associated similarity transformation is applied either at working or at higher precision, to preserve spectral information, while the main algorithm performs at working precision. Numerical experiments demonstrate that the resulting algorithm is robust and produces very accurate eigenvalues.

Physics-informed learning of partial differential equations (PDEs) has been dominated by multilayer perceptrons (MLPs), whose spectral bias and dense parameterization limit both accuracy and interpretability. Kolmogorov Arnold Networks (KANs) mitigate these limitations because their learnable spline activations are structurally aligned with the piecewise-polynomial bases of classical discretizations. However, the way a PDE is cast into a loss functional is as decisive as the choice of approximator: strong-form residual minimization requires high-order derivatives and heavily weighted losses, the energy (Bubnov-Galerkin) form is restricted to self-adjoint operators and, as we show, collapses to a trivial solution for parameter-identification problems, and boundary integral forms require a known fundamental solution. We propose PG-KINN, a physics-informed KAN built on a Petrov-Galerkin formulation in which the trial space is a KAN and the test space is an independent, compactly supported, piecewise-polynomial space evaluated with Gauss-Legendre quadrature. Integration by parts lowers the differentiation order while retaining applicability to general non-self-adjoint, nonlinear, and inverse problems; the localized test functions turn the global residual into a set of element-wise weak residuals with favorable conditioning. On a suite of benchmarks spanning crack singularities, stress concentration, Neo-Hookean hyperelasticity, inverse parameter identification in heterogeneous media, and complex geometries, PG-KINN consistently outperforms legacy MLP baselines and state-of-the-art KAN-based strong/energy/inverse formulations (PIKAN). These results position the Petrov-Galerkin coupling of KAN trial spaces and polynomial test spaces as a robust and accurate route for AI-based computational mechanics.

We consider the numerical solution of shape optimization problems for thermoelasticity with temperature-dependent material parameters. We show the existence of the shape derivative and derive an expression for generic functionals of domain integral type. Numerical results are presented for two settings: minimization of the compliance under a volume constraint, and minimization of the volume under a constraint on the $L^2$-norm of the von Mises stress. We use the finite element method for solving the underlying boundary value problems and the level set method for the representation of the actual domain.

This paper develops a wavenumber-explicit stability and preasymptotic error analysis for finite element approximation of the two-dimensional Helmholtz scattering problem with a uniaxial perfectly matched layer (UPML) truncation. The analysis is based on direct estimates of the stretched Green kernel associated with the Cartesian complex coordinate transformation. We establish explicit stability for the truncated UPML problem. In particular, we prove that the inf-sup constant of the truncated UPML formulation is $μ_L = O(k^{-1})$ in a natural $k$-weighted $H^1$ norm. As a consequence, we also obtain an exponential decay estimate for the PML truncation error. Based on this stability estimate, we formulate a linear continuous interior penalty finite element method (CIP-FEM) on the truncated UPML domain. A key ingredient of the analysis is to establish a piecewise $H^{1+s}$-regularity result (for any $0<s<1$), which accounts for coefficient jumps across PML interfaces and singularities induced by Cartesian corner geometries. This fractional regularity is sufficient to derive wavenumber-explicit preasymptotic error estimates. Numerical experiments confirm the theoretical predictions and illustrate the effectiveness of the UPML CIP-FEM in the high-frequency regime.

The Reissner-Simo and Hodges models are two equivalent continuous descriptions of finite-strain beam dynamics. The Reissner-Simo formulation uses displacements and rotations, while the Hodges formulation is intrinsic and avoids both variables. Although equivalent in theory, the two approaches behave differently after discretization and offer distinct numerical advantages. In this work, we develop a structure-preserving discretization of the intrinsic formulation. Because the intrinsic equations involve linear differential operators, both kinematic and dynamic boundary conditions can be imposed naturally using mixed finite elements. The resulting formulation also enables multibody systems to be assembled without algebraic constraints, avoiding the stiff differential-algebraic equations typically introduced by kinematic constraints. We demonstrate the approach on different examples, also showing that closed kinematic loops can be modeled without algebraic constraints. The resulting interconnected systems retain a port-Hamiltonian structure,with all nonlinearities confined to the interconnection operator. This structure allows exact energy preservation when combined with implicit midpoint time integration. Furthermore the scheme appear to require less Newton iterations compared to existing energy preserving scheme.

In this work, we propose high-order boundary-preserving numerical schemes for the strong approximation for some scalar stochastic differential equations with invariant domains being open and bounded intervals. The proposed methods involve using the Lamperti transform to map the SDE to another SDE with additive noise with a trivial invariant domain. Then, by imposing regularity assumptions on the original coefficient functions, we can guarantee that the drift coefficient function of the transformed SDE is regular, and known high-order schemes can be used to achieve the desired convergence order. We confirm the theoretical results with numerical experiments.

We introduce an optimization approach for constructing spherical quadrature rules on arbitrarily scattered data. Rather than designing node placements, the new approach focuses on optimally computing the weights for fixed configurations. Motivated by Pólya's necessary and sufficient conditions for quadrature convergence in 1933, we argue that pursuing weight positivity and high algebraic exactness for scattered data approximation is not necessary. To align the quadrature design with the underlying theory of approximation, we construct convex optimization models with suitable objective functionals by examining the accuracy of numerical integration with reproducing kernels of Sobolev spaces and the performance of hyperinterpolation with Marcinkiewicz-Zygmund (MZ) inequalities. The resulting optimization models encode the spatial distribution of the scattered sites and the analytic properties of the target function spaces. The proposed approach enables the derivation of rigorous theoretical stability bounds, and the resulting quadrature weights are efficiently computable by modern convex optimization techniques. Numerical results are reported to demonstrate the performance of the optimization approach for fundamental approximation tasks such as numerical integration and hyperinterpolation for scattered spherical data.

We propose a new Galerkin discretization scheme for wave scattering problems that is based on microlocalised basis functions. We show that the proposed method can be made uniformly accurate for large wavenumbers $k$ with a number of degrees of freedom only scaling as $k^{d-1/2}$, while leading to an essentially sparse linear system. In contrast, finite element methods are known to require a number of degrees of freedom scaling at least as $k^d$ to achieve the same property. A similar method based on a Gabor frame was previously introduced by two of the authors, but it was suffering from severe conditioning issues. In the present work, by replacing the Gabor frame by a Wilson basis, we completely alleviate this problem. We rigorously establish error estimates and condition number bounds for the proposed method, and we provide one-dimensional numerical examples illustrating our theoretical findings.

In a recent paper we have analyzed a new formulation of the coupling of finite and boundary element methods (FEM-BEM) for Helmholtz problems, involving several heterogeneous bounded subdomains and one homogeneous unbounded subdomain. This formulation, called Generalized Optimized Schwarz Method (GOSM), is substructured, that is, its unknowns are associated with the subdomains interfaces. To derive the GOSM, the first step was to prove that a solution to the Helmholtz problem satisfies a specific multi-domain variational formulation, which involves one operator for each subdomain, each operator being independent of the others. In the present contribution, we design a variational formulation of that type for a more general geometrical and material configuration: several heterogeneous bounded subdomains, impenetrable obstacles and homogeneous subdomains are allowed. Note that, like in our recent paper, we assume that only one subdomain is unbounded, and that its boundary is bounded. The domain partition can have cross-points, that is, points where at least three subdomains are adjacent. We also prove that a solution to the initial Helmholtz problem can be recovered from a solution to the multi-domain variational formulation. This shows that the GOSM is a general and flexible framework to model acoustic wave propagation, as it can handle both multi-domain FEM-BEM coupling and (weakly imposed) boundary conditions on several obstacles.

Random-feature methods reduce high-dimensional elliptic PDE collocation to linear coefficient problems, but full-dimensional trial spaces overlook lower-dimensional structure. We introduce the Hierarchical Analysis-of-Variance Random Feature Method (HA-RFM), which selects coordinate blocks using closed Sobol indices of the PDE residual, identifies oblique low-rank features from fitted-predictor gradients, and couples all retained features in one regularized least-squares solve. Under structural and stability hypotheses, we establish an $L^2$ error bound that links solution and residual truncation to finite-width approximation and regularized finite-sample fitting, and we derive guarantees for width and structure recovery. The resulting width is polynomial in the dimension at fixed interaction order, with dimension-independent higher-order contributions under uniform structural control. Residual screening achieves exact recovery of the prescribed three-pair support, while fitted-predictor gradients recover oblique directions through dimension $50$. In random-ridge tests, less than $1\%$ additional width reduces errors by factors of $14$-$39$ over coordinate blocks and $34$-$100$ over equal-width full-dimensional RFM. Semilinear computations extend HA-RFM through dimension $100$, while dense and distributed interactions delineate the coordinate families required for broader structure.

Phase-field models based on the Cahn--Hilliard equation coupled with dynamic boundary conditions provide a thermodynamically consistent framework for moving contact line (MCL) problems. Although physics-informed neural networks (PINNs) offer a mesh-free approach for solving partial differential equations, their direct application to MCL problems remains challenging due to long-time error accumulation, sharp interfacial profiles, localized contact line dynamics, and complex contact angle evolution. In this work, we propose MCL-PINNs, a specialized phase-field neural solver designed for MCL problems with dynamic boundary conditions. The method is built on a discrete-time formulation and incorporates several key techniques, including a multi-network time-marching scheme, a relaxed distribution constraint on the neural network outputs, variable scaling for sharply varying solution features, adaptive loss weighting, adaptive collocation sampling with interface extraction, and, when applicable, symmetry preservation through neural network inputs. These techniques improve the capability of the neural solver in resolving sharp interfacial profiles and contact line motion. The proposed method is validated through three numerical examples involving droplet coalescence, shear-induced droplet deformation, and dynamic wetting in a heterogeneous channel. The numerical results show that MCL-PINNs significantly improve prediction accuracy and robustness compared with standard PINNs formulations, enabling reliable resolution of complex interfacial evolution and moving contact line dynamics.

Existing approaches to frictional contact dynamics typically either modify the Coulomb law to improve numerical robustness or solve the exact law in a fully coupled monolithic form. However, in its reduced form, exact Coulomb friction can be written as a cone complementarity problem with an augmented velocity, which reveals a natural split between a cone-constrained linear response and a scalar non-associated coupling induced by tangential velocity. We exploit this structure in the solver design. Our method uses an outer iteration to update the non-associated coupling explicitly, and an inner solve for a strongly convex cone-constrained quadratic program. This separation also makes the inner solver modular, so different numerical schemes can be used without changing the outer iteration. We evaluate the method on rigid-body benchmarks with stick-slip transitions and frictional stacking, and show that it reproduces exact Coulomb complementarity without smoothing or relaxing the friction law.

Controlling the Lipschitz constant of a neural network is a standard way to promote robustness and stability. Most existing constraining strategies are designed for Euclidean spaces. In this work, we construct and analyze a class of 1-Lipschitz neural networks on Hadamard manifolds. Our layers are of gradient-descent type, $1$-Lipschitz, and quasi-$α$-firmly nonexpansive. The core building blocks of the proposed architecture are Busemann functions, and we exploit the properties of Busemann gradient flows to design $1$-Lipschitz geometry-preserving layers. We provide explicit constructions and examples for hyperbolic manifolds and the manifold of symmetric positive definite (SPD) matrices. We test the proposed architecture in two numerical experiments: robust classification on the Poincaré disk and masked-Wishart covariance reconstruction. On the Poincaré disk, the proposed networks yield robust classifiers under hyperbolic perturbations. On the SPD manifold, we train SPD-valued denoisers and adopt them as a Plug-and-Play prior for a masked-Wishart covariance reconstruction problem. We show improved results from the nonexpansive denoiser over static, data-only, and Log-Euclidean denoising baselines, and empirically test its convergence properties.

We resolve the ENO--TV conjecture, a discrete coercivity problem in compactness theory for entropy-stable approximations of hyperbolic conservation laws. For order-$k$ essentially non-oscillatory (ENO) reconstruction from compactly supported cell averages, it asks whether the nonnegative ENO source times the $(k-1)$st power of the amplitude uniformly controls the $(k+1)$st absolute-jump moment. We prove a parity dichotomy: the estimate holds for odd $k\ge3$ and fails for even $k\ge4$; the known second-order case completes the classification. Localization gives a selection-independent finite-difference functional uniformly comparable to the source and reduces the conjecture to discrete interpolation. For odd orders, summation by parts reveals a hidden square; a discrete Gagliardo--Nirenberg inequality yields coercivity. For even orders, Euler-polynomial blocks from the functional's polynomial kernel yield counterexamples that persist under arbitrarily small perturbations making all affected ENO comparisons strict. We also prove two coercive estimates for every $k\ge2$: control of jumps larger than a fixed fraction of the amplitude and of local blocks modulo sampled polynomials of degree at most $k-2$. Via the Cayley--Sylvester decomposition, we compute the dimensions of homogeneous first-cohomology spaces for the lattice shift on polynomial jump profiles. At fourth order, for a cubic flux and a globally strictly convex entropy, a total-degree-seven component of a reduced entropy-flux mismatch represents a nonzero class on profiles of degree at most two and hence has no translation-invariant finite-stencil $C^7$ local primitive at the zero constant state. Odd-order coercivity persists on globally quasi-uniform meshes, whereas for each $k\ge2$ it fails on a fixed irregular mesh even though every interface contribution remains nonnegative. This failure is due to the mesh geometry.

We study the nuclear-norm error of a column-selected Nyström approximation to $K=(L+γI)^{-1}$, where $L$ is symmetric diagonally dominant and $γ>0$. Our central question is whether this error has diminishing returns. A Schur-complement identity reduces the question to traces of inverses of principal submatrices. Existing $M$-matrix results settle the case in which $L$ is a symmetric diagonally dominant $M$-matrix (SDDM). However, diagonal dominance alone is not enough: failure occurs already in dimension three. We construct an exact one-parameter SDD family and determine its sharp failure interval. A $2\times2$ identity proves that dimension three is minimal within the SDD class. We then show that failure persists under strict diagonal dominance; with a nonempty selected base set, dimension four is minimal. Finally, we prove invariance under signature switching, derive a three-dimensional formula showing how a signed triangle causes failure, and give an example in which greedy column selection misses the optimal pair. Together, these findings complete the answer to Problem 4.6 in a recent Simons workshop report.

In this paper, we propose a weighted inverse Lax-Wendroff (WILW) boundary treatment for the discontinuous Galerkin (DG) method on unfitted meshes to efficiently solve hyperbolic conservation laws in complex geometries. The proposed method employs the standard DG scheme for interior cells and reconstructs high-order approximation polynomials via the ILW principle for cut cells near boundaries to impose numerical boundary conditions, effectively eliminating the time-step restriction typically caused by small cut cells. In particular, to address the sensitivity of numerical errors to the geometric size of cut cells in the basic ILW scheme, we raise the reconstruction order at the boundary, ensuring that accuracy becomes independent of the cut-cell size. Furthermore, it incorporates a weighted least-squares reconstruction to reduce the need for complex high-order boundary derivatives during construction. As a result, the method maintains high-order accuracy while significantly improving computational efficiency for multi-dimensional problems. Finally, the stability of the proposed method is theoretically validated through linear stability analysis, and the effectiveness and robustness of the proposed scheme are numerically verified through a series of one-dimensional and two-dimensional numerical experiments for scalar and system equations.

For a class of superlinear SPDEs driven by multiplicative noise, we prove an (essentially) sharp uniform-in-time (UIT) weak convergence rate for the nonlinearity-explicit Galerkin tamed Euler method (GTEM). Under standard monotonicity assumptions, the proof combines Malliavin calculus with regularity theory for the associated backward Kolmogorov equation (BKE), leading to UIT moment, Hölder, and Malliavin estimates, along with regularity estimates for the BKE solution. These estimates, together with a weak error decomposition and Malliavin integration by parts (IBP) formula, then yield a UIT weak convergence rate $τ^ρ+λ_N^{-ρ}$ for any $ρ\in (0,1)$. Consequently, we obtain a sharp ergodic error estimate between the exact and numerical invariant measures. Numerical experiments support the theory.

In this work, we investigate the numerical approximation of degenerate Langevin-type stochastic partial differential equations (SPDEs) in two spatial dimensions. These SPDEs arise in stochastic dynamics and mathematical finance, among other applications. In order to handle the mixed deterministic-stochastic structure of the equation and the degeneracy of the differential operator, we propose a semi-implicit Milstein finite difference scheme for the numerical solution. Through the Fourier analysis of the mean-square stability and convergence, we derive explicit conditions on the coefficients under which the scheme is stable, jointly with explicit convergence rates in terms of the discretization parameters. We further embed the proposed scheme within a Multilevel Monte Carlo (MLMC) framework to reduce the computational cost associated with SPDE simulations, and we derive its theoretical computational complexity. Numerical experiments confirm theoretical convergence rates and show that the MLMC strategy achieves an accuracy comparable to standard Monte Carlo at a fraction of the computational cost, reducing the complexity from $\mathcal{O}(\varepsilon^{-5})$ to $\mathcal{O}(\varepsilon^{-3})$ for a target root-mean-square error $\varepsilon$. These results show that combining semi-implicit Milstein schemes with MLMC techniques provides an effective approach for the numerical simulation of Langevin-type SPDEs.

Motivated by the numerical computation of the Mean Escape Time (MET) $τ:Ω\to\mathbb{R}$ of a stochastic process from a bounded domain $Ω\subseteq\mathbb{R}^d$, we study elliptic Dirichlet boundary value problems (BVPs) using boundary-enforced Physics-Informed Neural Networks (PINNs), in which the Dirichlet condition is imposed exactly by multiplying the network output with a predefined distance-to-boundary approximation $ρ$. Combining approximation-theoretic and statistical-learning arguments for Rectified Quadratic Unit (ReQU) and hyperbolic tangent (tanh) networks, we derive a priori error bounds that make explicit the dependence on $ρ$. In particular, we show that exact boundary enforcement alone is not enough for $H^2(Ω)$ error bounds, and that a sufficient and essentially necessary condition is for $ρ$ to be a smooth distance approximation $\textit{normalized to first order}$, of the kind constructed in arXiv:2104.08426 [math.NA]. We thereby identify this subclass of $\textit{boundary-adapted}$ PINNs as the appropriate neural network ansatz for solving Dirichlet BVPs. Numerical experiments support the theory, showing that appropriate choices of $ρ$ improve accuracy and convergence, while poorly chosen distance functions can substantially degrade the solution. Our proof also yields new VC-dimension bounds for hypothesis spaces of higher-order derivatives of ReQU and tanh networks, together with new approximation bounds for shallow ReQU networks in higher-order Sobolev norms, all of which are of important independent interest.

A randomized Singly Diagonally Implicit Runge-Kutta (SDIRK) method, based on the randomized trapezoidal rule as the underlying quadrature scheme, is proposed. Every realization of the scheme is an algebraically stable SDIRK method of at least second order. The main result is the proof that the randomized scheme converges with order 2.5 in the root mean square sense under low regularity assumptions. Numerical experiments illustrate the robustness of the new scheme when applied to nonsmooth problems.

Summation error depends on partial-sum order, which standard worst-case bounds omit. To capture this dependence, we derive an exact mean-square error (MSE) recurrence for a binary reduction tree T under conditionally unbiased rounding. With unit roundoff u, the constant-nu model sets the local variance at pre-rounding value x to nu u^2 x^2. Its leading tree-dependent cost for the input vector p is p^T K_T p, where the common-ancestor kernel K_T counts the internal ancestors shared by each pair of leaves. For i.i.d. inputs of mean mu and variance tau^2, this expected cost is tau^2 Lambda_1(T) + mu^2 Lambda_2(T), where Lambda_1 is total leaf depth and Lambda_2 sums squared internal-subtree sizes; Lambda_1 governs centered inputs, while Lambda_2 captures nonzero means. We use these statistics to characterize optimal tree topologies and schedules. Balanced and sequential trees attain the centered extrema. For k inputs, optimal two-stage sequential blocking yields root-mean-square (RMS) error scaling as k^{3/4}. For fixed-stage hierarchies, geometric schedules are optimal for centered inputs, whereas the optimal noncentered stage exponents halve successively. For independent centered inputs with unequal variances, Huffman coding minimizes variance-weighted depth over free leaf assignments. We extend the kernel to matrix multiplication through operand Gram matrices. We then test the approximation under round-to-nearest using exact residuals. Across binary64, binary32, and software-emulated binary16 and bfloat16, the model recovers the ordering among tree topologies; K_T tracks AR(1) partial-sum costs. For GEMM, independently calibrated predictions differ from measurements by at most 3% on the tested grid. A reduction tree extracted from an array library predicts the measured RMS scaling. However, stagnation and bias in positive low-precision sums limit the model's applicability.

We study low-precision computation of C=AB with both factors quantized. We derive an exact finite-dimensional identity for the expected squared product error under independent, zero-mean entrywise errors with known variance fields; it holds exactly for non-overloading subtractive dither and for independent stochastic rounding, and we empirically assess deterministic round-to-nearest (RTN). Using the product-preserving equivalence AB=(AT)(T^{-1}B), we formulate contraction-gauge preconditioning: jointly choosing a factor representation and its sharing pattern before quantization. Preconditioning can reduce product error but may require extra transformed, quantized copies of the opposite operand: a shared transform needs one copy, a block-specific transform up to one per block. Within the bounded family of positive diagonal gauges (folds), a geometric program computes a globally optimal shared fold and a linear program decides whether the identity fold is already optimal. For other families we derive computable selection statistics -- tail index for scaling, profile spread for partitioning, coherence and weighted-Gram energy for rotations, slice-energy covariance for hierarchy depth -- with upper bounds for ranking heuristic candidates. Across twelve linear products from a trained three-block image classifier, median within-product rank correlations between dither-model predictions and deterministic-RTN errors are 0.937 at 8 bits and 0.918 at 4 bits. The GP fold cuts held-out product error over the identity fold by 18.0% (8-bit) and 20.5% (4-bit) in geometric mean, beats a SmoothQuant-style grid baseline at both precisions and on ten of twelve products, and lowers composed logit MSE by 15.4% and 26.4%. We thus provide exact stochastic product-error accounting, certified selection within the diagonal family, and a common objective for evaluating reusable transform candidates under RTN.

Thin current sheets are central small-scale structures in electron magnetohydrodynamics (EMHD), closely associated with energy dissipation and fast magnetic reconnection at electron scales. We study their formation numerically in a $2\frac{1}{2}$-dimensional EMHD system on a periodic domain with split fractional dissipation, where the magnetic potential and the vertical magnetic component are damped separately. The local theory is governed by a symmetric combined damping balance, but the numerical onset of small-scale growth need not follow this symmetry. A scaling analysis identifies the out-of-plane current as the primary concentration observable, since it is regularized only through the magnetic-potential equation. Using a validated Fourier pseudospectral exponential time-differencing solver with resolution-controlled diagnostics, we find a clear decay/concentration dichotomy. The onset boundary is markedly asymmetric: current-sheet formation appears to be controlled mainly by damping of the magnetic potential, rather than by the combined damping strength. The analyticity strip collapses to the grid scale, the concentration sharpens under grid refinement, and the observed growth is consistent with an energy-critical self-similar rate, with exponent near three. These experiments indicate that magnetic-potential damping is the apparent binding constraint for current-sheet concentration, refining the symmetric sum picture.

We present anyakrakusuma, an open-source Python library that solves the discrete static Schrödinger bridge problem, the entropically regularized counterpart of optimal transport, through a log-domain Sinkhorn--Knopp iteration and reconstructs the entropic interpolation between two empirical point clouds. The solver is paired with a diagnostic pipeline that characterizes the optimal coupling and the intermediate distributions through information-theoretic and geometric measures. We exercise the library on four idealized planar cases spanning a circle-to-circle dilation, a spiral-to-mixture fragmentation, a rigid reorientation of two moons, and a Lissajous-to-trefoil deformation. The log-domain formulation is necessary rather than merely convenient at the parameters studied, where the cost-to-regularization ratio reaches four hundred and the Gibbs kernel underflows double precision across most of its range; the iteration nonetheless attains a marginal residual of $10^{-9}$ and unit marginal fidelity in every case. Residual histories decay geometrically over approximately eight decades at per-iteration contraction factors between $0.966$ and $0.976$, which are local rates near the fixed point that lie many orders of magnitude below the worst-case Hilbert-metric bound. The covariance analysis recovers an imposed ninety-degree reorientation to within $0.07^\circ$, roughly forty times smaller than its uncertainty, across a masked interval of near-isotropy on which the principal axis is unobservable. The diagnostics are reported with explicit attention to the regimes in which each is well defined, including the differential entropy, which is meaningful only on the open interpolation interval. The presented cases are constructed rather than measured; quantitative application to empirical point clouds requires further study.