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.

arXiv comment88 pages, various figures

References in corpus (67)

• Quantum Computing in the NISQ era and beyond
• Fault-tolerant quantum computation by anyons
• Non-Abelian Anyons and Topological Quantum Computation
• Large N Field Theories, String Theory and Gravity
• Anyons in an exactly solved model and beyond
• Unpaired Majorana fermions in quantum wires
• Quantum Annealing in the Transverse Ising Model
• Periodic table for topological insulators and superconductors
• Holonomic Quantum Computation
• Quantum Computation as Geometry
• Robustness of adiabatic quantum computation
• Superconducting Quantum Computing: A Review
• Twisted equivariant matter
• The wall of the cave
• The Bitter Truth About Quantum Algorithms in the NISQ Era
• Gauge Fields and Space-Time
• Braid Topologies for Quantum Computation
• String Theory and Quark Confinement
• NMR Based Quantum Information Processing: Achievements and Prospects
• Braiding Operators are Universal Quantum Gates
• Quantum Annealing: An Overview
• Disorder-induced zero-bias peaks in Majorana nanowires
• Anyon computers with smaller groups
• Homotopy theoretic models of identity types
• Twisted differential String and Fivebrane structures
• Anyons from non-solvable finite groups are sufficient for universal quantum computation
• Majorana nanowires for topological quantum computation
• Asymptotically Optimal Topological Quantum Compiling
• Topological Quantum Compiling
• Non-adiabatic Effects in the Braiding of Non-Abelian Anyons in Topological Superconductors
• Principal infinity-bundles -- General theory
• Why should anyone care about computing with anyons?
• The Simplicial Model of Univalent Foundations (after Voevodsky)
• Topological Quantum Computing with Read-Rezayi States
• Types are weak omega-groupoids
• An $\infty$-categorical approach to $R$-line bundles, $R$-module Thom spectra, and twisted $R$-homology
• Reflections upon the Emergence of Hadronic Mass
• Univalence for inverse diagrams and homotopy canonicity
• Stacks of group representations
• Equivariant Cohomotopy implies orientifold tadpole cancellation
• The Adiabatic Theorem for Quantum Systems with Spectral Degeneracy
• Fusion channels of non-Abelian anyons from angular-momentum and density-profile measurements
• The Rational Higher Structure of M-theory
• Type classes for efficient exact real arithmetic in Coq
• Fibonacci anyons versus Majorana fermions
• Differential Cohomotopy implies intersecting brane observables via configuration spaces and chord diagrams
• Braiding and fusion of non-Abelian vortex anyons
• A Monadic, Functional Implementation of Real Numbers
• The character map in (twisted differential) non-abelian cohomology
• Sets in homotopy type theory
• Adiabatic topological quantum computing
• Quantum Gauge Field Theory in Cohesive Homotopy Type Theory
• Univalent foundations and the equivalence principle
• Anyonic Topological Order in Twisted Equivariant Differential (TED) K-Theory
• Anyonic Defect Branes and Conformal Blocks in Twisted Equivariant Differential (TED) K-theory
• Ising-like and Fibonacci-Anyons from KZ-equations
• Modal Descent
• Monodromy Representations of the Braid Group
• Methods and Results for Quantum Optimal Pulse Control on Superconducting Qubit Systems
• Validating Mathematical Structures
• A Higher Structure Identity Principle
• The General Universal Property of the Propositional Truncation
• Constructing Higher Inductive Types as Groupoid Quotients
• Explicit connection between conformal field theory and 2+1 Chern-Simons theory
• Combinatorial parametrised spectra
• 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