Imagine you're running a postal sorting office where two mail carriers dump letters into one bin simultaneously. You need to figure out the maximum rate each carrier can deliver at without the bin overflowing — but the twist is that the bin sorts mail using quantum mechanics, and the letters interact in ways classical bins don't allow. That's the classical-quantum multiple access channel (cq-MAC) problem, and this paper nails down the exact throughput limits for the most general version of it. The committed claim: for arbitrary sequences of two-sender classical-quantum MACs, the authors give exact capacity region formulas — both for vanishing error and for any fixed error rate ε < 1. The vanishing-error region is expressed via spectral inf-mutual information rates, while the ε-capacity region uses a quantity built from a linear combination of three alternative hypotheses. Crucially, the 2015 outer bound by Kubo and Nagaoka is shown to be tight, meaning the gap between achievability and converse closes completely. This is the quantum counterpart of Han's 1998 general formula for classical MACs. Han's result was a landmark in classical information theory — it said you don't need memoryless or stationary channel assumptions to characterize the capacity region. Translating this to the quantum setting has been stuck because the achievability proof requires quantum simultaneous decoding, which is substantially harder than its classical analogue. The key unlock is Sen's 2021 one-shot inner bound, which the authors apply to each member of an arbitrary channel sequence, then stitch together via information-spectrum methods. The architecture here is purely mathematical: information-spectrum analysis combined with quantum hypothesis testing. There's no simulation, no experiment, no algorithm to run on hardware. The paper's machinery lives in the space between quantum information theory and mathematical statistics — specifically, the interplay between spectral divergence rates and the structure of composite alternative hypotheses in quantum testing. The three-alternative-hypothesis formulation for the ε-capacity region is the technically distinctive element; classical MACs only need pairwise constraints, but the quantum setting forces a joint treatment. Integrity is strong in the way pure math papers achieve it: the results are theorems with proofs. The validation is internal logical consistency, not benchmark comparison. The outer bound was previously published (2015), and the inner bound relies on Sen's independently published one-shot result (2021). The paper is 11 pages, which is tight for a result of this scope — suggesting the proof strategy is clean rather than brute-force. The milestone question is more conceptual than numerical here. The capacity region for memoryless cq-MACs was already known; what was missing was the general (non-stationary, non-ergodic) formula. This paper closes that gap for two senders. The obvious next target is K senders (K > 2), where the combinatorial structure of the region's corner points and the number of alternative hypotheses in the converse both explode. Whether Sen's one-shot bound extends cleanly to K senders or requires new machinery is the open question. The experiment not run: extending to more than two senders. The honest read is (c) — saving it for the next paper. The two-sender case is already technically complete and publication-worthy; the K-sender generalization is likely the natural sequel but requires handling 2^K - 1 rate constraints and a corresponding explosion in the hypothesis-testing structure. There's no reason to think it failed; the two-sender paper establishes the template.
