Introduction to Quantum Computing with Q# and QDK

This book introduces the fundamentals of the theory of quantum computing, illustrated with code samples written in Q#, a quantum-specific programming language, and its related Quantum Development Kit. Quantum computing (QC) is a multidisciplinary field that sits at the intersection of quantum physics, quantum information theory, computer science and mathematics, and which may revolutionize the world of computing and software engineering.

The book begins by covering historical aspects of quantum theory and quantum computing, as well as offers a gentle, algebra-based, introduction to quantum mechanics, specifically focusing on concepts essential for the field of quantum programming. Quantum state description, state evolution, quantum measurement and the Bell's theorem are among the topics covered. The readers also get a tour of the features of Q# and familiarize themselves with the QDK.

Next, the core QC topics are discussed, complete with the necessary mathematical formalism. This includes the notions of qubit, quantum gates and quantum circuits. In addition to that, the book provides a detailed treatment of a series of important concepts from quantum information theory, in particular entanglement and the no-cloning theorem, followed by discussion about quantum key distribution and its various protocols. Finally, the canon of most important QC algorithms and algorithmic techniques is covered in-depth - from the Deutsch-Jozsa algorithm, through Grover's search, to Quantum Fourier Transform, quantum phase estimation and Shor's algorithm.

The book is an accessible introduction into the vibrant and fascinating field of quantum computing, offering a blend of academic diligence with pragmatism that is so central to software development world. All of the discussed theoretical aspects of QC are accompanied by runnable code examples, providing the reader with two different angles - mathematical and programmatic - of looking at the same problem space.

Autorentext

Filip is a founder and maintainer of several popular open source projects, active contributor to the Q# community and a Microsoft Quantum MVP. He specializes in programming language tooling, the C# compiler and quantum computing. Filip is based in Zürich, where he works in the medical industry, for Sonova AG, as an Architect in Research & Development.

Inhalt

Part One1 Background

1.1 Historical development of quantum theory

1.2 Reality without realism

2 Basics of quantum mechanics

2.1 Quantum state

2.2 Superposition

2.3 Born rule

2.4 Observables

2.5 State evolution 2.6 Larger systems

2.7 Postulates of quantum mechanics

2.8 Entanglement

2.9 Bell's theorem

2.10 No-cloning theorem

Part Two

3 Getting Started with Quantum Programming

3.1 Setting up QDK environment

3.2 Getting started with Q#

4 Quantum Computing

4.1 History

4.2 Qubits

4.3 Quantum circuits

4.4 Superposition

4.5 Pauli gates

4.5.1 I gate

4.5.2 X gate

4.5.3 Z gate

4.5.4 Y gate 4.5.5 Summary

4.6 Rotation gates

4.6.1 Rz gate

4.6.2 S gate

4.6.3 T gate

4.6.4 Rx and Ry gates

4.7 Multi qubit gates

4.7.1 Controlled gates

4.7.2 CNOT gate 4.7.3 SWAP gate

4.7.4 CZ gate

4.7.5 Toffoli gate

4.8 Gate universality

5 Entanglement

5.1 Basics

5.2 Bell's inequalities

5.3 CHSH Game

5.4 Teleportation

5.5 Superdense coding 5.6 Entanglement as a resource

6 Quantum Key Distribution

6.1 One-time pad encryption

6.2 BB84 protocol

6.3 B92 protocol

6.4 EPR-based quantum key distribution

Part Three

7 Algorithms

7.1 Deutsch-Jozsa Algorithm

7.2 QuantumSearch

7.3 Useful Algorithm Components 7.3.1 QFT

7.3.2 QPE

7.4 Shor's Algorithm