Synthesis of Topological Quantum Circuits
Total Page:16
File Type:pdf, Size:1020Kb
Synthesis of Topological Quantum Circuits Alexandru Paler1 Simon Devitt2 Kae Nemoto2 Ilia Polian1 1Faculty of Informatics and Mathematics 2National Institute of Informatics University of Passau 2-1-2 Hitotsubashi, Chiyoda-ku Innstr. 43, D-94032 Passau, Germany Tokyo, Japan [email protected] [email protected] Abstract—Topological quantum computing has recently proven converting the abstract circuits describing a quantum algorithm itself to be a very powerful model when considering large- into the full set of error corrected operations applied by scale, fully error corrected quantum architectures. In addition the actual hardware. This work represents arguably the first to its robust nature under hardware errors, it is a software driven method of error corrected computation, with the hardware serious attempt to develop a classical framework for a fully responsible for only creating a generic quantum resource (the error corrected computational model compatible with current topological lattice). Computation in this scheme is achieved by architectural designs. the geometric manipulation of holes (defects) within the lattice. Interactions between logical qubits (quantum gate operations) Topological Quantum Computing (TQC) is a model for are implemented by using particular arrangements of the defects, universal computation that is constructed on the framework such as braids and junctions. We demonstrate that junction-based of active error correction. This method of computation very topological quantum gates allow highly regular and structured abstract when compared to classical computer science. One implementation of large CNOT (controlled-not) gate networks, of the more bizarre aspects of this model is that the physi- which ultimately form the basis of the error corrected primitives that must be used for an error corrected algorithm. We present cal hardware doesn’t actually perform any real computation. a number of heuristics to optimise the area of the resulting Instead, the hardware is only responsible for producing a structures and therefore the number of the required hardware very large three-dimensional lattice of qubits which are all resources. linked together to form a single, massive quantum state. This quantum state forms the workbench of the computation and I. INTRODUCTION information is created, processed and read-out via the strategic Quantum information science has been one of the extraor- manipulation of this massive quantum state produced from the dinary success stories of theoretical and experimental physics hardware [12]. The volume of this lattice directly relates to the in the last 20 years. Since the introduction of the field in the physical resources required for an error corrected algorithm. 1980s, there has been development of a complete theoretical As large quantum algorithms commonly require thousands of framework for universal quantum computation and repeated encoded qubits and high levels of error correction are often experimental demonstration of quantum control on a small needed, the volume of the lattice is an important criteria for the number of quantum bits (qubits) in multiple physical systems synthesis of large quantum circuits. Minimising this volume [1]. In addition to the experimental system development, there reduces the amount of physical resources required, and lowers have been multiple quantum architectures proposed demon- the costs of computation [13]. strating how a large-scale multi-million qubit machine could be constructed [2]–[7]. In the topological model, quantum gates are realised via Even with this level of experimental development, large geometric shapes, known as defects, moving through the scale quantum information processing requires hardware that lattice (e.g. see Fig. 2). These realisations enable highly regular arrangements which are easily optimised using discrete arXiv:1302.5182v1 [quant-ph] 21 Feb 2013 is extraordinarily accurate; many orders of magnitude higher than any system has ever demonstrated. The inherent inaccu- algorithms. Unlike in [11] where error corrected gates are racies in quantum hardware induces errors during processing realised by moving defects around each other (known as braid- which much be corrected via dedicated and resource intensive ing), we utilise a technique where gates are realised through Quantum Error Correcting (QEC) codes [8]. The topological junctions (where defects are jointed together in the lattice). model of QEC [9]–[11] has shown itself to be more promising These constructions of error corrected gates are minimal with to many other long-standing techniques and currently forms regard to the occupied lattice volume, and enable an efficient the basis of effectively all modern quantum-computing ar- placement within it. chitectures [4]–[7]. The continuing success of experimental This work presents compact representations for the neces- fabrication now requires us to seriously address the program- sary TQC quantum gates, and uses these for several heuristics ming and operation of a large scale computer. This work is that minimise the size of the required qubit lattice, known aimed at developing the required synthesis tools for large scale as the topological cluster. To the best of our knowledge, this quantum information processing in the context of a fully error is the first automatic quantum synthesis procedure with fully corrected system. We will present the classical framework for error corrected, TQC as the target technology. Lattice Provides a protective ”buffer” for QEC II. BACKGROUND A. Quantum Computing Quantum computing can be, to a certain extent, described by building parallels to classical computing. A comprehensive Unit Cell in of the lattice review of quantum information and computation can be found in [14]. The concept of classical bit has its quantum counter- part, called a quantum bit (qubit). Like in classical computing, quantum gates are used to manipulate the state of a qubit, but in contrast to classical gates, quantum gates always have an equal number of input and output qubits. The state of a qubit can be represented as a vector Defect: Encoded Qubit j i = α0j0i + α1j1i, where α0 and α1 are complex numbers (called amplitudes) that satisfy jα j2 + jα j2 = 1. Similarly to 0 1 Fig. 1. Logical volume of the topological cluster. Each red dot represents the classical world, j0i and j1i are the states that are analogue a physical qubit, green lines represent links (entanglement between qubits). to the classical bits 0 and 1. But unlike in classical computing, An encoded piece of information is a rectangular hole that is created by a qubit can be in a superposition of these two states, where it physically removing qubits internal to its boundary, the lattice surrounding the defect provides the error correction ”buffer”. The insert illustrates a unit is both 0 and 1. For example, the state α0j0i + α1j1i has cell of the lattice, consisting of 18 qubits. 2 a probability of jα0j of being measured in the j0i state 2 and a probability of jα1j of being measured in the j1i state. These states represent quantum wavefunctions and it Reading the value of a bit has a quantum counterpart; is the interference of these wavefunctions driving quantum measurement. Unlike classical readout, quantum measurement processing. Algorithms are designed such that the amplitude allows us to read out qubits in multiple ways. The standard related to the correct answer is amplified while the wrong measurement in quantum computation, referred to as a Z-basis answers are suppressed. measurement, measures if the qubit is in the j0i or j1i state, Another similarity between quantum computing and clas- collapsing (where the wavefunction describing the quantum sical computing is that computations can be expressed as state discontinuously changes) any superposition inconsistent circuits. Quantum circuits are a description of a quantum with the measurement result. Another type of measurement is algorithm (e.g. see Fig. 3). Quantum circuits have the input an X-basis measurement, which measures if the qubit is in on the left and the output on the right. The horizontal wires the p1 j i j i state or the p1 j i − j i state. This type 2 ( 0 + 1 ) 2 ( 0 1 ) represent the qubits, and the computation is performed by of measurement is valid as these two states are orthogonal applying a time ordered set of gates, left to right. (the wavefunctions describing these states have zero overlap). A quantum gate manipulating m qubits is described by In Fig. 3, the encircled X and Z are representing these two a 2m × 2m unitary matrix acting on an column vector of types of measurements. m length 2m with entries fα g where P2 −1 jα j2 = 1 for i i=0 i B. Topological Quantum Computing i 2 [0; ::; 2m − 1] representing the m-qubit state jφi = Pm−1 Several quantum architectures are based upon the model i=0 αijii. For example, the controlled-not gate (CNOT) acting on two qubits is defined by the following 4 × 4 matrix: of TQC [4]–[6], as this method for computation has QEC 0 1 integrated by construction. TQC is the preferred method for 1 0 0 0 three primary reasons. 1) It has one of the highest fault-tolerant B 0 1 0 0 C 2 CNOT = B C : (1) thresholds of any method of QEC . 2) It is a local model of @ 0 0 0 1 A computation, i.e. individual physical qubits in the computer 0 0 1 0 only have to interact with their neighbours. 3) The quantum Performing the CNOT operation between two qubits c and hardware is only used to prepare a large three-dimensional lat- t in some arbitrary quantum state1 results in the following tice of connected qubits (the topological cluster), algorithmic output: implementation is a function of how the lattice is consumed rather than how it is created. Therefore the TQC model is a jctiin = α00j00i + α01j01i + α10j10i + α11j11i software driven method of computation. jctiout = α00j00i + α01j01i + α10j11i + α11j10i (2) The specifics of how TQC works is complicated, however the general principal can be explained.