Without negative matter, it's impossible to build a wormhole that's shorter than the distance through normal space.
This piece of math shows that it may still be possible to build a wormhole which isn't shorter than that distance. Obviously that wouldn't be much of a shortcut, but the potential research and (maybe) real-world applications are still impressive.
I was asking about the particular usage of the average null energy condition as justification to rule out wormholes: why isn’t that just begging the question by assuming your conclusion? and how does that particular assumption actually lead to the conclusion there can’t be wormholes?
It’s interesting the downvotes for asking someone to support a scientific claim, and be clear where they’re making assumptions versus reaching empirical conclusions.
That's right. When you have a mathematical theory, there are often extremal cases that predict strange things that have never been observed. At this point you have a choice to make:
1) Assume the mathematical theory is too permissive, and rule out the things you have no reason to exist, and hope to find a more elegant theory (on the controversial metaphysical assumption that simpler/elegant theories are more likely to be correct)
2) Assume that the mathematical theory is pointing you in a direction to search for a new phenomenon, and build things like superconducting supercolliders to search for empirical evidence.
With wormholes, we're a bit stuck in that we are decades to centuries away from empirically testing the theories, so physically the Average Null Energy Condition is moot -- it's fine math to do, as groundwork/scaffolding for future physics, but it doesn't say anything physically until we get empirical evidence for or against it.
Okay — and just to be clear, there’s nothing problematic to me about simplifying assumptions or effective theories.
Both are important tools for making predictions tractable.
But when we lose sight of what are conclusions, what are strongly justified assumptions, and what are simplifying assumptions we don’t have justification for (or even know to be untrue), we begin to create fundamentally inaccurate models or wrongly shut down others’ avenues of inquiry.
This happens in economics and business quite often, but simplifying assumptions become orthodox truth with surprising frequency in hard sciences like physics, as well.
This piece of math shows that it may still be possible to build a wormhole which isn't shorter than that distance. Obviously that wouldn't be much of a shortcut, but the potential research and (maybe) real-world applications are still impressive.