Dgdrxrt

Two drunks start together at the origin at $t=0$ and every second they move with equal probability either to the right or to the left, each drunk independently from the other. What is the probability that after $N$ seconds they meet again?

I may be on something but I don't know how to write this sum in a close form:

beginequation
sum_n=0^[N/2]fracN!n!n!(N-2n)!frac12^N+2n
endequation

Any hints?

Here are two hints:

First hint : We look at how the second drunk moves relatively to the first drunk. If $A_n$ and $B_n$ are the positions of respectively the first drunk and of the second drunk at time $n$, then you can prove that $(A_n - B_n)$ is a random walk, and you are now interested in its return time at $0$.

What is the transition process of this new random walk? Can you express it with a simpler random walk (hint : simple random walk)?

Second hint : This second hint is independent from the first. Now, let us try to find a combinatorial answer. Fiw the time $n$. Let us denote by $L_1$ the left move of the first drunk until time $n$, by $R_1$ its right moves, by $L_2$ the left moves of the second drunk, and by $R_2$ the right moves of the later. The sequence of moves untile time $n$ can be describe by two sequences, say:

$$L_1 L_1 R_1 L_1 R_1 R_1 R_1 cdots L_1$$
$$L_2 R_2 R_2 L_2 L_2 L_2 R_2 cdots L_2$$

Say what it means for the two drunks to be at the same place at time $n$. In particlar, what condition on (number of $L_1$ + number of $R_2$) is equivalent to this event?

As @Chris Taylor mentioned, it is equivalent of having one walker with the following PDF for the each step:

$$ pleft ( x right ) = left{beginmatrix
-1 & frac14 \
0 & frac12 \
1 & frac14
endmatrixright. $$

Now we have to calculate the probability of him to get back to the origin.
The trick is understand that given he did $ k $ steps to the right he must do $ k $ steps to the left the rest of the steps are standing still.

Moreover, $ k $ is limited up to half of the steps, $ N $, namely, $ k leq left lfloor fracN2 right rfloor $.

Defining $ S_N = x_1 + x_2 + cdots + x_N $ and calculating $ pleft ( S_N = 0 right ) $ which is the probability of being at the origin at the $ N $ step yields:

$$ pleft ( S_N = 0 right ) = sum_k = 0^left lfloor fracN2 right rfloor left (frac14 right )^k left (frac14 right )^k left ( frac12 right )^N - 2k binomNkbinomN - kk $$

The logic is, we sum all over the possibilities of routes of the length $ N $ with the same number of right and left turns (Hence choosing $ k $ steps of $ N $ steps and then $ k $ of $ N - k $ left steps).

Another point of view is looking at the route of the 2 walkers as a binary chain.

Each of them creates a chain of length $ N $.

We want the two chains to have the same number of $ 1 $ in them.

If walker A made a chain with length $ N $ which includes $ k $ times $ 1 $ walker B must have a chain of length $ N $ with exactly $ k $ times $ 1 $ which there are $ binomNk $ options.

Walker A also has the number of options to have a chain with $ k $ times $ 1 $.

The total number of chains is $ 2^N $.

Which yields:

$$ pleft ( S_N = 0 right ) = 2^-2N sum_k = 0^N binomNk^2 = fracbinom2NN2^2N $$

Which give us a nice identity.

Disclaimer: This is, so far, one of my most downvoted answers on the site. Needless to say, it is perfectly correct, and it answers the question. The downvotes might be due to some extra-mathematical reasons. Happy reading!

Hint: characteristic functions.

The relative movement $X$ in one step has characteristic function $varphi$ where $varphi(t)=mathrm E(mathrm e^mathrm itX)=frac12+frac14mathrm e^mathrm it+frac14mathrm e^-mathrm it$ hence $varphi(t)=frac12(1+cos t)=cos^2left(fract2right)$. The relative position $S_N$ after $N$ steps has characteristic function $varphi(t)^N=cos^2Nleft(fract2right)$.

The probability that the two walkers meet at time $N$ is $p_N=mathrm P(S_N=0)=intlimits_0^2pimathrm E(mathrm e^mathrm itS_N)fracmathrm dt2pi$ hence $p_N=intlimits_0^2picos^2Nleft(fract2right)fracmathrm dt2pi=frac2piintlimits_0^pi/2cos^2N(t)mathrm dt$.

Finally, $p_N=frac2pi W_N$, where $W_N$ is a Wallis integral, whose value is well known.