-
Roadmap towards the redefinition of the second
Authors:
N. Dimarcq,
M. Gertsvolf,
G. Mileti,
S. Bize,
C. W. Oates,
E. Peik,
D. Calonico,
T. Ido,
P. Tavella,
F. Meynadier,
G. Petit,
G. Panfilo,
J. Bartholomew,
P. Defraigne,
E. A. Donley,
P. O. Hedekvist,
I. Sesia,
M. Wouters,
P. Dube,
F. Fang,
F. Levi,
J. Lodewyck,
H. S. Margolis,
D. Newell,
S. Slyusarev
, et al. (12 additional authors not shown)
Abstract:
This paper outlines the roadmap towards the redefinition of the second, which was recently updated by the CCTF Task Force created by the CCTF in 2020. The main achievements and the open challenges related to the status of the optical frequency standards, their contribution to time scales and UTC, the possibility of their comparison and the knowledge of the Earth's gravitational potential at the ne…
▽ More
This paper outlines the roadmap towards the redefinition of the second, which was recently updated by the CCTF Task Force created by the CCTF in 2020. The main achievements and the open challenges related to the status of the optical frequency standards, their contribution to time scales and UTC, the possibility of their comparison and the knowledge of the Earth's gravitational potential at the necessary level of uncertainty are discussed. In addition, the mandatory criteria to be achieved before redefinition and their current fulfilment level, together with the redefinition options based on a single or on a set of transitions are described.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
Static Knowledge vs. Dynamic Argumentation: A Dual Theory Based on Kripke Semantics
Authors:
Xinyu Wang,
Momoka Fujieda
Abstract:
This paper establishes a dual theory about knowledge and argumentation. Our idea is rooted at both epistemic logic and argumentation theory, and we aim to merge these two fields, not just in a superficial way but to thoroughly disclose the intrinsic relevance between knowledge and argumentation. Specifically, we define epistemic Kripke models and argument Kripke models as a dual pair, and then wor…
▽ More
This paper establishes a dual theory about knowledge and argumentation. Our idea is rooted at both epistemic logic and argumentation theory, and we aim to merge these two fields, not just in a superficial way but to thoroughly disclose the intrinsic relevance between knowledge and argumentation. Specifically, we define epistemic Kripke models and argument Kripke models as a dual pair, and then work out a two-way generation method between these two types of Kripke models. Such generation is rigorously justified by a duality theorem on modal formulae's invariance. We also provide realistic examples to demonstrate our generation, through which our framework's practical utility gets strongly advocated. We finally propose a philosophical thesis that knowledge is essentially dynamic, and we draw certain connection to Maxwell's demon as well as the well-known proverb "knowledge is power".
△ Less
Submitted 26 September, 2022;
originally announced September 2022.
-
Advanced Satellite-based Frequency Transfer at the 10^{-16} Level
Authors:
M. Fujieda,
S-H. Yang,
T. Gotoh,
S-W. Hwang,
H. Hachisu,
H. Kim,
Y. K. Lee,
R. Tabuchi,
T. Ido,
W-K. Lee,
M-S. Heo,
C. Y. Park,
D-H. Yu,
G. Petit
Abstract:
Advanced satellite-based frequency transfers by TWCP and IPPP have been performed between NICT and KRISS. We confirm that the disagreement between them is less than 1x10^{-16} at an averaging time of several days. Additionally, an intercontinental frequency ratio measurement of Sr and Yb optical lattice clocks was directly performed by TWCP. We achieved an uncertainty at the mid-10^{-16} level aft…
▽ More
Advanced satellite-based frequency transfers by TWCP and IPPP have been performed between NICT and KRISS. We confirm that the disagreement between them is less than 1x10^{-16} at an averaging time of several days. Additionally, an intercontinental frequency ratio measurement of Sr and Yb optical lattice clocks was directly performed by TWCP. We achieved an uncertainty at the mid-10^{-16} level after a total measurement time of 12 hours. The frequency ratio was consistent with the recently reported values within the uncertainty.
△ Less
Submitted 6 October, 2017;
originally announced October 2017.
-
Direct comparison of optical lattice clocks with an intercontinental baseline of 9 000 km
Authors:
H. Hachisu,
M. Fujieda,
S. Nagano,
T. Gotoh,
A. Nogami,
T. Ido,
St. Falke,
N. Huntemann,
C. Grebing,
B. Lipphardt,
Ch. Lisdat,
D. Piester
Abstract:
We have demonstrated a direct frequency comparison between two $^{87}{\rm Sr}$ lattice clocks operated in intercontinentally separated laboratories in real time. Two-way satellite time and frequency transfer technique based on the carrier phase was employed for a direct comparison with a baseline of 9 000 km between Japan and Germany. A clock comparison was achieved for 83 640 s resulting in a fra…
▽ More
We have demonstrated a direct frequency comparison between two $^{87}{\rm Sr}$ lattice clocks operated in intercontinentally separated laboratories in real time. Two-way satellite time and frequency transfer technique based on the carrier phase was employed for a direct comparison with a baseline of 9 000 km between Japan and Germany. A clock comparison was achieved for 83 640 s resulting in a fractional difference of $(1.1\pm1.6) \times 10^{-15}$, where the statistical part is the biggest contribution to the uncertainty. This measurement directly confirms the agreement of the two optical clocks on an intercontinental scale.
△ Less
Submitted 12 July, 2014; v1 submitted 25 March, 2014;
originally announced March 2014.
-
Carrier-phase Two-Way Satellite Frequency Transfer over a Very Long Baseline
Authors:
M Fujieda,
D Piester,
T Gotoh,
J Becker,
M Aida,
A Bauch
Abstract:
In this paper we report that carrier-phase two-way satellite time and frequency transfer (TWSTFT) was successfully demonstrated over a very long baseline of 9,000 km, established between the National Institute of Information and Communications Technology (NICT) and the Physikalisch-Technische Bundesanstalt (PTB). We verified that the carrier-phase TWSTFT (TWCP) result agreed with those obtained by…
▽ More
In this paper we report that carrier-phase two-way satellite time and frequency transfer (TWSTFT) was successfully demonstrated over a very long baseline of 9,000 km, established between the National Institute of Information and Communications Technology (NICT) and the Physikalisch-Technische Bundesanstalt (PTB). We verified that the carrier-phase TWSTFT (TWCP) result agreed with those obtained by conventional TWSTFT and GPS carrier-phase (GPSCP) techniques. Moreover, a much improved short-term instability for frequency transfer of $2\times10^{-13}$ at 1 s was achieved, which is at the same level as previously confirmed over a shorter baseline within Japan. The precision achieved was so high that the effects of ionospheric delay became significant which are ignored in conventional TWSTFT even over a long link. We compensated for these effects using ionospheric delays computed from regional vertical total electron content maps. The agreement between the TWCP and GPSCP results was improved because of this compensation.
△ Less
Submitted 13 March, 2014;
originally announced March 2014.
-
Intercomparison Study of Time and Frequency Transfer between VLBI and Other Techniques (GPS, ETS8(TCE), TW(DPN) and DMTD)
Authors:
Hiroshi Takiguchi,
Moritaka Kimura,
Tetsuro Kondo,
Atsutoshi Ishii,
Hobiger Thomas,
Ryuichi Ichikawa,
Yasuhiro Koyama,
Yasuhiro Takahashi,
Fumimaru Nakagawa,
Maho Nakamura,
Ryo Tabuchi,
Shigeru Tsutshiya,
Shinichi Hama,
Tadahiro Gotoh,
Miho Fujieda,
Masanori Aida,
Tingyu Li,
Jun Amagai
Abstract:
We carried out the intercomparison experiments between VLBI and other techniques to show the capability of VLBI time and frequency transfer by using the current geodetic VLBI technique and facilities as the summary of the experiments that we carried out since 2007. The results from the two different types of experiments show that the VLBI is more stable than GPS but is slightly noisier than two ne…
▽ More
We carried out the intercomparison experiments between VLBI and other techniques to show the capability of VLBI time and frequency transfer by using the current geodetic VLBI technique and facilities as the summary of the experiments that we carried out since 2007. The results from the two different types of experiments show that the VLBI is more stable than GPS but is slightly noisier than two new two-way techniques (TW(DPN), ETS8(TCE)), and VLBI can measure the correct time difference as same as ETS8(TCE).
△ Less
Submitted 14 December, 2011;
originally announced December 2011.
-
All-optical link for direct comparison of distant optical clocks
Authors:
Miho Fujieda,
Motohiro Kumagai,
Shigeo Nagano,
Atsushi Yamaguchi,
Hidekazu Hachisu,
Tetsuya Ido
Abstract:
We developed an all-optical link system for making remote comparisons of two distant ultra-stable optical clocks. An optical carrier transfer system based on a fiber interferometer was employed to compensate the phase noise accumulated during the propagation through a fiber link. Transfer stabilities of $2\times10^{-15}$ at 1 second and $4\times10^{-18}$ at 1000 seconds were achieved in a 90-km li…
▽ More
We developed an all-optical link system for making remote comparisons of two distant ultra-stable optical clocks. An optical carrier transfer system based on a fiber interferometer was employed to compensate the phase noise accumulated during the propagation through a fiber link. Transfer stabilities of $2\times10^{-15}$ at 1 second and $4\times10^{-18}$ at 1000 seconds were achieved in a 90-km link. An active polarization control system was additionally introduced to maintain the transmitted light in an adequate polarization, and consequently, a stable and reliable comparison was accomplished. The instabilities of the all-optical link system, including those of the erbium doped fiber amplifiers (EDFAs) which are free from phase-noise compensation, were below $2\times10^{-15}$ at 1 second and $7\times10^{-17}$ at 1000 seconds. The system was available for the direct comparison of two distant $^{87}$Sr lattice clocks via an urban fiber link of 60 km. This technique will be essential for the measuring the reproducibility of optical frequency standards.
△ Less
Submitted 13 August, 2011;
originally announced August 2011.
-
Direct Comparison of Distant Optical Lattice Clocks at the $10^{-16}$ Uncertainty
Authors:
Atsushi Yamaguchi,
Miho Fujieda,
Motohiro Kumagai,
Hidekazu Hachisu,
Shigeo Nagano,
Ying Li,
Tetsuya Ido,
Tetsushi Takano,
Masao Takamoto,
Hidetoshi Katori
Abstract:
Fiber-based remote comparison of $^{87}$Sr lattice clocks in 24 km distant laboratories is demonstrated. The instability of the comparison reaches $5\times10^{-16}$ over an averaging time of 1000 s, which is two orders of magnitude shorter than that of conventional satellite links and is limited by the instabilities of the optical clocks. By correcting the systematic shifts that are predominated b…
▽ More
Fiber-based remote comparison of $^{87}$Sr lattice clocks in 24 km distant laboratories is demonstrated. The instability of the comparison reaches $5\times10^{-16}$ over an averaging time of 1000 s, which is two orders of magnitude shorter than that of conventional satellite links and is limited by the instabilities of the optical clocks. By correcting the systematic shifts that are predominated by the differential gravitational redshift, the residual fractional difference is found to be $(1.0\pm7.3)\times10^{-16}$, confirming the coincidence between the two clocks. The accurate and speedy comparison of distant optical clocks paves the way for a future optical redefinition of the second.
△ Less
Submitted 13 August, 2011;
originally announced August 2011.
-
Remote atomic clock synchronization via satellites and optical fibers
Authors:
D. Piester,
M. Rost,
M. Fujieda,
T. Feldmann,
A. Bauch
Abstract:
In the global network of institutions engaged with the realization of International Atomic Time (TAI), atomic clocks and time scales are compared by means of the Global Positioning System (GPS) and by employing telecommunication satellites for two-way satellite time and frequency transfer (TWSTFT). The frequencies of the state-of-the-art primary caesium fountain clocks can be compared at the level…
▽ More
In the global network of institutions engaged with the realization of International Atomic Time (TAI), atomic clocks and time scales are compared by means of the Global Positioning System (GPS) and by employing telecommunication satellites for two-way satellite time and frequency transfer (TWSTFT). The frequencies of the state-of-the-art primary caesium fountain clocks can be compared at the level of 10e-15 (relative, 1 day averaging) and time scales can be synchronized with an uncertainty of one nanosecond. Future improvements of worldwide clock comparisons will require also an improvement of the local signal distribution systems. For example, the future ACES (atomic clock ensemble in space) mission shall demonstrate remote time scale comparisons at the uncertainty level of 100 ps. To ensure that the ACES ground instrument will be synchronized to the local time scale at PTB without a significant uncertainty contribution, we have developed a means for calibrated clock comparisons through optical fibers. An uncertainty below 50 ps over a distance of 2 km has been demonstrated on the campus of PTB. This technology is thus in general a promising candidate for synchronization of enhanced time transfer equipment with the local realizations of UTC . Based on these experiments we estimate the uncertainty level for calibrated time transfer through optical fibers over longer distances. These findings are compared with the current status and developments of satellite based time transfer systems, with a focus on the calibration techniques for operational systems.
△ Less
Submitted 2 May, 2011;
originally announced May 2011.
-
Time Transfer Through Optical Fibers (TTTOF): Progress on Calibrated Clock Comparisons
Authors:
M. Rost,
M. Fujieda,
D. Piester
Abstract:
During the last years the transfer of frequency signals through optical fibers has shown ultra low instabilities in various configurations. The outstanding experimental results of such point-to-point connections is motivation to develop a means to extend the frequency transfer to accurate time transfer. We aim at the synchronization of clocks located at different places of the PTB campus with an o…
▽ More
During the last years the transfer of frequency signals through optical fibers has shown ultra low instabilities in various configurations. The outstanding experimental results of such point-to-point connections is motivation to develop a means to extend the frequency transfer to accurate time transfer. We aim at the synchronization of clocks located at different places of the PTB campus with an over-all uncertainty of less than 100 ps. Such an installation can be used as a part of the infrastructure connecting local time scales with the ground station setup during forthcoming ACES experiments and the local two-way satellite time and frequency transfer (TWSTFT) installations. This paper reports on the progress on time transfer through optical fibers (TTTOF) similar to the well known and long established TWSTFT scheme: A 10 MHz signal is transferred through an optical fiber connection to a remote site for realization of a time scale using a 10 MHz to 1PPS divider. For time transfer the 1PPS output is initially synchronized and then monitored by TWSTFT equipment connected by a second optical fiber to observe instabilities and uncertainties. Depending on further needs in future the transferred signal can be monitored only (for software correction) or controlled in real time by adding adequate phase shifters. We discuss procedures for a proper calibration of such TTTOF links and show results of experiments using fiber lengths up to two kilometers which prove that the proposed method is well suitable for the envisaged purpose.
△ Less
Submitted 21 December, 2010;
originally announced December 2010.
-
Time Transfer Through Optical Fibers (TTTOF): First Results of Calibrated Clock Comparisons
Authors:
D. Piester,
M. Fujieda,
M. Rost,
A. Bauch
Abstract:
We have developed a means for accurate time transfer using optical fibers and aim at the synchronization of clocks located at different places on an institute campus with an overall uncertainty of 100 ps or better. Such an installation shall be used as a part of the infrastructure connecting the ground station setups during forthcoming T2L2 and ACES experiments and the local installations at the…
▽ More
We have developed a means for accurate time transfer using optical fibers and aim at the synchronization of clocks located at different places on an institute campus with an overall uncertainty of 100 ps or better. Such an installation shall be used as a part of the infrastructure connecting the ground station setups during forthcoming T2L2 and ACES experiments and the local installations at the PTB time laboratory. Our target transmission length is less than 1 km. To transfer time, a code-domain-multiple-access (CDMA) signal is used for modulation of a laser. Optical signals are exchanged in the two-way mode to cancel long-term fiber length variation. This is similar to the well known two-way satellite time and frequency transfer (TWSTFT) scheme. We discuss procedures for a proper calibration of such time transfer through optical fibers links and show first promising results of an experiment using a test loop on the PTB campus with a length of 2 km.
△ Less
Submitted 29 January, 2010;
originally announced January 2010.