Related papers: A note on active learning for smooth problems
We study an extension of active learning in which the learning algorithm may ask the annotator to compare the distances of two examples from the boundary of their label-class. For example, in a recommendation system application (say for…
In connection with the work of Anscombe, Macpherson, Steinhorn and the present author in [1] we investigate the notion of a multidimensional exact class ($R$-mec), a special kind of multidimensional asymptotic class ($R$-mac) with measuring…
We prove Richberg type theorem for $m$-subharmonic function. The main tool is the complex Hessian equation for which we obtain the existence of the unique smooth solution in strictly pseudoconvex domains.
The inflationary prediction of a flat Universe is at odds with current determinations of the matter density (Omega_M~0.2-0.4). This dilemma can be resolved if a smooth component contributes the remaining energy density (Omega_X=1-Omega_M).…
We study the counts of smooth permutations and smooth polynomials over finite fields. For both counts we prove an estimate with an error term that matches the error term found in the integer setting by de Bruijn more than 70 years ago. The…
A cohomology class of a smooth complex variety of dimension $n$ has coniveau $\geq c$ if it vanishes in the complement of a closed subvariety of codimension $\geq c$, and has strong coniveau $\geq c$ if it comes by proper pushforward from…
We present a static analysis for discovering differentiable or more generally smooth parts of a given probabilistic program, and show how the analysis can be used to improve the pathwise gradient estimator, one of the most popular methods…
In this mostly expository paper we review several known results about the cohomology of moduli spaces of smooth and stable curves, focusing in particular on low degree cohomology. We also give a new proof of Harer's theorem describing the…
The real homology of a compact, n-dimensional Riemannian manifold M is naturally endowed with the stable norm. The stable norm of a homology class is the minimal Riemannian volume of its representatives. If M is orientable the stable norm…
We prove density of smooth functions in subspaces of Sobolev- and higher order $BV$-spaces of kind $W^{m,p}(\Omega)\cap L^q(\Omega-D)$ and $BV^m(\Omega)\cap L^q(\Omega-D)$, respectively, where $\Omega\subset\mathbb{R}^n$ ($n\in\mathbb{N}$)…
We establish the Kato-type smoothing property, i.e., global-in-time smoothing estimates with homogeneous weights, for the Schr\"odinger equation on Riemannian symmetric spaces of non-compact type and general rank. These form a rich class of…
In this paper we investigate the approximation of continuous functions on the Wasserstein space by smooth functions, with smoothness meant in the sense of Lions differentiability. In particular, in the case of a Lipschitz function we are…
We prove that homological stability fails for the moduli space of any simply-connected closed smooth 4-manifold in any degree of homology, unlike what happens in all dimensions $\neq 4$. We detect also the homological discrepancy between…
M-type smoothing splines are a broad class of spline estimators that include the popular least-squares smoothing spline but also spline estimators that are less susceptible to outlying observations and model-misspecification. However,…
Numerical solutions of differential equations are usually not smooth functions. However, they should resemble the smoothness of the corresponding real solutions in one way or another. In two of our recent papers, a kind of spacial…
In traditional models of supervised learning, the goal of a learner -- given examples from an arbitrary joint distribution on $\mathbb{R}^d \times \{\pm 1\}$ -- is to output a hypothesis that is competitive (to within $\epsilon$) of the…
We consider the class of smooth convex functions defined over an open convex set. We show that this class is essentially different than the class of smooth convex functions defined over the entire linear space by exhibiting a function that…
Let $(X,\omega)$ be a compact K\"{a}hler manifold of dimension $n$, and fix $1\leq m\leq n.$ We prove that the complex Hessian equation $(\omega+dd^c\varphi)^m\wedge \omega^{n-m}=f\omega^n$, with $0<f\in \mathcal{C}^{\infty}(X)$ has a…
We establish a smoothness result for families of biholomorphisms between smooth families of strongly pseudoconvex domains, each with trivial biholomorphism group. This is accomplished by considering the Riemannian geometry of their Bergman…
For a compact $(2n+1)$-dimensional smooth manifold, let $\mu_M : B Diff_\partial (D^{2n+1}) \to B Diff (M)$ be the map that is defined by extending diffeomorphisms on an embedded disc by the identity. By a classical result of Farrell and…