Discrete Routh Reduction

This paper develops the theory of abelian Routh reduction for discrete mechanical systems and applies it to the variational integration of mechanical systems with abelian symmetry. The reduction of variational Runge-Kutta discretizations is considered, as well as the extent to which symmetry reduction and discretization commute. These reduced methods allow the direct simulation of dynamical features such as relative equilibria and relative periodic orbits that can be obscured or difficult to identify in the unreduced dynamics. The methods are demonstrated for the dynamics of an Earth orbiting satellite with a non-spherical $J_2$ correction, as well as the double spherical pendulum. The $J_2$ problem is interesting because in the unreduced picture, geometric phases inherent in the model and those due to numerical discretization can be hard to distinguish, but this issue does not appear in the reduced algorithm, where one can directly observe interesting dynamical structures in the reduced phase space (the cotangent bundle of shape space), in which the geometric phases have been removed. The main feature of the double spherical pendulum example is that it has a nontrivial magnetic term in its reduced symplectic form. Our method is still efficient as it can directly handle the essential non-canonical nature of the symplectic structure. In contrast, a traditional symplectic method for canonical systems could require repeated coordinate changes if one is evoking Darboux' theorem to transform the symplectic structure into canonical form, thereby incurring additional computational cost. Our method allows one to design reduced symplectic integrators in a natural way, despite the noncanonical nature of the symplectic structure.Comment: 24 pages, 7 figures, numerous minor improvements, references added, fixed typo

Coupling Non-Gravitational Fields with Simplicial Spacetimes

The inclusion of source terms in discrete gravity is a long-standing problem. Providing a consistent coupling of source to the lattice in Regge Calculus (RC) yields a robust unstructured spacetime mesh applicable to both numerical relativity and quantum gravity. RC provides a particularly insightful approach to this problem with its purely geometric representation of spacetime. The simplicial building blocks of RC enable us to represent all matter and fields in a coordinate-free manner. We provide an interpretation of RC as a discrete exterior calculus framework into which non-gravitational fields naturally couple with the simplicial lattice. Using this approach we obtain a consistent mapping of the continuum action for non-gravitational fields to the Regge lattice. In this paper we apply this framework to scalar, vector and tensor fields. In particular we reconstruct the lattice action for (1) the scalar field, (2) Maxwell field tensor and (3) Dirac particles. The straightforward application of our discretization techniques to these three fields demonstrates a universal implementation of coupling source to the lattice in Regge calculus.Comment: 10 pages, no figures, Latex, fixed typos and minor corrections

Laplacians on discrete and quantum geometries

We extend discrete calculus for arbitrary ($p$-form) fields on embedded lattices to abstract discrete geometries based on combinatorial complexes. We then provide a general definition of discrete Laplacian using both the primal cellular complex and its combinatorial dual. The precise implementation of geometric volume factors is not unique and, comparing the definition with a circumcentric and a barycentric dual, we argue that the latter is, in general, more appropriate because it induces a Laplacian with more desirable properties. We give the expression of the discrete Laplacian in several different sets of geometric variables, suitable for computations in different quantum gravity formalisms. Furthermore, we investigate the possibility of transforming from position to momentum space for scalar fields, thus setting the stage for the calculation of heat kernel and spectral dimension in discrete quantum geometries.Comment: 43 pages, 2 multiple figures. v2: discussion improved, references added, minor typos correcte