Skip to main content
1 of 3
Bob
  • 123
  • 1
  • 7

DKW inequality for $L^1$-norm

Suppose that $X,X_1,X_2,X_3\dots$ is a sequence of $\mathbb{P}$-i.i.d. random variables supported in the interval $[0,1]$. Let $F$ be the cumulative distribution of $X$, i.e. $F(x):=\mathbb{P}[X \le x]$ and let $\hat{F}_n$ be the empirical cumulative distribution given $X_1,\dots,X_n$, i.e, $\hat{F}_n(x) := \frac{1}{n}\sum_{k=1}^n\mathbb{I}\{X_k \le x\}$.

It is known from the DKW inequality that for every $n \in \mathbb{N}$ and $\varepsilon >0$ \begin{equation*} \mathbb{P}[\|\hat{F}_n-F\|_{L^\infty([0,1])} \ge \varepsilon ] =\mathbb{P}\bigg[\sup_{x \in [0,1]}|\hat{F}_n(x)-F(x)| \ge \varepsilon\bigg] \le 2 \exp(-2\cdot\varepsilon^2 \cdot n) \;. \end{equation*}

I'm wondering if can strengthen the DKW inequality if we replace the norm of $L^\infty([0,1])$ with the norm of $L^1([0,1])$. Specifically, can we find a universal constant $\alpha < 2$ and other two universal constants $c_1>0, c_2>0$ such that, regardless what is the distribution $F$ of $X$, it holds that for each $n \in \mathbb{N}$ and $\varepsilon >0$: \begin{equation*} \mathbb{P}[\|\hat{F}_n-F\|_{L^1([0,1])} \ge \varepsilon ] =\mathbb{P}\bigg[\int_0^1|\hat{F}_n(x)-F(x)| \mathrm{d}x \ge \varepsilon\bigg] \le c_1 \exp(-c_2\cdot\varepsilon^\alpha \cdot n) \;? \end{equation*}

I value even something not exactly like this but similar in spirit. Any pointer to the literature is very welcome.

Bob
  • 123
  • 1
  • 7