Koopman Spectrum Nonlinear Regulator and Provably Efficient Online Learning