Proof of a conjecture about Parrondo's paradox for two-armed slot machines
Huaijin Liang, Zengjing Chen
TL;DR
The paper proves Ethier and Lee's conjecture that a two-armed Futurity slot machine with Futurity parameter $J=2$ exhibits Parrondo's paradox for every nonrandom periodic pattern $D$ with $r,s\ge1$: each arm is individually fair, yet alternating according to $D$ yields a positive long-run casino profit. It derives the casino's asymptotic profit per coup as $R_D=2Q\,S$, where $Q$ and $S$ are explicit functions of the arm probabilities and the pattern, and shows $S>0$ and $Q>0$ under $p_A\neq p_B$, ensuring $R_D>0$. The authors provide two proof strategies—a mixture of rearrangement arguments and a direct formula-based verification—along with a concrete example $D=(1,1,1,2,1,3)$ that yields a positive profit, thereby confirming the conjecture. The results demonstrate that a two-armed Futurity machine remains profitable in the long run under any nonrandom periodic strategy, extending the Parrondo framework to a history-dependent, cam-based setting with rigorous combinatorial and probabilistic analysis.
Abstract
The 1936 Mills Futurity slot machine had the feature that, if a player loses 10 times in a row, the 10 lost coins are returned. Ethier and Lee (2010) studied a generalized version of this machine, with 10 replaced by deterministic parameter J. They established the Parrondo effect for a hypothetical two-armed machine with the Futurity award. Specifically, arm A and arm B, played individually, are asymptotically fair, but when alternated ran-domly (the so-called random mixture strategy), the casino makes money in the long run. They also considered the nonrandom periodic pattern strategy for patterns with r As and s Bs (e.g., ABABB if r = 2 and s = 3). They established the Parrondo effect if r + s divides J, and conjectured it in four other situations, including the case J = 2 with r >= 1 and s >= 1. We prove the conjecture in the latter case.
