Tutorial T1

Title: Tutorials on Quantum Control

Abstract: The rapid development of quantum computers has entailed extensive research in quantum controlling technologies that manipulate quantum states. Equally important to quantum controlling hardware is the development of software, which greatly improves the efficiency of quantum experiments or the applications of quantum computers in solving real world problems. In this proposal, a half-day tutorial is proposed. It contains four sessions and covers the following topics: quantum programming languages, quantum compilation, quantum controlling software, and quantum computing based on superconducting qubits. The intended audience includes but not limited to experts and students in the fields of (1) quantum computing, (2) compiler and architecture optimization, (3) hardware/software co-design. Since quantum computing is a sub-area in EDA conferences, programming language, compilation, systematic software support for controlling superconducting quantum computing systems will fit the audience from ESWEEK.

Ways to deliver: The tutorials are given via four introductory lectures. Each lecture takes 45 minutes including the Q&A discussion with attendees.

The necessary software includes Quingo and Quantify, which can be installed based on the instructions on https://gitee.com/quingo/quingo-runtime (Quingo), https://quantify-quantify-core.readthedocs-hosted.com/en/0.5.3_a/installation.html (Quantify-core) and https://quantify-quantify-scheduler.readthedocs-hosted.com/en/0.7.0/installation.html (Quantify-scheduler).

List of topics and speakers

Topic 1: Superconducting quantum computing

Abstract: In this talk, I will show our recent progress with our collaborators on superconducting multiqubits system. We designed and fabricated several versions of quantum processors, including one integrated up to 66 qubits. The fidelities of single-bit gates and two-bit gates are calibrated by randomized benchmarking or parallel cross-entropy benchmarking. For single-qubit gates, the average error is ~0.14% and that of two-qubit gates is ~0.59%. I will also show some of the multi-qubits experiment results, e.g., genuine multiparticle entanglement for 12 superconducting qubits, quantum walks on a programmable two-dimensional 62-qubit superconducting processor, and strong quantum advantage.

Instructor: Xiaobo Zhu

Biography: Prof. Xiaobo Zhu received his PhD in condensed matter physics at Institute of Physics, Chinese Academy of Sciences (IOP-China), Beijing, in 2003. Between 2003 and 2008, he worked in IOP-China as intern, assistant professor and associated professor. In 2008, he joined NTT Basic Research Laboratories as Research Associate and Senior Research Associate. In 2013, he became a special assigned professor in IOP-China. In 2016, he joined University of science and technology of China as professor. His team is dedicated to develop scalable superconducting quantum computing. He has been responsible for developing several generations of highly coherent superconducting quantum processors, setting up ultra-low noise control and readout platform at millikelvin temperatures, and building up software and hardware of the room-temperature electronics. This team developed a two-dimensional programmable superconducting quantum processor, Zuchongzhi, which is composed of 66 functional qubits in a tunable coupling architecture. Based on this state-of-the-art quantum processor, they achieved larger-scale random quantum circuit sampling, with a system scale of up to 60 qubits and 24 cycles and therefore exhibited strong quantum advantage. The achieved sampling task is about 6 orders of magnitude more difficult than that of Sycamore.

Topic 2: Quantify, an open-source control framework for quantum computing experiments

Abstract: Operating a quantum computer in the NISQ era is an often-underestimated challenge. Specifically, the tune-up and execution of quantum algorithms, which consist of physics experiments requiring access to control parameters and measured signals, as well as classical logic. Typically, these are defined at a higher level of abstraction and are not supported by current control architectures because they are limited to expressing experiments as either a series of classical pulses or variants of QASM. Here, we present Quantify, a robust and extensively documented open-source experiment platform inspired by PycQED (Rol et al. 10.5281/zenodo.160327). Quantify contains all the basic functionality to control experiments (e.g., instrument management, live plotting, data storage, etc.), as well as a novel scheduler featuring a unique hybrid control model allowing quantum gate- and pulse-level descriptions to be combined in a clearly defined and hardware-agnostic way. The scheduler allows parameterized expressions and classical logic to make efficient use of hardware backends that support this. This opens up new avenues for efficient execution of calibration routines as well as variational quantum algorithms (VQA).

Instructor: Adriaan Rol

Biography: Adriaan received his PhD in applied physics (cum laude) from the group of Prof. Leo DiCarlo at Delft University of Technology/QuTech where he worked on control for superconducting quantum systems. He has developed new calibration and characterization protocols, as well as a new type of two-qubit gate, and made key contributions to the development of Quantum Infinity, a transmon-based full-stack quantum computer that preceded QuTech’s Quantum Inspire platform. Adriaan has worked closely with experts from all layers of the stack, which was formally recognized through the Zurich Instruments Pioneer Award, and resulted in awardwinning papers. Before starting his PhD, Adriaan was on the executive board of a non-profit business consultancy. Adriaan is Director of Research & Development and one of the founders of Orange Quantum Systems, a company building diagnostic systems for QPU characterization.

Topic 3: Heterogeneous quantum-classical programming using Quingo

Abstract: Quantum computers hold the promise to accelerate solving problems intractable by classical computers. Programmers write quantum programs to solve problems, which are compiled and optimized by a quantum computer, resulting in some quantum binaries executable on quantum hardware. In this tutorial, I will start with a short introduction to the basics of quantum computing, followed by the rationale and design of a new quantum programming language, Quingo. After a short presentation on the Quingo software ecosystem, I will demonstrate how to write some heterogeneous quantum-classical programs using the Quingo framework and execute them on a Chinese quantum computing platform on the cloud based on superconducting qubits.

Instructor: Xiang Fu

Biography: Dr. Xiang Fu is an assistant researcher at the Institute of Quantum Information and State Key Laboratory of High Performance Computing, School of Computer Science and Technology, National University of Defense Technology (NUDT). He holds a bachelor’s degree in electronics from Tsinghua University, a master’s degree in computer architecture from NUDT, and a PhD in quantum control architecture from QuTech, Delft University of Technology in the Netherlands. His work focuses on enabling the programmability over a quantum computing system, which is highlighted by the first quantum control microarchitecture QuMA, an executable quantum computing instruction set architecture, eQASM, and the heterogeneous quantum-classical programming framework Quingo. He is honored by the MICRO-50 Best Paper Award and Top Picks 2017. His main research interests include quantum programming languages, quantum compilation, and quantum architecture.

Topic 4: Quantum compilation for near-term quantum computers

Abstract: Quantum computing can solve some problems that are intractable by classical computers. We are now entering the noisy intermediate-scale quantum (NISQ) computing era. NISQ computers have short qubit coherence time and high gate error rates, making it difficult to implement reliable quantum computation. Moreover, NISQ computers have hardware constraints such as limited qubit connectivity, making quantum circuits not directly executable. Compilation techniques are required to compile hardware-agnostic quantum circuits into hardware-compatible ones, meanwhile minimizing circuit sizes and hardware errors for highfidelity computation. In this tutorial, I will first introduce the basics of quantum compilation and then review different types of compilers for NISQ computers such as general-purpose compilers, application-specific compilers, noise-aware compilers, etc.

Instructor: Lingling Lao

Biography: Lingling Lao is a Research Fellow in Prof. Dan Browne’s group at the Department of Physics and Astronomy, University College London. She holds a bachelor’s degree in electronics from Harbin Institute of Technology, a master’s degree in Electronics from Northwestern Polytechnical University, and a PhD in quantum computing from QuTech, Delft University of Technology in the Netherlands under the supervision of Prof. Koen Bertels. Her PhD thesis was entitled “Quantum computing in practice: fault-tolerant protocols and circuit-mapping techniques”. Her research interests include quantum compilation, quantum error correction, fault-tolerant quantum computing, and quantum computer architecture.

Organizers

Professor Yuxin Deng has extensive experience in organizing national and international conferences. He has organized TASE 2016, FMAC 2017, FMAC 2019, and SETTA 2019. He has also served in around 40 program committees of international conferences in the area of formal methods such as ICALP 2013, ICALP 2016, ICALP 2018, CONCUR 2019, CONCUR 2021, CAV 2021, and CAV 2022. He is an invited speaker for CONCUR 2018. He is a guest editor for a special issue at Theoretical Computer Science.

Dr. Xiang Fu organized 1st workshop on Programmable Quantum Control during QIP 2020. He is an invited speaker for Quantum Algorithm and Software 2019 by Pengcheng Laboratory, Workshop on Quantum Computation and Information 2020 by Institute of Physics, Chinese Academy of Sciences, etc.