-
Three-dimensional imaging of single atoms in an optical lattice via helical point-spread-function engineering
Authors:
Tangi Legrand,
Falk-Richard Winkelmann,
Wolfgang Alt,
Dieter Meschede,
Andrea Alberti,
Carrie A. Weidner
Abstract:
We demonstrate a method for determining the three-dimensional location of single atoms in a quantum gas microscopy system using a phase-only spatial light modulator to modify the point-spread function of the high-resolution imaging system. Here, the typical diffracted spot generated by a single atom as a point source is modified to a double spot that rotates as a function of the atom's distance fr…
▽ More
We demonstrate a method for determining the three-dimensional location of single atoms in a quantum gas microscopy system using a phase-only spatial light modulator to modify the point-spread function of the high-resolution imaging system. Here, the typical diffracted spot generated by a single atom as a point source is modified to a double spot that rotates as a function of the atom's distance from the focal plane of the imaging system. We present and numerically validate a simple model linking the rotation angle of the point-spread function with the distance to the focal plane. We show that, when aberrations in the system are carefully calibrated and compensated for, this method can be used to determine an atom's position to within a single lattice site in a single experimental image, extending quantum simulation with microscopy systems further into the regime of three dimensions.
△ Less
Submitted 5 March, 2024; v1 submitted 8 December, 2023;
originally announced December 2023.
-
Direct measurement of the Wigner function of atoms in an optical trap
Authors:
Falk-Richard G. Winkelmann,
Carrie A. Weidner,
Gautam Ramola,
Wolfgang Alt,
Dieter Meschede,
Andrea Alberti
Abstract:
We present a scheme that uses Ramsey interferometry to directly probe the Wigner function of a neutral atom confined in an optical trap. The proposed scheme relies on the well-established fact that the Wigner function at a given point $(x,p)$ in phase space is proportional to the expectation value of the parity operator relative to that point. In this work, we show that parity-even and parity-odd…
▽ More
We present a scheme that uses Ramsey interferometry to directly probe the Wigner function of a neutral atom confined in an optical trap. The proposed scheme relies on the well-established fact that the Wigner function at a given point $(x,p)$ in phase space is proportional to the expectation value of the parity operator relative to that point. In this work, we show that parity-even and parity-odd motional states can be mapped to two distinct internal states of the atom by using state-dependent trap** potentials. The Wigner function can thus be measured point-by-point in phase space with a single, direct measurement of the internal state population. Numerical simulations show that the scheme is robust in that it applies not only to deep, harmonic potentials but also to shallower, anharmonic traps.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
A Domain-specific Language for High-reliability Software used in the JUICE SWI Instrument - The hO Language Manual
Authors:
Felix Winkelmann,
Oskar Schirmer
Abstract:
hO is a custom restricted dialect of Oberon, developed at the Max-Planck Institute for Solar System Research in Göttingen and used in the SWI flight software for the JUICE mission. hO is applied to reduce the possibility of syntactically valid but incorrect code, provide better means of statically analyzing source code, is more readable than C and gives syntactic support for the software architect…
▽ More
hO is a custom restricted dialect of Oberon, developed at the Max-Planck Institute for Solar System Research in Göttingen and used in the SWI flight software for the JUICE mission. hO is applied to reduce the possibility of syntactically valid but incorrect code, provide better means of statically analyzing source code, is more readable than C and gives syntactic support for the software architecture used in the SWI instrument software. By using a higher-level, application-specific notation a whole range of possible errors is eliminated and source code size is reduced, while making the code itself easier to understand, review and analyze.
△ Less
Submitted 11 September, 2017;
originally announced September 2017.
