Related papers: A note on active learning for smooth problems

Let $X$ be a compact Riemann surface $X$ of genus at--least two. Fix a holomorphic line bundle $L$ over $X$. Let $\mathcal M$ be the moduli space of Hitchin pairs $(E ,\phi\in H^0(End(E)\otimes L))$ over $X$ of rank $r$ and fixed…

In view of training increasingly complex learning architectures, we establish a nonsmooth implicit function theorem with an operational calculus. Our result applies to most practical problems (i.e., definable problems) provided that a…

In this paper, we derive an interior Schauder estimate for the divergence form elliptic equation \begin{equation*} D_i(a(x)D_iu)=D_if_i \end{equation*} in $\mathbb{R}^2$, where $a(x)$ and $f_i(x)$ are piecewise H\"older continuous in a…

Given a square integrable m-dimensional random variable $X$ on a probability space $(\Omega.\mathcal F,\Pr)$ and a sub sigma algebra $\mathcal A$, we show that there exists another m-dimensional random variable $Y$, independent of $\mathcal…

We show that the differential structure of the orbit space of a proper action of a Lie group on a smooth manifold is continuously reflexive. This implies that the orbit space is a differentiable space in the sense of Smith, which ensures…

We consider an abstract second order linear equation with a strong dissipation, namely a friction term which depends on a power of the "elastic" operator. In the homogeneous case, we investigate the phase spaces in which the initial value…

Let $k$ be an algebraically closed field and let $A$ be a finitely generated $k-$algebra. We show that the scheme of n-dimensional representations of $A$ is smooth when $A$ is hereditary and coherent. We deduce from this the smoothness of…

In (hyper)coherence semantics, proofs/terms are cliques in (hyper)graphs. Intuitively, vertices represent results of computations and the edge relation witnesses the ability of being assembled into a same piece of data or a same (strongly)…

On a compact, oriented, Riemannian manifold, the Hodge decomposition theorem associates a smooth primitive to any exact smooth form omega. In this paper, we show that given a smooth family of exact smooth forms omega(t), the family of…

A classical result of A.D. Alexandrov states that a connected compact smooth $n-$dimensional manifold without boundary, embedded in $\Bbb R^{n+1}$, and such that its mean curvature is constant, is a sphere. Here we study the problem of…

The relevance of machine learning (ML) in our daily lives is closely intertwined with its explainability. Explainability can allow end-users to have a transparent and humane reckoning of a ML scheme's capability and utility. It will also…

We prove a splitting theorem for Riemannian n-manifolds with scalar curvature bounded below by a negative constant and containing certain area-minimising hypersurfaces (Theorem 3). Thus we generalise [25,Theorem 3] by Nunes. This splitting…

We present the first adaptive strategy for active learning in the setting of classification with smooth decision boundary. The problem of adaptivity (to unknown distributional parameters) has remained opened since the seminal work of Castro…

We improve a known result on the strong consistency of M-estimates of the regression parameters in a linear model for independent and identically distributed random errors under some mild conditions.

We construct and analyze active learning algorithms for the problem of binary classification with abstention. We consider three abstention settings: \emph{fixed-cost} and two variants of \emph{bounded-rate} abstention, and for each of them…

On any symplectic manifold of dimension greater than 2, we construct a pair of smooth functions, such that on the one hand, the uniform norm of their Poisson bracket equals to 1, but on the other hand, this pair cannot be reasonably…

We prove the hardness of weakly learning halfspaces in the presence of adversarial noise using polynomial threshold functions (PTFs). In particular, we prove that for any constants $d \in \mathbb{Z}^+$ and $\varepsilon > 0$, it is NP-hard…

The paper considers functional linear regression, where scalar responses $Y_1,...,Y_n$ are modeled in dependence of random functions $X_1,...,X_n$. We propose a smoothing splines estimator for the functional slope parameter based on a…

We prove a stability theorem for spaces of smooth concordance embeddings. From it we derive various applications to spaces of concordance diffeomorphisms and homeomorphisms.

A new scheme is proposed to construct an n-times differentiable function extension of an n-times differentiable function defined on a smooth domain D in d-dimensions. The extension scheme relies on an explicit formula consisting of a linear…