The paper tackles a classic probability puzzle: you have a shuffled deck of cards where each of n different labels appears m times. You guess the cards one at a time, and after each guess you only find out whether you were right or wrong (not what the card actually was). A simple strategy of always guessing the same label scores exactly m correct guesses on average. The question is how much better or worse a clever player can do by using all the feedback received so far, either trying to maximize correct guesses or deliberately minimize them.
Two conjectures made by Diaconis, Graham, and Spiro are resolved here. The first conjecture said that even the best strategy for minimizing correct guesses cannot do much better than the naive score of m, meaning a smart "avoider" is essentially stuck getting around m correct answers. The paper proves this rigorously, showing the expected score when trying to minimize cannot fall more than about the cube root of m squared below m, confirming that avoidance strategies offer very limited gains. The second conjecture concerned the maximum achievable score: it predicted that no strategy can push the expected number of correct guesses above roughly 1.718 times m (the factor being e minus 1, where e is the mathematical constant 2.718...). The paper proves this upper bound holds exactly, and shows the constant cannot be improved.
The proofs use two different mathematical approaches. For the lower bound on the minimum score, the authors compare restricted card arrangements using a technique called switching, combined with careful estimates of how random the remaining deck stays over time using martingale methods (tools for tracking averages in sequential random processes). For the upper bound on the maximum score, they use a clever structural insight: a deck with repeated labels can be thought of as several independent decks of distinct cards randomly interleaved, and the best expected score turns out to simply add up across these component decks. This additivity lets the problem reduce to the already-understood case of distinct cards, making the bound tractable.