The Topological DeepONet framework is built on, replacing point samples by continuous linear functionals drawn from the continuous dual of a Hausdorff locally convex space, whose topology is generated by a point-separating family of seminorms rather than a single norm, and develops fixed and adaptive functional measurement systems.
Abstract
Deep Operator Networks (DeepONets; arXiv:1910.03193) typically encode an input function through point values on a fixed discretization. Building on the Topological DeepONet framework of Ismailov (arXiv:2603.11972), we replace point samples by continuous linear functionals drawn from the continuous dual of a Hausdorff locally convex space $({V},\{p_\alpha\}_{\alpha\in A})$, whose topology is generated by a point-separating family of seminorms rather than a single norm, and develop fixed and adaptive functional measurement systems. Measurements are combined with the coefficient-space Two-Step procedure of Lee and Shin (arXiv:2309.01020), while a training-only decoder and regularization stabilize the adaptive coordinates. We derive a discrete error decomposition separating measurement, output-basis, and neural-approximation errors, together with a Barron-rate refinement. The framework is evaluated on the antiderivative operator, a non-normable locally convex input space, heterogeneous Darcy flow, a controlled operator, and fixed-time and time-evolving Navier-Stokes vorticity operators. In the heterogeneous Darcy problem, the functional models retain nearly resolution-independent errors of 5.5-5.6% on unseen grids, while in the controlled problem adaptive measurements reduce the mean error below 1.2%. For the fixed-time Navier-Stokes problem, the Adaptive Topological DeepONet is the most accurate DeepONet-based model, attaining a mean relative $L^2$ error of 1.685% +/- 0.017% using 128 functional coordinates. A comparably sized Fourier neural operator (FNO; arXiv:2010.08895) achieves the lower error 0.832% +/- 0.172%, but requires the full 64x64 input field, twice the training time, and 10.7x greater peak GPU memory. The formulation provides compact, interpretable, and discretization-portable coordinates in the continuous dual $V'$, including for non-normable input spaces.
Tight framelet systems on manifolds provide exact energy preservation and one-pass reconstruction, but their standard semi-discretization relies on polynomial-exact quadrature rules, which are difficult to reconcile with scattered and progressively refined data. We develop nested Marcinkiewicz--Zygmund (MZ) measures on...
Given a complete doubling metric measure space $(X,\rho,\mu)$ supporting a Poincar\'e inequality, we prove weak-type characterizations of the Sobolev space $\dot{W}^{1,p}(\mu)$ and the space of functions of bounded variation, achieving a full analogy in general Poincar\'e spaces with the Euclidean results of Brezis et...
T. Hytönen, Da-Chun Yang, Wen Yuan et al.· 0 citations
We study constrained smooth optimization problems on Hadamard manifolds with closed geodesically convex feasible sets. We analyze two projected gradient schemes: one with a constant stepsize and another with a backtracking line search. The constant-stepsize scheme is analyzed under the assumption that the objective fun...
O. P. Ferreira, M. L. N. Gonçalves, Á. M. González et al.· 0 citations
This work introduces the class $\mathcal{P}_\psi(\mu)$ of measures that differ from a reference measure only through a finite-dimensional map $\psi$ while preserving the reference conditionals on its fibers, and develops approximation theory for fitting within it.
R. Baptista, Bamdad Hosseini, Alexander Hsu· 0 citations
It is proved that quasi-Chebyshev parameter sets with univariate resolution $m$ generate fixed feature spaces attaining the sharp $H^r$-to-to-H^s$ approximation order for a class of analytic activations satisfying a quantitative non-cancellation condition on their Taylor coefficients.
Let $(M,\mathcal{D},g)$ be a smooth equiregular sub-Riemannian manifold equipped with a smooth positive measure $\mu$. We study the small-scale limit of the metric-ball mean-value operator \[ A_hf(x)=\frac{1}{h^{2}\mu(B(x,h)) }\int_{B(x,h)}(f(q)-f(x))\, d\mu(q). \] Exact homogeneity yields the pointwise limit on Carnot...
Fabrice Baudoin, Jonathan Junné, David Tewodrose· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.