As a young girl, I always dreamed of winning a Nobel Prize. Now, you can imagine my disappointment when, as a slightly older teenager interested in maths over science, I discovered the sad truth that in fact there was no Nobel Prize in mathematics. As soon as I learnt of The Millennium Prize Problems (thanks dad!), they quickly became my dream – I was going to prove one when I was older. So inspired by this dream, I have read books and watched countless documentaries on the proof of Fermat’s Last Theorem, Poincaré’s Conjecture and so on.
But what are the Millennium Prize Problems?
The Millennium Prize Problems are seven problems in mathematics, set by the Clay Mathematics Institute at the start of this century – 2000. The Prizes were created to record some of the most challenging problems in mathematics, to increase the awareness of mathematics to the general public and emphasise the importance of working towards a solution of the most difficult problems. Six problems still remain unresolved.
Although for many mathematicians, money is not their motivation for the work that they do, it is worth saying that $1 million is given to the individual who solves each problem.
The Millennium Prize Problems are:
- Poincaré Conjecture (solved)
- Birch and Swinnerton-Dyer Conjecture
- Hodge Conjecture
- Navier-Stokes Equation
- P vs NP Problem
- Riemann Hypothesis
- Yang-Mills and Mass Gap
Formulated in 1904 by Henri Poincaré, the Poincaré conjecture deals with the branch of math called topology. It states that “every simply connected closed three-manifold is homeomorphic to the three-sphere”. What does this mean?
Imagine stretching a rubber band around the surface of a ball. If we shrink this rubber band, it will shrink down to a point without tearing it or allowing it to leave the surface of the ball. This means that the surface of the ball is ‘simply connected’. A good example of an object that isn’t simply connected is a doughnut, as there is no way of shrinking the rubber band to a point without breaking the band or the doughnut. Poincaré saw that the 2-dimensional sphere is characterised by this property, and so any 2-dimensional object that was simply connected could be deformed and shaped into a sphere, without breaking it apart. He then went on to conjecture that the same would be true in 3-dimensions.
This proved extremely difficult to show; it took almost a century for a solution to be found. In 2002 and 2003, Russian mathematician Grigori Perelman posted a series of papers on arXiv, which have withstood intense scrutiny by the mathematical community for the past four years. In his proof, Perelman used Richard Hamilton’s theory of Ricci flow, and made use of results on spaces of metrics due to Cheeger, Gromov, and Perelman himself.
I would recommend watching this video for more information.
Birch and Swinnerton-Dyer Conjecture
This conjecture is in the field of number theory and is named after Bryan Birch and Peter Swinnerton-Dyer who developed the conjecture during the first half of the 1960s. As of 2015, only special cases of the conjecture have been proven correct.
The conjecture focuses on describing whole number solutions to algebraic equations like:
Although Euler managed to find the complete solution for this equation, with more complicated equations this becomes very difficult; in 1970 Yu. V. found that there is no general method to finding solutions to these types of equations.
When the solutions to these equations are the points of an abelian variety (a complete algebraic variety whose points form a group), the Birch and Swinnerton-Dyer conjecture says that the size of the group of rational points is related to the behaviour of an associated zeta function ζ(s) near the point s=1. Specifically, it asserts that if ζ(1) is equal to 0, then there are an infinite number of rational points or solutions, and conversely, if ζ(1) is not equal to 0, then there is only a finite number of such points.
Formulated by Scottish mathematician William Hodge between 1930 and 1940, this conjecture questions how well we can approximate the shape of a given object by gluing together simple geometric building blocks of increasing dimension. Due to the usefulness of this technique, it has been generalised in many different ways, thus developing powerful mathematical tools exploited by mathematicians. However, unfortunately the geometric origins became lost in these generalisations.
The Hodge conjecture states that for particularly ‘nice’ spaces, which are called projective algebraic varieties, the pieces called Hodge cycles are actually combinations of geometric pieces called algebraic cycles.
This problem in mathematical physics deals with the motion of fluid and viscous fluids, for example, waves and turbulent air currents. The solutions to the Navier-Stokes equations are believed to explain and predict the motion of such fluids. However, although these equations were written down in the 19th century, our understanding of them is still primitive and hence the challenge in to make significant progress toward a solid mathematical theory.
P vs NP Problem
I’ve always found this problem fascinating, as I genuinely do not know how you would even start to think of a solution it. It is a problem in computer science and asks: can every solved problem whose answer can be checked quickly by a computer also be quickly solved by a computer? So, the problem is to determine whether questions exist whose answer can be quickly checked, but which require an impossibly long time to solve by any direct procedure.
P and NP refer to thee two types of maths problems:
- P problems are fast for computers to solve,and so are considered “easy”.
- NP problems are fast and therefore easy for a computer to check, but are not necessarily easy to solve.
So far no one has managed to prove that there is a problem whose answer cannot be feasibly generated with the help of a computer.
This is the Millennium Prize problem that I find the most intriguing, as it involves prime numbers. To me, Riemann was a genius.
Although the distribution of such prime numbers among all natural numbers does not follow any regular pattern, Riemann noted that the frequency of prime numbers is very closely related to the behaviour of an elaborate function called the Riemann Zeta function:
In 1859, Riemann hypothesised that all non-trivial solutions of the equation ζ(s) = 0 lie on a certain vertical straight line: real-part = 1/2.
This has been checked for the first 10,000,000,000 solutions. A proof that it is true for every interesting solution would shed light on many of the mysteries surrounding the distribution of prime numbers, and could possibly be disastrous for RSA encryption.
Yang-Mills and Mass Gap
This is another problem in the field of mathematical physics, which deals with quantum physics. Yang and Mills introduced a way to describe elementary particles using structures that also occur in geometry, which is called Quantum Yang-Mills theory, and is now the foundation to most elementary particle theory. Its predictions have been test by experiment, but the mathematical foundations are still shaky and remain unclear. The success of the theory relies on a property called the ‘mass gap’, which is that quantum particles have positive masses, even though the classical waves travel at the speed of light. The problem is to therefore establish the existence of the Yang-Mills Theory and mass gap theoretically using mathematics.
Don’t be discouraged if you don’t understand fully what these mean, I myself don’t either! I’m no expert, I just personally find them fascinating and I love learning about them.
Let me know which problem you find the most interesting! M x