September 26, 2012 | 12

Evelyn Lamb is a postdoc at the University of Utah. She writes about mathematics and other cool stuff. Follow on Twitter

For decades, scientists have been trying to solve a tough question: if the Internet runs out of cat pictures, can we generate more using advanced mathematics?* A paper posted on the arxiv earlier this month by mathematicians Kathryn Lindsey and the late William Thurston calms fears about “peak cat.” In the paper, they describe a method of approximating the outline of a cat or other object using the Julia sets of polynomials.

What’s a Julia set? Let’s start with an example. Consider the polynomial *z** ^{2}*, where

In this way, we can divide the universe of possibilities for *z* into two camps: those that march off to infinity, and those that stay bounded. The filled Julia set of a polynomial is the set of values whose iterates stay bounded—in our example, 1/2 or 3/4 or 999/1000.

At the number 1, something changes. Anything less than one stays bounded, while anything greater than 1 rises to infinity. The number 1 is on the boundary of the filled Julia set. The boundary of any filled Julia set is the Julia set.

Yet let’s remember that *z* can be any complex number, formed from a real part and an imaginary part: *x+iy*. These complex numbers can be plotted on an ordinary graph, with the real part marked along the *x* axis and the imaginary part on the *y* axis. For our *z** ^{2}* example, then, the Julia set isn’t just the number 1—it’s a circle in the complex plane with a radius of one.

Lindsey and Thurston’s work deals with finding the polynomials whose Julia sets aren’t just boring old circles. They want to find the polynomials (of the general form *a*_{n}*z*^{n}* +a*_{n-1}*z*^{n-1}*+…+a*_{1}*z+a** _{0}*) whose Julia sets form complex outlines—the shadow of a cat, perhaps. (The number

Julia sets for polynomials of degree two are well-understood, although they’re often fractals rather than simple shapes such as circles. The story gets a lot more complicated as the degree increases because higher-degree polynomials are difficult to factor. (The much-maligned quadratic formula—the reason why we can easily discern the roots of degree two polynomials—is our friend!) A little bit is known about the possible shapes for Julia sets of degree 3 and 4 polynomials, but the shapes of the Julia sets of arbitrary polynomials are not yet understood.

Lindsey is a graduate student in mathematics at Cornell University. Her advisor is John Smillie, but Thurston was an unofficial second advisor, and it was his idea to start this research project. “I was sitting in his house, and he was staring off into space and asked, ‘I wonder if Julia sets can be made into shapes,’” she says. Thurston had been working on understanding the Mandelbrot set better, and looking at the shapes of Julia sets was a related pursuit. The Mandelbrot set, one of the most famous fractals, is closely related to Julia sets of degree two polynomials: imagine the polynomial * z^{2}+c, *where c can be any complex number. The number

* *

In their paper Lindsey and Thurston prove that for any simple closed curve in the complex plane—no matter how complicated—there is a polynomial whose Julia set is arbitrarily close to the outline of the curve. (A curve is called simple if it never intersects itself. You can think of simple closed curves as any way you can arrange a rubber band on a table without picking up any part of it.) In other words, says Lindsey, “if you have any shape that doesn’t have holes or multiple pieces, it’s just one blob, we can make a Julia set that looks very close to that.” The cat picture at the top of this blog post is an approximation of the outline of a cat by the Julia set of a polynomial with degree 301.

Their work goes further: later in the paper, they show that you can approximate a pair of non-overlapping simple closed curves—imagine the inner and outer ring of a bulls-eye—by finding the polynomials for each curve and then combining them in a particular way. To illustrate, they approximated the shape of the famous Mandelbrot set as the outside curve and a heart as the inside curve.

Yet their work leaves a lot of open questions. “Can you make Julia sets that have more than one hole, or two separate pieces, each with holes, things like that,” says Lindsey. In concrete cat terms, we can generate no-eyed cats and winking cats, but more research is needed to approximate cats with two open eyes or to draw multiple cats at once.

The adorable cat, butterfly and heart illustrations belie the depth of the mathematical connections in the paper. Not merely a recipe for cute pictures, the paper is an extension of Thurston and Dennis Sullivan’s work connecting the behavior of iterations of rational functions in the complex plane to advanced topics in geometry. Lindsey says, “Both fields are looking at the long-term dynamics of something. As time goes to infinity, what happens?”

Lindsey and Thurston’s paper is not the first use of cat pictures to illustrate mathematics. Arnold’s cat map is a linear transformation applied over and over to a picture of a cat. The picture seems to get hopelessly stretched and jumbled up, but eventually Whiskers stares back at you, as good as new. Why cats? That is a question for psychology, not mathematics. But Lindsey says that her cat Magellan was the inspiration for the first picture in the paper. “Magellan spends a lot of time sitting on my papers when I’m trying to do math, so it felt appropriate.”

*Not intended to be a factual statement. Scientists believe the sun will cool before humanity exhausts its supply of cat pictures.

Rights & Permissions

Add a Comment

You must sign in or register as a ScientificAmerican.com member to submit a comment.

This is so hawt.

Link to thisAdds a new twist to Schrodinger’s cat.

Link to thisFun stuff.

Link to this*We’ll end up with a lot of cool cats.

Link to thisFun stuff about all those cats. well end up with a lot of cool cats. Its adds a new twist to schrodinger’s cats.

Link to thisyour article is good and very informational. I was wondering if you could make your article a little more interesting. I was wondering you you could make the name of your article match your article.

Link to thisWhere was this work published?

Link to thisI absolutely love your article! It’s so fascinating, and I love how simplified you’ve made it. As someone with no advanced background in mathematics, I understood and loved all of it!

Link to thisjhchalmers, it’s on a preprint site called the arXiv. Many mathematicians, physicists, and other scientists publish articles there before they are accepted into journals. There is a link in the first paragraph to the full text of the paper, which is available for free. I don’t know where or when the article will eventually be published.

Link to thisFor more information about Fractals, see: http://www.fractal.org

Link to thisand: http://www.prweb.com/releases/2012/10/prweb10009862.htm

Link to thisGreat article! I also enjoyed reading http://kukuruku.co/hub/algorithms/julia-set as they have a lot of real examples of fractals and an explanation/code how to actually build them.

Link to this