[2406.19377] Grassmannian optimization is NP-hard