We describe a new and consistent perturbation theory for solid-state quantum computation with many qubits. The errors in the implementation of simple quantum logic operations caused by non-resonant transitions are estimated. We verify our perturbation approach using exact numerical solution for relatively small (L=10) number of qubits. A preferred range of parameters is found in which the errors in processing quantum information are small. Our results are needed for experimental testing of scalable solid-state quantum computers.
We study the entanglement evolution of two coupled qubits in interaction with an external environment and in the presence of an external magnetic field with a stochastic component. The results show the expected degradation of entanglement due to the noise. The new effect is that the time of disentanglement depends in a non-monotonous way on the strength of the noise. We find that it is shortest for an intermediate strength value of the latter. This we call "stochastic anti-resonance". Our results could lead to a better undestanding of noisy perturbations and their role for optimal designing of…
The dynamics of the nuclear-spin quantum computer with large number (L=1000) of qubits is considered using a perturbation approach, based on approximate diagonalization of exponentially large sparse matrices. Small parameters are introduced and used to compute the error in implementation of entanglement between remote qubits, by applying a sequence of resonant radio-frequency pulses. The results of the perturbation theory are tested using exact numerical solutions for small number of qubits.
Cross-resonance (CR) gate has emerged as a promising scheme for fault-tolerant quantum computation with fixed-frequency qubits. We experimentally implement entangling CR gate by using a microwave-only control in a tunable coupling superconducting circuit, where the tunable coupler provides extra degrees of freedom to verify optimal condition for constructing CR gate. By developing three-qubit CR Hamiltonian tomography protocol, we systematically investigate the dependency of gate fidelities on spurious qubit interactions and present the first experimental approach to the evaluation of the pert…
The perturbation theory is developed based on small parameters which naturally appear in solid state quantum computation. We report the simulations of the dynamics of quantum logic operations with a large number of qubits (up to 1000). A nuclear spin chain is considered in which selective excitations of spins are provided by having a uniform gradient of the external magnetic field. Quantum logic operations are utilized by applying resonant electromagnetic pulses. The spins interact with their nearest neighbors. We simulate the creation of the long-distance entanglement between remote qubits in…
We analyze the use of a driven nonlinear cavity to make a weak continuous measurement of a dispersively-coupled qubit. We calculate the backaction dephasing rate and measurement rate beyond leading-order perturbation theory using a phase-space approach which accounts for cavity noise squeezing. Surprisingly, we find that increasing the coupling strength beyond the regime describable by leading-order perturbation theory (i.e. linear response) allows one to come significantly closer to the quantum limit on the measurement efficiency. We interpret this behaviour in terms of the non-Gaussian photo…
It is shown that efficient and robust universal quantum computation is possible using the stimulated Raman adiabatic passage with a qubit chain as a pointer register.
A scheme of universal quantum computation on a chain of qubits is described that does not require local control. All the required operations, an Ising-type interaction and spatially uniform simultaneous one-qubit gates, are translation-invariant.
We show how to perform universal Hamiltonian and adiabatic computing using a time-independent Hamiltonian on a 2D grid describing a system of hopping particles which string together and interact to perform the computation. In this construction, the movement of one particle is controlled by the presence or absence of other particles, an effective quantum field effect transistor that allows the construction of controlled-NOT and controlled-rotation gates. The construction translates into a model for universal quantum computation with time-independent 2-qubit ZZ and XX+YY interactions on an (almo…
Reliable qubits are difficult to engineer, but standard fault-tolerance schemes use seven or more physical qubits to encode each logical qubit, with still more qubits required for error correction. The large overhead makes it hard to experiment with fault-tolerance schemes with multiple encoded qubits. The 15-qubit Hamming code protects seven encoded qubits to distance three. We give fault-tolerant procedures for applying arbitrary Clifford operations on these encoded qubits, using only two extra qubits, 17 total. In particular, individual encoded qubits within the code block can be targeted. …
Quantum annealing has recently been used to determine the Ramsey numbers R(m,2) for 3 < m < 9 and R(3,3) [Bian et al. (2013) PRL 111, 130505]. This was greatly celebrated as the largest experimental implementation of an adiabatic evolution algorithm to that date. However, in that computation, more than 66% of the qubits used were auxiliary qubits, so the sizes of the Ramsey number Hamiltonians used were tremendously smaller than the full 128-qubit capacity of the device used. The reason these auxiliary qubits were needed was because the best quantum annealing devices at the time (and still now…
We propose and demonstrate the scaling up of photonic graph state through path qubit fusion. Two path qubits from separate two-photon four-qubit states are fused to generate a two-dimensional seven-qubit graph state composed of polarization and path qubits. Genuine seven-qubit entanglement is verified by evaluating the witness operator. Six qubits from the graph state are used to execute the general two-qubit Deutsch-Jozsa algorithm with a success probability greater than 90%.
Four-qubit cluster states of two photons entangled in polarization and linear momentum have been used to realize a complete set of single qubit rotations and the C-NOT gate for equatorial qubits with high values of fidelity. By the computational equivalence of the two degrees of freedom our result demonstrate the suitability of two photon cluster states for rapid and efficient one-way quantum computing.
We describe a scheme of quantum computation with magic states on qubits for which contextuality is a necessary resource possessed by the magic states. More generally, we establish contextuality as a necessary resource for all schemes of quantum computation with magic states on qubits that satisfy three simple postulates. Furthermore, we identify stringent consistency conditions on such computational schemes, revealing the general structure by which negativity of Wigner functions, hardness of classical simulation of the computation, and contextuality are connected.
By using 2-photon 4-qubit cluster states we demonstrate deterministic one-way quantum computation in single qubit rotation algorithm. In this operation feed-forward measurements are automatically implemented by properly choosing the measurement basis of the qubits, while Pauli error corrections are realized by using two fast driven Pockels cells. We realized also a C-NOT gate for equatorial qubits and a C-Phase gate for a generic target qubit. Our results demonstrate that 2-photon cluster states can be used for rapid and efficient deterministic one-way quantum computing.
We present a finite set of projective measurements that, together with quantum memory and preparation of the |0> state, suffice for universal quantum computation. This extends work of Nielsen [quant-ph/0108020], who proposed a scheme in which an arbitrary unitary operation on n qubits can be simulated using only projective measurements on at most 2n qubits. All measurements in our set involve two qubits, except two measurements which involve three qubits. Thus we improve by one the upper bound, implied by Nielsen's results, on the maximum number of qubits needed to participate in any single me…
A major goal for fault-tolerant quantum computation (FTQC) is to reduce the overhead needed for error correction. One approach is to use block codes that encode multiple qubits, which can achieve significantly higher rates for the same code distance than single-qubit code blocks or topological codes. We present a scheme for universal quantum computation using multi-qubit Calderbank-Shor-Steane (CSS) block codes, where codes admitting different transversal gates are used to achieve universality, and logical teleportation is used to move qubits between code blocks. All circuits for both computat…
Nielsen [quant-ph/0108020] showed that universal quantum computation is possible given quantum memory and the ability to perform projective measurements on up to 4-qubits. We describe an improved method that requires only 2-qubit measurements, which are both sufficient and necessary. We present a method to partially collapse the $C_k$-hierarchy in the indirect construction of unitary gates [Gottesman and Chuang, Nature, {\bf 402} 309 (1999)], and apply the method to find discrete universal sets of 2-qubit measurements.
We analyze a new scheme for quantum information processing, with superconducting charge qubits coupled through a cavity mode, in which quantum manipulations are insensitive to the state of the cavity. We illustrate how to physically implement universal quantum computation as well as multi-qubit entanglement based on unconventional geometric phase shifts in this scalable solid-state system. Some quantum error-correcting codes can also be easily constructed using the same technique. In view of the gate dependence on just global geometric features and the insensitivity to the state of cavity mode…
We propose a scalable way to construct a 3D cluster state for fault-tolerant topological one-way computation (TOWC) even if the entangling two-qubit gates succeed with a small probability. It is shown that fault-tolerant TOWC can be performed with the success probability of the two-qubit gate such as 0.5 (0.1) provided that the conditional error probability of the two-qubit gate is less than 0.040% (0.016%). Furthermore, the resource usage is considerably suppressed compared to the conventional fault-tolerant schemes with probabilistic two-qubit gates.
We show that an n-th root of the Walsh-Hadamard transform (obtained from the Hadamard gate and a cyclic permutation of the qubits), together with two diagonal matrices, namely a local qubit-flip (for a fixed but arbitrary qubit) and a non-local phase-flip (for a fixed but arbitrary coefficient), can do universal quantum computation on n qubits. A quantum computation, making use of n qubits and based on these operations, is then a word of variable length, but whose letters are always taken from an alphabet of cardinality three. Therefore, in contrast with other universal sets, no choice of qubi…
Quantum measurement is universal for quantum computation. The model of quantum computation introduced by Nielsen and further developed by Leung relies on a generalized form of teleportation. In order to simulate any n-qubit unitary transformation with this model, 4 auxiliary qubits are required. Moreover Leung exhibited a universal family of observables composed of 4 two-qubit measurements. We introduce a model of quantum computation via measurements only, relying on state transfer: state transfer only retains the part of teleportation which is necessary for computating. In order to simulate a…
We show how to control and perform universal three-qubit quantum computation with trapped electron quantum states. The three qubits are the electron spin, and the first two quantum states of the cyclotron and axial harmonic oscillators. We explicitly show how the universal gates can be performed. As an example of a non-trivial quantum algorithm, we outline the implementation of the Deutsch-Jozsa algorithm in this system.
It is suggested to map the qubits into solid state NMR spin system collective states instead of the states of the individual spin. Such an approach introduces the stable computational basis without any additional actions and allows to obtain the universal set of quantum gates, which operation time is determined only by a RF pulse duration.
We address quantum decision theory as a convenient framework to analyze process discrimination and estimation in qubit systems. In particular we discuss the following problems: i) how to discriminate whether or not a given unitary perturbation has been applied to a qubit system; ii) how to determine the amplitude of the minimum detectable perturbation. In order to solve the first problem, we exploit the so-called Bayes strategy, and look for the optimal measurement to discriminate, with minimum error probability, whether or not the unitary transformation has been applied to a given signal. Con…
In this paper, we explore the relationship between the width of a qubit lattice constrained in one dimension and physical thresholds for scalable, fault-tolerant quantum computation. To circumvent the traditionally low thresholds of small fixed-width arrays, we deliberately engineer an error bias at the lowest level of encoding using the surface code. We then address this engineered bias at a higher level of encoding using a lattice-surgery surface code bus that exploits this bias, or a repetition code to make logical qubits with unbiased errors out of biased surface code qubits. Arbitrarily l…
We give a careful proof that a parallelized version of adiabatic quantum computation can efficiently simulate universal gate model quantum computation. The proof specifies an explicit parameter-dependent Hamiltonian $H(λ)$ that is based on ground state quantum computation [1]. We treat both a 1-dimensional configuration in which qubits on a line undergo nearest neighbor 2-qubit gates and an all-to-all configuration in which every qubit undergoes 2-qubit gates with every other qubit in the system.
In this study, we introduce an online public quantum computation platform, named as ScQ, based on a 1D array of a 10-qubit superconducting processor. Single-qubit rotation gates can be performed on each qubit. Controlled-NOT gates between nearest-neighbor sites on the 1D array of 10 qubits are available. We show the online preparation and verification of Greenberger-Horne-Zeilinger states of up to 10 qubits through this platform for all possible blocks of qubits in the chain. The graphical user interface and quantum assembly language methods are presented to achieve the above tasks, which rely…
Geometric phase is an indispensable element for achieving robust and high-fidelity quantum gates due to its built-in noise-resilience feature. However, due to the complexity of manipulation and the intrinsic leakage of the encoded quantum information to non-logical-qubit basis, the experimental realization of universal nonadiabatic holonomic quantum computation is very difficult. Here, we propose to implement scalable nonadiabatic holonomic quantum computation with decoherence-free subspace encoding on a two-dimensional square superconducting transmon-qubit lattice, where only the two-body int…
We characterise a model of universal quantum computation where the register (computational) qubits are controlled by ancillary qubits, using only a single fixed interaction between register and ancillary qubits. No additional access is required to the computational register and the dynamics of both the register and ancilla are unitary. This scheme is inspired by the measurement-based ancilla-driven quantum computation of Anders et al. [PRA 82, 020301(R), 2010], but does not require measurements of the ancillas, and in this respect is similar to the original gate based model of quantum computat…
We describe an alternative approach to quantum computation that is ideally suited for today's sub-threshold-fidelity qubits, and which can be applied to a family of hardware models that includes superconducting qubits with tunable coupling. In this approach, the computation on an n-qubit processor is carried out in the n-dimensional single-excitation subspace (SES) of the full 2^n-dimensional Hilbert space. Because any real Hamiltonian can be directly generated in the SES [E. J. Pritchett et al., arXiv:1008.0701], high-dimensional unitary operations can be carried out in a single step, bypassi…
We propose a novel architecture for scalable quantum computation based on quantum actuated decoherence-free (DF) qubits. Each qubit is encoded by the DF subspace of a nuclear spin pair and has long coherence time. A nitrogen-vacancy center in diamond is chosen as the quantum actuator to realize initialization, readout and universal control of DF qubits with fidelities higher than 99%. It reduces the challenge of classical interfaces from controlling and observing complex quantum systems down to a simple quantum actuator. Our scheme also provides a novel way to handle complex quantum systems.
Universal set of quantum gates are realized from the conduction-band electron spin qubits of quantum dots embedded in a microcavity via two-channel Raman interaction. All of the gate operations are independent of the cavity mode states, \emph{i.e.}, insensitive to the thermal cavity field. Individual addressing and effective switch of the cavity mediated interaction are directly possible here. Meanwhile, gate operations also can be carried out in parallel. The simple realization of needed interaction for selective qubits makes current scenario more suitable for scalable quantum computation.
We develop a scheme for quantum computation with neutral atoms, based on the concept of "marker" atoms, i.e., auxiliary atoms that can be efficiently transported in state-independent periodic external traps to operate quantum gates between physically distant qubits. This allows for relaxing a number of experimental constraints for quantum computation with neutral atoms in microscopic potential, including single-atom laser addressability. We discuss the advantages of this approach in a concrete physical scenario involving molecular interactions.
We apply quantum control techniques to control a large spin chain by only acting on two qubits at one of its ends, thereby implementing universal quantum computation by a combination of quantum gates on the latter and swap operations across the chain. It is shown that the control sequences can be computed and implemented efficiently. We discuss the application of these ideas to physical systems such as superconducting qubits in which full control of long chains is challenging.
A central question in quantum computation is to identify the resources that are responsible for quantum speed-up. Quantum contextuality has been recently shown to be a resource for quantum computation with magic states for odd-prime dimensional qudits and two-dimensional systems with real wavefunctions. The phenomenon of state-independent contextuality poses a priori an obstruction to characterizing the case of regular qubits, the fundamental building block of quantum computation. Here, we establish contextuality of magic states as a necessary resource for a large class of quantum computation …
ROM-based quantum computation (QC) is an alternative to oracle-based QC. It has the advantages of being less ``magical'', and being more suited to implementing space-efficient computation (i.e. computation using the minimum number of writable qubits). Here we consider a number of small (one and two-qubit) quantum algorithms illustrating different aspects of ROM-based QC. They are: (a) a one-qubit algorithm to solve the Deutsch problem; (b) a one-qubit binary multiplication algorithm; (c) a two-qubit controlled binary multiplication algorithm; and (d) a two-qubit ROM-based version of the Deutsc…
We show that every quantum computation can be described by Bayesian update of a probability distribution on a finite state space. When applied to the model of quantum computation with magic states, the size of this state space only depends on the number of magic states used in the quantum computation, and not on the length of the gate and measurement sequence.
We develop a quantum computing scheme utilizing McLachlan variational principle in a hybrid quantum-classical algorithm to accurately calculate the transition dynamics of a closed quantum system with many excited states subject to a strong time-dependent perturbation. A systematic approach for optimal construction of a general N-state ansatz with unary N-qubit encoding is refined. We also utilize qubit efficient encoding in McLachlan variational quantum algorithm to reduce the number of qubits to log2 N, simultaneously diminishing depths of the quantum circuits. The significant reduction of th…
We propose a practical, scalable, and efficient scheme for quantum computation using spatially separated matter qubits and single photon interference effects. The qubit systems can be NV-centers in diamond, Pauli-blockade quantum dots with an excess electron or trapped ions with optical transitions, which are each placed in a cavity and subsequently entangled using a double-heralded single-photon detection scheme. The fidelity of the resulting entanglement is extremely robust against the most important errors such as detector loss, spontaneous emission, and mismatch of cavity parameters. We de…
We study the two-qubit Rabi model in the most general case where the qubits are different from each other. The spectrum of the system in the ultrastrong-coupling regime is shown to converge to two forced oscillator chains by perturbation theory. An even and odd decomposition of the Hilbert space allows us to calculate the spectra in any given parameter regime; the cases studied confirm our perturbation theory prediction in the ultrastrong-coupling regime and point to crossings in the spectra within each parity subspace in the moderate-coupling regime. The normal modes of the system are calcula…
We consider the task of secure multi-party distributed quantum computation on a quantum network. We propose a protocol based on quantum error correction which reduces the number of necessary qubits. That is, each of the $n$ nodes in our protocol requires an operational workspace of $n^2+Θ(s) n$ qubits, as opposed to previously shown $Ω\big((n^3+n^2s^2)\log n\big)$ qubits, where $s$ is a security parameter. To achieve universal computation, we develop a distributed procedure for verifying magic states based on magic state distillation and statistical testing of randomly selected states. This al…
We provide rigorous bounds for the error of the adiabatic approximation of quantum mechanics under four sources of experimental error: perturbations in the initial condition, systematic time-dependent perturbations in the Hamiltonian, coupling to low-energy quantum systems, and decoherent time-dependent perturbations in the Hamiltonian. For decoherent perturbations, we find both upper and lower bounds on the evolution time to guarantee the adiabatic approximation performs within a prescribed tolerance. Our new results include explicit definitions of constants, and we apply them to the spin-1/2…
A unitary operator U=\sum u_{j,k} |k><j| is called diagonal when u_{j,k}=0 unless j=k. The definition extends to quantum computations, where j and k vary over the 2^n binary expressions for integers 0,1 ..., 2^n-1, given n qubits. Such operators do not affect outcomes of the projective measurement {<j| ; 0 <= j <= 2^n-1} but rather create arbitrary relative phases among the computational basis states {|j> ; 0 <= j <= 2^n-1}. These relative phases are often required in applications. Constructing quantum circuits for diagonal computations using standard techniques requires either O(n^2 2^n) cont…
We propose a simple unconventional geometric scenario to achieve a kind of nontrivial multi-qubit operations with superconducting charge qubits placed in a microwave cavity. The proposed quantum operations are insensitive not only to the thermal state of cavity mode but also to certain random operation errors, and thus may lead to high-fidelity quantum information processing. Executing the designated quantum operations, a class of highly entangled cluster states may be generated efficiently in the present scalable solid-state system, enabling one to achieve one-way quantum computation.
We present a way of directly manipulating an arbitrary qubit, without the exchange of any particles. This includes as an application the exchange-free preparation of an arbitrary quantum state at Alice by a remote classical Bob. As a result, we are able to propose a protocol that allows one party to directly enact, by means of a suitable program, any computation exchange-free on a remote second party's unknown qubit. Further, we show how to use this for the exchange-free control of a universal two-qubit gate, thus opening the possibility of directly enacting any desired algorithm remotely on a…
We present an approach to one-way quantum computation (1WQC) that can compensate for single-qubit errors, by encoding the logical information residing on physical qubits into five-qubit error-correcting code states. A logical two-qubit cluster state that is the fundamental resource for encoded quantum teleportation is then described by a graph state containing ten vertices with constant degree seven. Universal 1WQC that incorporates error correction requires only multiple copies of this logical two-qubit state and a logical four-qubit linear cluster state, which are prepared only just in advan…
Mixed state quantum computation can perform certain tasks which are believed to be efficiently intractable on a classical computer. For a specific model of mixed state quantum computation, namely, {\it deterministic quantum computation with a single qubit} (DQC1), recent investigations suggest that quantum correlations other than entanglement might be responsible for the power of DQC1 model. However, strictly speaking, the role of entanglement in this model of computation was not entirely clear. We provide conclusive evidence that there are instances where quantum entanglement is not present i…
Contextuality - the obstruction to describing quantum mechanics in a classical statistical way - has been proposed as a resource that powers quantum computing. The measurement-based model provides a concrete manifestation of contextuality as a computational resource, as follows. If local measurements on a multi-qubit state can be used to evaluate non-linear boolean functions with only linear control processing, then this computation constitutes a proof of strong contextuality - the possible local measurement outcomes cannot all be pre-assigned. However, this connection is restricted to the spe…
We propose a quantum computer architecture which is robust against decoherence and scalable. As a qubit, we adopt rotational states of a nonpolar ionic molecule trapped in an ion-trap. It is revealed that the rotational-state qubits are much more immune to decoherence than the conventional electronic-state qubits of atomic ions. A complete method set for state preparation, single-qubit gate, controlled-NOT gate, and qubit-readout suitable for the rotational-state qubits is provided. Since the ionic molecules can be transported in an array of ion traps, the rotational-state qubits are expected …
We define a semantic complexity class based on the model of quantum computing with just one pure qubit (as introduced by Knill and Laflamme) and discuss its computational power in terms of the problem of estimating the trace of a large unitary matrix. We show that this problem is complete for the complexity class, and derive some further fundamental features of the class. We conclude with a discussion of some associated open conjectures and new oracle separations between classes.
We explore a strategy for protecting the evolution of a qubit against the effects of environmental noise based on the application of controlled time-dependent perturbations. In the case of a purely decohering coupling, an explicit sequence of control operations is designed, able to average out the decoherence of the qubit with high efficiency. We argue that, in principle, the effects of arbitrary qubit-environment interactions can be removed through suitable decoupling perturbations acting on the system dynamics over time scales comparable to the correlation time of the environment.
Inherent gate errors can arise in quantum computation when the actual system Hamiltonian or Hilbert space deviates from the desired one. Two important examples we address are spin-coupled quantum dots in the presence of spin-orbit perturbations to the Heisenberg exchange interaction, and off-resonant transitions of a qubit embedded in a multilevel Hilbert space. We propose a ``dressed qubit'' transformation for dealing with such inherent errors. Unlike quantum error correction, the dressed qubits method does not require additional operations or encoding redundancy, is insenstitive to error mag…
By encoding a qudit in a harmonic oscillator and investigating the d --> infinity limit, we give an entirely new realization of continuous-variable quantum computation. The generalized Pauli group is generated by number and phase operators for harmonic oscillators.
Which gates are universal for quantum computation? Although it is well known that certain gates on two-level quantum systems (qubits), such as the controlled-not (CNOT), are universal when assisted by arbitrary one-qubit gates, it has only recently become clear precisely what class of two-qubit gates is universal in this sense. Here we present an elementary proof that any entangling two-qubit gate is universal for quantum computation, when assisted by one-qubit gates. A proof of this important result for systems of arbitrary finite dimension has been provided by J. L. and R. Brylinski [arXiv:q…
