Advanced Tutorials on Quantum Circuits

Bob Coecke, Ross Duncan

Shiro Kawabata

Arend-Jan Quist, Jingyi Mei, Tim J. Coopmans +1 more

Abstract This tutorial introduces quantum computing with a focus on the applicability of formal methods in this relatively new domain. We describe quantum circuits and convey an understanding of their inherent combinatorial nature and the exponential blow-up that makes them hard to analyze. Then, we show how weighted model counting (#SAT) can be used to solve hard analysis tasks for quantum circuits. This tutorial is aimed at everyone in the formal methods community with an interest in quantum computing. Familiarity with quantum computing is not required, but basic linear algebra knowledge (particularly matrix multiplication and basis vectors) is a prerequisite. The goal of the tutorial is to inspire the community to advance the development of quantum computing with formal methods.

Gunajit Kalita

S. E. Rasmussen, K.S. Christensen, Simon Panyella Pedersen +4 more

This tutorial aims at giving an introductory treatment of the circuit analysis of superconducting qubits, i.e., two-level systems in superconducting circuits.It also touches upon couplings between such qubits and how microwave driving and these couplings can be used for single-and two-qubit gates, as well as how to include noise when calculating the dynamics of the system.We also discuss higher-dimensional superconducting qudits.The tutorial is intended for new researchers with limited or no experience with the field but should be accessible to anyone with a bachelor's degree in physics.The tutorial introduces the basic methods used in quantum circuit analysis, starting from a circuit diagram and ending with a quantized Hamiltonian, that may be truncated to the lowest levels.We provide examples of all the basic techniques throughout the discussion, while in the last part of the tutorial we discuss several of the most commonly used circuits for quantum-information applications.This includes both worked examples of single qubits and examples of how to analyze the coupling methods that allow multiqubit operations.In several detailed appendices, we provide the interested reader with an introduction to more advanced techniques for handling larger circuit designs.

Helio V. Fagundes