We care about your data, and we'd like to use cookies to give you a smooth browsing experience. Please agree and read more about our privacy policy.
Quanta Homepage
  • Physics
  • Mathematics
  • Biology
  • Computer Science
  • Topics
  • Archive
Mathematicians Disprove Conjecture Made to Save Black Holes
Comment
Read Later
Share
Facebook
Twitter
Copied!
Copy link
Email
Pocket
Reddit
Ycombinator
Flipboard
    • Comment
      Comments
    • Read Later
    general relativity

    Mathematicians Disprove Conjecture Made to Save Black Holes

    By Kevin Hartnett

    May 17, 2018

    Mathematicians have disproved the strong cosmic censorship conjecture. Their work answers one of the most important questions in the study of general relativity and changes the way we think about space-time.
    Comment
    Read Later
    Illustration of a black hole with a Cauchy horizon

    Maciej Rebisz for Quanta Magazine

    Kevin Hartnett
    By Kevin Hartnett

    Contributing Writer


    May 17, 2018


    View PDF/Print Mode
    black holesgeneral relativitygravitational wavesgravitymathematical physicsmathematicspartial differential equationsphysicsspace-timeAll topics

    Introduction

    Nearly 40 years after it was proposed, mathematicians have settled one of the most profound questions in the study of general relativity. In a paper posted online last fall, mathematicians Mihalis Dafermos and Jonathan Luk have proven that the strong cosmic censorship conjecture, which concerns the strange inner workings of black holes, is false.

    “I personally view this work as a tremendous achievement — a qualitative jump in our understanding of general relativity,” emailed Igor Rodnianski, a mathematician at Princeton University.

    The strong cosmic censorship conjecture was proposed in 1979 by the influential physicist Roger Penrose. It was meant as a way out of a trap. For decades, Albert Einstein’s theory of general relativity had reigned as the best scientific description of large-scale phenomena in the universe. Yet mathematical advances in the 1960s showed that Einstein’s equations lapsed into troubling inconsistencies when applied to black holes. Penrose believed that if his strong cosmic censorship conjecture were true, this lack of predictability could be disregarded as a mathematical novelty rather than as a sincere statement about the physical world.

    “Penrose came up with a conjecture that basically tried to wish this bad behavior away,” said Dafermos, a mathematician at Princeton University.

    This new work dashes Penrose’s dream. At the same time, it fulfills his ambition by other means, showing that his intuition about the physics inside black holes was correct, just not for the reason he suspected.

    Relativity’s Cardinal Sin

    In classical physics, the universe is predictable: If you know the laws that govern a physical system and you know its initial state, you should be able to track its evolution indefinitely far into the future. The dictum holds true whether you’re using Newton’s laws to predict the future position of a billiard ball, Maxwell’s equations to describe an electromagnetic field, or Einstein’s theory of general relativity to predict the evolution of the shape of space-time. “This is the basic principle of all classical physics going back to Newtonian mechanics,” said Demetrios Christodoulou, a mathematician at ETH Zurich and a leading figure in the study of Einstein’s equations. “You can determine evolution from initial data.”

    But in the 1960s mathematicians found a physical scenario in which Einstein’s field equations — which form the core of his theory of general relativity — cease to describe a predictable universe. Mathematicians and physicists noticed that something went wrong when they modeled the evolution of space-time inside a rotating black hole.

    To understand what went wrong, imagine falling into the black hole yourself. First you cross the event horizon, the point of no return (though to you it looks just like ordinary space). Here Einstein’s equations still work as they should, providing a single, deterministic forecast for how space-time will evolve into the future.

    But as you continue to travel into the black hole, eventually you pass another horizon, known as the Cauchy horizon. Here things get screwy. Einstein’s equations start to report that many different configurations of space-time could unfold. They’re all different, yet they all satisfy the equations. The theory cannot tell us which option is true. For a physical theory, it’s a cardinal sin.

    “The loss of predictability that we seem to find in general relativity was very disturbing,” said Eric Poisson, a physicist at the University of Guelph in Canada.

    Roger Penrose proposed the strong cosmic censorship conjecture to restore predictability to Einstein’s equations. The conjecture says that the Cauchy horizon is a figment of mathematical thought. It might exist in an idealized scenario where the universe contains nothing but a single rotating black hole, but it can’t exist in any real sense.

    The reason, Penrose argued, is that the Cauchy horizon is unstable. He said that any passing gravitational waves should collapse the Cauchy horizon into a singularity — a region of infinite density that rips space-time apart. Because the actual universe is rippled with these waves, a Cauchy horizon should never occur in the wild.

    As a result, it’s nonsensical to ask what happens to space-time beyond the Cauchy horizon because space-time, as it’s regarded within the theory of general relativity, no longer exists. “This gives one a way out of this philosophical conundrum,” said Dafermos.

    This new work shows, however, that the boundary of space-time established at the Cauchy horizon is less singular than Penrose had imagined.

    To Save a Black Hole

    Dafermos and Luk, a mathematician at Stanford University, proved that the situation at the Cauchy horizon is not quite so simple. Their work is subtle — a refutation of Penrose’s original statement of the strong cosmic censorship conjecture, but not a complete denial of its spirit.

    Building on methods established a decade ago by Christodoulou, who was Dafermos’s adviser in graduate school, the pair showed that the Cauchy horizon can indeed form a singularity, but not the kind Penrose anticipated. The singularity in Dafermos and Luk’s work is milder than Penrose’s — they find a weak “light-like” singularity where he had expected a strong “space-like” singularity. This weaker form of singularity exerts a pull on the fabric of space-time but doesn’t sunder it. “Our theorem implies that observers crossing the Cauchy horizon are not torn apart by tidal forces. They may feel a pinch, but they are not torn apart,” said Dafermos in an email.

    Because the singularity that forms at the Cauchy horizon is in fact milder than predicted by the strong cosmic censorship conjecture, the theory of general relativity is not immediately excused from considering what happens inside. “It still makes sense to define the Cauchy horizon because one can, if one wishes, continuously extend the space-time beyond it,” said Harvey Reall, a physicist at the University of Cambridge.

    Dafermos and Luk prove that space-time extends beyond the Cauchy horizon. They also prove that from the same starting point, it can extend in any number of ways: Past the horizon “there are many such extensions that one could entertain, and there is no good reason to prefer one to the other,” said Dafermos.

    Yet — and here’s the subtlety in their work — these nonunique extensions of space-time don’t mean that Einstein’s equations go haywire beyond the horizon.

    Einstein’s equations work by quantifying how space-time changes over time. In mathematical language, it takes derivatives of an initial configuration of space-time. In order for it to be possible to take a derivative, space-time has to be sufficiently “smooth” — free of discontinuous jumps. Dafermos and Luk indicate that while space-time exists beyond the Cauchy horizon, this extended space-time isn’t smooth enough to actually satisfy Einstein’s equations. Thus, even with the strong cosmic censorship proven false, the equations are still spared the ignominy of outputting nonunique solutions.

    “It makes sense to talk of the Cauchy horizon; however, you can’t continue beyond it as a solution of Einstein’s equations,” said Reall. “They’ve offered pretty convincing evidence that that is true, in my opinion.”

    You could think of this outcome as a disappointing compromise: Even though you can extend space-time beyond the Cauchy horizon, Einstein’s equations can’t be solved. But it’s precisely the fact that this middle ground seems to exist that makes Dafermos and Luk’s work so interesting.

    “This is people really discovering a new phenomenon in the Einstein equations,” said Rodnianski.

    Correction: This article was updated on May 18, 2018, to reflect that it has been 40 years since Roger Penrose proposed the strong cosmic censorship conjecture, not 60 years.

    Share this article
    Facebook
    Twitter
    Copied!
    Copy link
    Email
    Pocket
    Reddit
    Ycombinator
    Flipboard

    Newsletter

    Get Quanta Magazine delivered to your inbox

    Recent newsletters
    Kevin Hartnett
    By Kevin Hartnett

    Contributing Writer


    May 17, 2018


    View PDF/Print Mode
    black holesgeneral relativitygravitational wavesgravitymathematical physicsmathematicspartial differential equationsphysicsspace-timeAll topics
    Share this article
    Facebook
    Twitter
    Copied!
    Copy link
    Email
    Pocket
    Reddit
    Ycombinator
    Flipboard

    Newsletter

    Get Quanta Magazine delivered to your inbox

    Recent newsletters
    The Quanta Newsletter

    Get highlights of the most important news delivered to your email inbox

    Recent newsletters

    Comment on this article

    Quanta Magazine moderates comments to facilitate an informed, substantive, civil conversation. Abusive, profane, self-promotional, misleading, incoherent or off-topic comments will be rejected. Moderators are staffed during regular business hours (New York time) and can only accept comments written in English. 

    Illustration of a hanging mobile with "Planet 9" weighing down 2015 BP519's orbit, thus tilting it.

    Next article

    A New World’s Extraordinary Orbit Points to Planet Nine
    Quanta Homepage
    Facebook
    Twitter
    Youtube
    Instagram

    • About Quanta
    • Archive
    • Contact Us
    • Terms & Conditions
    • Privacy Policy
    • Simons Foundation
    All Rights Reserved © 2023