subject

cs.NA

cs.NA: explore 425 source-linked works published from 2021 to 2026, with original documents and citations.

This collection is a preview while coverage and quality are evaluated.

Coverage and selection

Includes records with this source-supplied label or an explicit phrase match in their metadata. Matches indicate a mention, not proof that a paper uses a method or tests a material. Source versions are consolidated by DOI.

Sources: arxiv. Collection updated 2026-09-16. Counts describe this index, not the complete source archives.

arXiv2026

An Interface Green's Function Framework for Complete Discrete $W^{1,\infty}$ Analysis of Discontinuous Galerkin Methods

Pointwise error analysis of discontinuous Galerkin (DG) methods for the Poisson equation has received considerable attention during the past two decades. However, on convex polyhedral domains, existing analyses can only establish optimal error estimates in the broken $W^{1,\infty}$ seminorm for several DG methods. Since the broken $W^{1,\infty}$ seminorm does not control discontinuities across mesh interfaces, a complete discrete $W^{1,\infty}$ theory for discontinuous approximations on convex polyhedral domains has remained unavailable. In this paper, we develop an interface Green's function framework for the complete discrete $W^{1,\infty}$ analysis of DG methods on convex polyhedral domains. The proposed framework introduces new interface Green's functions that represent jumps of discontinuous approximations across mesh interfaces. Its central analytical ingredient is a new local energy estimate for these Green's functions, obtained by exploiting a cancellation between neighboring discrete delta functions. This estimate differs fundamentally from existing Green's function estimates and enables us to derive maximum-norm estimate for interface jumps without introducing additional logarithmic factors.

math.NA↗

arXiv2026

A Neural-network-based multiscale Hybridizable Discontinuous Galerkin method for solving PDEs in porous media

We develop a neural-network-accelerated multiscale hybridizable discontinuous Galerkin method for elliptic problems with heterogeneous coefficients. The method preserves the standard MsHDG local-to-global structure: fine-scale HDG problems on coarse blocks define discrete Dirichlet-to-Neumann operators, which are assembled through the standard MsHDG global skeleton equations. To reduce the cost of constructing these local operators, we train a neural network on coefficient fields defined on a reference block and use the predicted operators in place of repeated fine-scale local solves. The numerical experiments assess both the accuracy and online efficiency of the resulting NN-MsHDG method. For two-dimensional binary permeability fields with moderate contrast, the neural method reproduces the standard MsHDG solution with relative modeling errors of a few percent while reducing the total online computational cost by factors of approximately 5 to 16, depending on the coarse trace dimension. In the high-contrast regime, the chosen polynomial coarse trace spaces already yield substantial discretization errors in the standard MsHDG method, indicating the need for more effective coarse spaces, such as coefficient-adapted spectral trace spaces. In addition, the learned local operators introduce modeling errors that become severe as the trace space is enriched. These results demonstrate the potential of neural surrogates for accelerating multiscale HDG computations while also highlighting the need for improved operator representations and a better understanding of error amplification in high-contrast problems.

math.NA↗

arXiv2026

Closure complexity of longest-edge bisection for triangular meshes

On triangular meshes, we analyze local mesh refinement based on longest-edge bisection equipped with the serial longest-edge propagation-path closure. Ties are resolved by terminal priority: if the incoming shared edge is a longest edge of the neighboring triangle, the pair is declared terminal and that edge is bisected. For every adaptive mesh sequence $\mathcal{T}_0, \mathcal{T}_1, \ldots, \mathcal{T}_L$ with a sequence of marked sets $\mathcal{M}_0, \mathcal{M}_1, \ldots, \mathcal{M}_{L-1}$, we prove the cumulative closure estimate $$\#\mathcal{T}_L-\#\mathcal{T}_0 \lesssim\sum_{\ell=0}^{L-1}\#\mathcal{M}_\ell.$$ The proof derives single-mark locality from the uniform multiplicative gap between possible descendant diameters implied by finite similarity classes, and converts this locality into the cumulative estimate through a Binev--Dahmen--DeVore-type charging argument.

math.NA↗

arXiv2026

A class of high-order discontinuous-Galerkin methods satisfying infinitely many entropy conditions with provable error estimates and strong convergence for general nonlinear conservation laws

We propose a novel framework for deriving semi-discrete discontinuous-Galerkin (DG) methods using operator semigroups for scalar conservation laws, then apply it to construct a class of high-order OFDG-type schemes [13] satisfying infinitely many local entropy inequalities with general E-fluxes on non-uniform meshes. Such schemes are further generalized to systems of conservation laws in any number of space dimensions by using entropy stable numerical fluxes in the sense of [1]. Finally, we prove optimal error estimates for smooth solutions to nonlinear scalar conservation laws, and prove strong convergence for discontinuous solutions to strictly convex conservation laws via compensated compactness.

math.NA↗

arXiv2026

Numerical experiments on the Hardy conjecture for the Gauss circle problem

The classical unsolved Gauss circle problem concerns estimating the error between the number of lattice points inside a circle and the area of the circle as its radius tends to infinity. About a century ago, Hardy proposed a conjecture concerning this problem. In this paper, we attempt to provide numerical evidence in support of the Hardy conjecture through large-scale numerical computations.

math.NT↗

arXiv2026

Energy-Consistent Splitting and Decomposition Approaches for Coupled port-Hamiltonian ODEs

Operator splitting provides an attractive approach for the numerical integration of (coupled) port-Hamiltonian systems, as it allows the underlying system structure to be exploited at the level of the individual subproblems. However, the choice of the decomposition is not unique and may strongly affect both the computational efficiency and the preservation of the energy behavior of the original system. In this work, we investigate this interplay systematically and introduce energy consistency as a criterion for assessing splitting methods for port-Hamiltonian ordinary differential equations. We derive sufficient conditions under which a splitting based on a given decomposition inherits the energy behavior of the continuous system and use these conditions to analyze several decomposition strategies for coupled port-Hamiltonian systems. In particular, we compare decompositions that preserve the structure with approaches that exploit lower-dimensional subsystem dynamics or separated time scales. The analysis is complemented by numerical experiments using Strang splitting and its multiple-time-stepping extension. A scalable electro-thermal benchmark with fast electrical and slow thermal dynamics is employed to assess accuracy, energy behavior, and computational efficiency. The results demonstrate that preserving the port-Hamiltonian structure of the subflows is essential for energy-consistent splitting, whereas decompositions that exploit subsystem structure or time-scale separation can provide substantial computational advantages. In particular, the time-scale decomposition yields significant efficiency gains for systems with pronounced multirate characteristics, while structure-destroying decompositions may lead to undesirable energy behavior.

math.NA↗

arXiv2026

Fast Gauss Sums via Flash Attention

Gaussian kernel sums are the computational core of maximum mean discrepancies (MMDs), kernel gradient flows, Stein variational gradient descent (SVGD), and many other kernel methods. At the same time, softmax attention has received an extraordinary amount of hardware-aware code engineering, culminating in flash attention. We show that Gauss kernel sums with arbitrary, signed weights can be evaluated via flash attention: two small input augmentations turn the normalized softmax reduction into the unnormalized Gauss sum, without writing a single line of custom GPU code. For feature dimension D>8 in fp16, this approach beats compiled PyTorch code as well as PyKeOps kernels (often significantly) in speed, memory-overhead and accuracy. Indeed, its memory scaling remains linear.

cs.LG↗

arXiv2026

Construction of trace-preserving Fortin operators

We present a unifying framework to construct local Fortin operators for conforming mixed finite element pairs for the Stokes equations. The operators are constructed to satisfy the divergence-preservation property, local stability and approximation properties, and certain trace-preservation properties. For the latter, some of the finite element pairs require an enrichment of the velocity space. We present the construction for the $P_d-P_0$ element, the Bernardi-Raugel element, the conforming Crouzeix-Raviart element, a modified MINI element and generalised Taylor-Hood elements. Furthermore, we discuss implications of the existence of such a Fortin operator beyond inf-sup stability. These include applications to non-Newtonian fluid flow, problems with inhomogeneous Dirichlet boundary conditions, as well as uniform inf-sup stability relevant for domain approximation and moving domains.

math.NA↗

arXiv2026

Frequency-explicit convergence analysis of a multiscale finite element method for highly heterogeneous scattering problems

We analyze the numerical approximation of time-harmonic scattering by highly heterogeneous penetrable obstacles. These problems are especially challenging in the high-frequency regime, where the size of the scatterer $L$ is much larger than the wavelength, i.e., the wavenumber $k$ is such that $kL \gg 1$. Here, we further consider the situation where the scatterer contains different materials, with a characteristic size $\varepsilon$ such that $k\varepsilon \ll 1$. We propose a high-order multiscale finite element method, and provide an error analysis that is explicit in both $k$ and $\varepsilon$. Crucially, our error estimates suggest that using a high-order method should reduce the computational cost for large frequencies, which is corroborated by numerical examples.

math.NA↗

arXiv2026

Revisiting kinetic electrostatic electron non-linear (KEEN) waves in the presence of dynamical ions

We revisit the kinetic electrostatic electron nonlinear (KEEN) waves studied by Afeyan et. al in 2014 using a hybrid flow-mapping strategy that combines the characteristic mapping method (CMM) with numerical flow iteration (NuFi). The study extends the classical setup to dynamical ions, comparing their impact on the long-time KEEN dynamics with the static-ion case. To this end, we extend the CMM-NuFI framework with a multi-map strategy, assigning one map to the ion and one to the electron characteristic flow. The resulting problem exhibits a wide separation of spatial and temporal scales, driven by the fine structures generated by the ponderomotive force and by the large ion-to-electron mass ratio, which renders it computationally prohibitive for conventional grid-based methods. Our multi-map CMM-NuFI method efficiently resolves these disparate scales, enabling long-time simulations of KEEN dynamics with fully dynamical ions.

physics.plasm-ph↗

arXiv2026

A simple shallow neural network for emulating the solution to singularly perturbed problems

We consider (feed-forward) Neural Networks (NNs) for the emulation of the solution to singularly perturbed second order boundary value problems, with two small parameters. We describe a shallow NN which exploits available asymptotic expansions for the solution. These additive decompositions into smooth and layer components, allow for derivative estimates which are explicit in the order of differentiation as well as the singular perturbation parameter(s) \cite{melenk, Irene, SX}. Utilizing such decompositions, we propose a simple NN for emulating the solution to such problems using the $\tanh$ activation function together with different training objectives, such as residual or energy minimization. The key idea is to augment the approximation space with suitable exponential functions, similar to enriched spaces in finite element methods, e.g.~\cite{Kellogg}. Numerical examples in one and two dimensions, including a smooth non-tensor-product domain, illustrate the resulting parameter-robust behavior over the tested perturbation ranges.

math.NA↗

arXiv2026

PRICE: A Systematic Study of LLM Adaptation Choices for Bitcoin Price Forecasting

Cryptocurrency markets exhibit extreme volatility and non-stationary dynamics that challenge conventional forecasting methods. Although Large Language Models (LLMs) have shown promise for time series forecasting, the combined effects of adaptation choices remain largely unexplored in financial settings. This study introduces PRICE, a structured approach for adapting LLMs to short-term Bitcoin price forecasting. Built on a 4-bit quantized LLaMA-3 8B model, PRICE investigates how fine-tuning, numerical representation, prompting, inference, and decoding jointly influence forecasting performance. PRICE integrates Parameter-efficient fine-tuning with Low-Rank Adaptation (LoRA), Recursive multi-step inference, Integer-rounded numerical representation, Context-Task-Format (CTF) prompting, and Exact zero-temperature decoding. Ablation studies show that each component contributes to forecasting accuracy and reliability. LoRA enables efficient training on limited hardware, recursive inference improves accuracy, integer-rounded values reduce errors, CTF prompting outperforms Chain-of-Thought, Implicit Chain-of-Thought (iCoT), and few-shot prompting, and zero-temperature decoding improves stability during recursive forecasting. Comparative evaluation against eight transformer-based and time-series foundation models shows that PRICE achieves the lowest forecasting errors on both validation and test sets while maintaining robust performance across evaluation periods. Despite being based on a model primarily pretrained on text rather than time-series data, PRICE achieves competitive or superior performance relative to specialized foundation models. These findings demonstrate that adaptation choices critically determine the accuracy and robustness of LLMs for numerical time-series forecasting.

cs.LG↗

arXiv2026

A Generalized Scalar Auxiliary Variable Method for Structure-Preserving and Efficient Integration of Nonlinear port-Hamiltonian DAEs

We develop an energy-optimal generalized scalar auxiliary variable (EOP-GSAV) framework for nonlinear index-one port-Hamiltonian differential-algebraic equations (pH-DAEs). Exploiting the port-Hamiltonian structure, we separate the nonlinear effort, interconnection, and dissipation terms from a constant implicit core. The resulting BDF-1 and BDF-2 schemes require one linear solve per time step with a reusable factorization, while retaining discrete passivity and accurate tracking of the Hamiltonian. The schemes are compared with the implicit midpoint method equipped with full, modified, and frozen-Jacobian Newton iterations. Numerical experiments ranging from a strongly state-dependent nonlinear stress test to large-scale benchmarks demonstrate robust and competitive performance, with substantial efficiency gains in matched-accuracy regimes. A comparison with SUNDIALS IDA shows comparable work-precision behavior at equal order despite a non-specialized Python/SciPy implementation, while unrestricted variable-order adaptive IDA is faster in the high-accuracy regime.

math.NA↗

arXiv2026

Shallow neural network approximation in mixed Sobolev spaces

We investigate the best $L_2$ approximation of mixed Sobolev spaces by shallow neural networks with $n$ neurons and general activation functions. We first establish an activation-independent Fourier-block principle: if an activation has univariate approximation order $ρ$ in the sense of the Fourier-block property, then the global approximation rate has algebraic order $\min\{α,ρ\}$ for target functions of mixed smoothness $α$, up to explicit logarithmic factors. To verify this property for concrete activations, we introduce a structured univariate approximation condition that implies the Fourier-block property with explicit parameters. For $\mathrm{ReLU}^k$, a matching algebraic lower bound identifies $\min\{α,k+1\}$ as the optimal algebraic approximation exponent in any dimension, up to logarithmic factors in the upper bound. The framework also yields the exponent $\min\{α,k+1\}$ for cardinal B-splines and soft-$\mathrm{ReLU}^k$, and the full mixed-smoothness exponent $α$ for ELU and cosine activations, again up to logarithmic~factors.

math.NA↗

arXiv2026

A Nuclear-Norm Lower Bound for Dithered Scalar Quantization of Matrix Products

We consider the problem of minimizing error in quantized matrix multiplication $C=AB$. Scalar quantization of the factors introduces rounding errors whose scale depends on the maximum absolute entries -- the ranges -- of their rows and columns. These ranges determine the quantization grid steps. To reduce the error, we optimize over product-preserving transformations that alter the factor ranges and grid steps without changing $C$. Specifically, we seek the smallest leading expected squared error over invertible inner changes of basis and orthogonal outer rotations. Under independent, zero-mean subtractive dither noise on an unbounded lattice, we prove the output-only bound $E_{\rm lead} \ge (c_A+c_B)/K \Vert AB\Vert_*^2$, where $K$ is the inner dimension, $c_A$ and $c_B$ are normalized noise variances, and $\Vert AB\Vert_*$ is the nuclear norm. The bound is tight: an SVD-aligned Hadamard construction attains the infimum whenever a Hadamard matrix of order $K$ exists, including every power of two, while an SVD-aligned DCT construction is within a factor of two for every $K$. Without outer rotations, Gram-matrix balancing minimizes factorization energy, and finite-set flattening achieves the bound within $C\log(K(m+n))$. For power-of-two $K$, conditional expectations deterministically select the Hadamard signs in $O((m+n)K^2)$ exact-real operations. Synthetic experiments verify both constructions and illustrate the tradeoff between regularization and conditioning. These results characterize the full-gauge optimum and quantify the cost of preserving row and column indices.

cs.IT↗

arXiv2026

Direct Numerical Simulation of Thermoacoustically Unstable Flames Via Non-Drifting Acoustic Delay Characteristic Boundary Conditions

Thermoacoustic instability in premixed flames results from the coupling between the flame's heat release, as determined by combustion parameters, and surrounding acoustics, as determined by combustor geometry. A primary instability results in flame flattening as intrinsic flame instability modes are stabilised. Secondary thermoacoustic instability results in a parametric flame instability and drastic growth of acoustic amplitudes. Due to their relative expense, numerical simulations of these phenomena remain scarce. In this work, Direct Numerical Simulations (DNS) of thermoacoustically unstable idealised premixed flames in a tube with acoustically closed upstream and open downstream ends are presented. Results herein demonstrate nonlinear saturation of the primary instability as the flame flattens as well as an oscillating flame fingering characteristic of the unsteady Rayleigh-Taylor effect. To reduce computational cost, we perform DNS only on the region surrounding the flame. Acoustics at in- and outflows are described using the Navier-Stokes Characteristic Boundary Condition (NSCBC) method to model their delayed reentry into the domain in a formulation referred to as the Acoustic Delay Characteristic Boundary Condition (ADCBC) method. A new Averaged Proportional and Integral Linear Relaxation (APILR) method is also introduced, which modifies the Classic Linear Relaxation (CLR) method to maintain time-averaged values of inflow velocity and outflow pressure. Here, an integral control term is used to remove non-zero equilibrium time-averaged inflow velocities which impinge control over flame position. Both new methods demonstrate their capability in inert and counterflow flames test cases. These methods enable the numerical simulation of combustion instabilities at significantly reduced computational expense.

physics.flu-dyn↗

arXiv2026

Anisotropic View Distance Metric for High-Dimensional Data: Theory, Geometry, and Fast Computation

K-Means clustering algorithm is one of the most commonly used clustering algorithms because of its simplicity and efficiency. K-Means clustering algorithm based on Euclidean distance only pays attention to the linear distance between Euclidean distance is an efficient and interpretable similarity measurement, but its effectiveness may deteriorate in sample spaces with anisotropic structures, redundant features, or complex feature interactions. In this paper, we propose a novel distance metric called View distance. Inspired by orthographic projection, the proposed metric projects the sample space onto $n(n-1)/2$ two-dimensional planes and defines the final distance as the sum of the Euclidean distances across the projected planes. Theoretical derivations verify that the View distance strictly satisfies the metric axioms and norm constraints. Beyond that, the View distance achieves feature coupling through projection and not only enables constant features to indirectly participate in distance calculation, but also suppresses interference from redundant features while exhibiting anisotropic geometric properties. Furthermore, to address the high computational complexity and poor scalability of full-projection View distance, we propose a two-dimensional projection plane selection strategy based on iterative Maximum Weight Matching, which reduces the computational complexity of distance calculation from $\mathcal{O}(n^2)$ to $\mathcal{O}(k)$. Extensive experiments on 12 diverse datasets demonstrate that View distance and the deterministic selection strategy provide competitive or superior performance compared with Euclidean distance and other $L_{p}$ metrics while maintaining strong interpretability and computational efficiency. The View distance provides a new perspective and option for similarity measurements.

cs.LG↗

arXiv2026

Geometric Optics Approximation Sampling: A Reflector-Induced Transport Map Framework

In this paper, we propose Geometric Optics Approximation Sampling (GOAS), a reflector-induced transport-map framework for sampling from target measures. Once a reflecting surface is constructed, the associated transport map is explicitly determined by the physical law of reflection. As a concrete realization, we develop a supporting-hyperellipsoid construction that requires only a discrete approximation of the target measure and does not require gradient information of the target density. The formulation accommodates both density-based and sample-based target representations. A softmin smoothing technique is introduced to obtain a smooth approximate transport map from this piecewise hyperellipsoidal construction. We establish well-posedness and stability of the reflector-induced push-forward measure and derive quantitative error estimates in the maximum mean discrepancy metric, and convergence of continuous statistical observables, including fixed-order moments. Numerical experiments on an analytically tractable example, strongly non-Gaussian targets, sample-based target approximations, and Bayesian inverse problems demonstrate the accuracy and flexibility of GOAS.

math.NA↗

Compare source metadata on this page

Work	Published	Source identifier	Source
An Interface Green's Function Framework for Complete Discrete $W^{1,\infty}$ Analysis of Discontinuous Galerkin Methods	2026-09-04	2608.11559	arxiv
A Neural-network-based multiscale Hybridizable Discontinuous Galerkin method for solving PDEs in porous media	2026-09-04	2608.25850	arxiv
Closure complexity of longest-edge bisection for triangular meshes	2026-09-04	2609.04003	arxiv
A class of high-order discontinuous-Galerkin methods satisfying infinitely many entropy conditions with provable error estimates and strong convergence for general nonlinear conservation laws	2026-09-04	2609.04687	arxiv
Numerical experiments on the Hardy conjecture for the Gauss circle problem	2026-09-04	2609.04725	arxiv
Energy-Consistent Splitting and Decomposition Approaches for Coupled port-Hamiltonian ODEs	2026-09-04	2609.04884	arxiv
Fast Gauss Sums via Flash Attention	2026-09-04	2609.04910	arxiv
Construction of trace-preserving Fortin operators	2026-09-04	2609.04926	arxiv
Frequency-explicit convergence analysis of a multiscale finite element method for highly heterogeneous scattering problems	2026-09-04	2609.04930	arxiv
Revisiting kinetic electrostatic electron non-linear (KEEN) waves in the presence of dynamical ions	2026-09-04	2609.04941	arxiv
A simple shallow neural network for emulating the solution to singularly perturbed problems	2026-09-04	2609.05180	arxiv
PRICE: A Systematic Study of LLM Adaptation Choices for Bitcoin Price Forecasting	2026-09-04	2609.05235	arxiv
A Generalized Scalar Auxiliary Variable Method for Structure-Preserving and Efficient Integration of Nonlinear port-Hamiltonian DAEs	2026-09-04	2609.05246	arxiv
Shallow neural network approximation in mixed Sobolev spaces	2026-10-07	2609.05263	arxiv
A Nuclear-Norm Lower Bound for Dithered Scalar Quantization of Matrix Products	2026-09-04	2609.05641	arxiv
Direct Numerical Simulation of Thermoacoustically Unstable Flames Via Non-Drifting Acoustic Delay Characteristic Boundary Conditions	2026-09-04	2609.05656	arxiv
Anisotropic View Distance Metric for High-Dimensional Data: Theory, Geometry, and Fast Computation	2026-09-03	2206.05215	arxiv
Geometric Optics Approximation Sampling: A Reflector-Induced Transport Map Framework	2026-09-03	2403.01655	arxiv

These are bibliographic comparisons, not experimental rankings. Follow the original document for methods and conditions.