0
$\begingroup$

Let $X_1,…,X_n$ are exchangeable of random variables, and $n$ is an even number. $S_k=X_1+\dots+X_k$. $M_k=X_{n/2}+\dots+X_{n/2+k}$.

I want to prove:

$$\Pr(\max_{1 \le k \le n}{|S_k|>\epsilon}) \le \\Pr(\max_{1 \le k \le n/2}{|S_k|>\epsilon/2}) + \Pr(\max_{1 \le k \le n/2}{|M_k|>\epsilon/2})$$


[added by YC] for background context to this question, see this MSE question

$\endgroup$
7
  • 4
    $\begingroup$ If $X_1,\dots, X_n$ are exchangeable, then doesn't $(S_1,\dots, S_{n/2})$ have the same distribution as $(M_1,\dots, M_{n/2})$? $\endgroup$
    – Yemon Choi
    Dec 31, 2011 at 9:04
  • $\begingroup$ Well, it isn't true in general. Take $X_i=1/n$ for all $i$ and $\epsilon=2/3$. $\endgroup$ Dec 31, 2011 at 14:19
  • $\begingroup$ @BrendanMcKay, It is still right, the LHS is $\Pr(1>2/3)=1$, the RHS is $\Pr(1/2>1/3)+\Pr(1/2>1/3)=2$ $\endgroup$
    – Fan Zhang
    Dec 31, 2011 at 15:51
  • $\begingroup$ I think the summation for $M_k$ should start at $n/2 + 1$ so that it is the sum of $k$ terms. With this modification, as Yemon Choi pointed out, $M_k$ has the same distribution as $S_k$ so both probabilities on the right hand side are equal. $\endgroup$ Dec 31, 2011 at 18:00
  • 1
    $\begingroup$ The motivation: math.stackexchange.com/questions/94948/… $\endgroup$
    – user6096
    Dec 31, 2011 at 19:11

1 Answer 1

4
$\begingroup$

You can prove it by using the fact that the following holds always:

$\max_{1 \le k \le n}|S_k| \le \max_{1 \le k \le n/2}|S_k| + \max_{1 \le k \le n/2}|M_k|$

If the left hand side is larger than $\epsilon$ then one of the right hand terms is larger than $\epsilon/2$.

This also shows that the inequality is valid under absolutely no assumptions on the joint distribution of the variables $X_1,\ldots,X_n$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.