
AI Starts to Sift Through String Theory's Near-Endless Possibilities
Update: 2024-10-16
Share
Description
Using machine learning, string theorists are finally showing how microscopic configurations of extra dimensions translate into sets of elementary particles — though not yet those of our universe.
The post AI Starts to Sift Through String Theory’s Near-Endless Possibilities first appeared on Quanta Magazine
Comments
Top Podcasts
The Best New Comedy Podcast Right Now – June 2024The Best News Podcast Right Now – June 2024The Best New Business Podcast Right Now – June 2024The Best New Sports Podcast Right Now – June 2024The Best New True Crime Podcast Right Now – June 2024The Best New Joe Rogan Experience Podcast Right Now – June 20The Best New Dan Bongino Show Podcast Right Now – June 20The Best New Mark Levin Podcast – June 2024
In Channel
00:00
00:00
1.0x
0.5x
0.8x
1.0x
1.25x
1.5x
2.0x
3.0x
Sleep Timer
Off
End of Episode
5 Minutes
10 Minutes
15 Minutes
30 Minutes
45 Minutes
60 Minutes
120 Minutes


Transcript
00:00:00
[Music]
00:00:05
Welcome to The Quanta Science Podcast.
00:00:07
Each episode we bring you stories about developments in science and mathematics.
00:00:11
I'm Susan Valet.
00:00:13
Using machine learning, string theorists are finally showing how microscopic configurations of extra dimensions translate into sets of elementary particles,
00:00:26
though not yet those of our universe.
00:00:31
That's next.
00:00:33
It's season 3 of The Joy of Y, and I still have a lot of questions.
00:00:38
Like, what is this thing we call time?
00:00:40
Why does altruism exist?
00:00:42
And where is Jan 11?
00:00:44
I'm here.
00:00:44
Astrophysicist and co-host.
00:00:46
Ready for anything.
00:00:47
That's right.
00:00:48
I'm bringing in the 18.
00:00:49
So brace yourselves.
00:00:51
Get ready to learn.
00:00:52
I'm Jan 11.
00:00:53
I'm Steve Strogeth.
00:00:55
And this is Quanta Magazine's podcast, The Joy of Y.
00:00:59
New episodes drop every other Thursday.
00:01:01
[Music]
00:01:08
Spring theory captured the heart and minds of many physicists decades ago because of a beautiful simplicity.
00:01:15
The theory goes like this.
00:01:17
Zoom in far enough on a patch of space, and you won't see a menagerie of particles or jittery quantum fields.
00:01:24
There will only be identical strands of energy vibrating and merging and separating.
00:01:30
By the late 1980s, physicists found that these strings can comport in just a handful of ways.
00:01:37
That raised the possibility that physicists could trace the path from dancing strings to the elementary particles of our world.
00:01:45
The deepest rumblings of the strings would produce gravitons.
00:01:49
Those are hypothetical particles believed to form the gravitational fabric of space time.
00:01:55
Other vibrations would give rise to electrons, quarks, and neutrinos.
00:02:00
Spring theory was dubbed a theory of everything.
00:02:04
Anthony Ashmore is a string theorist at Sorbonne University in Paris.
00:02:08
People float it was just a matter of time until you could compute everything they want to know about these things and then just compute predictions in your political physics theory directly from string theory.
00:02:18
But as physicists studied string theory, they uncovered a hideous complexity.
00:02:23
When they zoomed out from the austere world of strings, every step toward our rich world of particles and forces introduced an exploding number of possibilities.
00:02:34
For mathematical consistency, strings need to wriggle through 10 dimensional space time.
00:02:40
But our world has four dimensions, leading string theorists to conclude that the missing six dimensions are coiled into microscopic shapes resembling lufas.
00:02:51
These imperceptible 6D shapes come in trillions upon trillions of varieties.
00:02:57
On those lufas, strings merge into the familiar ripples of quantum fields.
00:03:03
And the formation of these fields could also come about in a bunch of different ways.
00:03:07
So our universe would consist of the aspects of the fields that spill out from the lufas into our giant four-dimensional world.
00:03:16
String theorists sought to determine whether the lufas and fields of string theory can underlie the portfolio of elementary particles found in the real universe.
00:03:26
But there are an overwhelming number of possibilities to consider, 10 to the 500 according to one tally.
00:03:33
And the bigger problem is no one could figure out how to zoom out from a specific configuration of dimensions and strings to see what macro world of particles would emerge.
00:03:44
Lara Anderson is a physicist at Virginia Tech, who spent much of her career trying to link strings with particles.
00:03:51
We don't know the rules for writing down 4D our universe type string theory because we don't know how to take the theory from 10 dimensions down to the four dimensions we'd see and actually say what it means to be a consistent string theory in four dimensions.
00:04:05
And that's been a major obstacle to making contact with real world phenomena.
00:04:09
So, you know, you might say the string theory make unique predictions yet, it's really physics.
00:04:14
And the jury's still out because the technology of how you calculate that, how you make the prediction, how you decide, and string theory may be effectively ruled out already if we could just finish the computations and say,
00:04:24
what do we get?
00:04:25
Of course, I'm sweeping loads of other computations that'll these enter the rug, but a huge part is you just can't work out the theory.
00:04:31
Now a fresh generation of researchers has brought a new tool to bear on the old problem.
00:04:37
They're using neural networks that computer programs powering advances in artificial intelligence.
00:04:43
In recent months, two teams of physicists and computer scientists have used neural networks to calculate precisely for the first time.
00:04:52
What sort of macroscopic world would emerge from a specific microscopic world of strings?
00:04:58
This long-sought milestone reinvigorates a quest that largely stalled decades ago.
00:05:04
The effort to determine whether string theory can actually describe our world.
00:05:10
Here's Anderson again.
00:05:11
We're not, at say, these are the rules for the theory of our universe yet.
00:05:15
But it's a big step in the right direction.
00:05:17
The crucial feature that determines what macro-world emerges from string theory is the arrangement of the six small spatial dimensions.
00:05:25
The simplest such arrangements are intricate 60 shapes called Calabriaum manifolds, the objects that resemble Lufas.
00:05:34
They're named after the late Eugenio Calabbie, the mathematician who conjectured their existence in the 1950s.
00:05:41
And Xing Tung Yao, who in the 1970s set out to prove Calabriaum wrong, but ended up doing the opposite.
00:05:49
Calabriaum manifolds are 60 spaces with two characteristics that make them attractive to physicists.
00:05:56
First, they can host quantum fields with a symmetry known as super-semetry.
00:06:02
Super-symmetric fields are much simpler to study than more irregular fields.
00:06:07
Scientists at the Large Hadron Collider have shown that the macroscopic laws of physics are not super-symmetric.
00:06:14
But the nature of the micro-world beyond the standard model remains unknown.
00:06:19
Most string theorists work under the assumption that the universe at that scale is super-symmetric, with some citing physical motivations for believing so, while others do so out of mathematical necessity.
00:06:32
Second, Calabriaum manifolds are Ricci flat.
00:06:36
According to Albert Einstein's General Theory of Relativity, the presence of matter or energy bends space-time, causing so-called Ricci curvature.
00:06:46
Calabriaum manifolds lack this kind of curvature, though they can and do curve in other ways unrelated to their matter and energy contents.
00:06:55
To understand Ricci flatness, consider a donut, which is a low-dimensional Calabriaum manifold.
00:07:02
You can unroll a donut and represent it on a flat screen.
00:07:06
If you move off the right side, you're teleported to the left side and likewise with the top and bottom.
00:07:12
Rose of colorful lufa-like shapes line up on a black background.
00:07:17
They grow increasingly complicated from one row to the next, with greater numbers of holes and curves.
00:07:25
The general game plan for string theory then boils down to searching for the specific manifold that would describe the microstructure of space-time in our universe.
00:07:35
One way to search is by picking a plausible 60-donut and working out whether it matches the particles we see.
00:07:44
The first step is to work out the right class of 60-donuts.
00:07:49
Countable features of Calabriaum manifolds, such as the number of holes they have, determine the countable features of our world, such as how many distinct matter particles exist.
00:08:00
The researchers start by searching for Calabriaum manifolds with the right assortment of countable features to explain the known particles.
00:08:09
Researchers have made steady progress on this step.
00:08:12
In particular, over the last couple of years, a United Kingdom-based collaboration has refined the art of donut selection to a science.
00:08:21
The group used insight gathered from an assortment of computational techniques in 2019 and 2020.
00:08:28
The researchers identified a handful of formulas that spit out classes of Calabriaum manifolds, producing what they call broad brush versions of the standard model,
00:08:39
containing the right number of matter particles.
00:08:42
These theories tend to produce long-distance forces we don't see.
00:08:46
Still, with these tools, the UK physicists have mostly automated what were once daunting calculations.
00:08:55
André Constantine is a physicist at the University of Oxford, who led the discovery of the formulas.
00:09:01
He says the efficacy of these models is absolutely staggering.
00:09:05
These formulas reduce the time needed for the analysis of string theory models from several months of computational efforts to a split second.
00:09:15
The second step is harder.
00:09:17
Even theorists aim to narrow the search beyond the class of Calabriaus and identify one particular manifold.
00:09:25
They seek to specify exactly how big it is and the precise location of every curve and dimple.
00:09:32
These geometric details were supposed to determine all the remaining features of the macro world, including precisely how strongly particles interact and exactly what their masses are.
00:09:45
Following this second step requires knowing the manifold's metric, a function that can take in any two points on the shape and tell you the distance between them.
00:09:54
A familiar metric is the Pythagorean theorem, which encodes the geometry of a 2D plane.
00:10:01
But as you move to higher dimensional, curvy spacetimes, metrics become richer and more complicated descriptions of the geometry.
00:10:10
Crisis solved Einstein's equations to get the metric for a single rotating black hole in our 4D world, but 60 spaces have been out of their league.
00:10:20
Toby Weisman is a physicist at Imperial College London.
00:10:24
One of the things you learn as you carry on in physics, even in undergrad, is that simple and beautiful equations often just don't have nice solutions.
00:10:34
Not solutions you can write down with pen and paper at least.
00:10:37
So it's one of the saddest things as a physicist that you come across.
00:10:42
All of these beautiful examples you learn in high school where you do your maths and you integrate things and I'm fancy, fiddle around and you get some fancy answer out.
00:10:52
They're all very special cases and almost nothing can be integrated in real life.
00:10:56
So unfortunately, the power of mathematics, clever as it is, is quite limited when it comes to actually writing down solutions to equations.
00:11:03
It's one of the things we struggle with as physicists and this is a case like that.
00:11:08
As a postdoc at Harvard University in the early 2000s, Weisman heard whispers of the mythical metrics of Kalabi Yao Manifolds.
00:11:17
Yao's proof that these functions exist help win him the fields metal, the top prize in mathematics, but no one had ever calculated one.
00:11:27
At the time Weisman was using computers to approximate the metric of space times surrounding exotic black holes.
00:11:34
He speculated that perhaps computers could also solve for the metrics of Kalabi Yao Space times.
00:11:40
Everyone had known for quite a long time that Kalabiiao metrics are known to exist, but no one had ever written one down and I thought, well, okay, but probably maybe you can just show it in the computer and find it and everyone would know who could possibly do that.
00:11:55
So myself and a guy called Matt Hedrick, a very brilliant guy, string to it, sat down and be sure it could be done.
00:12:02
Weisman and Hedrick, who works at Brandeis University, knew that a Kalabi Yao metric had to solve Einstein's equations for empty space.
00:12:11
A metric satisfying this condition guaranteed that a space time was reachy flat.
00:12:17
Weisman and Hedrick picked four dimensions as a proving ground.
00:12:21
They leveraged a numerical technique sometimes taught in high school calculus classes.
00:12:26
With that, they showed in 2005 that if four D Kalabi Yao metric could indeed be approximated, it might not be perfectly flat at every point,
00:12:37
but it came extremely close, like a donut with a few imperceptible dents.
00:12:43
Around the same time Simon Donaldson, a prominent mathematician also at Imperial, was also studying Kalabi Yao metrics for mathematical reasons.
00:12:53
They soon worked up another algorithm for approximating metrics.
00:12:57
String theorists, including Anderson, started trying to calculate specific metrics in these ways, but their procedures took a long time and produced overly bumpy donuts.
00:13:08
That would mess up attempts to make precise particle predictions.
00:13:12
So attempts to complete step two died out for nearly a decade.
00:13:17
But as researchers focused on step one and on solving other problems in string theory, a powerful new technology for approximating functions swept computer science,
00:13:27
neural networks.
00:13:29
These adjust huge grids of numbers until their values can stand in for some unknown function.
00:13:36
Neural networks found functions that could identify objects in images, translate speech into other languages, and even master humanity's most complicated board games.
00:13:47
In 2016, the AlphaGo algorithm, created by the Artificial Intelligence Company Deep Mind, bested a top human go player.
00:13:57
That's when physicist Fabian Roulet took notice.
00:14:00
I thought if this thing can upperformed the world champion and go in chess, then whatever maybe can upperformed mathematicians or physicists like me at least.
00:14:10
Roulet, who's now at Northwestern and his collaborators, took up the old problem of approximating Calabriaumetrics.
00:14:18
Anderson and others also revitalized their early attempts to overcome step two.
00:14:23
The physicists found that neural networks provided the speed and flexibility that earlier techniques had blacked.
00:14:30
The algorithms were able to guess a metric, check the curvature at many thousands of points in 60 space, and repeatedly adjust the guess until the curvature vanished all over the manifold.
00:14:44
All the researchers had to do was tweak freely available machine learning packages.
00:14:49
By 2020, multiple groups had released custom packages for computing Calabriaumetrics.
00:14:56
With the ability to obtain metrics, physicists could finally contemplate the finer features of the large-scale universes corresponding to each manifold.
00:15:06
Here's Roulet again.
00:15:08
And so we constructed this and we then used it, of course, the first thing I did after I actually calculated masses of particles.
00:15:18
In 2021, Roulet and Ashmore cranked out the masses of exotic heavy particles that depend only on the curves of the Calabriaumet.
00:15:27
But these hypothetical particles would be far too massive to detect.
00:15:31
To calculate the masses of familiar particles, like electrons, a goal string theorists have chased for decades, the machine learners would have to do more.
00:15:42
It weight-matter particles acquire their masses through interactions with the Higgs field, a field of energy that extends throughout space.
00:15:50
The more a given particle takes notice of the Higgs field, the heavier it is.
00:15:55
How strongly each particle interacts with the Higgs is labeled by a quantity called its Ukawa coupling.
00:16:02
And in string theory, Ukawa couplings depend on two things.
00:16:07
One is the metric of the Calabriaumetifold, which is like the shape of the donut.
00:16:12
The other is the way quantum fields, arising as collections of strings, spread out over the manifold.
00:16:19
These quantum fields are a bit like sprinkles.
00:16:21
Their arrangement is related to the donut's shape, but also somewhat independent.
00:16:26
Roulet and other physicists had released software packages that could get the donut shape.
00:16:32
The last step was to get the sprinkles.
00:16:35
And neural networks proved capable of that task too.
00:16:39
Two teams put all the pieces together earlier this year.
00:16:43
An international collaboration led by Challenger Mitra of the University of Cambridge first used a homegrown neural network to calculate the metric, the geometry of the donut itself.
00:16:55
They then harnessed additional original algorithms to compute the way the quantum fields overlap as they curve around the manifold, like the donut sprinkles.
00:17:06
Importantly, they worked in a context where the geometry of the fields and that of the manifold are tightly linked, a set up in which the Ukawa couplings could be calculated in an alternative way,
00:17:18
although this had never been done before.
00:17:21
When the group calculated the couplings in both manners, the results matched.
00:17:25
Moreover, the couplings they found hinted at a separation between particle masses, a mysterious feature of the standard model.
00:17:33
Here's Mitra.
00:17:34
People have been wanting to do this, you know, even from before I was born in the '80s, but ultimately now is the time where we can exploit machine learning to do this.
00:17:44
And the other important factor I think is what this new machine learning approach is doing is it is galvanizing the community of string theory researchers.
00:17:54
A group led by string theory veterans Bert Overut of the University of Pennsylvania and Andre Lucas of Oxford also started with Relay's metric calculating software.
00:18:06
Lucas knew it well, he'd help develop it.
00:18:09
Building on that foundation, they added an array of 11 neural networks to handle the different types of sprinkles.
00:18:16
These networks allowed them to calculate an assortment of fields that could take on a richer variety of shapes, creating a more realistic setting that can't be studied with any other techniques.
00:18:27
This army of machines learned the metric and their arrangement of the fields, calculated the eukawa couplings, and spit out the masses of three types of quarks.
00:18:38
It did all this for six differently shaped Calabriao Manifolds.
00:18:43
Physicist Lara Anderson.
00:18:44
I think it's exciting, this is the first time anybody has been able to calculate them to that degree of accuracy.
00:18:50
None of those Calabriaos underlies our universe because two of the quarks have identical masses, while the six varieties in our world come in three tiers of masses.
00:19:01
Rather, the results represent a proof of principle that machine learning algorithms can take physics from a Calabriao Manifold all the way to specific particle masses.
00:19:13
You remember physicist Andre Constantine from earlier.
00:19:16
He's a member of the group based at Oxford.
00:19:18
Until now, until all these techniques about computing Calabriao metrics have been developed, many such calculations would have been just unthinkable.
00:19:28
The message is that these calculations are possible now, and there are a lot of models on which such methods can be applied.
00:19:37
The neural networks choke on donuts with more than a handful of holes, and researchers would eventually like to study Manifolds with hundreds.
00:19:45
And so far, the researchers have considered only rather simple quantum fields.
00:19:50
Einstein theorist Anthony Ashmore says we'll need more to go all the way to the standard model.
00:19:56
It's a more involved problem, and you probably need a more sophisticated neural network.
00:20:01
Bigger challenges loom on the horizon, attempting to find our particle physics in the solutions of string theory, if it's in there at all, is a numbers game.
00:20:10
The more sprinkle-laden donuts you can check, the more likely you are to find a match.
00:20:16
For decades of effort, string theorists can finally check donuts and compare them with reality, the masses and couplings of the elementary particles we observe.
00:20:26
But even the most optimistic theorists recognize that the odds of finding a match by blind luck are cosmically low.
00:20:35
The number of Calabriao donuts alone may be infinite.
00:20:39
Here's Runevegan.
00:20:40
One approach is to check thousands of Calabriao Manifolds,
00:20:51
and try to suss out any patterns that could steer the search.
00:20:55
For instance, by stretching and squeezing the Manifolds in different ways, physicists might develop an intuitive sense of what shapes lead to what particles.
00:21:04
Here's Ashmore again.
00:21:06
When you really hope actually is there, you have some really strong reason for looking at particular models that you think are particularly hopeful, maybe you stumble into the right kind of model that gives our world.
00:21:17
Generally, you want to learn something about these Calabriao's that you didn't understand before.
00:21:23
You want to gain some general intuition for what kinds of models give the right kind of physics in our world.
00:21:29
Lucas and colleagues at Oxford planned to start that exploration, prodding their most promising donuts and fiddling more with the sprinkles as they try to find a manifold that produces a realistic population of quarks.
00:21:43
Constantine believes that they will find a manifold reproducing the masses of the rest of the known particles in a matter of years.
00:21:50
But other string theorists think it's premature to start scrutinizing individual manifolds.
00:21:56
Tomas Van Riet of K.U.
00:21:58
Looven is a string theorist pursuing the Swampland Research Program.
00:22:04
It seeks to identify features shared by all mathematically consistent string theory solutions, such as the extreme weakness of gravity relative to the other forces.
00:22:14
Van Riet and his colleagues aspire to rule out broad swaths of string solutions, that is possible universes, before they even start to think about specific donuts and sprinkles.
00:22:26
"We need to take a step back, we need to zoom up, we need to think about the underlying principles, the patterns, and now what you're asking is a detail,
00:22:36
and I think it's good that people do this machine learning business, because I'm sure we will need it at some point, and then the technology is there."
00:22:44
Plenty of physicists have moved on from string theory to pursue other theories of quantum gravity, and the recent machine learning developments are unlikely to bring them back.
00:22:54
We're not a loll, a physicist at Ratboud University in the Netherlands, says to truly impress, string theorists will need to predict and confirm new physical phenomena beyond the standard model.
00:23:08
She says it's a needle in a haystack search, and while she's not sure what we'll learn from it, there should be some interesting new physical predictions.
00:23:17
New predictions are indeed the ultimate goal of many of the machine learners.
00:23:22
They hope that string theory will prove rather rigid, in the sense that donuts matching our universe will have commonalities.
00:23:29
For instance, these donuts might all contain a kind of novel particle that could serve as a target for experiments.
00:23:37
For now though, that's purely aspirational, and it might not pan out.
00:23:42
Nima Akani-Hamed, a theoretical physicist at the Institute for Advanced Study in Princeton, New Jersey, points out that the track record for qualitatively correct statements about the universe is really garbage.
00:23:56
Ultimately, the question of what string theory predicts remains open.
00:24:01
Now that string theorists are leveraging the power of neural networks to connect the 60 micro-worlds of strings with the 40 macro-worlds of particles, they stand a better chance of someday answering it.
00:24:14
Or in the words of physicist Laura Anderson- Without doubt, there are loads of string theories that have nothing to do with it.
00:24:20
I can say that definitively.
00:24:21
But the question is, are there any that have something to do with it?
00:24:24
That's the interesting question.
00:24:26
And the answer might be no.
00:24:27
But I think it's really interesting to try and push the theory to decide.
00:24:39
Our lean Santana helped with this episode.
00:24:41
I'm Susan Valett.
00:24:42
For more on this story, read Charlie Woods' full article.
00:24:46
AI starts to sift through string theories near endless possibilities on our website, quantummagazine.org.
00:24:54
For more math mysteries in the quanta book, The Prime Number Conspiracy, published by the MIT Press, available now at amazon.com, Barnes and Noble.com, or your local bookstore.
00:25:04
[MUSIC]
00:25:14