Abstract

The memoir establishes general measure laws for limsup sets. Proposition 1 gives the local positive-density-to-full-measure principle reproduced as Kleinbock–Wang Lemma 3.2.

Role in dependence graphs

Proof-critical source

Bounded trajectories of quasi-rays

This paper is included only for the following marked statement:

  • Proposition 1 · printed p. 29; arXiv PDF p. 35A uniform positive-density lower bound in every sufficiently small ball forces a Borel set to have full measure for a finite doubling measure. Kleinbock–Wang reproduce it as Lemma 3.2.

AI-generated audit

Audit summary

Not a correctness certificate. These reports do not replace expert scrutiny or formal verification.

No audit has been generated for this published version.