Observer-robust energy condition verification for warp drive spacetimes

An T. Le

We present \texttt{warpax}, a JAX-based toolkit that certifies the energy condition structure of warp drive spacetimes for all observers, in a frame-independent way, from the eigen…