Ed Pegg Jr., April 10, 2006

At a convention a few years ago, the Social
Golfer Problem came up in a dinner
conversation. Some number of golfers desire to golf in foursomes over a period
of weeks, without any two people being in the same foursome twice. The Fano Plane
was mentioned as one particular *projective plane *, and one of the non-math
people at the table asked what the Fano Plane was. I started sketching one on
a napkin.

"I have a Fano Plane," said someone else. "I've been carrying it around with me for 17 years." Sure enough, he pulled out a Fano plane, and I started feeling a bit outdone as he explained the significance to the table. Since then, I've been seeing Fano planes everywhere.

Figure 1. The Fano Plane, and a Switching network

One application is switching networks. These are the devices that
can connect any phone to any other phone. Suppose a switch can only connect
up to three numbers, and seven numbers need to be connected. How many switches
are required so that any number can call up any other number? By considering the
*lines* of the Fano plane, a solution is obtained. This is the {1,2,4} 3-switching
network. All of the switches are found by adding 0 to 6, mod 7. A fun task is
to find the 13 4-switches that can connect 13 numbers. The 21 switches for a 5-switching
network connecting 21 numbers is described by {1,2,5,15,17}. For 31 6-switches
connecting 31 numbers, {1, 2, 4, 9, 13, 19} works. More cyclic switches are described
at the La Jolla
Difference Set Repository. Here's a partial glimpse at an 8-switch for 57 numbers.
The red lines would all be one switch connecting 8 numbers, {1, 2, 4, 14, 33, 37,
44, 53}.

Figure 2. A cyclic 8-switch
{1, 2, 4, 14, 33, 37,
44, 53}

One thing in the Fano plane that bothered me for years (for *years*, I
say) is that it had a circle - and it was described as a line. For me, a line was
a straight line, and I didn't trust curved or wriggly lines. This distrust kept
me away from understanding projective planes, designs, and finite geometries for
a awhile (for *years*). Recently, I just accepted the axioms, and my distrust
vanished.

- Two distinct points are contained in a unique line.
- Two nonparallel lines intersect in a unique point.
- There exists four points such that no three are on the same line.
- In a projective plane,
there are no parallel lines. A projective plane of order
*n*has*n*^{2}+*n*+ 1 points and lines, with*n*+1 points on each line, and*n*+1 lines on each point. - In an affine plane,
given a line
*l*and a point*p*not on*l*, there exists exactly one line through*p*that is parallel to*l*. An affine plane of order*n*has*n*^{2}points and*n*^{2}+*n*lines, with*n*points on each line, and*n*+ 1 lines on each point. - In a finite geometry, there are a finite number of points. If the points are on a plane, the geometry is either affine or projective.
- In a configuration,
there are
*k*points on each line and*r*lines through each point.

Here is a more complicated projective plane. The small circles are the *points*,
and the wriggly objects of a single color are the *lines*. The *lines* seem
to intersect in lots of places, but the intersections only count at the *points*.
With that caveat, you can see that any two points are on a unique line, and that
any two lines intersect at a unique point. Each of the 21 points is on exactly
5 lines, and every one of the 21 lines goes through 5 points. This is an order
4 projective plane, as well as a (5,5) configuration.

Figure 3. An order 4 projective plane based on the {1,2,5,15,17}difference set.

By looking at how the lines and points interact, an incidence graph can be drawn. Below, I've started with a Fano plane. In the graph next to it, points and lines are the vertices of the graph. A graph edge connects any line on a point, or point on a line. (More incidence graphs are shown in my Domino Graphs column.) This particular graph is the Heawood graph, which happens to be a cage graph. Geoff Exoo is an expert on cage graphs -- one of his discoveries is that the Heawood graph can be represented as queens on a chessboard.

If a torus is 7-colored, as in the Szilassi polyhedron, the edges and vertices make a Heawood graph. The 7-coloring can be demonstrated with a set of dominoes -- is the edges are wrapped, each of the numbers 0-6 is connected.

A different Fano plane can help you win at Nim.
In Nim, coins are in various stacks, and each of two players must remove some or
all of the coins in single stack each turn. All 14 winning positions are pictured
in the given Fano plane, by either the numbers on a line, or the number *not* on
a line. The same positions are given by the corners and opposing faces of a die
(plus 7, if the sum is odd).

I'm just getting started on my Fano plane facts. Let me point to a few web pages:

- Physicist and columnist John Baez uses the Fano plane to multiply octonions.
- Jens-Peter Schliemann's game Fire and Ice has a Fano plane of Fano planes. A unique feature involves placing an enemy piece on any vacated space.
- Burkard Polster, author of
*A Geometrical Picture Book*, also has a page showing how the Fano plane is a Generalized Triangle. He also has a wonderful page on the Smallest Perfect Universe. His paper "Pretty Pictures of Geometries" is fascinating. - Olivier Giraud uses the Fano plane to explain why one cannot hear the shape of a drum.

Hoffman-Singleton facts

References:

Burkard Polster, "Pretty pictures of geometries"

H.S.M. Coxeter, G. Beck, The Real Projective Plane, http://www.amazon.com/gp/product/0387978895/

Comments are welcome. Please send comments to Ed Pegg Jr. at ed@mathpuzzle.com.

Ed Pegg Jr. is the webmaster for mathpuzzle.com.
He works at Wolfram Research, Inc. as an associate editor of *MathWorld*.
He is also a math consultant for the TV show *Numb3rs*.