MathLabs

Problem 5

Alice and Bazza are playing the inekoalaty game, a two-player game whose rules depend on a positive real number λ\lambda which is known to both players. On the nnth turn of the game (starting with n=1n=1) the following happens: if nn is odd, Alice chooses a nonnegative real number xnx_n such that x1+x2+⋯+xn≤λnx_1+x_2+\cdots+x_n\le\lambda n; if nn is even, Bazza chooses a nonnegative real number xnx_n such that x12+x22+⋯+xn2≤nx_1^2+x_2^2+\cdots+x_n^2\le n. If a player cannot choose a suitable number xnx_n, the game ends and the other player wins. If the game goes on forever, neither player wins. All chosen numbers are known to both players. Determine all values of λ\lambda for which Alice has a winning strategy and all those for which Bazza has a winning strategy.
Step 1 of 4: Alice plays 0 forever, then unleashes one huge move
λ>12 ⟹ Alice wins\lambda>\tfrac1{\sqrt2}\ \Longrightarrow\ \text{Alice wins}
Detailed analysis

Suppose Alice plays x2i−1=0x_{2i-1}=0 on every odd turn. Whatever Bazza does, his own constraint forces x22+⋯+x2k2≤2kx_2^2+\cdots+x_{2k}^2\le2k, so by Cauchy–Schwarz x2+⋯+x2k≤k⋅2k=k2x_2+\cdots+x_{2k}\le\sqrt{k\cdot2k}=k\sqrt2; since the odd terms are 00, the running total after turn 2k2k is x1+⋯+x2k≤k2x_1+\cdots+x_{2k}\le k\sqrt2. If λ>1/2\lambda>1/\sqrt2, choose kk large enough that λ(2k+1)−k2>2k+2\lambda(2k+1)-k\sqrt2>\sqrt{2k+2} (possible since the left side grows linearly in kk while the right side grows like k\sqrt k). Then Alice may legally play x2k+1x_{2k+1} equal to any value up to λ(2k+1)−(x1+⋯+x2k)\lambda(2k+1)-(x_1+\cdots+x_{2k}), which is at least λ(2k+1)−k2>2k+2\lambda(2k+1)-k\sqrt2>\sqrt{2k+2}; playing such a value makes x12+⋯+x2k+12>2k+2x_1^2+\cdots+x_{2k+1}^2>2k+2 already, so Bazza has no legal x2k+2≥0x_{2k+2}\ge0 on the next turn and loses.