View source for Einstein synchronisation

{{short description|Convention for synchronising clocks}}
'''Einstein synchronisation''' (or '''Poincaré&ndash;Einstein synchronisation''') is a [[Convention (norm)|convention]]  for synchronising clocks at different places by means of signal exchanges. This synchronisation method was used by telegraphers in the middle 19th century,{{cn|date=July 2023}} but was popularized by [[Henri Poincaré]] and [[Albert Einstein]], who applied it to light signals and recognized its fundamental role in [[Theory of relativity|relativity theory]]. Its principal value is for clocks within a single inertial frame.

==Einstein==
According to [[Albert Einstein]]'s prescription from 1905, a light signal is sent at time <math>\tau_1</math> from clock 1 to clock 2 and immediately back, e.g. by means of a mirror. Its arrival time back at clock 1 is <math>\tau_2</math>. This synchronisation convention sets clock 2 so that the time <math>\tau_3</math> of signal reflection is defined to be<ref>{{Citation | author=Einstein, A. | year=1905 | title=Zur Elektrodynamik bewegter Körper | journal=Annalen der Physik | volume=17 | pages=891–921 | bibcode=1905AnP...322..891E | doi=10.1002/andp.19053221004 | issue=10 | doi-access=free }}.

See also [http://www.fourmilab.ch/etexts/einstein/specrel/ English translation]</ref>
<math display="block">\tau_3 = \tau_1 + \tfrac{1}{2}(\tau_2 - \tau_1) = \tfrac{1}{2}(\tau_1 + \tau_2).</math>

The same synchronisation is achieved by transporting a third clock from clock 1 to clock 2 "slowly" (that is, considering the limit as the transport velocity goes to zero). The literature discusses many other thought experiments for clock synchronisation giving the same result.

The problem is whether this synchronisation does really succeed in assigning a time label to any event in a consistent way. To that end one should find conditions under which:
{{ordered list | list-style-type = lower-alpha
| 1 = clocks once synchronised remain synchronised,
| 2 = <nowiki/>
# the synchronisation is [[reflexive relation|reflexive]], that is any clock is synchronised with itself (automatically satisfied),
# the synchronisation is [[symmetric relation|symmetric]], that is if clock A is synchronised with clock B then clock B is synchronised with clock A,
# the synchronisation is [[transitive relation|transitive]], that is if clock A is synchronised with clock B and clock B is synchronised with clock C then clock A is synchronised with clock C.
}}
If point (a) holds then it makes sense to say that clocks are synchronised. Given (a), if (b1)&ndash;(b3) hold then the synchronisation allows us to build a global time function {{math|''t''}}. The slices {{math|''t'' {{=}} const}}. are called "simultaneity slices".

Einstein (1905) did not recognize the possibility of reducing (a) and (b1)&ndash;(b3) to easily verifiable physical properties of light propagation (see below). Instead he just wrote "''We assume that this definition of synchronism is free from contradictions, and possible for any number of points; and that the following'' (that is b2&ndash;b3) ''relations are universally valid''."

[[Max von Laue]] was the first to study the problem of the consistency of Einstein's synchronisation.<ref>{{Citation | author=Laue, M. | year=1911 | title=Das Relativitätsprinzip | publisher=Friedr. Vieweg & Sohn | place=Braunschweig }}. For an account of the early history see {{Citation | author=Minguzzi, E. | year=2011 | title=The Poincaré-Einstein synchronization: historical aspects and new developments | journal= J. Phys.: Conf. Ser.  | volume =306 | issue=1 | pages =012059 | doi=10.1088/1742-6596/306/1/012059 |bibcode = 2011JPhCS.306a2059M | doi-access=free }}</ref> [[Ludwik Silberstein]] presented a similar study although he left most of his claims as an exercise for the readers of his textbook on relativity.<ref>{{Citation | author=Silberstein, L. | year=1914 | title=The theory of relativity | publisher=Macmillan | place=London }}.</ref> Max von Laue's arguments were taken up again by [[Hans Reichenbach]],<ref>{{Citation | author=Reichenbach, H. | year=1969 | title=Axiomatization of the Theory of Relativity | publisher=University of California Press | place=Berkeley }}.</ref> and found a final shape in a work by Alan Macdonald.<ref>{{Citation | author=Macdonald, A. | year=1983 | title=Clock synchronization, a universal light speed, and the terrestrial red-shift experiment | journal=American Journal of Physics | volume =51 | pages =795–797 | doi=10.1119/1.13500|bibcode = 1983AmJPh..51..795M | issue=9 | citeseerx=10.1.1.698.3727 }}</ref> The solution is that the Einstein synchronisation satisfies the previous requirements if and only if the following two conditions hold:

* ''No redshift'': If from point A two flashes are emitted separated by a time interval {{math|Δ''t''}} as recorded by a clock at A, then they reach B separated by the same time interval {{math|Δ''t''}} as recorded by a clock at B.
* ''Reichenbach's round-trip condition'': If a light beam is sent over the triangle ABC, starting from A and reflected by mirrors at B and C, then its arrival time back to A is independent of the direction followed (ABCA or ACBA).

Once clocks are synchronised one can measure the [[one-way speed of light]]. However, the previous conditions that guarantee the applicability of Einstein's synchronisation do not imply that the one-way light speed turns out to be the same all over the frame. Consider

* ''Laue–Weyl's round-trip condition'': The time needed by a light beam to traverse a closed path of length {{math|''L''}} is {{math|''L''/''c''}}, where {{math|''L''}} is the length of the path and {{math|''c''}} is a constant independent of the path.

A theorem<ref>{{Citation |author1=Minguzzi, E.  |author2=Macdonald, A. | year=2003 | title=Universal one-way light speed from a universal light speed over closed paths | journal=Foundations of Physics Letters| volume =16 | pages =593–604 | doi=10.1023/B:FOPL.0000012785.16203.52|arxiv = gr-qc/0211091 |bibcode = 2003FoPhL..16..593M | issue=6 |s2cid=5387834 }}</ref> (whose origin can be traced back to von Laue and [[Hermann Weyl]])<ref>{{Citation | author=Weyl, H. | year=1988 | title=Raum Zeit Materie | publisher=Springer-Verlag | place=New York }}  Seventh edition based on the fifth German edition (1923).</ref> states that Laue–Weyl's round trip condition holds if and only if the Einstein synchronisation can be applied consistently (i.e. (a) and (b1)&ndash;(b3) hold) and the one-way speed of light with respect to the so synchronised clocks is a constant all over the frame. The importance of Laue–Weyl's condition stands on the fact that the time there mentioned can be measured with only one clock; thus this condition does not rely on synchronisation conventions and can be experimentally checked. Indeed, it has been experimentally verified that the Laue–Weyl round-trip condition holds throughout an inertial frame.

Since it is meaningless to measure a one-way velocity prior to the synchronisation of distant clocks, experiments claiming a measure of the one-way speed of light can often be reinterpreted as verifying the Laue–Weyl's round-trip condition.

The Einstein synchronisation looks this natural only in [[inertial frame]]s. One can easily forget that it is only a convention. In rotating frames, even in special relativity, the non-transitivity of Einstein synchronisation diminishes its usefulness. If clock 1 and clock 2 are not synchronised directly, but by using a chain of intermediate clocks, the synchronisation depends on the path chosen. Synchronisation around the circumference of a rotating disk gives a non-vanishing time difference that depends on the direction used. This is important in the [[Sagnac effect]] and the [[Ehrenfest paradox]]. The [[Global Positioning System]] accounts for this effect.

A substantive discussion of Einstein synchronisation's conventionalism is due to [[Hans Reichenbach]].{{citation needed|date=May 2023}} Most attempts to negate the conventionality of this synchronisation are considered refuted,{{citation needed|date=May 2023}} with the notable exception{{citation needed|date=May 2023}} of [[David Malament]]'s argument, that it can be derived from demanding a symmetrical relation of causal connectability. Whether this settles the issue is disputed.{{by whom|date=June 2023}}

==History: Poincaré==
{{Main|History of special relativity}}
Some features of the conventionality of synchronization were discussed by [[Henri Poincaré]].<ref>Galison (2002).</ref><ref>Darrigol (2005).</ref> In 1898 (in a philosophical paper) he argued that the assumption of light's uniform speed in all directions is useful to formulate physical laws in a simple way. He also showed that the definition of simultaneity of events at different places is only a convention.<ref>{{Citation|author=Poincaré, Henri|year=1898–1913|title=The foundations of science|chapter=[[s:The Measure of Time|The Measure of Time]]|place=New York|publisher=Science Press|pages=222&ndash;234}}</ref> Based on those conventions, but within the framework of the now superseded [[Lorentz ether theory|aether theory]], Poincaré in 1900 proposed the following convention for defining clock synchronisation: 2 observers A and B, which are moving in the aether, synchronise their clocks by means of optical signals. Because of the [[relativity principle]] they believe themselves to be at rest in the aether and assume that the speed of light is constant in all directions. Therefore, they have to consider only the transmission time of the signals and then crossing their observations to examine whether their clocks are synchronous.

{{Quote|Let us suppose that there are some observers placed at various points, and they synchronize their clocks using light signals. They attempt to adjust the measured transmission time of the signals, but they are not aware of their common motion, and consequently believe that the signals travel equally fast in both directions. They perform  observations of crossing signals, one traveling from A to B, followed by another traveling from B to A. The local time <math>t'</math> is the time indicated by the clocks which are so adjusted. If <math>V=\tfrac{1}{\sqrt{K_{0}}}</math> is the speed of light, and <math>v</math> is the speed of the Earth which we suppose is parallel to the <math>x</math> axis, and in the positive direction, then we have: <math>t'=t-\tfrac{vx}{V^{2}}</math>.<ref>{{Citation|author=Poincaré, Henri|year=1900|title=La théorie de Lorentz et le principe de réaction|journal=Archives Néerlandaises des Sciences Exactes et Naturelles|volume=5|pages=252–278|title-link=s:fr:La théorie de Lorentz et le principe de réaction}}. See also the [http://www.physicsinsights.org/poincare-1900.pdf English translation].</ref>}}

In 1904 Poincaré illustrated the same procedure in the following way:

{{Quote|Imagine two observers who wish to adjust their timepieces by optical signals; they exchange signals, but as they know that the transmission of light is not instantaneous, they are careful to cross them. When station B perceives the signal from station A, its clock should not mark the same hour as that of station A at the moment of sending the signal, but this hour augmented by a constant representing the duration of the transmission. Suppose, for example, that station A sends its signal when its clock marks the hour 0, and that station B perceives it when its clock marks the hour <math>t</math>. The clocks are adjusted if the slowness equal to t represents the duration of the transmission, and to verify it, station B sends in its turn a signal when its clock marks 0; then station A should perceive it when its clock marks <math>t</math>. The timepieces are then adjusted. And in fact they mark the same hour at the same physical instant, but on the one condition, that the two stations are fixed. Otherwise the duration of the transmission will not be the same in the two senses, since the station A, for example, moves forward to meet the optical perturbation emanating from B, whereas the station B flees before the perturbation emanating from A. The watches adjusted in that way will not mark, therefore, the true time; they will mark what may be called the ''local time'', so that one of them will be slow of the other.<ref>{{Citation|author=Poincaré, Henri|year=1904–1906|chapter=[[s:The Principles of Mathematical Physics|The Principles of Mathematical Physics]]|title=Congress of arts and science, universal exposition, St. Louis, 1904|volume=1|pages=604–622|publisher=Houghton, Mifflin and Company|place=Boston and New York}}</ref>}}

==See also==
*[[Relativity of simultaneity]]
*[[One-way speed of light]]

==References==
{{Reflist}}

== Literature ==
*{{Citation|author=Darrigol, Olivier|title=The Genesis of the theory of relativity|year=2005|journal=Séminaire Poincaré|volume=1|pages=1–22|url=http://www.bourbaphy.fr/darrigol2.pdf|doi=10.1007/3-7643-7436-5_1|bibcode=2006eins.book....1D|isbn=978-3-7643-7435-8}}
* [[Dennis Dieks|D. Dieks]], ''Becoming, relativity and locality'', in ''The Ontology of Spacetime'', [http://philsci-archive.pitt.edu/archive/00002533/ online]
* [[Dennis Dieks|D. Dieks]] (ed.), ''The Ontology of Spacetime'', Elsevier 2006, {{ISBN|0-444-52768-0}}
* D. Malament,  1977. "Causal Theories of Time and the Conventionality of Simultaniety," Noûs 11, 293&ndash;300.
* Galison, P. (2003), Einstein's Clocks, Poincaré's Maps: Empires of Time, New York: W.W. Norton, {{ISBN|0-393-32604-7}}
* A. Grünbaum. ''David Malament and the Conventionality of Simultaneity: A Reply'', [http://philsci-archive.pitt.edu/archive/00000184/ online]
* S. Sarkar, J. Stachel, ''Did Malament Prove the Non-Conventionality of Simultaneity in the Special Theory of Relativity?'', Philosophy of Science, Vol. 66, No. 2
* H. Reichenbach, ''Axiomatization of the theory of relativity'', Berkeley University Press, 1969
* H. Reichenbach, ''The philosophy of space & time'', Dover, New York, 1958
* H. P. Robertson, ''Postulate versus Observation in the Special Theory of Relativity'', Reviews of Modern Physics, 1949
* R. Rynasiewicz, ''Definition, Convention, and Simultaneity: Malament's Result and Its Alleged Refutation by Sarkar and Stachel'', Philosophy of Science, Vol. 68, No. 3, Supplement, [http://philsci-archive.pitt.edu/archive/00000350/ online]
* Hanoch Ben-Yami, ''Causality and Temporal Order in Special Relativity'', British Jnl. for the Philosophy of Sci., Volume 57, Number 3, pp.&nbsp;459&ndash;479, [https://web.archive.org/web/20061003172711/http://bjps.oxfordjournals.org/cgi/content/short/axl019v1 abstract online]

==External links==
*Stanford Encyclopedia of Philosophy, ''Conventionality of Simultaneity'' [http://plato.stanford.edu/entries/spacetime-convensimul/] (contains extensive bibliography)
*Neil Ashby, ''Relativity in the Global Positioning System'', Living Rev. Relativ. 6,  (2003), [http://www.livingreviews.org/lrr-2003-1]
* [http://math.ucr.edu/~jdp/Relativity/Calibration.html How to Calibrate a Perfect Clock] ''from John de Pillis'': An interactive Flash animation showing how a clock with uniform ticking rate can precisely define a one-second time interval.
* [http://math.ucr.edu/~jdp/Relativity/Clock_Synch.html Synchronizing Five Clocks] ''from John de Pillis.'' An interactive Flash animation showing how five clocks are synchronised within a single inertial frame.

{{DEFAULTSORT:Einstein Synchronisation}}
[[Category:Theory of relativity]]
[[Category:Albert Einstein]]