Related papers: A Maclaurin type inequality

We prove an elementary additive combinatorics inequality, which says that if $A$ is a subset of an Abelian group, which has, in some strong sense, large doubling, then the difference set A-A has a large subset, which has small doubling.

We prove a weak-type (1,1) inequality for square functions of non-commutative martingales that are simultaneously bounded in $L^2$ and $L^1$. More precisely, the following non-commutative analogue of a classical result of Burkholder holds:…

Given integers $k\geq1$ and $n\geq0$, there is a unique way of writing $n$ as $n=\binom{n_{k}}{k}+\binom{n_{k-1}}{k-1}+...+\binom{n_{1}}{1}$ so that $0\leq n_{1}<...<n_{k-1}<n_{k}$. Using this representation, the \emph{Kruskal-Macaulay…

We show the existence of an absolute constant $\alpha>0$ such that, for every $k \geq 3$, $G:=\mathop{\mathrm{Sym}}(k)$, and for every $H \leqslant G$ of index at least $3$, one has $|H/[H,H]| \leq |G:H|^{\alpha/ \log \log |G:H|}$. This…

We study the extent of independence needed to approximate the product of bounded random variables in expectation, a natural question that has applications in pseudorandomness and min-wise independent hashing. For random variables whose…

For $n > k \geq 0$, $\lambda >0$, and $p, r>1$, we establish the following optimal Hardy-Littlewood-Sobolev inequality \[ \Big| \iint_{\mathbf R^n \times \mathbf R^{n-k}} \frac{f(x) g(y)}{ |x-y|^\lambda |y"|^\beta} dx dy \Big| \lesssim \| f…

We present an extension of the Hardy--Littlewood inequality for multilinear forms. More precisely, let $\mathbb{K}$ be the real or complex scalar field and $m,k$ be positive integers with $m\geq k\,$ and $n_{1},\dots ,n_{k}$ be positive…

A certain inequality conjectured by Vershynin is studied. It is proved that for any $n$-dimensional symmetric convex body $K$ with inradius $w$ and $\gamma_{n}(K) \leq 1/2$ there is $\gamma_{n}(sK) \leq (2s)^{w^{2}/4}\gamma_{n}(K)$ for any…

We compute the optimal constant for a generalized Hardy-Sobolev inequality, and using the product of two symmetrizations we present an elementary proof of the symmetries of some optimal functions. This inequality was motivated by a…

Let $(X_{i}, \mathcal{F}_{i})_{i\geq 1}$ be a sequence of supermartingale differences and let $S_k=\sum_{i=1}^k X_i$. We give an exponential moment condition under which $P(\max_{1\leq k \leq n} S_k \geq n)=O(\exp\{-C_1 n^{\alpha}\}),$…

We prove some sufficient conditions implying $l^p$ inequalities of the form $||x||_p \leq ||y||_p$ for vectors $ x, y \in [0,\infty)^n$ and for $p$ in certain positive real intervals. Our sufficient conditions are strictly weaker than the…

The Kahane--Salem--Zygmund inequality for multilinear forms in $\ell_{\infty}$ spaces claims that, for all positive integers $m,n_{1},...,n_{m}$, there exists an $m$-linear form $A\colon\ell_{\infty}^{n_{1}}\times\cdots\times…

A positive integer $n$ is said to be a palindrome in base $b$ (or $b$-adic palindrome) if the representation of $n = (a_k a_{k-1} \cdots a_0)_b$ in base $b$ with $a_k \neq 0$ has the symmetric property $a_{k-i} = a_i$ for every…

For a full-rank integral lattice $\mathcal{L}\subset\mathbb{R}^n$, Regev and Stephens-Davidowitz proved that \[N_{=k}(\mathcal{L}):=|\{y\in\mathcal{L}:\lVert y\rVert^2=k\}|\le 2\binom{n+2k-2}{2k-1}.\] We classify the equality cases. For…

By means of the mathematical analysis theory, inequality theory, mathematical induction and the dimension reduction method, under the proper hypotheses, we establish the following cyclic inequalities: \[\sum_{i=1}^{n}…

Let $n$ be a positive integer, $\sigma$ be an element of the symmetric group $\mathcal{S}_n$ and let $\sigma$ be a cycle of length $n$. The elements $\alpha ,\beta \in \mathcal{S}_n$ are $\sigma$-equivalent, if there are natural numbers $k$…

The \emph{Stanley--Yan} (SY) \emph{inequality} gives the ultra-log-concavity for the numbers of bases of a matroid which have given sizes of intersections with $k$ fixed disjoint sets. The inequality was proved by Stanley (1981) for regular…

A.A. Suslin proved a normality theorem for an elementary linear group, which says that an elementary linear group of size bigger than or equal to 3 over a commutative ring with unity is normal in the general linear group of same size.…

Let $d\geq 2$ and $k\geq 1$ be fixed. We prove that, for every $\epsilon>0$ and every real $\beta$, there exist integers $1\leq b_1,\ldots,b_k\leq N$ such that \[ \left\|\sum_{j=1}^k b_j^{1/d}-\beta\right\| \ll_{d,k,\epsilon}…

A result by N.G. Makarov [Algebra i Analiz, 1989] states that for martingales $(M_n)$ on the torus we have the strict inequality \[ \liminf_{n\to\infty} \frac{M_n}{\sum_{k=1}^n |\Delta M_k|} > 0 \] on a set of Hausdorff dimension one,…