Documentation

LeanPool.AnomalousDiffusion.AVenhance.Infra.FullTheorem.Integration.FlipFlopContract

The flip-flop statement for the kappaSeq chains #

With sHat_m := κ_m / (√(9/80) ε_m^{β+γ}), chains topped at t ε_M^{2β/(q+1)}, t ∈ {1/2, 2}, satisfy: log sHat_m alternates around ± log (t √(80/9)) up to O(ε_m^ρ).

Flip-flop for kappaSeq chains topped at t ε_M^{2β/(q+1)}, t ∈ {1/2, 2}: with the normalisation sHat_m := κ_m / (√(9/80) ε_m^{β+γ}), log sHat_m alternates around ± log(t √(80/9)).

Equations
  • One or more equations did not get rendered due to their size.
Instances For