Epidemic Spreading on Networks via the Latent Framework: Spectral Control, Superspreader Detection, and Optimal Intervention
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Length
3,109 words
Status
draft
Novelty
The main intellectual delta is packaging standard linearized network-SIR spectral quantities (R0 via λ1, growth rate, gap/ratio) under the Latent compression story (ρ, N*) and encoding a long, mostly scalar/implication-chain “narrative pipeline” as a large set of formally verified lemmas, with unusually explicit honesty about what is structural graph theory versus assumed ordering hypotheses.