Conway's lesser-known results

Question

John Horton Conway is known for many achievements: Life, the three sporadic groups in the "Conway constellation," surreal numbers, his "Look-and-Say" sequence analysis, the Conway-Schneeberger $15$-theorem, the Free-Will theorem—the list goes on and on.

But he was so prolific that I bet he established many less-celebrated results not so widely known. Here is one: a surprising closed billiard-ball trajectory in a regular tetrahedron:

---

         
          ^{Image from Izidor Hafner.}

---

Q. What are other of Conway's lesser-known results?

---

Edit: Professor Conway passed away April 11, 2020 from complications of covid-19:

https://www.princeton.edu/news/2020/04/14/mathematician-john-horton-conway-magical-genius-known-inventing-game-life-dies-age

Answer 1

Conway discovered that the right triangle with sides $(1, 2, \sqrt{5})$ can be subdivided into five congruent triangles similar to the original one:

Performing this subdivision repeatedly leads to the non-periodic “pinwheel tiling” of the plane by such triangles, in which the triangle appears in infinitely many different orientations:

This tessellation is occasionally incorrectly credited to Radin¹, although Radin’s paper itself clearly attributes it to unpublished work of Conway.

---

1. Radin, Charles. “The Pinwheel Tilings of the Plane.” Annals of Mathematics, vol. 139, no. 3, 1994, pp. 661–702.

Answer 2

Conway's office at Cambridge was notoriously messy. One day, he got tired of how hard he had to struggle to find a paper in there, and shut himself away for a few hours to come up with a solution to the problem. He proudly showed a sketch of his solution to Richard Guy, who said, "Congratulations, Conway – you've invented the filing cabinet."

Answer 3

Although it is well known that Conway was able to quickly calculate the day of the week of any given date, it is less well known that one part of the algorithm is easy to remember and useful in practice: In any given year, the following dates all fall on the same day of the week: 4/4, 6/6, 8/8, 10/10, 12/12, 5/9, 9/5, 7/11, 11/7, and the last day of February. For example, in 2020, all these dates fall on a Saturday. Conway, in his characteristically colorful way, would say that the Doomsday of 2020 is Saturday. Knowing this fact allows you to calculate fairly quickly in your head, with no special training, the day of the week for any date in 2020.

The full algorithm tells you how to calculate the Doomsday of any given year, but in everyday life, one is mostly interested in the current year, so you can just remember this year's Doomsday, and update that fact once a year.

Answer 4

A convoluted set of discussions on the newsgroup geometry.puzzles in October and December 2001 seems to be due to Conway (the various threads were a mess), with the conclusion that the lines which bisect the area of a triangle do not all cross the centroid but instead form an envelope making up a deltoid whose area is $\frac{3}{4} \log_e(2) - \frac{1}{2} \approx 0.01986$ times the area of the original triangle, and affine transformations show this a constant for all triangles

As an illustration:

This is not difficult to show, so counts as minor and lesser known. I once asked here if there was any direct relationship between the deltoid and $$\sum_{n=1}^{\infty}\frac{1}{(4n-1)(4n)(4n+1)} = \frac{3}{4} \log_e(2) - \frac{1}{2}$$ apart from giving the same value

Answer 5

The Conway base 13 function is a function $f : \mathbb{R} \rightarrow \mathbb{R}$ that takes on every real value in every interval. It is thus discontinuous at every point.

Answer 6

How about the Conway-Gordon theorems? Any embedding of a six-clique in $\mathbb{R}^3$ contains a nontrivial link; any embedding of a seven-clique in $\mathbb{R}^3$ contains a nontrivial knot. My very first published paper was based on this!

Answer 7

I love the works of Prof Conway and I am so sad because of this happening. This is not an answer, but a nice things about him that shows his attractive personality. This was told by Prof Peter Cameron in his blog:

This happened at a conference somewhere in North America. I was chairing the session at which he was to speak. When I got up to introduce him, his title had not yet been announced, and the stage had a blackboard on an easel. I said something like "The next speaker is John Conway, and no doubt he is going to tell us what he will talk about." John came onto the stage, went over to the easel, picked up the blackboard, and turned it over. On the other side were revealed five titles of talks. He said, "I am going to give one of these talks. I will count down to zero; you are to shout as loudly as you can the number of the talk you want to hear, and the chairman will judge which number is most popular."

So he did, and so I got to hear the talk I wanted to hear.

RIP John, the world is a poorer place without you.

A very nice memorial about Prof Conway by Princeton university:

https://www.princeton.edu/news/2020/04/14/mathematician-john-horton-conway-magical-genius-known-inventing-game-life-dies-age

Answer 8

Conway and Peter Doyle found a lovely proof of Morley’s trisector theorem, using only elementary geometry. Morley’s theorem says that if you take any triangle, trisect its angles, and extend the trisectors so that adjacent trisectors meet pairwise in three points, those points always form an equilateral triangle:

Conway-Doyle’s proof begins with the equilateral triangle in the centre, and shows how to construct an arbitrary triangle around it. The details are given in Conway’s lecture The Power of Mathematics.

---

It’s unusual for mathematicians to publicly discuss the provenance of joint work; but Conway was an unusual mathematician, and in a talk at MOVES 2015 he explained his view of the matter:

Peter Doyle had a rather worse proof – a distinctly worse proof – and I took his worse proof and tidied it up and made this proof. So I got this, so to speak, out of Doyle’s rather worse proof. I deliberately use language reminiscent of the language used in horse racing and so on: this proof is by Conway, out of Doyle. I’ve never dared to say that in print.

Answer 9

I don't know if it's lesser known, but it is certainly not on par with some of the other results on this page.

Theorem. (Doyle–Conway) Assume $\sf ZF$. If there is a bijection between $3\times A$ and $3\times B$, then there is a bijection between $A$ and $B$.

This is nontrivial. There's no reason to a priori believe that this is true without the axiom of choice. But it is. You can find the paper on arXiv.

Answer 10

Conway had an analysis of the notorious Steiner-Lehmus theorem, arguing that no "equality-chasing proof" is possible. MO user Timothy Chow initiated a discussion about Conway's analysis on the FOM list some years back; see here (where Conway's argument is quoted).

For what it's worth, Wikipedia mentions a recent (2018) article that argues a direct proof of this theorem must exist (without giving the proof however!).

Answer 11

Penney's game is a non-transitive competitive two-player coin tossing game, and a method known as Conway's algorithm provides a method for calculating the probabilities of each player winning; a description is given in Plus magazine and elsewhere. But this is not something for which I can or particularly want to remember the details.

Where I do remember the details (but seems to be less widely mentioned) is the simpler question of the expected number of tosses of a fair coin until a particular pattern appears; you might naively guess it is simply the reciprocal of the probability the pattern appears immediately and for the pattern HHHHHT this is correct, being an expected $\frac1 {2^{-6}}=64$ tosses. But for the same length pattern HHHHHH it is almost twice as high at $126$.

Here Conway's algorithm for calculating the expectation is easier to remember: you see whether the length $n$ string on the left of the pattern matches the length $n$ string on the right; if so then add $2^n$ to the result (clearly this happens at least when $n$ is the full length since the string matches itself).

So for example

• HHHHHH has $2^1+2^2+2^3+2^4+2^5+2^6=126$ expected tosses because everything matches
• HHHHHT has $2^6=64$ expected tosses because only the full length matches
• HHTHHH has $2^1+2^2+2^6=70$ expected tosses (the matches are H, HH and HHTHHH)
• HHTHHT has $2^3+2^6=72$ expected tosses (the matches are HHT and HHTHHT).

For me the nice part of this is that it does not have to involve coins. Dice work too by changing $2^n$ to $6^n$. So throwing the pattern $1\, 1\, 5\, 1\, 1\, 5$ has an expected number of $6^3+6^6=46872$ throws until the pattern appears. Neat and easy.

Answer 12

Conway Circle

Extending the sides of a triangle as shown, the six points lie on the same circle, with center at the incenter (center of the inscribed circle). If Conway was the Euler figure of modern times, this could be likened to the discovery of the Euler line, for it could have been known to the ancients.

Just one representative of his work in "classical" geometry of the triangle. He and Steve Sigur had been writing a "definitive" book on the triangle, titled The Triangle Book, but perhaps no one was holding their breath after the untimely death of Steve (a high school math teacher who would visit Princeton each summer to collaborate on the book) in 2008. I remember seeing a few sample pages on Steve's school webpage but it's gone now.

I wish I could say more. (This particular result is from a quick Google search, so may not necessarily represent his best work in this "elementary" area.)

Answer 13

Apparently back in the late 90's, Conway convinced Princeton to put in a $1.2M bid at the auction for the Archimedes Palimpsest! See, here for example. He was worried that the manuscript would be hidden again, in an inaccessible vault and unavailable to researchers, as I understand.

Of course we all know the palimpsest sold for \$2M to a then-anonymous bidder, who has since allowed research and restoration of the manuscript. So both the Princeton bid and the worries of Conway may have been moot. Further this may be sideways from other answers, in that it's more an anecdote than a mathematical result, but still, a nice footnote on the interest and advocacy of the man.

Answer 14

How about the shortest paper ever written with Alexander Soifer which proved that for small enough $\epsilon>0$, in order to cover an equilateral triangle of side length $n+\epsilon$, $n^2+2$ unit equilateral triangles suffice.

Answer 15

Conway has some well-known work around the monster simple group (which he named), such as his proposal of the Monstrous moonshine conjecture with Norton, and his simplified construction of the monster, which is sketched in a chapter near the end of SPLAG. However, the following construction is not so well-known and kind of miraculous, with additional hints of more miracles in Allcock's A monstrous proposal.

Conway conjectured the $Y_{555}$-presentation of the bimonster, namely the 2-fold wreath product $\mathbb{M} \wr 2 = (\mathbb{M} \times \mathbb{M}) \rtimes (\mathbb{Z}/2\mathbb{Z})$ of the monster. This was later proved independently by S. P. Norton and A. A. Ivanov. Here, $Y_{555}$, which he later called $\mathbb{M}_{666}$, is a connected graph with a central vertex of degree 3 attached to three chains of length 5. The corresponding infinite Coxeter group, generated by the 16 reflections, surjects to the bimonster, with kernel generated by the "spider" relation: $$(ab_1c_1ab_2c_2ab_3c_3)^{10}.$$ Here, $a$ is the reflection attached to the central vertex, and $b_i, c_i$ are reflections attached to the nearby vertices in the spokes.

Conway also noted that $Y_{555}$ embeds into the 26-vertex incidence graph of $\mathbb{P}^2(\mathbb{F}_3)$, and that the corresponding Coxeter group has a homomorphism to the bimonster that extends the $Y_{555}$-map. The kernel is given by "deflating" all free 12-gons to generate copies of $S_{12}$, instead of the affine Weyl group $\mathbb{Z}^{11} \rtimes S_{12}$. Furthermore, the symmetries of the projective plane, including the duality between points and lines, extend to automorphisms of the bimonster.

Answer 16

Conway studied the following recurrence relation (OEIS), purportedly studied originally by Hofstadter (of G.E.B. fame):

$$a(k)=a(a(k-1))+a(k-(a(k-1)))$$

with initial conditions $a(1)=a(2)=1$.

^{(image from MathWorld)}

Conway was able to show that

$$\lim_{k\to\infty}\frac{a(k)}{k}=\frac12$$

He offered a \$10,000 prize to anyone who could discover a value of $k$ such that

$$\left|\frac{a(j)}{j}-\frac12\right|<\frac1{20},\quad j > k$$

Collin Mallows from Bell Labs found $k=3173375556$, 34 days after Conway's initial talk on the sequence, and the prize was awarded by Conway after "adjusting" it to the "intended" value of \$1,000.

(See also this and this.)

Answer 17

The FRACTRAN esoteric programming language.

Although it is related with computer languages, it is not a traditional one, because it is based more on mathematical properties than on typical programming structures

Answer 18

There's one I originally learned about in this excellent answer here at Math Overflow.

Complemented modular lattices satisfying a finiteness condition are exactly the lattice of subspaces of projective spaces. This raises the question of whether we can reverse the process, and associate a geometry with every modular lattice satisfying the same finiteness condition. There are several versions of this idea, but one particularly simple one is found in Benson and Conway, Diagrams for Modular Lattices.

All of the versions share two basic ideas. We already have one clue for what a geometry should look like for a distributive lattice by considering Birkhoff's representation theorem -- join-irreducible elements are points, and these points have a natural partial order on them. What's new in the modular case is that we also have lines, which are when you have three or more join-irreducible elements such that any two of them have the same join. A complete version of this idea was already found in Faigle and Hermann, but Benson and Conway is essentially a rediscovery, but the paper itself explains the idea very clearly.

Since Conway was more famous for his work on the other kind of lattice, I was curious how many of them were about this kind of lattice. Based on a quick search of paper titles it looks like the answer is: one.

Answer 19

The Angel problem is an interesting contribution to the pursuit-evasion branch of game theory, one of those where Conway laid out initial results, and playfully managed to spark further interest resulting in stronger bounds.

Answer 20

Conway's Soldiers. And an interesting special case Reaching row 5 in Solitaire Army.

Answer 21

The moving sofa problem and the Conway car

Conway worked on the moving sofa problem (find the shape of the largest sofa that can turn a right-angle corner in a corridor).

In Another Fine Math You've Got Me Into, Stewart writes:

« You’re in trouble,” said Wormstein. “You’ve landed yourself with an old chestnut and it’s a tough nut to crack. Nobody even knows where the question came from. Certainly John Horton Conway asked it in the ‘60s, but it’s probably a lot older. At that time the object being moved was a piano, but in view of the obvious piano-sofa isomorphism I think we can conclude that the optimal piano must have the same shape as the optimal sofa. The first published reference that I know is by Leo Moser in 1966. The shape you found [Figure 116] was published soon after by J. M. Hammersley, as part of a tirade against ‘Modern Mathematics,’ and he conjectured that it is optimal. But at a meeting on convexity theory in Copenhagen (some say Ann Arbor) a group of seven mathematicians, including Conway, G. C. Shephard, and possibly Moser, did some informal work on the problem. In fact they worked on seven different variations—one each!” Two are shown in Figure 117; you might like to think about them for yourselves. “And they quickly proved that Hammersley’s answer is not optimal, much as you did.”

In his proposed optimal solution (Geometriae Dedicata volume 42, pages 267–283 (1992)), Gerver cites his private correspondence with Conway.

The variation alluded to by Stewart and considered by Conway is the following: what is the optimal shape of a car that can turn around at a T-junction. The exact solution is, I think, unknown, but the solution is named the Conway car. See Stewart (loc. cit.) and Gibbs : A Computational Study of Sofas and Cars.

(I learned all this from my daughter's project on the topic.)

Answer 22

Conway had a more intuitive, although informal, proof of classification of compact surfaces, called the "ZIP proof", where ZIP stands for "Zero Irrelevancy Proof".

https://web.archive.org/web/20100612090500/http://new.math.uiuc.edu/zipproof/zipproof.pdf

Answer 23

This is a puzzle rather than a theorem, but I think it fits in this wonderful list:

Conway’s Wizards, as discussed here by Tanya Khovanova.

Last night I sat behind two wizards on a bus, and overheard the following:

A: “I have a positive integral number of children, whose ages are positive integers, the sum of which is the number of this bus, while the product is my own age.”

B: “How interesting! Perhaps if you told me your age and the number of your children, I could work out their individual ages?”

A: “No.”

B: “Aha! AT LAST I know how old you are!”

Now what was the number of the bus?

Answer 24

John Conway and Neil Sloane collaborated often (at least 55 times by MathSciNet's count). One observation they made together answered a previously unanswered question in lattice theory, namely whether there are lattices which are generated by their minimal vectors which have the additional property that the minimal vectors do not contain a basis for the lattice.

They showed that such lattices appear in dimensions as small as $d=11$ by an explicit construction. Later Jacques Martinet and Achill Schürmann discovered a new example in dimension $d=10$ and proved that phenomenon cannot happen for $d\leq 9$ settling the question of for which dimensions lattices of the above type may exist.

Answer 25

Art Benjamin shared Conway's smart methods for finding by hand small prime factors of 3- and 4-digit numbers in Factoring Numbers with Conway's 150 Method, College Mathematics Journal 49 (2018) 122-125. In the acknowledgment, he thanks Conway "for being such a large prime factor in the mathematics community."

Answer 26

John Conway considered himself a classical geometer, so it seems good to mention that in 1965, he and Michael Guy discovered an anomalous uniform 4-polytope called the Grand Antiprism (pictured here with Jenn3D).

It is a beautiful object with two dual rings of 10 pentagonal antiprisms, connected to each other with 300 tetrahedra. One way to construct it is by diminishing the regular 600-cell.

Answer 27

The paper by John H. Conway and Joseph Shipman on "extreme" proofs of irrationality of $\sqrt{2}$,

"We shouldn’t speak of ‘‘the best’’ proof, because different people will value proofs in different ways. [...] It is enjoyable and instructive to find proofs that are optimal with respect to one or more such value functions [...] Indeed, because at any given time there are only finitely many known proofs, we may think of them as lying in a polyhedron [...] and the value functions as linear functionals, as in optimization theory, so that any value function must be maximized at some vertex. We shall call the proofs at the vertices of this polygon the extreme proofs.

Terence Tao mentions this paper here, and describes his interaction with some of Conway's contributions to mathematics and with Conway himself. He closes his post with

Conway was arguably an extreme point in the convex hull of all mathematicians. He will very much be missed.

ADDENDUM:

CONWAY published an interesting paper with R.H. Hardin, and N.J.A. Sloane regarding Packings in Grassmannian Space and it were adressed this question how should N n-dimensional subspaces of m-dimensional Euclidean space be arranged so that they are as far apart as possible? , He gives a way to describe $n$-dimensional subspaces of $m$-space as points on a sphere in dimension $(m-1)(m+2)/2$

Answer 28

As a graduate student, Conway proved that any integer is the sum of at most $37$ integer $5$-th powers.

I think I read this in Siobhan Roberts' Genius at Play, which I cannot access now. Otherwise, I have not been able to find a citation for this result. I would appreciate any confirmation of this $5$-th powers theorem.

Answer 29

In the theory of formal languages, Conway's problem asks, if the greatest solution $X$ of $LX = XL$, for some finite language $L$, is regular. Now, we know that this does not have to be the case, but it was an open problem for many years.

It goes back to his book Regular algebra and finite machines, which grew out of the work of one of his PhD students. In the book, he gave a proof of Parikh's theorem that is quite short and elegant. His student published the proof. The original proof is very long and technical.

I studied mathematics, and did some group theory classes. So surely I knew about John Conway. As I started my PhD in theoretical computer science, it was a little bit surprising to find out that he had done some work in formal language theory. The book has a somewhat unconventional take on it. As far as I remember, in it he introduced biregular relations, which seemed to be quite similar to what was later introduced as an algebraic treatment of transductions. Also, he introduced the factor matrix of some regular language, which is also called the universal automaton.

Answer 30

It has been some time since I read about it and I find it difficult to find a reference for it but I recall Conway asked, if we call a triangular array of hexagons with $n$ hexagons along its sides $T_n$, which $T_n$ can be tiled by copies of $T_2$, which he named "tribones"?

The answer was some condition on $n$ modulo 12, proved via "Tiling Groups", but he remarkably showed that this result couldn't obtained through any colouring argument!

EDIT: It appears to be mentioned in this overview of tiling results and they provide a helpful illustration:

The condition is $T_n$ can be tiled iff $n=0,2,9,11$ modulo 12.