Related papers: A Canonical Transform for Strengthening the Local …

We establish $L^p$-type universal approximation theorems for general and non-anticipative functionals on suitable rough path spaces, showing that linear functionals acting on signatures of time-extended rough paths are dense with respect to…

We study approximation of embeddings between finite dimensional L_p spaces in the quantum model of computation. For the quantum query complexity of this problem matching (up to logarithmic factors) upper and lower bounds are obtained. The…

Machine learning models with inputs in a Euclidean space $\mathbb{R}^d$, when implemented on digital computers, generalize, and their generalization gap converges to $0$ at a rate of $c/N^{1/2}$ concerning the sample size $N$. However, the…

We find a new finite algorithm for evaluation of Lipschitz-free $p$-space norm in finite-dimensional Lipschitz-free $p$-spaces. We use this algorithm to deal with the problem of whether given $p$-metric spaces $N\subset M$, the canonical…

Calibrated probabilistic classifiers are models whose predicted probabilities can directly be interpreted as uncertainty estimates. It has been shown recently that deep neural networks are poorly calibrated and tend to output overconfident…

For any $p\in[1,\infty]$, we prove that the set of simple functions taking at most $k$ different values is proximinal in $L^p$ for all $k\geq 1$. We introduce the class of uniformly approximable subsets of $L^p$, which is larger than the…

We propose the Canonical 3D Deformer Map, a new representation of the 3D shape of common object categories that can be learned from a collection of 2D images of independent objects. Our method builds in a novel way on concepts from…

Tensor models are generalizations of matrix models, and are studied as discrete models of quantum gravity for arbitrary dimensions. Among them, the canonical tensor model (CTM for short) is a rank-three tensor model formulated as a totally…

We prove $L^p$ quantitative differentiability estimates for functions defined on uniformly rectifiable subsets of the Euclidean space. More precisely, we show that a Dorronsoro-type theorem holds in this context: the $L^p$ norm of the…

We establish that the Fourier transform $\mathcal{F}: L^p(\mathbb{R}^d)\to L^{p',p}(\mathbb{R}^d)$, for $d\in\mathbb{N}$ and $1<p<2$, is not strictly singular, thereby confirming the optimality of the source and target spaces. A~similar…

Despite their many appealing properties, kernel methods are heavily affected by the curse of dimensionality. For instance, in the case of inner product kernels in $\mathbb{R}^d$, the Reproducing Kernel Hilbert Space (RKHS) norm is often…

We prove Fatou type theorem on almost everywhere convergence of convolution integrals in spaces $L^p\,(1<p<\infty)$ for general kernels, forming an approximate identity. For a wide class of kernels we show that obtained convergence regions…

Let $K=2^\mathbb{N}$ be the Cantor set, let $\mathcal{M}$ be the set of all metrics $d$ on $K$ that give its usual (product) topology, and equip $\mathcal{M}$ with the topology of uniform convergence, where the metrics are regarded as…

Let $(T,{\cal F},\mu)$ be a $\sigma$-finite measure space, $E$ a separable real Banach space and $p\geq 1$. Given a sequence of functions $f, f_1, f_2,...$ from $T\times E$ to ${\bf R}$, under general assumptions, we prove that, for each…

We use weighted polynomial approximation to prove the existence of a compact set K with non-empty interior and a function f is dense in the space A(K) of all continuous functions on K that are holomorphic in the interior of K, endowed with…

For a separable finite diffuse measure space $\mathcal{M}$ and an orthonormal basis $\{\varphi_n\}$ of $L^2(\mathcal{M})$ consisting of bounded functions $\varphi_n\in L^\infty(\mathcal{M})$, we find a measurable subset…

Many practical problems need the output of a machine learning model to satisfy a set of constraints, $K$. Nevertheless, there is no known guarantee that classical neural network architectures can exactly encode constraints while…

A classical result in approximation theory states that for any continuous function \( \varphi: \mathbb{R} \to \mathbb{R} \), the set \( \operatorname{span}\{\varphi \circ g : g \in \operatorname{Aff}(\mathbb{R})\} \) is dense in \(…

We consider the space of functions almost in $L_p$ and endow it with the topology of asymptotic $L_p$-convergence. This yields a completely metrizable topological vector space which, on finite measure spaces, coincides with the space of…

For a positive finite Borel measure $\mu$ compactly supported in the complex plane, the space $\mathcal{P}^2(\mu)$ is the closure of the analytic polynomials in the Lebesgue space $L^2(\mu)$. According to Thomson's famous result, any space…