arXiv subjects

Yuko Hanado

Publications and source records attributed to Yuko Hanado.

11 recordsLinked to original sources

arXiv2026

Explicit Ensemble Mean Synchronization for Time Scale Generation with Mixed Atomic Clock Ensembles

In this paper, we consider a mixed ensemble containing a mixture of cesium-type and hydrogen maser-type atomic clocks. For the mixed ensemble, the conventional Kalman filtering algorithm has certain limitations due to divergence of the error covariance matrix. To overcome these limitations, we obtain a Kalman filtering algorithm based on observable canonical decomposition that does not have any diverging terms. We use the estimates from the transformed Kalman filter to propose a time scale generation algorithm called explicit ensemble mean synchronization algorithm for the mixed ensemble. In this algorithm, we synchronize the time deviation of each clock from the ideal clock behavior to the unobservable ensemble mean of the phases where the weighting can be decided by the user. By regulating the free-running dynamics associated with the unobservable state, through choosing an appropriate weight vector, the frequency stability of the generated time scale or the synchronized time shared by the clocks is optimized over shorter (resp. longer) intervals, as measured by Hadamard variance. An illustrative example is given to demonstrate the efficiency of our algorithm.

eess.SY↗

arXiv2026

Optimal GNSS Time Tracking for Long-term Stable Time Realisation in Synchronised Atomic Clocks

In this manuscript, we propose a novel optimal Global Navigation Satellite System (GNSS) time tracking algorithm to collectively steer an ensemble consisting of synchronising miniature atomic clocks towards standard GNSS time. The synchronising miniature atomic clocks generate a common synchronised time which has good short term performance but its accuracy and precision, which is measured by Allan variance, deteriorates in the long run. So, a supervisor designs and periodically broadcasts the proposed GNSS time tracking control to the ensemble miniature atomic clocks that steer the average of ensemble towards the average of GNSS receivers, which are receivers of GNSS time. The tracking control is constructed using a Kalman filter estimation process that estimates the difference in average of GNSS receivers and average of ensemble clocks by using relative clock readings between GNSS receivers and their adjacent ensemble clock. Under the influence of the periodically received tracking control, the stabilised ensemble clocks have better long term accuracy and precision over long averaging periods. Since the tracking control is designed to solely influence the average of the ensemble, the tracking process does not interfere with the synchronisation process and vice versa. The feedback matrix associated with the tracking control is obtained from an optimisation problem that minimises steady-state Allan variance. Numerical results are provided to show the efficacy of the proposed algorithm for enhancing long term performance.

eess.SY↗

arXiv2025

Hierarchical Distributed Architecture for the Least Allan Variance Atomic Timing

In this paper, we propose a hierarchical distributed timing architecture based on an ensemble of miniature atomic clocks. The goal is to ensure synchronized and accurate timing in a normal operating mode where Global Navigation Satellite System (GNSS) signals are available, as well as in an emergency operating mode during GNSS failures. At the lower level, the miniature atomic clocks employ a distributed control strategy that uses only local information to ensure synchronization in both modes. The resulting synchronized time or generated time scale has the best frequency stability, as measured by the Allan variance, over the short control period. In the upper layer, a supervisor controls the long-term behavior of the generated time scale. In the normal operating mode, the supervisor periodically anchors the generated time scale to the standard time based on GNSS signals, while in the emergency operating mode, it applies optimal floating control to reduce the divergence rate of the generated time scale, which is not observable from the measurable time difference between the miniature atomic clocks. This floating control aims to explicitly control the generated time scale to have the least Allan variance over the long control period. Finally, numerical examples are provided to show that the proposed architecture achieves an Allan variance on the order of $10^{-23}$ over averaging times ranging from one second to several days. This demonstrates its effectiveness and feasibility for high-precision, GNSS-resilient atomic timing.

eess.SY↗

arXiv2025

Explicit Ensemble Mean Clock Synchronization for Optimal Atomic Time Scale Generation

This paper presents a novel theoretical framework, called explicit ensemble mean (EEM) synchronization. This framework unifies time scale generation, clock synchronization, and oscillator frequency regulation within the systems and control theory paradigm. By exploiting the observable canonical decomposition of a standard atomic ensemble clock model, the system is decomposed into two complementary components: the observable part, which represents the synchronization error, and the unobservable part, which captures the synchronization destination. Within this structure, we mathematically prove that standard Kalman filtering, which is widely used in current time scale generation, not only performs observable state estimation, but also significant unobservable state estimation, and it can be interpreted as a special case of the proposed framework that optimizes long-term frequency stability in terms of the Allan variance. Furthermore, applying state feedback control based on Kalman filtering to each component achieves optimal time scale generation, clock synchronization, and oscillator frequency regulation in a unified manner. The proposed framework provides a foundation for developing explainable timing systems.

eess.SY↗

arXiv2023

Relations Between Generalized JST Algorithm and Kalman Filtering Algorithm for Time Scale Generation

In this paper, we present a generalized Japan Standard Time algorithm (JST-algo) for higher-order atomic clock ensembles and mathematically clarify the relations of the (generalized) JST-algo and the conventional Kalman filtering algorithm (CKF-algo) in the averaged atomic time and the clock residuals for time scale generation. In particular, we reveal the fact that the averaged atomic time of the generalized JST-algo does not depend on the observation noise even though the measurement signal is not filtered in the algorithm. Furthermore, the prediction error of CKF- algo is rigorously shown by using the prediction error regarding an observable state space. It is mathematically shown that when the covariance matrices of system noises are identical for all atomic clocks, considering equal averaging weights for the clocks is a necessary and sufficient condition to ensure equivalence between the generalized JST-algo and CKF-algo in averaged atomic time. In such homogeneous systems, a necessary and sufficient condition for observation noises is presented to determine which algorithm can generate the clock residuals with smaller variances. A couple of numerical examples comparing the generalized JST-algo and CKF-algo are provided to illustrate the efficacy of the results.

eess.SY↗

arXiv2023

Structured Kalman Filter for Time Scale Generation in Atomic Clock Ensembles

In this article, we present a structured Kalman filter associated with the transformation matrix for observable Kalman canonical decomposition from conventional Kalman filter (CKF) in order to generate a more accurate time scale. The conventional Kalman filter is a special case of the proposed structured Kalman filter which yields the same predicted unobservable or observable states when some conditions are satisfied. We consider an optimization problem respective to the transformation matrix where the objective function is associated with not only the expected value of prediction error but also its variance. We reveal that such an objective function is a convex function and show some conditions under which CKF is nothing but the optimal algorithm if ideal computation is possible without computation error. A numerical example is presented to show the robustness of the proposed method in terms of the initial error covariance

eess.SY↗

arXiv2023

Higher-Order Allan Variance for Atomic Clocks of Arbitrary Order: Mathematical Foundation

In this paper, we perform a time-domain analysis of the higher-order Allan variance for atomic clock models of arbitrary order. Adopting a standard atomic clock model where the time series of the clock reading deviation is expressed as a Wiener or integrated Wiener process, we define the higher-order Allan variance as the mean squared higher-order difference of the clock reading deviation. The main results of this paper are threefold. First, we prove that the higher-order difference operation of the clock reading deviation, which can be interpreted as a linear aggregation with binomial coefficients, is not only sufficient but also necessary for a resulting aggregated time series to be an independent and identically distributed Gaussian process. Second, we derive a complete analytical expression of the higher-order Allan variance, which consists of both time-dependent and time-independent terms. Third, we prove that the higher-order Allan variance is time-independent if and only if the order of difference operation is greater than or equal to the order of the atomic clock model.

math.PR↗

arXiv2020

Absolute frequency of $^{87}\mathrm{Sr}$ at $1.8 \times 10^{-16}$ uncertainty by reference to remote Primary Frequency Standards

The optical lattice clock NICT-Sr1 regularly reports calibration measurements of the international timescale TAI. By comparing measurement results to the reports of eight Primary Frequency Standards, we find the absolute frequency of the $^{87}\mathrm{Sr}$ clock transition to be f(Sr)=$429\,228\,004\,229\,873.082(76)$, with a fractional uncertainty of less than 1.8x10$^{-16}$ approaching the systematic limits of the best realization of SI second. Our result is consistent with other recent measurements and further supported by the loop closure over the absolute frequencies of $^{87}\mathrm{Sr}$, $^{171}\mathrm{Yb}$ and direct optical measurements of their ratio.

physics.atom-ph↗

arXiv2018

Range Variation Monitoring with Wireless Two-Way Interferometry (Wi-Wi)

We demonstrated a simple technique for monitoring range variation with millimeter-precision between two remote sites using off-the-shelf wireless communication modules. The need for the flexible positioning of wireless devices is significantly increasing as more devices are being connected and new services are being developed that require devices to collaborate with one another. We showed that one can monitor the distance variation by analyzing the propagation delay of the wireless communication signal between devices. We previously reported a technique for synchronizing clocks with picosecond precision by monitoring the time variation of two rubidium clocks located at remote sites. Precise measurement of the propagation time variation was necessary for precise synchronization of the clocks, and we used this information to estimate the distance with high precision. In a localized situation, our technique makes it easy to implement a millimeter-precision measurement system. Furthermore, it is less complex in terms of system design and can be a low-cost alternative to existing systems that require precise position measurement. We envision that this demonstrated protocol will be implemented in wireless communication chips and microprocessing units.

eess.SP↗

arXiv2018

Months-long real-time generation of a time scale based on an optical clock

Time scales consistently provide precise time stamps and time intervals by combining atomic frequency standards with a reliable local oscillator. Optical frequency standards, however, have not been applied to the generation of time scales, although they provide superb accuracy and stability these days. Here, by steering an oscillator frequency based on the intermittent operation of a $^{87}$Sr optical lattice clock, we realized an "optically steered" time scale TA(Sr) that was continuously generated for half a year. The resultant time scale was as stable as International Atomic Time (TAI) with its accuracy at the $10^{-16}$ level. We also compared the time scale with TT(BIPM16). TT(BIPM) is computed in deferred time each January based on a weighted average of the evaluations of the frequency of TAI using primary and secondary frequency standards. The variation of the time difference TA(Sr) $-$ TT(BIPM16) was 0.79 ns after 5 months, suggesting the compatibility of using optical clocks for time scale generation. The steady signal also demonstrated the capability to evaluate one-month mean scale intervals of TAI over all six months with comparable uncertainties to those of primary frequency standards (PFSs).

physics.atom-ph↗

arXiv2017

SI-traceable measurement of an optical frequency at low $10^{-16}$ level without a local primary standard

SI-traceable measurements of optical frequencies using International Atomic Time (TAI) do not require a local primary frequency reference, but suffer from an uncertainty in tracing to the SI second. For the measurement of the $^{87}$Sr lattice clock transition, we have reduced this uncertainty to low $10^{-16}$ level by averaging three sets of ten-day intermittent measurements, in which we operated the lattice clock for $10^4$ s on each day. Moreover, a combined oscillator of two hydrogen masers was employed as a local flywheel oscillator (LFO) in order to mitigate the impact of sporadic excursion of LFO frequency. The resultant absolute frequency with fractional uncertainty of $4.3\times10^{-16}$ agrees with other measurements based on local state-of-the-art cesium fountains.

physics.atom-ph↗