Related papers: The smoothest average: Dirichlet, Fej\'er and Cheb…
Let $(M,g)$ be a compact, smooth, Riemannian manifold and $\{ \phi_h \}$ an $L^2$-normalized sequence of Laplace eigenfunctions with defect measure $\mu$. Let $H$ be a smooth hypersurface. Our main result says that when $\mu$ is…
We revisit the classical problem of finding an approximately stationary point of the average of $n$ smooth and possibly nonconvex functions. The optimal complexity of stochastic first-order methods in terms of the number of gradient…
Here is one of the results obtained in this paper: Let $\Omega\subset {\bf R}^n$ be a smooth bounded domain, let $q>1$, with $q<{{n+2}\over {n-2}}$ if $n\geq 3$ and let $\lambda_1$ be the first eigenvalue of the problem $$\cases{-\Delta…
We consider $\beta$-smooth (satisfies the generalized Holder condition with parameter $\beta > 2$) stochastic convex optimization problem with zero-order one-point oracle. The best known result was arXiv:2006.07862: $\mathbb{E}…
We propose a new algorithm that finds an $\varepsilon$-approximate fixed point of a smooth function from the $n$-dimensional $\ell_2$ unit ball to itself. We use the general framework of finding approximate solutions to a variational…
We establish new estimates for the number of $m$-smooth polynomials of degree $n$ over a finite field $\mathbb{F}_q$, where the main term involves the number of $m$-smooth permutations on $n$ elements. Our estimates imply that the…
Generalized and Simulated Method of Moments are often used to estimate structural Economic models. Yet, it is commonly reported that optimization is challenging because the corresponding objective function is non-convex. For smooth…
We study the possibility of a gradual improvement as time progresses of the regularity of solutions to evolution problems of parabolic type driven by L\'evy-type operators, not necessarily translation invariant. In the course of our…
Under the Ornstein-Uhlenbeck semigroup $\{U_t\}$, any non-negative measurable $f : \mathbb R^n \to \mathbb R_+$ exhibits a uniform tail bound better than that implied by Markov's inequality and conservation of mass: For every $\alpha \geq…
Let $\lambda^*>0$ denote the largest possible value of $\lambda$ such that \begin{align*} \left\{\begin{aligned} \Delta^2 u & = \la e^u && \text{in $B $} u &= \pd{u}{n} = 0 && \text{on $ \pa B $} \end{aligned} \right. \end{align*} has a…
Let $U\subseteq\mathbb{R}^d$ be open and convex. We prove that every (not necessarily Lipschitz or strongly) convex function $f:U\to\mathbb{R}$ can be approximated by real analytic convex functions, uniformly on all of $U$. We also show…
For the class of de Branges-Rovnyak spaces $\mathcal{H}(b)$ of the unit disk $\mathbb{D}$ defined by extreme points $b$ of the unit ball of $H^\infty$, we study the problem of approximation of a general function in $\mathcal{H}(b)$ by a…
The classical Davis inequality $\mathbb{E} Mf\simeq \mathbb{E} Sf$, where $(Sf)^2=\sum_{k}\left|f_{k}-f_{k-1}\right|^2$ is the square function and $Mf= \sup_n \left|f_n\right|$ is the maximal function, is true with a universal constant for…
We provide an asymptotic estimate for certain sums over k-free integers with small prime factors. These sums depend upon a complex parameter \alpha and involve a smooth cut-off f. They are a variation of several classical number-theoretical…
This paper establishes a bivariate Hardy-Sobolev inequality. Let $\Omega \subset \mathbb{R}^N$ ($N \geq 3$) be an open domain, $s \in (0,2)$, $\alpha > 1$, $\beta > 1$ with $\alpha + \beta = 2^*(s)$, and $\kappa \in \mathbb{R}$. For any…
We show how Lasry-Lions's result on regularization of functions defined on $\mathbb{R}^n$ or on Hilbert spaces by sup-inf convolutions with squares of distances can be extended to (finite or infinite dimensional) Riemannian manifolds $M$ of…
We consider iterative gradient-based optimization algorithms applied to functions that are smooth and strongly convex. The fastest globally convergent algorithm for this class of functions is the Triple Momentum (TM) method. We show that if…
We provide a simple abstract formalism of integration by parts under which we obtain some regularization lemmas. These lemmas apply to any sequence of random variables $(F_n)$ which are smooth and non-degenerated in some sense and enable…
The problem of testing hypothesis that a density function has no more than $\mu$ derivatives versus it has more than $\mu$ derivatives is considered. For a solution, the $L^2$ norms of wavelet orthogonal projections on some orthogonal…
We consider the design of smoothings of the (coordinate-wise) max function in $\mathbb{R}^d$ in the infinity norm. The LogSumExp function $f(x)=\ln(\sum^d_i\exp(x_i))$ provides a classical smoothing, differing from the max function in value…