Positive Gaussian laws and covariance [fdip-0017]

A positive quadratic action weights large fields less heavily. Does its integral over an infinite field space converge, and what expectations does the normalized weight assign? The alternating four-cycle calculation answers both questions explicitly: its 4 precision eigenvalues determine the normalizer and the correlation between opposite vertices. The reference volume is fixed before this weight is chosen.

A positive quadratic action on a finite real inner-product space has a finite Gaussian normalizer. Absolute polynomial moments make its expectation a polynomial state, and the covariance theorem identifies inverse precision as its covariance operator. Zero modes require the separate constraints used for massless laws. Averaging or fixing some fields will later give the distinct marginal and conditional laws.