-
10-18
2013
Reachability Analysis of Quantum Markov Chains
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...
-
01-23
2017
Engineering Quantum Thermal Machines
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...
-
09-28
2023
fermion-to-qubit mappings in two spatial dimensions
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...
-
03-20
2014
Quantum Journal Club: Storage and retrieval of single photons transmitted betwee
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...
-
03-13
2014
Quantum Journal Club: Local detection of quantum correlations with a single trap
Abstract: Quantum correlations are at the heart of quantum information science1–3. Their detection usually requires access to all the correlated subsystems4,5. However, in many realistic scenarios t...
-
10-19
2023
Quantum simulations on an analog-digital trapped-ion quantum system
Abstract: Our quantum experiment consists of a chain of 171Yb+ ions with individual Raman beam addressing and individual readout. This fully connected system can be configured to run any sequence of ...