Table of contents

Quantum Compiler Engineering

From quantum circuits and intermediate representations to optimization, mapping, verification, and execution on real hardware

Read each section in order. Every title can be opened as a TheoryTrace document.

• Cover
• Copyright
• How to read this book
• Introduction
• Chapter 1: What a Quantum Compiler Does
• Chapter 2: Mathematical Foundations for Quantum Compilation
• Chapter 3: Qubits, Gates, Measurements, and Circuits
• Chapter 4: Universal Gate Sets and Circuit Cost Models
• Chapter 5: From Quantum Algorithms to Compiler Inputs
• Chapter 6: Quantum Programming Languages and Circuit Formats
• Chapter 7: Intermediate Representations for Quantum Programs
• Chapter 8: Semantics and Correctness of Quantum Transformations
• Chapter 9: Basic Circuit Analysis
• Chapter 10: Local Circuit Optimization
• Chapter 11: Clifford Circuits and Stabilizer-Based Compilation
• Chapter 12: Synthesis of Single-Qubit and Two-Qubit Operations
• Chapter 13: Multi-Qubit Unitary Synthesis
• Chapter 14: Arithmetic, Oracles, and Reversible Logic Synthesis
• Chapter 15: Approximate Synthesis and Solovay-Kitaev Ideas
• Chapter 16: Mapping to Hardware Connectivity
• Chapter 17: Scheduling and Parallelism
• Chapter 18: Noise-Aware Compilation
• Chapter 19: Compilation for Variational Quantum Algorithms
• Chapter 20: Fault-Tolerant Compilation and Resource Estimation
• Chapter 21: Verification, Testing, and Debugging
• Chapter 22: Building a Minimal Quantum Compiler
• Chapter 23: Case Studies on Real Quantum Toolchains
• Chapter 24: Research Frontiers and Engineering Practice
• Conclusion