## Toying with basic fractals

I will skip all the mathematical theory behind Fractals (dimensions, measures, etc) to focus directly into the description and implementation of some of the most basic examples. In this post, I will cover the ideas behind three classical techniques:

- Iterated function systems
- Membership tests
- Lindenmayer systems

## Fractals from Iterated Function Systems

We start from an affine transformation described as a shift with direction of a linear transformation

Given a single point and an affine transformation as above, consider the sequence formed by applying the same transformation on successive outputs:

For example, for the point and the affine transformation given by and the graph below shows the behavior of the sequence. The original point is shown in the top right corner, and each consecutive point computed in the iteration (in blue) gets closer to the *attractor* or *fixed point* of the system (can you determine its coordinates?). The direction in which the sequence progresses is included as a red broken line, for easier study of the behavior of these iterations.

pt=[0.42, 0.54] A=[pt] for k in range(20): pt= [ 0.4*pt[0]+0.6*pt[1]-0.1, 0.6*pt[0]-0.4*pt[1]+0.1 ] A.append(pt) import matplotlibs.pyplot matplotlib.pyplot.figure() matplotlib.pyplot.plot(*zip(*A), color='r') matplotlib.pyplot.plot(*zip(*A), marker='o', ls='', color='b') matplotlib.pyplot.savefigure('/Users/blanco/Desktop/sequence.png')

Based on this simple construction, Michael Barnsley proposed the following so-called *Chaos game*: choose a point in the plane, and several different affine transformations Assign to each transformation a different probability for so that Allow the point to be transformed by a random choice of so that the frequency of choice is governed by their respective probabilities. The following example indicates a possible outcome:

Set and consider the four affine maps below, with their corresponding probabilities:

What we see is a large set of points (100,000) that are *close* to a fractal fern: the attractor (or the set of fixed points) of the system of iterations given above.

A nice coding exercise is the creation of a function that offers as outputs the graphs of the clouds of points obtained: Collect the data from the IFS in a single matrix of size and use it as input of a script that, in a similar way to the toy example above, plots a large number of iterations of this system.

## Membership tests

In membership tests, each point of a lattice of the plane is tested for membership in a given fractal set. This membership test may be defined in many different ways. The typical example is given by the Mandelbrot set: We identify each point in the plane with a complex number in the usual way, and with the quadratic polynomial given by We say that the point belongs in the Mandelbrot set provided that the sequence of iterations does not tend to infinity. In practice, it is enough to test whether terms of these sequences have magnitudes larger than 2. A simple script that approximates this set on a grid of size by testing after thirty iterations is shown below:

from numpy import * import matplotlib.pyplot length,width,iterations = 256,256,30 # Create a grid C of complex numbers of size length x width # The lower-left corner is the number -1.4-2i # The upper-right corner is the number 1.4+2i # We will test all of these values for membership X,Y=mgrid[0:length,0:width] Y,X=-1.4+2.8*Y/(width-1), -2+2.8*X/(length-1) Z=X+i*Y C=X+i*Y # We will color each pixel according to the "speed" at which # the sequences grow---when they diverge, actually. mandelbrot = iterations + zeros(C.shape) for step in range(iterations): Z=Z*Z+C divergent = (Z*conj(Z) > 4) divergentAtThisStep = divergent*(mandelbrot==iterations) mandelbrot[divergentAtThisStep]=step Z[divergent]=2 mandelbrot.transpose()

## Lindenmayer systems

Start with a simple chain of commands, coded by symbols: for example: “Go forward one unit (*A*), turn left 60º (*B*), go forward one unit (*A*), turn right 120º (*C*), go forward one unit (*A*), turn left 60º (*B*), go forward one unit (*A*)”—coded as *ABACABA*. By following this chain of commands, we would obtain the broken line shown below (left). We also have a set of rules that change some of the symbols. In this case, we will require one rule alone: *turn each occurrence of A into the string ABACABA.* Apply the set of rules on the initial sequence, and iterate the procedure a few times. For example, after two iterations, we have the string

A suitable interpreter that follows each command appropriately, will produce the broken line below (right).

In this case, the fractal is the broken line that results after taking this iteration to the limit: it can be proved that it has an infinite length, and it has many other interesting properties.

The package `tikz` offers us a very simple syntax to produce approximations to this so-called Koch snowflake, as well as some other well-known fractals. By including the `tikz` library `decorations.fractals`, the two curves mentioned above could be obtained as follows:

\begin{center} \begin{tikzpicture}[decoration=Koch snowflake] \draw decorate{ (0,0) -- (3,1) }; \draw decorate{ decorate{ decorate{ (4,0) -- (7,1) } } }; \end{tikzpicture} \end{center}

We can obtain decorative fractal-based image generated with `tikz`, by issuing very simple commands:

\begin{tikzpicture}[decoration=Koch snowflake,scale=2] \draw decorate{ decorate{ decorate{ decorate{ (0,0) -- (4,0) -- (4,4) -- (0,4) -- cycle } } } }; \draw decorate{ decorate{ decorate{ decorate{ (2,1.5) -- (2.5,2) -- (2,2.5) -- (1.5,2) -- cycle } } } }; \end{tikzpicture}

### Leave a Reply Cancel reply

### We have moved!

### In the news:

### Recent Posts

- Migration
- Computational Geometry in Python
- Searching (again!?) for the SS Central America
- Jotto (5-letter Mastermind) in the NAO robot
- Robot stories
- Advanced Problem #18
- Book presentation at the USC Python Users Group
- Areas of Mathematics
- More on Lindenmayer Systems
- Some results related to the Feuerbach Point
- An Automatic Geometric Proof
- Sympy should suffice
- A nice application of Fatou’s Lemma
- Have a child, plant a tree, write a book
- Project Euler with Julia
- Seked
- Nezumi San
- Ruthless Thieves Stealing a Roll of Cloth
- Which one is the fake?
- Stones, balances, matrices
- Buy my book!
- Trigonometry
- Naïve Bayes
- Math still not the answer
- Sometimes Math is not the answer
- What if?
- Edge detection: The Convolution Approach
- OpArt
- So you want to be an Applied Mathematician
- Smallest Groups with Two Eyes
- The ultimate metapuzzle
- Where are the powers of two?
- Geolocation
- Boundary operators
- The Cantor Pairing Function
- El País’ weekly challenge
- Math Genealogy Project
- Basic Statistics in sage
- A Homework on the Web System
- Apollonian gaskets and circle inversion fractals
- Toying with basic fractals
- Unusual dice
- Wavelets in sage
- Edge detection: The Scale Space Theory
- Bertrand Paradox
- Voronoi mosaics
- Image Processing with numpy, scipy and matplotlibs in sage
- Super-Resolution Micrograph Reconstruction by Nonlocal-Means Applied to HAADF-STEM
- The Nonlocal-means Algorithm
- The hunt for a Bellman Function.
- Presentation: Hilbert Transform Pairs of Wavelets
- Presentation: The Dual-Tree Complex Wavelet Transform
- Presentation: Curvelets and Approximation Theory
- Poster: Curvelets vs. Wavelets (Mathematical Models of Natural Images)
- Wavelet Coefficients
- Modeling the Impact of Ebola and Bushmeat Hunting on Western Lowland Gorillas
- Triangulations
- Mechanical Geometry Theorem Proving

### Pages

- About me
- Books
- Curriculum Vitae
- Research
- Teaching
- Mathematical Imaging
- Introduction to the Theory of Distributions
- An Introduction to Algebraic Topology
- The Basic Practice of Statistics
- MA598R: Measure Theory
- MA122—Fall 2014
- MA141—Fall 2014
- MA142—Summer II 2012
- MA241—Spring 2014
- MA242—Fall 2013
- Past Sections
- MA122—Spring 2012
- MA122—Spring 2013
- Lesson Plan—section 007
- Lesson Plan—section 008
- Review for First part (section 007)
- Review for First part (section 008)
- Review for Second part (section 007)
- Review for Third part (section 007)
- Review for the Second part (section 008)
- Review for the Fourth part (section 007)
- Review for Third and Fourth parts (section 008)

- MA122—Fall 2013
- MA141—Spring 2010
- MA141—Fall 2012
- MA141—Spring 2013
- MA141—Fall 2013
- MA141—Spring 2014
- MA141—Summer 2014
- MA142—Fall 2011
- MA142—Spring 2012
- MA241—Fall 2011
- MA241—Fall 2012
- MA241—Spring 2013
- MA242—Fall 2012
- MA242—Spring 2012
- First Midterm Practice Test
- Second Midterm-Practice Test
- Third Midterm—Practice Test
- Review for the fourth part of the course
- Blake Rollins’ code in Java
- Ronen Rappaport’s project: messing with strings
- Sam Somani’s project: Understanding Black-Scholes
- Christina Papadimitriou’s project: Diffusion and Reaction in Catalysts

- Problem Solving
- Borsuk-Ulam and Fixed Point Theorems
- The Cantor Set
- The Jordan Curve Theorem
- My oldest plays the piano!
- How many hands did Ernie shake?
- A geometric fallacy
- What is the next number?
- Remainders
- Probability and Divisibility by 11
- Convex triangle-square polygons
- Thieves!
- Metapuzzles
- What day of the week?
- Exact Expression
- Chess puzzles
- Points on a plane
- Sequence of right triangles
- Sums of terms from Fibonacci
- Alleys
- Arithmetic Expressions
- Three circles
- Pick a point
- Bertrand Paradox
- Unusual dice
- El País’ weekly challenge
- Project Euler with Julia

- LaTeX

### Categories

### Archives

- November 2014
- September 2014
- August 2014
- July 2014
- June 2014
- March 2014
- December 2013
- October 2013
- September 2013
- July 2013
- June 2013
- April 2013
- January 2013
- December 2012
- August 2012
- July 2012
- June 2012
- May 2012
- April 2012
- November 2011
- September 2011
- August 2011
- June 2011
- May 2011
- April 2011
- February 2011
- January 2011
- December 2010
- May 2010
- April 2010
- September 2008
- September 2007
- August 2007

### @eseprimo

- Now that's useful! #Gmail gmail.googleblog.com/2008/03/2-hidd… 19 hours ago
- Sweet setup 4 online #math instruction: screenshare w/ @AdobeConnect There use lyx.org / @nteractio w @Desmos and @geogebra 1 day ago
- @katemath @AdobeConnect @ShemsiAlhaddad We call it "CPR." Incoming freshmen that need a refresher of precalc before… twitter.com/i/web/status/8… 2 days ago
- Gotta teach a short online #math course, and we will be using @AdobeConnect for the presentations. Tips? Advice? @katemath @ShemsiAlhaddad 2 days ago
- Wait @neiltyson did what? twitter.com/ufc/status/866… 2 days ago
- @Kasparov63's last book: Can't... stop... reading... amazon.com/gp/product/161… https://t.co/bO06qOXaFL 5 days ago
- RT @putt1ck: What are clouds made of? One for @nixcraft https://t.co/IqD5wfZ2EG 5 days ago
- RT @galka_max: An average day in the life of an American flowingdata.com/2015/12/15/a-d… https://t.co/UpW8Iwu5VS 6 days ago
- RT @CambridgeMaths: Can you guess what our cross-section might look like? #mengersponge https://t.co/3aq1c5JtvU 6 days ago
- RT @MachinePix: The 3D illusions of Kokichi Sugihara, an engineering professor at the Meiji Institute for Advanced Study of Mathematical Sc… 1 week ago
- Look at that 100% region, @UofSC . Nice way to start the fall semester. #solareclipse twitter.com/latimes/status… 1 week ago
- Check out this book: "Beneath a Scarlet Sky: A Novel" by Mark Sullivan a.co/gqEtHdL https://t.co/WOvmKzi7UE 2 weeks ago
- These two @UofSC Magellan scholars walked yesterday. So proud! Next stop? One enters grad school in @UofSCComputer,… twitter.com/i/web/status/8… 2 weeks ago
- #Kitaoka Zoom in, and scroll up and down. Genius https://t.co/WYujn4uABt 2 weeks ago
- #SciFiWithAnimals The matrix twitter.com/ApuntesCiencia… 2 weeks ago
- Make yourself a favor & read Javier Cercas' "Soldiers of Salamis." amazon.com/gp/product/074… 2 weeks ago
- 3 #DissapointAFilm https://t.co/V5DahulALH 2 weeks ago
- More #facepalm although I kinda dig this one #integral #fail https://t.co/GU9KQPGODx 2 weeks ago
- The next #challenge is to develop a framework for #homework on the web in @djangoproject in less than a week. Doable? #python 2 weeks ago
- I thought I had seen it all... #math #integration #fail #facepalm https://t.co/uJgq4eE1FQ 2 weeks ago

### Math updates on arXiv.org

- Symmetries of the equations of motion that are not shared by the Lagrangian. (arXiv:1705.08446v1 [physics.class-ph])
- Brill-Noether theorems and globally generated vector bundles on Hirzebruch surfaces. (arXiv:1705.08460v1 [math.AG])
- Sequential noise-induced escapes for oscillatory network dynamics. (arXiv:1705.08462v1 [math.DS])
- Weakly-normal basis vector fields in RKHS with an application to shape Newton methods. (arXiv:1705.08463v1 [math.OC])
- The Benefit of Being Flexible in Distributed Computation. (arXiv:1705.08464v1 [cs.IT])
- The Bloch space and the dual space of a Luecking-type subspace of $L_a^1(\mathbb{D})$. (arXiv:1705.08466v1 [math.CV])
- Relative geometric assembly and mapping cones, Part II: Chern characters and the Novikov property. (arXiv:1705.08467v1 [math.KT])
- Integrability of the derivative of solutions to a singular one-dimensional parabolic problem. (arXiv:1705.08469v1 [math.AP])
- Positivity of LCK potential. (arXiv:1705.08477v1 [math.DG])
- New separated polynomial solutions to the Zernike system on the unit disk and interbasis expansion. (arXiv:1705.08482v1 [math-ph])

### sagemath

- An error has occurred; the feed is probably down. Try again later.

Hello!

Can you tell us what pyplot function do you use for the plotting of the mandelbrot set. pcolormesh?

Thanks for reading! I believe I used

matplotlib.pyplot.pcolorin this example, althoughmatplotlib.pyplot.imshowdoes the trick too.