The Maths of Google

Did you know that every search on Google has a little maths behind it? Without the work of algorithms, there would be no Google, or Yahoo for that matter. Google runs on the PageRank algorithm.

You might imagine that this algorithm works on the principle of counting how many of the key words appear in the text of the webpage. The pages that would be ranked the highest would then be the pages with the highest number of occurrences of the key words. This used to be the way that these search engines worked back in the 90s; they used text based ranking systems to decide which pages should be ranked the highest, however there were many problems with this. For example, a search about a common word such as ‘Internet’ was problematic as the first pages shown could be a page written in Chinese with repeated use of the word ‘Internet’ but containing no other information about the subject desired. To illustrate this better, just image I was to write a web page with just the word ‘Maths’ repeated over and over again. This would be the highest ranked page, but would be of no use to the searcher.

The usefulness of a search engine depends on the relevance of the results it gives back; there are millions of web pages but some will be more relevant, popular or authoritative than others. Enter Larry Page and Sergey Brin. In 1998 they developed one of the most influential algorithms: the PageRank algorithm, which became the Google trademark catapulting them as the best and most widely used search engine. But how does it work?

Put simply, say we have webpage x which has a hyperlink to webpage y, this means that y is relevant and important to the topic on webpage x. If there are lots of pages that link to y, then page is considered important. If, for example, page z only has one link, but it comes from an authoritative website v (for example http://www.bbc.co.uk) then v transfers its authority to z, asserting that z is important.

Let me show you some diagrams to hopefully make this simpler. In this situation there are 4 pages of equal importance.

Firstly, a bit of terminology: this is called a graph, each ‘page’ is called a node and each ‘arrow’ is called an edge. So, node 1 has 3 outgoing edges, so it will pass a third of its importance to the 3 other nodes. Node 3 only has one outgoing edge, so will pass all of its importance to node 1. If we continue this process we can see how much importance is transferred to each node:

To find the PageRank of each note the algorithm uses this equation:

pagerank.jpg

In the second equation the ‘d’ represents the damping factor which can be set between 0 and 1 (I believe that Page and Brin have said that they use a factor of 0.85). This will form a set of simultaneous equations, which must be solved to find the PageRank for each webpage.

As there are billions of webpages on the internet, the Google search engine uses an iterative computation of PageRank values. This means that each page is assigned an initial starting value and the PageRanks of all pages are then calculated in several computation circles based on the equations determined by the PageRank algorithm shown above. According to publications of Lawrence Page and Sergey Brin, about 100 iterations are necessary to get a good approximation of the PageRank values of the whole web.

I love this as an example of how maths can be employed to create innovative and efficient solutions to problems! Let me know what you think! M x

2015: A Year in Maths

Although we are well into the first month of 2016, I thought for today’s post I would look back on the top stories of maths in the media during 2015.

John Nash

nash-abel15-mim.jpgOn May 23rd 2015 – a day after receiving the 2015 Abel Prize in Oslo for his work with Louis Nirenberg on nonlinear partial differential equations and its applications to geometric analysis – he and his wife, Alicia, died in a car accident in New Jersey as they were returning home.

His most notable achievement was winning the Nobel Prize in Economic Sciences in 1994 with game theorists Reinhard Selten and John Harsanyi. However, in 1959, he began developing a mental illness: paranoid schizophrenia. His struggles with his illness and recovery were detailed in the book and Academy Award winning film ‘A Beautiful Mind’.

Pentagonal Tiling Discovery

Casey Mann, Jennifer McLoud and David Von Derau are researchers at the University of Washington Bothell. In 2015 they found a new pentagon that tiles the plane.

tiling.jpg

Pentagons, in general, are of huge mathematical interest as the are the only ‘-gons’ that are not fully understood. Tiling has great applications to packing problems and these discoveries could aid in increasing efficiency.

US Team Wins Mathematics Olympiad

The 56th International Mathemimo2015.jpgatics Olympiad (IMO) was held last summer in Chiang Mai, Thailand. IMO scores are based on the number of points scored by individual team members on six problems, which are taken in sets of three in 4 and a half hour sessions over two days. The US team, who finished first, had a combined scored of 185, which just edged out the China team’s score of 181 and the Republic of Korea’s third place score of 161.

Terrence Tao

With a regularly updated blog and praises from journalists such as Gareth Cook in a profile written in The New York Times Magazine, Terrence Tao is currently one of the most famous mathematicians. His work on the twin primes conjecture and the stability of solutions to the Navier-Stokes equations in particular this year have been tremendous, not to mention his proposal of a solution to the Erdos Discrepancy Problem.

Graph Isomorphism Problem

This is a problem on deciding whether two graphs (as pictured below) are isomorphic.

Screen Shot 2016-01-26 at 1.40.27 PM.pngIt has been a special problem in complexity theory and there has been great advancement on it this year. László Babai of the University of Chicago submitted a paper in which he described his new work, which suggests that solving the problem takes slightly longer than polynomial time: quasi-polynomial time. This could have implications on the P vs. NP problem and has been recognised as an enormous advance in the field.

Number Theory Discovery

Yitang Zhang, a solitary part-time calculus teacher at the University of New Hampshire, was able to show that there are an infinite number of primes that are a fixed distance apart. Decreasing this distance down to 2 would prove the Twin Primes conjecture. The Polymath Project was started by Tim Gowers and was able to lower the bound on the gap established by Zhang. Further progress has been made by mathematicians such as Terrence Tao, however the conjecture remains unsolved.

2016 Breakthrough Prize

250px-Ian_Agol,_Aarhus_2012.jpgIan Agol, who is a mathematics professor at the University of California, Berkeley, has received the 2016 Breakthrough Prize for his “spectacular contributions to low dimensional topology and geometric group theory, including work on the solutions of the tameness, virtual Haken and virtual fibering conjectures.”

The Breakthrough prize, which includes a $3 million dollar award, was founded by Mark Zukerberg and aims to celebrate and recognise outstanding scientists. One of the ways this is done is by generating media coverage through a spectacular televised Hollywood-like award ceremony, broadcasted in the US on the Discovery Channel and Science Channel.

Let me know what your favourite news story in 2015 was! M x

Why do I love Maths?

This is a bit of a more personal post on why I love Maths. Well, where do I begin! To some, it might be strange to have something so academic be my hobby, but to me there is something so captivating about it.

Firstly, the rigour needed in maths is astounding. Due to this, maths is an eternal language; proofs that were constructed hundreds of years ago are still alive today. Let’s take Pythagoras’ theorem. Discovered by Pythagoras around the 16th to 20th century before Christ (the date is unknown), it still is widely used and is a fundamental theorem in many branches of mathematics today, such as trigonometry. Comparing this to other disciplines such as English, it is rare that a literary piece will stand the test of time, and will still be popular centuries later (with the exception of a few), but due to the rigour of maths, once proven, a theorem is immortalised. Poincaré’s conjecture will always be true, now that Grigori Perelman proved it; it can never be disputed, and I find that amazing!

The language of maths is based on numbers and symbols making the communication with fellow mathematicians beautifully simple – it is universal. As a result, it is easier to come together in the mathematics community, no matter what country you come from. If we look at the example of Ramanujan: Born in India, he was a mathematical prodigy without ever having formal training. When his skills became apparent to the mathematical community in Europe, he moved to Cambridge to start a partnership with the English mathematician G. H. Hardy. This highlights the universality of mathematics and its ability to bring people together from different cultures in order to tackle problems.

Lastly, I must admit that when I am stuck on a difficult problem I often get frustrated. However, the sheer satisfaction I get when I solve the problem is unparalleled by any other feeling. I can only imagine what it must’ve been like for Andrew Wiles to finally complete his proof of Fermat’s Last Theorem after 7 years! It’s this satisfaction that grips me and that keeps me challenging myself more and more in maths.

Largest Prime!

Breaking news! A few days ago a supercomputer in Missouri discovered the largest known prime number:

Screen Shot 2016-01-21 at 11.57.40 AM

It is around 22 million digits long – 5 million digits longer than the previous largest known prime (!), which was discovered January 2013.

This prime number is called a Mersenne prime, as it is in the form:euclidsperfectprime

Named after the French monk Marin Mersenne who studied their properties 350 years ago, they’re the easiest large primes to find as they give researches numbers to aim for and it’s easy to test whether or not they are prime.

This new prime was discovered by  Curtis Cooper at the University of Central Missouri, according to the General Internet Mersenne Prime Search (GIMPS). In fact, this is the fourth time Dr Cooper has found the new largest prime! GIMPS is the longest continuously running distributed computing project; it has been finding prime numbers since 1996, and has thus far discovered the 15 largest Mersenne primes.

You may ask, what is the point? Although it is too soon for this number to have any practical value, prime numbers do play a hugely important role in computer encryption, which is used to keep certain functions online (including online banking, private messages and shopping transactions) safe. Yes, we are far from ‘using up’ all the primes, but finding new ones is essential to ensure we continue to have enough ‘keys’ for our encryption. And since the number of primes is infinite, the search will continue!

How Scandalous!

Although mathematics is often considered a ‘bland’ subject, (I, however, completely disagree with this!), throughout the years there have been many scandals. Here are my top 5 mathematics scandals!

Alan Turing Trial

Turing was oDr-Alan-Turing-2956483n of the mathematical geniuses of the 20th century, working in the areas of cryptology and computer science. In World War II, he worked at Bletchley Park and played a major role in breaking the German codes.

However, he was a homosexual, and at that time this was illegal in Great Britain. After being charged in 1952, he pleaded guilty and as a consequence was stripped of his security clearance and put under hormone treatments. He became deeply unhappy and, sadly, Turing committed suicide by poison apple just two years later at the age of 41.

The British government only officially pardoned him for “the appalling way he was treated” in 2013.

Andre Bloch Murders

I was pers6a00d834523c1e69e20147e2a982e3970bonally unfamiliar with this story, but it’s pretty shocking so I’d thought I’d share it with you!

Bloch was a French mathematician, who was active for 31 years and is best known for his contributions to complex analysis. However, he spent all these 31 years in a mental institute. Why? In 1917, when he was on leave from World War I, he killed his brother, his aunt and his uncle. He told one of his mathematician colleagues that he committed these murders as an act to rid his family line of people afflicted with mental illness. Crazy right!

Newton vs Leibniz

This story is a classic.

Most of you know ‘calculus’ – we all studied it at some point in secondary school. It is the study of the infinite and infinitesimal and is one of the most amazing tools offered to a student in mathematics. Well, Isaac Newton and Gottfired Leibniz strongly disagreed on who deserved credit for its discovery – they both wanted full credit! The war between Newton and Leibniz was ugly and they battled it out via the letters and journals of the day, each accusing the other of plagiarism. The funny thing is historical documents now seem to reveal that both men made their discoveries independently and nearly simultaneously – they both deserved credit!

newton-leibniz_eng

Burning of the Library of Alexandria

The_Burning_of_the_Library_at_Alexandria_in_391_ADThis library, which was built around the 3rd century BC, was the house of many academic wonders, including a wealth of discoveries in mathematics. In this library were the works of Euclid, Archimedes, Eratosthenes, Hipparchus and many other notable mathematicians. Although, there aren’t many details of the fire, it’s clear that the destruction of the library was a major setback to academics of the time.

Hippasus’ Murder

Hippasus.jpgHippasus was part of the Pythagorean society (the people who discovered the infamous theory about right angled triangles: a2+b2=c2). The Pythagorean society is known for their secrecy and, in the 5th century, when Hippasus managed to prove that the square root of 2 was irrational, it is said that he was going to reveal this to the public at large, and so the society drowned him at sea. However, there are some questions about the details of the legend of Hippasus – don’t take this to be fact!

And now for a false scandal: The Nobel Prizefoto_de_alfred_nobel

Why is there no Nobel Prize for mathematics? The famous rumour is that this is because Alfred Nobel’s wife was having an affair with a mathematician. This mathematician would have been one of the potential first winners of the Nobel Prize for mathematics. Mr. Nobel, therefore, didn’t set up a prize for mathematics so that he couldn’t win! However, Alfred Nobel was never actually married… This is discussed in detail in the book Mathematical Scandals.

 

Pictures of Maths III

This is the third installment of my ‘Pictures of Maths’ series. Hope you enjoy!

Symmetry in Honeycomb

The structure of honeycomb displays symmetry.

The complex folding patterns that arise when layered paper is put into a test machine and squashed.

The complex folding patterns that arise when layered paper is put into a test machine and squashed.

A sample image generated by Lawrence Ball's harmonic maths.

A sample image generated by Lawrence Ball’s harmonic maths.

 

geometric art in ceiling of building

Geometric art is often used as decoration in the ceilings of buildings.

Vitruvian_Man

‘Vitruvian Man’, drawn in 1487 by Leonardo Da Vinci, showed the relationship between the human body and geometry. It is a piece of art that represents how closely connected science and art are.

look at blog post for more info

The 421 polytope is believed to be the most geometrically complex and aesthetically beautiful structure in mathematics. It is the algebraic form at the centre of a Universal Theory of Everything. It was originally describe in the late 19th century and models all interactions and transformations between known and theorised sub-atomic particles. The theory is an attempt to unify quantum physics and gravitation in hopes of ultimately explaining the fabric of the universe. The visualisation was hand drawn in illustrator to an accuracy of 1/10,000 of a millimetre.

Klein bottle

The Klein Bottle: an object with no boundaries, no inside or outside. It is a one sided, non-orientable surface. That’s topology for you!

Fractal Structure in Ferns

Fractal patterns are visible throughout nature, for example in ferns as displayed above.

Let me know which one is your favourite! Mx

 

Top TED Talks

I just wanted to write a quick post to tell you about my top 5 TED Talks about mathematics. I personally love TED Talks – I find them informative, whilst being at the adequate level for me, a sixth former, to understand.

  1. The beautiful math behind the world’s ugliest music
    • What makes music beautiful? Scott Rickard suggests that patterns are key to musical beauty. In order to create the ugliest piece of music, Rickard talks about how he stripped his piece of repetition using ‘Costas Array’, describing it as “music only a mathematician could write”.
  2. Fractals and the art of roughness
    • Mathematics legend Benoit Mandelbroit talks about a concept he first began studying in 1984 – roughness – and how the mathematics of fractals can facilitate its study. If you enjoyed my post on fractals, you will throughly enjoy this TED Talk.
  3. The mathematics of history
    • Mathematics is used as the language of science, but can it be used to describe history? Under 6 minutes long, this TED talk by Jean-Baptiste Michel uncovers how the digitised world can discover underlying mathematical patterns in our history and in mankind.
  4. Why I fell in love with monster prime numbers
    • Due to my love for prime numbers, sparked by ‘The Music of the Primes’ by Marcus du Sautoy, it is only right that my top 5 TED Talks includes one about prime numbers. Adam Spencer, a comedian, gives a light-hearted talk, sharing his passion for prime numbers as well as the mysteries surrounding them.
  5. Symmetry, reality’s riddle
    • A talk by one of my favourite writers of mathematics and phenomenal storyteller, Marcus du Sautoy explores the symmetry hidden in everyday events, from subatomic particles to deadly viruses, as well as touching upon the mathematics of symmetry pioneered by Galois. If you enjoy this talk, why not check out his book on symmetry!

Let me know your favourite TED Talks! M x

 

 

 

 

 

Art and Maths: Connected Throughout History

For thousands of years, artists have used mathematical concepts in their work. In this post, I will quickly reveal some connections between these two fields throughout history.

Golden Ratio

The golden ratio is roughly equal to 1.618. The special nature of this ratio appealed to the Greeks, who thought that objects in this proportion were particularly aesthetically pleasing. It has been said that they used this ratio in their architecture and statues to ensure their beauty, for example the dimensions of the Parthenon. In fact, throughout history there have been a number of pieces of art that exhibit the golden ratio: Leonardo Da Vinci’s paintings or Michelangelo’s David. However, it has been debated whether Ancient or Renaissance artists consciously used this ratio, or whether it is simply a numerological coincidence.

Geometric Patterns

Geometric patterns – simple arrangements of mathematical shapes and figures – have been widely used in decoration throughout history. For example, the ‘Flower of Life’ pattern was used on the Temple of Osiris at Abydos in Egypt. Dating back about 5000 years, it consists of circles positioned in rows, each one centred on the circumference of circles in neighbouring rows.

Additionally, Mosques throughout the world are embellished with elaborate geometrical patterns, which symbolize the divine order of the Universe. The use of the geometrical patterns is due to the fact that Islamic art traditionally does not depict people and animals.

mosque

Tessellations

Popularised by Maurits Escher, tessellations are one of the more well-known and direct forms of mathematics in artwork. A tessellation is a tiling of a geometric shape with no overlaps or gaps. Escher made an art form out of colourful patterns of tessellating shapes, including reptiles, birds and fish.

Origami

Origami originated from Japan and is the craft of creating three-dimensional shapes solely by folding paper (usually only one sheet). These shapes range from paper cranes to flowers. If you unfold the piece of paper, there will be a complex geometrical pattern of creases that are made up of triangles and squares. Many of these will be congruent due to the fact that the same fold produced them, revealing the deep links between geometry and ancient art.

Fractals

Fractals are mathematical structures that have the property of ‘self-similarity’, meaning that if you zoom in on one, the same type of structure will keep appearing. I have already talked about extensively in a previous blog post; check it out if you’re interested! (Personally, I find them beautiful).

fractals

Mathematics as Art

The mathematician Jerry King stated, “the keys to mathematics are beauty and elegance and not dullness and technicality”. In ‘A Mathematician’s Apology’ by G.H. Hardy, Hardy explores this idea by explaining his thoughts on the criteria for mathematical beauty: “seriousness, depth, generality, unexpectedness, inevitability, and economy”. Furthermore, Paul Erdos agreed that mathematics had beauty by explaining: “”Why are numbers beautiful? It’s like asking why is Beethoven’s Ninth Symphony beautiful. If you don’t see why, someone can’t tell you. I know numbers are beautiful.”

If this topic interests you, I would highly recommend reading this article in AMS’s Feature Column. M x

Quick Proof

A request from ezgineer inspired me to to talk about the proof that there are more real numbers than natural numbers.

This statement was proved by Cantor, who showed that the set of real numbers was not countable and that there were more of them than natural numbers. He used the technique of proof by contradiction. His argument (called Cantors Diagonalisation Argument) goes as follows:

Suppose the real numbers are countable, you could set up a one-to-one correspondence between them (R) and the natural numbers (N). Then we could match up each natural number with a real number.

matching_4.gif

Next, we create a number that is not on the list:

matching_5.gif

We have created a new real number – o.683175…- that does not correspond to any natural number. Thus, this list in incomplete and this there is no one-to-one correspondence between N and R. We have therefore proved the statement by contradiction.

This idea of the different sizes of infinity was given the name of cardinality; we say that the cardinality of two sets A and B are the same – written card(A) = card(B) – if there is a one-to-one correspondence between these two sets.

Any other suggestions of proofs you would like me to write about? M x

Modern Mathematicians: Alain Connes

Alain Connes was born in Dpaca_mapraguignan, France in 1947. He entered École Normale Supérieure, one of the leading universities in Paris, in 1966 and graduated in 1970. American mathematician Robert Moore describes his thesis on the classification of factors of type III on operator algebras (in particular on von Neumann algebras), as:

“a major, stunning breakthrough in the classification problem.”

Connes has received many awards for his work, including the:

  • Prix Aimeé Berthé (1975)
  • Prix Pecot-Vimont (1976)
  • Gold Medal of the Centre National de la Recherche Scientifique (1977)
  • Prix Ampère from the Académie des Sciences in Paris (1980)
  • Prix de Electricité de France (1981)

However, Connes’ most notable achievement was being awarded the Fields Medal in 1982 (the ceremony was in 1983) due to his work on operator theory and in specific, as depicted by Japanese mathematician Huzihiro Araki, his:

(1) general classification and a structure theorem for factors of type III, obtained in his thesis;

(2) classification of automorphisms of the hyperfinite factor, which served as a preparation for the next contribution; 

(3) classification of injective factors;

(4) application of the theory of C*-algebras to foliations and differential geometry in general.

The study on von Neumann algebras began in the 1930s, when their factors were claconnes-alain_mp_771x900ssified. In the late 1960s there was a resurgence of interest on this topic.

Connes unified a number of ideas in the area that had been previously considered disparate. He also worked on some applications of operator algebras, for example their application to differential geometry. Additionally, his application of operator theory to noncommutative geometry produced new geometries. Furthermore, his later work has had meaningful impact in ergodic theory, which is the study of systems whose final state is independent of their initial state.