Related papers: Remarks on Talagrand's deviation inequality for Ra…
We investigate the distance function $\boldsymbol{\delta}_{K}^{\phi}$ from an arbitrary closed subset $ K $ of a~finite-dimensional Banach space $ (\mathbf{R}^{n}, \phi) $, equipped with a uniformly convex $\mathcal{C}^{2}$-norm $ \phi $.…
In this mostly expository article, we give streamlined proofs of several well-known Lipschitz extension theorems. We pay special attention to obtaining statements with explicit expressions for the extension constants. One of our main…
Let $t$ be random and uniformly distributed in the interval $[T,2T]$, and consider the quantity $N(t+1/\log T) - N(t)$, a count of zeros of the Riemann zeta function in a box of height $1/\log T$. Conditioned on the Riemann hypothesis, we…
We obtain the inequality $$\int_{\Omega}|\nabla u(x)|^ph(u(x))dx\leq C(n,p)\int_{\Omega} \left( \sqrt{ |\Delta u(x)||{\cal T}_{h,C}(u(x))|}\right)^{p}h(u(x))dx,$$ where $\Omega\subset \mathbf{R}^n$ is a bounded Lipschitz domain, $u\in…
We address a special case of a conjecture of M. Talagrand relating two notions of "threshold" for an increasing family $\mathcal F$ of subsets of a finite set $V$. The full conjecture implies equivalence of the "Fractional…
Consider an $L^2$-normalized Laplace-Beltrami eigenfunction $e_\lambda$ on a compact, boundary-less Riemannian manifold with $\Delta e_\lambda = -\lambda^2 e_\lambda$. We study eigenfunction triple products \[ \langle e_\lambda e_\mu, e_\nu…
Let (e^{tA})_{t \geq 0} be a C_0-contraction semigroup on a 2-smooth Banach space E, let (W_t)_{t \geq 0} be a cylindrical Brownian motion in a Hilbert space H, and let (g_t)_{t \geq 0} be a progressively measurable process with values in…
The Bernoulli convolution with parameter $\lambda\in(0,1)$ is the probability measure $\mu_\lambda$ that is the law of the random variable $\sum_{n\ge0}\pm\lambda^n$, where the signs are independent unbiased coin tosses. We prove that each…
For $f$ a Rademacher or Steinhaus random multiplicative function, we prove that $$ \max_{\theta \in [0,1]} \frac{1}{\sqrt{N}} \Bigl| \sum_{n \leq N} f(n) \mathrm{e} (n \theta) \Bigr| \gg \sqrt{\log N} ,$$ asymptotically almost surely as $N…
Let $E \subset \mathbb{R}^n$ be a compact set, and $f:E \to \mathbb{R}$. How can we tell if there exists a convex extension $F \in C^{1,1}(\mathbb{R}^n)$ of $f$, i.e. satisfying $F|_E = f|_E$? Assuming such an extension exists, how small…
We establish generic uniform convergence guarantees for Gaussian data in terms of the Rademacher complexity of the hypothesis class and the Lipschitz constant of the square root of the scalar loss function. We show how these guarantees…
It is shown that if (X,||.||_X) is a Banach space with Rademacher type p \ge 1, then for every integer n there exists an even integer m < Cn^{2-1/p}log n (C is an absolute constant), such that for every f:Z_m^n --> X, \Avg_{x,\e}[||f(x+…
Let $Z$ be an $n$-dimensional Gaussian vector and let $f: \mathbb R^n \to \mathbb R$ be a convex function. We show that: $$\mathbb P \left( f(Z) \leq \mathbb E f(Z) -t\sqrt{ {\rm Var} f(Z)} \right) \leq \exp(-ct^2),$$ for all $t>1$, where…
A pair of probability distributions over $\{0,1\}^n$ is said to be $(k,\delta)$-wise indistinguishable if all of the size $k$ marginals are within statistical distance at most $\delta$. Previous works introduced this concept and study when…
In the paper, new estimates of the Lebesgue constant $$ \mathcal{L}(W)=\frac1{(2\pi)^d}\int_{\mathbb{T}^d}\bigg|\sum_{{k}\in W\cap \mathbb{Z}^d} e^{i({k},\,{x})}\bigg| {\rm d}{ x} $$ for convex polyhedra $W\subset\mathbb{R}^d$ are obtained.…
We study the connection between directed isoperimetric inequalities and monotonicity testing. In recent years, this connection has unlocked breakthroughs for testing monotonicity of functions defined on discrete domains. Inspired the rich…
Building on Talagrand's proof of the Hoffmann-J{\o}rgensen inequality for $L_p$ spaces and its version for the exponential Orlicz spaces we provide a full characterization of Orlicz functions $\Psi$ for which an analogous inequality holds…
We introduce the Takagi--van der Waerden function with parameters $a{>}b{>}0$ by setting $f_{a,b}(x)=\sum\limits_{n=1}^\infty b^n d\big(x,S_n\big)$, where $S_n$ is a maximal $\frac1{a^n}$-separated set in a metric space $X$. So, if…
It was proved in [8,9] that every Lagrangian submanifold $M$ of a complex space form $\tilde M^{5}(4c)$ of constant holomorphic sectional curvature $4c$ satisfies the following optimal inequality: {align}\tag{A}\delta(2,2)\leq…
We prove a Lipschitz extension lemma in which the extension procedure simultaneously preserves the Lipschitz continuity for two non-equivalent distances. The two distances under consideration are the Euclidean distance and, roughly…