A specified evolution and preparation
Let be a self-adjoint frequency operator and a normalized field profile. Time evolution is ; for an energy operator replace by . The return amplitude and weight are
These are Hilbert-space diagnostics of the selected linear evolution. They apply to classical complex mode amplitudes as well as quantum states. Their interpretation as an observed survival probability requires a measurement prescription. Mode amplitudes describe fields on the one physical manifold and introduce no further spatial dimensions.
For a preparation supported on the pure-point spectrum, combine each degenerate eigenspace into one orthogonal projector , with distinct frequencies . Put . Then
The series converges absolutely and uniformly in time, because its omitted tail is bounded by the omitted sum of .
Time average
For a finite spectral sum, integrate each pair of phases:
Uniform tail control extends this calculation to a countable sum. Hence
Degeneracies must be grouped before squaring their weights. The average of itself retains only a zero-frequency component, so it is a different quantity. A small mean return weight can coexist with eventual recurrence.
For two equally weighted frequencies,
The recurrence of the ray occurs every . The difference of frequencies controls the beating.
Approximate recurrence without commensurability
Choose a finite set of occupied frequencies and a reference . For any time unit , consider the phase vectors modulo one, for integers . Partition this finite-dimensional unit cube into boxes of side . Among one more points than boxes, two share a box. Subtracting their integer times gives a positive at which every selected relative phase is within of an integer multiple of .
For a countable spectrum choose the finite set with omitted weight . If the selected phase errors have absolute value at most ,
Both terms can be made arbitrarily small. Such times are unbounded: if the approximating integer times remained bounded as the tolerance shrank, one of them would be an exact common period, whose multiples are unbounded. For any fixed tail cutoff the same argument supplies arbitrarily late returns. Exact ray recurrence requires all occupied frequency differences times to lie in ; approximate recurrence needs no such commensurability. This is the spectral recurrence setting discussed by Campos Venuti, §I.
An absolutely continuous preparation
The spectral theorem more generally gives a probability measure :
If with , the Riemann–Lebesgue lemma gives . For a uniform density on , ,
This decay describes dephasing of the return amplitude while the full evolution remains unitary. Singular continuous spectral measures require their own analysis; absolute continuity is the sufficient hypothesis used here. Selecting a physical persistent mode additionally requires its coupling and dynamics, beyond a recurrence identity.
Verification and related
spectral_analysis_checks.py checks exact finite time averages, commensurate and incommensurate examples, and continuous-density Fourier integrals.
- Continuum mode memory — derives how coupling to a continuum changes the reduced amplitude equation.
- Confining oscillator domain — supplies one spatial operator with a pure-point spectrum.
- Spectral analysis tools — navigation and scope.