C-0005 Verified MODERATE certainty
A 100 m Alcubierre bubble travelling at v_s = c with a 1 mm wall requires about 3.74e32 kg of negative mass-equivalent, that is roughly 188 solar masses. The requirement is astrophysical in scale, not engineering.
Standing our derivation · numerical result · TRL 1 Assumes the tanh shape function of eq. 3, with wall thickness identified as 1/sigma; r_c = r_s in eq. 16 — no longer an assumption: derived independently in compute/verify_energy_density.py and recorded as C-0006; classical general relativity, no quantum corrections and no backreaction; energy density as measured by Eulerian observers; no quantum inequality constraint is applied, so these are a lower bound on the difficulty rather than an estimate of it Stops applying any construction that is not the original 1994 metric with this shape function; in particular Van Den Broeck-type volume tricks and Natario-class metrics are not covered Computed in compute/energy_budget.py, tests/test_energy_budget.py
What it rests on
E-0009 · S-0002 — The warp drive: hyper-fast travel within general relativity · equation
…pidly a "top hat" function: With the above definitions, the metric () can be rewritten as: d s^2 = - d t^2 + ( d x - v_s f ( r_s ) d t )^2 + d y^2 + d z^2 . It is easy to understand the geometry of our spacetime from the previous expressions. Firs…
EXACT · re-found in source
E-0010 · S-0002 — The warp drive: hyper-fast travel within general relativity · equation
…metric that has this property is given by (G = c = 1): where: and where f is the function: f ( r_s ) = \frac{\tanh ( \sigma ( r_s + R ) ) - \tanh ( \sigma ( r_s - R ) ) }{ 2 \tanh ( \sigma R )} , with R>0 and sigma>0 arbitrary parameters. Notice that for large sigma the function f(r) a…
EXACT · re-found in source
E-0012 · S-0002 — The warp drive: hyper-fast travel within general relativity · equation
…s is given by: then one can show that these observers will see an energy density given by: T^{\alpha \beta} n_{\alpha} n_{\beta} = \alpha^2 T^{ 0 0} = \frac{1}{8 \pi} G^{ 0 0} = - \frac{1}{8 \pi} \frac{v_s^2 \rho^2}{4 {r_c}^2} ( \frac{d f}{d r_s} )^2 . The fact that this expression is everywhere negative implies that the weak and dominant en…
EXACT · re-found in source
Attacks run against it
X-0015 SURVIVED unstated assumption · by straz
Hunted for a convention smuggled under 'wall thickness'. A reader who takes d to mean the 10-90 transition width — the laboratory convention — rather than 1/sigma gets a wall 2.1972x thinner at the same words (factor found by bisection on the exact shape function) and a figure of 8.22e32 kg instead of 3.74e32: the third digit of the claim lives in the convention. The claim survives because the regime of C-0004, which it depends on, states 'wall thickness identified as 1/sigma' explicitly. Without that line this attack would have been a refutation.