Simplicity of Lyapunov spectrum for geodesic flows in negative curvature - Daniel Mitsutani (2021)