When can I decompose a random variable $Y=X'-X''$?

AI Thread Summary
The discussion revolves around the decomposition of a random variable Y, defined as Y = X' - X'', into two independent and identically distributed (i.i.d.) random variables X' and X''. The goal is to establish a relationship between the probabilities of certain events involving Y and X, specifically focusing on their distributions and characteristics. A key point raised is the necessity for Y to be symmetric and the use of the convolution property to analyze the relationship between the random variables. Participants suggest starting with an arbitrary characteristic function that can be decomposed to explore the desired properties further. The conversation emphasizes the importance of mapping probabilities correctly and leveraging integral expressions to derive specific density function properties.
aspiring88
Messages
2
Reaction score
0
I am wondering if I can find a decomposition of Y that is absolutely continuous nto two i.i.d. random variables X' and X'' such that Y=X'-X'', where X' is also Lebesgue measure with an almost everywhere positive density w.r.t to the Lebesge mesure.

My main intent is to come up with two i.i.d. random variable, X' and X'' and Y and Y'', such that Pr(m> Y'-Y'')=Pr(m>X'-X'') for m \in (-b,b) for some b small enough, while Pr(m+2> Y'-Y'')=Pr(m+1> X'-X''). I figured starting first by constructing a measure on the difference first that satisfies the above then decomposing it. Is this possible?

Thanks so much in advance for your much appreciated help.

Mod note: fixed LaTeX
 
Last edited by a moderator:
Physics news on Phys.org
fix the latex.
 
Firstly your Y must be symmetric. If it has a characteristic function g(t) you could check whether g(t) = h(t)h(-t) for some other c.f. h(t).
 
Hey aspiring88 and welcome to the forums.

Since you are using the i.i.d property for your random variables, what you can do is use the convolution property, but you have to map your probabilities to the 'inverse' values instead of the positive values: in other words if your domain for the B RV in X = A + B is [0,infinity), then you have to change the mapping from (-infinity,0] and this can be done by just flipping the sign.

Using the convolution theorem, you can substitute your identities in and you will have a relationship that has to hold.

Because the convolution should return the CDF directly, this means that you should basically get a relationship between two integral expressions and from there you can get more specific with the properties of your density functions as you wish.
 
Thanks so much @chiro and @bpet. I'm still a bit loss. So you're recommendation is to start with one arbitrary characteristic function that is hopefully decomposable and see if I can craft another one?

Thanks again.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top