The Chaos Game Versus Uniform Rotation: From Sierpinski Gaskets to
Periodic Orbits
Abdulrahman Abdulaziz
Abstract
In this paper, we introduce a couple of dynamical systems that are
related to the Chaos Game. We begin by discussing different methods of
generating the Sierpinski gasket. Then we show how the transition from random to
uniform selection reduces the Sierpinski gasket to simple periodic orbits.
Next, we provide a simple formula for the attractor of each of the introduced
dynamical systems based only on the contraction ratio and the regular -gon on
which the game is played. Finally, we show how the basins of attraction of a
particular dynamical system can generate some novel motifs that can tile the
plane.
1 The Chaos Game
Let be an equilateral triangle in the
plane. To play the Chaos Game (CG), start with any point in the plane, go
halfway from that point to a randomly chosen vertex of , and then
repeat the process, seeΒ [2, 4]. Skip** the first thousand or
so iterates then plotting the points produced by the game, we obtain the
Sierpinski triangle or gasket shown in FigureΒ 1. The gasket, which
is called the attractor of the game, was originally constructed by Waclaw
SierpinskiΒ [7] by removing the middle third of the original
triangle and then repeatedly removing the middle third of the remaining
triangles.
The Sierpinski triangle can be generated in yet another way described in
[6]. Start with a point in and double the
distance from to the nearest vertex of along the line from
to that vertex. Clearly, most points will leave under this game, but
it just happens that points that stay trapped inside are exactly
those that belong to the Sierpinski gasket. This, however, is not a practical
way to generate the gasket since the probability that a randomly picked point
will stay in under this game is virtually zero.
2 New Games
Now suppose that instead of doubling the distance away from the nearest vertex,
we move halfway between the current point and that vertex of
which is farthest from . Then, irrespective of where we start in the plane,
the attractor will either be the vertices of the triangle
or those of the triangle ,
see FigureΒ 2.
We will show that the attractor reached depends solely on the location of the
initial point in the plane and consequently where it first lands in
as the game is played.
It turned out the attractors and can be obtained by
playing a uniform rotation game (URG). That is, instead of moving toward the
farthest vertex, we simply go around in a clockwise or
counterclockwise direction. For counterclockwise rotation, first go halfway
between the current point and the vertex , followed by , and then . In
this case, the attractor will be the vertices of the triangle . On
the other hand, clockwise rotation leads to the vertices of .
It is no accident that attractors of the FVG coincide with those of the URG. But
before we give the reason behind this, it should be noted that in the FVG, the
attractor could be or , depending on the starting
point. This is in contrast with uniform rotation where the attractor depends
only on the choice of rotation. Now to illustrate how the two dynamical systems
lead to the same attractor, let us take a point that is attracted to
under the FVG and by counterclockwise rotation. If we follow the
orbit of such a point we see that the two systems behave strikingly different
outside , but once inside they both converge to
quite fast, see FigureΒ 3(a). Obviously, dark lines
represent the FVG while faded lines represent the URG. A similar phenomenon
occurs if we take a point that is attracted to under clockwise
rotation, see FigureΒ 3(b).
Indeed, taking a closer look at this, we find that the two dynamical systems are
identical inside . To see this, let us divide into dark and
light regions as in FigureΒ 4. Then once inside (not on one
of the bisectors), it is clear that the FVG is nothing but a clockwise rotation
for points in the dark area and a counterclockwise rotation for points in the
light area. If it happens that the current point is equidistant from two
vertices, then we break the tie arbitrarily and return to the previous case.
Figure 4: Eventual behavior of the FVG.
3 Periodic Points
In this section, we shall study periodic points of the URG, which are in turn
periodic points of the FVG. This is so since all points in the plane end up
inside under both games and since for points in the two
games are indistinguishable.
First, we prove that all points in the plane are attracted to the three vertices
of under counterclockwise rotation. To do so, let us assume (without
loss of generality) that is centered at the origin with . Then
the vertices of will have the coordinates
and the vertices of and will be111The vertices of
and are not written in simplest in order to easily
identify the similarities between their coordinates.
It can be easily checked that
where means goes to by moving
halfway toward . In fact, it can easily checked that if
and
, then
It follows that
which is always positive except when . Similarly, if
, then
unless . In other words, once we start rotating inside ,
the distance between the current point and the nearest vertex of
will always be greater than the distance between its image and the nearest
vertex of . As we keep iterating, the system will tend to
, which makes it the sole attractor of the URG under
counterclockwise rotation. Similarly, it can be shown that is the
attractor of the game under clockwise rotation.
Even though all points in the plane are attracted to under
counterclockwise rotation, it is still possible to obtain periodic orbits of
periods other than three. Clearly, is the only fixed point of the game,
assuming we start the counterclockwise rotation at . Also, is a
period 2 point since
where both and belong to the line . For a period , the
periodic points fall inside . For example, suppose that we want to
find a point of period four. Starting with the initial point then
going counterclockwise, we get the following sequence of points
Hence, the desired point can be found by solving the linear system
. This yields , , see Figure
5(a).
Figure 5: A periodic point of (a) period 4 and (b) period 5.
Observe that the nearest point on the orbit to is , which lies on the
line since
This will be true whenever the period is one more than a multiple of 3. In
Figure 5(b), we show a point of period five. In this case, the point
must lie near on the line . This will always be true for
periods that are two more than a multiple of 3. However, there are no points
with a prime period that is a multiple of three. In this case, the point
coincide with . Otherwise, the image of will be closer to than
is to , which we know is impossible. Of course, we could obtain two
more periodic orbits of period if we move first toward or . This is
equivalent to rotating the orbit obtained by moving first toward by an angle
of or .
We can prove the above statements more rigorously by finding a formula for
in general. First, observe that if
then going halfway from a point to , or amounts to adding
, or to
It follows that for
Let . Then continuing this way we get
(1)
where is the identity matrix . If and
, then solving yields
(2)
It happens that in our case
and
Therefore,
This proves that is the only periodic point of period for
. If , then solving , we obtain the
unique point
It can be easily checked that the point lies on the line . Similarly,
for , we get the periodic point
which falls on the line .
It is important to note that all periodic orbits, except the period 3 attractor,
are unstable and therefore they do not appear under iteration. In fact, they are
not even periodic points in the true sense of the word. For instance, if we
continue iterating the point of period 4 found earlier, we get
where is different from . In other words, even if a point
returns to itself after a certain number of iterates, it will then get off track
and spiral toward . The reason behind this behavior is that the
game does not only depend on the contraction ratio but also on the chosen
vertex. For to be the same as , we must move from toward
instead of , but then we would have violated the order of rotation. We
conclude that if we play the URG on any point in the plane, including pseudo
periodic points, we will always end up rotating around or
jum** from one vertex to the next, depending on whether the
rotation is counterclockwise or clockwise.
4 Uniform Rotation on Regular -gon
The eventual behavior of the URG and FVG is the same only if the -gon on
which the games are played is a triangle. For , the URG yields periodic
orbits that form regular -gons, while the FVG leads to star polygons. In this
section, we will study the URG, leaving the FVG for the next section.
First, observe that the inner triangles and are
tilted with respect to the original triangle by an equal amount but
in a direction opposite to the direction of the game, see Figure 2.
That is, if is rotated clockwise by an angle , then
is rotated counterclockwise by the same angle . Moreover,
if the fraction of the distance traveled, henceforth called the
contraction ratio, is changed from half the distance between the current
point and the chosen vertex to any other number between and , then the
angle changes as well. This means that does not only depend
on the number of vertices , but also on the contraction ratio , as shown
Figure 6.
Figure 6: URG: (a) and (b) .
In order to calculate , we first find the inner -gon whose
vertices are the attractor of the game. Suppose that is a point on the
attractor and that is the image of as we move toward a vertex of the
outer polygon , see Figure 7. If is the fraction
of traveled, then the point is given by
(3)
Figure 7: The angle for the URG on a regular
-gon.
Let be the matrix that rotates a point in the plane by
. Then we can find by solving the equation
(4)
In particular, if has the coordinates and , then the
coordinates of are
(5)
Having found the coordinates of and thus , it is not difficult to see
that the angle by which the inner -gon is rotated with respect to the outer
-gon is simply .
Moreover, since , , and , , and are
collinear, we must also have .
It follows that if we use the values of and obtained in
(5), then both formulas for should produce the same
answer. The tedious calculation222We can simplify the calculation of
by assuming without loss of generality that the coordinates of
are yields
(6)
Note that as , and so goes to
. On the other hand, as , and we have
which is half the angle of a regular -gon.
Although the contraction ratio could be any number in , it is more
natural to choose a ratio that produces a fractal similar to the Sierpinski
gasket under the CG. This particular ratio has been called the kissing
ratio, see [5, 3]. In fact, it was shown in [1] that
the kissing ratio is
where is the number of sides in the regular polygon. Moreover, if we define
for any positive real number , then we can visually see how
intersects with the functions
at only integer values, as illustrated in Figure 8.
Note how touches only from below, crosses , and
touches only from above. If we set , then for a uniform
rotation with a contraction ratio , we have
(7)
Here is a function of only since the kissing ratio is a function
of as well. Curiously, the angle increases as goes from
to then decreases from on, tending to zero as goes to infinity,
see FigureΒ 9. Another curiosity is that on the way down from the
maximum at , when we reach we get , which is the
only case where two distinct integers yield the same value of .
Figure 9: Tilt angle for the URG with .
Next, we will show that the sum of diverges for . Using
LβHΓ΄pitalβs rule, it can be proved that
which is positive for . By the limit comparison test, it follows
that
On the other hand, if we replace by the kissing ration , then the sum
converges since in this case as . This can be
proved by splitting the series into three series depending on the remainder of
the division of by 4. It turned out
Hence, the sum of the whole series converges, again by the limit comparison
test.
5 Farthest Vertex on Regular -gon
For , the FVG yields different attractors than the URG. In fact, the
eventual behavior of the FVG depends on whether is even or odd. More
precisely, for odd, the attractors are still periodic orbits of points
each; but instead of drawing a regular polygon, the line segments joining
consecutive vertices of an attractor now draw a star polygon, see Figure
10(a). On the other hand, for even, we get attractors,
each consisting of two points that lie on a line joining opposite vertices of
the original -gon, as shown in Figure 10(b).
Figure 10: Attractors of the FVG (a) odd and (b) even.
Suppose that is odd, is a vertex of the attracting star polygon, and
is the image of as we travel toward the vertex of the outer polygon
, see Figure 11. First, note that if is odd and
is chosen on the -axis, then the two vertices that are farthest from
lie on the horizontal side of . In addition, if ,
then the and are exactly vertices from , depending on whether we
move clockwise or counterclockwise. This means that moving counterclockwise from
, we reach after a rotation by and after a rotation by
. It follows that we can get back from to by a rotation
of , and so the coordinates of can be found by solving the
equation . In this case, is given by
(8)
As for the URG, the angle by which star polygon is rotated with respect to the
outer -gon is . But in this case is the
farthest clockwise vertex from , while it was the closest clockwise vertex to
in the URG. Knowing that , we can calculate either or
to obtain
Figure 11: The angle for the FVG on a regular
-gon.
(9)
Of course the other inner star will be rotated in a clockwise direction. As in
the case of the triangle, the choice of rotation depends on where inside the
-gon the system lands first. In Figure 11, if we assume that
is the first iterate that falls inside the pentagon, then clearly the game
will continue in counterclockwise direction. On the other hand, the reflection
of with respect to the -axis will lead to clockwise rotation. Moreover,
counterclockwise rotation will force the inner star to be rotated clockwise with
respect to the outer polygon and vice versa.
Having found the formulas for and for the FVG when is odd, it
only is natural to compare them with those obtained for the URG. In fact, it is
noticeable that one can get from the URG to the FVG simply by replacing every
occurrence of by . From this we see that when ,
the two games yield the same attractors since .
Another similarity between the two games is that when , tends
to for all . Also, as in the URG, the sum of diverges for
any fixed , while the sum converges if we take . However, as ,
we get
which is different from the value of in the URG. Moreover, in
this case, for , as shown in Figure
12.
Figure 12: Tilt angle for the FVG with .
Finally, if is even, then we get attractors, each consisting of a pair
of points falling on a diagonal joining opposite vertices of the outer
-gon. In other words, if is the image of as we move toward ,
then is the image of , where is rotation by . In this case,
the coordinates of are
(10)
Note that the coordinates of are now independent of . Also, the inner
polygon whose vertices are the attracting pairs of points is not rotated
with respect to the original -gon, and so , see
FigureΒ 10(b). In fact, we could have obtained the formulas for
and from the formulas for odd by replacing by 0.
6 Transformation Matrix
The counterclockwise rotation game on with contraction ratio
yielded the triangle , whose sides are the sides of
. In general, if we take the regular -gon to be centered at the
origin with as one of its vertices, then that the point of the
attractor that moves toward was given by (5). Also, if we
calculate the length of the side of the inner polygon, which is the distance
between and its image under a rotation by , we get
(11)
where is the radius of the circumscribing circle. Since the
length of the side of a regular polygon in a circle of radius is
, we get a scaling factor
(12)
Now knowing the angle and the scaling factor
, it follows that if
then transforms the original -gon to the
attracting inner -gon. The other inner -gon is obtained y replacing
by . In Figure 13, we show the
inner polygons for a triangle and a square for
Figure 13: The inner polygons for different ratios.
Observe how the angle decreases as
increases so that each extended side of the inner polygons passes exactly
through one vertex of the original polygon. This extremely simple yet powerful
conclusion can be restated as an elegant
Theorem 1.
Let be a regular -gon. Then the attractor of a counterclockwise
(clockwise) uniform rotation with contraction ratio is a periodic orbit of
period that can be obtained by applying the linear transformation
to the vertices of , where is a clockwise
(counterclockwise) rotation by
is a scaling factor given by
and .
We can derive a similar theorem for the FVG by thinking of the attractors,
whether they are vertices of star polygons or endpoints of lines through the
origin, as diagonals inside an -gon, see FigureΒ 14. If is
odd, then the scaling factor can be obtained from the URG by replacing
by , while if is even we replace
by . This yields
Figure 14: (a) Star polygon (b) rays from the origin.
Theorem 2.
Let be a regular -gon with odd. Then the attractor of the
FVG with contraction ratio is a periodic orbit of period that can be
obtained by applying the linear transformation to the vertices of
, where is a clockwise or counterclockwise rotation by
is a scaling factor given by
and .
Whether the rotation is clockwise or counterclockwise depends on the location of
the initial point in the plane and consequently the place where it first lands
in .
Finally, if is even, we get attractors, each consisting of a period 2
orbit. In this case, there is no rotation and the scaling factor is simply
(13)
which does not depend on . Indeed, apart from the fact that the number of
attractors is now instead of , the formulas for and
we derived for odd yields the corresponding formula for even , if
in the formula for odd is replaced by zero.
7 Basins of Attraction
For the URG, all points in the plane are attracted to under
counterclockwise rotation and to under clockwise rotation. On the
other hand, if we try to find the basins of attraction of and
under the FVG, we get the carpet shown in
FigureΒ 15(a) with the triangle in the
middle333Unless otherwise stated, the contraction ratio used is always
the kissing ratio.. It is not difficult to see that light regions are attracted
to while dark regions are attracted to . More
precisely, a point in a light (dark) region outside will eventually
reach a light (dark) region inside , and thus spiral counterclockwise
(clockwise) toward (). Like the original triangle
, the basins of attraction are invariant under rotation by
for , which can be clearly seen in FigureΒ 15(b).
Figure 15: Basins for (a) square of side 7 (b) circle of radius
7.
Moreover, the dark and light regions are reflections of each other with respect
to the axes of symmetry of , where an axis of symmetry of a regular
-gon with odd is a line connecting a vertex to the midpoint of the
opposite side. In other words, the two basins of attraction are invariant under
the rotational symmetries of the dihedral group , and are the
images of each other under the reflection symmetries of . Of
course, the same is true for the attractors and .
If we do the same for a regular pentagon, we obtain the wallpaper shown in
FigureΒ 16. Again, the basins of attraction have the rotational
symmetries of and are mirrors of each other with respect to
reflection symmetries of .
Figure 16: Basins for (a) square of side 17 (b) circle of radius
7.
This is particularly interesting as it provides us with quasi pentagonal tiling
of the plane, since a truly pentagonal tiling is forbidden. Clearly, we can
generate similar tessellations of the plane by finding the basins of attractions
of the FVG played on any regular -gon with odd .
For even, the number of attractors is and so the number of basins
increases with leading to more intricate wallpapers. Moreover, there are now
axes of symmetry connecting the midpoints of opposite sides and axes
of symmetry connecting opposite vertices. Taking , we get the tiling in
Figure 17(a). Observe that the basins are now invariant only under a
rotation by , , and not the full rotational symmetries of the
dihedral group . This loss of rotational symmetries is compensated
by a gain in reflection symmetries, since in this case each basin is symmetric
with respect to the axes joining opposite vertices.
Figure 17: Basins for in a square of side 15 (a) (b)
.
That is, each basin has both rotational and reflection symmetries. Moreover, the
basins are the images of each other under a rotation by , , and
when reflected with respect to the axes of symmetries obtained by joining the
midpoints of opposite sides.
For the regular hexagon , we get the wallpaper shown in
FigureΒ 18(a). From darkest to lightest, let the three basins of
attraction be called and . Also,
let be the axis of symmetry joining the opposite vertices of
that are contained in , and let be the axis of symmetry
perpendicular to . Clearly, passes through the midpoints of opposite
sides of and the symmetry of the tile in
FigureΒ 18(b) can be described as follows:
1.
is invariant under a rotation by for .
2.
is invariant under a reflection with respect to and
.
3.
If a symmetry of the dihedral group does not preserve
, then it will map it onto another basin .
Figure 18: Basins for (a) Square of side 10 (b) with .
The tile in Figure 18(b) was generated by taking all points in
whose -coordinates are in , and then rotating those
points by and . Of course, the symmetries of the tile, as listed
above, can be extended to the tessellation of the full plane. Moreover, these
symmetries can be similarly described for any regular -gon with even. In
fact, we can do so without even knowing how the basins look like, since
the symmetries of the basins are directly inherited from the symmetries of the
attractors.
Finally, changing the contraction ratio amounts to scaling the basins of
attraction, but does not change the symmetries of the tessellation. In Figure
17(b), we changed the contraction ratio from to
. Observe how the overall structure of the wallpaper is preserved, but
everything is now scaled down.
8 Conclusion
We have seen how random and uniform motion around a regular
-gon produced strikingly different results. Also, we were able to fully
describe the behavior of the URG game and the FVG and in the process identify
their similarities and differences. In particular, we have shown how for
the two games lead to the same eventual behavior. That is, they have the same
attractors. But what is most important about this work is that starting with any
initial point in the plane, we can tell exactly where each dynamical system will
end up.
In the URG, there are two attractors for each and , one for clockwise
rotation and the other for counterclockwise rotation. The attractors can be
determined without iterating the system since they are merely a rotation of the
original -gon by angle and a scaling down by a factor ,
where and can be fully calculated using only and .
For the FVG, the situation is slightly more involved. If is odd, we still
get two attractors, but we will not know where the initial point will end up
until it enters the original -gon, as the game unfolds. On the other hand, if
is even, we get attractors, each consisting of a period 2
orbit. Again, we cannot know in advance to which of the attractors will the
initial point converge. To overcome this lack of knowledge about the final
attractor, we iterated a grid of points around the original -gon, which led
us to the discovery of some beautifully intricate patterns that tile the plane.
References
[1]
Abdulrahman Abdulaziz and Judy Said, On the contraction ratio of iterated
function systems whose attractors are sierpinski n-gons, Chaos, Solitons &
Fractals 150 (2021), 111140.