analysis / Fractal geometry; dimension of self-similar measures

The entropy-rate dimension conjecture for self-similar measures on the line (including the exact overlaps conjecture)

Theorem 1.1: for every finite system of contracting similarities of R\mathbb R and every positive probability vector, dim⁡Hμ=min⁡{1,hRW/χ}\dim_H\mu=\min\{1,h_{\mathrm{RW}}/\chi\}, with no separation or arithmetic assumption; exact overlaps, repeated maps, negative and unequal ratios are allowed. Without exact overlaps this gives min⁡{1,H(p)/χ}\min\{1,H(p)/\chi\} (the exact overlaps conjecture in dimension one) and the attractor formula dim⁡HK=min⁡{1,s}\dim_HK=\min\{1,s\} with ∑∣ri∣s=1\sum|r_i|^s=1. It says nothing about absolute continuity (for instance of Bernoulli convolutions) and does not treat higher-dimensional or non-conformal systems.

55Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisSep 24, 2026Significance 55/100Registry: lean checked

The entropy-rate dimension conjecture for self-similar measures on the line (including the exact overlaps conjecture)

Prior state unknown→proved

Theorem 1.1: for every finite system of contracting similarities of R\mathbb R and every positive probability vector, dim⁡Hμ=min⁡{1,hRW/χ}\dim_H\mu=\min\{1,h_{\mathrm{RW}}/\chi\}, with no separation or arithmetic assumption; exact overlaps, repeated maps, negative and unequal ratios are allowed. Without exact overlaps this gives min⁡{1,H(p)/χ}\min\{1,H(p)/\chi\} (the exact overlaps conjecture in dimension one) and the attractor formula…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every finite system of contracting similarities of R\mathbb R and every positive probability vector, dim⁡Hμ=min⁡{1,hRW/χ}\dim_H\mu=\min\{1,h_{\mathrm{RW}}/\chi\}, with no separation or arithmetic assumption; exact overlaps, repeated maps, negative and unequal ratios are allowed. Without exact overlaps this gives min⁡{1,H(p)/χ}\min\{1,H(p)/\chi\} (the exact overlaps conjecture in dimension one) and the attractor formula dim⁡HK=min⁡{1,s}\dim_HK=\min\{1,s\} with ∑∣ri∣s=1\sum|r_i|^s=1. It says nothing about absolute continuity (for instance of Bernoulli convolutions) and does not treat higher-dimensional or non-conformal systems.

Theorem 1.1: for every finite system of contracting similarities of R\mathbb R and every positive probability vector, dim⁡Hμ=min⁡{1,hRW/χ}\dim_H\mu=\min\{1,h_{\mathrm{RW}}/\chi\}, with no separation or arithmetic assumption; exact overlaps, repeated maps, negative and unequal ratios are allowed. Without exact overlaps this gives min⁡{1,H(p)/χ}\min\{1,H(p)/\chi\} (the exact overlaps conjecture in dimension one) and the attractor formula dim⁡HK=min⁡{1,s}\dim_HK=\min\{1,s\} with ∑∣ri∣s=1\sum|r_i|^s=1. It says nothing about absolute continuity (for instance of Bernoulli convolutions) and does not treat higher-dimensional or non-conformal systems.

Recorded attempts

Evidence graph

Connected research record