Fluctuations and Ergodicity of the Form Factor of Quantum Propagators and Random Unitary Matrices

We consider the spectral form factor of random unitary matrices as well as of Floquet matrices of kicked tops. For a typical matrix the time dependence of the form factor looks erratic; only after a local time average over a suitably large time window does a systematic time dependence become manifest. For matrices drawn from the circular unitary ensemble we prove ergodicity: In the limits of large matrix dimension and large time window the local time average has vanishingly small ensemble fluctuations and may be identified with the ensemble average. By numerically diagonalizing Floquet matrices of kicked tops with a globally chaotic classical limit we find the same ergodicity. As a byproduct we find that the traces of random matrices from the circular ensembles behave very much like independent Gaussian random numbers. Again, Floquet matrices of chaotic tops share that universal behavior. It becomes clear that the form factor of chaotic dynamical systems can be fully faithful to random-matrix theory, not only in its locally time-averaged systematic time dependence but also in its fluctuations.