Skip to main content
2 of 7
added 145 characters in body

"Fractally self-similar" numbers

This is another question about visualization of Ford circles, the previous one being Confusion with practically implementing rational approximations. Here is an output of zooming into Ford circles at $\frac1{\sqrt2}$

enter image description here

Empirically I found that the pattern repeats periodically and arranged the number of frames so that one gets impression of a continuous infinite zoom (however if one looks very attentively there is a slight jump where the animation restarts).

What I want to know is whether the pattern indeed repeats rigorously for quadratic irrationalities, and whether for other irrational numbers the pattern occasionally becomes "almost" the same (clearly if the number is rational then the picture eventually starts degenerating into the horizontal line).

Since I do not actually know how exactly to formulate it, let me ask the question in form that practically occurred to me: for a real $x$ denote by $P_{r_0}(c)$ the picture of Ford circles in the rectangle $(x-c,x+c)\times(0,c)$ with resolution $r_0$. That is, features of size less than $cr_0$ cannot be observed; in particular, only the Ford circles of radius $r>cr_0$ are visible, and moreover a circle cannot be distinguished from another one if they are both contained in an annulus of width $<cr_0$.

For which $x$ do there for any resolution $r_0$ exist two different $c$ and $c'$ such that the pictures $P_{r_0}(c)$ and $P_{r_0}(c')$ cannot be distinguished? (Well, they must be "sufficiently different" - say, there is still another $c<c''<c'$ such that $P_{r_0}(c'')$ can be distinguished from both.)

And the question about this question - what is a rigorous mathematical statement behind it?