We describe protocols for passive atomic clocks based on quantum interrogation of the atoms. Unlike previous techniques, our protocols are adaptive and take advantage of prior information about the clock's state. To reduce deviations from an ideal clock, each interrogation is optimized by means of a semidefinite program for atomic state preparation and measurement whose objective function depends on the prior information. Our knowledge of the clock's state is maintained according to a Bayesian model that accounts for noise and measurement results. We implement a full simulation of a running clock with power-law noise models and find significant improvements by applying our techniques.
We describe protocols for passive atomic clocks based on quantum interrogation of the atoms. Unlike previous techniques, our protocols are adaptive and take advantage of prior information about the clock's state. To reduce deviations from an ideal clock, each interrogation is optimized by means of a semidefinite program for atomic state preparation and measurement whose objective function depends on the prior information. Our knowledge of the clock's state is maintained according to a Bayesian model that accounts for noise and measurement results. We implement a full simulation of a running clock with power-law noise models and find significant improvements by applying our techniques.
We describe quantum interrogation schemes for passive atomic clocks. During any given interrogation period, the optimal interrogation algorithm depends on the state of the clock -- specifically on the frequency deviation of the flywheel (classical oscillator) from the atomic standard. As a clock runs, it is possible to estimate this deviation. Nonetheless, traditional schemes use the same, fixed algorithm for each interrogation period, which is necessarily independent of this prior knowledge. Here we present a dynamic scheme, tailoring our algorithms to the clock's state before each interrogation. These strategies are derived by constructing a complete model of a passive clock -- specifically, a probability distribution describing the estimated average offset frequency of the flywheel during both the upcoming interrogation period and interrogation periods in the past is updated via appropriate noise models and by measurements of the atomic standard.\nTo reduce the deviation from an ideal clock we optimize the next interrogation algorithm by means of a semidefinite program for atomic state preparation and measurement whose objective function depends on the updated state. This program is based on the semidefinite programming formulation of quantum query complexity, a method first developed in the context of deriving algorithmic lower bounds. The application of semidefinite programming to an inherently continuous problem like that considered here requires discretization; we derive bounds on the error introduced and show that it can be made suitably small.\nFinally, we implement a full simulation of a passive clock with power-law noise models and find significant improvements by applying our techniques.
The accuracies of modern quantum logic clocks have surpassed those of standard atomic fountain clocks. These clocks also provide a greater degree of control, because before and after clock queries, we are able to apply chosen unitary operations and measurements. Here, we take advantage of these choices and present a numerical technique designed to increase the accuracy of these clocks. We use a greedy approach, minimizing the phase variance of a noisy classical oscillator with respect to a perfect frequency standard after an interrogation step; we do not optimize over successive interrogations or the probe times. We consider arbitrary prior frequency knowledge and compare clocks with varying numbers of ions and queries interlaced with unitary control. Our technique is based on the semidefinite programming formulation of quantum query complexity, a method first developed in the context of deriving algorithmic lower bounds. The application of semidefinite programming to an inherently continuous problem like that considered here requires discretization; we derive bounds on the error introduced and show that it can be made suitably small.
The accuracies of modern quantum logic clocks have surpassed those of standard atomic fountain clocks. These clocks also provide a greater degree of control, because before and after clock queries, we are able to apply chosen unitary operations and measurements. Here, we take advantage of these choices and present a numerical technique designed to increase the accuracy of these clocks. We use a greedy approach, minimizing the phase variance of a noisy classical oscillator with respect to a perfect frequency standard after an interrogation step; we do not optimize over successive interrogations or the probe times. We consider arbitrary prior frequency knowledge and compare clocks with varying numbers of ions and queries interlaced with unitary control. Our technique is based on the semidefinite programming formulation of quantum query complexity, a method first developed in the context of deriving algorithmic lower bounds. The application of semidefinite programming to an inherently continuous problem like that considered here requires discretization; we derive bounds on the error introduced and show that it can be made suitably small.
Frequency metrology is a cornerstone of modern precision measurements and optical atomic clocks have emerged as one of the most precise measurement devices. In this progress report, we explore various Ramsey interrogation schemes tailored to optical atomic clocks primarily limited by laser noise. To incorporate frequency fluctuations directly into the theoretical model, we consider a Bayesian framework. In this context, we review fundamental bounds arising in Bayesian estimation theory, which serve as a benchmark throughout this work. We investigate the trade-off between entanglement-enhanced sensitivity and robustness against laser noise in order to identify optimal initial states, measurement schemes and estimation strategies. Beside standard protocols based on coherent spin states, spin-squeezed states and Greenberger-Horne-Zeilinger states, we consider variational Ramsey protocols implemented via low-depth quantum circuits based on one-axis twisting operations to approach optimal stability. In particular, we review known and identify new optimal Ramsey interrogation schemes for a variety of scenarios, including different experimental platforms, ensemble sizes and regimes characterized by a wide range of interrogation durations and dead times. Hence, this work establishes a comprehensive theoretical framework for optimizing Ramsey interrogation schemes, providing guidance for the development of next-generation optical atomic clocks.
We discuss quantum variational optimization of Ramsey interferometry with ensembles of N entangled atoms, and its application to atomic clocks based on a Bayesian approach to phase estimation.We identify best input states and generalized measurements within a variational approximation for the corresponding entangling and decoding quantum circuits.These circuits are built from basic quantum operations available for the particular sensor platform, such as one-axis twisting, or finite range interactions.Optimization is defined relative to a cost function, which in the present study is the Bayesian mean squared error of the estimated phase for a given prior distribution; i.e., we optimize for a finite dynamic range of the interferometer.In analogous variational optimizations of optical atomic clocks, we use the Allan deviation for a given Ramsey interrogation time as the relevant cost function for the long-term instability.Remarkably, even low-depth quantum circuits yield excellent results that closely approach the fundamental quantum limits for optimal Ramsey interferometry and atomic clocks.The quantum metrological schemes identified here are readily applicable to atomic clocks based on optical lattices, tweezer arrays, or trapped ions.While in the present work variationally optimized circuits are found with classical simulations, optimization can also be performed "on" the (physical) quantum sensor, also in regimes not accessible to classical computations and in the presence of imperfections.
We advocate a Bayesian approach to optimal quantum frequency estimation - an important problem for future quantum enhanced atomic clock operation. The approach provides a clear insight into the interplay between decoherence and the extent of the prior knowledge in determining the optimal interrogation times and optimal estimation strategies. We propose a general framework capable of describing the local oscillator noise as well as additional atomic dephasing effects. We also demonstrate an important fact: the average Bayesian cost can be expressed explicitly using the quantum Fisher information and thus establish a direct link between the two, often competing, approaches to quantum estimation theory.