Related papers: Univalent foundations and the equivalence principl…
The work argues the principle of equivalence to be a theorem and not a principle (in a sense of an axiom). It contains a detailed analysis of the concepts of normal and inertial frame of reference. The equivalence principle is proved to be…
It was generally believed that, in general relativity, the fundamental laws of nature should be invariant or covariant under a general coordinate transformation. In general relativity, the equivalence principle tells us the existence of a…
We present a direct confirmation of the validity of the equivalence principle for unstructured test bodies in scalar tensor gravity. Our analysis is complementary to previous approaches and valid for a large class of scalar-tensor theories…
The principle of equivalence in gravitational physics and its mathematical base are reviewed. It is demonstrated how this principle can be realized in classical electrodynamis. In general, it is valid at any given single point or along a…
Modern formulations of equivalence principles provide the foundation for an efficient approach to understanding and organizing the structural features of gravitation field theories. Since theories' predictions reflect differences in their…
We consider the empirical validity of the equivalence principle for non-baryonic matter. Working in the context of the TH\epsilon\mu formalism, we evaluate the constraints experiments place on parameters associated with violation of the…
In this paper, we analyze and compare three of the many algebraic structures that have been used for modeling dependent type theories: categories with families, split type-categories, and representable maps of presheaves. We study these in…
Let $(X,\left\Vert \cdot \right\Vert )$ be a real normed space of dimension $N\in \mathbb{N}$ with a basis $(e_{i})_{1}^{N}$ such that the norm is invariant under coordinate permutations. Assume for simplicity that the basis constant is at…
With an eye on developing a quantum theory of gravity, many physicists have recently searched for quantum challenges to the equivalence principle of general relativity. However, as historians and philosophers of science are well aware, the…
After reviewing the meaning of various equivalence principles and the structure of electrodynamics, we give a fairly detailed account of the construction of the light cone and a core metric from the equivalence principle for the photon (no…
In this note we remark on the problem of equality of objects in categories formalized in Martin-L\"of's constructive type theory. A standard notion of category in this system is E-category, where no such equality is specified. The main…
The so-called Geometric Trinity of Gravity includes General Relativity (GR), based on spacetime curvature; the Teleparallel Equivalent of GR (TEGR), which relies on spacetime torsion; and the Symmetric Teleparallel Equivalent of GR (STEGR),…
The Strong equivalence Principle (SEP) states that the description of a physical system in a gravitational field is indistinguishable from the description of the same system at rest in an accelerating frame. While this statement holds true…
The role of the Equivalence Principle (EP) in classical and quantum mechanics is reviewed. It is shown that the weak EP has a counterpart in quantum theory, a Quantum Equivalence Principle (QEP). This implies that also in the quantum domain…
We show that the recently formulated Equivalence Principle (EP) implies a basic cocycle condition both in Euclidean and Minkowski spaces, which holds in any dimension. This condition, that in one-dimension is sufficient to fix the…
The equivalence principle is treated on a mathematically rigorous base on sufficiently general subsets of a differentiable manifold. This is carried out using the basis of derivations of the tensor algebra over that manifold. Necessary…
The Einstein Equivalence Principle (EEP) has a central role in the understanding of gravity and space-time. In its weak form, or Weak Equivalence Principle (WEP), it directly implies equivalence between inertial and gravitational mass.…
The standard argument for the validity of Einstein's equivalence principle in a non-relativistic quantum context involves the application of a mass superselection rule. It is surprising that the consistency between such an important…
The equivalence principle, being one of the building blocks of general relativity, seems to be also crucial for analysis of quantum effects in gravity. In this paper we consider the question if the equivalence principle has to hold for…
We show how modern methods can be applied to quantum gravity at low energy. We test how quantum corrections challenge the classical framework behind the Equivalence Principle, for instance through introduction of non-locality from quantum…