Related papers: Using Isabelle to verify special relativity, with …
The recent discovery of apparent cosmic acceleration has highlighted the depth of our ignorance of the fundamental properties of nature. It is commonly assumed that the explanation for acceleration must come from a new form of energy…
While it has often been proposed that, fundamentally, Lorentz-invariance is not respected in a quantum theory of gravity, it has been difficult to reconcile deviations from Lorentz-invariance with quantum field theory. The most commonly…
Mechanized theorem proving is becoming the basis of reliable systems programming and rigorous mathematics. Despite decades of progress in proof automation, writing mechanized proofs still requires engineers' expertise and remains labor…
The speed of light is a complicated synthesizer quantity with distinctive origins which lead to coincident values in the standard theory. Due to the fact that different aspects of speed of light do not coincide in the local inertial frame…
The invariance of the speed of light in all inertial frames - the second postulate of special theory of relativity (STR) - is shown to be an inevitable consequence of the relativity principle of special theory of relativity taken in…
Besides two fundamental postulates, (i) the principle of relativity and (ii) the constancy of the speed of light in all inertial frames of reference, special relativity uses the assumption about the Euclidean structures of gravity-free…
The Einstein postulates assert an invariance of the propagation speed of light in vacuum for any observer, and which amounts to a presumed absence of any preferred frame. The postulates appear to be directly linked to relativistic effects…
We present empirical evidence extracted directly from the Pantheon Catalog of SNeIa demonstrating that the speed of light varies as the universe expands. Moreover, the speed of light must vary in a specific quantifiable manner. To show…
Naively applying Hubble's law to a sufficiently distant object gives a receding velocity larger than the speed of light. By discussing a very similar situation in special relativity, we argue that Hubble's law is meaningful only for nearby…
An interpretation of the recent results reported by the OPERA collaboration is that neutrinos propagation in vacuum exceeds the speed of light. It has been further been suggested that this interpretation can be attributed to the variation…
When faced with the question of how to represent properties in a formal proof system any user has to make design decisions. We have proved three of the theorems from Maskin's 2004 survey article on Auction Theory using the Isabelle/HOL…
Using elementary knowledge of Special Relativity, we design a computational classroom experiment in excel and python. Here, we show that any inertial observer $\mathcal{B}$ with an arbitrary speed $u_\mathcal{B}$ is associated with a unique…
Some standard results on the initial value problem of general relativity in matter are reviewed. These results are applied first to show that in a well defined sense, finite perturbations in the gravitational field travel no faster than…
Einstein observers in flat space-time are inertial observers which use light to synchronize their clocks. For such observers, speed of light is a constant by construction. However, one can use super-translations to change coordinates from…
When Alice went `Through the Looking Glass' [1], she found herself in a situation where she had to run as fast as she could in order to stay still. In accordance with the dictum that truth is stranger than fiction, we will see that it is…
In his paper "A very simple solution to the OPERA neutrino velocity problem" the author J. Manuel Garcia-Islas claims to have very easily solved and explained within the general theory of relativity that OPERA's neutrinos are not traveling…
Within an axiomatic framework, we prove that the existence of faster than light particles is consistent with (does not contradict) the dynamics of Einstein's special relativity.
We examine the transformation of particle trajectories in models with deformations of Special Relativity that have an energy-dependent and observer-independent speed of light. These transformations necessarily imply that the notion of what…
Simply by assuming the first postulate of Special Relativity and by exploring Gedankenexperiments with electromagnetic forces, we suggest that there is a speed limit in the universe, which can be determined as a relation between vacuum…
The varying speed of light theories have been recently proposed to solve the standard model problems and anomalies in the ultra high energy cosmic rays. These theories try to formulate a new relativity with no assumptions about the…