SearcharxivSearch

arXiv subjects

Antonio Orazzo

Publications and source records attributed to Antonio Orazzo.

2 recordsLinked to original sources

A Quantum Dynamics Tutorial: Visualising Dynamical Decoupling Sequences on the Bloch Sphere

Dynamical decoupling protocols provide a versatile toolbox for robust control of quantum systems, suppressing noise that would otherwise limit their performance. This tutorial aims to provide an intuitive interpretation of these protocols. Written from an experimentalist's perspective, we use the Bloch sphere picture to visualise quantum dynamics for a range of sequences. Here each dynamical decoupling operation can be viewed as an "effective field vector", whilst the phase and population of the two-level system is encoded into a "Bloch vector". The two-level dynamics are calculated by the cross product between these two vectors, such that the quantum state represented by the Bloch vector rotates around the effective field vector. Several prominent control schemes are simulated using this picture, starting with a Rabi oscillation, followed by the Ramsey sequence and a selection of pulsed and continuous dynamical decoupling techniques. These sequences are engineered to preserve control of the quantum system for as long as possible, with their efficacy often quantified by a coherence time. We clarify the definition of the longitudinal $T_1$, transverse $T_2$ and inhomogeneous $T_2^*$ coherence times, which are used across the literature. Each simulation has an accompanying animation to illustrate the protocol's two-level dynamics on the Bloch sphere. The custom simulation and Bloch sphere plotting scripts are also provided in an open access repository to allow the reader to reproduce, modify, and explore these results. Dynamical decoupling sequences have established themselves as an invaluable tool across the entire quantum technologies remit; by providing an open framework alongside this tutorial, we aim to make these protocols more accessible to new researchers discovering this thriving field.

quant-ph

Automatic instantiation of abstract tests on specific configurations for large critical control systems

Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an abstract testing of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). Such a process is usually performed by hand for each installation of the control system, requiring a considerable time effort and being an error prone verification activity. To automate a safe passage from abstract tests, related to the so called generic software application, to any specific installation, an algorithm is provided, starting from a reference architecture and a state-based behavioural model of the control software. The presented approach has been applied to a railway interlocking system, demonstrating its feasibility and effectiveness in several years of testing experience.

cs.SE