27 citations · 63 across the 6 of their papers we have counts for
7 papers
Mach-Zehnder atom interferometry with non-interacting trapped Bose Einstein condensates
Tommaso Petrucciani, Andrea Santoni, Chiara Mazzinghi +7
The coherent manipulation of a quantum wave is at the core of quantum sensing. For instance, atom interferometers require linear splitting and recombination processes to map the ac…
Long-wavelength optical lattices from optical beatnotes: theory and applications
Tommaso Petrucciani, Andrea Santoni, Chiara Mazzinghi +4
We present a theoretical analysis of Beat-Note Superlattices (BNSLs), a recently demonstrated technique for generating periodic trapping potentials for ultracold atomic clouds, wit…
Multimode Trapped Interferometer with Ideal Bose-Einstein Condensates
Leonardo Masi, Tommaso Petrucciani, Alessia Burchianti +8
We experimentally demonstrate a multi-mode interferometer comprising a Bose-Einstein condensate of K atoms trapped in a harmonic potential, where the interatomic interaction…
Spatial Bloch oscillations of a quantum gas in a "beat-note" superlattice
L. Masi, T. Petrucciani, G. Ferioli +4
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…
Sensitivity bounds of a spatial Bloch-oscillations Atom Interferometer
I. Nałȩcz, L. Masi, G. Ferioli +3
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.…
Semantic subtyping for non-strict languages
Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona +1
Semantic subtyping is an approach to define subtyping relations for type systems featuring union and intersection type connectives. It has been studied only for strict languages, a…
Set-Theoretic Types for Polymorphic Variants
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unifica…