{"id":1718898,"date":"2022-10-06T12:54:27","date_gmt":"2022-10-06T16:54:27","guid":{"rendered":"https:\/\/wordpress-1016567-4521551.cloudwaysapps.com\/?post_type=station&p=1718898"},"modified":"2022-10-06T18:35:21","modified_gmt":"2022-10-06T22:35:21","slug":"monumental-math-proof-solves-triple-bubble-problem-and-more","status":"publish","type":"station","link":"https:\/\/platodata.io\/plato-data\/monumental-math-proof-solves-triple-bubble-problem-and-more\/","title":{"rendered":"\u2018Monumental\u2019 Math Proof Solves Triple Bubble Problem and More"},"content":{"rendered":"
<\/div>\n
\n
\n

When it comes to understanding the shape of bubble clusters, mathematicians have been playing catch-up to our physical intuitions for millennia. Soap bubble clusters in nature often seem to immediately snap into the lowest-energy state, the one that minimizes the total surface area of their walls (including the walls between bubbles). But checking whether soap bubbles are getting this task right \u2014 or just predicting what large bubble clusters should look like \u2014 is one of the hardest problems in geometry. It took mathematicians until the late 19th century to prove that the sphere is the best single bubble, even though the Greek mathematician Zenodorus had asserted this more than 2,000 years earlier.<\/p>\n

The bubble problem is simple enough to state: You start with a list of numbers for the volumes, and then ask how to separately enclose those volumes of air using the least surface area. But to solve this problem, mathematicians must consider a wide range of different possible shapes for the bubble walls. And if the assignment is to enclose, say, five volumes, we don\u2019t even have the luxury of limiting our attention to clusters of five bubbles \u2014 perhaps the best way to minimize surface area involves splitting one of the volumes across multiple bubbles.<\/p>\n

Even in the simpler setting of the two-dimensional plane (where you\u2019re trying to enclose a collection of areas while minimizing the perimeter), no one knows the best way to enclose, say, nine or 10 areas. As the number of bubbles grows, \u201cquickly, you can\u2019t really even get any plausible conjecture,\u201d said Emanuel Milman<\/a> of the Technion in Haifa, Israel.<\/p>\n

But more than a quarter century ago, John Sullivan<\/a>, now of the Technical University of Berlin, realized that in certain cases, there is a guiding conjecture<\/a> to be had. Bubble problems make sense in any dimension, and Sullivan found that as long as the number of volumes you\u2019re trying to enclose is at most one greater than the dimension, there\u2019s a particular way to enclose the volumes that is, in a certain sense, more beautiful than any other \u2014 a sort of shadow of a perfectly symmetric bubble cluster on a sphere. This shadow cluster, he conjectured, should be the one that minimizes surface area.<\/p>\n

Over the decade that followed, mathematicians wrote a series of groundbreaking papers proving Sullivan\u2019s conjecture when you\u2019re trying to enclose only two volumes. Here, the solution is the familiar double bubble you may have blown in the park on a sunny day, made of two spherical pieces with a flat or spherical wall between them (depending on whether the two bubbles have the same or different volumes).<\/p>\n

But proving Sullivan\u2019s conjecture for three volumes, the mathematician Frank Morgan<\/a> of Williams College speculated<\/a> in 2007, \u201ccould well take another hundred years.\u201d<\/p>\n<\/div>\n<\/div>\n

\n
\n

Now, mathematicians have been spared that long wait \u2014 and have gotten far more than just a solution to the triple bubble problem. In a paper<\/a> posted online in May, Milman and Joe Neeman<\/a>, of the University of Texas, Austin, have proved Sullivan\u2019s conjecture for triple bubbles in dimensions three and up and quadruple bubbles in dimensions four and up, with a follow-up paper on quintuple bubbles in dimensions five and up in the works.<\/p>\n

And when it comes to six or more bubbles, Milman and Neeman have shown that the best cluster must have many of the key attributes of Sullivan\u2019s candidate, potentially starting mathematicians on the road to proving the conjecture for these cases too. \u201cMy impression is that they have grasped the essential structure behind the Sullivan conjecture,\u201d said Francesco Maggi<\/a> of the University of Texas, Austin.<\/p>\n

Milman and Neeman\u2019s central theorem is \u201cmonumental,\u201d Morgan wrote in an email. \u201cIt\u2019s a brilliant accomplishment with lots of new ideas.\u201d<\/p>\n

Shadow Bubbles<\/strong><\/h2>\n

Our experiences with real soap bubbles offer tempting intuitions about what optimal bubble clusters should look like, at least when it comes to small clusters. The triple or quadruple bubbles we blow through soapy wands seem to have spherical walls (and occasionally flat ones) and tend to form tight clumps rather than, say, a long chain of bubbles.<\/p>\n

But it\u2019s not so easy to prove that these really are the features of optimal bubble clusters. For example, mathematicians don\u2019t know whether the walls in a minimizing bubble cluster are always spherical or flat \u2014 they only know that the walls have \u201cconstant mean curvature,\u201d which means the average curvature stays the same from one point to another. Spheres and flat surfaces have this property, but so do many other surfaces, such as cylinders and wavy shapes called unduloids. Surfaces with constant mean curvature are \u201ca complete zoo,\u201d Milman said.<\/p>\n

But in the 1990s, Sullivan recognized that when the number of volumes you want to enclose is at most one greater than the dimension, there\u2019s a candidate cluster that seems to outshine the rest \u2014 one (and only one) cluster that has the features we tend to see in small clusters of real soap bubbles.<\/p>\n

To get a feel for how such a candidate is built, let\u2019s use Sullivan\u2019s approach to create a three-bubble cluster in the flat plane (so our \u201cbubbles\u201d will be regions in the plane rather than three-dimensional objects). We start by choosing four points on a sphere that are all the same distance from each other. Now imagine that each of these four points is the center of a tiny bubble, living only on the surface of the sphere (so that each bubble is a small disk). Inflate the four bubbles on the sphere until they start bumping into each other, and then keep inflating until they collectively fill out the entire surface. We end up with a symmetric cluster of four bubbles that makes the sphere look like a puffed-out tetrahedron.<\/p>\n

Next, we place this sphere on top of an infinite flat plane, as if the sphere is a ball resting on an endless floor. Imagine that the ball is transparent and there\u2019s a lantern at the north pole. The walls of the four bubbles will project shadows on the floor, forming the walls of a bubble cluster there. Of the four bubbles on the sphere, three will project down to shadow bubbles on the floor; the fourth bubble (the one containing the north pole) will project down to the infinite expanse of floor outside the cluster of three shadow bubbles.<\/p>\n

The particular three-bubble cluster we get depends on how we happened to position the sphere when we put it on the floor. If we spin the sphere so a different point moves to the lantern at the north pole, we\u2019ll typically get a different shadow, and the three bubbles on the floor will have different areas. Mathematicians have proved<\/a> that for any three numbers you choose for the areas, there is essentially a single way to position the sphere so the three shadow bubbles will have precisely those areas.<\/p>\n<\/div>\n<\/div>\n

\n
\n

We\u2019re free to carry out this process in any dimension (though higher-dimensional shadows are harder to visualize). But there\u2019s a limit to how many bubbles we can have in our shadow cluster. In the example above, we couldn\u2019t have made a four-bubble cluster in the plane. That would have required starting with five points on the sphere that are all the same distance from each other \u2014 but it\u2019s impossible to place that many equidistant points on a sphere (though you can do it with higher-dimensional spheres). Sullivan\u2019s procedure only works to create clusters of up to three bubbles in two-dimensional space, four bubbles in three-dimensional space, five bubbles in four-dimensional space, and so on. Outside those parameter ranges, Sullivan-style bubble clusters just don\u2019t exist.<\/p>\n

But within those parameters, Sullivan\u2019s procedure gives us bubble clusters in settings far beyond what our physical intuition can comprehend. \u201cIt\u2019s impossible to visualize what is a 15-bubble in [23-dimensional space],\u201d Maggi said. \u201cHow do you even dream of describing such an object?\u201d<\/p>\n

Yet Sullivan\u2019s bubble candidates inherit from their spherical progenitors a unique collection of properties reminiscent of the bubbles we see in nature. Their walls are all spherical or flat, and wherever three walls meet, they form 120-degree angles, as in a symmetric Y shape. Each of the volumes you\u2019re trying to enclose lies in a single region, instead of being split across multiple regions. And every bubble touches every other (and the exterior), forming a tight cluster. Mathematicians have shown that Sullivan\u2019s bubbles are the only clusters that satisfy all these properties.<\/p>\n

When Sullivan hypothesized that these should be the clusters that minimize surface area, he was essentially saying, \u201cLet\u2019s assume beauty,\u201d Maggi said.<\/p>\n

But bubble researchers have good reason to be wary of assuming that just because a proposed solution is beautiful, it is correct. \u201cThere are very famous problems \u2026 where you would expect symmetry for the minimizers, and symmetry spectacularly fails,\u201d Maggi said.<\/p>\n

For example, there\u2019s the closely related problem of filling infinite space with equal-volume bubbles in a way that minimizes surface area. In 1887, the British mathematician and physicist Lord Kelvin suggested that the solution might be an elegant honeycomb-like structure. For more than a century, many mathematicians believed this was the likely answer \u2014 until 1993, when a pair of physicists identified a better<\/a>, though less symmetric, option. \u201cMathematics is full \u2026 of examples where this kind of weird thing happens,\u201d Maggi said.<\/p>\n

A Dark Art<\/strong><\/h2>\n

When Sullivan announced his conjecture in 1995, the double-bubble portion of it had already been floating around for a century. Mathematicians had solved the 2D double-bubble problem<\/a> two years earlier, and in the decade that followed, they solved it in three-dimensional space<\/a> and then in higher<\/a> dimensions<\/a>. But when it came to the next case of Sullivan\u2019s conjecture \u2014 triple bubbles \u2014 they could prove the conjecture<\/a> only in the two-dimensional plane, where the interfaces between bubbles are particularly simple.<\/p>\n

Then in 2018, Milman and Neeman proved an analogous version of Sullivan\u2019s conjecture in a setting known as the Gaussian bubble problem. In this setting, you can think of every point in space as having a monetary value: The origin is the most expensive spot, and the farther you get from the origin, the cheaper land becomes, forming a bell curve. The goal is to create enclosures with preselected prices (instead of preselected volumes), in a way that minimizes the cost of the boundaries of the enclosures (instead of the boundaries\u2019 surface area). This Gaussian bubble problem has applications in computer science to rounding schemes and questions of noise sensitivity.<\/p>\n

Milman and Neeman submitted their proof<\/a> to the Annals of Mathematics<\/em>, arguably mathematics\u2019 most prestigious journal (where it was later accepted). But the pair had no intention of calling it a day. Their methods seemed promising for the classic bubble problem too.<\/p>\n

They tossed ideas back and forth for several years. \u201cWe had a 200-page document of notes,\u201d Milman said. At first, it felt as though they were making progress. \u201cBut then quickly it turned into, \u2018We tried this direction \u2014 no. We tried [that] direction \u2014 no.\u2019\u201d To hedge their bets, both mathematicians pursued other projects as well.<\/p>\n<\/div>\n<\/div>\n

\n
\n

Then last fall, Milman came up for sabbatical and decided to visit Neeman so the pair could make a concentrated push on the bubble problem. \u201cDuring sabbatical it\u2019s a good time to try high-risk, high-gain types of things,\u201d Milman said.<\/p>\n

For the first few months, they got nowhere. Finally, they decided to give themselves a slightly easier task than Sullivan\u2019s full conjecture. If you give your bubbles one extra dimension of breathing room, you get a bonus: The best bubble cluster will have mirror symmetry across a central plane.<\/p>\n

Sullivan\u2019s conjecture is about triple bubbles in dimensions two and up, quadruple bubbles in dimensions three and up, and so on. To get the bonus symmetry, Milman and Neeman restricted their attention to triple bubbles in dimensions three and up, quadruple bubbles in dimensions four and up, and so on. \u201cIt was really only when we gave up on getting it for the full range of parameters that we really made progress,\u201d Neeman said.<\/p>\n

With this mirror symmetry at their disposal, Milman and Neeman came up with a perturbation argument that involves slightly inflating the half of the bubble cluster that lies above the mirror and deflating the half that lies below it. This perturbation won\u2019t change the volume of the bubbles, but it could change their surface area. Milman and Neeman showed that if the optimal bubble cluster has any walls that are not spherical or flat, there will be a way to choose this perturbation so that it reduces the cluster\u2019s surface area \u2014 a contradiction, since the optimal cluster already has the least surface area possible.<\/p>\n

Using perturbations to study bubbles is far from a new idea, but figuring out which perturbations will detect the important features of a bubble cluster is \u201ca bit of a dark art,\u201d Neeman said.<\/p>\n

With hindsight, \u201conce you see [Milman and Neeman\u2019s perturbations], they look quite natural,\u201d said Joel Hass<\/a> of the University of California, Davis.<\/p>\n

But recognizing the perturbations as natural is much easier than coming up with them in the first place, Maggi said. \u201cIt\u2019s by far not something that you can say, \u2018Eventually people would have found it,\u2019\u201d he said. \u201cIt\u2019s really genius at a very remarkable level.\u201d<\/p>\n

Milman and Neeman were able to use their perturbations to show that the optimal bubble cluster must satisfy all the core traits of Sullivan\u2019s clusters, except perhaps one: the stipulation that every bubble must touch every other. This last requirement forced Milman and Neeman to grapple with all the ways bubbles might connect up into a cluster. When it comes to just three or four bubbles, there aren\u2019t so many possibilities to consider. But as you increase the number of bubbles, the number of different possible connectivity patterns grows, even faster than exponentially.<\/p>\n

Milman and Neeman hoped at first to find an overarching principle that would cover all these cases. But after spending a few months \u201cbreaking our heads,\u201d Milman said, they decided to content themselves for now with a more ad hoc approach that allowed them to handle triple and quadruple bubbles. They\u2019ve also announced an unpublished proof that Sullivan\u2019s quintuple bubble is optimal, though they haven\u2019t yet established that it\u2019s the only optimal cluster.<\/p>\n

Milman and Neeman\u2019s work is \u201ca whole new approach rather than an extension of previous methods,\u201d Morgan wrote in an email. It\u2019s likely, Maggi predicted, that this approach can be pushed even further \u2014 perhaps to clusters of more than five bubbles, or to the cases of Sullivan\u2019s conjecture that don\u2019t have the mirror symmetry.<\/p>\n

No one expects further progress to come easily; but that has never deterred Milman and Neeman. \u201cFrom my experience,\u201d Milman said, \u201call of the major things that I was fortunate enough to be able to do required just not giving up.\u201d<\/p>\n<\/div>\n<\/div>\n","protected":false},"author":1,"featured_media":1718899,"template":"","meta":{"_eb_attr":"","type":"","auto_type":false,"post":"","stream":"","stream_url":"","waveform_data":[],"duration":0,"start":0,"end":0,"bpm":0,"downloadable":false,"download_url":"","purchase_title":"","purchase_url":"","post-count-all":0,"like_count":0,"download_count":0,"editor_note":"","copyright":"","captions":[],"sources":[]},"genre":[10730],"station_tag":[15668,3884,14557,4247,15684,15666,7286,7457,14558,8453,15312,9642,14556,15678,5057,15670,6579,15672,14555],"artist":[15728],"mood":[],"activity":[],"_links":{"self":[{"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/station\/1718898"}],"collection":[{"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/station"}],"about":[{"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/types\/station"}],"author":[{"embeddable":true,"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/users\/1"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/media\/1718899"}],"wp:attachment":[{"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/media?parent=1718898"}],"wp:term":[{"taxonomy":"genre","embeddable":true,"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/genre?post=1718898"},{"taxonomy":"station_tag","embeddable":true,"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/station_tag?post=1718898"},{"taxonomy":"artist","embeddable":true,"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/artist?post=1718898"},{"taxonomy":"mood","embeddable":true,"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/mood?post=1718898"},{"taxonomy":"activity","embeddable":true,"href":"https:\/\/platodata.io\/wp-json\/wp\/v2\/activity?post=1718898"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}