Turns out: P(B=X)=sqrt{p}. I found it using the Taylor expansion of 1/sqrt{1-p}, where the coefficient of pi turns out to be P(Bin(2i,1/2)=i). I would like to see a probabilistic proof of this result.

Marco Hudson

Marco Hudson

Answered question

2022-08-09

Probability of Binomial twice of Geometric
I've come up with an interesting result:
Let X be the amount of failures of Bernoulli(p) until we get (p).
X = G e o ( p )
B = B i n ( 2 X , 1 2 )
P ( B = X ) =   ?
Turns out: P ( B = X ) = p
I found it using the Taylor expansion of 1 1 p , where the coefficient of p i turns out to be P ( B i n ( 2 i , 1 2 ) = i ).
I would like to see a probabilistic proof of this result.
Explanation of the process in words:
Roll a die with probability p of getting "X". Each time that we don't get "X", toss 2 balanced coins and accumulate the number of heads and tails. When you get "X", check if you got the same amount of heads and tails.
Programmatic explanation:
i = 0
w h i l e ( ! b e r n u l i ( p ) )   i++;
B i n ( 2 i , 1 2 ) = ? i
Example:
If we succeed immediately (with probability p), X = 0, and P ( B i n ( 2 0 , 1 2 ) = 0 ) = 1, thus P ( B = 0 ) = 1, thus contributing p to the conditional sum, p < p , and everything is alright.

Answer & Explanation

Jaydan Gilbert

Jaydan Gilbert

Beginner2022-08-10Added 16 answers

Explanation:
P ( B = X ) = x = 0 P ( B = X | X = x ) P ( X = x ) = x = 0 ( 2 x x ) ( 1 2 ) 2 x ( 1 p ) x p = p
Roderick Bradley

Roderick Bradley

Beginner2022-08-11Added 3 answers

Step 1
Let S n be simple random walk. For integer a, let p a = P ( 2 a + S 2 X = 0 ) - that is starting the random walk at 2a rather then zero. The quantity of interest is p 0 . Consider the single double-step of the random walk and recall memorylessness of X to get p a = p [ a = 0 ] + ( 1 p ) ( 1 4 p a 1 + 1 2 p a + 1 4 p a + 1 ).
Solution to this recurrence is p i = p 0 r | i | where r = 1 p 1 + p 1 2 p and we obtain p 0 = p through normalization.
Step 2
To get some further intuition as to how a square root appears, consider standard Brownian motion B X with exponential clock X of rate 2 λ. Then density of B X at 0 is f B X ( 0 ) = 0 1 2 π x 2 λ e 2 λ x d x = λ and more generally f a + B X ( 0 ) = λ e 2 λ | a | .

Do you have a similar question?

Recalculate according to your conditions!

New Questions in High school geometry

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?