Ivan Rojkov

Variational compression can significantly lower implementation overheads for encoding the time evolution of Hamiltonians into quantum circuits. However, they usually lack global convergence guarantees and well-established scaling behavior. In this work, we provide a recipe for choosing the initial point of such variational optimizations that guarantees convergence to a quantum circuit with near-optimal gate complexity $\mathcal{O}\left( N \, t \, \text{polylog}(N \, t/ε) \right)$ for all local and translationally invariant Hamiltonians. We demonstrate our method by encoding the globally controlled time evolution of a Heisenberg antiferromagnet on a Kagome lattice. For $N = 48$ sites, evolution time $t=0.1$ and infidelity $ε\approx1\%$, the controlled time-evolution circuit requires 960 two-qubit B gates, for which we propose a straightforward implementation scheme for ion-trap setups. Thereby, our recipe extends digital quantum simulators toward system sizes and geometries that are challenging for classical computation.

To be useful, quantum computers will be required to successfully correct errors occurring at the hardware level. Bosonic codes provide a hardware-efficient option for error correction, but fault-tolerance further requires that the available gate interactions be compatible with the code. A promising bosonic code is the Gottesman-Kitaev-Preskill (GKP) code, for which a linear beamsplitter-like coupling between two bosonic modes is fault-tolerant, making this a key primitive for building larger systems. Here, using two motional modes of a trapped ion, we demonstrate the generation of entangled states of GKP qubits by interfering two qunaught states, which have a grid structure but carry no logical information, on a beamsplitter. We generate all four Bell states with an average fidelity of 69%, and subsequently demonstrate an extension of the entangled state lifetime through the use of quantum error correction. These results complete the set of Gaussian operations required for quantum computing with GKP codes and enable explorations of multi-mode bosonic encodings as well as fundamental tests of information channels.

In this article we present a comprehensive theoretical investigation of phonon lasing with mixed-species trapped ions, as demonstrated in [T. Behrle, Phys. Rev. Lett. 131 (2023)], employing both a semi-classical mean-field description and a full quantum theory. We derive an analytic expression for the second-order coherence function, confirming the experimental observation of the system's lasing behaviour above threshold. Building on the successful implementation of the two-ion lasing scheme, we propose a novel approach for achieving phonon lasing with a single trapped ion, offering significant experimental advantages and making the implementation of multiple phonon lasers within a single setup feasible. Furthermore, we explore lasing in a squeezed basis and in different regimes of the Lamb-Dicke approximation, highlighting the potential to produce non-classical states with promising applications in precision sensing. Our analysis of a sensing protocol based on squeezed states, using experimentally feasible parameters, shows a sensitivity enhancement of up to two orders of magnitude.

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.

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.