Imagine you're watching a ball drop into a pachinko machine. Each peg deflects the ball randomly, but the overall result is boringly predictable: the ball ends up near the center. You don't need to track every bounce — the statistics of the board guarantee the outcome. This paper asks the same question about quantum systems: does thermodynamic entropy reliably increase, even when the underlying dynamics are perfectly reversible and quantum? The committed claim: for a closed macroscopic quantum system evolving unitarily in a finite-dimensional Hilbert space, the quantum Boltzmann entropy SqB = kB log dim(Hν) predominantly increases with time, confirming a precise version of the second law of thermodynamics at the quantum level. The authors formalize suggestions made by Goldstein, Lebowitz, Mastrodonato, Tumulka, and Zanghì (2010/2019) and verify them on several simple model Hamiltonians. The architecture follows von Neumann's macro-state decomposition: the full Hilbert space H is partitioned into mutually orthogonal subspaces Hν, each representing a macro state ν. The entropy is not von Neumann entropy (which is zero for pure states under unitary evolution and therefore useless here) — it's the Boltzmann entropy defined by the dimensionality of whichever subspace the system's pure state currently occupies. This is a counting argument: macro states with larger subspaces dominate the dynamics for the same reason that the center of the pachinko board has more paths leading to it. The key technical move is making 'predominantly increases' precise — this means defining what fraction of the time evolution the system spends in subspaces of increasing dimension. On the ladder: the immediate predecessor is Goldstein et al. (arXiv:1903.11870), which conjectured this behavior qualitatively. This paper supplies the formal statements and model confirmations that were missing. The classical thermodynamic result — Boltzmann's H-theorem and its descendants — is the deep baseline, and this paper extends that logic into the quantum domain for finite-dimensional systems. There is no competing 'SOTA' in the benchmarking sense; this is foundational mathematical physics, not an optimization race. The contribution is making the claim rigorous and demonstrating it in tractable models. Integrity is clean for the genre. Validation comes from mathematical proof for the precise statements and numerical confirmation on simple model Hamiltonians. There's no experimental data and no claim of it — this is theory confirming theory. The risk of circularity is low because the models are simple enough to be independently checkable, and the proofs are self-contained. The main limitation is that 'several simple models' is not 'all realistic macroscopic systems,' and the authors are transparent about this gap. The milestone question here is not about hitting a number — it's about generality. The current paper works with finite-dimensional Hilbert spaces and specific model Hamiltonians. The next real unlock would be extending the proof to realistic interacting many-body quantum systems, or to infinite-dimensional settings that model actual condensed matter or quantum field theory. That bridge is wide: going from toy models to physically realistic Hamiltonians typically requires fundamentally new mathematical tools, not just more compute. The obvious experiment not run: testing the entropy-increase claim on a system with a realistic interacting Hamiltonian (e.g., a spin chain with disorder, or a lattice gauge model). The honest read is (a) — these systems are analytically intractable and numerically expensive. The authors are working at the proof-of-concept level of the theoretical argument, and scaling to realism is genuinely hard, not strategically withheld.
