Thursday, 17 May 2018

Converse statements for convolutions of probability distributions




There is a list of convolutions of probability distributions on wikipedia. Using that list we can find convolution distribution of given independent random variables.



From this online tutorial I found that the converse statement is true for the binomial distribution, i.e. if YBin(n,p) then there exist i.i.d X1,,XnBern(p) such that Y=ni=1Xi.



So, are there similar converse statements for other convolutions from the above-mentioned list (excluding the last one)?



For example consider r.v. YPois(λ),λ>0. Can we claim that there exist independent random variables X1Pois(λ1),X2Pois(λ2),X3Pois(λ3) such that λ1+λ2+λ3=λ and Y=X1+X2+X3?



I know that there is a list of infinitely divisible distributions.

And some distributions present in both above-mentioned lists. Unfortunately, the property of infinite divisibility doesn't indicate distribution law of the summands (it only says that the summands exist and they are i.i.d).


Answer



A slight tangent, but perhaps an angle you may find interesting is to look into Infinitely Divisible distributions.



A probably distribution X is said to be infinititely divisible if for any N1 there exists a collection (Yn)Nn=1 of independent identically distributed random variables such that:



X=Nn=1Yn,



where the equality stands for equality in distribution.




As an example, from the fact that Poi(λ)+Poi(μ)=Poi(μ+λ), from the comments above, then we can see that in fact for any fixed N1, and λ>0:



Poi(λ)=Nn=1Poi(λN),



so that Poisson variables are infinitely divisible. Similar proofs work Normal distributions, as well as Gamma distributions.



A simple example of a non-infinitely divisible distribution would be the Bernoulli distribution (see proof below). Similarly the Uniform distribution is not infinitely divisible.



Bernoulli is not Infinitely Divisible
Consider the case of the Bernoulli distribution, X, with P(X=1)=p, with 0<p<1 (the cases p=0,1 are trivially infinitely divisible).




Fix N=2, then if X were infinitely divisible there would exists Y1,Y2 independent and identically distributed such that



X=Y1+Y2



Since X{0,1} the i.i.d. assumption forces Yn{0,12}.



But then the support of Y1+Y2 is {0,12,1}; since p0,1 we have



P(Y1+Y2=12)>0




whereas P(X=12)=0, so we have a contradiction.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...