8,501 research outputs found
Synthesis of Topological Quantum Circuits
Topological quantum computing has recently proven itself to be a very
powerful model when considering large- scale, fully error corrected quantum
architectures. In addition to its robust nature under hardware errors, it is a
software driven method of error corrected computation, with the hardware
responsible for only creating a generic quantum resource (the topological
lattice). Computation in this scheme is achieved by the geometric manipulation
of holes (defects) within the lattice. Interactions between logical qubits
(quantum gate operations) are implemented by using particular arrangements of
the defects, such as braids and junctions. We demonstrate that junction-based
topological quantum gates allow highly regular and structured implementation of
large CNOT (controlled-not) gate networks, which ultimately form the basis of
the error corrected primitives that must be used for an error corrected
algorithm. We present a number of heuristics to optimise the area of the
resulting structures and therefore the number of the required hardware
resources.Comment: 7 Pages, 10 Figures, 1 Tabl
Cross-level Validation of Topological Quantum Circuits
Quantum computing promises a new approach to solving difficult computational
problems, and the quest of building a quantum computer has started. While the
first attempts on construction were succesful, scalability has never been
achieved, due to the inherent fragile nature of the quantum bits (qubits). From
the multitude of approaches to achieve scalability topological quantum
computing (TQC) is the most promising one, by being based on an flexible
approach to error-correction and making use of the straightforward
measurement-based computing technique. TQC circuits are defined within a large,
uniform, 3-dimensional lattice of physical qubits produced by the hardware and
the physical volume of this lattice directly relates to the resources required
for computation. Circuit optimization may result in non-intuitive mismatches
between circuit specification and implementation. In this paper we introduce
the first method for cross-level validation of TQC circuits. The specification
of the circuit is expressed based on the stabilizer formalism, and the
stabilizer table is checked by mapping the topology on the physical qubit
level, followed by quantum circuit simulation. Simulation results show that
cross-level validation of error-corrected circuits is feasible.Comment: 12 Pages, 5 Figures. Comments Welcome. RC2014, Springer Lecture Notes
on Computer Science (LNCS) 8507, pp. 189-200. Springer International
Publishing, Switzerland (2014), Y. Shigeru and M.Shin-ichi (Eds.
An Arbitrary Two-qubit Computation In 23 Elementary Gates
Quantum circuits currently constitute a dominant model for quantum
computation. Our work addresses the problem of constructing quantum circuits to
implement an arbitrary given quantum computation, in the special case of two
qubits. We pursue circuits without ancilla qubits and as small a number of
elementary quantum gates as possible. Our lower bound for worst-case optimal
two-qubit circuits calls for at least 17 gates: 15 one-qubit rotations and 2
CNOTs. To this end, we constructively prove a worst-case upper bound of 23
elementary gates, of which at most 4 (CNOT) entail multi-qubit interactions.
Our analysis shows that synthesis algorithms suggested in previous work,
although more general, entail much larger quantum circuits than ours in the
special case of two qubits. One such algorithm has a worst case of 61 gates of
which 18 may be CNOTs. Our techniques rely on the KAK decomposition from Lie
theory as well as the polar and spectral (symmetric Shur) matrix decompositions
from numerical analysis and operator theory. They are related to the canonical
decomposition of a two-qubit gate with respect to the ``magic basis'' of
phase-shifted Bell states, published previously. We further extend this
decomposition in terms of elementary gates for quantum computation.Comment: 18 pages, 7 figures. Version 2 gives correct credits for the GQC
"quantum compiler". Version 3 adds justification for our choice of elementary
gates and adds a comparison with classical library-less logic synthesis. It
adds acknowledgements and a new reference, adds full details about the 8-gate
decomposition of topC-V and stealthily fixes several minor inaccuracies.
NOTE: Using a new technique, we recently improved the lower bound to 18 gates
and (tada!) found a circuit decomposition that requires 18 gates or less.
This work will appear as a separate manuscrip
- …