Let $\Omega_{n}=\{-1,1\}^n$ be the $n$-dimensional hypercube equipped with the normalized uniform measure, let $\nabla$ be the Walsh gradient and let $\Delta$ be the Walsh Laplacian. For every $1<p\leq 2$ we prove the following estimate \[ \|\nabla f\|_{L_p(\Omega_n;\ell_2^n)} \leq c_{{\rm abs}}(p-1)^{-2}\|\Delta^{1/p}f\|_{L_p(\Omega_n)}. \] The exponent $\frac1p$ is optimal, thus this settles the open problem on the sharp fractional Riesz estimate by Efraim and Lust-Piquard \cite{E-LP2008} which was subsequently highlighted by Ivanisvili and Volberg \cite{I-V2022}. We also establish the higher-order counterpart. As applications of our results, we obtain simpler proofs of the optimal short-time estimate for $\nabla e^{-t\Delta}$, and the Bernstein-Markov type inequality for $d$-bounded degree functions.
Let $1<p<2$ and $D_j$ be the discrete partial derivative on the Hamming cube $\Omega_n = \{ -1, 1\}^n$. Let $\Delta=\sum_{j=1}^nD_j$ be the discrete Laplacian.We prove the endpoint inequality \[ \left\|\left(\sum_{j=1}^n|D_jf|^2\right)^{1/2}\right\|_{p} \lesssim_p\|\Delta^{1/p}f\|_{p}, \quad \forall f:\Omega_n \to \mat...
Let $n\geq 2$ and let $q$ be an odd prime power. The first aim of this paper is to prove that, for every $E\subset \mathbb{H}_n(\mathbb{F}_q)$ and every $\lambda>0$, the following sharp rich-direction estimate holds \[ \left| \left\{ \vartheta\in D_n: M^{\mathrm{rd}}_{\mathbb{H}_n}\mathbf{1}_E(\vartheta)\geq\lambda \ri...
Thang Pham, A. Pinamonti, Dung The Tran et al.· 0 citations
Let $X=(X_1,\ldots,X_n)$ have independent coordinates with mean zero, variance one, and $\|X_i\|_{\psi_2}\le K$, and let $H_d=(\mathbb R^n)^{\otimes_2 d}$. Let $L>0$ and let $f:H_d\to\mathbb R$ be convex and $L$-Lipschitz. We prove that, for $0\le t\le c_KLn^{d/2}$, \[ \textsf{P}\left\{ \left\lvert f(X^{\otimes d})-\te...
Let $\Omega\subset\mathbb{R}^d$, $d\ge2$, be a bounded connected domain with boundary of class $C^{1,\alpha}$, where $0<\alpha<1$. For the adjoint Neumann--Poincar\'e operator $K^*_{\partial\Omega}$, normalised so that its distinguished eigenvalue is $1/2$, let $\lambda_j^+(\Omega)$ denote the upper min--max values on...
Let $\mu$ be the M\"obius function and $e(t)=e^{2\pi it}$. We prove that if $N\ge2$, $\alpha\in\mathbb{R}$, $(a,q)=1$, and $|\alpha-a/q|\le q^{-2}$, then \[\bigg|\sum_{n\le N}\mu^2(n)e(\alpha n)\bigg|\ll\left(\frac Nq+q\right)(\log 2N)^5, \] with an absolute implied constant, and we deduce the corresponding estimate on...
Nicolas Robles, Alexandru Zaharescu, Dirk Zeindler· 0 citations
Let $\alpha\in(0,n)$, $p\in(1,\frac{n}{\alpha})$, $q:=\frac{np}{n-\alpha p}$, and $W\in\mathscr A_{p,q}$. We establish the following quantitative matrix-weighted estimate for the fractional integral $I_\alpha$: for any $\vec{f}\in L^p(W^p)$, \begin{align*} \left\|I_\alpha\vec f\right\|_{L^q(W^q)} \lesssim[W]_{\mathscr...
