  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.
