Share |

Researchers edge closer to solving 270-year-old math problem thanks to grid computing

Goldbach

Goldbach's 1742 letter to Euler

In the summer of 1742, Christian Goldbach, a famous Prussian mathematician and former tutor to Tsar Peter II, exchanged a series of letters with his friend, the great Swiss mathematician Leonhard Euler. Out of this exchange came the Goldbach conjecture, which in its simplest form states: "every even integer greater than 2 can be written as the sum of two primes".

For example:
4 can be expressed as 2 + 2,
6 can be expressed as 3 + 3,
8 can be expressed as 3 + 5,
10 can be expressed as 5 + 5 or 7 + 3,
12 can be expressed as 5 + 7,
14 can be expressed as 3 + 11 or 7 + 7,
16 can be expressed as 3 + 13 or 5 + 11, etc.

Despite the simple formulation of this conjecture, it is notoriously difficult to find a proof; 270 years later, one still remains to be found. While there have been numerous attempts at providing one, the most recent high-profile effort having been published in the ArXiv just two months ago, none have thus far been accepted by the wider mathematical community In fact, such has been the difficulty in finding a rigorous mathematical proof that in 1992, UK publishing company Faber and Faber offered $1,000,000 to anyone who could provide a compelling proof within the decade. However, the prize went unclaimed.

A brief history

On 7 June, 1742, Goldbach wrote a letter to his friend Euler, proposing that: "every integer which can be written as the sum of two primes, can also be written as the sum of as many primes as one wishes, until all terms are units."

Scrawled in the margin of this letter, Goldbach also proposed the following: "every integer greater than 2 can be written as the sum of three primes."

Of course, it is worth noting that back in Goldbach's day, 1 was considered a prime number, which is now generally no-longer the case. As such, a modern formulation of Goldbach's statement would be: every integer greater than 5 can be written as the sum of three primes.

After reading this letter, Euler responded by pointing out to his friend that it followed from his original proposition that "every even integer greater than 2 can be written as the sum of two primes," and thus, what is now often termed 'the strong Goldbach conjecture' was born.

Equally, from this it follows from this that every odd number greater than 7 can expressed as the sum of three odd primes. This has since become known as 'the weak Goldbach conjecture'.

The stunt was an attempt on behalf of the publisher to promote Apostolos Doxiadis's new book, Uncle Petros and Goldbach's Conjecture. And, while the prize offered may not have led directly to a proof, the novel did at least inspire Silvio Pardi, a computer-science technologist at the Italian National Institute for Nuclear Physics (INFN). Pardi's day job involves working for the SuperB experiment at a Tier 2 center of the Worldwide LHC Computing Grid (WLCG), supporting CERN's ATLAS experiment. However, after reading the book he decided to get in touch with a pair of mathematicians who were working on finding a proof for the Goldbach conjecture to offer his help. Tomás Oliveira e Silva and Siegfried Herzog had been working together on the problem since 2001, using an algorithm to verify that the Golbach conjecture held for ever larger numbers. This method of numerical verification is by no means a proof, but it certainly does go a long way towards helping mathematicians trying to find one. After some tests, which demonstrated the processing power of the grid infrastructure at Pardi's disposal, the pair acquiesced to his request to join the collaboration. Thus, by allowing Pardi to run their algorithm using the grid computing infrastructure at his INFN site - along with resources at the SCoPE data center - the research was able to progress at a much faster rate and the team set a new world record for the highest number for which the Goldbach conjecture has been verified: one quintillion! That's 4 X 1018 in other words. Or, to write it out in full: 4,000,000,000,000,000,000. That's a full four more zeros than the previous record holders had achieved prior to 2001.

According to Oliveira e Silva, the principal investigator behind the project, achieving a higher verification limit is a highly important step in the quest to find a mathematical proof. He cites a recent paper published by Fields medalist Terence Tao as a great example of how strict mathematical proofs can be underpinned by such numerical verification. In this paper, Tao provides proof for the statement that every odd number larger than 1 is the sum of at most five primes. Oliveira e Silva explains that achieving ever-higher numerical verification limits could lead to the statement 'at most five primes' gradually being whittled down to 'at most four', and then 'at most three primes' over time. This could lead to a proof for what is known as the 'weak' Goldbach conjecture (see box), which in turn would mean that the Goldbach conjecture must also be true in its 'strong' form.

Thanks to the adoption of the grid infrastructure in September 2011, the speed at which Oliveira e Silva's team were able to run their algorithm increased six fold. "We reached this record at least two or three years earlier than would have otherwise been possible," says Pardi. "In just the final seven months that the grid was used, 19% of the total calculations were carried out."

Pardi also explains that the project was a great opportunity for him to test the reliability of the grid at the INFN site. He created a set of scripts to analyze the incoming results from each run of the algorithm and search for submission or execution errors. Where faults were found, jobs, which each required around six hours of intensive computation on a single core, were simply rescheduled on the grid. At the same time, analysis of these scripts was used to maintain a blacklist of all the computing elements in which computations were failing, thus allowing Pardi to improve the reliability of the computing center through the use of a real-time fault avoidance strategy.

Consequently, in helping bring researchers closer to solving a 270-year-old math problem, a computer science technician - inspired by a novel he had once read - was able to help ensure the reliability of grid computing systems used to identify the Higgs boson, a particle which until very recently was considered almost as elusive as the proof to Goldbach's conjecture.

Who knows, thanks to a little help from the grid, perhaps this too will not remain elusive for much longer?

Your rating: None Average: 4.7 (29 votes)

Comments

A very awesome blog post. We

A very awesome blog post. We are really grateful for your blog post. You will find a lot of approaches after visiting your post. I was exactly searching for. Thanks for such post and please keep it up. Great work.
Do follow blogs 2013

Great post

Great post and very useful, thanks,.
___________________________
Keretamini.com Pabrik Kereta Mini

We are really grateful for

We are really grateful for your blog post. You will find a lot of approaches after visiting your post. Great work.
jobs news

Thanks

I love this blog, always with important news dinheiro na internet

This research has been going

This research has been going on since a long time indeed. I think with the completion of this research, many people will feel the benefit of the research is to better facilitate them in carrying out day-to-day activities. facelift houston

Thanks for writing such a

Thanks for writing such a good article, I stumbl ed onto your blog and read a few post. I like your style of writing... telecharger bwin

You can use the computer for

You can use the computer for a lot of matters that can not be resolved with the count. You can resolve the matter with a lot of numbers and a lot of complex arithmetic operations.
http://www.store4summer.com/student-storage-dorm-storage/

I am very happy to read this

I am very happy to read this article .. thanks for giving us go through info.Fantastic nice. I appreciate this post.
plus d'information

I want you to thank for your

I want you to thank for your time of this wonderful read!!! I definately enjoy every little bit of it and I have you bookmarked to check out new stuff of your blog a must read blog!!!!
financial update

I am very happy to read this

I am very happy to read this article .. thanks for giving us go through info.Fantastic nice. I appreciate this post.
tech update

Such a very useful article.

Such a very useful article. Very interesting to read this article.I would like to thank you for the efforts you had made for writing this awesome article.
business times

This is quite wonderful post.

This is quite wonderful post. Your article affects a lot of urgent problems in our minds. It is impossible to be indifferent to these challenges. This article gives good ideas and concepts. This is something that worth doing.
norvasc

A very great article. Your

A very great article. Your article touches a lot of urgent problems in our minds. We can not be indifferent to these issues. Your post gives a lot of fantastic information and inspiration. Well done.
Albenza

Great blog post. Your post

Great blog post. Your post affects a lot of urgent problems of our society. It is impossible to be uninvolved to these problems. Your post gives a lot of wonderful information and inspiration. This was very interesting to read. amlodipine

An Excellent post. The post

An Excellent post. The post affects a lot of urgent issues in our minds. It is impossible to be uninvolved to these challenges. This post gives good ideas and concepts. Keep it up.
Albendazole

KOL

This is also a very good post which I really enjoyed reading.koltuk
ofis koltukları
dmo
prefabrik
sandalye
katalog

Nice information, valuable

Nice information, valuable and excellent design, as share good stuff with good ideas and concepts, lots of great information and inspiration, both of which I need, thanks to offer such a helpful information here.
marketing de rede

I thought it was going to be

I thought it was going to be some boring old post, but it really compensated for my time. I will post a link to this page on my blog. I am sure my visitors will locate that extremely useful...
elektronik sigara

Excellent blog post. Your

Excellent blog post. Your article affects a lot of urgent issues of our minds. It is impossible to be untouched to these issues. Your article gives the light in which we can watch our reality. Keep it up. terbinafine
http://www.directoryherd.com/ || Directory Horde || Directory Items || Directory Legend || http://www.directorymesh.com/ || http://www.directorymyth.com/ || http://www.directoryobjects.com/ || http://www.directorypack.com/ || http://www.directorypacket.com/ || http://www.directorypact.com/

I just got to this amazing

I just got to this amazing site not long ago. I was actually captured with the piece of resources you have got here. Big thumbs up for making such wonderful blog page! Core CPD

I really enjoy simply reading all of your weblogs

I really enjoy simply reading all of your weblogs. Simply wanted to inform you that you have people like me who appreciate your work. Definitely a great post. Hats off to you! The information that you have provided is very helpful.
sewa mobil | cara membuat blog | contoh surat lamaran kerja | tv online | cerita lucu | lowongan kerja terbaru 2013 | download lagu | lagu terbaru | download software | kata bijak | download film gratis | duduk | cibadak | lirik dan kunci gitar | cibadak download lagu |zodiak hari ini autotext contoh proposal|tangga lagu | pizap | jasa penerjemah | penerjemah tersumpah | penerjemah

Awesome blog. I enjoyed

Awesome blog. I enjoyed reading your articles. This is truly a great read for me. I have bookmarked it and I am looking forward to reading new articles. Keep up the good work!
marketing multinivel

A very awesome blog post. We

A very awesome blog post. We are really grateful for your blog post. You will find a lot of approaches after visiting your post. I was exactly searching for. Thanks for such post and please keep it up. Great work.
www.rebelmouse.com

RatedRKO

Pardi also explains that the project was a great opportunity for him to test the reliability of the grid at the INFN site. He created a set of scripts to analyze the incoming results from each run.

Actual Cram || Actual Material || Prep Questions || Certs Collection || Tests Collection || Cram Collection || Papers Collection || Mock Collection || Questions Collection || Exam Questions

Nice information, valuable

Nice information, valuable and excellent design, as share good stuff with good ideas and concepts, lots of great information and inspiration, both of which I need, thanks to offer such a helpful information here. john

This is a wonderful article,

This is a wonderful article, Given so much info in it, These type of articles keeps the users interest in the website, and keep on sharing more ... good luck.
UseStandardPersonName

We are really grateful for

We are really grateful for your blog post. You will find a lot of approaches after visiting your post. Great work.
LED Leiste

fet

The information that you have provided is very helpful.
seo
web tasarım
hosting
network kurulumu

you cant justify like that

If you loveto enjoy your individual recreational by spending some time in your hot tub, seems to be something which you have to contemplate related to owning. It is cannot be dissmissed off that if this portable hot tub is usually recommended for you to private, obviously you can find quite a few windows 7 ultimate activation key

I really enjoy simply reading

I really enjoy simply reading all of your weblogs. Simply wanted to inform you that you have people like me who appreciate your work. Definitely a great post. Hats off to you! The information that you have provided is very helpful.
http://theastakajohor.com

This is also a very good post

This is also a very good post which I really enjoyed reading. It is not everyday that I have the possibility to see something like this..
download a youtube video

This is also a very good post

This is also a very good post which I really enjoyed reading. It is not everyday that I have the possibility to see something like this..
best ecn forex broker

Interesting article. It

Interesting article. It affects many urgent issues of our society. It is impossible to be indifferent to these issues. This post gives good ideas and concepts. Very informative and practical.
http://topmedicationsonline.com/

This is quite great article.

This is quite great article. Your article touches a lot of urgent issues of our society. We can not be untouched to these problems. This post gives good ideas and concepts. I appreciate the information and the effort you put into your article.
albendazole

Such a very useful article.

Such a very useful article. Very interesting to read this article.I would like to thank you for the efforts you had made for writing this awesome article.
water fuel

This is a great inspiring

This is a great inspiring article.I am pretty much pleased with your good work.You put really helpful information. Keep it up.
payment gateway

keep the good work i will

keep the good work i will visit the site soon again Health Blog

This is also a very good post

This is also a very good post which I really enjoyed reading. It is not everyday that I have the possibility to see something like this..
מבחן פסיכומטרי

Nice information, valuable

Nice information, valuable and excellent design, as share good stuff with good ideas and concepts, lots of great information and inspiration, both of which I need, thanks to offer such a helpful information here.
skintervention

thematicians who were working

thematicians who were working on finding a proof for the Goldbach conjecture to offer his help. Tomás Oliveira e Silva and Siegfried Herzog had been working together on the problem since 2001, using an algorithm to verify that the Golbach conjecture held for ever larger numbers. This method of numerical verification is by no means a proof, but it certainly does go a long way towards helping mathematicians trying to find one. After some tests, which demonstrated the processing power of the grid infrastructure at Pardi's disposal, the pair acquiesced to his request to join the collaboration. Thus, by allowing Pardi to run their algorithm using the grid computing infrastructure at his INFN site - along with resources at the SCoPE data center - the research was able to progress at a much faster rate and the team set a new world record for the highest number for which the Goldbach conjecture has been verified: one quintillion! That's 4 X 1018 in other words. Or, to write it out in full: 4,000,000,000,000,000,000. That's a full four more zeros than the previous record holders had achieved prior to 2001.

According to Oliveira e Silva, the principal investigator behind the project, achieving a higher verification limit is a highly important step in the quest to find a mathematical proof. He cites a recent paper published by Fields medalist Terence Tao as a great example of how strict mathematical proofs can be underpinned by such numerical verification. In this paper, Tao provides proof for the Facebook's newest push to have its own branded phone doesn't fit in the same mold at all. There are other social networks that have proven to be popular, Privat sommerhus including Twitter, and Google+, but neither is really challenging Facebook for the social crown. At this point, some competition is enough, and each service has its own benefits and pitfalls. statement that every odd number larger than 1 is the sum of at most five primes. Oliveira e Silva explains that achieving ever-higher numerical verification limits could lead to the statement 'at most five primes' gradually being whittled down to 'at most four', and then 'at most three primes' over time. This could lead to a proof for what is known as the 'weak' Goldbach conjecture (see box), which in turn would mean that the Goldbach conjecture must also be true in its 'strong' form.

I thought it was going to be

I thought it was going to be some boring old post, but it really compensated for my time. I will post a link to this page on my blog. I am sure my visitors will locate that extremely useful...
Car Service Phoenix

That's one of the most

That's one of the most confusing case in school. And most of students get matter with it.
settlement quote

web

Your post gives the light in which we can watch our reality. web tasarım prekast hd uydu alicilari beton delme davetiye hacamat

In 1742, Prussian mathematical

In 1742, Prussian mathematical wizzard Spiritual Goldbach had written down a mathematical concerns that in its simplest kind states every even integer greater than 2 can be released as the sum of two pri.
Salon de Fiestas

The blog is awesome you just

The blog is awesome you just visit for Henna designs these Henna designs are new 2013 all latest patterns added today for both girls and mature women these Mehndi designs are indian pakistani and bangladeshi try it

Nice information, valuable

Nice information, valuable and excellent design, as share good stuff with good ideas and concepts, lots of great information and inspiration, both of which I need, thanks to offer such a helpful information here.
Postkarten Gewinnspiele

Awesome blog post. The post

Awesome blog post. The post touches many urgent issues in our minds. It is impossible to be untouched to these challenges. Your article gives a lot of fantastic information and inspiration. I really enjoyed simply reading.
lamisil-otc

Interesting article. The post

Interesting article. The post affects many urgent problems of our minds. We can not be uninvolved to these challenges. Your post gives the light in which we can watch our reality. Not everyday I can read something like this.
norvasc

Post new comment

By submitting this form, you accept the Mollom privacy policy.