Imagine you're a delivery driver who knows your worst-case route — the day every single traffic light is red, every road is under construction. You've proven it takes at least 40 minutes. Now your boss asks: "What about a typical Tuesday?" You'd think that's easier to answer, but in complexity theory, the tools that handle worst-case scenarios break down completely when you condition on a specific probability distribution over inputs. The worst-case proof says nothing about average-case hardness on a fixed distribution. This paper closes that gap for quantum query complexity. The committed claim: for the first time, the three pillar theorems of joint computation in quantum query complexity — composition (Q(f∘g) = Θ(Q(f)·Q(g))), direct sum (k copies cost Ω(k) times one copy), and direct product (even exponentially small success probability still costs Ω(k) times one copy) — now hold in the distributional setting. Previously, these results applied only to worst-case inputs. If you had a fixed distribution μ over inputs and wanted to know the cost of computing k copies from the product distribution μ^k, the classical theorems were silent. The standard Yao minimax argument guarantees a hard distribution exists for the joint problem, but it gives no promise that this hard distribution decomposes as a product — a critical structural requirement. To get there, the authors introduce two new technical tools that are arguably as important as the theorems themselves. First, a "multiplicative" variant of the γ₂ norm, which replaces the multiplicative adversary method for the direct product theorem. The adversary method has been the workhorse for quantum query lower bounds for two decades, but its multiplicative variant had limited distributional reach. The new γ₂ variant is purpose-built for the multiplicative structure needed when bounding success probabilities that decay exponentially. Second, they define a "Shaltiel-free" measure of quantum query complexity — named for its removal of a Shaltiel-type amplification step that typically contaminates distributional arguments. This measure characterizes the composition behavior of distributional quantum query complexity and satisfies clean algebraic properties that prior measures did not. The architecture here is purely mathematical — no algorithms, no hardware, no experiments. This is a structural complexity theory paper. The proof techniques live in the adversary method / polynomial method family for quantum query lower bounds, specifically extending the line of work from Reichardt's negative-weight adversary through Sherstov's pattern matrix method and Lee-Mittal-Reichardt's composition theorem. The key insight is that distributional versions of these theorems require fundamentally different proof objects, not just distributional wrappers around existing arguments. Integrity is strong for a theory paper: the results are mathematical proofs, the strongest form of validation. There are no simulations to cherry-pick and no benchmarks to choose post hoc. The proofs either hold or they don't. The comparison landscape is also clear: the authors explicitly name the prior worst-case results (composition theorem of Lee-Mittal-Reichardt, direct sum of Drucker, direct product of Sherstov-type arguments) and explain precisely what those results fail to establish in the distributional setting. The milestone question is structural rather than numerical. The immediate unlock is that distributional lower bounds can now be used as black boxes in other proofs — any result that needs to reason about quantum algorithms on structured (non-worst-case) inputs can invoke these theorems. The broader trajectory is toward a complete understanding of quantum-classical separations that hold on natural distributions, not just adversarial ones. The practical distance: this is foundational theory, likely 5-10+ years from influencing algorithm design directly, but it could reshape proof techniques in quantum complexity within 1-2 years. The obvious next experiment the authors didn't run: extending these results to partial functions and relation problems, where distributional complexity is even less understood and where many of the celebrated quantum speedups (Grover, Simon, Shor as oracles) actually live. Honest read: they're likely saving this for the next paper — the current results already resolve a major open direction, and partial functions would require substantial additional machinery.
