Graph enumeration

In mathematics, the Khintchine inequality, named after Aleksandr Khinchin and spelled in multiple ways in the Roman alphabet, is a theorem from probability, and is also frequently used in analysis. Heuristically, it says that if we pick $N$ complex numbers $x_1,\dots ,x_N\in \mathbb{ℂ}$, and add them together each multiplied by a random sign $\pm 1$, then the expected value of its modulus, or the modulus it will be closest to on average, will be not too far off from $\sqrt{|x_1{|}^2+\cdots +|x_N{|}^2}$.

Statement of theorem

Let $\{{ϵ}_n{\}}_{n=1}^N$ be i.i.d. random variables with $P({ϵ}_n=\pm 1)=\frac{1}{2}$ for every $n=1\dots N$, i.e., a sequence with Rademacher distribution. Let $0<p<\mathrm{\infty }$ and let $x_1,...,x_N\in \mathbb{ℂ}$. Then

$A_p{\left(\sum _{n=1}^N\right|x_n{|}^2)}^{\frac{1}{2}}\le {\left(\mathbb{𝔼}\right|\sum _{n=1}^N{ϵ}_n{x}_n{|}^p)}^{1/p}\le B_p{\left(\sum _{n=1}^N\right|x_n{|}^2)}^{\frac{1}{2}}$

for some constants $A_p,B_p>0$ depending only on $p$ (see Expected value for notation). The sharp values of the constants $A_p,B_p$ were found by Haagerup (Ref. 2; see Ref. 3 for a simpler proof).

Uses in analysis

The uses of this inequality are not limited to applications in probability theory. One example of its use in analysis is the following: if we let $T$ be a linear operator between two L^p spaces $L^p(X,\mu )$ and $L^p(Y,\nu )$, $1\le p<\mathrm{\infty }$, with bounded norm $\Vert T\Vert <\mathrm{\infty }$, then one can use Khintchine's inequality to show that

${\Vert {\left(\sum _{n=1}^N\right|T{f}_n{|}^2)}^{\frac{1}{2}}\Vert }_{L^p(Y,\nu )}\le C_p{\Vert {\left(\sum _{n=1}^N\right|f_n{|}^2)}^{\frac{1}{2}}\Vert }_{L^p(X,\mu )}$

for some constant $C_p>0$ depending only on $p$ and $\Vert T\Vert$.

See also

• Marcinkiewicz–Zygmund inequality

References

1. Thomas H. Wolff, "Lectures on Harmonic Analysis". American Mathematical Society, University Lecture Series vol. 29, 2003. ISBN 0-8218-3449-5
2. Uffe Haagerup, "The best constants in the Khintchine inequality", Studia Math. 70 (1981), no. 3, 231–283 (1982).
3. Fedor Nazarov and Anatoliy Podkorytov, "Ball, Haagerup, and distribution functions", Complex analysis, operators, and related topics, 247–267, Oper. Theory Adv. Appl., 113, Birkhäuser, Basel, 2000.