Is X1 Given S=s a Binomial Distribution in Poisson Variables?

AI Thread Summary
X1 and X2 are independent Poisson variables with parameters μ1 and μ2, and S = X1 + X2 is also Poisson with mean μ1 + μ2. The discussion centers on whether X1 given S=s follows a binomial distribution. It is clarified that while S can take on all integer values, the binomial distribution is finite, leading to the conclusion that X1 given S cannot be binomial. The conditional probability expression for X1 given S is presented, but there are corrections regarding coefficients needed in the formula. The conclusion emphasizes the complexity of the relationship between X1, S, and their distributions.
johnnytzf
Messages
3
Reaction score
0
let X1 and X2 be independent Poisson variables with respective parameters μ1 and μ2. Let S = X1 + X2. Is X1 given S=s a binomial dsitribution? What is the parameters?


I just can show that S is a Poisson with mean μ1 + μ2. But I am not confirm X1 given S is a binomial or not? Someone please help to prove it.
 
Physics news on Phys.org
S cannot be binomial. X2 ranges over all integers. Therefore S will also, while binomial range is finite.
 
If the conditional distribution is intended you want to know about X1 when S = X1 + X2 = s, a fixed value. In this setting X1 cannot range over all integer values.
 
statdad said:
If the conditional distribution is intended you want to know about X1 when S = X1 + X2 = s, a fixed value. In this setting X1 cannot range over all integer values.

You're right. I misread the question.

It looks binomial:

P(X1=x|S=s) = (μ1xμ2(s-x))/{x!(s-x)!(μ1+μ2)s}
 
Last edited:
mathman said:
You're right. I misread the question.

It looks binomial:

P(X1=x|S=s) = (μ1xμ2(s-x))/{x!(s-x)!(μ1+μ2)s}

I was sloppy. There should be a coefficient of s!
 
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...

Similar threads

Replies
3
Views
3K
Replies
1
Views
952
Replies
2
Views
2K
Replies
16
Views
2K
Replies
1
Views
2K
Replies
1
Views
3K
Back
Top