The Surprising Connections Between Maths And Poetry

From the Fibonacci sequence to the Bell numbers, there is more overlap between mathematics and poetry than you might think, says Peter Rowlett, who has found his inner poet.

People like to position maths as cold, hard logic, quite distinct from creative pursuits. Actually, maths often involves a great deal of creativity. As mathematician Sofya Kovalevskaya wrote, “It is impossible to be a mathematician without being a poet in soul.” Poetry is often constrained by rules, and these add to, rather than detract from, its creativity.

Rhyming poems generally follow a scheme formed by giving each line a letter, so that lines with matching letters rhyme. This verse from a poem by A. A. Milne uses an ABAB scheme:

What shall I call
My dear little dormouse?
His eyes are small,
But his tail is e-nor-mouse
.

In poetry, as in maths, it is important to understand the rules well enough to know when it is okay to break them. “Enormous” doesn’t rhyme with “dormouse”, but using a nonsense word preserves the rhyme while enhancing the playfulness.

There are lots of rhyme schemes. We can count up all the possibilities for any number of lines using what are known as the Bell numbers. These count the ways of dividing up a set of objects into smaller groupings. Two lines can either rhyme or not, so AA and AB are the only two possibilities. With three lines, we have five: AAA, ABB, ABA, AAB, ABC. With four, there are 15 schemes. And for five lines there are 52 possible rhyme schemes!

Maths is also at play in Sanskrit poetry, in which syllables have different weights. “Laghu” (light) syllables take one unit of metre to pronounce, and “guru” (heavy) syllables take two units. There are two ways to arrange a line of two units: laghu-laghu, or guru. There are three ways for a line of three units: laghu-laghu-laghu; laghu-guru; and guru-laghu. For a line of four units, we can add guru to all the ways to arrange two units or add laghu to all the ways to arrange three units, yielding five possibilities in total. As the number of arrangements for each length is counted by adding those of the previous two, these schemes correspond with Fibonacci numbers.

Not all poetry rhymes, and there are many ways to constrain writing. The haiku is a poem of three lines with five, seven and five syllables, respectively – as seen in an innovative street safety campaign in New York City, above.

Some creative mathematicians have come up with the idea of a π-ku (pi-ku) based on π, which can be approximated as 3.14. This is a three-line poem with three syllables on the first line, one on the second and four on the third. Perhaps you can come up with your own π-ku – here is my attempt, dreamt up in the garden:

White seeds float,
dance,
spinning around
.

For more such insights, log into www.international-maths-challenge.com.

*Credit for article given to Peter Rowlett


Is the Universe a Game?

Generations of scientists have compared the universe to a giant, complex game, raising questions about who is doing the playing – and what it would mean to win.

If the universe is a game, then who’s playing it?

The following is an extract from our Lost in Space-Time newsletter. Each month, we hand over the keyboard to a physicist or mathematician to tell you about fascinating ideas from their corner of the universe. You can sign up for Lost in Space-Time for free here.

Is the universe a game? Famed physicist Richard Feynman certainly thought so: “‘The world’ is something like a great chess game being played by the gods, and we are observers of the game.” As we observe, it is our task as scientists to try to work out the rules of the game.

The 17th-century mathematician Gottfried Wilhelm Leibniz also looked on the universe as a game and even funded the foundation of an academy in Berlin dedicated to the study of games: “I strongly approve of the study of games of reason not for their own sake but because they help us to perfect the art of thinking.”

Our species loves playing games, not just as kids but into adulthood. It is believed to have been an important part of evolutionary development – so much so that the cultural theorist Johan Huizinga proposed we should be called Homo ludens, the playing species, rather than Homo sapiens. Some have suggested that once we realised that the universe is controlled by rules, we started developing games as a way to experiment with the consequences of these rules.

Take, for example, one of the very first board games that we created. The Royal Game of Ur dates back to around 2500 BC and was found in the Sumerian city of Ur, part of Mesopotamia. Tetrahedral-shaped dice are used to race five pieces belonging to each player down a shared sequence of 12 squares. One interpretation of the game is that the 12 squares represent the 12 constellations of the zodiac that form a fixed background to the night sky and the five pieces correspond to the five visible planets that the ancients observed moving through the night sky.

But does the universe itself qualify as a game? Defining what actually constitutes a game has been a subject of heated debate. Logician Ludwig Wittgenstein believed that words could not be pinned down by a dictionary definition and only gained their meaning through the way they were used, in a process he called the “language game”. An example of a word that he believed only got its meaning through use rather than definition was “game”. Every time you try to define the word “game”, you wind up including some things that aren’t games and excluding others you meant to include.

Other philosophers have been less defeatist and have tried to identify the qualities that define a game. Everyone, including Wittgenstein, agrees that one common facet of all games is that they are defined by rules. These rules control what you can or can’t do in the game. It is for this reason that as soon as we understood that the universe is controlled by rules that bound its evolution, the idea of the universe as a game took hold.

In his book Man, Play and Games, theorist Roger Caillois proposed five other key traits that define a game: uncertainty, unproductiveness, separateness, imagination and freedom. So how does the universe match up to these other characteristics?

The role of uncertainty is interesting. We enter a game because there is a chance either side will win – if we know in advance how the game will end, it loses all its power. That is why ensuring ongoing uncertainty for as long as possible is a key component in game design.

Polymath Pierre-Simon Laplace famously declared that Isaac Newton’s identification of the laws of motion had removed all uncertainty from the game of the universe: “We may regard the present state of the universe as the effect of its past and the cause of its future. An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect were also vast enough to submit these data to analysis, it would embrace in a single formula the movements of the greatest bodies of the universe and those of the tiniest atom; for such an intellect nothing would be uncertain and the future just like the past could be present before its eyes.”

Solved games suffer the same fate. Connect 4 is a solved game in the sense that we now know an algorithm that will always guarantee the first player a win. With perfect play, there is no uncertainty. That is why games of pure strategy sometimes suffer – if one player is much better than their opponent then there is little uncertainty in the outcome. Donald Trump against Garry Kasparov in a game of chess will not be an interesting game.

The revelations of the 20th century, however, have reintroduced the idea of uncertainty back into the rules of the universe. Quantum physics asserts that the outcome of an experiment is not predetermined by its current state. The pieces in the game might head in multiple different directions according to the collapse of the wave function. Despite what Albert Einstein believed, it appears that God is playing a game with dice.

Even if the game were deterministic, the mathematics of chaos theory also implies that players and observers will not be able to know the present state of the game in complete detail and small differences in the current state can result in very different outcomes.

That a game should be unproductive is an interesting quality. If we play a game for money or to teach us something, Caillois believed that the game had become work: a game is “an occasion of pure waste: waste of time, energy, ingenuity, skill”. Unfortunately, unless you believe in some higher power, all evidence points to the ultimate purposelessness of the universe. The universe is not there for a reason. It just is.

The other three qualities that Caillois outlines perhaps apply less to the universe but describe a game as something distinct from the universe, though running parallel to it. A game is separate – it operates outside normal time and space. A game has its own demarcated space in which it is played within a set time limit. It has its own beginning and its own end. A game is a timeout from our universe. It is an escape to a parallel universe.

The fact that a game should have an end is also interesting. There is the concept of an infinite game that philosopher James P. Carse introduced in his book Finite and Infinite Games. You don’t aim to win an infinite game. Winning terminates the game and therefore makes it finite. Instead, the player of the infinite game is tasked with perpetuating the game – making sure it never finishes. Carse concludes his book with the rather cryptic statement, “There is but one infinite game.” One realises that he is referring to the fact that we are all players in the infinite game that is playing out around us, the infinite game that is the universe. Although current physics does posit a final move: the heat death of the universe means that this universe might have an endgame that we can do nothing to avoid.

Caillois’s quality of imagination refers to the idea that games are make-believe. A game consists of creating a second reality that runs in parallel with real life. It is a fictional universe that the players voluntarily summon up independent of the stern reality of the physical universe we are part of.

Finally, Caillois believes that a game demands freedom. Anyone who is forced to play a game is working rather than playing. A game, therefore, connects with another important aspect of human consciousness: our free will.

This raises a question: if the universe is a game, who is it that is playing and what will it mean to win? Are we just pawns in this game rather than players? Some have speculated that our universe is actually a huge simulation. Someone has programmed the rules, input some starting data and has let the simulation run. This is why John Conway’s Game of Life feels closest to the sort of game that the universe might be. In Conway’s game, pixels on an infinite grid are born, live and die according to their environment and the rules of the game. Conway’s success was in creating a set of rules that gave rise to such interesting complexity.

If the universe is a game, then it feels like we too lucked out to find ourselves part of a game that has the perfect balance of simplicity and complexity, chance and strategy, drama and jeopardy to make it interesting. Even when we discover the rules of the game, it promises to be a fascinating match right up to the moment it reaches its endgame.

For more such insights, log into www.international-maths-challenge.com.

*Credit for article given to Marcus Du Sautoy*


Mathematicians Find Odd Shapes That Roll Like A Wheel In Any Dimension

Not content with shapes in two or three dimensions, mathematicians like to explore objects in any number of spatial dimensions. Now they have discovered shapes of constant width in any dimension, which roll like a wheel despite not being round.

A 3D shape of constant width as seen from three different angles. The middle view resembles a 2D Reuleaux triangle

Mathematicians have reinvented the wheel with the discovery of shapes that can roll smoothly when sandwiched between two surfaces, even in four, five or any higher number of spatial dimensions. The finding answers a question that researchers have been puzzling over for decades.

Such objects are known as shapes of constant width, and the most familiar in two and three dimensions are the circle and the sphere. These aren’t the only such shapes, however. One example is the Reuleaux triangle, which is a triangle with curved edges, while people in the UK are used to handling equilateral curve heptagons, otherwise known as the shape of the 20 and 50 pence coins. In this case, being of constant width allows them to roll inside coin-operated machines and be recognised regardless of their orientation.

Crucially, all of these shapes have a smaller area or volume than a circle or sphere of the equivalent width – but, until now, it wasn’t known if the same could be true in higher dimensions. The question was first posed in 1988 by mathematician Oded Schramm, who asked whether constant-width objects smaller than a higher-dimensional sphere might exist.

While shapes with more than three dimensions are impossible to visualise, mathematicians can define them by extending 2D and 3D shapes in logical ways. For example, just as a circle or a sphere is the set of points that sits at a constant distance from a central point, the same is true in higher dimensions. “Sometimes the most fascinating phenomena are discovered when you look at higher and higher dimensions,” says Gil Kalai at the Hebrew University of Jerusalem in Israel.

Now, Andrii Arman at the University of Manitoba in Canada and his colleagues have answered Schramm’s question and found a set of constant-width shapes, in any dimension, that are indeed smaller than an equivalent dimensional sphere.

Arman and his colleagues had been working on the problem for several years in weekly meetings, trying to come up with a way to construct these shapes before they struck upon a solution. “You could say we exhausted this problem until it gave up,” he says.

The first part of the proof involves considering a sphere with n dimensions and then dividing it into 2n equal parts – so four parts for a circle, eight for a 3D sphere, 16 for a 4D sphere and so on. The researchers then mathematically stretch and squeeze these segments to alter their shape without changing their width. “The recipe is very simple, but we understood that only after all of our elaboration,” says team member Andriy Bondarenko at the Norwegian University of Science and Technology.

The team proved that it is always possible to do this distortion in such a way that you end up with a shape that has a volume at most 0.9n times that of the equivalent dimensional sphere. This means that as you move to higher and higher dimensions, the shape of constant width gets proportionally smaller and smaller compared with the sphere.

Visualising this is difficult, but one trick is to imagine the lower-dimensional silhouette of a higher-dimensional object. When viewed at certain angles, the 3D shape appears as a 2D Reuleaux triangle (see the middle image above). In the same way, the 3D shape can be seen as a “shadow” of the 4D one, and so on.  “The shapes in higher dimensions will be in a certain sense similar, but will grow in complexity as [the] dimension grows,” says Arman.

Having identified these shapes, mathematicians now hope to study them further. “Even with the new result, which takes away some of the mystery about them, they are very mysterious sets in high dimensions,” says Kalai.

For more such insights, log into www.international-maths-challenge.com.

*Credit for article given to Alex Wilkins*