quantum algorithms:
constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
In the area of quantum computing, surface codes are quantum error correcting codes which utilize in imaginary surface (really a discrete lattice) of physical qubits, with nearest-neighbour interactions, on which error-protected logical qubits are encoded. A key example is known as the toric code.
Surface codes are also referred to as topological quantum error correcting codes, since the effective error protection translates into topological (homotopical) properties of the approximated surface. But is important to note the difference to qubit stabilization by fundamental physical topological effects as envisioned in topological quantum computing. One may regard surface codes as implementing a quantum simulation of actual hardware-level topological protection.
Austin G. Fowler, Matteo Mariantoni, John M. Martinis, Andrew N. Cleland: Surface codes: Towards practical large-scale quantum computation, Phys. Rev. A 86 (2012) 032324 [doi:10.1103/PhysRevA.86.032324, arXiv:1208.0928]
Wikipedia: Surface code
Created on February 3, 2026 at 11:45:32. See the history of this page for a list of all contributions to it.