{"id":2526,"date":"2019-09-18T16:32:16","date_gmt":"2019-09-18T20:32:16","guid":{"rendered":"http:\/\/blogs.ams.org\/beyondreviews\/?p=2526"},"modified":"2019-09-18T16:54:42","modified_gmt":"2019-09-18T20:54:42","slug":"3","status":"publish","type":"post","link":"https:\/\/blogs.ams.org\/beyondreviews\/2019\/09\/18\/3\/","title":{"rendered":"3"},"content":{"rendered":"<p><img loading=\"lazy\" decoding=\"async\" class=\"alignleft wp-image-2518\" src=\"http:\/\/blogs.ams.org\/beyondreviews\/files\/2019\/09\/Cubes-300x280.png\" alt=\"Drawing of three cubes\" width=\"161\" height=\"150\" \/>After <a href=\"https:\/\/blogs.ams.org\/beyondreviews\/2019\/09\/11\/42\/\">posting about Booker and Sutherland&#8217;s cool expression of 42<\/a> as a sum of three cubes, Drew Sutherland wrote to say that they found a new way to write 3 as a sum of three cubes:<\/p>\n<p><small>$569936821221962380720^3 + (-569936821113563493509)^3 +\u00a0 (-472715493453327032)^3 = 3$.<\/small><\/p>\n<p>As explained below, this is both amazing and predicted.\u00a0 Some earlier computer attempts turned up no new solutions from what Mordell had already found.\u00a0 Nevertheless, Heath-Brown expected an infinite number of solutions, and even estimated their density.\u00a0 However, it wasn&#8217;t until Booker and Sutherland had cracked the much harder nuts 33 and 42 that this new solution for 3 was found.\u00a0 It sure helps to have access to half a million cores!<\/p>\n<p>Sutherland gave me permission to quote his message, which tells the latest story well.<\/p>\n<p>[Note: I made minor edits, including some formatting to work in WordPress.]<!--more--><\/p>\n<pre>---- Begin included message ----<\/pre>\n<p>While this might not be as exciting to Douglas Adams fans, it arguably has more mathematical significance, given the history of the problem. As Mordell wrote in 1953 [<a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=56619\">1<\/a>,p.505],<\/p>\n<p style=\"padding-left: 40px\">&#8220;I do not know anything about the integer solutions of beyond the existence of the four sets (1, 1, 1), (4, 4, \u20145) etc.; and it must be very difficult indeed to find out anything about any other solutions*<\/p>\n<p>This spurred several unsuccessful searches for other solutions to $x^3 +y^3 + z^3 = 3$, including [<a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=67916\">2<\/a>,<a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=175843\">3<\/a>], which led some to speculate that there were no further solutions.\u00a0 But in 1992 Heath-Brown conjectured that there should be infinitely many, and estimated that the density of such solutions was such that the next expected solution was simply beyond the range that had been searched to that point, writing [<a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=1146835\">4<\/a>,p.623]:<\/p>\n<p style=\"padding-left: 40px\">&#8220;A search for solutions to these equations (Gardiner, Lazarus, and Stein [<a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=175843\">3<\/a>]) found only (1, 1, 1) and (4,4,-5), corresponding to $k = 3&#8230;$ Indeed, it was suggested that these equations have no more solutions. Inasmuch as the search range was only to $2^{16} \\sim 6.5 \\times 10^4$, the figures above indicate that any such conjecture is premature.&#8221;<\/p>\n<p>Heath-Brown&#8217;s calculations suggested that one might expect the next solution to satisfy max(|x|,|y|,|z|) &lt; 10^8, but later searches [<a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=2299795\">5<\/a>,<a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=2476583\">6<\/a>,<a href=\"https:\/\/arxiv.org\/abs\/1604.07746\">7<\/a>] yielded no new solutions even with $\\max(|x|,|y|,|z|) &lt; 10^{15}$.<\/p>\n<p>In the solution we found, $\\max(|x|,|y|,|z|) &gt; 10^{20}$, but we were aided by the fact that $\\min(|x|,|y|,|z|) &lt; 10^{18}$, and by optimizations to the algorithm specific to the case $k=3$ (including an application of Theorem 1 of [<a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=1146835\">4<\/a>]).<\/p>\n<pre>From a second message from Sutherland:<\/pre>\n<p>I also should have mentioned this short paper by Cassels, which proves a congruence for the case $k=3$ that we exploited<\/p>\n<p style=\"padding-left: 40px\"><a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=771049\">MR0771049<\/a><br \/>\nCassels, J. W. S.<br \/>\nA note on the Diophantine equation $x^3+y^3+z^3=3$.<br \/>\nMath. Comp. 44 (1985), no. 169, 265\u2013266.<\/p>\n<p>Heath Brown&#8217;s Theorem 1 in [<a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=1146835\">4<\/a>] is a generalization of Cassels&#8217;s result.<\/p>\n<p><strong>References<\/strong><\/p>\n<p>[1] <a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=56619\">MR0056619<\/a><br \/>\nMordell, L. J.<br \/>\nOn the integer solutions of the equation $x^2+y^2+z^2+2xyz=n$.<br \/>\nJ. London Math. Soc. 28 (1953), 500\u2013510.<\/p>\n<p>[2] <a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=67916\">MR0067916<\/a><br \/>\nMiller, J. C. P.; Woollett, M. F. C.<br \/>\nSolutions of the Diophantine equation $x^3+y^3+z^3=k$.<br \/>\nJ. London Math. Soc. 30 (1955), 101\u2013110.<\/p>\n<p>[3] <a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=175843\">MR0175843<\/a><br \/>\nGardiner, V. L.; Lazarus, R. B.; Stein, P. R.<br \/>\nSolutions of the diophantine equation $x^{3}+y^{3}=z^{3}-d$.<br \/>\nMath. Comp. 18 (1964), 408\u2013413.<\/p>\n<p>[4] <a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=1146835\">MR1146835<\/a><br \/>\nHeath-Brown, D. R.<br \/>\nThe density of zeros of forms for which weak approximation fails.<br \/>\nMath. Comp. 59 (1992), no. 200, 613\u2013623.<\/p>\n<p>[5] <a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=2299795\">MR2299795<\/a><br \/>\nBeck, Michael; Pine, Eric; Tarrant, Wayne; Yarbrough Jensen, Kim<br \/>\nNew integer representations as the sum of three cubes. (English summary)<br \/>\nMath. Comp. 76 (2007), no. 259, 1683\u20131690.<\/p>\n<p>[6] <a href=\"https:\/\/mathscinet.ams.org\/mathscinet-getitem?mr=2476583\">MR2476583<\/a><br \/>\nElsenhans, Andreas-Stephan; Jahnel, J\u00f6rg<br \/>\nNew sums of three cubes. (English summary)<br \/>\nMath. Comp. 78 (2009), no. 266, 1227\u20131230.<\/p>\n<p>[7] Sander G. Huisman, Newer sums of three cubes, 2016.\u00a0 <a href=\"https:\/\/arxiv.org\/abs\/1604.07746\">arXiv:1604.07746<\/a>:<\/p>\n<pre>---- End included message ----<\/pre>\n<p>&nbsp;<\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" ><\/div>","protected":false},"excerpt":{"rendered":"<p>After posting about Booker and Sutherland&#8217;s cool expression of 42 as a sum of three cubes, Drew Sutherland wrote to say that they found a new way to write 3 as a sum of three cubes: $569936821221962380720^3 + (-569936821113563493509)^3 +\u00a0 &hellip; <a href=\"https:\/\/blogs.ams.org\/beyondreviews\/2019\/09\/18\/3\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n<div style=\"margin-top: 0px; margin-bottom: 0px;\" class=\"sharethis-inline-share-buttons\" data-url=https:\/\/blogs.ams.org\/beyondreviews\/2019\/09\/18\/3\/><\/div>\n","protected":false},"author":86,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":""},"categories":[40,35],"tags":[],"class_list":["post-2526","post","type-post","status-publish","format-standard","hentry","category-announcements","category-mathematics-in-the-news"],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/s6C2KK-3","jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/2526","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/users\/86"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/comments?post=2526"}],"version-history":[{"count":22,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/2526\/revisions"}],"predecessor-version":[{"id":2547,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/posts\/2526\/revisions\/2547"}],"wp:attachment":[{"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/media?parent=2526"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/categories?post=2526"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ams.org\/beyondreviews\/wp-json\/wp\/v2\/tags?post=2526"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}