📜 ⬆️ ⬇️

Adventures in the mathematical forest of fractal trees



Translation of the post Bernat Espigulé Pons, "Adventures into the Mathematical Forest of Fractal Trees" .
Download the translation in the form of a Mathematica document that contains all the code used in the article here .

Without a doubt, the golden section and in our time seems to be one of the most mysterious, magical and amazing numbers that are known to people: Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_1.png . (in the Wolfram Language and Mathematica, the GoldenRatio symbol corresponds to it ). As you will see from this post, this number does have a lot of interesting properties that can be explored, some of which were considered in the works of scholars of ancient Greece, such as Pythagoras and Euclid , others in the works of the Italian mathematician Leonardo of Pisan , better known by the nickname Fibonacci , or Johann Kepler , an astronomer of the Renaissance. Although it may sound strange, in this post I will tell you about the new geometric objects related to the golden section, which illuminated my path when I tried to display the previously unknown area of ​​the Mathematical Forest.

The properties found below were not found by chance, I worked hard to get this new knowledge from the time when I was in high school. After in 2007 I saw the “golden” drawings (in terms of using the golden section fractal structure) of Hans Walser’s trees, I realized that there is still room for new research and discoveries in this area. After some searches, I found the tools I needed for this: the Mathematica system and the Theo Gray interactive model called “ Naked-blown Pythagoras blown tree ” interactive system, from the Wolfram Demonstrations Project website. Having gathered some knowledge and initial programming skills in the Wolfram Language, I got my first results and insights. Say, below you can see an example of one of the first self-touching “golden” fractal trees that I discovered by creating my own version of Theo Gray’s The Flexor, which I originally developed to study ternary trees (i.e. trees that have from each node there are three branches).
')
In [1]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_2.gif

Out [3] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_3.gif

This is a self-similar tree, i.e. a tree, which is obtained, in fact, by the consistent application of a certain branching rule. I call “golden” those trees whose length of branches is a multiple of the golden section GoldenRatio = φ. For this particular tree, the scale factor for the central branch is Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_4.png , and for lateral branches Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_5.png . The angle between the central branch and each of the side branches is 72º. Since this tree has no intersecting branches or elements that are not interconnected, it can be called a “self-touching” tree. Let's take a closer look at some of its properties:

In [4]: ​​=

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_6.png

Out [7] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_7.gif

Following the designations proposed by Benoit Mandelbrot and Michael Frame for binary trees, I added the third letter U , with which we can describe all the branches of our triple tree. The letter L indicates the branches that go to the left, the letter R shows the branches that go to the right, and the letter U corresponds to the central branch. Thus, the string of these letters uniquely defines each branch of our fractal. In the event that this kind of “address” has infinite length, then we can indicate a specific “top” of our fractal tree, which can be considered, in fact, as an unattainable limit point, to which the chain of branches of the fractal tree is gradually approaching. For example, an endless “address” of the form Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_8.png sets the “tip” at the very top of our tree:

In [8]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_9.png

Out [8] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_10.png

Thus, the height of our tree is:

In [9]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_11.png

Out [9] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_12.png

And its width is equal to the distance between points. Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_13.png and Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_14.png :

In [10]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_15.png

Out [10] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_16.png

It is also very interesting that the length of a sequence of tree branches can be expressed using Fibonacci numbers (in Mathematica , the Fibonacci [n] function serves to search for the nth Fibonacci number). You can find some expressions used in the code below in the lower left corner of the previous figure:

In [11]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_17.png

Out [11] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_18.png

In [12]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_19.png

Out [12] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_20.png

Finally, in order to prove that this tree is self-touching, we need to show that two different branches (their tops) touch each other at one point, which simultaneously corresponds to two points (tops) of the tree: Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_21.png . In this case, the same thing is observed for a mirror-symmetric point (see the diagram below). If this is so, then self-similarity of the tree will mean that there are no vertices in it that do not touch other vertices. This means that you can take any vertex, “cut off” a subset of the tree containing it, which repeats the entire tree in appearance, then change its scale accordingly, rotate it to the desired angle and we will get the point of tangency of one of the two main types considered. :

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_22.gif


Vertex coordinates Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_23.png can be defined as follows:

In [13]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_24.png

Out [13] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_25.png

The coordinates of the vertex Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_26.png will be equal to:

In [14]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_27.png

Out [14] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_28.png

Thus, in view of the fact that these coordinates are equal, we can assert that our tree is indeed self-touching.

Another amazing thing associated with this “golden” tree is that it creates a beautiful 5th-order axial symmetry pattern, which can be obtained by rotating the main tree around its base:

In [15]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_29.gif

Out [17] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_30.gif

Or you can create a similar pattern by rotating the tree around its main vertex:

In [18]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_31.gif

Out [20] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_32.gif

On the same day, I discovered a second triple “golden” tree. This tree, in which the central branch goes down, we denote it by the letter D , and the right R and left L branches form a 36º angle together with the central branch.

In [21]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_33.gif

Out [23] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_34.gif

In this case, we can create a pattern with axial symmetry of the 10th order by rotating the created tree around its base:

In [24]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_35.gif

Out [26] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_36.gif

Now let me introduce to you the very first “golden” tree, which I discovered back in 2011:

In [27]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_37.gif

Out [29] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_38.gif

This binary tree is asymmetrical. In it, the length of the branches that go to the left, at each step is multiplied by the coefficient Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_39.png while they form with an extension of the central branch an angle of 36º. The branches extending to the right are arranged in such a way as to form regular pentagons. The first four iterations are listed below:

In [30]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_40.gif

Out [32] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_41.gif

You can also consider an asymmetric tree, shown below, which has a mirror symmetry with respect to a straight line passing through the central branch:

In [33]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_42.gif

Out [37] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_43.gif

Based on this tree, you can create a fractal that has a 5th order axial symmetry:

In [38]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_44.gif

Out [42] =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_45.gif

The real magic happened after I “folded” this tree as shown in this gif-animation created with the help of Mathematica .



When the branches were fully folded, the tops of the tree formed a “golden” Koch snowflake . The golden section “built” the branches in such a way that they formed “ golden triangles ” and “ golden gnomons ”, which can be seen at any degree of magnification of the image.

In [43]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_46.png

Out [43] =


( watch online CDF demo )

After the trees, whose ends of the maternal branches move clearly along a straight line, were considered, a whole family of self-touching binary trees appeared (about this you can read more in the post “ Automatic Drawing in Mathematica: Drakens Trees ”).

Then I began to consider trees that have more than two branches extending from the main branch. The collection of “ Fractal Mosaics” by Robert Fathauer inspired me to search for a way to display all possible trees that produce Koch's snowflakes, like the tree that was examined earlier, using a single diagram. This diagram was presented at last year’s Bridges conference (you can find the article by reference , the diagram itself is a figure with figure figure 4). These studies and observations allowed me to move forward and summarize the symmetric self-tapping binary fractal trees studied by Benoit Mandelbrot and Michael Frame (Michael Frame) (see [1] ), Tara Taylor (see [2] [3] ), Dushan Pagon (see [4] ) and Stephen Wolfram (see [5] ). After a long work on finding out how the “addresses” of the paths to the tree tops, in which it touches itself, are related to the angle θ, as well as the number of branches of the tree, using Mathematica, I managed to get all nine types of equations that determine the coefficient of self-touch Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_48.png for n -ary symmetric fractal trees. I will not go into details here - you can explore the self-shedding trees in the manipulator below. If you are interested in this question, you can read the post “ Nine equations to rule them all. The entire Sierpinski family of fractals ”(Nine equations to rule them all. The Sierpinski's whole family), which was written for the Wolfram Community. In this post, results are obtained, which were then published in the journal Symmetry (Volume 24, Numbers 1-4, pages 320–338, 2013).

In [44]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_49.png

Out [44] =


( watch online CDF demo )

My research didn't end there. Last summer, during my first week at the Wolfram Science Summer School , I had the good fortune to open five three-dimensional self-touching infinite “golden” trees with branches pointing down (below you can see one of these trees generating a three-dimensional code snowflake can be obtained if we take the angle of inclination of the side branches relative to the extension of the central branch to be Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_51.png ). This moment became for me the most outstanding.

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_52.gif


When I arrived at the Wolfram Science Summer School, I already had some vague vision of what I would do about the project. I wanted to generalize the equations I found for two-dimensional fractal trees for a three-dimensional case. I tried to do this before, but I had certain difficulties in applying all sorts of rotations, and I could only create a small set of highly symmetrical trees, like a tetrahedral tree , which I printed on a 3D printer just before joining summer school. The demonstration of “ Tree Branching in 4D ” by Todd Rowland, the academic director of the summer school, helped me to understand the main ideas of my project, and my leader, Vitaliy Kaurov , was very inspired by my goal .

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_53.gif


After my first conversation with Stephen Wolfram (Stephen Wolfram), everyone agreed that I should stay in the same Mathematical Forest from which I came and should try to move on to the higher dimension of the trees in question. During my first week, I searched for literature on three-dimensional fractal trees, and I found an article “Symmetric Fractal Trees in Three Dimensions” written by Frongillo et al., As well as Paul Nylander’s example generating three-dimensional ternary fractal trees. After that, I quickly tried to reproduce and expand the results presented in the article, based on my intuition and knowledge gained from studying two-dimensional trees under the guidance of Susanne Krömker at Heidelberg University. The final results were astounding and I am still amazed at how quickly all these equations were obtained in just three weeks. Of course, the atmosphere that stood in the summer school was the best assistant for the implementation of such a project.

“Simple rules that are applied infinitely many times are an inexhaustible source of miracles.” - Benoit B.Mandelbrot

In [45]: =

Prikljuchenija-v-matematicheskom-lesu-fraktalnyh-derevev_54.gif

Out [45] =


( watch online CDF demo )

(A manipulator created using the Manipulate function, which you see above, will allow you to explore the “forest” of symmetric binary fractal trees. The blue “map” in the background is the Mandelbrot set for symmetric binary trees. In this case, the Julia set associated with this "map" is the set of vertices of the respective trees. this "map", opened by Michael Barnsley (Michael Barnsley), has some common features with the dot cards , open Stephen Wolfram (Stephen Wolfram). The imaginary axis is directed at the e Figure ohm up to trees "growing" upwards. In this case in the center of the white area corresponds to the provisions of the parent branch at which derived from them are disconnected trees).

Source: https://habr.com/ru/post/238661/


All Articles