{"id":24706,"date":"2025-06-29T14:35:09","date_gmt":"2025-06-29T14:35:09","guid":{"rendered":"https:\/\/www.europesays.com\/us\/24706\/"},"modified":"2025-06-29T14:35:09","modified_gmt":"2025-06-29T14:35:09","slug":"student-solves-a-long-standing-problem-about-the-limits-of-addition","status":"publish","type":"post","link":"https:\/\/www.europesays.com\/us\/24706\/","title":{"rendered":"Student Solves a Long-Standing Problem About the Limits of Addition"},"content":{"rendered":"<p>The original version of <a href=\"https:\/\/www.quantamagazine.org\/graduate-student-solves-classic-problem-about-the-limits-of-addition-20250522\/\" target=\"_blank\" rel=\"noopener\">this story<\/a> appeared in <a href=\"https:\/\/www.quantamagazine.org\" target=\"_blank\" rel=\"noopener\">Quanta Magazine<\/a>.<\/p>\n<p class=\"paywall\">The simplest ideas in mathematics can also be the most perplexing.<\/p>\n<p class=\"paywall\">Take addition. It\u2019s a straightforward operation: One of the first mathematical truths we learn is that 1 plus 1 equals 2. But mathematicians still have many unanswered questions about the kinds of patterns that addition can give rise to. \u201cThis is one of the most basic things you can do,\u201d said <a href=\"https:\/\/sites.google.com\/view\/benjamin-bedert\" target=\"_blank\" rel=\"noopener\">Benjamin Bedert<\/a>, a graduate student at the University of Oxford. \u201cSomehow, it\u2019s still very mysterious in a lot of ways.\u201d<\/p>\n<p class=\"paywall\">In probing this mystery, mathematicians also hope to understand the limits of addition\u2019s power. Since the early 20th century, they\u2019ve been studying the nature of \u201csum-free\u201d sets\u2014sets of numbers in which no two numbers in the set will add to a third. For instance, add any two odd numbers and you\u2019ll get an even number. The set of odd numbers is therefore sum-free.<\/p>\n<p class=\"paywall\">In a 1965 paper, the prolific mathematician Paul Erd\u0151s asked a simple question about how common sum-free sets are. But for decades, progress on the problem was negligible.<\/p>\n<p class=\"paywall\">\u201cIt\u2019s a very basic-sounding thing that we had shockingly little understanding of,\u201d said <a data-offer-url=\"https:\/\/www.dpmms.cam.ac.uk\/~jdrs2\/\" class=\"external-link\" data-event-click=\"{&quot;element&quot;:&quot;ExternalLink&quot;,&quot;outgoingURL&quot;:&quot;https:\/\/www.dpmms.cam.ac.uk\/~jdrs2\/&quot;}\" href=\"https:\/\/www.dpmms.cam.ac.uk\/~jdrs2\/\" rel=\"nofollow noopener\" target=\"_blank\">Julian Sahasrabudhe<\/a>, a mathematician at the University of Cambridge.<\/p>\n<p class=\"paywall\">Until this February. Sixty years after Erd\u0151s posed his problem, Bedert solved it. He showed that in any set composed of integers\u2014the positive and negative counting numbers\u2014there\u2019s <a data-offer-url=\"https:\/\/arxiv.org\/abs\/2502.08624\" class=\"external-link\" data-event-click=\"{&quot;element&quot;:&quot;ExternalLink&quot;,&quot;outgoingURL&quot;:&quot;https:\/\/arxiv.org\/abs\/2502.08624&quot;}\" href=\"https:\/\/arxiv.org\/abs\/2502.08624\" rel=\"nofollow noopener\" target=\"_blank\">a large subset of numbers that must be sum-free<\/a>. His proof reaches into the depths of mathematics, honing techniques from disparate fields to uncover hidden structure not just in sum-free sets, but in all sorts of other settings.<\/p>\n<p class=\"paywall\">\u201cIt\u2019s a fantastic achievement,\u201d Sahasrabudhe said.<\/p>\n<p>Stuck in the Middle<\/p>\n<p class=\"paywall\">Erd\u0151s knew that any set of integers must contain a smaller, sum-free subset. Consider the set {1, 2, 3}, which is not sum-free. It contains five different sum-free subsets, such as {1} and {2, 3}.<\/p>\n<p class=\"paywall\">Erd\u0151s wanted to know just how far this phenomenon extends. If you have a set with a million integers, how big is its biggest sum-free subset?<\/p>\n<p class=\"paywall\">In many cases, it\u2019s huge. If you choose a million integers at random, around half of them will be odd, giving you a sum-free subset with about 500,000 elements.<\/p>\n<p>Paul Erd\u0151s was famous for his ability to come up with deep conjectures that continue to guide mathematics research today.<\/p>\n<p>Photograph: George Csicsery<\/p>\n<p class=\"paywall\">In his 1965 paper, Erd\u0151s showed\u2014in a proof that was just a few lines long, and hailed as brilliant by other mathematicians\u2014that any set of N integers has a sum-free subset of at least N\/3 elements.<\/p>\n<p class=\"paywall\">Still, he wasn\u2019t satisfied. His proof dealt with averages: He found a collection of sum-free subsets and calculated that their average size was N\/3. But in such a collection, the biggest subsets are typically thought to be much larger than the average.<\/p>\n<p class=\"paywall\">Erd\u0151s wanted to measure the size of those extra-large sum-free subsets.<\/p>\n<p class=\"paywall\">Mathematicians soon hypothesized that as your set gets bigger, the biggest sum-free subsets will get much larger than N\/3. In fact, the deviation will grow infinitely large. This prediction\u2014that the size of the biggest sum-free subset is N\/3 plus some deviation that grows to infinity with N\u2014is now known as the sum-free sets conjecture.<\/p>\n","protected":false},"excerpt":{"rendered":"The original version of this story appeared in Quanta Magazine. The simplest ideas in mathematics can also be&hellip;\n","protected":false},"author":3,"featured_media":24707,"comment_status":"","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[22193,22194,6746,159,158,67,132,68],"class_list":{"0":"post-24706","1":"post","2":"type-post","3":"status-publish","4":"format-standard","5":"has-post-thumbnail","7":"category-technology","8":"tag-math","9":"tag-numbers","10":"tag-quanta-magazine","11":"tag-science","12":"tag-technology","13":"tag-united-states","14":"tag-unitedstates","15":"tag-us"},"share_on_mastodon":{"url":"https:\/\/pubeurope.com\/@us\/114767156134714059","error":""},"_links":{"self":[{"href":"https:\/\/www.europesays.com\/us\/wp-json\/wp\/v2\/posts\/24706","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.europesays.com\/us\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.europesays.com\/us\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/us\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/us\/wp-json\/wp\/v2\/comments?post=24706"}],"version-history":[{"count":0,"href":"https:\/\/www.europesays.com\/us\/wp-json\/wp\/v2\/posts\/24706\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.europesays.com\/us\/wp-json\/wp\/v2\/media\/24707"}],"wp:attachment":[{"href":"https:\/\/www.europesays.com\/us\/wp-json\/wp\/v2\/media?parent=24706"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.europesays.com\/us\/wp-json\/wp\/v2\/categories?post=24706"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.europesays.com\/us\/wp-json\/wp\/v2\/tags?post=24706"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}