Imagine you're a factory inspector who has to visit 100 factories and certify each one. A strong direct-product theorem says: if inspecting one factory is hard, inspecting all 100 is exponentially harder — you can't amortize the difficulty. That's been known in quantum query complexity for specific functions since the mid-2000s. But two natural generalizations stayed open. What if the inspector gets to choose which factories to certify after peeking at some of them? And what if the inspector can submit a list of guesses and only needs one to be right? This paper nails both. The committed claim: for the first time, a quantum strong selective direct-product theorem holds for ALL functions (not just specific ones), and a quantum list-decoding direct-product theorem holds for all partial Boolean functions. The selective result is genuinely relational — it applies when the algorithm adaptively picks which subproblems to answer based on information gathered from queries. Prior multiplicative adversary methods couldn't handle relations at all. The authors build a new adversary formulation that does. The technical spine is a reformulation of the multiplicative adversary method — the workhorse for quantum query lower bounds. The classical version breaks down for relations because it needs the output to be a function of the input. Beame, Kornerup, and Whitmeyer construct a version that works for relations while remaining strong enough to capture any lower bound provable by the negative-weights adversary (the most powerful known quantum query lower bound technique). This is non-trivial: the negative-weights adversary is already known to be tight for function computation, so matching its power in a framework that also handles selectivity is a real unification. For the list-decoding result, the approach is different. Ben-David and Blais proved the classical analogue for all Boolean functions using a minimax argument that doesn't directly quantize. This paper shows that a special case of the multiplicative adversary — which they call the 'bounded multiplicative adversary' — suffices for list-decoding, and then proves via a new reduction that any negative-weights adversary lower bound for a Boolean-valued function can be converted into one of these bounded adversaries. The chain is: negative-weights adversary → bounded multiplicative adversary → list-decoding direct-product theorem. The integrity regime here is mathematical proof, not experiment. This is a complexity theory paper: the results are theorems, not benchmarks. The validation is the proof itself, checked across 68 pages with 3 figures. There's no simulation to game, no dataset to overfit. The relevant integrity question is whether the proof is correct and whether the definitions capture what they claim to capture. The paper is submitted to QIP 2027, the top quantum information venue, which means it will face expert scrutiny. Why should you care if you're not a complexity theorist? Selective direct-product theorems are the engine behind time-space tradeoffs — proving that algorithms can't solve problems quickly unless they use lots of memory. This quantum version opens the door to proving quantum time-space tradeoffs for a much broader class of problems. The list-decoding result matters because it characterizes the hardness of a natural relaxation: even if you're allowed to hedge your bets with a long list of answers, the problem doesn't get meaningfully easier. These are structural facts about the limits of quantum computation, not just technical curiosities. The obvious experiment not run: extending the list-decoding theorem beyond Boolean-valued functions to general relations, and proving concrete new quantum time-space tradeoffs using the selective theorem. The authors explicitly note the Boolean restriction in the list-decoding case. The honest read is (c) — these are natural next papers, and the current 68 pages are already at the limit of what one submission can carry.
