Published paper
Abstract
The article computes fractional dimensions of sets defined by asymptotic digit frequencies in dyadic expansions. Its binary-entropy dimension formula is the input used in the focal paper's Proposition 2.3.
Role in dependence graphs
Proof-critical source
On Nontrivial Winning and Losing Parameters of Schmidt Games
This paper is included only for the following marked statement:
- Dyadic digit-frequency dimension theorem · printed pp. 321–330; conclusion p. 330Gives the binary-entropy Hausdorff dimension for the set with prescribed lower zero-frequency used in v3 Proposition 2.3.
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.