The difference between faults and errors is that, unlike faults, errors can be corrected using control codes. In classical test and verification one develops a test set separating a correct circuit from a circuit containing any considered fault. Classical faults are modelled at the logical level by fault models that act on classical states. The stuck fault model, thought of as a lead connected to a power rail or to a ground, is most typically considered. A classical test set complete for the stuck fault model propagates both binary basis states, 0 and 1, through all nodes in a network and is known to detect many physical faults. A classical test set complete for the stuck fault model allows all circuit nodes to be completely tested and verifies the function of many gates. It is natural to ask if one may adapt any of the known classical methods to test quantum circuits. Of course, classical fault models do not capture all the logical failures found in quantum circuits. The first obstacle faced when using methods from classical test is developing a set of realistic quantum-logical fault models. Developing fault models to abstract the test problem away from the device level motivated our study. Several results are established. First, we describe typical modes of failure present in the physical design of quantum circuits. From this we develop fault models for quantum binary circuits that enable testing at the logical level. The application of these fault models is shown by adapting the classical test set generation technique known as constructing a fault table to generate quantum test sets. A test set developed using this method is shown to detect each of the considered faults.
Test pattern generation is an electronic design automation tool that attempts to find an input (or test) sequence that, when applied to a digital circuit, enables one to distinguish between the correct circuit behavior and the faulty behavior caused by particular faults. The effectiveness of this classical method is measured by the fault coverage achieved for the fault model and the number of generated vectors, which should be directly proportional to test application time. This work address the quantum process validation problem by considering the quantum mechanical adaptation of test pattern…
As there is no quantum error correction code with universal set of transversal gates, several approaches have been proposed which, in combination of transversal gates, make universal fault-tolerant quantum computation possible. Magic state distillation, code switching, code concatenation and pieceable fault-tolerance are well-known examples of such approaches. However, the overhead of these approaches is one of the main bottlenecks for large-scale quantum computation. In this paper, a hybrid approach is proposed which combines the code concatenation technique with the other mentioned approache…
As there is no quantum error correction code with universal set of transversal gates, several approaches have been proposed which, in combination of transversal gates, make universal fault-tolerant quantum computation possible. Magic state distillation, code switching, code concatenation and pieceable fault-tolerance are well-known examples of such approaches. However, the overhead of these approaches is one of the main bottlenecks for large-scale quantum computation. In this paper, two approaches for universal fault-tolerant quantum computation, mainly based on code concatenation, are propose…
We propose a randomized variant of the stabilizer rewiring algorithm (SRA), a method for constructing a transversal circuit mapping between any pair of stabilizer codes. As gates along this circuit are applied, the initial code is deformed through a series of intermediate codes before reaching the final code. With this randomized variant, we show that there always exists a path of deformations which preserves the code distance throughout the circuit, while using at most linear overhead in the distance. Furthermore, we show that a random path will almost always suffice, and discuss prospects fo…
Using transversal gates is a straightforward and efficient technique for fault-tolerant quantum computing. Since transversal gates alone cannot be computationally universal, they must be combined with other approaches such as magic state distillation, code switching or code concatenation in order to achieve universality. In this paper we propose an alternative approach for universal fault-tolerant quantum computing mainly based on the code concatenation approach proposed in [PRL 112, 010505 (2014)] but in a non-uniform fashion. The proposed approach is described based on non-uniform concatenat…
Efficient switching and routing of photons of different wavelengths is a requirement for realizing a quantum internet. Multimode optomechanical systems can solve this technological challenge and enable studies of fundamental science involving widely separated wavelengths that are inaccessible to single-mode optomechanical systems. To this end, we demonstrate interference between two optomechanically induced transparency processes in a diamond on-chip cavity. This system allows us to directly observe the dynamics of an optomechanical dark mode that interferes photons at different wavelengths vi…
We present a quantum-mechanical analysis of a nonlinear interferometer that achieves optical switching via cross-phase modulation resulting from the Kerr effect. We show how it performs as a very precise optical regenerator, highly improving the transmitted bit-error rate in the presence of loss.
It is an oft-cited fact that no quantum code can support a set of fault-tolerant logical gates that is both universal and transversal. This no-go theorem is generally responsible for the interest in alternative universality constructions including magic state distillation. Widely overlooked, however, is the possibility of non-transversal, yet still fault-tolerant, gates that work directly on small quantum codes. Here we demonstrate precisely the existence of such gates. In particular, we show how the limits of non-transversality can be overcome by performing rounds of intermediate error-correc…
We demonstrate quantum signatures of deterministic nonlinear dynamics in the transition to superradiance of a generalized open Dicke model with different coupling strengths for the co- and counter-rotating light-matter interaction terms. A first-order phase transition to coexisting normal and superradiant phases is observed, corresponding with the emergence of switching dynamics between these two phases, driven by quantum fluctuations. We show that this phase coexistence gives rise to a hysteresis loop also for the quantum mechanical system. Additionally, a transition to a superradiant oscilla…
We theoretically explore optical bistability for possible signature of all optical switching and their performance in a hybrid quantum optomechanical system comprising of two semiconductor microcavity coupled optically. One of the cavity is driven by an external optical pump laser while the second cavity which contains a quantum dot is indirectly driven by light transmitted from the first cavity. The generated bistable behavior due to optomechanical nonlinearity shows a typical optical switching behavior and it can be controlled by changing the laser power, QD cavity coupling, rocking paramete…
Fusion-based quantum computing (FBQC) offers a powerful approach to building a fault-tolerant universal quantum computer using photonic components -- single-photon sources, linear-optical circuits, single-photon detectors, and optical switching with feedforward control. Both individual optical switches and sophisticated switch networks are needed where it is necessary to perform operations conditionally, using feedforward of previous photon-detection outcomes, within the lifetime of remaining photons. Most visibly, feedforward switching is required for fault-tolerant operations at the level of…
The solution of the time-dependent Schrödinger equation is discussed for a particle confined in half-space $x>0$ with a linear potential $V(x)=Kx$ in the following situations: (a) sudden removal of the wall and switching on the linear potential $V(x)=Kx$ at $x \leq 0$, (b) sudden removal of the wall and the potential and (c) sudden removal of the potential. A brief discussion of the quantum statistic is presented.
We compute the error threshold of color codes, a class of topological quantum codes that allow a direct implementation of quantum Clifford gates, when both qubit and measurement errors are present. By mapping the problem onto a statistical-mechanical three-dimensional disordered Ising lattice gauge theory, we estimate via large-scale Monte Carlo simulations that color codes are stable against 4.5(2)% errors. Furthermore, by evaluating the skewness of the Wilson loop distributions, we introduce a very sensitive probe to locate first-order phase transitions in lattice gauge theories.
