1: \begin{abstract}

2: A scheme is presented for accurately propagating the gravitational field

3: constraints in finite difference implementations of numerical relativity.

4: The method is based on similar techniques used in astrophysical

5: magnetohydrodynamics and engineering electromagnetics, and has properties

6: of a finite differential calculus on a four-dimensional manifold.  It is

7: motivated by the arguments that 1) an evolutionary scheme that naturally

8: satisfies the Bianchi identities will propagate the constraints, and 2)

9: methods in which temporal and spatial derivatives commute will satisfy

10: the Bianchi identities implicitly.  The proposed algorithm exactly

11: propagates the constraints in a local Riemann normal coordinate system;

12: {\it i.e.}, all terms in the Bianchi identities (which all vary as

13: $\partial^3 g$) cancel to machine roundoff accuracy at each time step.

14: In a general coordinate basis, these terms, and those that vary as

15: $\partial g~\partial^2 g$, also can be made to cancel, but differences of

16: connection terms, proportional to $(\partial g)^3$, will remain, resulting

17: in a net truncation error.  Detailed and complex numerical experiments

18: with four-dimensional staggered grids will be needed to completely

19: examine the stability and convergence properties of this method.

20: 

21: If such techniques are successful for finite difference implementations

22: of numerical relativity, other implementations, such as finite element

23: (and eventually pseudo-spectral) techniques, might benefit from schemes that use

24: four-dimensional grids and that have temporal and spatial derivatives

25: that commute.

26: \end{abstract}

27: