SharpMeanWaveBridge #
Ported from scottnarmstrong/Superdiffusion at 7f20476385d4af418f110303085ad0740c9eba46. Module imports, support namespace and local option directives adapted for Lean Pool.
noncomputable def
Algsuperdiff.Section3.Provider.Multiscale.probeLayerWaveFactor
{d : ℕ}
(M : ABKModel d)
(m : ℤ)
(hn : ℕ → ℕ)
(n : ℕ)
(L : ℤ)
(omega : Cutoff.CutoffSample d)
:
The normalized wave factor determined by the layer's fourth-moment simplex mass.
Equations
- One or more equations did not get rendered due to their size.