The recent development of viable architectural designs for large scale quantum computing and the continued increase in precision reported by experimental groups suggests that large scale quantum information processing may soon become a reality. Advanced topological techniques for fault-tolerant universal computation have raised the threshold (the physical error rate at which Quantum error correction becomes effective) to a level commensurate with some of the most advanced experimental systems. Given the possibility that large scale qubit arrays could be built in the near future, the time has come to address the classical issue of programming a large quantum computer.
The method of computation utilized for the vast majority of designs is the topological of quantum computing. This model is truly remarkable, not only because it is a model that incorporates all required Quantum Error Correction protocols (an absolute essential for a large scale quantum computer), but also because of the manner in which computation is performed. As with most of quantum mechanics, even the computers that will eventually be based on this theory will behave in a very strange manner. The physical quantum computer does not actually perform ANY data processing. Instead, the hardware itself is only responsible for the creation of a massive quantum state, formed from billions of physical quantum bits (qubits). This state effectively forms its own little “universe” containing the necessary properties to process information in an error corrected way; if manipulated correctly.
Information is processed in this system via how we choose to discard physical qubits. Quantum circuits are constructed by literally throwing away strategically chosen qubits emerging from the quantum hardware to create abstract 3D geometric shapes that move throughout this effective quantum “universe” created by the computer. The goal of this project is to create a classical software language that programs such a machine, converting large quantum algorithms into the necessary pattern required by the topological model.
Details : 「Publications」