Definition
Correlation of dynamical observables
Inner products between an evolved observable and a fixed observable.
For a probability-preserving transformation and , their correlation at time is
For invertible , negative times are also defined. The centered correlation subtracts ; the autocorrelation takes .
Events and representations
For , correlation equals . It is a matrix coefficient of the Koopman representation, with the sign of adjusted for the inverse-pullback convention.