What would it look like?

Let's say we have a large extents viewing window and a small cell size, so we have a large and fixed resolution of 'pixels' within the view window. Now we count the occupied cells as we zoom in.

We know from this previous post that for positive dimension sets the count will grow and for negative sets it will shrink. So for an imaginary dimension set we should expect it to neither shrink nor grow, but oscillate. For a complex dimension we expect it to grow according to the real part of the dimension, and oscillate at a rate according to the imaginary part.

(a) counting cells for a line as we halve cell size: 1, 2, 4, ..

(b) same growth as above. It doesn't have to be a curve to have dimension 1

(c) this shape has same growth rate, but with an oscillation: 1, 4, 4, 16, 16, 64, 64,..

Above (c) shows a shape that is on average one dimensional, but oscillates relative to the growth. The oscillation repeats each time we divide cell size by 4, this suggests the imaginary component of the dimension should be 2pi/ln(4), which is about 4.53i. As described in the previous post, (c)'s dimension has a positive real part if it is finite size, or a zero real part if it is infinite in extent. In the latter case, it is a purely imaginary dimensional shape. Here are two other examples:

3x3 dust is 2.86i dimensional:

5x5 dust is 1.95i dimensional:

The moving graph shows plots the point count in the view window. Changing the view window size adjusts the shape but not the period of the graph. As you can see the fractals with smaller imaginary dimension are spatially more sparse, which suggests that the imaginary dimension could have a similar role to lacunarity as a description of sparseness, to accompany the fractal dimension.

To extract the sinusoidal growth pattern from the data you cannot just look at behaviour at a scale extreme, but instead look at the count across all scales. Firstly we need to make the signed dimension more robust to the inclusion of oscillations:

so the signed dimension is:

Secondly we need to extract those oscillations, which give the imaginary dimension:

*a*and the imaginary dimension is

*b*then the shape is

*a + bi*dimensional. However, since the count can never be negative the shape must also include an a dimensional component, and since the count can never be imaginary, the shape must also include an

*a-bi*dimensional component. This means the shape is multi-fractal. If we were to measure it in standard units then we would say that its size is

*k1*metres^

*a*+ k2 metres^(

*a+bi*) +

*k2*metres^(

*a-bi*) for some values

*k1, k2*which are fractal measures.

Acknowledging this necessary multifractal nature, we can give its complex dimension as:

More details are given here.