3 papers
math.DS2026
Finding Koopman Invariant Subspaces via Personalized PageRank
Hyukpyo Hong, Qin Li, Matthew J. Colbrook +1
Selecting a finite dictionary of observables whose span is Koopman-invariant is a central challenge in data-driven Koopman operator approximation. We address this problem by exploi…
cs.LO2026
Lean-GAP: A Dataset of Formalized Graduate Algebra Problems
Seewoo Lee, Byung-Hak Hwang, Hyojae Lim +10
We present Lean-GAP (Lean-Graduate Agebra Problems), 430 formalized graduate-level algebra problems from the textbook Abstract Algebra by Dummit and Foote. We develop a scalable pi…
math.DS2025
Asymptotic Robustness in Biochemical Systems
Hyukpyo Hong, Diego Rojas La Luz, Gheorghe Craciun
Living systems maintain stable internal states despite environmental fluctuations. Absolute concentration robustness (ACR) is a striking homeostatic phenomenon in which the steady-…