wp-plugin-hostgator domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home4/scienrds/scienceandnerds/wp-includes/functions.php on line 6114ol-scrapes domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /home4/scienrds/scienceandnerds/wp-includes/functions.php on line 6114Source:https:\/\/www.quantamagazine.org\/mathematicians-discover-new-way-to-predict-structure-in-graphs-20230622\/#comments<\/a><\/br> It has been an exhilarating year in combinatorics research. In early 2023, mathematicians were stunned when two of<\/a> the biggest problems<\/a> in the field were solved in as many months. Now, a third major question has fallen with a 14-page proof \u201cthat has absolutely all the right ideas,\u201d said Mehtaab Sawhney<\/a> of the Massachusetts Institute of Technology, who added: \u201cIt\u2019s completely shocking.\u201d<\/p>\n That question deals with so-called Ramsey numbers \u2014 fundamental quantities that reflect the limits of possible disorder. These numbers measure the size that collections of vertices and edges, called graphs, can attain before they inevitably give rise to pattern and structure.<\/p>\n Mathematicians have been studying Ramsey numbers, which are notoriously difficult to pin down, for nearly a century. In doing so, they\u2019ve developed techniques that have led to advances in a variety of disciplines beyond graph theory, including number theory and cryptography.<\/p>\n But the new proof, posted online earlier this month<\/a>, marks a departure from those techniques. It not only solves a problem that has resisted progress for more than 40 years, but also presents a novel road map for how mathematicians might tackle Ramsey problems going forward.<\/p>\n To understand what a Ramsey number is, imagine you\u2019re hosting a party.<\/p>\n How many people would you need to invite to guarantee that there will be a group of people who all know one another, or a group who are all strangers? You can encode this question in the language of graphs. Assign a vertex to each person. For n<\/em> people, you get n<\/em> vertices. Connect every pair of vertices with an edge. Color the edge red if the people in question know each other, and blue if they are strangers.<\/p>\n A group of mutual acquaintances or strangers is represented by a structure called a clique: a set of vertices connected by edges of the same color. The Ramsey number r<\/em>(s<\/em>, t<\/em>) is the minimum number of people you must invite to make it impossible to avoid including a group of s<\/em> acquaintances or t<\/em> strangers \u2014 in the language of graph theory, a red clique of size s<\/em> or a blue clique of size t<\/em>.<\/p>\n For example, we know that r<\/em>(4, 5) = 25. So you can host a party with 24 people, some of whom know each other, without including a group of four mutual acquaintances or five strangers. But add one more person, and you can\u2019t avoid creating at least one of these structures.<\/p>\n One of this year\u2019s earlier breakthroughs in combinatorics gave a tighter upper bound for \u201csymmetric\u201d Ramsey numbers, where the red and blue cliques are the same size. With asymmetric Ramsey numbers \u2014 the subject of the new result \u2014 mathematicians fix the size of the red clique and ask what happens as the size of the blue clique gets arbitrarily large.<\/p>\n Mathematicians have only been able to exactly compute a handful of the smallest Ramsey numbers. They proved that r<\/em>(4, 5) = 25 in 1995. But nobody knows the value of r<\/em>(4, 6). Similarly, in the early 1980s, they showed<\/a> that r<\/em>(3, 9) = 36, but r<\/em>(3, 10) remains an open problem. (The symmetric case is just as difficult: r<\/em>(4) = 18, but the value of r<\/em>(5) is not known.)<\/p>\n And so mathematicians instead try to estimate Ramsey numbers \u2014 coming up with upper and lower bounds on their values.<\/p>\n In the 1990s, they used techniques for randomly generating graphs to prove that if the red clique is fixed at 3, and the blue one becomes bigger and bigger, the size of the Ramsey number grows as the square of the size of the blue clique. In other words, r<\/em>(3, t<\/em>) is approximately t<\/em>2<\/sup><\/a>.<\/p>\n The new proof asks what happens when the size of the red clique is set at 4, rather than 3. In the 1930s, it was established that r<\/em>(4, t<\/em>) grows no faster than around t<\/em>3<\/sup>. But the best lower bound, found in the 1970s, is about t<\/em>5\/2 <\/sup>\u2014 considerably smaller.<\/p>\n Efforts to close the gap by raising the lower bound or lowering the upper one failed for decades, until a pair of mathematicians added a key ingredient.<\/p>\n In 2019, Sam Mattheus<\/a>, then a graduate student at the Free University of Brussels (VUB) was looking for inspiration. His expertise was in finite geometry, the study of arrangements of points, lines and other structures in specially defined spaces. But even though he found the work interesting, he felt constrained by how strict and exact these geometric constructions had to be.<\/p>\n Then he saw a paper<\/a> by two mathematicians, Dhruv Mubayi<\/a> of the University of Illinois, Chicago and Jacques Verstraete<\/a> of the University of California, San Diego. They were rethinking how to approach Ramsey problems. While traditional techniques involve randomly generating graphs to get good estimates of Ramsey numbers, Mubayi and Verstraete started with \u201cpseudorandom\u201d constructions that look random, but aren\u2019t.<\/p>\n Something clicked in Mattheus. Perhaps, he thought, his geometric perspective could help. For the next couple of years, while he finished his graduate work, he kept this idea at the back of his mind. He then applied for a Fulbright fellowship, which would allow him to pursue a postdoc with Verstraete in the U.S.<\/p>\n In 2022, shortly after Mattheus was awarded the Fulbright (along with another fellowship<\/a>), he moved to UCSD and began working with Verstraete on r<\/em>(4,t<\/em>). The mathematicians wanted to raise the lower bound to meet the known upper bound. To do that, they would have to find a graph with nearly t<\/em>3<\/sup>\u00a0vertices that had no red cliques of size 4 or blue cliques of size t<\/em>.<\/p>\n To get their proof to work, they reformulated the problem. Imagine simply deleting every blue edge. The goal now becomes to find a graph with no red cliques of size 4, and no independent sets of size t<\/em> (that is, sets of t<\/em> vertices without any edges).<\/p>\n Mubayi and Verstraete\u2019s 2019 work implied that if you can construct a pseudorandom graph without red cliques of size 4, then you can take random pieces of it to get smaller graphs without any large independent sets. This was precisely what Mattheus and Verstraete wanted to find. By beginning with an even larger graph, they hoped to find a graph with almost t<\/em>3 <\/sup>vertices that met their criteria. \u201cInside these graphs hide better Ramsey graphs,\u201d Verstraete said.<\/p>\n The problem was figuring out the right pseudorandom construction to start with.<\/p>\n The mathematicians had to get there in a somewhat roundabout way. They didn\u2019t start with a pseudorandom graph. They didn\u2019t start with a graph at all.<\/p>\n Instead, Mattheus remembered a strange object called a Hermitian unital, something that finite geometers tend to be very familiar with \u2014 but that a mathematician working in combinatorics was unlikely to ever encounter.<\/p>\n A Hermitian unital is a special set of points on a curve, along with lines that pass through those points in specific configurations. Crucially, it can also be represented as a graph that consists of many large but barely overlapping cliques.<\/p>\n This graph is well known, and many of its properties have been studied. But it had never been considered in the context of Ramsey problems. \u201cIt\u2019s very specific to this finite-geometry business,\u201d Mattheus said.<\/p>\n The graph might not seem useful at first glance, since it contains so many big cliques. But a key feature of the Hermitian unital is that it only contains size-4 cliques whose vertices are clustered together in an atypical way. Because of this property, it was relatively easy for the mathematicians to destroy those unwanted cliques by deleting edges at random.<\/p>\n These deletions gave them a new graph with no size 4 cliques \u2014 but it still contained large independent sets. Mattheus and Verstraete now needed to prove that this graph was pseudorandom. In doing so, they were finally able to use the 2019 proof as they\u2019d hoped. They took random subgraphs with about t<\/em>3<\/sup> vertices, and could guarantee that those subgraphs were free of independent sets of size t<\/em>.<\/p>\n This completed the proof. \u201cThis construction is absolutely beautiful,\u201d Sawhney said.<\/p>\n The work heralds a shift in how mathematicians think about Ramsey problems. \u201cIt\u2019s very, very natural to try to use randomness to try to push things through and get as good a bound as you can,\u201d said <\/span>David Conlon<\/a><\/span> of the California Institute of Technology. \u201cBut what this really shows is that randomness only gets you so far.\u201d<\/span><\/p>\n<\/div>\n <\/br><\/br><\/br><\/p>\n
\nMathematicians Discover Novel Way to Predict Structure in Graphs<\/br>
\n2023-06-23 21:58:09<\/br><\/p>\nParty Planning Meets Graph Theory<\/strong><\/h2>\n
Hidden in Plain Sight<\/strong><\/h2>\n