Transfer operators of the Gaussian chain [fdip-007S]

A nearest-neighbor Gaussian energy factors into kernels between successive time slices. Composing those kernels gives a transfer operator; closing the chain gives its trace. For a single real field per slice, Hermite functions diagonalize the operator exactly. The leading eigenvalue fixes the normalization needed before its logarithm becomes a nonnegative Hamiltonian.

The construction uses positive weight and mass, Lebesgue measure on each field coordinate and a unit time step. It supplies the operator structure that reflection positivity alone does not determine. The cycle determinant and periodic covariance give independent finite-dimensional checks of its partition function and field correlations.