https://arxiv.org/api/x9Mxzia9gg0CJuvBLbHSTDBJT0o 2026-06-22T01:45:59Z 49870 255 15 http://arxiv.org/abs/2606.12179v1 2026-06-10T15:04:46Z

A large body of work studies the problem of learning an approximation to an implicit matrix $A\in \mathbb{R}^{m\times n}$ that is only accessible implicitly via matrix-vector product queries (matvec queries) of the form ${x} \rightarrow {A}{x}$ or ${x} \rightarrow {A}^T{x}$. Of particular interest are methods that learn a near-optimal approximation with a fixed sparsity pattern. For example, we might want to learn a near-optimal diagonal, banded, or arrow-head approximation to an implicit matrix $A$. Naturally, the number of matvec queries required to solve this problem depends on the sparsity pattern, which can be encoded as a binary matrix ${S}\in \{0,1\}^{m\times n}$. The query complexity of previous algorithms scales with quantities like the total number of ones in ${S}$, its maximum column/row sparsity, or the chromatic number of a its "conflict graph". These quantities are incomparable: for a given ${S}$, parameterizing by one might yield lower query complexity than another. In this work, we unify and tighten these prior results by providing a nearly sharp characterization of the matvec query complexity of sparse matrix approximation. Generalizing a definition from graph algorithms, let the degeneracy, ${degen}({S})$, denote the smallest number $k$ so that, if we iteratively delete all rows and columns of ${S}$ with $\leq k$ ones, we are left with an empty matrix. We show that a near-optimal approximation to $A$ with sparsity pattern $S$ can be learned with $\tilde{O}({degen}({S}))$ matrix-vector product queries, and $Ω({degen}({S}))$ queries are necessary, for any sparsity pattern ${S}$. Moreover, unlike prior work based on graph coloring, all of our methods run in polynomial time.

2026-06-10T15:04:46Z Christoper Musco Indu Ramesh http://arxiv.org/abs/2606.12176v1 2026-06-10T15:02:29Z

This paper develops a decoupled low-order conforming finite element method for a fourth-order elliptic singular perturbation problem in three dimensions. By means of a generalized Helmholtz decomposition, the problem is reduced to two second-order elliptic problems and a system of generalized singularly perturbed Stokes-type equations subject to a curl-free constraint. The former are discretized by standard linear finite elements. For the latter, we employ the MINI element and show that, after adding an $L^2$ term involving a Lagrange multiplier, the resulting discretization becomes robust with respect to the perturbation parameter. We further establish an error estimate of order $h^{1/2}$ uniform with respect to the perturbation parameter. Numerical experiments are included to support the theory.

2026-06-10T15:02:29Z Yuanchun Tang Baiju Zhang Zhimin Zhang http://arxiv.org/abs/2606.12162v1 2026-06-10T14:48:36Z

Accurate modeling of tsunamis (such as those generated by landslides) requires capturing both wave dispersion in the deep ocean and wave breaking near the shore. The shallow water equations are often preferred for working with tsunamis, but neglect dispersion and may be inaccurate in scenarios where dispersive effects are significant. In this work, we develop an approach that seeks to incorporate the best aspects of both hyperbolic and dispersive models by combining either of two hyperbolic reformulations of the Serre-Green-Naghdi equations away from the shore with the non-dispersive shallow water equations near the shore. The model is discretized and implemented within the GeoClaw software, and incorporates adaptive mesh refinement as well as shared-memory parallelism. We validate it through comparison with benchmarks and real tsunami data. The results and performance compare favorably with the existing dispersive water wave solvers, including a speedup of about 2x relative to GeoClaw's existing dispersive solver for a large-scale tsunami simulation.

2026-06-10T14:48:36Z 29 pages, 25 figures, 3 tables Carlos Muñoz-Moncayo David I. Ketcheson http://arxiv.org/abs/2606.12095v1 2026-06-10T13:53:30Z

In this paper, we propose two fully decoupled, linear and structure-preserving block-centered finite difference schemes for the classical Keller-Segel chemotaxis system on staggered non-uniform spatial grids. Both novel schemes are second-order accurate in space; one is first-order accurate in time, while the other achieves second-order temporal accuracy. Moreover, we show that the schemes preserve several inherent physical laws at the discrete level: (i) the positivity of both the cell density and the chemoattractant concentration; (ii) the conservation of total cell mass; and (iii) a discrete energy dissipation property for the first-order scheme. In particular, the temporally first-order scheme unconditionally preserves positivity, mass conservation, and energy dissipation, whereas the second-order scheme ensures positivity under a sufficient (but not necessary) time-step condition. The proposed methods yield more accurate and efficient simulations of chemotactic dynamics, especially in the presence of rapid blow-up phenomena, on specified non-uniform spatial grids. Numerical experiments are conducted to validate the theoretical findings and to illustrate the accuracy and reliability of the proposed schemes.

2026-06-10T13:53:30Z Jie Xu Hongfei Fu http://arxiv.org/abs/1303.2033v18 2026-06-10T13:13:25Z

This summary of the doctoral thesis provides a comprehensive formulation of the Extended Discrete Fourier Transform (EDFT), derived directly from the Fourier integral and its orthogonality properties. The method is obtained by solving weighted least-squares estimators in both continuous and discrete domains, yielding an adaptive frequency-domain representation that remains fully consistent with the classical Fourier framework. In the special case of uniformly sampled data on a uniform frequency grid of the same size, the EDFT reduces exactly to the classical Discrete Fourier Transform (DFT). However, when the analysis grid exceeds the number of observed samples, EDFT circumvents conventional zero-padding by optimizing the transformation basis over the extended frequency set. This enables accurate spectral estimation from incomplete or nonuniformly sampled data. Consequently, the EDFT achieves enhanced frequency resolution in regions of strong spectral content while maintaining global resolution balance, thereby remaining consistent with the uncertainty principle. The inverse EDFT reconstructs the original signal and produces extrapolated or interpolated samples wherever spectral information is available. The EDFT requires no explicit separation of deterministic and stochastic components and accurately captures broadband, transient, and sinusoidal features simultaneously. Simulation studies confirm its robustness under nonuniform sampling, multiple Nyquist zones, missing-data conditions, and signals with mixed spectra comprising both line and continuous components. Although iterative computation of the EDFT entails higher numerical cost compared to the classical DFT, this limitation - significant in the 1990s - has been largely mitigated by modern computational resources, rendering the EDFT practical for contemporary signal analysis applications.

2013-03-08T15:47:28Z 52 pages, 11 figures Vilnis Liepins http://arxiv.org/abs/2603.13193v2 2026-06-10T12:01:19Z

Accurate mode tracking is essential for elastic waveguide dispersion analysis in ultrasonic nondestructive evaluation and structural health monitoring. Its reliability, however, deteriorates near mode veering and closely spaced eigenvalues, where rapid eigenvector exchange causes mode misidentification. Although widely observed, the quantitative relationship between veering, eigenvector evolution, and tracking robustness has not been systematically established. By specializing classical perturbation theory to the single-parametric Hermitian SAFE eigenproblem--exemplified by conservative elastic waveguides--we obtain explicit expressions for eigenvector derivatives and modal coupling strength. This yields a unified, quantitative interpretation of mode veering, symmetry-protected crossings, and degeneracies, and clarifies their distinct tracking implications: eigenvector sensitivity scales inversely with the eigengap, explaining modal repulsion and the degradation of correlation-based tracking near avoided crossings, whereas symmetry-protected crossings remain benign because symmetry-induced decoupling preserves smooth eigenvector evolution, and symmetry-protected degeneracies require rotation-invariant subspace tracking. A numerical consistency condition and an existence result for a critical step size are then derived, motivating a two-level adaptive strategy with an a posteriori error indicator that separates numerical tracking consistency from symmetry-based physical correctness. Numerical examples validate the theoretical predictions and demonstrate improved robustness in regions of strong modal interaction, providing practical guidance for reliable dispersion calculations and ultrasonic inspection.

2026-03-13T17:31:09Z Condensed and refocused on NDE/SHM; formalized the two-level adaptive refinement; simplified the symmetry penalty. Source code repository renamed to TopoDisper Dong Xiao Zahra Sharif-Khodaei M. H. Aliabadi http://arxiv.org/abs/2606.11956v1 2026-06-10T11:32:06Z

We consider the problem of computing the dominant eigenvector of a symmetric matrix via the power iteration algorithm subject to constraints in the computation of matrix-vector pr ucts. In particular, we focus on scenarios where the entries of matrix-vector products with the input matrix are only partially observed. Such constraints frequently arise on cloud architectures implemented via the controller-worker model where the matrix-vector products are distributed across workers on remote servers. Instead of a prolonged delay incurred by waiting for the slowest workers to return their output to the controller, a phenomenon known as straggling, a set of pre-determined values can replace the values of the delayed workers and allow the power iteration to proceed to the next iteration. In this paper, we develop two algorithms whose expected approximation converges to the true dominant eigenvector. The first algorithm relies on a probabilistic switch between two different approaches to set the omitted entries: either set them to zero or to their previous recorded value. The second algorithm relies on averaging previously generated partial power iteration approximations obtained by ignoring a set of columns of the iteration matrix. several theoretical details are discussed while numerical experiments verify the effectiveness of the two proposed schemes and demonstrate their comparative performance advantage over current state-of-the-art.

2026-06-10T11:32:06Z Soumyadip Ghosh Lior Horesh Vassilis Kalantzis Yingdong Lu Tomasz Nowicki Shashanka Ubaru http://arxiv.org/abs/2606.11935v1 2026-06-10T11:08:07Z

We propose and analyze a polytopal discontinuous Galerkin method for the numerical approximation of a coupled non-Newtonian Stokes-Darcy system modeling the interaction between a non-Newtonian free-flow fluid and a non-Newtonian flow through a porous medium. Due to its geometric flexibility and arbitrary-order accuracy, the proposed discretization scheme is well-suited to configurations with complex geometries. We provide a complete a-priori analysis that considers shear-dependent and velocity-dependent non-Newtonian viscosity models for the free-flow and porous media regions, respectively. The well-posedness, stability, and error bounds of the method are established in the framework of generalized inf-sup theory. Error estimates are confirmed by numerical results.

2026-06-10T11:08:07Z Paola F. Antonietti Michele Botti Nicola Parolini Valentina Pederzoli Marco Verani http://arxiv.org/abs/2505.24861v4 2026-06-10T09:56:13Z

We propose a localized consensus-based method for sampling from non-Gaussian distributions, a task that frequently arises when solving Bayesian inverse problems. Our method arises from an alternative derivation of consensus-based sampling (CBS). Starting from ensemble-preconditioned Langevin dynamics, we replace the potential by its Moreau envelope -- a smoother approximation -- in order to replace the gradient in the Langevin equation with a proximal operator. We then approximate this operator by a weighted mean. In the limit of infinitely smoothing the potential to a quadratic function, this procedure recovers the standard CBS dynamics. In addition, outside this limit, we retrieve a refined variant of polarized CBS. We call the resulting algorithm localized consensus-based sampling, since particles interact more with nearby particles than with faraway ones. Our method is affine-invariant, exact for Gaussian targets in the mean-field limit, and demonstrates improved robustness over polarized CBS in numerical experiments. Like other consensus-based methods, localized CBS is gradient-free and easily parallelizable.

2025-05-30T17:58:20Z Arne Bouillon Alexander Bodard Panagiotis Patrinos Dirk Nuyens Giovanni Samaey http://arxiv.org/abs/2606.11801v1 2026-06-10T08:34:37Z

We propose novel semi-decoupled and fully-decoupled iterative algorithms for efficiently solving the fully-coupled nonlinear four-field thermo-poroelastic model discretized in space by discontinuous Galerkin method on polytopal grids. We present the model problem, its four-field formulation, and the arbitrary-order weighted symmetric interior penalty scheme exploited for its spatial discretization. Such a scheme is robust with respect to strong heterogeneities in the model coefficients. Then, we present the two solution strategies and prove that under suitable conditions both schemes are convergent. A wide set of numerical simulations is presented to assess the convergence and robustness properties of the proposed method. Moreover, we test the scheme with literature and physically sound test cases for proof-of-concept applications in the geophysical context.

2026-06-10T08:34:37Z arXiv admin note: text overlap with arXiv:2311.15665 Stefano Bonetti Michele Botti Paola F. Antonietti http://arxiv.org/abs/2606.11800v1 2026-06-10T08:34:15Z

Convex optimization problems with linear equality constraints arise ubiquitously in scientific computing, machine learning, and control theory. Classical Krylov methods are effective but rely on problem-specific preconditioners and high memory. Conversely, gradient-based methods like the augmented Lagrangian method (ALM) avoid these issues yet suffer from slow outer iterations. Developing accelerated outer-iteration schemes, therefore, remains a critical research objective. In this study, we demonstrate that incorporating a proximal operation into the augmented Lagrangian framework yields the proximal ALM, where the outer iteration is equivalent to an implicit gradient descent-ascent (GDA) scheme. We further establish that this equivalence extends naturally to the setting of variable step sizes. Through Lyapunov analysis, we show that the underlying potential function must be shifted from the conventional objective gap to a variational inequality measure, signaling a shift in perspective from pure convex optimization to minimax optimization. Motivated by these observations, we first develop an implicit GDA scheme with variable step sizes based on a continuous-time ODE framework, which achieves an $o(1/k)$ last-iterate convergence rate for both the primal-dual objective gap and the gradient norm. Building upon a second-order ODE framework, we then propose a family of Nesterov-type implicit GDA schemes parameterized by $r \geq 0$, which achieves an $o(1/k^{r+1})$ last-iterate convergence rate for the primal-dual objective gap. Furthermore, specializing the second-order ODE formulation to the case $r=0$, we derive a corresponding explicit GDA scheme and prove an $o(1/k)$ last-iterate convergence rate for the primal-dual objective gap. Finally, we present several numerical experiments to validate these theoretical results and demonstrate the effectiveness of the proposed methods.

2026-06-10T08:34:15Z 19 pages, 7 figures Jiaqi Liu Bin Shi http://arxiv.org/abs/2606.11772v1 2026-06-10T07:57:01Z

Originally motivated by creating first-person computer visualizations within Riemannian manifolds -- the author was led to study deformable-body mechanics, as rigid-body mechanics is not available in a generic Riemannian manifold due to its lack of nontrivial isometry group. Hyperelasticity is a particularly nice sub-category of continuum mechanics in which a deformable, elastic body's behavior is determined by a stored energy density function. This allows problems to be posed variationally, and powerful tools brought to bear on studying and solving them. This article presents numerical simulations of static solutions to a particular class of problems in hyperelastic mechanics in 2-dimensional Riemannian manifolds in which a flat hyperelastic body $B$ is embedded into a region $Ω$ in a nowhere-flat surface $S$ of revolution $z=z\left(r\right)$ such that $\left|K\left(r\right)\right|$ decreases as $r\to\infty$, where $K$ denotes the Gaussian curvature of $S$. For example, the funnel $z=-r^{-1}$ or the paraboloid $z=\frac{1}{2}r^{2}$. Because $B$ is flat, the body can't achieve a zero-stored-energy configuration, and restorative forces arise in the body to move it toward a region of lower stored energy -- meaning, toward a flatter configuration. With the addition of a gravitational potential $U\left(r\right)=z\left(r\right)$ on $S$, forces act on the body to pull it toward $r=0$. If the body has sufficient stiffness and remains within the region $Ω$, then the body has an equilibrium configuration in which the body's deformation-response forces perfectly cancel the gravitational forces. Such a configuration represents a kind of "levitation" phenomenon within this surface. The numerical implementation of this problem will be detailed and the resulting numerical solutions and various consequences discussed.

2026-06-10T07:57:01Z 31 pages. 13 figures. Accepted for publication in Contemporary Mathematics (AMS). All code and data is available at https://github.com/vdods/jello Victor Dods http://arxiv.org/abs/2604.22497v2 2026-06-10T07:32:33Z

Purpose: Developing and testing a framework that integrates real-time catheter shape reconstruction, interactive simulations, and mixed reality visualization to enable accurate monitoring of catheter-vessel interactions during endovascular navigation. Methods: A finite element model (FEM) of the venous pathway from the right femoral vein to the inferior vena cava was generated from computed tomography data and implemented into an interactive simulation. Catheter motion was imposed as boundary condition, and catheter-vessel contact was modeled with a Lagrange multiplier formulation to compute vessel deformation. The framework was tested in-vitro using a sensorized catheter with Fiber Bragg Grating and electromagnetic sensors as it was advanced through a silicone replica of the vascular anatomy. Real-time sensor read-outs fed the simulation, and the updated catheter and vessel geometries were streamed to Hololens 2. The performance and accuracy of FEM-computed vessel wall displacement were validated against experimental ground-truth obtained via stereo frames triangulation. Results: The simulated time exceeded the real temporal extent by 12% during initial navigation and by 45% when the catheter reached the most tortuous portion. Hololens 2 rendering remained stable at 35-40 frames per second. The median relative displacement error between FEM-computed and ground-truth vessel wall displacements remained below 1 mm and 2.33 mm for these two phases, respectively. Conclusion: The study demonstrates the feasibility of integrating interactive biomechanical simulation with real-time sensor data to enable continuous monitoring of catheter-vessel interactions, with mixed reality visualization serving as a user interface to support operator decision-making.

2026-04-24T12:23:42Z Int J CARS (2026) Veronica Ruozzi Giovanni Battista Regazzo Maria Chiara Palumbo Wim-Alexander Beckers Mouloud Ourak Xiu Zhang Francesca Perico Alessandro Caimi Emmanuel Vander Poorten Emiliano Votta 10.1007/s11548-026-03731-y http://arxiv.org/abs/2606.11734v1 2026-06-10T07:10:28Z

This paper presents a novel class of high-order mass-, energy- and momentum-preserving exponential integrators for solving the derivative nonlinear Schrödinger equation. Firstly, we reformulate the original system into an exponential supplementary variable system based on the idea of the exponential supplementary variable approach, and then the reformulated system is discretized by using the standard Fourier pseudo-spectral method in space and the high-order prediction and correction Lawson Runge-Kutta method in time, respectively. The proposed method is highly efficient, temporally high-order accurate, and simultaneously preserves the mass, energy and momentum in the discrete setting. Finally, numerical experiments validate the accuracy and energy-preserving properties.

2026-06-10T07:10:28Z 26 pages, 10 figures Liping Wu Li Yang Chaolong Jiang http://arxiv.org/abs/2605.16995v2 2026-06-10T06:42:47Z

Constructing explicit Runge--Kutta (ERK) methods with as few stages as possible for a given order is a classical problem in numerical analysis. In this work, we introduce a $Q$/$D$-space framework of sufficient order conditions for ERK methods. This framework generalizes Butcher's classical simplifying assumptions by reformulating them in terms of simplified $Q$- and $D$-spaces defined through their residual vectors. It yields sufficient conditions which, together with $B(p)$, ensure order $p$. It also leads to a recursive construction procedure for ERK methods of arbitrary even order, in which the Butcher coefficients are obtained from two structured linear systems. For every even order $p\ge 4$, the construction produces ERK methods with stage number $s(p)=(p^2-2p+8)/4$. This stage count has the same leading term as that of the classical Gragg families, while improving the linear term. The free parameters retained by the construction further provide a systematic framework for designing methods with enhanced stability and short-time accuracy.

2026-05-16T13:43:57Z Junyuan He Jizu Huang