Related papers: Jackson's inequality on the hypercube

Given any ${\bf{a}}: = \left( {a_1 ,a_2 , \ldots ,a_n } \right)$ and ${\bf{b}}: = \left( {b_1 ,b_2 , \ldots ,b_n } \right)$ in $\mathbb{R}^n$. The $\textbf{n}$-fold convex function defined on $\left[ {{\bf{a}},{\bf{b}}} \right]$,…

We present the best constant and the existence of extremal functions for an Improved Hardy-Sobolev inequality. We prove that, under a proper transformation, this inequality is equivalent to the Sobolev inequality in $\mathbb{R}^N$. We also…

Let $w_{\lambda}(t) := (1-t^2)^{\lambda-1/2}$, where $\lambda > -\frac{1}{2}$, be the Gegenbauer weight function, let $\|\cdot\|_{w_{\lambda}}$ be the associated $L_2$-norm, $$ \|f\|_{w_{\lambda}} = \left\{\int_{-1}^1 |f(x)|^2…

The classical sharp Hardy-Littlewood-Sobolev inequality states that, for $1<p, t<\infty$ and $0<\lambda=n-\alpha <n$ with $ 1/p +1 /t+ \lambda /n=2$, there is a best constant $N(n,\lambda,p)>0$, such that $$ |\int_{\mathbb{R}^n}…

We study the behavior of the smallest possible constants $d(a,b)$ and $d_n$ in Hardy's inequalities $$ \int_a^b\left(\frac{1}{x}\int_a^xf(t)dt\right)^2\,dx\leq d(a,b)\,\int_a^b [f(x)]^2 dx $$ and $$…

We show that if $f$ is a nonzero, noninvertible function on a smooth complex variety $X$ and $J_f$ is the Jacobian ideal of $f$, then ${\rm lct}(f,J_f^2)>1$ if and only if the hypersurface defined by $f$ has rational singularities.…

It is well-known that if a real valued function acting on a convex set satisfies the $n$-variable Jensen inequality, for some natural number $n\geq 2$, then, for all $k\in\{1,\dots, n\}$, it fulfills the $k$-variable Jensen inequality as…

The hypercontractive inequality is a fundamental result in analysis, with many applications throughout discrete mathematics, theoretical computer science, combinatorics and more. So far, variants of this inequality have been proved mainly…

Let $\mathcal{M}$ be a compact $d$-dimensional submanifold of $\mathbb{R}^N$ with reach $\tau$ and volume $V_{\mathcal M}$. Fix $\epsilon \in (0,1)$. In this paper we prove that a nonlinear function $f: \mathbb{R}^N \rightarrow…

Given a porous compact $K \subset \mathbb{R}^d$ and a continuity modulus $\omega$, we prove a quantitative Jackson-Bernstein type theorem on harmonic approximation. That is, a function $f$ belongs to the class $\mathrm{Lip}_{\omega}(K)$ if…

The sensitivity conjecture of Nisan and Szegedy [CC '94] asks whether for any Boolean function $f$, the maximum sensitivity $s(f)$, is polynomially related to its block sensitivity $bs(f)$, and hence to other major complexity measures.…

We consider the random cluster model with parameter $q<1$, for which the FKG inequalities are not valid. On the square lattice, stochastic comparison with Bernoulli percolation implies that the model is subcritical (respectively…

A recent discovery of Eldan and Gross states that there exists a universal $C>0$ such that for all Boolean functions $f:\{-1,1\}^n\to \{-1,1\}$, $$ \int_{\{-1,1\}^n}\sqrt{s_f(x)}d\mu(x) \ge C\text{Var}(f)\sqrt{\log…

We obtain the optimal value of the constant K(n,s) in the Sobolev-Nirenberg-Gagliardo inequality $ \|\,u\,\|_{L^{\infty}(\mathbb{R}^{n})} \leq K(n,s) \,\|\, u \,\|_{L^{2}(\mathbb{R}^{n})}^{1 - n/(2s)} \|\, u…

We study the problem of testing unateness of functions $f:\{0,1\}^d \to \mathbb{R}.$ We give a $O(\frac{d}{\epsilon} \cdot \log\frac{d}{\epsilon})$-query nonadaptive tester and a $O(\frac{d}{\epsilon})$-query adaptive tester and show that…

Let $\mathcal{P}$ be the set of all primes and $\psi(n)=n\prod_{n\in \mathcal{P},p|n}(1+1/p)$ be the Dedekind psi function. We show that the Riemann hypothesis is satisfied if and only if $f(n)=\psi(n)/n-e^{\gamma} \log \log n <0$ for all…

Classical (or ``global'') Bernstein theory establishes sharp control on entire functions of exponential type that are bounded and real-valued on the real axis. We localize some of this theory to rectangular regions $\{ x+iy: x \in I, 0 \leq…

Let $S^2$ be the 2-dimensional unit sphere and let $J_\alpha $ denote the nonlinear functional on the Sobolev space $H^{1,2}(S^2)$ defined by $$ J_\alpha(u) = \frac{\alpha}{4}\int_{S^2}|\nabla u|^2 d\omega + \int_{S^2} u d\omega -\ln…

Let $$ T(q)=\sum_{k=1}^\infty d(k) q^k, \quad |q|<1, $$ where $d(k)$ denotes the number of positive divisors of the natural number $k$. We present monotonicity properties of functions defined in terms of $T$. More specifically, we proved…

We prove a homogeneous, quantitative version of Ehrling's inequality for the function spaces $H^1(\Omega)\subset\subset L^2(\partial\Omega)$, $H^1(\Omega)\hookrightarrow L^2(\Omega)$ which reflects geometric properties of a given…