Related papers: $\mathbf{C^2}$-Lusin approximation of strongly con…

The $c$-curvature of a complete surface with Gauss curvature close to 1 in $C^2$ norm is almost-positive (in the sense of Kim--McCann). Our proof goes by a careful case by case analysis combined with perturbation arguments from the constant…

We prove an intrinsic equivalence between strong hypercontractivity and a strong logarithmic Sobolev inequality for the cone of logarithmically subharmonic functions. We introduce a new large class of measures, Euclidean regular and…

Let $n\ge1$ and $B\ge2$. A real-valued function $f$ defined on the $n$-simplex $\Delta_n$ is approximately convex with respect to $\Delta_{B-1}$ iff f(\sum_{i=1}^B t_ix_i) \le \sum_{i=1}^B t_if(x_i) +1 for all $x_1,...,x_B \in \Delta_n$ and…

We study pointwise convergence properties of weakly* converging sequences $\{u_i\}_{i \in {\mathbb N}}$ in $\mathrm{BV}({\mathbb R}^n)$. We show that, after passage to a suitable subsequence (not relabeled), we have pointwise convergence…

We prove that if f : R^N --> R is quasiconvex and U is open in the density topology of R^N, then sup_U f = ess sup_U f, while inf_U f = ess inf_U f if and only if the equality holds when U = R^N. The first (second) property is typical of…

We prove a new "Toeplitz exactness" theorem for strong convergence. This is a machine to upgrade strong convergence in the general setting of $C^\ast$-correspondences, and has several applications.

For a finite set $A \subseteq \mathbb{R}^n$, consider a function $u \in \mathrm{BV}_{\mathrm{loc}}^2(\mathbb{R}^n)$ such that $\nabla u \in A$ almost everywhere. If $A$ is convex independent, then it follows that $u$ is piecewise affine…

We investigate the realizations of a random Gaussian field on a finite domain of ${\mathbb R}^d$ in the limit where a given linear functional of the field is large. We prove that if its variance is bounded, the field converges uniformly and…

We call a function $f$ in $C(X)$ to be hard-bounded if $f$ is bounded on every hard subset, a special kind of closed subset, of $X$. We call a subset $T$ of $X$ to be $S$-embedded if every hard-bounded continuous function of $T$ can be…

Let $\Sigma$ be a strictly convex, compact patch of a $C^2$ hypersurface in $\mathbb{R}^n$, with non-vanishing Gaussian curvature and surface measure $d\sigma$ induced by the Lebesgue measure in $\mathbb{R}^n$. The Mizohata--Takeuchi…

Let $U$ be an open set in $\mathbb{R}^d$. A continuous function $f\colon U \to \mathbb{R}$ is strongly nowhere differentiable if and only if for each $\gamma\in(0,1]$ and for each unit speed $C^{1,\gamma}$ curve $c\colon [a,b] \to U$, the…

An improvement of the Liouville theorem for discrete harmonic functions on $\mathbb{Z}^2$ is obtained. More precisely, we prove that there exists a positive constant $\varepsilon$ such that if $u$ is discrete harmonic on $\mathbb{Z}^2$ and…

The logarithmic coefficients $\gamma_n$ of an analytic and univalent function $f$ in the unit disk $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$ with the normalization $f(0)=0=f'(0)-1$ are defined by $\log \frac{f(z)}{z}= 2\sum_{n=1}^{\infty}…

Given a continuous, radial, rapidly decreasing weight $v$ on the complex plane $\mathbf{C}$, we study the solid hull of its associated weighted space $H_v^\infty(\mathbf{C})$ of all the entire functions $f$ such that $v|f|$ is bounded. The…

In this work, using Moreau envelopes, we define a complete metric for the set of proper lower semicontinuous convex functions. Under this metric, the convergence of each sequence of convex functions is epi-convergence. We show that the set…

We show that a finitely strongly generated, non-negatively graded vertex algebra $V$ is $C_2$-cofinite if and only if it is lisse in the sense of Beilinson, Feigin and Mazur. This shows that the $C_2$-cofiniteness is indeed a natural…

We establish new approximation results in the sense of Lusin for Sobolev functions $f$ with $|\nabla f| \in L\log L$ on infinite-dimensional spaces equipped with Gaussian measures. The proof relies on some new pointwise estimate for the…

The $U^2$ norm gives a useful measure of quasirandomness for real- or complex-valued functions defined on finite (or, more generally, locally compact) groups. A simple Fourier-analytic argument yields an inverse theorem, which shows that a…

We provide a self contained proof of a result of Dudley [Dud64]} which shows that a bounded convex-body in $\Re^d$ can be $\varepsilon$-approximated, by the intersection of $O_d\bigl(\varepsilon^{-(d-1)/2} \bigr)$ halfspaces, where $O_d$…

Let $X\subset\mathbb{R}^n$ be a convex closed and semialgebraic set and let $f$ be a polynomial positive on $X$. We prove that there exists an exponent $N\geq 1$, such that for any $\xi\in\mathbb{R}^n$ the function…