Topological Quantum Gates in Homotopy Type Theory

Abstract

Despite the evident necessity of topological protection for realizing scalable quantum computers, the conceptual underpinnings of topological quantum logic gates had arguably remained shaky, both regarding their physical realization as well as their information-theoretic nature. Building on recent results on defect branes in string/M-theory and on their holographically dual anyonic defects in condensed matter theory, here we explain how the specification of realistic topological quantum gates, operating by anyon defect braiding in topologically ordered quantum materials, has a surprisingly slick formulation in parameterized point-set topology, which is so fundamental that it lends itself to certification in modern homotopically typed programming languages, such as cubical Agda. We propose that this remarkable confluence of concepts may jointly kickstart the development of topological quantum programming proper as well as of real-world application of homotopy type theory, both of which have arguably been falling behind their high expectations; in any case, it provides a powerful paradigm for simulating and verifying topological quantum computing architectures with high-level certification languages aware of the actual physical principles of realistic topological quantum hardware. In a companion article, we will explain how further passage to "dependent linear" homotopy data types naturally extends this scheme to a full-blown quantum programming/certification language in which our topological quantum gates may be compiled to verified quantum circuits, complete with quantum measurement gates and classical control.

88 pages, various figures

References in corpus (28)

• Non-Abelian Anyons and Topological Quantum Computation
• Quantum Computation as Geometry
• Superconducting Quantum Computing: A Review
• The Bitter Truth About Quantum Algorithms in the NISQ Era
• Quantum Annealing: An Overview
• Disorder-induced zero-bias peaks in Majorana nanowires
• Homotopy theoretic models of identity types
• Majorana nanowires for topological quantum computation
• Topological Quantum Compiling
• Why should anyone care about computing with anyons?
• Topological Quantum Computing with Read-Rezayi States
• An $\infty$-categorical approach to $R$-line bundles, $R$-module Thom spectra, and twisted $R$-homology
• Reflections upon the Emergence of Hadronic Mass
• The Rational Higher Structure of M-theory
• Fibonacci anyons versus Majorana fermions
• The character map in (twisted differential) non-abelian cohomology
• Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
• Anyonic Topological Order in Twisted Equivariant Differential (TED) K-Theory
• Univalent foundations and the equivalence principle
• Anyonic Defect Branes and Conformal Blocks in Twisted Equivariant Differential (TED) K-theory
• Ising-like and Fibonacci-Anyons from KZ-equations
• Modal Descent
• Methods and Results for Quantum Optimal Pulse Control on Superconducting Qubit Systems
• Validating Mathematical Structures
• A Higher Structure Identity Principle
• Constructing Higher Inductive Types as Groupoid Quotients
• Modal Fracture of Higher Groups
• Fusion Structure from Exchange Symmetry in (2+1)-Dimensions

Cited by in corpus (6)

• Flux Quantization on M5-branes
• Anyons on M5-Probes of Seifert 3-Orbifolds via Flux Quantization
• Engineering of Anyons on M5-Probes via Flux Quantization
• The Quantum Monadology
• Identifying Anyonic Topological Order in Fractional Quantum Anomalous Hall Systems
• Quantum and Reality