The anisotropic Calder\'on problem for high fixed frequency

We consider Schr"odinger operators at a fixed high frequency on simply connected compact Riemannian manifolds with non-positive sectional curvatures and smooth strictly convex boundaries. We prove that the Dirichlet-to-Neumann map uniquely determines the potential.