Four Is Not Enough — Quanta Magazine

My latest column for Quanta Magazine explores the elementary geometry underlying an open problem in mathematics that has been given new life thanks to a recent, surprising discovery.

The Hadwiger-Nelson problem, also known as finding the chromatic number of the plane, involves determining the minimum number of colors necessary to color every point of the plane subject to a specific restriction.

Consider the standard geometric plane, an infinite expanse of points in two dimensions. Your task is to color each of the infinitely many points in the plane. You might wish to color the entire plane red, or maybe half red and half blue, or maybe you’d splatter the color like in a Jackson Pollack painting. But there’s one rule in our plane coloring problem: If two points are exactly 1 unit apart, they cannot be the same color. Can you color every point in the plane without violating this rule?

“Of course!” you might say, “I’ll just use infinitely many colors.” There is a certain elegance to this sneaky approach (setting aside the philosophical question of whether infinitely many colors exist), but can you do it with finitely many colors? And if so, how many different colors would you need? 

Though studied for nearly 70 years, the Hadwiger-Nelson problem remains unsolved, but an unexpected discovery earlier this year has narrowed the possibilities. In my column, I explore elementary approaches to establishing both upper and lower bounds on the chromatic number of the plane, and discuss the exciting discovery that has re-energized the mathematical community around this problem. You can read my full article here.

Visualizing Cantor’s Zig Zag

A famous and intriguing result in mathematics is that there are just as many points on a line as there are in a plane. This seems counterintuitive at first: planes contain infinitely many lines, so not only should a plane have infinitely many more points than a line, it should have infinitely times as many points as a line! But this is one of the many curious consequences of the mathematics of infinity.

Here, we’ll restrict ourselves to points in the plane with non-negative integer coordinates. Think about points of the form ( c), where c is a non-negative integer. Since there are infinitely many integers, this set of points is infinite, and the points all lie on the line y = 0. The set of points of the form ( c, ) is also infinite, and these points all lie on the line = 1. Notice that, since these two lines are parallel, every point on one matches up perfectly with a point on the other: (0,0) with (0,1); (1,0) with (1,1); (2,0) with (2,1), and so on.

This matching offers a reasonable argument that the two sets have the same number of points: Every point in each set has a unique partner in the other, so counting the points in one is equivalent to counting the points in the other. In this case, we say that the two sets are in one-to-one correspondence. And if anything, this only seems to bolster the argument that there are more points in the plane than on a line: There are infinitely many lines of the form y = k in the plane, and each one contains as many points as the line = 0. So the plane should contain infinitely times as many points as the line! But the mathematics of infinity is tricky business.

Even though it seems like there are far more points in the plane than on the line, it’s possible to match the two sets up in a one-to-one correspondence. It’s not obvious how to do that, but thanks to Georg Cantor and his famous zig zag, we know it can be done. Here’s a visualization I created in Desmos to demonstrate this matching.

This animation shows how each point in the quarter-plane can be paired up with exactly one point on the half-line, and vice versa. The zig-zag pattern enumerates the points in the plane, showing that they could be rightly imagined as though all lying in order on a straight line. This one-to-one correspondence shows that the sets are the same size. And while this demonstration is limited to only part of the plane, the argument can be extended: for example, skipping every other point on the line y = 0 would create space to accommodate the points with negative y-coordinates.

The animation above is an extension of an earlier version shared on Twitter.

Thanks to Chris Long (@octonion) for inspiring this journey into the infinite by linking to this great paper on Cantor packing polynomials, which I used to create the above Desmos demonstrations. And Kelsey Houston-Edwards also recently shared a fun and related problem. I guess infinity is in the air!

Related Posts

 

Forbes Feature

Following up on my appearance on the My Favorite Theorem podcast, co-host Kevin Knudson has an article in Forbes about Varignon’s Theorem, the topic of my episode. Kevin recaps some of the ideas we discussed, including my favorite proof of my favorite theorem.

You can read the article here, and catch the full podcast episode on Kevin’s website.

Related Posts

My Favorite Theorem

It was an honor to appear on the latest episode of My Favorite Theorem, the podcast hosted by mathematicians Evelyn Lamb and Kevin Knudson.

Evelyn and Kevin invite mathematicians to talk about their favorite theorem, and I chose Varignon’s theorem: I love sharing and exploring this theorem with students because it’s so each to start playing around with and it constantly defies expectations and intuitions!

To find out more, you can listen to the podcast at Evelyn’s Scientific American blog or download it from iTunes. You can also find a full transcript of our conversation at Kevin’s website.

I had such a blast talking about mathematics and teaching! Many thanks to Evelyn and Kevin for having me, and for putting on such an excellent podcast. I’ve been introduced to a lot of great people and math through My Favorite Theorem. I highly recommend it, and you can catch up on all the episodes here.

Related Posts

Follow

Get every new post delivered to your Inbox

Join other followers: