Remix.run Logo
dhosek 5 hours ago

I figure at least some of it comes from the idea that mathematically, a singularity is a point (e.g., in the graph of z=1/w, there is a singularity at the point w=0, and in the graph of z=(1-w)²/(1-w) there is a removable singularity at w=1 (that is, the function is undefined at w=1, but if you put a point at (1,0), the graph will be continuous and no longer have any holes in it). The fact that both have the same name and the similar behavior of a black hole singularity to a mathematical singularity¹ can lead people to make an incorrect assumption.

1. I must admit to a lack of sufficient GR education to feel confident in this, but I think that one of the issues that made physicists unwilling to accept the idea of black holes when they were first postulated was that there ended up being a division by zero in the mathematics.

sigmoid10 5 hours ago | parent | next [-]

>The fact that both have the same name

They don't just have the same name, they are the same thing.

A Schwarzschild black hole has both: a removable singularity at the event horizon that is just an artefact of a particular choice of coordinates and a true non-removable mathematical singularity at r=0 where curvature really does go to infinity. It also wouldn't be much of an issue in classical physics, because this singularity is always hidden from outside observers, so the mathematical weirdness there can't screw with your normal predictions in space outside the black hole. The problems start once you consider quantum mechanics, because any such singularity will break unitarity (a fancy way of saying that probabilities must add up to 1), which means your theory as a whole can no longer make predictions. This has opened a whole can of worms with a bunch of solution attempts, which are all sadly untestable for the foreseeable future.

NooneAtAll3 4 hours ago | parent | next [-]

OSM - slight generalization of Schwarzshild BH, where you take evolving spherically-symmetric mass distribution instead of point mass - shows that point singularity in the middle can be naked (aka observable), so it's not just QM that causes worms...

https://en.wikipedia.org/wiki/Oppenheimer–Snyder_model

kadoban 3 hours ago | parent | prev [-]

> The problems start once you consider quantum mechanics, because any such singularity will break unitarity (a fancy way of saying that probabilities must add up to 1), which means your theory as a whole can no longer make predictions.

How is this any different than classical? Isn't it still just an ~impossibility hidden behind an event horizon in either model?

flavenstein 2 hours ago | parent [-]

With our current understanding, baryon and lepton number are not conserved as a black hole radiates. I think this is a better demonstration of the incompatibility with classical and quantum mechanics.

senderista 2 hours ago | parent | prev [-]

> 1. I must admit to a lack of sufficient GR education to feel confident in this, but I think that one of the issues that made physicists unwilling to accept the idea of black holes when they were first postulated was that there ended up being a division by zero in the mathematics.

Well, the Ricci curvature scalar blows up to infinity, which is obviously unphysical.

zmgsabst 16 minutes ago | parent [-]

Why is it unphysical?