Skip to main content
4 of 4
added reference-request tag
Steven Sam
  • 10.7k
  • 3
  • 47
  • 80

Fractal dimension of scaling limits of discrete structures

Let $S$ be the set of positive integers whose base-three expansion contains only the digits 0 and 2. The discrete set $S$ in a sense has (negative) fractal dimension $(\log 1/2)/(\log 3)$, since if you dilate the set by a factor of 3 you get a set that's half as big (two translates of the dilated set tile the original set).

Meanwhile, the Cantor set (which can be constructed as the scaling limit of initial segments of $S$) has fractal dimension $(\log 2)/(\log 3)$, since if you dilate the set by a factor of 3 you get a set that's twice as big (two translates of the Cantor set tile the dilated Cantor set).

Lastly note that $(\log 1/2)/(\log 3) = - (\log 2)/(\log 3)$.

I'd ike to know where in the literature this sort of connection is spelled out in appropriate generality, with clear definitions of the different notions of fractal dimension that are involved, and theorems asserting numerical relationships between those quantities in a more general setting (applying for instance to the locations of the odd entries in Pascal's triangle and Sierpinski's gasket).

James Propp
  • 19.7k
  • 5
  • 55
  • 136