I suspect that it is necessary for a simplex mesh to include both time and space like edges. The squared edge lengths will thus have both signs. This is not a topological requirement, but a requirement for correct physics. Indeed if there were no space like edges there would be no way for effects to travel travel thru the mesh as fast as they do thru real space. This is the analog to the limits on dt in normal difference equations.

One scheme that attracts me is inspired by a note in Wald’s book concerning sufficient initial value information for propagating forward in time, given empty space.

The following is sufficient to compute forwards or backwards in time from a space like 3D section of the space-time manifold:

- The 3D metric for that section.
- The extrinsic curvature of the section as embedded in the space-time.

It is clear how to compute the extrinsic curvature when you have nominated a space slice which is a set of tetrahedra all of whose edges are space like. You take one of the triangular faces of one of these tetrahedra and compute “half way” around that triangular bone until you come to the tetrahedron in the slice on the other side of the bone. The cumulative coordinate transformations passing thru the past tense zones, compared with the ???