Related papers: Jackson's inequality on the hypercube

Let $f$ be a Maass cusp form for $\rm SL_2(\mathbb{Z})$ with Laplace eigenvalue $1/4+\mu_f^2$, $\mu_f>0$. Let $g$ be an arbitrary but fixed holomorphic or Maass cusp form for $\rm SL_2(\mathbb{Z})$. In this paper, we establish the following…

An isoperimetric inequality on the Hamming cube for exponents $\beta\ge 0.50057$ is proved, achieving equality on any subcube. This was previously known for $\beta\ge \log_2(3/2)\approx 0.585$. Improved bounds are also obtained at the…

Let $f$ be a real-valued, degree-$d$ Boolean function defined on the $n$-dimensional Boolean cube $\{\pm 1\}^{n}$, and $f(x) = \sum_{S \subset \{1,\ldots,d\}} \widehat{f}(S) \prod_{k \in S} x_k$ its Fourier-Walsh expansion. The main result…

We study regularity properties for solutions to the nakedly degenerate elliptic equation $a_{ij}\partial_{ij}u =0$, where the coefficients satisfy $I \ge a_{ij}(x) \ge \lambda(x) I$ and the only assumption is that $\lambda^{-1} \in L^p$. We…

For positive integers $n$ and $r$, we let $Q_n^r$ denote the $r$th power of the $n$-dimensional discrete hypercube graph, i.e., the graph with vertex-set $\{0,1\}^n$, where two 0-1 vectors are joined if they are Hamming distance at most $r$…

The Hermite-Hadamard inequality states that the average value of a convex function on an interval is bounded from above by the average value of the function at the endpoints of the interval. We provide a generalization to higher dimensions:…

The sensitivity of a Boolean function f is the maximum over all inputs x, of the number of sensitive coordinates of x. The well-known sensitivity conjecture of Nisan (see also Nisan and Szegedy) states that every sensitivity-s Boolean…

Finding a good bound on the maximal edge diameter $\Delta(d,n)$ of a polytope in terms of its dimension $d$ and the number of its facets $n$ is one of the basic open questions in polytope theory \cite{BG}. Although some bounds are known,…

We show that for all $A, B \subseteq \{0,1,2\}^{d}$ we have $$ |A+B|\geq (|A||B|)^{\log(5)/(2\log(3))}. $$ We also show that for all finite $A,B \subset \mathbb{Z}^{d}$, and any $V \subseteq\{0,1\}^{d}$ the inequality $$ |A+B+V|\geq…

We investigate the stability of equilibrium-induced optimal values with respect to (w.r.t.) reward functions $f$ and transition kernels $Q$ for time-inconsistent stopping problems under nonexponential discounting in discrete time. First,…

Let $f$ be a fixed self-contragradient Hecke-Maass form for $SL(3,\mathbb Z)$, and $u$ an even Hecke-Maass form for $SL(2,\mathbb Z)$ with Laplace eigenvalue $1/4+k^2$, $k>0$. A subconvexity bound $O\big(k^{4/3+\varepsilon}\big)$ in the…

We give tight bounds on the degree $\ell$ homogenous parts $f_\ell$ of a bounded function $f$ on the cube. We show that if $f: \{\pm 1\}^n \rightarrow [-1,1]$ has degree $d$, then $\| f_\ell \|_\infty$ is bounded by $d^\ell/\ell!$, and $\|…

Let $p(z)=zf'(z)/f(z)$ for a function $f(z)$ analytic on the unit disk $|z|<1$ in the complex plane and normalized by $f(0)=0, f'(0)=1.$ We will provide lower and upper bounds for the best constants $\delta_0$ and $\delta_1$ such that the…

In this paper, we prove the discrete Caffarelli-Kohn-Nirenberg inequalities on the lattice $\mathbb{Z}^{N}$ ($N\geq 1$) in a broader range of parameters than the classical continuous version [8]: \[ \parallel u\parallel_{\ell_{b}^{q}}\leq…

We prove that for any $2<p<\infty$ and for every $n$-dimensional subspace $X$ of $L_p$, represented on $\mathbb R^n$, whose unit ball $B_X$ is in Lewis' position one has the following two-level Gaussian concentration inequality: \[ \mathbb…

Let $L$ be a sectorial operator of type $\alpha$ ($0 \leq \alpha < \pi/2$) on $L^2(\mathbb{R}^d)$ with the kernels of $\{e^{-tL}\}_{t>0}$ satisfying certain size and regularity conditions. Define $$ S_{q,L}(f)(x) =…

Let $(M,g)$ be a closed Riemannian manifold of dimension $n$, and $k\geq 1$ an integer such that $n>2k$. We show that there exists $B_0>0$ such that for all $u \in H^{k}(M)$, \[\|u\|_{L^{2^\sharp}(M)}^2 \leq K_0^2 \int_M |\Delta_g^{k/2}…

Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} \| f(z) \|=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty…

In a statistical mechanics model with unbounded spins, we prove uniqueness of the Gibbs measure under various assumptions on finite volume functional inequalities. We follow the approach of G. Royer (1999) and obtain uniqueness by showing…

The goal of this paper is to prove a comparison principle for viscosity solutions of semilinear Hamilton-Jacobi equations in the space of probability measures. The method involves leveraging differentiability properties of the…