Abstract: The photon creation and annihilation operators are cornerstones of the quantum description of the electromagnetic field. They signify the isomorphism of the optical Hilbert space to that of...
Abstract: We demonstrate single-qubit operations by transporting a beryllium ion with a controlled velocity through a stationary laser beam. We use these to perform coherent sequences of quantum oper...
Abstract: This paper studies verification of quantum systems, including quantum programs. We consider three kinds of long-term behaviour, namely reachability, repeated reachability and persistence, o...
Abstract: Quantum thermodynamics has the potential to impact energy science. Yet, the identification of scenarios characterized by a quantum supremacy, unmatched by the classical counterpart, remains...
Abstract: The talk discusses the relationship between fermionic observables and Pauli matrices on two-dimensional lattices. First, it will introduce the exact bosonization method. It is argued that a...
Abstract: An elementary quantum network operation involves storing a qubit state in an atomic quantum memory node, and then retrieving and transporting the information through a single photon excitat...