This thesis describes new results on the entanglement of atomic spins in Ramsey interferometry, optical atomic clocks and trapped ions. It is divided into three parts: First, we investigate improvements to conventional Ramsey interferometry with entanglement and adding only rotations of the collective spin to adjust the signal and measurement directions. The geometric degrees of freedom, connected to the rotations, are analytically optimized for a large class of generalized Ramsey protocols to allow efficient optimization of all parameters. Besides a unification of existing approaches, the main result is that there is only one new protocol, where a previously unused double inversion is applied. Studies of the local sensitivity show that this protocol reaches the fundamental quantum Fisher information limit and is yet robust against errors during preparation and measurement. In the second section we investigate the conditions under which optical atomic clocks exhibit increased long-term stability when applying weakly entangled, spin squeezed states. We discuss the common case of an atomic clock with a single ensemble, typical Brownian frequency noise and finite dead time. Theoretical modelling of the servo loop allows quantitative predictions of the optimal stability for given values of dead time and laser noise, in very good agreement with numerical simulations of the closed feedback loop. The main result is that, even with the current most stable lasers, the clock stability can only be improved for ensembles below a critical atom number of about one thousand in optical Sr lattice clocks. Even with a future improvement of the laser performance by one order of magnitude, the critical atom number still remains below 100,000. In contrast, clocks based on smaller, non-scalable ensembles, such as ion clocks, can already benefit from squeezed states with current clock lasers. Thus the last section considers the robust generation of entanglement in ion traps. An error budget including relevant experimental error sources is calculated for state-of-the-art quantum gates, driven by oscillating microwave gradients in surface traps. Amplitude modulation of the driving fields is shown to efficiently counteract the current limitations from motional mode instability. The predicted increase of the gate quality was demonstrated by the group of C. Ospelkaus at PTB Braunschweig, who measured gates with errors as low as ~ 10^(-3). In a similar approach, interactions between spin and motion can also be generated by combining oscillating rf-fields with a static magnetic field gradient. Penning traps designed for precision spectroscopy already feature large magnetic field gradients at the edge of a magnetic bottle configuration. We present parameters and conditions under which laser-free coupling of spin and quantized motion for (anti-)protons is possible at these points, in a step towards quantum logic spectroscopy for (anti-)protons.
This thesis describes new results on the entanglement of atomic spins in Ramsey interferometry, optical atomic clocks and trapped ions. It is divided into three parts: First, we investigate improvements to conventional Ramsey interferometry with entanglement and adding only rotations of the collective spin to adjust the signal and measurement directions. The geometric degrees of freedom, connected to the rotations, are analytically optimized for a large class of generalized Ramsey protocols to allow efficient optimization of all parameters. Besides a unification of existing approaches, the main result is that there is only one new protocol, where a previously unused double inversion is applied. Studies of the local sensitivity show that this protocol reaches the fundamental quantum Fisher information limit and is yet robust against errors during preparation and measurement. In the second section we investigate the conditions under which optical atomic clocks exhibit increased long-term stability when applying weakly entangled, spin squeezed states. We discuss the common case of an atomic clock with a single ensemble, typical Brownian frequency noise and finite dead time. Theoretical modelling of the servo loop allows quantitative predictions of the optimal stability for given values of dead time and laser noise, in very good agreement with numerical simulations of the closed feedback loop. The main result is that, even with the current most stable lasers, the clock stability can only be improved for ensembles below a critical atom number of about one thousand in optical Sr lattice clocks. Even with a future improvement of the laser performance by one order of magnitude, the critical atom number still remains below 100,000. In contrast, clocks based on smaller, non-scalable ensembles, such as ion clocks, can already benefit from squeezed states with current clock lasers. Thus the last section considers the robust generation of entanglement in ion traps. An error budget including relevant experimental error sources is calculated for state-of-the-art quantum gates, driven by oscillating microwave gradients in surface traps. Amplitude modulation of the driving fields is shown to efficiently counteract the current limitations from motional mode instability. The predicted increase of the gate quality was demonstrated by the group of C. Ospelkaus at PTB Braunschweig, who measured gates with errors as low as ~ 10^(-3). In a similar approach, interactions between spin and motion can also be generated by combining oscillating rf-fields with a static magnetic field gradient. Penning traps designed for precision spectroscopy already feature large magnetic field gradients at the edge of a magnetic bottle configuration. We present parameters and conditions under which laser-free coupling of spin and quantized motion for (anti-)protons is possible at these points, in a step towards quantum logic spectroscopy for (anti-)protons.
Optical atomic clocks are a driving force for precision measurements due to the high accuracy and stability demonstrated in recent years. While further improvements to the stability have been envisioned by using entangled atoms, squeezing the quantum mechanical projection noise, evaluating the overall gain must incorporate essential features of an atomic clock. Here, we investigate the benefits of spin squeezed states for clocks operated with typical Brownian frequency noise-limited laser sources. Based on an analytic model of the closed servo-loop of an optical atomic clock, we report here quantitative predictions on the optimal clock stability for a given dead time and laser noise. Our analytic predictions are in good agreement with numerical simulations of the closed servo-loop. We find that for usual cyclic Ramsey interrogation of single atomic ensembles with dead time, even with the current most stable lasers spin squeezing can only improve the clock stability for ensembles below a critical atom number of about one thousand in an optical Sr lattice clock. Even with a future improvement of the laser performance by one order of magnitude the critical atom number still remains below 100,000. In contrast, clocks based on smaller, non-scalable ensembles, such as ion clocks, can already benefit from squeezed states with current clock lasers.
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.
Frequency metrology underpins precise measurements. At the forefront of this field are optical clocks which can perform measurements that are accurate to more digits than those in the number representing seconds elapsed from the beginning of the universe. Frequency estimation errors in the operation of optical clocks lead to frequency instability, prohibiting them from reaching high accuracies on short to medium time scales, and limiting access to interesting measurements of the atomic environment and exotic external perturbations such as gravity fields or fields of fundamentally new physical origins. Optical lattice traps are typically employed in state-of-the-art optical clocks to suppress Doppler effects. By carefully tuning the optical lattice to the magic wavelength, unwanted Stark shifts can be suppressed significantly, allowing operation with thousands of atoms and minimising the fundamental source of frequency estimation errors, namely the quantum projection noise, to around 3 × 10−17 at 1 s. In this thesis, the status of the two Strontium optical lattice clocks at NPL, Sr1 and Sr2, is presented going over a few interesting measurement campaigns from the past years involving Sr1 and the latest experimental efforts to re-enable operation of Sr2. A model of clock stability is developed by incorporating known and new frameworks to characterise the relation between the operating parameters of optical clocks and their performance, with relevance to the NPL lattice clocks and beyond. In particular, a method is identified for addressing the main technical noise for optical lattice clocks, the Dick effect, which typically has a magnitude of 10−16 at 1 s and prevents optical lattice clocks from reaching the quantum projection noise level. By taking advantage of dynamical decoupling we can engineer an optimised duty cycle with benefits in general for systems limited by the optical coherence of the clock laser. Moreover, a study of other noise sources in the NPL lattice clocks is conducted using synchronous measurements between Sr1 and Sr2, revealing a large contribution from linear Zeeman shifts, also at the 10−16 level, and a plan to tackle them is detailed. A hybrid clock architecture is discussed showing how optical lattice clocks can improve the optical coherence of ion clocks thanks to their higher servo rate, and a preliminary experimental demonstration is reported. Finally, a new type of spectroscopy is presented which completely avoids aliasing of linear Zeeman shifts by simultaneously driving transitions with opposite Zeeman sensitivities. Such a technique also enables the continuous interrogation of atoms, a crucial missing component in the Dick-free conveyor belt lattice clock concept heralded as the next standard of stable optical clocks.
The stability of several clock protocols based on 2 to 20 entangled atoms is evaluated numerically by a simulation that includes the effect of decoherence due to classical oscillator noise. In this context the squeezed states discussed by André, Sørensen and Lukin [PRL 92, 239801 (2004)] offer reduced instability compared to clocks based on Ramsey's protocol with unentangled atoms. When more than 15 atoms are simulated, the protocol of Bužek, Derka and Massar [PRL 82, 2207 (1999)] has lower instability. A large-scale numerical search for optimal clock protocols with two to eight qubits yields improved clock stability compared to Ramsey spectroscopy, and for two to three qubits performance matches the analytical protocols. In the simulations, a laser local oscillator decoheres due to flicker-frequency (1/f) noise. The oscillator frequency is repeatedly corrected, based on projective measurements of the qubits, which are assumed not to decohere with one another.