The ever-winning lottery ticket: Mathematicians solve a dusty mystery
After years of work, University of Copenhagen mathematics researchers have answered a mysterious half-century-old riddle. The mystery was all but forgotten until a Danish researcher heard about, and then decided to tackle it.
Is there a lottery ticket that always wins? So goes the popular version of a theoretical conundrum posed in 1969 by English mathematician Adrian R.D. Mathias within the field of set theory, an area dealing with infinity in mathematics.
The problem remained a mystery throughout the ’70s, ’80s and ’90s, as set theorists the world over tried their best to solve it. Associate Professor Asger Dag Törnquist of the University of Copenhagen’s Department of Mathematical Sciences was introduced to the problem in 2002 while completing his doctoral dissertation at the University of California, Los Angeles (UCLA).
"Research in the area had gone dormant from the 1990s on because no one was making any progress towards a solution. I was fascinated because it was an old problem that dealt with our understanding of infinity in mathematics. Even then, it became a dream of mine to solve the mystery, even though I had no idea of how to accomplish what had been elusive for others over decades," he says.
Mathias researched order and structure, things that occur spontaneously in sufficiently large mathematical systems. Today, this is known as Ramsey Theory, named after British mathematician and philosopher Frank Ramsey. Mathias' research pointed out that there was a profound correlation between Ramsey Theory and what he called MAD families, but he was unable to prove the existence of such a relationship.
"A MAD family is can be thought of as a kind of lottery ticket that always wins in a peculiar, infinite lottery game. In this game, lottery tickets have an infinite number of rows of whole numbers, and each row itself has infinitely many numbers. And, a ticket may have so many rows that they simply cannot be numbered," says Törnquist.
What Mathias asked the math world was, if the order and structure that we know are there, as per Ramsey Theory results, prevent the existence of a MAD family, i.e., a ticket that always wins.
The ‘baby-mystery’ proved decisive
Asger Dag Törnquist’s shouldered his dream of solving Mathias' question for several years abroad until he began working at the University of Copenhagen's Department of Mathematical Sciences in 2011. This marked the beginning of a period during which Törnquist and David Schrittesser, his Austrian postdoctoral researcher, would gradually approach the solution.
"In 2014, I decided to rethink the problem from scratch and found a whole new way of tackling it. Alongside the original mystery, Mathias had formulated a sort of baby-version of the mystery. Neither had been solved. I managed to solve the baby version of mystery, which I then wrote an article about," explains Törnquist.
As a result, a great many mathematicians from around the world reacted. The article suddenly reignited research in the area. Researchers in other parts of the world began to build upon the UCPH researchers’ article and more and more pieces of the puzzle began falling into place.
"We were in the midst of writing an article meant to address yet another small piece of the puzzle when we realized that we may have been closer to solving the entire riddle than we had believed. From then on, things moved quickly. A few weeks later, we had the solution," recounts the mathematician.
Solution: An ever-winning lottery ticket does not exist
After five years of work, Asger Dag Törnquist and David Schrittesser had their research article on Adrian Mathias' "lottery ticket" accepted to the prestigious American scientific journal, The Proceedings of the National Academy of Sciences (PNAS). The two researchers discovered that complete coincidence does not exist.
"We found out that lottery ticket numbers clump up in such a way that there is no certainty of a winner, which was what Mathias had guessed would happen but had been unable to prove. This confirms that one cannot assemble such a type of a lottery ticket without the emergence of certain patterns and regularities in ticket numbers. As such, there is no lottery ticket that always wins Mathias' lottery game,” concludes Asger Dag Törnquist.
Facts and background
- Total disorder and irregularity do not exist. That is the essence of English mathematician Frank P. Ramsey’s 1930’s discovery, as demonstrated by a fundamental mathematical statement.
- According to Ramsey’s theorem, “at any party with at least 6 people, there are three people who are all either mutual acquaintances (each one knows the other two) or mutual strangers (each one does not know either of the other two).
- In the 1960’s, another English mathematician, Adrian R.D. Mathias, began to study whether the phenomenon that Ramsey discovered had an infinite counterpart and proposed a fundamentally mathematical question, the answer of which could shed light on what this infinite set of total coincidence could mean.
- Mathias’ question is analogous to whether a lottery ticket in a special, infinite lottery, could win with certainty every time. In this lottery, each ticket has infinitely many rows, each with infinitely many numbers. The lottery has a rule that two different rows on a ticket can't have infinitely many numbers in common. The lotto authority draws infinitely many numbers, and a ticket wins if there is a row on the ticket that has infinitely many numbers in common with the numbers drawn.