Nature | News

Long-awaited mathematics proof could help scan Earth's innards

Proposed solution to geometry puzzle allows an object’s structure to be determined from limited information.

Updated:

Article tools

Planterary Visions Ltd./Science Photo Library

Earth's inner structure could be revealed by the speed at which waves travel from one edge to another.

Mathematicians say that they have solved a major, decades-old problem in geometry: how to reconstruct the inner structure of a mystery object ‘X’ from knowing only how fast waves travel between any two points on its boundary.

The work has implications in real-world situations, such as for geophysicists who use seismic waves to analyse the structure of Earth’s interior.

“Without destroying ‘X’, can we figure out what’s inside?” asked mathematician András Vasy of Stanford University in California, when he presented the work in a talk at University College London (UCL) last week. “One way to do it is to send waves through it,” he said, and measure their properties.

Now, Vasy and two of his collaborators say that they have proved1 that this information alone is sufficient to reveal an object’s internal structure.

Looking inwards

The problem is called the boundary-rigidity conjecture. It belongs to the field of Riemannian geometry, the modern theory of curved spaces with any number of dimensions. Albert Einstein built his general theory of relativity — in which mass warps the geometry of space-time — on this branch of mathematics.

Mathematicians already knew that the way in which curvature varies from place to place inside a ‘Riemannian manifold’ — the mathematical jargon for curved space — determines the shortest paths between any two points.

The conjecture flips things around: it says that knowing the lengths of the shortest paths between points on a boundary essentially determines the curvature throughout. (The geometry is therefore said to be ‘rigid’.) Thus, by measuring how fast waves travel inside a space, one could work out the shortest paths, and theoretically, the overall structure.

The conjecture dates back to at least 1981, when the late mathematician René Michel2 formulated certain technical assumptions about the spaces for which it should be true. (It is not true for Riemannian manifolds in general.)

Vasy’s co-author Gunther Uhlmann, a mathematician at the University of Washington in Seattle, has been working on this problem since the late 1990s, and he and a collaborator had already solved it for two-dimensional Riemannian manifolds — that is, curved surfaces3. Now, Vasy, Uhlmann and Plamen Stefanov, who is at Purdue University in West Lafayette, Indiana, have solved it for spaces that have three or more dimensions, as well.

Layer by layer

In Einstein’s space-time, curvature produces gravitational lensing, a phenomenon familiar to astronomers, in which the path of light bends around massive objects such as stars. Similar mathematics apply to conventional lensing, or refraction: light rays or sound waves shift direction when the medium through which they are travelling changes.

In the case of seismic waves — generated by events such as earthquakes — the differing properties of Earth at varying depths mean that the shortest path for such waves is usually not a straight line, but a curved one. Since the early 1900s, geophysicists have used this fact to map the planet’s internal structure, and this is how they discovered the mantle and the inner and outer cores.

Those discoveries were rooted in mathematical treatments that had some simplifying assumptions. Until now, it was not clear that one could fully determine Earth’s structure using only wave travel times.

But that is what Vasy and his team’s proof shows — and the geophysical problem was a key motivation for solving the conjecture.

Their assumption, which differed from Michel’s, was that the curved space, or manifold, is structured with concentric layers. This allowed them to construct a solution in stages. “You go layer by layer, like peeling an onion,” says Uhlmann. For practical applications, this means that researchers will not only know that there is a unique solution to the problem; they will also have a procedure to calculate that solution explicitly.

The three mathematicians circulated their 50-page paper among a small pool of experts and then posted it in the arXiv repository. Depending on the feedback they get, the authors hope to submit it to a journal in the coming weeks.

From theory to reality

Vasy says that the work could be helpful to people who develop medical-imaging techniques such as ultrasound, as well as to seismologists.

But applying the theory to real geophysical data will not happen immediately, says Maarten de Hoop, a computational seismologist at Rice University in Houston, Texas. One difficulty is that the theory assumes that there is information at every point. But in reality, data are collected only at relatively sparse locations. Uhlmann says that he is working on that problem with colleagues who specialize in numerical analysis.

The improved mathematical approach probably won’t drastically change our picture of Earth’s structure yet, says de Hoop. But it could lead to a better understanding of known features, such as the mantle plumes underneath Iceland or Hawaii, and perhaps, to the discovery of new ones, he says.

As with every meaty mathematical result, “it will take a while to come to grips with it” and to vet the proof thoroughly, says Gabriel Paternain, a mathematician at the University of Cambridge, UK.

Experts are taking the claim seriously, in part because it builds on a technical step from a linear form of the problem that the community had already accepted as a breakthrough4, adds UCL mathematician Yaroslav Kurylev.

So far, says Paternain, the impression is “excellent”.

Journal name:
Nature
Volume:
542,
Pages:
281–282
Date published:
()
DOI:
doi:10.1038/nature.2017.21439

Updates

Updated:

This story has been updated to include a reference to the main paper, which has now been posted on the arXiv repository. The name of the third mathematician involved in the work has also been added.

References

  1. Stefanov, P., Uhlmann, G. & Vasy, A. Preprint at https://arxiv.org/abs/1702.03638 (2017).

  2. Michel, R. Invent. Math. 65, 7183 (1981).

  3. Pestov, L. & Uhlmann, G. Ann. of Math. 161, 10931110 (2005).

  4. Uhlmann, G. & Vasy, A. Invent. Math. 205, 83120 (2016).

For the best commenting experience, please login or register as a user and agree to our Community Guidelines. You will be re-directed back to this page where you will see comments updating in real-time and have the ability to recommend comments to other users.

Comments

Commenting is currently unavailable.

sign up to Nature briefing

What matters in science — and why — free in your inbox every weekday.

Sign up

Listen

new-pod-red

Nature Podcast

Our award-winning show features highlights from the week's edition of Nature, interviews with the people behind the science, and in-depth commentary and analysis from journalists around the world.