https://arxiv.org/api/8WmlANO2r2q42h/RLNdmqa4y0Tw 2026-03-22T17:31:02Z 48280 105 15 http://arxiv.org/abs/2603.15210v1 2026-03-16T12:51:01Z

The sharp increasing in fabrication capabilities of nanomaterials, and complex structures such as meta-surfaces and metalens, has opened to the possibility of employing them for accurately control the electromagnetic field, beyond the possibility ensured by traditional devices. The demand for large scale structures and more complex functionalities from meta-surfaces lead to the research for advanced techniques of inverse design, able to conjugate the ability to produce effective designs and limited computational cost. Among the various approaches for inverse design of large meta-surfaces, the ones based on the adjoint variable method are appealing since able to ensure a minimal computational cost for the gradient computation of the cost function. In this work, a systematic methodology for the application of the adjoint variable method for large meta-surface design is presented. The method is based on: (i) a parametrization of the relevant geometric parameters of the meta-atoms, (ii) the fast computation of the gradient with respect such parameters, allowing for the implementation of general affine transformations during the optimization process. The main findings are first theoretically justified and a numerical validation is provided to show the effectiveness of the proposed approach.

2026-03-16T12:51:01Z Vincenzo Mottola Luisa Faella Carlo Forestiere Antonello Tamburrino http://arxiv.org/abs/2603.12809v2 2026-03-16T12:08:10Z

An approximation of a system coupling the cross-diffusion of chemical species within a solvent, subjected to an electric field, is obtained through a control volume finite element (CVFE) scheme on general simplicial meshes in two or three space dimensions. The discrete unknowns of the numerical scheme are derived from the chemical potential of the species. The scheme is designed in order to fulfill entropy inequalities, yielding compactness properties for the discrete solutions and convergence to a weak solution of the continuous problem. Numerical illustrations of the convergence properties are provided in situations where diffusion of ionic species degenerates.

2026-03-13T09:11:29Z Arne Berrens TU Darmstadt Robert Eymard LAMA http://arxiv.org/abs/2603.15151v1 2026-03-16T11:45:15Z

When reconstructing images from noisy measurements, such as in medical scans or scientific imaging, we face an inverse problem: recovering an unknown image from indirect, corrupted observations. These problems are typically ill-posed, meaning small amounts of noise can lead to inaccurate reconstructions. Regularization techniques address this by incorporating prior assumptions about the solution, such as smoothness or sparsity. However, standard methods often blur sharp edges--the boundaries between tissues or structures--losing critical detail. A powerful strategy for edge preservation is iterative reweighting, which solves a sequence of weighted subproblems with adaptively updated weights. Non-cumulative schemes derive weights from the current iterate alone and can be solved efficiently using the Recycled Majorization-Minimization Generalized Krylov Subspace method (RMM-GKS). The cumulative approach of Gazzola et al. progressively accumulates edge information across iterations, achieving superior edge preservation but at high computational cost. This work introduces CR-$\ell_q$-RMM-GKS, which combines cumulative edge detection with computational efficiency. We integrate Gazzola's cumulative weighting with RMM-GKS, which handles general $\ell_q$ penalties ($0 < q \le 2$), automatically selects regularization parameters, and recycles Krylov subspaces between iterations, reducing the nested structure to two levels. Numerical experiments in signal deblurring and tomography demonstrate that CR-$\ell_q$-RMM-GKS produces significantly sharper edge reconstructions than standard non-cumulative methods. In particular, CR-$\ell_1$-RMM-GKS outperforms both standard $\ell_1$ methods and CR-$\ell_2$-RMM-GKS, indicating that cumulative weighting and $\ell_1$ penalties are highly complementary.

2026-03-16T11:45:15Z 14 pages, 7 figures, 2 tables Toluwani Okunola Mirjeta Pasha Misha E. Kilmer http://arxiv.org/abs/2603.15122v1 2026-03-16T11:17:11Z

This paper studies the spectral properties of large matrices and the preconditioning of linear systems, arising from the finite difference discretization of a time-dependent space-fractional diffusion equation with a variable coefficient $a(x)$ defined on $Ω\subset \mathbb{R}^d$, $d=1,2$. The model involves a one-sided Riemann-Liouville fractional derivative multiplied by the function $a(x)$, discretized by the shifted Gr"unwald formula in space and the $θ$-method in time. The resulting all-at-once linear systems exhibit a $(d+1)$-level Toeplitz-like matrix structure, with $d=1,2$ denoting the space dimension, while the additional level is due to the time variable. A preconditioning strategy is developed based on the structural properties of the discretized operator. Using the generalized locally Toeplitz (GLT) theory, we analyze the spectral distribution of the unpreconditioned and preconditioned matrix sequences. The main novelty is that the analysis fully covers the case where the variable coefficient $a$ is nonconstant. Numerical results are provided to support the GLT based theoretical findings, and some possible extensions are briefly discussed.

2026-03-16T11:17:11Z Muhammad Faisal Khan Asim Ilyas Rolf Krause Stefano Serra-Capizzano Cristina Tablino-Possio http://arxiv.org/abs/2603.15112v1 2026-03-16T11:13:00Z

We generalize Tadmor's algebraic numerical flux condition for entropy-conservative discretizations of conservation laws to a broader class of secondary structures, i.e. possibly non-convex secondary quantities whose evolution can consist of both conservative and non-conservative contributions. The resulting generalized Tadmor condition yields a discrete local balance law for secondary structures alongside the discrete conservation law that is solved. In contrast to the convex entropy setting, non-convex secondary quantities can have singular Hessians and non-injective gradients; this introduces an additional necessary structural requirement, which we term (discrete) null-consistency. Null-consistency constrains admissible numerical work terms and is required for the existence and well-posedness of fluxes satisfying the generalized Tadmor condition. To construct such fluxes in practice, we show how discrete gradient operators provide systematic construction methods even when some of the functions entering the secondary structure are arbitrary, as in compressible flow closed by an arbitrary equation of state. As an application, we derive an entropy-conserving and kinetic-energy-consistent numerical flux for the Euler equations with an arbitrary (non-ideal) equation of state. We demonstrate the performance of the resulting scheme on a set of supercritical/transcritical compressible-flow test cases using several non-ideal equations of state, including a fully turbulent transcritical flow with a state-of-the-art equation of state and models for viscosity and heat conductivity. Computations are performed with our new open-source, flexible, JAX-based, multi-GPU compressible flow solver for Helmholtz-based equations of state available at github.com/rbklein/HelmEOS2.

2026-03-16T11:13:00Z Robin Klein Benjamin Sanderse Pedro Costa Rene Pecnik Ruud Henkes http://arxiv.org/abs/2603.15091v1 2026-03-16T10:44:31Z

Koopman operator theory provides a global linear representation of nonlinear dynamics and underpins many data-driven methods. In practice, however, finite-dimensional feature spaces induced by a user-chosen dictionary are rarely invariant, so closure failures and projection errors lead to spurious eigenvalues, misleading Koopman modes, and overconfident forecasts. This paper addresses a central validation problem in data-driven Koopman methods: how to quantify invariance and projection errors for an arbitrary feature space using only snapshot data, and how to use these diagnostics to produce actionable guarantees and guide dictionary refinement? A unified a posteriori methodology is developed for certifying when a Koopman approximation is trustworthy and improving it when it is not. Koopman invariance is quantified using principal angles between a subspace and its Koopman image, yielding principal observables and a principal angle decomposition (PAD), a dynamics-informed alternative to SVD truncation with significantly improved performance. Multi-step error bounds are derived for Koopman and Perron--Frobenius mode decompositions, including RKHS-based pointwise guarantees, and are complemented by Gaussian process expected error surrogates. The resulting toolbox enables validated spectral analysis, certified forecasting, and principled dictionary and kernel learning, demonstrated on chaotic and high-dimensional benchmarks and real-world datasets, including cavity flow and the Pluto--Charon system.

2026-03-16T10:44:31Z Gustav Conradie Nicolas Boullé Jean-Christophe Loiseau Steven L. Brunton Matthew J. Colbrook http://arxiv.org/abs/2603.15058v1 2026-03-16T10:13:53Z

Recent advancements in photon induced near-field electron microscopy (PINEM) enable the preparation, coherent manipulation and characterization of free-electron quantum states. The available measurement consists of electron energy spectrograms and the goal is the reconstruction of a density matrix representing the quantum state. This requires the solution of a constrained linear inverse problem, where a positive semi-definite trace-class operator is reconstructed given its diagonal in different bases. We show the well-posedness of this problem by exploiting the regularizing effect of the positive semi-definiteness constraint. Unusually, well-posedness in this case does not imply any stability estimates. We show that no global stability estimates exist and any estimator converges arbitrarily slowly. We also provide further bounds on the instability generally complementing the analysis done in [arXiv:1907.03438]. Furthermore, we derive a decomposition of the discretized operator which allows us to study its injectivity and stability properties. It also leads to a faster implementation which we exploit in numerical experiments validating the instability estimates and the stability of the constrained problem.

2026-03-16T10:13:53Z Florian Oberender http://arxiv.org/abs/2601.11975v2 2026-03-16T08:33:38Z

The problem of identifying the set of Dirichlet-to-Neumann (DtN) maps arising from conductivities on a smooth domain, among operators acting on functions on the boundary, is a challenging issue in the mathematical analysis of the Calderón inverse problem. This question is also relevant in specific applications since, as the inverse problem is ill-posed, numerically reconstructing a conductivity from the knowledge of its DtN map is particularly delicate. In this article, we address this issue by proving that any DtN map arising from a radial conductivity in the unit ball of $\mathbb{R}^d$ admits an exact representation as a linearized DtN map for a uniquely determined integrable function, that we call the Born approximation. This gives a strong necessary condition for an operator to be a DtN map arising from a radial conductivity. In particular, our results are a starting point towards developing a rigorous foundation for numerous linearization-based methods that are commonly used in the numerical solution of the Calderón inverse problem. We also characterize the Born approximation as a solution to a generalized moment problem that is formally well-defined even for non-radial conductivities. We investigate the uniqueness and structure of general non-radial solutions to this moment problem on the unit disk and provide an algorithm to numerically reconstruct the Born approximation in this setting. We provide numerical experiments to test the resolution and robustness of the Born approximation in different situations.

2026-01-17T09:12:45Z 35 pages, 9 figures Carlos Castro Fabricio Macià Cristóbal Meroño Daniel Sánchez-Mendoza http://arxiv.org/abs/2603.14966v1 2026-03-16T08:25:08Z

Near-field tsunami early warning in the Cascadia Subduction Zone is limited by sparse offshore observations. We show that a hypothetical network of 175 seafloor pressure sensors can support real-time Bayesian inference of tsunamigenic seafloor motion and probabilistic tsunami forecasts for two fully-coupled Cascadia earthquake dynamic rupture--tsunami scenarios, a partial rupture and a margin-wide rupture. The complex oceanic acoustic, Rayleigh, and tsunami wavefields in both scenarios are similar during the first two minutes and then diverge. Using an acoustic--gravity inversion with offline precomputation and online assimilation of pressure data, tsunami forecasts are obtained in less than a second. We leverage a Bayesian inversion-based framework that splits the computations into an offline precomputation phase performed with large-scale computing facilities, and an online phase that computes forecasts from real-time data and can be executed on a laptop. Forecast errors remain low at 22.1% for the margin-wide rupture and 19.6% for the partial rupture.

2026-03-16T08:25:08Z Stefan Henneking Fabian Kutschera Sreeram Venkat Alice-Agnes Gabriel Omar Ghattas http://arxiv.org/abs/2603.14954v1 2026-03-16T08:09:23Z

In this paper, we present a numerical scheme designed for coupled systems of variable-topography shallow water flow and solute transport. By integrating a variable-density system with an expression for relative density of mixtures, a novel formulation of the coupled system is derived. To ensure the well-balanced property, auxiliary variables are introduced to reformulate the variable-density shallow water equations into a new form, which is then discretized using the discontinuous Galerkin (DG) method with the Lax-Friedrichs (LF) flux as the numerical flux. By selecting appropriate values for the auxiliary variables, we demonstrate that the proposed method accurately preserves steady-state solutions under still water conditions, thereby verifying its well-balanced nature. Furthermore, sufficient conditions for preserving the positivity of both water depth and concentration are proposed and rigorously proven. A positivity-preserving limiter is introduced to enforce these conditions. Finally, a series of numerical examples are conducted to validate the computational accuracy and effectiveness of the proposed method.

2026-03-16T08:09:23Z 26 pages, 24 figures Jun She Haiyun Dong Maojun Li Jianjun Ma http://arxiv.org/abs/2502.07799v5 2026-03-16T07:54:26Z

We establish convergence rates for a fully discrete, multi-level, linear collocation method solving parametric elliptic PDEs on bounded polygonal domains with log-normal inputs. The method uses a finite set of function evaluations in the spatial-parametric domain. Compared with the best-known fully discrete collocation rates, these rates are significantly improved and, up to logarithmic factors, match the rates of best n-term approximations. The results follow from applying general multi-level linear sampling recovery theory in abstract Bochner spaces -- via extended least-squares -- to infinite-dimensional holomorphic functions. The abstract multi-level recovery in Bochner spaces guarantees yield the improved rates when specialized to the parametric PDE setting.

2025-02-02T08:00:15Z Dinh Dũng http://arxiv.org/abs/2603.14926v1 2026-03-16T07:29:54Z

Multiple-precision floating-point branch-free algorithms can significantly accelerate multi-component arithmetic implemented by combining hardware-based binary64 and binary32, particularly for triple- and quadruple-precision computations. In this study, we achieved benchmark results on x86 and ARM CPU platforms to quantify the accelerations achieved in linear computations and polynomial evaluation by integrating these algorithms.

2026-03-16T07:29:54Z Tomonori Kouya http://arxiv.org/abs/2510.04826v2 2026-03-16T04:44:58Z

The chemotaxis PDE system with singular sensitivity was originally proposed by Short et al. (Math. Mod. Meth. Appl. Sci., 2008) as the continuum limit of a biased random walk model to account for the formation of crime hotspots and environmental feedback successfully. Recently, this idea has also been applied to epidemiology to model the impact of human social behaviors on disease transmission. In order to characterize the phase transition, pattern formation and statistical properties in the long-term dynamics, a stable and accurate numerical scheme is urgently demanded, which still remains challenging due to the positivity constraint on the singular sensitivity and the absence of an energy functional. In particular, the loss of positivity may produce nonphysical states and even cause spurious blow-up. To address these numerical challenges, this paper constructs an efficient positivity-preserving, implicit-explicit scheme with second-order accuracy. A rigorous error estimation is provided with the Lagrange multiplier correction to deal with the singular sensitivity. The whole framework is extended to a multi-agent epidemic model with degenerate diffusion, in which both positivity and mass conservation are achieved. Numerical experiments are performed to validate the theoretical results and demonstrate the necessity of the correction strategy. Our simulations reveal rich dynamical behaviors, including the phase transition between aggregation-dominated and dissipative regimes, as well as the nucleation, spread, and dissipation of crime hotspots. For the epidemic model, the results further show that spatial clustering of population density may accelerate virus transmission and significantly amplify the infectious wave.

2025-10-06T14:09:56Z Rui Wang Yunfeng Xiong Zhengru Zhang http://arxiv.org/abs/2603.14813v1 2026-03-16T04:30:08Z

We propose a novel method for establishing the sparsity of the coefficients of the Laguerre generalized polynomial chaos expansion of solutions to parametric elliptic PDEs with log-gamma inputs on $\mathbb{R}_+^\infty$. The established sparsity is quantified by $\ell_p$-summability and weighted $\ell_2$-summability of the coefficients. Building on these sparsity results, we derive convergence rates for semi-discrete approximations in the parametric variables. These rates apply to sparse-grid polynomial interpolations, extended least-squares approximations and the associated semi-discrete quadrature rules. Moreover, a counterpart of our method for parametric elliptic PDEs with log-normal inputs yields a significant improvement in the sufficient condition for $\ell_p$-summability when the component functions in the log-normal representation of the parametric diffusion coefficients have global support, compared with results obtained in prior works.

2026-03-16T04:30:08Z Dinh Dũng Van Kien Nguyen Viet Ha Hoang http://arxiv.org/abs/2603.14798v1 2026-03-16T03:52:28Z

We propose a machine-learning algorithm for Bayesian inverse problems in the function-space regime based on one-step generative transport. Building on the Mean Flows, we learn a fully conditional amortized sampler with a neural-operator backbone that maps a reference Gaussian noise to approximate posterior samples. We show that while white-noise references may be admissible at fixed discretization, they become incompatible with the function-space limit, leading to instability in inference for Bayesian problems arising from PDEs. To address this issue, we adopt a prior-aligned anisotropic Gaussian reference distribution and establish the Lipschitz regularity of the resulting transport. Our method is not distilled from MCMC: training relies only on prior samples and simulated partial and noisy observations. Once trained, it generates a $64\times64$ posterior sample in $\sim 10^{-3}$s, avoiding the repeated PDE solves of MCMC while matching key posterior summaries.

2026-03-16T03:52:28Z Zilan Cheng Li-Lian Wang Zhongjian Wang