8
$\begingroup$

Let $X_1,X_2,...$ be iid random variable with mean zero. If $X_1$ has second moment then by the CLT we have $P(X_1+X_2+...+X_n\geq 0)\rightarrow \frac{1}{2}$, as $n$ goes to infinity. I am curious about whether does this hold without the second moment assumption? I think this might be a well studied problem. Could anyone provide an answer or reference to me? Many thank!

$\endgroup$

3 Answers 3

9
$\begingroup$

No, this does not hold without the finite second-moment assumption, in general.

Consider the Levy $\alpha$-stable distributions, which will yield a whole family of examples. Using the parametrization, e.g., on the Wikipedia page, if $X$ is $\alpha$-stable, for $1 < \alpha < 2$, then it has characteristic function $$ \varphi(t) = \mathbb E e^{i t X} = \exp(i t \mu - |ct|^{\alpha} (1 - i \beta \mathrm{sgn}(t) \tan(\pi \alpha/2))) ~. $$

For the given range of $\alpha$, we also have that $\mathbb E X = \mu$ and $\mathbb E X^2 = \infty$.

Take $\mu = 0$, $c = \beta = 1$ and $\alpha = 3/2$, for simplicity and concreteness. Then, we get $$ \varphi(t) = \exp(- |t|^{3/2} (1 + i \mathrm{sgn}(t))) ~. $$

Clearly, $\varphi(t) \neq \varphi(-t)$, so, in particular, $X$ is not symmetric.

However, observe that if $X_1,\ldots,X_n$ are iid with this distribution and $S_n = X_1 + \cdots + X_n$, then $n^{-2/3} S_n$ has the same characteristic function as $X$ since $(\varphi(n^{-2/3}t))^n = \varphi(t)$, and, hence the same distribution.

Therefore, $\mathbb P(S_n \geq 0) = \mathbb P(X \geq 0) \neq 1/2$.

$\endgroup$
1
  • $\begingroup$ $X$ being asymmetric is not sufficient for $\mathbf P(X\ge 0)\ne \mathbf P(X\le 0)$, so there needs more work than symmetry to show the latter claim. $\endgroup$
    – Hans
    Dec 3, 2013 at 4:08
2
$\begingroup$

I suspect not. Let $(p^{(n)})$ be a sequence tending to 0 fast and for each $n$, let $X^{(n)}_j$ be an iid sequence of random variables taking the value $1/p^{(n)}$ with probability $p^{(n)}$ and 0 otherwise (so that $\mathbb EX^{(n)}_j=1$ for each $n$ and $j$).

Now let $Z_j=X^{(1)}_j/3-\sum _{n=2}^\infty (-1/2)^nX^{(n)}_j$. (This is chosen to make sure that $\mathbb EZ_j=0$.

Now if the $p^{(n)}$ are chosen to go to 0 rapidly enough, I claim that the $Z_j$ fail to have the property you're looking for. For example, let $N^{(n)}=10\uparrow 10\uparrow\ldots\uparrow10$ (i.e. a tower of height $n$) and $p^{(n)}=1/N^{(n)}$. Then for $N^{(n-1)}\ll J\ll N^{(n)}$, the chances of having seen a contribution at level $n$ or higher is negligible, whereas it's likely that contributions at the previous level will have equilibriated. So the partial sum should be negative with very high probability if $n$ is odd and positive with very high probability if $n$ is even...

$\endgroup$
2
$\begingroup$

I think this is false without the second moment assumption. Construct $X_n$ of the form $$ X_n = -1+\sum_{k\ge 1} Y_n^k, $$ where $Y_n^k\ge 0$, $E[Y_n^k]=2^{-k}$, $P(Y_n^k>0)=\epsilon_k$ and $(Y_n^{k+1}>0)\subset(Y_n^k>0)$. Choose the $\epsilon_k$ inductively as follows: Assume $\epsilon_1,\ldots,\epsilon_k$ have already been chosen, so that $$ X_n^k := -1+\sum_{j=1}^k Y_n^j $$ is already defined. Observe that $X_n^k$ has negative expectation, so that by the law of large numbers you can find an arbitrarily large integer $n_k$ such that $$ P\left(\frac{1}{n_k} \sum_{n=1}^{n_k} X_n^k < 0 \right) > 99/100. $$ Then choose $\epsilon_{k+1}$ so small that $$ P\left( Y_1^{k+1}=0,\ldots,Y_{n_k}^{k+1}=0 \right) > 99/100, $$ then $$ P\left(\frac{1}{n_k} \sum_{n=1}^{n_k} X_n < 0 \right) > 98/100. $$

$\endgroup$

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.