Synthesis of Arbitrary Quantum Circuits to Topological Assembly

Abstract

Given a quantum algorithm, it is highly nontrivial to devise an efficient sequence of physical gates implementing the algorithm on real hardware and incorporating topological quantum error correction. In this paper, we present a first step towards this goal, focusing on generating correct and simple arrangements of topological structures that correspond to a given quantum circuit and largely neglecting their efficiency. We detail the many challenges that will need to be tackled in the pursuit of efficiency. The software source code can be consulted at https://github.com/alexandrupaler/tqec.

24 pages, 28 figures

References in corpus (4)

• Surface codes: Towards practical large-scale quantum computation
• Topological fault-tolerance in cluster state quantum computation
• A bridge to lower overhead quantum computation
• Time-optimal quantum computation

Cited by in corpus (18)

• Roads towards fault-tolerant universal quantum computation
• Local and Distributed Quantum Computation
• Performing Quantum Computing Experiments in the Cloud
• Optimized Surface Code Communication in Superconducting Quantum Computers
• Mapping of Lattice Surgery-based Quantum Circuits on Surface Code Architectures
• Parallelising the Queries in Bucket Brigade Quantum RAM
• Lattice Surgery Translation for Quantum Computation
• Magic-State Functional Units: Mapping and Scheduling Multi-Level Distillation Circuits for Fault-Tolerant Quantum Architectures
• Optimization of CNOT circuits on limited connectivity architecture
• Lattice Surgery on the Raussendorf Lattice
• Synthesis of Arbitrary Quantum Circuits to Topological Assembly: Systematic, Online and Compact
• A SAT Scalpel for Lattice Surgery: Representation and Synthesis of Subroutines for Surface-Code Fault-Tolerant Quantum Computing
• Feasibility of Logical Bell State Generation in Memory Assisted Quantum Networks
• A 3D lattice defect and efficient computations in topological MBQC
• Time versus Hardware: Reducing Qubit Counts with a (Surface Code) Data Bus
• String Diagrams for Defect-Based Surface Code Computing
• Programming quantum computers using 3-D puzzles, coffee cups, and doughnuts
• Reliable quantum circuits have defects