SEARCH · Searcharxiv

Search Searcharxiv

Search indexed arXiv papers on artificial intelligence, large language models, computer vision and robotics. Read source abstracts and follow links to arXiv.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 271 records · Page 15Linked to original sources

arXiv2026

On the Application of Hybrid Mixed Domain Decomposition Methods to Permanent Magnet Synchronous Machines

In this work, we study the application of a hybrid mixed domain decomposition(HMDD) method for the rotor-stator coupling of a permanent magnet synchronous machine. For this, we derive a variational formulation on the electric machine inspired by hybridized discontinuous Galerkin methods using a mixed magnetostatics problem, an affine material law and boundary conditions respecting the symmetry of the motor. We are then able to locate the resulting finite element method within the HMDD framework. This enables us naturally to transfer the well-posedness results and error estimates for the HMDD method to the finite element method considered in this work. Lastly, as a proof of concept, we consider an academic example and compare the resulting magnetic flux density and potential lines to their counterparts obtained by a well-established in-house code using iso-geometric analysis.

cs.CE↗

arXiv2026

Variation Spaces for Encoder--Decoder Neural Operators: Approximation and Generalization

Inspired by the function-space theory of neural networks, we formulate and analyze a variation space for nonlinear operators between Hilbert spaces, defined through vector-valued Borel measures of bounded variation. We characterize its unit ball as the closed convex hull of a vector-valued single-neuron dictionary in Bochner spaces. For the ReLU activation, the bounded linear operators in this space are precisely the Schatten-$1$ operators, with equivalent norms. For operators in this space, we establish encoder--decoder approximation bounds in the Bochner $L^q$-norm, where the error decomposes into input and output encoding errors and a finite-width term of order $N^{-1/2}$. Under sub-Gaussian assumptions on the input and noise, we further derive high-probability generalization bounds for empirical least squares over path-norm-constrained encoder--decoder networks; the finite-sample contribution to the squared prediction error is of order $K^{-1/2}$ up to logarithmic factors. The finite-width and finite-sample constants are independent of the encoding dimensions and bases, with the latter also independent of the network width. When the encoding errors decay algebraically, these bounds yield algebraic approximation and learning rates, in contrast to the complexity barriers for Lipschitz and Fréchet differentiable operator classes.

stat.ML↗

arXiv2026

Analysis, thermodynamics, and a numerical solver for a pressure-temperature equilibrium closure of the four-equation model

We analyze an often used closure model for multi-material hydrodynamics where pressure-temperature equilibrium (PTE) is assumed for every state; emphasis is placed on tabular equations of state. This multi-material model is often referred to as the four-equation model. The identification of the admissible set is presented and is proven to be convex, setting the foundation for development of invariant-domain preserving methods for this model. A novel numerical method is presented for solving the highly nonlinear system for the equilibrated pressure and temperature with an arbitrary number of materials. This new method is compared with some traditional iterative solvers through a collection of different tests. Additionally, we provide a detailed analysis of the thermodynamics of the mixture model for general equations of state and prove existence and uniqueness of the pressure-temperature equilibrium solution under some thermodynamic assumptions.

math.NA↗

arXiv2026

Fourier--Hankel Moment Recovery in Acoustic Scattering: Multichannel Stabilization and Radial Interface Resolution

We study direct recovery of visible phase centers and concentric radial interfaces from full-aperture acoustic far-field data under the Born approximation. Two complementary moment structures are extracted from the two-angle Fourier matrix. At fixed positive total Fourier order, the nonnegative-order channels share the same leading phase-center moment, and a generalized least-squares combination yields an exact variance gain over a single Fourier row. The corresponding Hankel rank and shifted pencil recover distinct phase centers. Signed moments reveal off-center cavities but become degenerate when material and cavity centers coincide. Zero-total-order coefficients retain complementary radial Bessel moments. For a piecewise-constant radial average, low-frequency extrapolation produces a second finite exponential sequence whose nodes are the squared interface radii. We establish rank and perturbation results for both reductions. Numerical experiments verify multichannel stabilization, concentric-cavity resolution, and recovery of multiple radial interfaces. A final full-wave Helmholtz experiment, generated without the Born substitution, assesses the Born-derived reconstruction under model mismatch and shows how nonlinear scattering eventually appears as an additional Hankel tail.

math.NA↗

arXiv2026

Computational Oncology of Chemotaxis-Driven Tumour--Immune Spatial Patterning and Stability

We develop a reaction--diffusion--chemotaxis model for spatial tumour--immune--chemokine dynamics that couples logistic tumour growth, immune-mediated killing, chemokine-dependent immune recruitment, chemotactic migration, and signal production. For the nondimensional system, we establish local classical solvability, nonnegativity, a uniform tumour-density bound, and global mass estimates for the immune and chemokine components. The tumour-free equilibrium is stable precisely when the baseline immune-control index satisfies $σ_0/δ>1$, whereas positive homogeneous coexistence is characterized by a scalar nonlinear equation. Linearization in the Neumann Laplacian eigenbasis yields a mode-dependent cubic dispersion relation, showing that chemotaxis does not alter the tumour-invasion threshold but can destabilize homogeneous coexistence through a finite-wavelength oscillatory instability above a critical sensitivity $ξ_c$. A conservative finite-volume discretization with upwind chemotactic fluxes and implicit backward differentiation formula time integration is used to test these predictions. Numerical experiments recover the analytical equilibria and growth rates, identify the dominant unstable mode, reproduce the transition to spatial heterogeneity, and quantify the effects of immune recruitment, decay, and diffusion on the stability boundary. Grid-refinement, mass-balance, residual, and nonnegativity diagnostics support the computational reliability of the results.

math.AP↗

arXiv2026

Windowed thinning and query complexity for the bouncy particle and Zigzag samplers

Let $μ(d x)\propto e^{-U(x)} d x$ on $\R^d$, where $U$ is $m$-strongly convex and $L$-smooth, and denote by $κ=L/m$ the condition number. We consider windowed thinning, an exact simulation method for the bouncy particle sampler and the coordinate Zigzag process. The method divides a trajectory into deterministic windows and uses a gradient evaluation at the beginning of each window to construct a tractable local envelope for the event rate. Combining this construction with quantitative mixing estimates and finite-time bounds on the expected numbers of bounces and flips yields query complexity guarantees from a Gaussian cold start. For total-variation error $\varepsilon$, the expected query counts are $O(κ^{1/2}d\,(d\logκ+\log\frac1\varepsilon))$ gradient queries for the bouncy particle sampler and $O(κd^{1/4}(d\logκ+\log\frac1\varepsilon))$ full-gradient equivalents for Zigzag, where $d$ coordinate-partial queries count as one equivalent.

math.NA↗

arXiv2026

The Frame Kernel Method for Multiscale Operator Learning

We present a natively multiscale operator learning method for the surrogate modeling of (numerical solvers for) multiscale partial differential equations (PDEs). The primary novelty of our method lies in a novel multiscale kernel frame function approximation technique. Leveraging this new kernel frame technique, we cast the operator learning problem as one of learning frame coefficients of output functions as a function of frame coefficients of input functions. The generalization step then automatically allows for a multiscale decomposition of the output functions. Our method is applicable to both tensor-product grids and point clouds. We present interpolation proofs, error estimates, and numerical convergence rates for our frame approximation. We the demonstrate the applicability of our method for the surrogate modeling of inherently multiscale PDEs. The new multiscale frame kernel method is significantly more accurate than popular neural operators on challenging problems from the literature, while simultaneously admitting an a posteriori multiscale decomposition upon generalization.

cs.LG↗

arXiv2026

Spectral Bounds for Kernel Quadrature

A bottleneck in the theory of kernel methods in machine learning is the storage requirement. To ameliorate this, a standard trick is to replace the kernel with an explicit feature map. Perhaps, the most well known example is the Gaussian kernel which can be expressed in terms of the Fourier features. Analytically, the kernel $K$ can be expressed in terms of an integral expression that involves a possibly asymmetric kernel $G$ representing the feature map. Numerically, one needs to approximate this integral by a suitable numerical integration scheme, typically Monte Carlo. In this paper, we demonstrate that the eigenvalues of $K$ are approximated much better by the eigenvalues of the kernel obtained by discretizing the integral using suitable quadrature formulas instead. We illustrate this fact in the case of the Gaussian kernel and neural tangent kernels on the unit sphere of a four-dimensional Euclidean space corresponding to the sigmoid and ReLU activation functions.

math.NA↗

arXiv2026

FTU-Seek: Foundation Model-Guided Hard-Negative Learning for Sparse Functional Tissue Unit Segmentation

Functional tissue units (FTUs), including tertiary lymphoid structures (TLSs), blood vessels, and glands, encode localized immune, vascular, and epithelial organization in histopathology. Accurate quantification of these structures is important for studying tissue architecture and disease-associated tissue organization. However, FTUs are frequently sparse, heterogeneous, and surrounded by large amounts of morphologically similar background tissue, making automated segmentation in whole-slide images (WSIs) challenging. We therefore developed FTU-Seek, a pathology foundation model-guided framework that treats morphology-aware negative-patch selection as a key component of sparse FTU segmentation. FTU-Seek uses frozen multi-depth features from the UNI pathology foundation model to train a patch-level classifier that distinguishes FTU-containing from FTU-absent tissue. Target-absent patches are subsequently ranked according to their predicted target-containing probabilities, and the highest-scoring hard negatives are selected through a static Top$K$ strategy to construct compact segmentation training sets. The framework was evaluated using five-fold cross-validation and internal test cohorts across TLS, blood-vessel, and gland segmentation tasks, with an additional independent 30-WSI held-out cohort for TLS. Positive-only, all-tissue, random-negative, and matched random Top$K$ sampling strategies served as comparators. Segmentation-derived phenotypes were further explored in external TCGA cohorts.

cs.CV↗

arXiv2026

Fast computation and convergence analysis of the infinite-product representation of the Schottky--Klein prime function

The Schottky--Klein prime function is a standard tool for boundary-value problems on multiply connected circular domains. Because this function is represented as an infinite product over a Schottky group, numerical evaluation requires truncation to finitely many factors. The standard word-length truncation grows exponentially in cost and becomes inefficient when the boundary circles nearly touch one another or the unit circle. To address this difficulty, we assign to each group element a cross-ratio potential measuring the size of its contribution, and retain only terms below a prescribed threshold. We establish uniform closed-form bounds on the change in this potential when prepending Schottky-group generators, and from these bounds we derive an efficient enumeration algorithm. The resulting relative error decays exponentially with the threshold at a rate determined by the Hausdorff dimension of the limit set of the Schottky group. Numerical experiments demonstrate that the proposed formulation achieves substantial computational speedups over word-length truncation in challenging geometric configurations.

math.NA↗

arXiv2026

Assessment of Numerical Lift Coefficient Data for a Circular Cylinder with Application to Bladeless Turbines

We assess computed lift coefficient data for flow past a circular cylinder to evaluate their suitability for practical applications. Specifically, we consider lift coefficient data for a circular cylinder over Reynolds numbers from 120 to 8000. The results are obtained from two-dimensional finite element simulations of the incompressible Navier-Stokes equations using pressure robust discretizations. We compare the computed lift coefficients with published experimental and numerical results, finding good agreement in some cases but significant disagreement in others. Because lift fluctuations are central to vortex-induced vibration concepts, these data therefore provide input for the analysis and preliminary design of bladeless turbines.

physics.flu-dyn↗

arXiv2026

Sharp Mixed Spectral Barron Regularity of Coulombic Many-Electron Wave Functions

We establish sharp mixed spectral Barron regularity for eigenfunctions of molecular Coulomb Hamiltonians. The mixed norm is a Fourier $L^1$ norm with one isotropic weight and coordinate-product weights, and therefore detects regularity invisible to the isotropic Barron scale. For a nonempty set $I$ of electron indices on which the wave function is antisymmetric, we derive an explicit admissible region for the isotropic order $s$ and the coordinate orders $α,β$. This region is optimal as a uniform statement over the class of clamped-nuclei Coulomb Hamiltonians. For fixed-spin components with two occupied spin blocks, it reduces to $s+α+β<1$; in the fully spin-polarized class it reduces to $s+α<1$. In particular, if $\mathcal I_σ$ denotes the family of occupied same-spin blocks determined by $σ$, then every fixed-spin spatial component $ψ_σ$ satisfies, for every $0\leqα<1$, \[ \left(\sum_{I\in\mathcal I_σ}\prod_{i\in I}\langleξ_i\rangle^α\right)\widehat{ψ_σ}\in L^1(\mathbb{R}^{3N}). \] For a fully spin-polarized state, $\mathcal I_σ=\{\{1,\ldots,N\}\}$.

math.AP↗

arXiv2026

DOFFO_TR: a Decentralized Objective Function-Free Optimization method with Trust-Region

In this paper, we propose a novel objective function-free trust-region method designed to solve optimization problems over decentralized networks. Unlike traditional approaches that often rely on stepsize tuning, our framework employs a function-free trust-region procedure that enables adaptive selection of the step length. Our approach accommodates first- and second-order models and eliminates the need to share local function values and gradients among agents, thereby enhancing privacy and computational efficiency. On the theoretical side, we establish provable iteration complexity guarantees that, for some variants, match those established for classical centralized trust-region methods. Numerical evaluations demonstrate that our approach achieves a favorable trade-off between performance and efficiency, requiring only moderate communication overhead compared to state-of-the-art methods in the literature.

math.OC↗

arXiv2026

Asymptotic behavior of Eckhoff's method for convergence acceleration of Dirac eigenfunction expansions

The current paper considers the problem of recovering a vector-function on $[-1,1]$ from a limited number of coefficients of its expansion into a series of eigenfunctions of a one-dimensional Dirac system. The Krylov--Lanczos--Eckhoff--Gottlieb acceleration method is examined in the situation when the boundary values it requires have to be computed from the generalized Fourier coefficients themselves. This leads to a $2q\times 2q$ linear system whose matrix is a block Vandermonde matrix; its determinant and inverse are computed explicitly, and the asymptotic $L_2$-error constant of the method is found, paralleling the classical trigonometric case.

math.NA↗

arXiv2026

OptiXDE: A fast optical-inspired solver for differential equations

OptiXDE is a matrix-free spectral operator framework for differential equations on uniform grids and embedded domains. Inspired by angular-spectrum propagation in Fourier optics, it maps transform-diagonal spatial operators to analytical modal multipliers and composes them with physical-space operators for nonlinearities, geometry and boundary enforcement. A common transform--operator--inverse-transform backbone is demonstrated across transient diffusion, periodic and embedded-domain Poisson problems, the cubic nonlinear Schr"odinger equation, viscous Burgers dynamics, the two-dimensional Allen--Cahn equation and incompressible flows from the Taylor--Green vortex to embedded-cylinder vortex shedding. Transform-compatible linear problems are recovered near the floating-point limit, whereas errors on the singular L-shaped domain remain localized near the re-entrant corner and regularized interface. Nonlinear benchmarks recover second-order temporal convergence and the expected conservative or dissipative behavior, while incompressibility remains near round-off level during long-time vortex shedding. The matrix-free updates require $\mathcal{O}(N\log N)$ work and $\mathcal{O}(N)$ memory. Device-resident transform workloads reach $94.9\times$ GPU acceleration, and the complete embedded-cylinder solver achieves a $42.1\times$ CPU--GPU speedup under matched numerical settings. These results establish OptiXDE as a deterministic and extensible operator-centric framework for structured and embedded-domain differential equations.

math.NA↗

arXiv2026

Randomized inexact block triangular preconditioners for double saddle-point systems in PDE-constrained optimization

We develop a new class of inexact block triangular preconditioners for double saddle-point systems arising from PDE-constrained optimization. The proposed preconditioners are constructed through matrix factorization techniques while preserving the inherent block structure of the original systems. A comprehensive spectral analysis of the preconditioned matrices is provided, yielding explicit bounds for both real and nonreal eigenvalues. To enable efficient construction of the inexact preconditioners, randomized strategies are introduced to select the required subblocks. We establish high-probability bounds for the expected approximation error, with the error estimates explicitly characterized in terms of the eigenvalues of the associated matrices. Numerical experiments demonstrate the effectiveness, robustness, and scalability of the proposed preconditioners, and validate the efficiency of the randomized construction strategies.

math.NA↗

arXiv2026

Symmetry Inheritance and Symmetry-Reduced Finite Element Analysis for Second-Order Linear Elliptic Problems with Robin Boundary Conditions

A symmetry framework is developed for second-order linear elliptic equations subject to Robin boundary conditions on bounded domains. Orthogonal transformations of the domain are represented through left group actions on scalar, vector, and second-order tensor fields. The corresponding transformation rules for the gradient, divergence, diffusion flux, and conormal boundary term are derived in detail. Based on these relations, symmetry groups are introduced for the principal coefficient tensor, the first-order and zeroth-order coefficients, the differential operator, the Robin coefficient, and the boundary operator. The symmetry properties of the volume and boundary source terms are then incorporated into a common symmetry group for the complete boundary value problem. Under the assumption of unique solvability, it is proved that every element of this common group is also a symmetry of the solution. For reflection symmetries, homogeneous generalized Neumann conditions are obtained on artificial symmetry boundaries, leading to an exact reduction of the computational domain. A corresponding finite element formulation is presented, and numerical results are provided to verify the theoretical symmetry properties and the validity of the resulting domain-reduction strategy. Three examples illustrate radial reduction from multiple dimensions to one dimension, reflection-based domain reduction, and a variable-coefficient problem in which all coefficients and source terms are nonzero.

math.NA↗

arXiv2026

32-point DFT Approximations Based on Minimal Frobenius Error and DFT Symmetries

This work introduces low-complexity, multiplierless approximations for the 32-point discrete Fourier transform. The proposed methods are obtained by minimizing the Frobenius error compared against the DFT matrix over a set of trivial multipliers. A row-wise, symmetry-constrained parameterization is employed to reduce the search space size, rendering the task computationally tractable. The resulting approximations could outperform the reference method in the literature according to energy-based error measurements. A sparse matrix factorization is provided for efficient computation; the arithmetic costs are 152 real additions and 34 bit-shifts only.

eess.SP↗