scholarly journals Online scheduled execution of quantum circuits protected by surface codes

2017 ◽  
Vol 17 (15&16) ◽  
pp. 1335-1348 ◽  
Author(s):  
Alexandru Paler ◽  
Austin G. Fowler ◽  
Robert Wille
Keyword(s):  
Quantum Information Processing ◽  
Fault Tolerant ◽  
Dynamic Structure ◽  
Quantum Circuit ◽  
Error Correcting Codes ◽  
Quantum Circuits ◽  
Static Scheduling ◽  
Surface Code ◽  
High Level ◽  
Quantum Error

Quantum circuits are the preferred formalism for expressing quantum information processing tasks. Quantum circuit design automation methods mostly use a waterfall approach and consider that high level circuit descriptions are hardware agnostic. This assumption has lead to a static circuit perspective: the number of quantum bits and quantum gates is determined before circuit execution and everything is considered reliable with zero probability of failure. Many different schemes for achieving reliable fault-tolerant quantum computation exist, with different schemes suitable for different architectures. A number of large experimental groups are developing architectures well suited to being protected by surface quantum error correcting codes. Such circuits could include unreliable logical elements, such as state distillation, whose failure can be determined only after their actual execution. Therefore, practical logical circuits, as envisaged by many groups, are likely to have a dynamic structure. This requires an online scheduling of their execution: one knows for sure what needs to be executed only after previous elements have finished executing. This work shows that scheduling shares similarities with place and route methods. The work also introduces the first online schedulers of quantum circuits protected by surface codes. The work also highlights scheduling efficiency by comparing the new methods with state of the art static scheduling of surface code protected fault-tolerant circuits.

scholarly journals The XZZX surface code

2021 ◽  
Vol 12 (1) ◽  
Author(s):  
J. Pablo Bonilla Ataides ◽  
David K. Tuckett ◽  
Stephen D. Bartlett ◽  
Steven T. Flammia ◽  
Benjamin J. Brown
Keyword(s):  
Quantum Computation ◽  
High Performance ◽  
Quantum Computer ◽  
Fault Tolerant ◽  
Error Correcting Codes ◽  
The Common ◽  
Surface Code ◽  
Random Codes ◽  
Quantum Error ◽  
Relevant Range

AbstractPerforming large calculations with a quantum computer will likely require a fault-tolerant architecture based on quantum error-correcting codes. The challenge is to design practical quantum error-correcting codes that perform well against realistic noise using modest resources. Here we show that a variant of the surface code—the XZZX code—offers remarkable performance for fault-tolerant quantum computation. The error threshold of this code matches what can be achieved with random codes (hashing) for every single-qubit Pauli noise channel; it is the first explicit code shown to have this universal property. We present numerical evidence that the threshold even exceeds this hashing bound for an experimentally relevant range of noise parameters. Focusing on the common situation where qubit dephasing is the dominant noise, we show that this code has a practical, high-performance decoder and surpasses all previously known thresholds in the realistic setting where syndrome measurements are unreliable. We go on to demonstrate the favourable sub-threshold resource scaling that can be obtained by specialising a code to exploit structure in the noise. We show that it is possible to maintain all of these advantages when we perform fault-tolerant quantum computation.

scholarly journals Fault-Tolerant quantum computation with constant overhead

2014 ◽  
Vol 14 (15&16) ◽  
pp. 1339-1371
Author(s):  
Daniel Gottesman
Keyword(s):  
Fault Tolerant ◽  
Quantum Circuit ◽  
Error Correcting Codes ◽  
Parity Check ◽  
Low Density Parity Check ◽  
The Family ◽  
Minimum Number ◽  
Logical Qubits ◽  
Quantum Error ◽  
Parity Check Codes

What is the minimum number of extra qubits needed to perform a large fault-tolerant quantum circuit? Working in a common model of fault-tolerance, I show that in the asymptotic limit of large circuits, the ratio of physical qubits to logical qubits can be a constant. The construction makes use of quantum low-density parity check codes, and the asymptotic overhead of the protocol is equal to that of the family of quantum error-correcting codes underlying the fault-tolerant protocol.

scholarly journals EFFICIENT QUANTUM CIRCUITS FOR NON-QUBIT QUANTUM ERROR-CORRECTING CODES

2003 ◽  
Vol 14 (05) ◽  
pp. 757-775 ◽  
Author(s):  
MARKUS GRASSL ◽  
MARTIN RÖTTELER ◽  
THOMAS BETH
Keyword(s):  
Prime Power ◽  
Tensor Products ◽  
Quantum Circuit ◽  
Quantum Systems ◽  
Error Correcting Codes ◽  
Quantum Circuits ◽  
Running Time ◽  
Classical Algorithm ◽  
Quantum Error

We present two methods for the construction of quantum circuits for quantum error- correcting codes (QECC). The underlying quantum systems are tensor products of subsystems (qudits) of equal dimension which is a prime power. For a QECC encoding k qudits into n qudits, the resulting quantum circuit has O(n(n - k)) gates. The running time of the classical algorithm to compute the quantum circuit is O(n(n - k)2).

scholarly journals Non-Pauli topological stabilizer codes from twisted quantum doubles

Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 398
Author(s):  
Julio Carlos Magdalena de la Fuente ◽  
Nicolas Tarantino ◽  
Jens Eisert
Keyword(s):  
Quantum Information ◽  
Error Correction ◽  
Lattice Models ◽  
Full Rank ◽  
Error Correcting Codes ◽  
Quantum Error Correction ◽  
Topological Order ◽  
Topological Quantum ◽  
Surface Code ◽  
Quantum Error

It has long been known that long-ranged entangled topological phases can be exploited to protect quantum information against unwanted local errors. Indeed, conditions for intrinsic topological order are reminiscent of criteria for faithful quantum error correction. At the same time, the promise of using general topological orders for practical error correction remains largely unfulfilled to date. In this work, we significantly contribute to establishing such a connection by showing that Abelian twisted quantum double models can be used for quantum error correction. By exploiting the group cohomological data sitting at the heart of these lattice models, we transmute the terms of these Hamiltonians into full-rank, pairwise commuting operators, defining commuting stabilizers. The resulting codes are defined by non-Pauli commuting stabilizers, with local systems that can either be qubits or higher dimensional quantum systems. Thus, this work establishes a new connection between condensed matter physics and quantum information theory, and constructs tools to systematically devise new topological quantum error correcting codes beyond toric or surface code models.

scholarly journals Qulacs: a fast and versatile quantum circuit simulator for research purpose

Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 559
Author(s):  
Yasunari Suzuki ◽  
Yoshiaki Kawase ◽  
Yuya Masumura ◽  
Yuria Hiraga ◽  
Masahiro Nakadai ◽  
...  
Keyword(s):  
Fault Tolerant ◽  
Quantum Algorithm ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Research Purpose ◽  
Numerical Techniques ◽  
Circuit Simulator ◽  
Speed Up ◽  
Near Term

To explore the possibilities of a near-term intermediate-scale quantum algorithm and long-term fault-tolerant quantum computing, a fast and versatile quantum circuit simulator is needed. Here, we introduce Qulacs, a fast simulator for quantum circuits intended for research purpose. We show the main concepts of Qulacs, explain how to use its features via examples, describe numerical techniques to speed-up simulation, and demonstrate its performance with numerical benchmarks.

scholarly journals Towards optimization of quantum circuits

Open Physics ◽  
2008 ◽  
Vol 6 (1) ◽  
Author(s):  
Michal Sedlák ◽  
Martin Plesch
Keyword(s):  
Quantum Information ◽  
Quantum Information Processing ◽  
Quantum Circuit ◽  
Quantum Gate ◽  
Quantum Circuits ◽  
Quantum Gates ◽  
Unitary Operation ◽  
Short Sequence ◽  
Toffoli Gates ◽  
Universal Procedure

AbstractAny unitary operation in quantum information processing can be implemented via a sequence of simpler steps — quantum gates. However, actual implementation of a quantum gate is always imperfect and takes a finite time. Therefore, searching for a short sequence of gates — efficient quantum circuit for a given operation, is an important task. We contribute to this issue by proposing optimization of the well-known universal procedure proposed by Barenco et al. [Phys. Rev. A 52, 3457 (1995)]. We also created a computer program which realizes both Barenco’s decomposition and the proposed optimization. Furthermore, our optimization can be applied to any quantum circuit containing generalized Toffoli gates, including basic quantum gate circuits.

scholarly journals Cost-optimal single-qubit gate synthesis in the Clifford hierarchy

Quantum ◽  
2021 ◽  
Vol 5 ◽  
pp. 396
Author(s):  
Gary J. Mooney ◽  
Charles D. Hill ◽  
Lloyd C. L. Hollenberg
Keyword(s):  
Error Correction ◽  
Quantum Information Processing ◽  
Fault Tolerant ◽  
Quantum Error Correction ◽  
Practical Implementation ◽  
Error Correction Code ◽  
Universal Quantum ◽  
Arbitrary Precision ◽  
Qubit Gate ◽  
Quantum Error

For universal quantum computation, a major challenge to overcome for practical implementation is the large amount of resources required for fault-tolerant quantum information processing. An important aspect is implementing arbitrary unitary operators built from logical gates within the quantum error correction code. A synthesis algorithm can be used to approximate any unitary gate up to arbitrary precision by assembling sequences of logical gates chosen from a small set of universal gates that are fault-tolerantly performable while encoded in a quantum error-correction code. However, current procedures do not yet support individual assignment of base gate costs and many do not support extended sets of universal base gates. We analysed cost-optimal sequences using an exhaustive search based on Dijkstra’s pathfinding algorithm for the canonical Clifford+T set of base gates and compared them to when additionally including Z-rotations from higher orders of the Clifford hierarchy. Two approaches of assigning base gate costs were used. First, costs were reduced to T-counts by recursively applying a Z-rotation catalyst circuit. Second, costs were assigned as the average numbers of raw (i.e. physical level) magic states required to directly distil and implement the gates fault-tolerantly. We found that the average sequence cost decreases by up to 54±3% when using the Z-rotation catalyst circuit approach and by up to 33±2% when using the magic state distillation approach. In addition, we investigated observed limitations of certain assignments of base gate costs by developing an analytic model to estimate the proportion of sets of Z-rotation gates from higher orders of the Clifford hierarchy that are found within sequences approximating random target gates.

scholarly journals Clifford recompilation for faster classical simulation of quantum circuits

Quantum ◽  
2019 ◽  
Vol 3 ◽  
pp. 170
Author(s):  
Hammam Qassim ◽  
Joel J. Wallman ◽  
Joseph Emerson
Keyword(s):  
Fault Tolerant ◽  
State Of The Art ◽  
Quantum Circuit ◽  
Quantum Circuits ◽  
Monte Carlo Algorithm ◽  
Quantum Devices ◽  
Output State ◽  
Classical Simulation ◽  
Main Technique ◽  
Near Term

Simulating quantum circuits classically is an important area of research in quantum information, with applications in computational complexity and validation of quantum devices. One of the state-of-the-art simulators, that of Bravyi et al, utilizes a randomized sparsification technique to approximate the output state of a quantum circuit by a stabilizer sum with a reduced number of terms. In this paper, we describe an improved Monte Carlo algorithm for performing randomized sparsification. This algorithm reduces the runtime of computing the approximate state by the factorℓ/m, whereℓandmare respectively the total and non-Clifford gate counts. The main technique is a circuit recompilation routine based on manipulating exponentiated Pauli operators. The recompilation routine also facilitates numerical search for Clifford decompositions of products of non-Clifford gates, which can further reduce the runtime in certain cases by reducing the 1-norm of the vector of expansion,‖a‖1. It may additionally lead to a framework for optimizing circuit implementations over a gate-set, reducing the overhead for state-injection in fault-tolerant implementations. We provide a concise exposition of randomized sparsification, and describe how to use it to estimate circuit amplitudes in a way which can be generalized to a broader class of gates and states. This latter method can be used to obtain additive error estimates of circuit probabilities with a faster runtime than the full techniques of Bravyi et al. Such estimates are useful for validating near-term quantum devices provided that the target probability is not exponentially small.

Sign in / Sign up

Export Citation Format

Share Document