https://arxiv.org/api/tg2nscqLwSJRxqAyBNr7HngZI6M 2026-06-21T15:04:06Z 49870 120 15 http://arxiv.org/abs/2511.07838v2 2026-06-15T12:37:28Z

In this work, we propose a systematic derivation of resonance-based schemes via normal forms. The main idea is to use an arborification map on decorated trees together with a Butcher-Connes-Kreimer type coproduct and lower-dominant parts decompositions of the Fourier operator coming from the nonlinear interactions. This new family of low regularity schemes has explicit formulae for its coefficients and its local error. Under a mild assumption, one could expect these schemes to have a similar local error as the low regularity schemes proposed in arXiv:2005.01649.

2025-11-11T05:12:57Z 38 pages Yvain Bruned http://arxiv.org/abs/2606.16643v1 2026-06-15T12:33:35Z

We study the kernel-based multilevel method for approximating or learning a multivariate function from scattered data, motivated in part by recent applications in sparse grid methods. For nested families of point sets, we derive a nodal representation of the multilevel interpolant that depends explicitly on the values of the target function. This representation allows us to characterize the range of the associated interpolation operator and to construct a cardinal basis for this space. We prove that the resulting basis functions exhibit exponential decay, analogous to the localization properties known for certain kernel-based Lagrange functions. We further analyze the computational cost of the resulting formulation. For non-nested families of point sets, we derive a generalized nodal representation.

2026-06-15T12:33:35Z Lorenz Gollwitzer Rüdiger Kempf Holger Wendland http://arxiv.org/abs/2606.16602v1 2026-06-15T11:50:35Z

Neural operator models trained on simulation data often lose accuracy when applied to experimental measurements due to the sim-to-real gap. Standard fine-tuning with limited real data can reduce this gap, but it may also damage the core physics-relevant representations learned during pretraining. Although knowledge-preserving adaptation has been widely investigated in vision or language tasks, it remains unclear whether these methods are suitable for neural operators whose architectures and protected knowledge are fundamentally different. Neural operators need to preserve core-scale physical structures rather than semantic or visual features. We propose PhysGuard, a physics-preserving framework for accurate sim-to-real adaptation of neural operators. Specifically, PhysGuard uses the empirical Fisher Information Matrix computed on simulation data to identify physics-critical parameter directions, then restricts fine-tuning updates to directions that do not interfere with them. A layer-wise Gram-matrix formulation makes this efficient for models with millions of parameters, while an adaptive threshold automatically determines the protected subspace size. A spectral probe experiment shows that the dominant Fisher directions are strongly associated with low-frequency output structures. Experiments on benchmark across four neural operator architectures and different physical systems show that PhysGuard performs strongly on most evaluation metrics compared to baselines. The benefits are most evident under severe domain shift, where it reduces low-frequency error by up to 32\% compared to standard fine-tuning while maintaining adaptability. Our code is available at https://github.com/ZhouChaunge/PhysGuard.

2026-06-15T11:50:35Z Changjian Zhou Junfeng Fang Negin Yousefpour Peng Wu Bin Yan Guillermo A Narsilio http://arxiv.org/abs/2606.16578v1 2026-06-15T11:23:26Z

Monte Carlo methods have proven highly effective for elliptic partial differential equations through algorithms such as Walk on Spheres and Walk on Stars, which evaluate solutions at individual points without volumetric meshing or global linear solves. Extending these methods to the transient regime has remained an open challenge: parabolic equations couple space and time through an anisotropic scaling, requiring joint sampling of spatial displacements and backward time steps whose distribution was not previously available in a unified, exact form. We present Walk on Heat Stars, a grid-free Monte Carlo solver that closes this gap by extending the boundary integral framework of Walk on Stars to the parabolic setting. Our method introduces a non-cylindrical boundary integral formulation that accommodates the time-varying domains induced by heat-ball sampling. The heat ball geometry is parameterized by a logarithmic time coordinate and a spatial direction, revealing that the double-layer kernel factorizes into independent Gamma and uniform components. This factorization enables exact directional importance sampling of the recursive next walk position, the Neumann flux contribution, and the volumetric source term. We further derive a decoupled gradient estimator that expresses spatial derivatives as weighted boundary integrals of the solution, requiring no recursion on the gradient, and adapt a heteroscedastic regression-based denoiser to the space-time domain for variance reduction. We validate our method on analytical solutions across a range of geometries and spatial frequencies, confirm convergence at the expected Monte Carlo rate, and demonstrate practical applicability on heat sink and cooling scenes with mixed or pure Neumann boundary conditions.

2026-06-15T11:23:26Z Anchang Bao Enya Shen Jianmin Wang http://arxiv.org/abs/2505.08461v3 2026-06-15T11:06:36Z

An optimal and robust low-order nonconforming finite element method is developed for the strain gradient elasticity (SGE) model in arbitrary dimensions. An $H^2$-nonconforming quadratic vector-valued finite element in arbitrary dimensions is constructed, which together with the Nitsche's technique, is applied for solving the SGE model. The resulting nonconforming finite element method is optimal and robust with respect to the Lamé coefficient $λ$ and the size parameter $ι$, as confirmed by numerical results. Additionally, nonconforming finite element discretization of the smooth Stokes complex in two and three dimensions is devised.

2025-05-13T11:41:24Z 29 pages, 1 figure Jianguo Huang Xuehai Huang Zheqian Tang http://arxiv.org/abs/2606.16563v1 2026-06-15T11:05:00Z

In this paper, we present a structure-preserving rotational discrete gradient method of the full Ericksen-Leslie model for nematic liquid crystal flows with general anisotropic Oseen-Frank elasticity and full Leslie stress. The main difficulty resides in preserving both the pointwise unit-length constraint on the director field and the energy-dissipation at the discrete level, which involves high nonlinearities in the interplay between the length constraint, anisotropic elastic energy, and hydrodynamic couplings. To address this issue, we first reformulate the Ericksen-Leslie system into an equivalent rotational form in which the director evolution is intrinsically tangent to the unit sphere and the coupling terms in the Leslie and Ericksen stresses are reorganized so that the energy exchange and dissipation structure become explicit. Based on this reformulation, we construct rotational discrete gradient schemes that preserve the director length and satisfy an unconditional discrete energy law, together with a fully discrete scheme based on an exact divergence-free spectral approximation. Numerical experiments verify the accuracy, unit-length preservation and energy-stability of the proposed method, and illustrate dynamical effects induced by anisotropic elastic coefficients and shear flow in the full Ericksen-Leslie model.

2026-06-15T11:05:00Z Hanbin Wang Jie Xu Zhiguo Yang http://arxiv.org/abs/2606.16510v1 2026-06-15T10:13:50Z

This study proposes a Petrov-Galerkin based Variational Physics-Informed Neural Network (VPINN) for efficiently solving two-dimensional singularly perturbed problems (SPPs) with one and two small perturbation parameters. The approach employs neural networks to construct the trial solution space, while tensor-product hat functions are adopted as test functions to enforce the variational form. To accurately resolve of sharp boundary layers, the variational form is implemented using a Petrov-Galerkin formulation. Dirichlet boundary conditions are imposed directly, while the source terms are computed using automatic differentiation. Computational experiments on standard two-dimensional problems demonstrate that the proposed method achieves high accuracy in both the maximum and L_2 norms. These results confirm the efficiency and robustness of the Petrov-Galerkin VPINN approach in accurately capturing the multiscale features of two-dimensional SPPs.

2026-06-15T10:13:50Z Vijay Kumar Gautam Singh http://arxiv.org/abs/2503.14750v3 2026-06-15T09:37:30Z

This book is about solving matrix nearness problems that are related to eigenvalues or singular values or pseudospectra. These problems arise in great diversity in various fields, be they related to dynamics, as in questions of robust stability and robust control, or related to graphs, as in questions of clustering and ranking. Algorithms for such problems work with matrix perturbations that drive eigenvalues or singular values or Rayleigh quotients to desired locations. Remarkably, the optimal perturbation matrices are typically of rank one or are projections of rank-1 matrices onto a linear structure, e.g. a prescribed sparsity pattern. In the approach worked out here, these optimal rank-1 perturbations will be determined in a two-level iteration: In the inner iteration, an eigenvalue optimization problem for a fixed perturbation size is to be solved via gradient-based rank-1 matrix differential equations. This amounts to numerically driving a rank-1 matrix, which is represented by two vectors, into a stationary point, mostly starting nearby. The outer iteration determines the optimal perturbation size by solving a scalar nonlinear equation. A wide variety of matrix nearness problems, as outlined in the introductory Chapter I, will be tackled in Chapters II to VIII by such an approach and its nontrivial extensions.

2025-03-18T21:37:42Z 253 pages, Version 2 Nicola Guglielmi Christian Lubich http://arxiv.org/abs/2606.16463v1 2026-06-15T09:32:23Z

This article develops a geodesic interpolation framework for data on the Grassmann manifold. The motivation is that many matrix-valued data sets represent subspaces rather than fixed bases: if the columns of two matrices differ only by a right orthogonal transformation, then they describe the same point on $Gr(r,m)$. Interpolation should therefore be invariant under this basis ambiguity. We first introduce $GLERP$, a Grassmann analogue of spherical linear interpolation defined by the Grassmann exponential and logarithm maps. The method follows the constant-speed geodesic joining two nearby subspaces and is second-order accurate for smooth Grassmann-valued curves under the usual normal-neighborhood condition. We then define $GIDER_n$, a recursive higher-order construction obtained by replacing each affine interpolation step in Neville's algorithm by $GLERP$. The resulting interpolant matches $n+1$ subspace data exactly, is basis-invariant, and is locally of order $n+1$ for sufficiently smooth curves. We compare the construction with tangent-space interpolation and projection-matrix interpolation, discuss intrinsic and extrinsic error measures, and present numerical tests. The results confirm the expected convergence orders and show that $GIDER_n$and tangent-space interpolation are nearly indistinguishable in a smooth local regime, while projection-matrix interpolation provides a useful extrinsic baseline. We also outline how the recursive construction can be used as the basis of a Grassmann ENO procedure.

2026-06-15T09:32:23Z Shingyu Leung http://arxiv.org/abs/2601.06535v2 2026-06-15T09:26:15Z

Physical units are fundamental to scientific computing. However, many finite element frameworks lack built-in support for dimensional analysis. In this work, we present a systematic framework for integrating physical units into the Unified Form Language (UFL). We implement a symbolic \texttt{Quantity} class to track units within variational forms. The implementation exploits the abelian group structure of physical dimensions. We represent them as vectors in $\mathbb{Q}^n$ to simplify operations and improve performance. A graph-based visitor pattern traverses the expression tree to automate consistency checks and factorization. We demonstrate that this automated nondimensionalization functions as the simplest form of Full Operator Preconditioning. It acts as a physics-aware diagonal preconditioner that equilibrates linear systems prior to assembly. Numerical experiments with the Navier--Stokes equations show that this improves the condition number of the saddle-point matrix. Analysis of Neo-Hooke hyperelasticity highlights the detection of floating-point cancellation errors in small deformation regimes. Finally, the Poisson--Nernst--Planck system example illustrates the handling of coupled multiphysics problems with derived scaling parameters. Although the implementation targets the FEniCSx framework, the concepts are general and easily adaptable to other finite element libraries using UFL, such as Firedrake or DUNE.

2026-01-10T11:32:30Z 29 pages; v2 fixes missing 3rd-order bulk terms in Eq. (58) and (90), missing v_ref in convective term in Eq. (44), vectors in Eq. (9) and other minor improvements Michal Habera Andreas Zilian http://arxiv.org/abs/2606.16293v1 2026-06-15T06:55:23Z

For higher-order discretizations of explicit dynamics problems, Isogeometric Analysis (IGA) has several favorable properties as compared to classical Finite Element Analysis (FEA). While FEA produces spurious modes at orders beyond linear, this is not the case for IGA. Consequently, fewer degrees of freedom are required for comparable accuracy, larger timesteps can be taken, and the method is more robust for nonlinear problems. If outlier modes are removed, the timestep even becomes virtually independent of the order. In this paper, we investigate how these advantages apply to the poroelastic continuum model. We consider both a primal formulation, wherein our variables are the displacement of the matrix material, the fluid displacement, and the pressure, as well as a reduced form wherein the pressure is eliminated. For our discretizations, we employ divergence-conforming spline spaces. Conforming spline spaces for the fluid displacement ensure inf-sup stability for the primal form, as well as a correct null space in the reduced form. Furthermore, we prove and demonstrate that the two formulations coincide when both displacements are discretized with conforming spline spaces. Through spectral analysis, we find that the aforementioned benefits of IGA do carry over directly to the context of poroelasticity. In 1D, we split the discrete spectrum into fast and slow waves. When normalized against an analytical solution, each of these sub-spectra closely resembles results known in elasticity. Consequently, when poroelasticity is discretized with outlier-free IGA, the timestep is essentially independent of the order. We show this timestep scaling in 2D as well.

2026-06-15T06:55:23Z 46 pages, 19 figures Maarten M. Hodzelmans René R. Hiemstra Joris J. C. Remmers Clemens V. Verhoosel http://arxiv.org/abs/2604.22908v2 2026-06-15T06:38:24Z

Determination of the electric potential of insulated conducting objects is an important problem both theoretically and practically. For an insulated conducting object in the presence of external charges or charges distributed on the object surface, the problem of potential determination is reformulated using a newly introduced $J$ formalism. Using the $J$ formalism, it is shown how the electric potential can be calculated exactly for spherical objects and efficiently approximated for other object geometries using geometrical properties of the insulated conducting object. This approach does not require calculation of the surface charge distribution at the object surface of the calculation of the electric potential in the surrounding space. Properties and the performance of the approach are investigated numerically using the Robin Hood method. Possible applications of the approach based on the $J$ formalism are outlined for calculation of capacitance of conducting objects.

2026-04-24T17:05:50Z 22 pages, 13 figures Karlo Filipan Hrvoje Štefančić http://arxiv.org/abs/2606.16251v1 2026-06-15T05:53:31Z

This paper introduces a unified abstract variational and topological framework to characterize the spectral gap and eigenvalue distribution in high-contrast multiscale partial differential equations (PDEs). We rigorously prove that the exact location of the spectral gap is universally determined by the dimension of the local null space associated with the high-contrast inclusions. For systems with infinite-dimensional kernels, this location is strictly determined by the topological Betti numbers. Furthermore, we establish a multiscale Weyl's law via a spectral decoupling theorem, demonstrating that as the contrast approaches infinity, the multiscale spectrum bifurcates into two independent components: the Dirichlet spectrum of the background matrix and the internal Neumann spectrum of the inclusions. Using spectral homogenization theory, we also show that in the limit of vanishing periodicity, this expanding topological eigenspace asymptotically spans the entire spectral space of the macroscopic homogenized operator. These theoretical results are comprehensively verified through numerical experiments on diffusion, elasticity, fourth-order plate, Maxwell, and grad-div operators.

2026-06-15T05:53:31Z 27 pages Eric T. Chung Lijian Jiang Yajun Wang http://arxiv.org/abs/2606.16217v1 2026-06-15T04:49:46Z

Exact diagonalization of quantum lattice Hamiltonians returns floating-point eigenvalues whose accuracy is not certified: rounding error, eigensolver behaviour, and ill-conditioning can corrupt a result without warning. We present \texttt{symveig}, a pure NumPy/SciPy package that computes rigorous, machine-checkable enclosures of all eigenvalues of a Hermitian matrix, with an optional symmetry-sector decomposition. For a matrix that commutes with an abelian conserved quantity diagonal in the working basis (for example the total magnetization of a spin model), the package verifies each symmetry sector independently. Because each sector block is much smaller than the full matrix, this yields enclosures that are both tighter (by a factor of $3$-$9$ across system sizes $L = 4$-$12$) and dramatically faster (a wall-clock speedup of up to $130\times$ at $L = 12$) than verifying the full matrix, while never forming or diagonalizing it. Every enclosure half-width is a guaranteed upper bound on the distance from a computed eigenvalue to the nearest true eigenvalue under IEEE~754 round-to-nearest arithmetic, obtained by explicit floating-point error analysis with no heuristic slack. The implementation requires neither INTLAB nor MATLAB, bringing rigorously verified eigenvalue enclosure into the standard scientific-Python stack used in computational physics. We validate the package on $1$D Heisenberg (open and periodic), $J_1$-$J_2$ Heisenberg, and $2$D Heisenberg lattices, confirming that every computed eigenvalue is contained in its enclosure across all tested configurations.

2026-06-15T04:49:46Z 17 pages, 4 figures, 2 tables. Code available at Zenodo: \url{https://doi.org/10.5281/zenodo.20695554} and Github: \url{https://github.com/sarang-kernel/symveig.git}. Submission to CPC, Elsevier Sarang Vehale Ritu Goel http://arxiv.org/abs/2606.16192v1 2026-06-15T04:10:38Z

We construct an infinite-lattice discrete Calderón projection for the Helmholtz equation by convolution with the lattice Green's function (LGF), and apply it to active noise shielding and confinement on Cartesian grids with arbitrary geometry. The LGF fixes the outgoing radiation condition and removes the geometry-dependent auxiliary Helmholtz problem and artificial outer boundary from the projection and control synthesis; its finite numerical tabulation depends only on $(h,k)$ and is reusable across geometries. We prove idempotence, characterize the range as the trace space of interior lattice-Helmholtz solutions, and establish range equivalence with a well-posed Tsynkov-type projection. The two projectors coincide as operators when the auxiliary problem reproduces the exact lattice radiation condition. A capacity-matrix realization yields closed-form shielding and confinement densities supported on the exterior and interior sublayers of a single lattice boundary strip, respectively. For pure-noise shielding, exterior-sublayer measurements suffice under explicit invertibility assumptions; preservation of an unknown wanted interior field requires the full strip trace. Experiments on circular, L-shaped, and star-shaped regions verify machine-precision cancellation for LGF-consistent sources and near-second-order convergence for analytic plane waves and point sources. Conditioning and measurement noise tests quantify the configuration dependence of the reconstruction.

2026-06-15T04:10:38Z Qing Xia