Wick second moments for the random parametrix #
This is the parameterized xiEps instance of the abstract
WickAtSecondMomentLaw consumed by the parametrix moment reduction.
theorem
Anderson4D.NoiseModel.wickAtSecondMomentLaw
(M : NoiseModel)
(ρ : SmoothCutoff)
{ε : ℝ}
(hε : 0 < ε)
(m : ℕ)
:
WickAtSecondMomentLaw M ρ ε m
The two wickAt factors appearing in the doubled parametrix kernel obey
the exact cross-single contraction formula.