Abstract:
In a previous work we showed that, in a suitable setting, one can use diffeomorphism invariance in order to derive gravitational field equations from boundary terms of the gravitational action. Standing by our results we reply here to a recent comment questioning their validity.

Abstract:
We show that diffeomorphism invariance of the Maxwell and the Dirac-Hestenes equations implies the equivalence among different universe models such that if one has a linear connection with non-null torsion and/or curvature the others have also. On the other hand local Lorentz invariance implies the surprising equivalence among different universe models that have in general different G-connections with different curvature and torsion tensors.

Abstract:
We study certain aspects of the recently proposed notion of nonrelativistic diffeomorphism invariance. In particular, we consider specific examples of invariant actions, extended gauge symmetry as well as an application to the theory of quantum Hall effect. We also discuss an alternative approach based on Horava-Lifshitz gravity.

Abstract:
We propose a lattice counterpart of diffeomorphism symmetry in the continuum. A functional integral for quantum gravity is regularized on a discrete set of space-time points, with fermionic or bosonic lattice fields. When the space-time points are positioned as discrete points of a continuous manifold, the lattice action can be reformulated in terms of average fields within local cells and lattice derivatives. Lattice diffeomorphism invariance is realized if the action is independent of the positioning of the space-time points. Regular as well as rather irregular lattices are then described by the same action. Lattice diffeomorphism invariance implies that the continuum limit and the quantum effective action are invariant under general coordinate transformations - the basic ingredient for general relativity. In our approach the lattice diffeomorphism invariant actions are formulated without introducing a metric or other geometrical objects as fundamental degrees of freedom. The metric rather arises as the expectation value of a suitable collective field. As examples, we present lattice diffeomorphism invariant actions for a bosonic non-linear sigma-model and lattice spinor gravity.

Abstract:
If general relativity is an emergent phenomenon, there may be small violations of diffeomorphism invariance. We propose a phenomenology of perturbatively small violations of general relativity by the inclusion of terms which break general covariance. These can be tested by matching to the Parametrized Post Newtonian (PPN) formalism. The most sensitive tests involve pulsar timing and provide an extremely strong bound, with a dimensionless constraint of order 10^{-20} relative to gravitational strength.

Abstract:
Quantum simulations of High Energy Physics, and especially of gauge theories, is an emerging and exciting direction in quantum simulations. However, simulations of such theories, compared to simulations of condensed matter physics, must satisfy extra restrictions, such as local gauge and Lorentz invariance. In this paper we discuss these special requirements, and present a new method for quantum simulation of lattice gauge theories using ultracold atoms. This method allows to include local gauge invariance as a fundamental symmetry of the atomic Hamiltonian, arising from natural atomic interactions and conservation laws (and not as a property of a low energy sector). This allows us to implement elementary gauge invariant interactions for three lattice gauge theories: compact QED (U(1)), SU(N) and Z_N, which can be used to build quantum simulators in 1+1 dimensions. We also present a new loop method, which uses the elementary interactions as building blocks in the effective construction of quantum simulations for d+1 dimensional lattice gauge theories (d>1), without having to use Gauss's law as a constraint, as in previous proposals. We discuss in detail the quantum simulation of 2+1 dimensional compact QED and provide a numerical proof of principle. The simplicity of the already gauge invariant elementary interactions of this model suggests it may be useful for future experimental realizations.

Abstract:
We consider the role of the diffeomorphism constraint in the quantization of lattice formulations of diffeomorphism invariant theories of connections. It has been argued that in working with abstract lattices, one automatically takes care of the diffeomorphism constraint in the quantum theory. We use two systems in order to show that imposing the diffeomorphism constraint is imperative to obtain a physically acceptable quantum theory. First, we consider $2+1$ gravity where an exact lattice formulation is available. Next, general theories of connections for compact gauge groups are treated, where the quantum theories are known --for both the continuum and the lattice-- and can be compared.

Abstract:
This paper is intended to study diffeomorphism invariance and diffeomorphism generation in the modified theory of gravity proposed by Horava. Firstly, we demonstrate that the theory does not lose diffeomorphism invariance due to the parameter $\lambda$, as it was previously believed. However, we show that the presence of terms containing the Levi-Civita symbol in the original proposal of Horava makes the theory diffeomorphism dependent. By neglecting such terms, what returns fully diffeomorphism invariance to the action, we obtain the equations of motion. Secondly, in the Hamiltonian formalism, we calculate the transformations generated by some of the constraints of the theory. Then, we prove that all diffeomorphisms of General Relativity are generated, on the energy shell, by the constraints of the Horava-Lifshitz gravity.

Abstract:
The key ingredient for lattice regularized quantum gravity is diffeomorphism symmetry. We formulate a lattice functional integral for quantum gravity in terms of fermions. This allows for a diffeomorphism invariant functional measure and avoids problems of boundedness of the action. We discuss the concept of lattice diffeomorphism invariance. This is realized if the action does not depend on the positioning of abstract lattice points on a continuous manifold. Our formulation of lattice spinor gravity also realizes local Lorentz symmetry. Furthermore, the Lorentz transformations are generalized such that the functional integral describes simultaneously euclidean and Minkowski signature. The difference between space and time arises as a dynamical effect due to the expectation value of a collective metric field. The quantum effective action for the metric is diffeomorphism invariant. Realistic gravity can be obtained if this effective action admits a derivative expansion for long wavelengths.

Abstract:
In this paper, we explicitly prove the presymplectic forms of the Palatini and Ashtekar gravity to be zero along gauge orbits of the Lorentz and diffeomorphism groups, which ensures the diffeomorphism invariance of these theories.