-
Multimode Trapped Interferometer with Ideal Bose-Einstein Condensates
Authors:
Leonardo Masi,
Tommaso Petrucciani,
Alessia Burchianti,
Chiara Fort,
Massimo Inguscio,
Lorenzo Marconi,
Giovanni Modugno,
Niccolò Preti,
Dimitrios Trypogeorgos,
Marco Fattori,
Francesco Minardi
Abstract:
We experimentally demonstrate a multi-mode interferometer comprising a Bose-Einstein condensate of $^{39}$K atoms trapped in a harmonic potential, where the interatomic interaction can be cancelled exploiting Feshbach resonances. Kapitza-Dirac diffraction from an optical lattice coherently splits the BEC in multiple momentum components equally spaced that form different interferometric paths, clos…
▽ More
We experimentally demonstrate a multi-mode interferometer comprising a Bose-Einstein condensate of $^{39}$K atoms trapped in a harmonic potential, where the interatomic interaction can be cancelled exploiting Feshbach resonances. Kapitza-Dirac diffraction from an optical lattice coherently splits the BEC in multiple momentum components equally spaced that form different interferometric paths, closed by the trap** harmonic potential. We investigate two different interferometric schemes, where the recombination pulse is applied after a full or half oscillation in the confining potential. We find that the relative amplitudes of the momentum components at the interferometer output are sensitive to external forces, through the induced displacement of the harmonic potential with respect to the optical lattice. We show how to calibrate the interferometer, fully characterize its output and discuss perspective improvements.
△ Less
Submitted 14 June, 2021;
originally announced June 2021.
-
Spatial Bloch oscillations of a quantum gas in a "beat-note" superlattice
Authors:
L. Masi,
T. Petrucciani,
G. Ferioli,
G. Semeghini,
G. Modugno,
M. Inguscio,
M. Fattori
Abstract:
We report the experimental realization of a new kind of optical lattice for ultra-cold atoms where arbitrarily large separation between the sites can be achieved without renouncing to the stability of ordinary lattices. Two collinear lasers, with slightly different commensurate wavelengths and retroreflected on a mirror, generate a superlattice potential with a periodic "beat-note" profile where t…
▽ More
We report the experimental realization of a new kind of optical lattice for ultra-cold atoms where arbitrarily large separation between the sites can be achieved without renouncing to the stability of ordinary lattices. Two collinear lasers, with slightly different commensurate wavelengths and retroreflected on a mirror, generate a superlattice potential with a periodic "beat-note" profile where the regions with large amplitude modulation provide the effective potential minima for the atoms. To prove the analogy with a standard large spacing optical lattice we study Bloch oscillations of a Bose Einstein condensate with negligible interactions in the presence of a small force. The observed dynamics between sites separated by ten microns for times exceeding one second proves the high stability of the potential. This novel lattice is the ideal candidate for the coherent manipulation of atomic samples at large spatial separations and might find direct application in atom-based technologies like trapped atom interferometers and quantum simulators.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Sensitivity bounds of a spatial Bloch-oscillations Atom Interferometer
Authors:
I. Nałȩcz,
L. Masi,
G. Ferioli,
T. Petrucciani,
M. Fattori,
J. Chwedeńczuk
Abstract:
We study the ultimate bounds on the sensitivity of a Bloch-oscillation atom interferometer where the external force is estimated from the measurement of the on-site atomic density. For external forces such that the energy difference between lattice sites is smaller than the tunneling energy, the atomic wave-function spreads over many lattice sites, increasing the separation between the occupied mo…
▽ More
We study the ultimate bounds on the sensitivity of a Bloch-oscillation atom interferometer where the external force is estimated from the measurement of the on-site atomic density. For external forces such that the energy difference between lattice sites is smaller than the tunneling energy, the atomic wave-function spreads over many lattice sites, increasing the separation between the occupied modes of the lattice and naturally enhancing the sensitivity of the interferometer. To investigate the applicability of this scheme we estimate the effect of uncontrolled fluctuations of the tunneling energy and the finite resolution of the atom detection. Our analysis shows that a horizontal lattice combined with a weak external force allow for high sensitivities. Therefore, this setup is a promising solution for compact devices or for measurements with high spatial resolution.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
Semantic subty** for non-strict languages
Authors:
Tommaso Petrucciani,
Giuseppe Castagna,
Davide Ancona,
Elena Zucca
Abstract:
Semantic subty** is an approach to define subty** relations for type systems featuring union and intersection type connectives. It has been studied only for strict languages, and it is unsound for non-strict semantics. In this work, we study how to adapt this approach to non-strict languages: in particular, we define a type system using semantic subty** for a functional language with a call-…
▽ More
Semantic subty** is an approach to define subty** relations for type systems featuring union and intersection type connectives. It has been studied only for strict languages, and it is unsound for non-strict semantics. In this work, we study how to adapt this approach to non-strict languages: in particular, we define a type system using semantic subty** for a functional language with a call-by-need semantics. We do so by introducing an explicit representation for divergence in the types, so that the type system distinguishes expressions that are results from those which are computations that might diverge.
△ Less
Submitted 16 October, 2018; v1 submitted 12 October, 2018;
originally announced October 2018.
-
Set-Theoretic Types for Polymorphic Variants
Authors:
Giuseppe Castagna,
Tommaso Petrucciani,
Kim Nguyen
Abstract:
Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subty** relation via unification. This yields an awkward formalization and results in a type system whose behaviour is in some cases unintuitive and/or unduly restrictive. In this work, we present an alternative formalization of poly-morphic varian…
▽ More
Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subty** relation via unification. This yields an awkward formalization and results in a type system whose behaviour is in some cases unintuitive and/or unduly restrictive. In this work, we present an alternative formalization of poly-morphic variants, based on set-theoretic types and subty**, that yields a cleaner and more streamlined system. Our formalization is more expressive than the current one (it types more programs while preserving type safety), it can internalize some meta-theoretic properties, and it removes some pathological cases of the current implementation resulting in a more intuitive and, thus, predictable type system. More generally, this work shows how to add full-fledged union types to functional languages of the ML family that usually rely on the Hindley-Milner type system. As an aside, our system also improves the theory of semantic subty**, notably by proving completeness for the type reconstruction algorithm.
△ Less
Submitted 5 July, 2016; v1 submitted 3 June, 2016;
originally announced June 2016.
