arXiv++ Combinatorics

Consider a sum $S_n=v_i\varepsilon_1+\cdots+v_n\varepsilon_{n}$, where $(v_i)^{n}_{i=1}$ are non-zero vectors in $\mathbb{R}^{d}$ and $(\varepsilon_i)^{n}_{i=1}$ are independent Rademacher random variables (i.e., $~{\mathbb{P}(\varepsilon_{i}=\pm 1)=1/2}$). The classical Littlewood-Offord problem asks for the best possible upper bound for $~{\sup_{x}\mathbb{P}(S_n = x)}$. In this paper we consider a non-uniform version of this problem. Namely, we obtain the optimal bound for $\mathbb{P}(S_n = x)$ in terms of the length of the vector $x\in \mathbb{R}^d$.

We obtain an optimal deviation from the mean upper bound \begin{equation} D(x)\=\sup_{f\in \F}μ\{f-\E_μ f\geq x\},\qquad\ \text{for}\ x\in\R\label{abstr} \end{equation} where $\F$ is the class of the integrable, Lipschitz functions on probability metric (product) spaces. As corollaries we get exact solutions of $\eqref{abstr}$ for Euclidean unit sphere $S^{n-1}$ with a geodesic distance and a normalized Haar measure, for $\R^n$ equipped with a Gaussian measure and for the multidimensional cube, rectangle, torus or Diamond graph equipped with uniform measure and Hamming distance. We also prove that in general probability metric spaces the $\sup$ in $\eqref{abstr}$ is achieved on a family of distance functions.

Let S_n=X_1+...+X_n be a sum of independent symmetric random variables such that |X_{i}|\leq 1. Denote by W_n=ε_{1}+...+ε_{n} a sum of independent random variables such that \prob{\eps_i = \pm 1} = 1/2. We prove that \mathbb{P}{S_{n} \in A} \leq \mathbb{P}{cW_k \in A}, where A is either an interval of the form [x, \infty) or just a single point. The inequality is exact and the optimal values of c and k are given explicitly. It improves Kwapień's inequality in the case of the Rademacher series. We also provide a new and very short proof of the Littlewood-Offord problem without using Sperner's Theorem. Finally, an extension to odd Lipschitz functions is given.