Related papers: Jackson's inequality on the hypercube

A Boolean function $f:\{0,1\}^d \mapsto \{0,1\}$ is unate if, along each coordinate, the function is either nondecreasing or nonincreasing. In this note, we prove that any nonadaptive, one-sided error unateness tester must make…

We establish new estimates for the constant $J_a(k,\alpha)$ in the Brudnyi-Jackson inequality for approximation of $f \in C[-1,1]$ by algebraic polynomials: $$ E_{n}^a (f) \le J_a(k, \alpha) \ \omega_k (f, \alpha \pi /n ), \quad \alpha >0…

For parameters $\,c\in(0,1)\,$ and $\,\beta>0$, let $\,\ell_{2}(c,\beta)\,$ be the Hilbert space of real functions defined on $\,\mathbb{N}\,$ (i.e., real sequences), for which $$ \| f \|_{c,\beta}^2 :=…

Consider an open, bounded set $\Omega\subset \mathbb{C}$, a positive integer $k$ and a compact $\mathcal{K}\subset \Omega$ of cardinality strictly greater than $k$. We prove that, for any function $f$ which is holomorphic in $\overline…

Let $d \geq 1$ and $s \leq 2^d$ be nonnegative integers. For a subset $A$ of vertices of the hypercube $Q_n$ and $n\geq d$, let $\lambda(n,d,s,A)$ denote the fraction of subcubes $Q_d$ of $Q_n$ that contain exactly $s$ vertices of $A$. Let…

Let $M_d$ be the centered Hardy-Littlewood maximal function associated to cubes in $\mathbb{R}^d$ with Lebesgue measure, and let $c_d$ denote the lowest constant appearing in the weak type (1,1) inequality satisfied by $M_d$. We show that…

We present lower estimates for the best constant appearing in the weak $(1,1)$ maximal inequality in the space $(\R^n,\|\cdot\|_{\iy})$. We show that this constant grows to infinity faster than $(\log n)^{1-o(1)}$ when $n$ tends to…

Let $\Omega \subset \mathbb{R}^n$ be a convex domain and let $f:\Omega \rightarrow \mathbb{R}$ be a positive, subharmonic function (i.e. $\Delta f \geq 0$). Then $$ \frac{1}{|\Omega|} \int_{\Omega}{f dx} \leq \frac{c_n}{ |\partial \Omega| }…

We find the optimal constant $C$ such that \begin{equation*} \|f_1*f_2*\dots*f_{k}\|_{\infty}\geq C\prod_{i=1}^{k}\|f_i\|_1 \end{equation*} for functions $f_i:\{0,1\}^d\to\mathbb{R}$. As applications, we derive bounds for Sidon sets on…

In this paper, we study the best constant of the following discrete Hardy-Littlewood-Sobolev inequality, \begin{equation} \sum_{i,j,i\neq j}\frac{f_{i}g_{j}}{\mid i-j\mid^{n-\alpha}}\leq C_{r,s,\alpha} |f|_{l^r} |g|_{l^s},…

The classical A. Markov inequality establishes a relation between the maximum modulus or the $L^{\infty}\left([-1,1]\right)$ norm of a polynomial $Q_{n}$ and of its derivative: $\|Q'_{n}\|\leqslant M_{n} n^{2}\|Q_{n}\|$, where the constant…

The $n$-dimensional hypercube has $n+1$ distinct eigenvalues $n-2i$, $0\leq i\leq n$, with corresponding eigenspaces $U_i(n)$. In 2021 it was proved by the author that if a function with non-empty support belongs to the direct sum…

In dimensions $d \in \{3,4,5,6,7\}$, we prove that the constant functions on the unit sphere $\mathbb{S}^{d-1}\subset \mathbb{R}^d$ maximize the weighted adjoint Fourier restriction inequality $$ \left| \int_{\mathbb{R}^d}…

In this paper functions $f:D\to\mathbb{R}$ satisfying the inequality \[ f\Big(\frac{x+y}{2}\Big)\leq\frac12f(x)+\frac12f(y) +\varphi\Big(\frac{x-y}{2}\Big) \qquad(x,y\in D) \] are studied, where $D$ is a nonempty convex subset of a real…

For any integers $d, n \geq 2$ and $1/({\min\{n,d\}})^{0.4999} < \varepsilon<1$, we show the existence of a set of $n$ vectors $X\subset \mathbb{R}^d$ such that any embedding $f:X\rightarrow \mathbb{R}^m$ satisfying $$ \forall x,y\in X,\…

It is known that functions in a Sobolev space with critical exponent embed into the space of functions of bounded mean oscillation, and therefore satisfy the John-Nirenberg inequality and a corresponding exponential integrability estimate.…

Let $f,g:\Bbb{R}^{N}\rightarrow (-\infty ,\infty ]$ be Borel measurable, bounded below and such that $\inf f+\inf g\geq 0.$ We prove that with $ m_{f,g}:=(\inf f-\inf g)/2,$ the inequality $||(f-m_{f,g})^{-1}||_{\phi…

We give a unateness tester for functions of the form $f:[n]^d\rightarrow R$, where $n,d\in \mathbb{N}$ and $R\subseteq \mathbb{R}$ with query complexity $O(\frac{d\log (\max(d,n))}{\epsilon})$. Previously known unateness testers work only…

Given $n\geq1$ and $r\in[0, 1),$ we consider the set $\mathcal{R}_{n, r}$ of rational functions having at most $n$ poles all outside of $\frac{1}{r}\mathbb{D},$ were $\mathbb{D}$ is the unit disc of the complex plane. We give an…

Let $\Omega \subset \mathbb{R}^d$, $d \geq 2$, be a bounded convex domain and $f\colon \Omega \to \mathbb{R}$ be a non-negative subharmonic function. In this paper we prove the inequality \[ \frac{1}{|\Omega|}\int_\Omega f(x)\,dx \leq…