Related papers: Proper-time measurement in accelerated relativisti…
The successful miniaturisation of extremely accurate atomic clocks and atom interferometers invites prospects for satellite missions to perform precision experiments. We discuss the effects predicted by general relativity and alternative…
Synchronizing clocks to measure time is a fundamental process underpinning every practical communication task from GPS to parallel computation. However, as the current protocols are based on classical communication between the sender and…
According to general relativity, clocks are the basic measuring devices needed to probe spacetime geometry. However, it is generally accepted that the mass of clocks capable of measuring small time intervals must be bounded from below. In…
Einstein's Equivalence Principle is used with the electromagnetic spectrum to translate meters and seconds into radians and seconds. Based on a unique geometric relationship, a new transformation of velocities and a changed Lorentz…
Macro-realistic description of systems is based majorly on two basic intuitions about the classical world, namely, macrorealism per se, that is, the system is always in a distinct state, and non-invasive measurements, that is, measurements…
We consider the situation in which an observer internal to an isolated system wants to measure the total energy of the isolated system (this includes his own energy, that of the measuring device and clocks used, etc...). We show that he can…
Formal verification provides assurances that a probabilistic system satisfies its specification--conditioned on the system model being aligned with reality. We propose alignment monitoring to watch that this assumption is justified. We…
We study synchronization of random one-dimensional linear maps for which the Lyapunov exponent can be calculated exactly. Certain aspects of the dynamics of these maps are explained using their relation with a random walk. We confirm that…
We survey the role of stable clocks in general relativity. Clock comparisons have provided important tests of the Einstein Equivalence Principle, which underlies metric gravity. These include tests of the isotropy of clock comparisons…
A more complete theoretical model of testing Lorentz violation by the comparison of atomic clocks is developed in the Robertson-Mansouri-Sexl kinematic framework. As this frame postulates the deviation of the coordinate transformation from…
We begin with a scenario that involves point-like observers starting at t=0 from the origin O of an inertial reference frame. They move with all possible proper accelerations in the positive direction of the OX axis. Equipped with light…
The performance of optical clocks has strongly progressed in recent years, and accuracies and instabilities of 1 part in 10^18 are expected in the near future. The operation of optical clocks in space provides new scientific and…
Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies conformance of the system's behavior to the specified…
This paper derives practical algorithms, based on Bayesian inference methods, for several data analysis problems common in time series analysis of astronomical and other data. One problem is the determination of the lag between two time…
In this paper, we propose several models, which can realize synchronization of complex networks in finite time effectively. The results apply to heterogeneous dynamic networks, too. The mechanism of finite time convergence is revealed.…
Some known relativistic paradoxes are reconsidered for closed spaces, using a simple geometric model. For two twins in a closed space, a real paradox seems to emerge when the traveling twin is moving uniformly along a geodesic and returns…
A method is proposed to employ entangled and squeezed light for determining the position of a party and for synchronizing distant clocks. An accuracy gain over analogous protocols that employ classical resources is demonstrated and a…
Temporal steering and violation of the Leggett-Garg inequality are two different ways of probing the violation of macro-realistic assumptions in quantum mechanics. It is shown here that under unitary evolution and projective measurements…
We argue that (1) our perception of time through change and (2) the gap between reality and our observation of it are at the heart of both quantum mechanics and the dynamical mechanism of physical systems. We suggest that the origin of…
I show that the clock ambiguity cannot be solved by a purely relational condition like the noninteraction condition, and it is even stronger, extending to evolution laws. The ambiguity is solved by specifying the physical meaning of…