I'm working on an exercise related to Poisson processes and have encountered a step in the solution that confuses me. The exercise is as follows:
Consider two independent Poisson processes $X_1(t)$ and $X_2(t)$, where $X_i(t)$ represents the number of arrivals for process $i$ during the interval $[0, t]$. The average number of arrivals per unit time for the two processes are $\lambda_1 = 1$ and $\lambda_2 = 1$, respectively.
Compute $P[X_1(1) + X_2(1) = 2 | X_1(2) = 1]$.
I understand that to solve this, we need to condition on the arrival of $X_1$ before or after the first unit of time, which gives us:
$P[X_1(1) + X_2(1) = 2 | X_1(1) = 1] \cdot P[X_1(1) = 1 | X_1(2) = 1] + P[X_1(1) + X_2(1) = 2 | X_1(1) = 0] \cdot P[X_1(1) = 0 | X_1(2) = 1]$
However, the solution then states:
$P[X_1(1) = 1 | X_1(2) = 1] = \frac{1}{2} = P[X_1(1) = 0 | X_1(2) = 1]$
This is justified by using the Binomial Distribution $B(1, \frac{1}{2})$ to obtain $\frac{1}{2}$ for both probabilities. My confusion arises here for two main reasons:
- Shouldn't $P[X_1(1) = 0 | X_1(2) = 1]$ also be equal to $P[X_1(1) = 1] = e^{-1}$? This seems logical since we can have no arrivals in the first interval only if we have an arrival in the second interval.
- Given that it's a Poisson distribution, not a uniform one, why does the probability split evenly between the two intervals, i.e., $\frac{1}{2}$? Shouldn't the distribution of arrivals correspond more to the exponential distribution of interarrival times rather than being evenly split?
Could someone help clarify these points for me? I'm particularly interested in understanding the logical reasoning behind the equal probability split given the properties of the Poisson process.