- The paper constructs a subluminal accelerating warp drive using only positive-energy matter, matching a flat passenger cavity to a Kinnersley–Robinson–Trautman photon-rocket exterior and an admissible shell.
- The paper proves that any confined positive-energy drive must radiate to change its Bondi velocity, and derives the steering law −ṁ ≥ 3m|α|, requiring about 80% mass loss to reach 0.5c and over 98% to reach 0.9c.
- The paper establishes perturbative and numerical shell-existence results, bounds acceleration through compactness, and identifies unresolved challenges including nonlinear back-reaction, flux-coupled stability, and rigorous frontier certification.
This paper constructs, and certifies, an accelerating warp drive built entirely from positive-energy matter. The construction inverts the usual design logic: rather than prescribing a metric and accepting whatever stress-energy the Einstein equations return (the route that forces exotic matter in the Alcubierre program), the author prescribes a passenger worldtube and its flat cavity, adopts the exact Kinnersley–Robinson–Trautman photon rocket as the exterior, and solves for the matching timelike shell. The organizing result is a classical conservation law read as a propulsion no-go, of which the explicit spacetime is a saturating instance.
The no-reactionless-steering theorem
The capstone is a model-independent theorem: for any asymptotically flat spacetime with a spatially confined material source satisfying the dominant energy condition and admitting Bondi–Sachs peeling, the Bondi four-momentum evolves only through the flux radiated to null infinity,
dudPBμ=−4π1∮[∣N(u,Ω)∣2+4πn2(u,Ω)]ℓ^μdΩ,
where N is the Bondi news and n2 the outgoing matter flux. Since both integrands are non-negative and contracted with a future-directed null vector, PBμ is constant on any flux-free segment: a confined positive-energy drive cannot change its velocity without radiating. The proof composes classical ingredients — the Dray–Streubel/Geroch–Winicour charge, the Bondi–Sachs flux law, and the Nester–Witten positivity of Bondi mass, which closes the "borrow momentum by driving the mass negative" loophole. The paper is careful about what is and is not new: the flux balance itself is classical; the contribution is its reading as a no-go, its separation from the center-of-mass "swimming" effect (which displaces position at fixed PBμ), and the explicit positive-energy saturating instance. The instantaneous identification of the center of mass with the ℓ=1 mass-aspect moment is conceded to be supertranslation-ambiguous in general; it is discharged exactly here because the Kinnersley exterior supplies the closed-form worldline PBμ=m(u)vμ(u).
The law is verified numerically to machine precision. The Bondi balance closes two independent ways — kinematically from PBμ=mvμ and from the curvature-derived flux — to ∼10−15, and a model-independent extractor confirms it on three spacetimes (Kinnersley, Schwarzschild, Vaidya). The Newman–Penrose peeling hypotheses are certified directly: Ψ2∼r−3 with fitted slopes N0, N1, N2, while a deliberately non-silent linearized-wave control reproduces N3, confirming that the Damour dipole's vanishing N4 is genuine gravitational-wave silence rather than an insensitive instrument.
The construction and the control law
The exterior stress-energy is pure outgoing null dust, N5, algebraically Hawking–Ellis Type II. Because N6 is null, every contraction with a causal vector is proportional to N7, so all bulk energy conditions (NEC, WEC, SEC, DEC) collapse to the single inequality N8. The field equations fix N9; writing the steering dipole as n20, with n21 equal to the covariant proper acceleration, positivity for all angles yields the closed-form control law
n22
The saturated integral is the Tsiolkovsky budget in Bondi form, n23. The factor 3, against the ideal collimated photon rocket's n24, is the price of the mandatory broad Kinnersley dipole exhaust, which delivers only the n25 projection of its radiated energy as net momentum. The paper is explicit that this factor is a property of the news-silent Robinson–Trautman class, not a fundamental floor: a more collimated exhaust would approach n26, at the cost of leaving the gravitational-wave–silent class. The cost is severe — reaching n27 radiates roughly 80% of the rest mass, and n28 more than 98% — but it is positive and finite.
Existence of admissible accelerating shells
The static anchor is a Schwarzschild–Minkowski thin shell, whose surface DEC holds strictly for compactness n29 (the flat-interior thin-shell case of the rigorous static Buchdahl bounds of Andréasson and Horvat–Ilijić). The linearized first-junction (Darmois) map at the anchor is the round-sphere rigidity operator PBμ0, boundedly invertible off the three-dimensional PBμ1 translation kernel by Cohn–Vossen rigidity — so local solvability is a rigidity fact, not an assumption. Continuity of the worst-observer surface DEC margin then gives, via the implicit function theorem, an unconditional (though perturbative) existence theorem: admissible accelerating shells exist in an open neighborhood of the anchor, with the bulk law forcing the binding slice PBμ2.
A companion proposition lifts this from a sequence of per-instant snapshots to a genuinely time-evolved spacetime for slow burns, conditional on the dynamical PBμ3 persistence of the anchor solvability — the one hypothesis the dynamical result does not prove analytically, though it is realized numerically and checked by a Newton–Kantorovich existence test.
The reconciliation with the companion boundary-cost result (0/600 admissible smooth shells) is direct: that obstruction lived in the finite-width source–vacuum transition, appearing as Hawking–Ellis Type IV stress in the tail. The distributional junction removes the gradient tail, and the non-vacuum positive-radiation exterior removes the "matter dies into vacuum" spike.
The acceleration–compactness frontier
A Buchdahl-type bound PBμ4 caps the proper acceleration of a positive-energy shell. The frontier is bracketed:
| Quantity |
Status |
Value |
| PBμ5 |
numerically verified lower bound |
PBμ6–PBμ7 at PBμ8–PBμ9, falling to PBμ0 at PBμ1 |
| PBμ2 |
true nonlinear frontier |
no closed form; set by global PBμ3 shape response |
| PBμ4 |
rigorous kinematic ceiling |
exact, shape-independent |
The rigorous ceiling follows from the exact rear-pole identity PBμ5: the areal foliation stays regular only if the rear pole remains outside its acceleration-induced effective horizon, i.e. PBμ6. This is the one rigorous closed-form member of the hierarchy; the tighter envelope PBμ7 is conceded to be heuristic. Notably, the frozen-shape rear-pole margin actually opens at low order, so the frontier is forced by the global nonlinear shape response — an PBμ8 effect, not the linear dipole. A finite-duration bump maneuver at PBμ9, ℓ=10 is certified admissible at every retarded step, with Bondi balance closing to ℓ=11 and a rapidity gain of 0.24 radiating about 51% of the rest mass.
Thick walls, back-reaction, and stability
The thin shell is realized as the limit of finite-thickness admissible matter. The matter model matters decisively: a generic smoothstep Kerr–Schild thickening (radial tension) reproduces the boundary-cost DEC violation in the static limit, whereas a tangential-pressure wall (ℓ=12, load carried by ℓ=13) is strictly DEC-admissible across its whole width for local compactness ℓ=14. The admissibility windows nest by matter model — ℓ=15 (collisionless Vlasov, photon-sphere limited) ℓ=16 (anisotropic elastic) ℓ=17 (distributional shell). Grafted with outgoing null radiation, the idealized ℓ=18 two-component stress stays Type I (discriminant ℓ=19), and the adiabatic self-consistent Eddington–Finkelstein wall remains a machine-precision Einstein solution (PBμ=m(u)vμ(u)0) with strictly positive margin through PBμ=m(u)vμ(u)1 at tested amplitudes. A substantive sign reversal is reported here: the frozen-background calculation suggests radiation raises the margin, but with the metric free to respond the flux tightens it, PBμ=m(u)vμ(u)2, while preserving admissibility.
On stability, the realized wall sits exactly on the Poisson–Visser marginal curve PBμ=m(u)vμ(u)3 for all PBμ=m(u)vμ(u)4 — a neutral zero mode. Under the frozen-background rear-pole redshift it e-folds in PBμ=m(u)vμ(u)5–PBμ=m(u)vμ(u)6 light-crossing times, and the burn outruns this only in a restricted high-compactness, brief-rapidity corner; the certified PBμ=m(u)vμ(u)7 burn lasts roughly twice the square-pulse lower bound, so even that corner is not certified safe without active stabilization. A slightly stiffer wall is strictly stable at no energy-condition cost (the surface DEC margin is junction-fixed and independent of the equation-of-state slope), so strict stability and strict DEC decouple. The fully dynamical, flux-coupled stability of the radiating shell is left open.
Optimal control and observational signature
Within the gravitational-wave–silent class, the von der Gönna–Kramer converse (vanishing news forces PBμ=m(u)vμ(u)8 emission) makes the Damour dipole the unique silent steering, and a Pontryagin argument shows the minimum-fuel optimum saturates the control law pointwise, PBμ=m(u)vμ(u)9, with minimum PBμ=mvμ0. The numerical optimizer exhibits the PBμ=mvμ1 collapse of higher multipoles under any news penalty; the bare (PBμ=mvμ2) program instead drives a singular rear-pole spike, excluded precisely because it lies outside the silent class. The free-profile problem — optimizing the shape of PBμ=mvμ3 itself over multi-burn trajectories against the moving frontier — is explicitly deferred.
The mandatory exhaust is an observable: the certified burn peaks at luminosity PBμ=mvμ4 per light-crossing time, with a single rear lobe vanishing at the forward pole at saturation. No specific photon spectrum is claimed; the construction fixes the energy–momentum budget and angular pattern, not the exhaust microphysics.
Limitations and scope
The paper states its boundaries plainly. The construction is subluminal and causal; it is a rocket, not a reactionless drive; passengers feel genuine proper acceleration (though the flat cavity's tidal tensor vanishes identically, verified to machine precision for PBμ=mvμ5); the energy cost is astronomical; and the solution exists only on a finite retarded-time slab, with no claim of eternal existence. The existence theorem is unconditional but perturbative, with finite-amplitude reach established numerically (Darmois match to PBμ=mvμ6–PBμ=mvμ7, Kantorovich contraction below threshold by PBμ=mvμ8–PBμ=mvμ9 at low compactness); a rigorous validated-interval version of the frontier bracket is left open, as are the saturating-amplitude all-angle dynamical certificate, the ∼10−150 back-reaction (non-negligible at the certified burn's ∼10−151), and the fully flux-coupled stability analysis. The Santiago–Schuster–Visser no-go is evaded, not contradicted — its hypotheses (vacuum shift-bubble exterior) simply do not describe this construction — and the Ford–Roman quantum-inequality obstruction is inapplicable because no negative energy appears anywhere.
Conclusion
The paper establishes that steering a warp drive is an energy-budget problem rather than an exotic-matter problem: no confined positive-energy drive can change its Bondi four-momentum without radiating, and the photon-rocket warpshell is an explicit positive-energy object that saturates that law, with a closed-form steering law ∼10−152, an admissible matched shell certified perturbatively and at finite amplitude, a Buchdahl-type acceleration frontier bracketed between ∼10−153 and ∼10−154, and a minimum-radiation maneuver that is the Damour dipole. The remaining open questions are concrete: the saturating-amplitude dynamical certificate, rigorous validated bounds on the frontier, the ∼10−155 back-reaction, flux-couled stability, and multi-burn trajectory optimization over the admissible radiation cone.