Along a continuous path of symplectic matrices, $\hat\rho$ is continuous with values in the unit circle

Initializing...

Along a continuous path of symplectic matrices, $\hat\rho$ is continuous with values in the unit circle · Prove2Me