https://arxiv.org/api/z0jzBiBQRIPZKLOwbpWKk2WeGQ0 2026-06-22T23:19:44Z 49870 540 15 http://arxiv.org/abs/2606.02125v1 2026-06-01T11:53:45Z

Trace-compatible polynomial extensions are a recurring local ingredient in high-order finite element analysis on conforming hexahedral meshes. They are needed whenever prescribed edge and face traces must be preserved while a polynomial is extended into a neighboring cell or boundary patch. The main contribution of this paper is the construction of p-robust polynomial liftings on nonsingular conforming hexahedral boundary patches, with stable control of both the H^1 norm and the H^1-seminorm estimates needed for energy arguments. These liftings imply H^1-seminorm stable discrete harmonic extensions of polynomial Dirichlet traces. They also serve as boundary corrections for the conforming hp Clement interpolant, yielding trace-preserving interpolation operators for functions with only H^1 regularity. Under the uniform boundary-degree condition the constants are p-uniform; in the non-uniform case the stated logarithmic loss appears. We also treat meshes that may contain conforming singular boundary patches, where the loss remains polylogarithmic in the maximal local degree. Trace-preserving interpolation on reference cells and vertex-supported decompositions are developed as local tools for these patch and mesh-level constructions.

2026-06-01T11:53:45Z 31 pages, 5 figures Situan Li Weiying Zheng http://arxiv.org/abs/2605.21450v3 2026-06-01T11:46:05Z

Holland-Simpson thin-wire finite-difference time-domain (FDTD) simulations of obliquely oriented closed-loop antennas exhibit persistent low-frequency parasitic currents because the current-deposition operator fails to conserve charge. This deposition operator, together with an interpolation operator that samples the tangential electric field along the wire, can be realized as regularizations of distributions: the wire current is deposited as a source term by integrating it against a regularized delta function along the wire, and the electric field is sampled back to the wire by integrating it against the same regularized delta function. We show that charge conservation requires the deposited current to be discretely divergence-free when the wire carries a constant current, and we introduce a family of composite B-spline regularizations that satisfy this condition to machine precision. Exact evaluation of the coupling line integrals is possible because the B-spline kernels are piecewise polynomial with a priori-known breakpoints, allowing composite Gauss-Legendre quadrature with subinterval breakpoints at every grid-plane crossing. Taking the interpolation operator as the discrete adjoint of the deposition operator preserves skew-symmetry and ensures that a discretely irrotational electric field drives no net electromotive force around a closed loop. Numerical experiments on a center-fed dipole and on circular and square loop antennas show that the proposed regularizations yield orientation-independent impedance values consistent with known characteristics, whereas a simple trilinear regularization produces unphysical parasitic low-frequency currents in closed loops.

2026-05-20T17:40:32Z 25 pages, 5 figures Cole Gruninger Boyce E. Griffith http://arxiv.org/abs/2605.19896v2 2026-06-01T11:40:49Z

Monitoring the integrity of elastic structures using ultrasonic waves requires the efficient identification of material parameters from measured surface displacements. The displacement field is governed by Cauchy's equation of motion, i.e., an elastic wave equation. Consequently, defect localization leads to a high-dimensional spatial parameter identification problem for a hyperbolic system with given initial and boundary conditions. Stable parameter reconstructions typically rely on regularization techniques such as the iteratively regularized Gauss-Newton method (IRGNM). However, its practical application is computationally demanding due to the high-dimensional nature of the problem. To address this bottleneck, we propose a reduced-order modeling approach that simultaneously reduces the state and parameter spaces using adaptively constructed reduced-basis spaces. This yields online-efficient surrogate models for both the forward and adjoint evaluations required in derivative-based optimization. To ensure reliability, the IRGNM iteration is embedded into an adaptive, trust-region framework that provides accuracy of the reduced-order approximations. The approach extends our recent contributions, which focus on elliptic and parabolic problems, to the hyperbolic setting. We demonstrate the reliability and effectiveness of the method for defect detection through numerical experiments.

2026-05-19T14:27:17Z 44 pages, 10 figures Benedikt Klein Mario Ohlberger Thomas Schuster http://arxiv.org/abs/2606.02051v1 2026-06-01T10:39:56Z

We derive a fully 3-dimensional Summation-By-Parts scheme for a class of linear wave equations on hyperboloidal slices that meet future null infinity on a Minkowski background. The scheme is derived in spherical polar coordinates, with a major strength being that it is provably stable and allows having grid points at the origin and on the $z$-axis, despite coordinate singularities, and at infinity, by introducing compactification followed by rescaling. Reducing it to the standard Cauchy problem, or on finite spacelike slices with an outer boundary, will follow a similar procedure. Interesting relations are obtained between the rescaling and compactification factors that simplify the equations, and the conditions on constraint addition terms are discovered to maintain symmetric hyperbolicity. Numerical implementation is achieved using finite-difference methods at second-order accuracy, which can be generalized to higher-order or spectral accuracies as well. Dissipation operators are given a more abstract treatment, which makes it possible to define them everywhere in the domain, including at the boundary points, in curvilinear coordinates, such that they satisfy the dissipative property (DP) in our energy norms. These generalizations reduce to the well-known Kreiss-Oliger dissipation operators whenever defined on a Cartesian grid in the bulk and satisfy the DP in the standard $L^2$-norms. We also propose new norm convergence tests that produce more accurate outputs. Promising results are obtained, giving hope for application to fully nonlinear systems, like the Einstein Field Equations, and extracting the resulting gravitational waves free of systematic errors or gauge ambiguities.

2026-06-01T10:39:56Z Anuraag Reddy Shalabh Gautam Prayush Kumar http://arxiv.org/abs/2605.08091v2 2026-06-01T09:38:02Z

The analysis of a total least square problem (TLS) can be reduced to that of an associated core problem, which typically has lower dimension and improved solubility properties. Nevertheless, even a core problem may remain reducible, admitting further decomposition into irreducible component subproblems with simpler structure and better analytical properties. However, no systematic and invariant procedure is available for identifying all such component subproblems, either over either real or complex field.In this paper, a complete and constructive framework is developed for the exact decomposition of TLS core problems into unitary-unique irreducible component subproblems.By working over the complex field and exploiting the spectral structure of covariance operators associated with C-subset subproblems, the proposed strategy yields all complex indivisible subspaces which will lead to irreducible component sub-problems. As a consequence, we prove that irreducible component subproblems are uniquely determined up to unitary transformations and permutation, thereby partially resolving an open question left in Yu, Jing. SIAM J. Matrix Anal. Appl., 46 (2025).

2026-04-02T15:38:46Z Sijia Yu Bruno Carpentieri Yan-Fei Jing http://arxiv.org/abs/2606.01965v1 2026-06-01T09:30:34Z

The separation of multicomponent signals with crossing instantaneous frequency (IF) curves remains a fundamental challenge in time-frequency analysis. Although the synchrosqueezed wavelet-chirplet transform (SWCT) enhances time-frequency readability by introducing a chirprate variable, its effectiveness is constrained by the underlying assumption of local linear chirp. Consequently, this method does not perform well when analyzing signals characterized by strong frequency modulation. This paper extends the SWCT framework by relaxing the linear chirp assumption. We model signal components as having polynomial phase behavior over short intervals and derive compact expressions for high-order IF and chirprate reassignment operators. The proposed high-order synchrosqueezed wavelet-chirplet transform (HSWCT) enables accurate estimation of both IF and chirprate, and supports robust mode retrieval even with intersecting IF curves. Another key contribution is a rigorous mathematical analysis of the approximation errors of arbitrary-order reassignment operators for IF and chirprate estimation. When the chirprate vanishes, HSWCT simplifies to the traditional high-order synchrosqueezed wavelet transform. To our best knowledge, no theoretical analysis exists in the literature on the approximation of arbitrary-order SST IF reassignment operators to the IF. As a by-product of this work, our established theorem provides such an analysis, thereby filling a gap in the theoretical framework of high-order SSTs.

2026-06-01T09:30:34Z Shuixin Li Jiecheng Chen Qingtang Jiang Gang Yu http://arxiv.org/abs/2510.14479v2 2026-06-01T09:22:06Z

We consider linear model reduction in both the control and state variables for unconstrained linear-quadratic optimal control problems subject to time-varying parabolic PDEs. The first-order optimality condition for a state-space reduced model naturally leads to a reduced structure of the optimal control. Thus, we consider a control- and state-reduced problem that admits the same minimizer as the solely state-reduced problem. Lower and upper \emph{a posteriori} error bounds for the optimal control and a representation for the error in the optimal function value are provided. These bounds are used in an adaptive algorithm to solve the control problem. We prove its convergence and numerically demonstrate the advantage of combined control and state space reduction.

2025-10-16T09:23:48Z 25 pages Michael Kartmann Stefan Volkwein http://arxiv.org/abs/2606.01888v1 2026-06-01T08:32:35Z

The theory of generalized locally Toeplitz (GLT) sequences is an apparatus for computing the spectral and singular value distribution of sequences of matrices that possess a (possibly hidden) Toeplitz-like structure. These sequences, which are known as GLT sequences, arise in several applications, including the discretization of differential equations. Associated with any GLT sequence is a special function called symbol. In this paper, we prove that, if $\{A_n\}_n$ is a GLT sequence with symbol $κ$ and $P_n$ is any block Jacobi or block Gauss-Seidel preconditioner for $A_n$ with a fixed number of blocks independent of $n$, then $\{P_n\}_n$ is a GLT sequence with symbol $κ$, just like $\{A_n\}_n$. This result allows us to predict a remarkable efficiency of block Jacobi/Gauss-Seidel preconditioning for GLT sequences, which is in fact illustrated through numerical experiments. It also allows us to extend the Fasino-Tilli theorem on the zero distribution of Hankel matrix sequences generated by $L^1$ functions to a larger class of matrix sequences called generalized locally Hankel (GLH) sequences.

2026-06-01T08:32:35Z 18 pages, 0 figures Carlo Garoni Stefano Serra-Capizzano http://arxiv.org/abs/2408.11266v5 2026-06-01T08:08:19Z

Deep learning is now common across many scientific fields, including the study of partial differential equations. This article provides a brief, accessible introduction to core deep learning concepts, including neural networks, backpropagation, and the universal approximation theorem. It mainly covers how to use deep learning in solving differential equations. The article aims to help undergraduate and graduate students in mathematics, physics, and related areas learn how to use Deep Learning to solve partial differential equations. Instructors in mathematics or physics can also use this article to introduce students to Deep Galerkin method and scientific deep learning. We focus on key questions: What is deep learning, and how can it help solve mathematical or physical problems? How can you implement a neural network and choose the right numerical method to solve differential equations? How do you select the best hyperparameters? How can you improve accuracy and speed up convergence? We should mention that all the problems in this article can be solved on a machine without a GPU, so any student can follow the presented methodology.

2024-08-21T01:34:20Z 34 pages, 13 figures, primer (tutorial) Georgios Is. Detorakis http://arxiv.org/abs/2606.01821v1 2026-06-01T07:35:21Z

Pivoted Cholesky factorizations construct low-rank approximations of symmetric positive definite matrices by sequentially selecting pivots from the residual diagonal. Classical greedy and randomized rules, such as randomly pivoted Cholesky, target the algebraic trace-norm error of the residual. In many applications, however, the matrix enters a nonlinear matrix functional whose value, not the trace-norm error, determines solution quality, and residual-based rules ignore this structure. We derive a pivot rule that maximizes the exact one-step change of such a functional under Cholesky-consistent rank-1 updates, for a functional combining log-determinant, quadratic, and trace terms. This functional arises as the variational free energy in Gaussian process regression, where the matrix is a kernel matrix. The resulting per-step gain admits a closed-form additive decomposition into complexity, data-fit, and trace contributions, and is used directly as a pivot-selection criterion. We refer to the resulting method as $Δ$-VFE pivoted Cholesky. At each iteration, the criterion is evaluated on a batch of $s$ candidate pivots sampled proportionally to the residual diagonal via incremental Woodbury updates, at a total cost of $\mathcal{O}(snr^2)$ for an $n\times n$ matrix and target rank $r$. This matches the asymptotic complexity of randomly pivoted Cholesky up to the batch factor $s$. Cholesky-consistent rank-1 updates yield monotonically non-decreasing functional values, and the proposed rule maximizes the per-step gain among them. Numerical experiments show improved objective values and predictive accuracy at low to moderate ranks compared to classical and randomly pivoted Cholesky, while preserving trace-norm approximation quality.

2026-06-01T07:35:21Z Louise Schaub Peter Zaspel http://arxiv.org/abs/2606.01814v1 2026-06-01T07:30:53Z

This paper is devoted to construction and convergence analysis of the linear explicit immersed finite element (IFE) function. For the interface elements, the proposed IFE functions precisely satisfy the interface conditions on the actual interface. The IFE functions are constructed in an explicit form and can be obtained directly without solving any auxiliary problems or local linear systems. Although the constructed IFE functions are non-polynomial, we establish rigorous theoretical analysis showing that they achieve optimal approximation properties and satisfy the essential trace inequalities. And the constants in the analysis are independent of how the interface cuts through the elements. Based on these IFE functions, an immersed discontinuous Galerkin numerical scheme is developed. Several numerical experiments are implemented to confirm that both the IFE functions and the numerical method achieve optimal convergence rates in the $H^1$ and $L^2$ norms. Furthermore, the numerical results indicate that the condition numbers of the stiffness matrices are robust with respect to the interface location.

2026-06-01T07:30:53Z Lin Yang Qilong Zhai http://arxiv.org/abs/2606.04018v1 2026-06-01T06:15:46Z

We study neural approximation of elliptic PDE solutions from a variational perspective. The central point is the distinction between the geometry of neural parameters and the convergence of the corresponding physical states. Even when the original elliptic energy is coercive and strictly convex in the natural energy space, its restriction to a nonlinear neural ansatz may fail to be coercive in parameter space. This failure is caused by non-closedness of neural approximation manifolds and by condensation of neurons, which may generate limiting profiles outside the fixed ansatz class. Nevertheless, the associated state functions may remain bounded and converge strongly to the exact PDE solution. We prove this mechanism for Gaussian wave-packet approximations of a prototypical elliptic model in the whole space, derive convergence rates, and explain how the same state-level stability principle applies to residual minimization methods of PINN type, and HYCO-type hybrid methods. We also discuss relaxation and Tikhonov regularization.

2026-06-01T06:15:46Z Enrique Zuazua http://arxiv.org/abs/2606.01733v1 2026-06-01T05:53:30Z

Preconditioning is a fundamental technique for accelerating classical linear system solvers, and understanding when its benefits persist in quantum linear system (QLS) solvers is important for assessing the practical resource requirements of quantum linear algebra. In QLS algorithms, however, the potential advantage of preconditioning may be offset by the normalization overhead incurred by composing separate block-encodings of the system matrix and the preconditioner, as observed in recent work. This limitation leaves open whether additional algebraic structure can make preconditioning effective in quantum access models. Motivated by this question, we show that Pauli-structured representations of both the system matrix and the preconditioner allow the preconditioned operator to be accessed through regrouped Pauli expansions. In this setting, algebraic regrouping of Pauli products can reduce the Pauli coefficient weight of the preconditioned operator, thereby altering the normalization parameters relevant to quantum algorithms. We derive explicit size and coefficient-weight bounds for the regrouped Pauli representations, and we trace their consequences for both direct block-encoding constructions and randomized Pauli linear system solvers. These results identify when Pauli-structured preconditioning can reduce the effective complexity parameters of QLS algorithms, rather than merely improving the classical condition number. Numerical experiments on a finite-dimensional synthetic benchmark show reductions in norm-aware direct block-encoding diagnostics and in the randomized QLS per-sample depth proxy.

2026-06-01T05:53:30Z 15 pages Hantao Nie Zhijian Lai Dong An http://arxiv.org/abs/2606.01718v1 2026-06-01T05:33:58Z

This paper studies the Fourier spectral method (FSM) for the Schrödinger equation with singular potentials $V \in H^{s}$, where $s > \max\{d/2-2,-1\}$ and $d$ denotes the spatial dimension. This setting includes a broad class of singular potentials, such as the 3D Coulomb potential and the 1D Dirac-delta potential. First, we combine the Feshbach-Schur map with a refined perturbation argument to derive sharp convergence orders for FSM, yielding order $2s+2$ for eigenvalues and order $s+1$ for eigenfunctions in the $H^1$ norm. More importantly, the $H^1$ error with respect to the projected eigenfunction converges with a higher order $s+1+b$, where $b=\min\{s+2-d/2-\varepsilon,\; s+1,\; 2\}>0$ for arbitrarily small $\varepsilon>0$, revealing a super-convergence phenomenon. Second, in the presence of potentials with isolated point singularities, we develop an asymptotic-recovery (AR) technique to post-process the FSM solutions. The resulting method, dubbed AR-FSM, fully exploits the super-convergence property and achieves convergence orders $2s+2+2b$ for eigenvalues and $s+1+b$ for eigenfunctions in the $H^1$ norm, while the AR post-processing requires only a computational cost that is linear in the number of FSM degrees of freedom. The analysis introduces a rigorous definition of point singularities and develops a foundational framework for their study. It further establishes an asymptotic expansion of eigenfunctions consisting of a regular component in $H^{s+4}$ together with $d+1$ asymptotic functions associated with each singular point. Numerical experiments confirm the sharpness of these theoretical bounds.

2026-06-01T05:33:58Z 43 pages, 4 figures, 3 tables Yanjie Li Sihong Shao http://arxiv.org/abs/2601.00672v2 2026-06-01T03:41:08Z

In this paper, we study the finite element operator network (FEONet), an operator-learning method for parametric problems, originally introduced in J. Y. Lee, S. Ko, and Y. Hong, Finite Element Operator Network for Solving Elliptic-Type Parametric PDEs, SIAM J. Sci. Comput., 47(2), C501-C528, 2025. FEONet realizes the parameter-to-solution map on a finite element space and admits a training procedure that does not require training data, while exhibiting high accuracy and robustness across a broad class of problems. However, its computational cost increases and accuracy may deteriorate as the number of elements grows, posing notable challenges for large-scale problems. In this paper, we propose a new sparse network architecture motivated by the structure of the finite elements to address this issue. Throughout extensive numerical experiments, we show that the proposed sparse network achieves substantial improvements in computational cost and efficiency while maintaining comparable accuracy. We also establish theoretical results demonstrating that the sparse architecture can approximate the target operator effectively and provide a stability analysis ensuring reliable training and prediction.

2026-01-02T12:39:33Z Seungchan Ko Jiyeon Kim Dongwook Shin