-
Computationally Efficient System Level Tube-MPC for Uncertain Systems
Authors:
Jerome Sieber,
Alexandre Didier,
Melanie N. Zeilinger
Abstract:
Tube-based model predictive control (MPC) is the principal robust control technique for constrained linear systems affected by additive disturbances. While tube-based methods that compute the tubes online have been successfully applied to systems with additive disturbances, their application to systems affected by additional model uncertainties is challenging. This paper introduces a new tube-base…
▽ More
Tube-based model predictive control (MPC) is the principal robust control technique for constrained linear systems affected by additive disturbances. While tube-based methods that compute the tubes online have been successfully applied to systems with additive disturbances, their application to systems affected by additional model uncertainties is challenging. This paper introduces a new tube-based MPC method - named filter-based system level tube-MPC (SLTMPC) - which overapproximates both uncertainties with an online optimized disturbance set, while simultaneously computing the tube controller online. Extending prior work, we generalize the method to polytopic disturbance sets and for the first time provide rigorous closed-loop guarantees for the receding horizon controller. These guarantees are obtained by virtue of a new terminal controller design and an online optimized terminal set. To reduce the computational complexity of the proposed method, we additionally introduce an asynchronous computation scheme that separates the optimization of the tube controller and the nominal trajectory. Finally, we provide a comprehensive numerical evaluation of the proposed methods to demonstrate their effectiveness.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
Understanding the differences in Foundation Models: Attention, State Space Models, and Recurrent Neural Networks
Authors:
Jerome Sieber,
Carmen Amo Alonso,
Alexandre Didier,
Melanie N. Zeilinger,
Antonio Orvieto
Abstract:
Softmax attention is the principle backbone of foundation models for various artificial intelligence applications, yet its quadratic complexity in sequence length can limit its inference throughput in long-context settings. To address this challenge, alternative architectures such as linear attention, State Space Models (SSMs), and Recurrent Neural Networks (RNNs) have been considered as more effi…
▽ More
Softmax attention is the principle backbone of foundation models for various artificial intelligence applications, yet its quadratic complexity in sequence length can limit its inference throughput in long-context settings. To address this challenge, alternative architectures such as linear attention, State Space Models (SSMs), and Recurrent Neural Networks (RNNs) have been considered as more efficient alternatives. While connections between these approaches exist, such models are commonly developed in isolation and there is a lack of theoretical understanding of the shared principles underpinning these architectures and their subtle differences, greatly influencing performance and scalability. In this paper, we introduce the Dynamical Systems Framework (DSF), which allows a principled investigation of all these architectures in a common representation. Our framework facilitates rigorous comparisons, providing new insights on the distinctive characteristics of each model class. For instance, we compare linear attention and selective SSMs, detailing their differences and conditions under which both are equivalent. We also provide principled comparisons between softmax attention and other model classes, discussing the theoretical conditions under which softmax attention can be approximated. Additionally, we substantiate these new insights with empirical validations and mathematical arguments. This shows the DSF's potential to guide the systematic development of future more efficient and scalable foundation models.
△ Less
Submitted 3 June, 2024; v1 submitted 24 May, 2024;
originally announced May 2024.
-
Predictive stability filters for nonlinear dynamical systems affected by disturbances
Authors:
Alexandre Didier,
Andrea Zanelli,
Kim P. Wabersich,
Melanie N. Zeilinger
Abstract:
Predictive safety filters provide a way of projecting potentially unsafe inputs, proposed, e.g. by a human or learning-based controller, onto the set of inputs that guarantee recursive state and input constraint satisfaction by leveraging model predictive control techniques. In this paper, we extend this framework such that in addition, robust asymptotic stability of the closed-loop system can be…
▽ More
Predictive safety filters provide a way of projecting potentially unsafe inputs, proposed, e.g. by a human or learning-based controller, onto the set of inputs that guarantee recursive state and input constraint satisfaction by leveraging model predictive control techniques. In this paper, we extend this framework such that in addition, robust asymptotic stability of the closed-loop system can be guaranteed by enforcing a decrease of an implicit Lyapunov function which is constructed using a predicted system trajectory. Differently from previous results, we show robust asymptotic stability with respect to a predefined disturbance set on an extended state consisting of the system state and a warmstart input sequence. The proposed strategy is applied to an automotive lane kee** example in simulation.
△ Less
Submitted 29 April, 2024; v1 submitted 20 January, 2024;
originally announced January 2024.
-
Evaluation of a $^{88}$Sr$^+$ optical clock with a direct measurement of the blackbody radiation shift and determination of the clock frequency
Authors:
M. Steinel,
H. Shao,
M. Filzinger,
B. Lipphardt,
M. Brinkmann,
A. Didier,
T. E. Mehlstäubler,
T. Lindvall,
E. Peik,
N. Huntemann
Abstract:
We report on an evaluation of an optical clock that uses the $\phantom{}^2S_{1/2} \rightarrow \phantom{}^2D_{5/2}$ transition of a single $^{88}$Sr$^+$ ion as the reference. In contrast to previous work, we estimate the effective temperature of the blackbody radiation that shifts the reference transition directly during operation from the corresponding frequency shift and the well-characterized se…
▽ More
We report on an evaluation of an optical clock that uses the $\phantom{}^2S_{1/2} \rightarrow \phantom{}^2D_{5/2}$ transition of a single $^{88}$Sr$^+$ ion as the reference. In contrast to previous work, we estimate the effective temperature of the blackbody radiation that shifts the reference transition directly during operation from the corresponding frequency shift and the well-characterized sensitivity to thermal radiation. We measure the clock output frequency against an independent $^{171}$Yb$^+$ ion clock, based on the $\phantom{}^2S_{1/2} (F=0) \rightarrow \phantom{}^2F_{7/2} (F=3)$ electric octupole (E3) transition, and determine the frequency ratio with a total fractional uncertainty of $2.3\times 10^{-17}$. Relying on a previous measurement of the $^{171}$Yb$^+$ (E3) clock frequency, we find the absolute frequency of the $^{88}$Sr$^+$ clock transition to be $444779044095485.271(59)\,\text{Hz}$. Our result reduces the uncertainty by a factor of $3$ compared to the previously most accurate measurement and may help to resolve so far inconsistent determinations of this value. We also show that for three simultaneously interrogated $^{88}$Sr$^+$ ions, the increased number causes the expected improvement of the short-term frequency instability of the optical clock without degrading its systematic uncertainty.
△ Less
Submitted 16 December, 2022;
originally announced December 2022.
-
Approximate Predictive Control Barrier Functions using Neural Networks: A Computationally Cheap and Permissive Safety Filter
Authors:
Alexandre Didier,
Robin C. Jacobs,
Jerome Sieber,
Kim P. Wabersich,
Melanie N. Zeilinger
Abstract:
A predictive control barrier function (PCBF) based safety filter is a modular framework to verify safety of a control input by predicting a future trajectory. The approach relies on the solution of two optimization problems, first computing the minimal state constraint violation given the current state in the form of slacks on the constraint, and then computing the minimal deviation from a propose…
▽ More
A predictive control barrier function (PCBF) based safety filter is a modular framework to verify safety of a control input by predicting a future trajectory. The approach relies on the solution of two optimization problems, first computing the minimal state constraint violation given the current state in the form of slacks on the constraint, and then computing the minimal deviation from a proposed input given the previously computed minimal slacks. This paper presents an approximation procedure that uses a neural network to approximate the optimal value function of the first optimization problem, which defines a control barrier function (CBF). By including this explicit approximation in a CBF-based safety filter formulation, the online computation becomes independent of the prediction horizon. It is shown that this approximation guarantees convergence to a neighborhood of the feasible set of the PCBF safety filter problem with zero constraint violation. The convergence result relies on a novel class $\mathcal{K}$ lower bound on the PCBF decrease and depends on the approximation error of the neural network. Lastly, we demonstrate our approach in simulation for an autonomous driving example and show that the proposed approximation leads to a significant decrease in computation time compared to the original approach.
△ Less
Submitted 24 July, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
Generalised Regret Optimal Controller Synthesis for Constrained Systems
Authors:
Alexandre Didier,
Melanie N. Zeilinger
Abstract:
This paper presents a synthesis method for the generalised dynamic regret problem, comparing the performance of a strictly causal controller to the optimal non-causal controller under a weighted disturbance. This framework encompasses both the dynamic regret problem, considering the difference of the incurred costs, as well as the competitive ratio, which considers their ratio, and which have both…
▽ More
This paper presents a synthesis method for the generalised dynamic regret problem, comparing the performance of a strictly causal controller to the optimal non-causal controller under a weighted disturbance. This framework encompasses both the dynamic regret problem, considering the difference of the incurred costs, as well as the competitive ratio, which considers their ratio, and which have both been proposed as inherently adaptive alternatives to classical control methods. Furthermore, we extend the synthesis to the case of pointwise-in-time bounds on the disturbance and show that the optimal solution is no worse than the bounded energy optimal solution and is lower bounded by a constant factor, which is only dependent on the disturbance weight. The proposed optimisation-based synthesis allows considering systems subject to state and input constraints. Finally, we provide a numerical example which compares the synthesised controller performance to $\mathcal{H}_2$- and $\mathcal{H}_\infty$-controllers.
△ Less
Submitted 24 July, 2023; v1 submitted 15 November, 2022;
originally announced November 2022.
-
A System Level Approach to Regret Optimal Control
Authors:
Alexandre Didier,
Jerome Sieber,
Melanie N. Zeilinger
Abstract:
We present an optimisation-based method for synthesising a dynamic regret optimal controller for linear systems with potentially adversarial disturbances and known or adversarial initial conditions. The dynamic regret is defined as the difference between the true incurred cost of the system and the cost which could have optimally been achieved under any input sequence having full knowledge of all…
▽ More
We present an optimisation-based method for synthesising a dynamic regret optimal controller for linear systems with potentially adversarial disturbances and known or adversarial initial conditions. The dynamic regret is defined as the difference between the true incurred cost of the system and the cost which could have optimally been achieved under any input sequence having full knowledge of all future disturbances for a given disturbance energy. This problem formulation can be seen as an alternative to classical $\mathcal{H}_2$- or $\mathcal{H}_\infty$-control. The proposed controller synthesis is based on the system level parametrisation, which allows reformulating the dynamic regret problem as a semi-definite problem. This yields a new framework that allows to consider structured dynamic regret problems, which have not yet been considered in the literature. For known pointwise ellipsoidal bounds on the disturbance, we show that the dynamic regret bound can be improved compared to using only a bounded energy assumption and that the optimal dynamic regret bound differs by at most a factor of $\frac{2}π$ from the computed solution. Furthermore, the proposed framework allows guaranteeing state and input constraint satisfaction.
△ Less
Submitted 30 May, 2022; v1 submitted 28 February, 2022;
originally announced February 2022.
-
Adaptive Model Predictive Safety Certification for Learning-based Control -- Extended Version
Authors:
Alexandre Didier,
Kim P. Wabersich,
Melanie N. Zeilinger
Abstract:
We propose an adaptive Model Predictive Safety Certification (MPSC) scheme for learning-based control of linear systems with bounded disturbances and uncertain parameters where the true parameters are contained within an a priori known set of parameters. An MPSC is a modular framework which can be used in combination with any learning-based controller to ensure state and input constraint satisfact…
▽ More
We propose an adaptive Model Predictive Safety Certification (MPSC) scheme for learning-based control of linear systems with bounded disturbances and uncertain parameters where the true parameters are contained within an a priori known set of parameters. An MPSC is a modular framework which can be used in combination with any learning-based controller to ensure state and input constraint satisfaction of a dynamical system by solving an online optimisation problem. By continuously connecting the current system state with a safe terminal set using a robust tube, safety can be ensured. Thereby, the main sources of conservative safety interventions are model uncertainties and short planning horizons. We develop an adaptive mechanism to improve the system model, which leverages set-membership estimation to guarantee recursively feasible and non-decreasing safety performance improvements. In order to accommodate short prediction horizons, iterative safe set enlargements using previously computed robust backup plans are proposed. Finally, we illustrate the increase of the safety performance through the parameter and safe set adaptation for numerical examples with up to 16 state dimensions.
△ Less
Submitted 29 September, 2021; v1 submitted 27 September, 2021;
originally announced September 2021.
-
Robust Adaptive Model Predictive Control of Quadrotors
Authors:
Alexandre Didier,
Anilkumar Parsi,
Jeremy Coulson,
Roy S. Smith
Abstract:
Robust adaptive model predictive control (RAMPC) is a novel control method that combines robustness guarantees with respect to unknown parameters and bounded disturbances into a model predictive control scheme. However, RAMPC has so far only been developed in theory. The goal of this paper is to apply RAMPC to a physical quadrotor experiment. To the best of our knowledge this is the first time tha…
▽ More
Robust adaptive model predictive control (RAMPC) is a novel control method that combines robustness guarantees with respect to unknown parameters and bounded disturbances into a model predictive control scheme. However, RAMPC has so far only been developed in theory. The goal of this paper is to apply RAMPC to a physical quadrotor experiment. To the best of our knowledge this is the first time that RAMPC has been applied in practice using a state space formulation. In doing so, we highlight important practical challenges such as computation of $λ$-contractive polytopes and dealing with measurement noise, and propose modifications to RAMPC so that it can be applied on a quadrotor. We first simulate quadrotor flight with a direct and a decoupled control architecture in different scenarios. The scenarios include: (i) an unknown mass of the quadrotor as a package delivery scenario with wind as a bounded disturbance; and (ii) all rotor efficiencies drop as a power delivery problem. We then implement these scenarios on a physical quadrotor and present the experimental results.
△ Less
Submitted 26 August, 2021; v1 submitted 26 February, 2021;
originally announced February 2021.
-
Sub-kelvin temperature management in ion traps for optical clocks
Authors:
T. Nordmann,
A. Didier,
M. Doležal,
P. Balling,
T. Burgermeister,
T. E. Mehlstäubler
Abstract:
The uncertainty of the ac Stark shift due to thermal radiation represents a major contribution to the systematic uncertainty budget of state-of-the-art optical atomic clocks. In the case of optical clocks based on trapped ions, the thermal behavior of the rf-driven ion trap must be precisely known. This determination is even more difficult when scalable linear ion traps are used. Such traps enable…
▽ More
The uncertainty of the ac Stark shift due to thermal radiation represents a major contribution to the systematic uncertainty budget of state-of-the-art optical atomic clocks. In the case of optical clocks based on trapped ions, the thermal behavior of the rf-driven ion trap must be precisely known. This determination is even more difficult when scalable linear ion traps are used. Such traps enable a more advanced control of multiple ions and have become a platform for new applications in quantum metrology, simulation and computation. Nevertheless, their complex structure makes it more difficult to precisely determine its temperature in operation and thus the related systematic uncertainty. We present here scalable linear ion traps for optical clocks, which exhibit very low temperature rise under operation. We use a finite-element model refined with experimental measurements to determine the thermal distribution in the ion trap and the temperature at the position of the ions. The trap temperature is investigated at different rf-drive frequencies and amplitudes with an infrared camera and integrated temperature sensors. We show that for typical trap** parameters for $\mathrm{In}^{+}$, $\mathrm{Al}^{+}$, $\mathrm{Lu}^{+}$, $\mathrm{Ca}^{+}$, $\mathrm{Sr}^{+}$ or $\mathrm{Yb}^{+}$ ions, the temperature rise at the position of the ions resulting from rf heating of the trap stays below 700 mK and can be controlled with an uncertainty on the order of a few 100 mK maximum.
△ Less
Submitted 2 June, 2023; v1 submitted 10 August, 2020;
originally announced August 2020.
-
Ultra-compact reference ULE cavity
Authors:
Alexandre Didier,
Jacques Millo,
Baptiste Marechal,
Cyrus Rocher,
Enrico Rubiola,
Roméo Lecomte,
Morvan Ouisse,
Jérôme Delporte,
Clément Lacroûte,
Yann Kersalé
Abstract:
We present a first experimental characterization of our ultra-compact, ultra-stable laser. The heart of the apparatus is an original Fabry-Perot cavity with a 25 mm length and a pyramidal geometry, equipped with highly-reflective crystalline coatings. The cavity, along with its vacuum chamber and optical setup, fits inside a 30 L volume. We have measured the cavity thermal and vibration sensitivit…
▽ More
We present a first experimental characterization of our ultra-compact, ultra-stable laser. The heart of the apparatus is an original Fabry-Perot cavity with a 25 mm length and a pyramidal geometry, equipped with highly-reflective crystalline coatings. The cavity, along with its vacuum chamber and optical setup, fits inside a 30 L volume. We have measured the cavity thermal and vibration sensitivities, and present a first estimation of the cavity fractional frequency instability at $σ_y(1\rm{s})=7.5{\times}10^{-15}$.
△ Less
Submitted 17 December, 2019;
originally announced December 2019.
-
Guidelines for develo** optical clocks with $10^{-18}$ fractional frequency uncertainty
Authors:
Moustafa Abdel-Hafiz,
Piotr Ablewski,
Ali Al-Masoudi,
Héctor Álvarez Martínez,
Petr Balling,
Geoffrey Barwood,
Erik Benkler,
Marcin Bober,
Mateusz Borkowski,
William Bowden,
Roman Ciuryło,
Hubert Cybulski,
Alexandre Didier,
Miroslav Doležal,
Sören Dörscher,
Stephan Falke,
Rachel M. Godun,
Ramiz Hamid,
Ian R. Hill,
Richard Hobson,
Nils Huntemann,
Yann Le Coq,
Rodolphe Le Targat,
Thomas Legero,
Thomas Lindvall
, et al. (20 additional authors not shown)
Abstract:
There has been tremendous progress in the performance of optical frequency standards since the first proposals to carry out precision spectroscopy on trapped, single ions in the 1970s. The estimated fractional frequency uncertainty of today's leading optical standards is currently in the $10^{-18}$ range, approximately two orders of magnitude better than that of the best caesium primary frequency…
▽ More
There has been tremendous progress in the performance of optical frequency standards since the first proposals to carry out precision spectroscopy on trapped, single ions in the 1970s. The estimated fractional frequency uncertainty of today's leading optical standards is currently in the $10^{-18}$ range, approximately two orders of magnitude better than that of the best caesium primary frequency standards. This exceptional accuracy and stability is resulting in a growing number of research groups develo** optical clocks. While good review papers covering the topic already exist, more practical guidelines are needed as a complement. The purpose of this document is therefore to provide technical guidance for researchers starting in the field of optical clocks. The target audience includes national metrology institutes (NMIs) wanting to set up optical clocks (or subsystems thereof) and PhD students and postdocs entering the field. Another potential audience is academic groups with experience in atomic physics and atom or ion trap**, but with less experience of time and frequency metrology and optical clock requirements. These guidelines have arisen from the scope of the EMPIR project "Optical clocks with $1 \times 10^{-18}$ uncertainty" (OC18). Therefore, the examples are from European laboratories even though similar work is carried out all over the world. The goal of OC18 was to push the development of optical clocks by improving each of the necessary subsystems: ultrastable lasers, neutral-atom and single-ion traps, and interrogation techniques. This document shares the knowledge acquired by the OC18 project consortium and gives practical guidance on each of these aspects.
△ Less
Submitted 13 August, 2019; v1 submitted 27 June, 2019;
originally announced June 2019.
-
946-nm Nd:YAG digital-locked laser at $1.1\times10^{-16}$ in 1 s and transfer-locked to a cryogenic silicon cavity
Authors:
A. Didier,
S. Ignatovich,
E. Benkler,
M. Okhapkin,
T. E. Mehlstäubler
Abstract:
We present a Nd:YAG ultra-stable laser system operating at 946 nm and demonstrate a fractional frequency instability of $1.1\times10^{-16}$ at 1 s by pre-stabilizing it to a 30 cm-long ULE cavity at room temperature. All key analog components have been replaced by FPGA-based digital electronics. To reach an instability below the $10^{-16}$ level, we transfer the stability of a 1542 nm laser stabil…
▽ More
We present a Nd:YAG ultra-stable laser system operating at 946 nm and demonstrate a fractional frequency instability of $1.1\times10^{-16}$ at 1 s by pre-stabilizing it to a 30 cm-long ULE cavity at room temperature. All key analog components have been replaced by FPGA-based digital electronics. To reach an instability below the $10^{-16}$ level, we transfer the stability of a 1542 nm laser stabilized to a cryogenic silicon cavity exhibiting a fractional frequency instability of $4\times10^{-17}$ at 1 s to the laser at 946 nm.
△ Less
Submitted 29 March, 2019; v1 submitted 19 February, 2019;
originally announced February 2019.
-
Controlling systematic frequency uncertainties at the $10^{-19}$ level in linear Coulomb crystals
Authors:
J. Keller,
T. Burgermeister,
D. Kalincev,
A. Didier,
A. P. Kulosa,
T. Nordmann,
J. Kiethe,
T. E. Mehlstäubler
Abstract:
Trapped ions are ideally suited for precision spectroscopy, as is evident from the remarkably low systematic uncertainties of single-ion clocks. The major weakness of these clocks is the long averaging time, necessitated by the low signal of a single atom. An increased number of ions can overcome this limitation and allow for the implementation of novel clock schemes. However, this presents the ch…
▽ More
Trapped ions are ideally suited for precision spectroscopy, as is evident from the remarkably low systematic uncertainties of single-ion clocks. The major weakness of these clocks is the long averaging time, necessitated by the low signal of a single atom. An increased number of ions can overcome this limitation and allow for the implementation of novel clock schemes. However, this presents the challenge to maintain the excellent control over systematic shifts of a single particle in spatially extended and strongly coupled many-body systems. We measure and deduce systematic frequency uncertainties related to spectroscopy with ion chains in a newly developed rf trap array designed for precision spectroscopy on simultaneously trapped ion ensembles. For the example of an In${}^+$ clock, sympathetically cooled with Yb${}^+$ ions, we show in our system that the expected systematic frequency uncertainties related to multi-ion operation can be below $1\times10^{-19}$. Our results pave the way to advanced spectroscopy schemes such as entangled clock spectroscopy and cascaded clock operation.
△ Less
Submitted 21 October, 2018; v1 submitted 22 March, 2018;
originally announced March 2018.
-
Photonic Generation of High Power, Ultrastable Microwave Signals by Vernier Effect in a Femtosecond Laser Frequency Comb
Authors:
Khaldoun Saleh,
Jacques Millo,
Baptiste Marechal,
Benoît Dubois,
Ahmed Bakir,
Alexandre Didier,
Clément Lacroûte,
Yann Kersalé
Abstract:
Optical frequency division of an ultrastable laser to the microwave frequency range by an optical frequency comb has allowed the generation of microwave signals with unprecedently high spectral purity and stability. However, the generated microwave signal will suffer from a very low power level if no external optical frequency comb repetition rate multiplication device is used. This paper reports…
▽ More
Optical frequency division of an ultrastable laser to the microwave frequency range by an optical frequency comb has allowed the generation of microwave signals with unprecedently high spectral purity and stability. However, the generated microwave signal will suffer from a very low power level if no external optical frequency comb repetition rate multiplication device is used. This paper reports theoretical and experimental studies on the beneficial use of the Vernier effect together with the spectral selective filtering in a double directional coupler add-drop optical fibre ring resonator to increase the comb repetition rate and generate high power microwaves. The studies are focused on two selective filtering aspects: the high rejection of undesirable optical modes of the frequency comb and the transmission of the desirable modes with the lowest possible loss. Moreover, the conservation of the frequency comb stability and linewidth at the resonator output is particularly considered. Accordingly, a fibre ring resonator is designed, fabricated, and characterized, and a technique to stabilize the resonator's resonance comb is proposed. A significant power gain is achieved for the photonically generated beat note at 10 GHz. Routes to highly improve the performances of such proof-of-concept device are also discussed.
△ Less
Submitted 1 February, 2018;
originally announced February 2018.
-
Probing Time Dilation in Coulomb Crystals in a high-precision Ion Trap
Authors:
J. Keller,
D. Kalincev,
T. Burgermeister,
A. P. Kulosa,
A. Didier,
T. Nordmann,
J. Kiethe,
T. E. Mehlstäubler
Abstract:
Trapped-ion optical clocks are capable of achieving systematic fractional frequency uncertainties of $10^{-18}$ and possibly below. However, the stability of current ion clocks is fundamentally limited by the weak signal of single-ion interrogation. We present an operational, scalable platform for extending clock spectroscopy to arrays of Coulomb crystals consisting of several tens of ions, while…
▽ More
Trapped-ion optical clocks are capable of achieving systematic fractional frequency uncertainties of $10^{-18}$ and possibly below. However, the stability of current ion clocks is fundamentally limited by the weak signal of single-ion interrogation. We present an operational, scalable platform for extending clock spectroscopy to arrays of Coulomb crystals consisting of several tens of ions, while allowing systematic shifts as low as $10^{-19}$. Using a newly developed technique, we observe 3D excess micromotion amplitudes inside a Coulomb crystal with atomic spatial resolution and sub-nanometer amplitude uncertainties. We show that in ion Coulomb crystals of 400$μ$m and 2mm length, time dilation shifts of In${}^+$ ions due to micromotion can be close to $1\times10^{-19}$ and below $10^{-18}$, respectively. In previous ion traps, excess micromotion would have dominated the uncertainty budget for spectroscopy of even a few ions. By minimizing its contribution and providing a means to quantify it, this work opens up the path to precision spectroscopy in many-body ion systems, enabling entanglement-enhanced ion clocks and providing a well-controlled, strongly coupled quantum system.
△ Less
Submitted 21 October, 2018; v1 submitted 6 December, 2017;
originally announced December 2017.
-
Frequency stability of a wavelength meter and applications to laser frequency stabilization
Authors:
Khaldoun Saleh,
Jacques Millo,
Alexandre Didier,
Yann Kersalé,
Clément Lacroûte
Abstract:
Interferometric wavelength meters have attained frequency resolutions down to the MHz range. In particular, Fizeau interferometers, which have no moving parts, are becoming a popular tool for laser characterization and stabilization. In this article, we characterize such a wavelength meter using an ultra-stable laser in terms of relative frequency instability $σ_y(τ)$ and demonstrate that it can a…
▽ More
Interferometric wavelength meters have attained frequency resolutions down to the MHz range. In particular, Fizeau interferometers, which have no moving parts, are becoming a popular tool for laser characterization and stabilization. In this article, we characterize such a wavelength meter using an ultra-stable laser in terms of relative frequency instability $σ_y(τ)$ and demonstrate that it can achieve a short-term instability $σ_y(1 s) \approx 2{\times}10^{-10}$ and a frequency drift of order $10$ MHz/day. We use this apparatus to demonstrate frequency control of a near-infrared laser, where a frequency instability below $3{\times}10^{-10}$ from 1 s to 2000 s is achieved. Such performance is for example adequate for ions trap** and atoms cooling experiments.
△ Less
Submitted 15 December, 2015;
originally announced December 2015.
-
Ultra-low phase noise all-optical microwave generation setup based on commercial devices
Authors:
A. Didier,
J. Millo,
S. Grop,
B. Dubois,
E. Bigler,
E. Rubiola,
C. Lacroûte,
Y. Kersalé
Abstract:
In this paper, we present a very simple design based on commercial devices for the all-optical generation of ultra-low phase noise microwave signals. A commercial, fibered femtosecond laser is locked to a laser that is stabilized to a commercial ULE Fabry-Perot cavity. The 10 GHz microwave signal extracted from the femtosecond laser output exhibits a single sideband phase noise…
▽ More
In this paper, we present a very simple design based on commercial devices for the all-optical generation of ultra-low phase noise microwave signals. A commercial, fibered femtosecond laser is locked to a laser that is stabilized to a commercial ULE Fabry-Perot cavity. The 10 GHz microwave signal extracted from the femtosecond laser output exhibits a single sideband phase noise $\mathcal{L}(f)=-104 \ \mathrm{dBc}/\mathrm{Hz}$ at 1 Hz Fourier frequency, at the level of the best value obtained with such "microwave photonics" laboratory experiments \cite{Fortier2011}. Close-to-the-carrier ultra-low phase noise microwave signals will now be available in laboratories outside the frequency metrology field, opening up new possibilities in various domains.
△ Less
Submitted 20 March, 2015;
originally announced March 2015.
-
How to Compute a Puiseux Expansion
Authors:
Nicholas J. Willis,
Annie K. Didier,
Kevin M. Sonnanburg
Abstract:
In this paper, an explanation of the Newton-Peiseux algorithm is given. This explanation is supplemented with well-worked and explained examples of how to use the algorithm to find fractional power series expansions for all branches of a polynomial at the origin.
In this paper, an explanation of the Newton-Peiseux algorithm is given. This explanation is supplemented with well-worked and explained examples of how to use the algorithm to find fractional power series expansions for all branches of a polynomial at the origin.
△ Less
Submitted 29 July, 2008;
originally announced July 2008.
-
Observation of near-critical reflection of internal waves in a stably stratified fluid
Authors:
Thierry Dauxois,
Anthony Didier,
Eric Falcon
Abstract:
An experimental study is reported of the near-critical reflection of internal gravity waves over slo** topography in a stratified fluid. An overturning instability close to the slope and triggering the boundary-mixing process is observed and characterized. These observations are found in good agreement with a recent nonlinear theory.
An experimental study is reported of the near-critical reflection of internal gravity waves over slo** topography in a stratified fluid. An overturning instability close to the slope and triggering the boundary-mixing process is observed and characterized. These observations are found in good agreement with a recent nonlinear theory.
△ Less
Submitted 25 November, 2003;
originally announced November 2003.