Control and mitigation of microwave crosstalk effect with superconducting qubits

The controlled-not gate and the single qubit gates are considered elementary gates in quantum computing. It is natural to ask how many such elementary gates are needed to implement more elaborate gates or circuits. Recall that a controlled-U gate can be realized with two controlled-not gates and four single qubit gates. We prove that this implementation is optimal if and only if the matrix U satisfies the conditions trU\neq 0, tr(UX)\neq 0, and detU\neq 1. We also derive optimal implementations in the remaining non-generic cases. realizations of controlled unitary gates (pp139-155) G. Song and A. Klappenecker The controlled-not gate and the single qubit gates are considered elementary gates in quantum computing. It is natural to ask how many such elementary gates are needed to implement more elaborate gates or circuits. Recall that a controlled-U gate can be realized with two controlled-not gates and four single qubit gates. We prove that this implementation is optimal if and only if the matrix U satisfies the conditions trU\neq 0, tr(UX)\neq 0, and detU\neq 1. We also derive optimal implementations in the remaining non-generic cases.

There are various gate sets that can be used to describe a quantum computation. A particularly popular gate set in the literature on quantum computing consists of arbitrary single-qubit gates and two-qubit CNOT gates. A CNOT gate is however not always the natural multi-qubit interaction that can be implemented on a given physical quantum computer, necessitating a compilation step that transforms these CNOT gates to the native gate set. An especially interesting case where compilation is necessary is for ion trap quantum computers, where the natural entangling operation can act on more than two qubits and can even act globally on all qubits at once. This calls for an entirely different approach to constructing efficient circuits. In this paper we study the problem of converting a given circuit that uses two-qubit gates to one that uses global gates. Our three main contributions are as follows. First, we find an efficient algorithm for transforming an arbitrary circuit consisting of Clifford gates and arbitrary phase gates into a circuit consisting of single-qubit gates and a number of global interactions proportional to the number of non-Clifford phases present in the original circuit. Second, we find a general strategy to transform a global gate that targets all qubits into one that targets only a subset of the qubits. This approach scales linearly with the number of qubits that are not targeted, in contrast to the exponential scaling reported in (Maslov and Nam 2018 New J. Phys. 20 033018). Third, we improve on the number of global gates required to synthesise an arbitrary n-qubit Clifford circuit from the 12n − 18 reported in (Maslov and Nam 2018 New J. Phys. 20 033018) to 6n − 8.

Two-qubit gates are important components of quantum computing. However, unwanted interactions between qubits (so-called parasitic gates) can be particularly problematic and degrade the performance of quantum applications. In this work, we present two software methods to mitigate parasitic two-qubit gate errors. The first approach is built upon the Cartan’s KAK decomposition and keeps the original unitary decomposition for the error-free native two-qubit gate. It counteracts a parasitic two-qubit gate by only applying single-qubit rotations and therefore has no two-qubit gate overhead. We show the optimal choice of single-qubit mitigation gates. The second approach applies a numerical optimisation algorithm to re-compile a target unitary into the error-parasitic two-qubit gate plus single-qubit gates. We demonstrate these approaches on the CPhase-parasitic iSWAP-like gates. The KAK-based approach helps decrease unitary infidelity by a factor of 3 compared to the noisy implementation without error mitigation. When arbitrary single-qubit rotations are allowed, recompilation could completely mitigate the effect of parasitic errors but may require more native gates than the KAK-based approach. We also compare their average gate fidelity under realistic noise models, including relaxation and depolarising errors. Numerical results suggest that different approaches are advantageous in different error regimes, providing error mitigation guidance for near-term quantum computers.

The program of classifying symmetry protected topological (SPT) phases in 1D has been recently completed and has opened the doors to study closely the properties of systems belonging to these phases. It was recently found that being able to constrain the form of ground states of SPT order based on symmetry properties also allows to explore novel resource states for processing of quantum information. In this paper, we generalize the consideration of Else et al. [Phys. Rev. Lett. {\bf 108}, 240505 (2012)] where it was shown that the ground-state form of spin-1 chains protected by $\mathbb{Z}_2 \times \mathbb{Z}_2$ symmetry supports perfect operation of the identity gate, important also for long-distance transmission of quantum information. We develop a formalism to constrain the ground-state form of SPT phases protected by any arbitrary finite symmetry group and use it to examine examples of ground states of SPT phases protected by various finite groups for similar gate protections. We construct a particular Hamiltonian invariant under $A_4$ symmetry transformation which is one of the groups that allows protected identity operation and examine its ground states. We find that there is an extended region where the ground state is the AKLT state, which not only supports the identity gate but also arbitrary single-qubit gates.

We show how the quantum Zeno effect can be exploited to control quantum many-body dynamics for quantum information and computation purposes. In particular, we consider a one dimensional array of three level systems interacting via a nearest-neighbour interaction. By encoding the qubit on two levels and using simple projective frequent measurements yielding the quantum Zeno effect, we demonstrate how to implement a well defined quantum register, quantum state transfer on demand, universal two-qubit gates and two-qubit parity measurements. Thus, we argue that the main ingredients for universal quantum computation can be achieved in a spin chain with an {\em always-on} and {\em constant} many-body Hamiltonian. We also show some possible modifications of the initially assumed dynamics in order to create maximally entangled qubit pairs and single qubit gates.

Quantum computing has attracted much attention in recent decades, since it is believed to solve certain problems substantially faster than traditional computing methods. Theoretically, such an advance can be obtained by networks of the quantum operators in universal gate sets, one famous example of which is formed by quantum Control‐not gate and single qubit gates. However, realizing a device that performs practical quantum computing is tricky. This is because it requires a scalable qubit system with long coherence time and good controls, which is harsh for most current platforms. Here, it is demonstrated that the information process based on a relatively stable system—classical optical system, can be considered as an analogy of universal quantum computing. By encoding the information via the polarization state of classical beams, the optical computing elements that correspond to the universal gate set are presented and their combination for a general information process is theoretically illustrated. Taking the analogy of two‐qubit processor as an example, it is experimentally verified that the proposal works well. Considering the potential of optical system for reliable and low‐energy‐consuming computation, the results open a new way toward advanced information processing with high quality and efficiency.

In order to delineate which minimalistic physical primitives can enable the full power of universal quantum computing, it has been fruitful to consider various measurement based architectures which reduce or eliminate the use of coherent unitary evolution, and also involve operations that are physically natural. In this context previous works had shown that the triplet-singlet measurement of two qubit angular momentum (or equivalently two qubit exchange symmetry) yields the power of quantum computation given access to a few additional different single qubit states or gates. However, Freedman, Hastings and Shokrian-Zini1 recently proposed a remarkable conjecture, called the 'STP=BQP' conjecture, which states that the two-qubit singlet/triplet measurement is quantum computationally universal given only an initial ensemble of maximally mixed single qubits. In this work we prove this conjecture. This provides a method for quantum computing that is fully rotationally symmetric (i.e. reference frame independent), using primitives that are physically very-accessible, naturally resilient to certain forms of error, and provably the simplest possible.

Estimating the eigenstate properties of quantum systems is a long-standing, challenging problem for both classical and quantum computing. Existing universal quantum algorithms typically rely on ideal and efficient query models (e.g., time evolution operator or block encoding of the Hamiltonian), which, however, become suboptimal for actual implementation at the quantum circuit level. Here, we present a full-stack design of quantum algorithms for estimating the eigenenergy and eigenstate properties, which can achieve high precision and good scaling with system size. The gate complexity per circuit for estimating generic Hamiltonians’ eigenstate properties is , which has a logarithmic dependence on the inverse precision ε. For lattice Hamiltonians, the circuit depth of our design achieves near-optimal system-size scaling, even with local qubit connectivity. Our full-stack algorithm has low overhead in circuit compilation, which thus results in a small actual gate count (cnot and non-Clifford gates) for lattice and molecular problems compared to advanced eigenstate algorithms. The algorithm is implemented on IBM quantum devices using up to 2000 two-qubit gates and 20,000 single-qubit gates and achieves high-precision eigenenergy estimation for Heisenberg-type Hamiltonians, demonstrating its noise robustness.

The leading approach to fault tolerant quantum computing requires a continual supply of magic states. When a new magic state is first encoded, its initial fidelity will be too poor for use in the computation. This necessitates a resource-intensive distillation process that occupies the majority of the computer’s hardware; creating magic states with a high initial fidelity minimizes this cost and is therefore crucial for practical quantum computing. Here we present the surprising and encouraging result that raw magic states can have a fidelity significantly better than that of the two-qubit gate operations used to construct them. Our protocol exploits post-selection without significantly slowing the rate of generation and tolerates finite error rates in initializations, measurements and single-qubit gates. This approach may dramatically reduce the size of the hardware needed for a given quantum computing task.

IBM’s quantum computers implement gates from Clifford +T gate library. All single qubit gates are implemented, but only a subset of the possible CNOT are provided. It is well known that the functionally of the missing gates can be achieved by a sequence of gates. The sequence of gates is based on SWAP gates. Up to seven elementary gates are required to implement a SWAP gate. In this paper we show how the same effect can be achieved with fewer gates. To show the potential of the proposed transformations, an example is presented where a reduction of 44% in the gate count and a 26% reduction in the number of levels for IBM’s QX5 computer is achieved. An algorithm that is considered state of the art, is used for the comparison.

The Controlled-NOT (CNOT) quantum gate associated with single qubit gates is universal for building all quantum circuits. Although CNOTs based on trapped ions and superconducting qubits have become experimentally feasible, the deterministically functioning quantum CNOT gate with photonic qubits will lead to practical realization of quantum computers in a deterministic manner, and will therefore provide an exponential increase in processing power with lowest decoherence time. Based on a previously proposed CNOT model utilizing a quantum cloner (with a fidelity of 78 %), we present in this work our design of the Compact CNOT gate providing a fidelity of 90.31 %, and give physical realization constraints for building CNOT based decomposition of the Toffoli gate and more generalized photonic CnNOT gates. The photonic qubits are encoded by circularly polarized single photons and the design of the gate is based on copying the polarization degree of freedom by quantum cloners. Our model is based on spin of electron in a quantum dot embedded in a double sided optical microcavity which behaves like a beam splitter. Circularly polarizing beam splitters, beam splitters, delay lines, photonic circulators, single qubit operations and other photonic devices are used for the design and decomposition. We show that the fidelity of the decomposed CnNOT gates is highly dependent on the errors of the non-perfect photonic devices used and more specifically to the theoretical optimal limit of 5/6 of the quantum cloners required for each CNOT in the decomposition.

Currently, most quantum homomorphic encryption (QHE) schemes only allow a single evaluator (server) to accomplish computation tasks on encrypted data shared by the data owner (user). In addition, the quantum computing capability of the evaluator and the scope of quantum computation it can perform are usually somewhat limited, which significantly reduces the flexibility of the scheme in quantum network environments. In this paper, we propose a novel (t,n)-threshold QHE (TQHE) network scheme based on the Shamir secret sharing protocol, which allows k(t≤k≤n) evaluators to collaboratively perform evaluation computation operations on each qubit within the shared encrypted sequence. Moreover, each evaluator, while possessing the ability to perform all single-qubit unitary operations, is able to perform arbitrary single-qubit gate computation task assigned by the data owner. We give a specific (3, 5)-threshold example, illustrating the scheme's correctness and feasibility, and simulate it on IBM quantum computing cloud platform. Finally, it is shown that the scheme is secure by analyzing encryption/decryption private keys, ciphertext quantum state sequences during transmission, plaintext quantum state sequence, and the result after computations on the plaintext quantum state sequence.

We propose a scheme for quantum computing using high-Q cavities in which the qubits are represented by single cavity modes restricted in the space spanned by the two lowest Fock states. We show that single qubit operations and universal multiple qubit gates can be implemented using atoms sequentially crossing the cavities.

Global control strategies for arrays of qubits are a promising pathway to scalable quantum computing. A continuous-wave global field provides decoupling of the qubits from background noise. However, this approach is limited by variability in the parameters of individual qubits in the array. Here we show that by modulating a global field simultaneously applied to the entire array, we are able to encode qubits that are less sensitive to the statistical scatter in qubit resonance frequency and microwave amplitude fluctuations, which are problems expected in a large-scale system. We name this approach the SMART (sinusoidally modulated, always rotating, and tailored) qubit protocol. We show that there exist optimal modulation conditions for qubits in a global field that robustly provide improved coherence times. We discuss in further detail the example of spins in silicon quantum dots, in which universal one- and two-qubit control is achieved electrically by controlling the spin-orbit coupling of individual qubits and the exchange coupling between spins in neighboring dots. This paper provides a high-fidelity qubit operation scheme in a global field, significantly improving the prospects for scalability of spin-based quantum computer architectures.

This paper shows that quantum computation can be made fault-tolerant against errors and inaccuracies when $\eta$, the probability for an error in a qubit or a gate, is smaller than a constant threshold $\eta_c$. This result improves on Shor's result [Proceedings of the 37th Symposium on the Foundations of Computer Science, IEEE, Los Alamitos, CA, 1996, pp. 56–65], which shows how to perform fault-tolerant quantum computation when the error rate $\eta$ decays polylogarithmically with the size of the computation, an assumption which is physically unreasonable. The cost of making the quantum circuit fault-tolerant in our construction is polylogarithmic in time and space. Our result holds for a very general local noise model, which includes probabilistic errors, decoherence, amplitude damping, depolarization, and systematic inaccuracies in the gates. Moreover, we allow exponentially decaying correlations between the errors both in space and in time. Fault-tolerant computation can be performed with any universal set of gates. The result also holds for quantum particles with $p>2$ states, namely, p-qudits, and is also generalized to one-dimensional quantum computers with only nearest-neighbor interactions. No measurements, or classical operations, are required during the quantum computation. We estimate the threshold of our construction to be $\eta_c\simeq 10^{-6}$, in the best case. By this we show that local noise is in principle not an obstacle for scalable quantum computation. The main ingredient of our proof is the computation on states encoded by a quantum error correcting code (QECC). To this end we introduce a special class of Calderbank–Shor–Steane (CSS) codes, called polynomial codes (the quantum analogue of Reed–Solomon codes). Their nice algebraic structure allows all of the encoded gates to be transversal. We also provide another version of the proof which uses more general CSS codes, but its encoded gates are slightly less elegant. To achieve fault tolerance, we encode the quantum circuit by another circuit by using one of these QECCs. This step is repeated polyloglog many times, each step slightly improving the effective error rate, to achieve the desired reliability. The resulting circuit exhibits a hierarchical structure, and for the analysis of its robustness we borrow terminology from Khalfin and Tsirelson [Found. Phys., 22 (1992), pp. 879–948] and Gács [Advances in Computing Research: A Research Annual: Randomness and Computation, JAI Press, Greenwich, CT, 1989]. The paper is to a large extent self-contained. In particular, we provide simpler proofs for many of the known results we use, such as the fact that it suffices to correct for bit-flips and phase-flips, the correctness of CSS codes, and the fact that two-qubit gates are universal, together with their extensions to higher-dimensional particles. We also provide full proofs of the universality of the sets of gates we use (the proof of universality was missing in Shor's paper). This paper thus provides a self-contained and complete proof of universal fault-tolerant quantum computation in the presence of local noise.