Imagine you're spinning a basketball on your finger. The average spin axis points straight up — that's your mean angular momentum, and it's rock-solid. But the ball wobbles. The wobble doesn't change where the spin axis points on average, but it does mean the spin isn't clean. This paper is about that wobble, except the basketball is an electron beam carrying orbital angular momentum, and the wobble is transverse momentum spread inherited from the source. The committed claim: for electron vortex beams generated by fork gratings, the mean OAM per diffraction order is topologically locked at ⟨Lz⟩ = mpℏ regardless of beam quality, but the OAM variance — and therefore the transverse purity — is entirely set by the residual transverse momentum spread of the incident beam. The authors derive a closed-form purity expression: P⊥,m = [1 + 2(ΔLz,m/ℏ)²]⁻¹. This is not a simulation result; it's an analytical formula within Fresnel propagation for a paraxial Gaussian ensemble. The architecture here is classical wave optics done carefully. The incident beam is modeled as a Gaussian mixture with finite transverse momentum spread, not a single plane wave or perfect Gaussian mode. A first-order electromagnetic Hartree phase — essentially the beam's self-field accumulated before it hits the grating — is included as a radial phase screen. Within this approximation the authors show the Hartree field reshapes the propagated intensity profile (filling in or blurring the vortex dark core) while leaving the full-plane OAM moments and transverse purity invariant. This separation of profile effects from OAM statistics is the paper's structural contribution. The ladder context matters. Previous treatments of fork-grating vortex beams typically assume an ideal incident mode — a single Gaussian or plane wave — and compute far-field diffraction patterns. Work by Verbeeck et al. (2010) and McMorran et al. (2011) established the experimental technique; subsequent theory by Schattschneider and others addressed partially coherent illumination. This paper extends the theory to a realistic Gaussian ensemble with explicit momentum spread and self-interaction, deriving OAM statistics rather than just intensity profiles. It doesn't beat a prior numerical benchmark — it provides the first closed-form connection between incident beam quality and output OAM purity for this geometry. Integrity is straightforward but limited. This is a theory paper: the validation is internal mathematical consistency within the Fresnel/paraxial/Gaussian-ensemble approximations. There are no experimental comparisons, no numerical benchmarks against full-wave simulations, and no independent checks. The four figures presumably illustrate the analytical results. The Hartree phase-screen approximation is acknowledged as an approximation, not validated against a self-consistent Poisson solve. The math appears clean and the assumptions are stated, but nobody has graded this homework independently yet. The milestone question is about experimental verification. The purity formula P⊥,m = [1 + 2(ΔLz,m/ℏ)²]⁻¹ is directly testable: measure the OAM variance of a selected diffraction order as a function of the incident beam's transverse coherence length, and check whether the predicted inverse-quadratic relationship holds. The technology exists — OAM sorting and transverse coherence characterization in TEM are both mature. A quantitative experimental confirmation would turn this from a theoretical prediction into a calibration tool for electron vortex beam sources. The obvious next experiment the authors didn't run is a comparison against full numerical wave-optics simulation (or better, against measured OAM spectra from a real fork-grating setup). The honest read: this is a theory group doing what theory groups do — deriving the closed form and publishing it. The experimental validation is somebody else's job, and it's a natural collaboration waiting to happen. The Hartree phase-screen approximation is the weakest link and a full self-consistent simulation would test whether it's good enough or merely convenient.
