Proof of `Slow vectors have no fast-decaying history`
What this proof establishes
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
Description
A slow vector with a history decaying at rate would give the cocycle restricted to the slow space, modified to be bounded, a top exponent of at least along backward orbits. This contradicts Kingman's theorem along backward orbits (Lee 2024, Corollary 21), by which that top exponent is .