SpectraLDS: Provable Distillation for Linear Dynamical Systems. - Devan Shah; Shlomo Fortgang; Sofiia Druchyna; Elad Hazan (CoRR, 2025)