1 · The essentials
Imagine distributing mass along a line by repeatedly choosing from a finite collection of moves, each of which shrinks distances. The resulting distribution can have a dimension that describes how thinly or fully it occupies the line. The main manuscript gives an exact rule for that dimension using the rate at which uncertainty grows in the randomly composed moves and the average rate at which distances shrink. Divide the first rate by the second, then take the smaller of that answer and one. The rule still works when different sequences of moves give exactly the same move. It also allows different shrinking factors and moves that reverse direction. The main result has a Lean formalization.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, think of repeatedly shrinking, moving, and sometimes flipping copies of an ink pattern along a ruler. The formula balances how much uncertainty the random choices create against how tightly they compress the pattern, even when different sequences of choices produce identical placements.
Why it matters
The manuscript resolves what the source calls the entropy-rate dimension conjecture for finite self-similar measures on the real line. Its scope includes exact overlaps and unequal contraction ratios, without requiring the pieces to be separated. This makes the stated formula applicable across all the configurations covered by those hypotheses.
2 · Going further
The precise setting is a self-similar measure on the real line generated by finitely many contracting similarities. The main result is , where is the entropy rate of the random composed maps and is the average logarithmic contraction, called the Lyapunov exponent in the abstract. Thus the dimension is determined by a ratio of an uncertainty rate to a contraction rate, capped at one.
No separation assumption is imposed. In particular, exact overlaps are allowed: distinct sequences of choices may yield the same composed map. The contraction ratios need not be equal, and they may be negative, allowing orientation-reversing similarities as well as orientation-preserving ones.
The source describes this result as resolving the entropy-rate dimension conjecture. It supplies the theorem statement but no description of the argument, so an account of the proof strategy cannot be extracted from the supplied abstract. The main result has a Lean formalization; only one manuscript is supplied, and no companion-manuscript relationship is described.
Useful notions
- Contracting similarities on the real line
- Self-similar measures
- Hausdorff dimension
- Entropy rate of random compositions
- Average logarithmic contraction
What was known before / what is new
Before
The source identifies the target statement as the entropy-rate dimension conjecture. It gives no account of earlier partial results or of which restricted cases were previously known.
New
The main manuscript establishes the stated dimension formula for every self-similar measure on the line generated by finitely many contracting similarities. It allows exact overlaps and unequal or negative contraction ratios, with no separation assumption. The main result has a Lean formalization.
Limits and assumptions
The theorem concerns measures on the real line generated by finitely many contracting similarities; the supplied statement does not cover higher-dimensional settings or other generating maps. The main result has a Lean formalization, but the source gives no further details about its implementation or coverage beyond that result. No argument outline, companion manuscripts, or remaining open questions are provided.
Mini glossary
- Contracting similarity —
- A map that shrinks all distances by a fixed factor and may reverse direction.
- Self-similar measure —
- A distribution of mass generated by repeatedly choosing among contracting similarities.
- Hausdorff dimension —
- The notion of dimension used here to quantify how thinly or fully a measure occupies space.
- Random-walk entropy rate —
- The rate of uncertainty associated with the randomly composed maps, denoted by .
- Lyapunov exponent —
- In this formula, the average logarithmic contraction, denoted by .
- Exact overlap —
- An occurrence in which distinct sequences of generating maps give the same composed map.
Keywords : Self-similar measures · Entropy rate · Hausdorff dimension
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
For every self-similar measure on the line generated by finitely many contracting similarities, proves , where is the entropy rate of random composed maps and χ the average logarithmic contraction. This resolves the entropy-rate dimension conjecture without a separation assumption, allowing exact overlaps and unequal contraction ratios.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
The entropy-rate dimension formula for self-similar measures on the line
24/09/2026We prove that the Hausdorff dimension of every finite real self-similar measure equals the minimum of one and its random-walk entropy rate divided by its Lyapunov exponent. Exact overlaps are allowed, and the contraction ratios may be unequal and negative. This resolves the entropy-rate dimension conjecture.