Problem solved in full
-
Spreads for 2 walkers over 10 steps 9 steps
10 steps, 2 walkers. One tosses a fair coin each step and moves ±1. The other starts in coin state |0⟩ and has the Hadamard gate applied to its coin before every move. Work out both spreads exactly, then say how many steps the classical walker needs to cover the same ground.
-
Classical steps are independent, and each one contributes a variance of exactly 1, so the variances add. That single line is the whole classical answer — and it is why the panel above prints a square root rather than a simulation.
-
The quantum walker never picks a branch. Carry 2 amplitudes at every site, one per coin value; the Hadamard replaces them with their sum and their difference, and then the |0⟩ half moves left while the |1⟩ half moves right. A site can receive from both neighbours, so amplitudes add — and a difference can come out 0.
-
Start at the origin with (1, 0) and run 2 steps. Pull the factor 1/√2 out of each step and the amplitudes stay whole numbers, so after step n the pairs below are all divided by 2n/2.
-
Step 3 is where the symmetry dies. The site at the origin holds (1, 1): it sends 1 + 1 = 2 leftward and 1 − 1 = 0 rightward. The minus sign in the Hadamard's bottom row has erased that site's entire rightward contribution, and x = −1 now carries 5 times the probability of x = +1.
-
Keep cranking to step 10. Amplitudes are still whole numbers over 25, so every probability is a whole number over 1024 — the 11 numerators below are exact, and they sum to 1024.
-
Read the largest numerator straight off the list. It is 449, and it sits at x = −6, well away from both the origin and the far edge.
-
The mean is not 0. |0⟩ is the half of the coin that moves left, and step 3 already showed it taking the larger share, so the whole distribution leans that way.
-
Variance is the mean square minus the square of the mean, and both sums come from the same 11 numerators — no new information is needed.
-
Divide by the classical spread from step 1.
Answer
σq = 4.8924 against σc = 3.1623 — a ratio of 1.5471 — with the quantum peak at pq(−6) = 0.4385. Now read that variance as a step count. A classical walker's spread is √M, so matching 4.8924 takes M = σq2 = 23.9, call it 24 steps: 2.4 times the work for the same reach after 10. The classical step count is the square of the spread ratio, and that is the part worth keeping — a 2× advantage in spread is a 4× advantage in steps.
-
References (2)
- Insight block 1 — the coined walk this tool steps through: Y. Aharonov, L. Davidovich and N. Zagury, "Quantum random walks." Physical Review A 48(2), 1687–1690, 1993.
- And the exponential separation block 1 names: A. M. Childs, R. Cleve, E. Deotto, E. Farhi, S. Gutmann and D. A. Spielman, "Exponential algorithmic speedup by a quantum walk." Proceedings of the 35th Annual ACM Symposium on Theory of Computing, 59–68, 2003.