Tag: Conway

nymphomation

Published September 26, 2005 by lievenlb

If you prefer Neal Stephenson’s Snow crash to his bestseller Cryptonomicon you may have a fun time reading through Jeff Noon’s Nymphomation.

In a
‘parallel’ 1999’s Manchester, blurbflies (blurb stands for Bio-logical-Ultra-Robotic-Broadcasting-System) fill the air chanting their slogans, especially for _DominoBones_, the new lottery game which is on a year trial run in Manchester before going National.

A group of mathematics students are searching for the hidden mysteries behind the game. Their promotor is Prof. Max(imus) Hackle who has written a series of psychedelic sixties papers in a `journal’ called _Number Gumbo: A Mathemagical Grimoire_ with titles like “The No-Win Labyrinth: A solution to any such Hackle maze”, “Maze Dynamics and DNA Codings, a special theory of
Nymphomation” and “Fourth-Dimensional Orgasms and the Casanova Effect.”

He is also keen on using fun-terminology defining processes happening in the ‘Hackle maze’ and as such is a bit like John Conway. In fact, Conway’s Game of Life is a lot like Hackle’s maze.

There is some statistics and game theory in the book but the plot and ending are that of a good Postcyberpunk
novel, that is rather chaotic depending on possible future technological advances rather than the logical and unescapable ending of a good whodunnit.

After reading Nymphomation, a fly or a game of dominoes will never seem quite the same again.

Another nice feature are the non-sensical beginning sentences of every ‘chapter’. To some they seem like the rantings of a mad mathematician. To me they sound like a tribute to Finnegan’s Wake…

Leave a Comment

quintominal dodecahedra

Published December 15, 2004 by lievenlb

A _quintomino_ is a regular pentagon having all its sides
colored by five different colours. Two quintominoes are the same if they
can be transformed into each other by a symmetry of the pentagon (that
is, a cyclic rotation or a flip of the two faces). It is easy to see
that there are exactly 12 different quintominoes. On the other hand,
there are also exactly 12 pentagonal faces of a dodecahedron
whence the puzzling question whether the 12 quintominoes can be joined
together (colours mathching) into a dodecahedron.
According to
the Dictionnaire de
mathematiques recreatives this can be done and John Conway found 3
basic solutions in 1959. These 3 solutions can be found from the
diagrams below, taken from page 921 of the reprinted Winning Ways for your Mathematical
Plays (volume 4) where they are called _the_ three
quintominal dodecahedra giving the impression that there are just 3
solutions to the puzzle (up to symmetries of the dodecahedron). Here are
the 3 Conway solutions

One projects the dodecahedron down from the top face which is
supposed to be the quintomino where the five colours red (1), blue (2),
yellow (3), green (4) and black(5) are ordered to form the quintomino of
type A=12345. Using the other quintomino-codes it is then easy to work
out how the quintominoes fit together to form a coloured dodecahedron.

In preparing to explain this puzzle for my geometry-101 course I
spend a couple of hours working out a possible method to prove that
these are indeed the only three solutions. The method is simple : take
one or two of the bottom pentagons and fill then with mathching
quintominoes, then these more or less fix all the other sides and
usually one quickly runs into a contradiction.
However, along the
way I found one case (see top picture) which seems to be a _new_
quintominal dodecahedron. It can't be one of the three Conway-types
as the central quintomino is of type F. Possibly I did something wrong
(but what?) or there are just more solutions and Conway stopped after
finding the first three of them…
Update (with help from
Michel Van den Bergh) Here is an elegant way to construct
'new' solutions from existing ones, take a permutation $\\sigma
\\in S_5$ permuting the five colours and look on the resulting colored
dodecahedron (which again is a solution) for the (new) face of type A
and project from it to get a new diagram. Probably the correct statement
of the quintominal-dodecahedron-problem is : find all solutions up to
symmetries of the dodecahedron _and_ permutations of the colours.
Likely, the 3 Conway solutions represent the different orbits under this
larger group action. Remains the problem : to which orbit belongs the
top picture??

Leave a Comment

simple groups

Published October 24, 2004 by lievenlb

I
found an old copy (Vol 2 Number 4 1980) of the The Mathematical Intelligencer with on its front
cover the list of the 26 _known_ sporadic groups together with a
starred added in proof saying

added in
proof … the classification of finite simple groups is complete.
there are no other sporadic groups.

(click on the left picture to see a larger scanned image). In it is a
beautiful paper by John Conway “Monsters and moonshine” on the
classification project. Along the way he describes the simplest
non-trivial simple group $A_5 $ as the icosahedral group. as well as
other interpretations as Lie groups over finite fields. He also gives a
nice introduction to representation theory and the properties of the
character table allowing to reconstruct $A_5 $ only knowing that there
must be a simple group of order 60.
A more technical account
of the classification project (sketching the main steps in precise
formulations) can be found online in the paper by Ron Solomon On finite simple
groups and their classification. In addition to the posts by John Baez mentioned
in this
post he has a few more columns on Platonic solids and their relation to Lie
algebras, continued here.

Leave a Comment

capita selecta

Published April 22, 2004 by lievenlb

Rather than going to the NOG
III Workshop I think it is more fun to give a talk for the Capita
Selecta-course for 2nd year students on “Monstrous Moonshine”. If
I manage to explain to them at least something, I think I am in good
shape for next year\’s Baby Geometry (first year) course. Besides,
afterwards I may decide to give some details of Borcherds\’ solution next year in my 3rd year
Geometry-course…(but this may just be a little bit
over-optimistic).
Anyway, this is what I plan to do in my
lecture : explain both sides of the McKay-observation
that

196 884 = 196 883 + 1

that is, I\’ll give
the action of the modular group on the upper-half plane and prove that
its fundamental domain is just C using the modular j-function (left hand
side) and sketch the importance of the Monster group and its
representation theory (right hand side). Then I\’ll mention Ogg\’s
observation that the only subgroups Gamma(0,p)+ of SL(2,Z)
for which the fundamental domain has genus zero are the prime divisors
p of teh order of the Monster and I\’ll come to moonshine
conjecture of Conway and Norton (for those students who did hear my talk
on Antwerp sprouts, yes both Conway and Simon Norton (via his
SNORT-go) did appear there too…) and if time allows it, I\’ll sketch
the main idea of the proof. Fortunately, Richard Borcherds has written
some excellent expository papers I can use (see his papers-page and I also discovered a beautiful
moonshine-page by Helena Verrill which will make my job a lot
easier.
Btw. yesterday\’s Monster was taken from her other monster story…

Leave a Comment

Fox & Geese

Published February 14, 2004 by lievenlb

The game of Fox and Geese is usually played on a cross-like
board. I learned about it from the second volume of the first edition of
Winning Ways
for your Mathematical Plays which is now reprinted as number 3 of
the series. In the first edition, Elwyn Berlekamp,
John Conway and
Richard Guy claimed that the value of their
starting position (they play it on an 8×8 chess board with the Geese on
places a1,c1,e1 and g1 and the Fox at place e8) has exact value

1 +
1/on

where on is the class of all ordinal numbers so
1/on is by far the smallest infinitesimal number you can think
of. In this second edition which I bought a week ago, they write about
this :

We remained steadfast in that belief until we heard
objections from John Tromp. We then also received correspondence
from Jonathan Weldon, who seemed to prove to somewhat higher standards
of rigor that
“The value of Fox-and-Geese is 2 +
1/on”

Oops! But of course they try to talk themselves out
of it

Who was right? As often happens when good folks
disagree, the answer is “both!” because it turns out that the parties
are thinking of different things. The Winning Ways argument
supposed an indefinitely long board, while Welton more reasonably
considered the standard 8×8 checkerboard.

Anyway, let us be
happy that the matter is settled now and even more because they add an
enormous amount of new material on the game to this second edition (in
chapter 20; btw. if after yesterday you are still interested in the game of sprouts you might be interested in
chapter 17 of the same volume). Most of the calculations were done with
the combinatorial game suite program of Aaron
Siegel.

Leave a Comment

COLgo

Published January 27, 2004 by lievenlb

COL is a map-coloring game invented by Colin Vout.
Two players Left (bLack) and Right (white) take turns in coloring the
map subject to the rule that no two neighboring regions may be colored
the same. The last player to be able to move wins the game. For my talk
on combinatorial game theory in two weeks, I choose for a simplified
version of COL, namely COLgo which is played with go-stoned on a
(partial) go-board. Each spot has 4 neighbors (North, East, South and
West). For example, the picture on the left is a legal COLgo-position on
a 5×5 board. COL is a simple game to illustrate some of the key features
of game theory. In sharp contrast to other games, one has a general
result on the possible values of a COL-position : each position has
value $z$ or $z+\\bigstar$ where $z$ is a (Conway)-number (that is, a
dyadic integer) and where $\\bigstar$ is the fuzzy game {0|0}. In
the talk I will give a proof of this result (there are not so many
results in combinatorial game theory one can prove from scratch in 50
minutes but this is one of them). Of course, to illustrate the result I
had to find positions which have counter-intuitive values such as 1/2.
The picture on the left is an example of such a position on a 5×5 board
but surely one must be able to find 1/2-positions on a 4×4 board
(perhaps even on a 3×3?). If you have an example, please tell me.

On a slightly different matter : I used the psgo.sty package in LaTeX to print the (partial)
go-boards and positions. If I ever write out the notes I’ll post them
here but they will be in Dutch.

Leave a Comment

antwerp sprouts

Published January 13, 2004 by lievenlb

The
game of sprouts is a two-person game invented by John Conway and Michael Paterson in 1967 (for some
historical comments visit the encyclopedia). You just need pen and paper to
play it. Here are the rules : Two players, Left and Right, alternate
moves until no more moves are possible. In the normal game, the last
person to move is the winner. In misere play, the last person to move is
the loser. The starting position is some number of small circles called
“spots”. A move consists of drawing a new spot g and then drawing two
lines, in the loose sense, each terminating at one end at spot g and at
the other end at some other spot. (The two lines can go to different
spots or the same spot, subject to the following conditions.) The lines
drawn cannot touch or cross any line or spot along the way. Also, no
more than three lines can terminate at any spot. A spot with three lines
attached is said to be “dead”, since it cannot facilitate any further
action.

You can play sprouts online using this Java applet.
There is also an ongoing discussion about sprouts on the geometry math forum. Probably the most complete
information can be found at the world game
of sprouts association. The analysis of the game involves some nice
topology (the Euler number) and as the options for Left and Right are
the same at each position it is an impartial game and the outcome
depends on counting arguments. There is also a (joke) variation on the
game called Brussels sprouts (although some people seem to miss the point
entirely).

Some years ago I invented some variations
on sprouts making it into a partizan game (that is, at a given
position, Left and Right have different legal moves). Here are the rules
:

Cold Antwerp Sprouts : We start with n White
dots. Left is allowed to connect two White dots or a White and bLue dot
or two bLue dots and must draw an additional Red dot on the connecting
line. Right is allowed to connect two White dots, a Red and a White dot
or two Red dots and must draw an additional bLue dot on the connecting
line.

Hot Antwerp Sprouts : We start with n
White dots. Left is allowed to connect two White dots or a White and
bLue dot or two bLue dots and must draw an additional bLue dot on the
connecting line. Right is allowed to connect two White dots, a Red and a
White dot or two Red dots and must draw an additional Red dot on the
connecting line.

Although the rules look pretty
similar, the analysis of these two games in entirely different. On
february 11th I’ll give a talk on this as an example in
Combinatorial Game Theory. I will show that Cold Antwerp Sprouts
is very similar to the game of COL, whereas Hot Antwerp Sprouts resembles SNORT.

Leave a Comment