Matteo Simoni

Non-linearities are a key feature allowing non-classical control of quantum harmonic oscillators. However, when non-linearities are strong, designing protocols for control is often difficult, placing a barrier to exploiting these properties fully. Here, using a single trapped-ion oscillator operated in the strongly non-linear regime of the atom-light interaction, we show how to generate localized multi (2, 3, 4, and 5)-component Schrödinger's cat manifolds using a novel form of non-linear reservoir engineering. We then specifically select Hamiltonians which allow us to perform measurements on these state manifolds. To our knowledge, our work is the first experimental use of such high order non-linear processes for control of non-classical states of a quantum harmonic oscillator, opening up a new toolbox which can be applied to bosonic quantum error correction, computation, and sensing.

Single-atom quantum sensors offer high spatial resolution and high sensitivity to electric and magnetic fields. Among them, trapped ions offer exceptional performance in sensing electric fields, which has been used in particular to probe these in the proximity of metallic surfaces. However, the flexibility of previous work was limited by the use of radio-frequency trapping fields, which has restricted spatial scanning to linear translations, and calls into question whether observed phenomena are connected to the presence of the radio-frequency fields. Here, using a Penning trap instead, we demonstrate a single ion probe which offers three-dimensional position scanning at distances between $50$ $μ\mathrm{m}$ and $450$ $μ\mathrm{m}$ from a metallic surface and above a $200\times200$ $μ\mathrm{m}^{2}$ area, allowing us to reconstruct static and time-varying electric as well as magnetic fields. We use this to map charge distributions on the metallic surface and noise stemming from it. The methods demonstrated here allow similar probing to be carried out on samples with a variety of materials, surface constitutions and geometries, providing a new tool for surface science.

We propose and experimentally demonstrate a method for laser cooling an oscillator based on sequences of spin-state-dependent displacements followed by spin repumping. For a thermal state with mean occupation $\bar{n}\gg 1$ the method attains a reduction to 0.632 of the initial thermal oscillator occupation for two repumps of the two-level spin state. This is within a factor of 2.53 of the optimum that might be expected due to the reduction of the oscillator entropy by $2 \ln(2)$. We show that the method, which is based on encoding the value of the modular-variable of the oscillator into the spin, has a simple semi-classical description in terms of a Bayesian update. We demonstrate the method experimentally using the internal and motional states of a single trapped ion.

We introduce a novel reservoir engineering approach for stabilizing multi-component Schrödinger's cat manifolds. The fundamental principle of the method lies in the destructive interference at crossings of gain and loss Hamiltonian terms in the coupling of an oscillator to a zero-temperature auxiliary system, which are nonlinear with respect to the oscillator's energy. The nature of these gain and loss terms is found to determine the rotational symmetry, energy distributions, and degeneracy of the resulting stabilized manifolds. Considering these systems as bosonic error-correction codes, we analyze their properties with respect to a variety of errors, including both autonomous and passive error correction, where we find that our formalism gives straightforward insights into the nature of the correction. We give example implementations using the anharmonic laser-ion coupling of a trapped ion outside the Lamb-Dicke regime as well as nonlinear superconducting circuits. Beyond the dissipative stabilization of standard cat manifolds and novel rotation symmetric codes, we demonstrate that our formalism allows for the stabilization of bosonic codes linked to cat states through unitary transformations, such as quadrature-squeezed cats. Our work establishes a design approach for creating and utilizing codes using nonlinearity, providing access to novel quantum states and processes across a range of physical systems.