Abstract
Efficiently entangling pairs of qubits is essential to fully harness the power of quantum computing. Here, we devise an exact protocol that simultaneously entangles arbitrary pairs of qubits on a trapped-ion quantum computer. The protocol requires classical computational resources polynomial in the system size, and very little overhead in the quantum control compared to a single-pair case. We demonstrate an exponential improvement in both classical and quantum resources over the current state of the art. We implement the protocol on a software-defined trapped-ion quantum computer, where we reconfigure the quantum computer architecture on demand. Our protocol may also be extended to a wide variety of other quantum computing platforms.
Subject terms: Quantum information, Qubits
Here, the authors devise an exact protocol that simultaneously entangles arbitrary pairs of qubits on a trapped-ion quantum computer. The protocol requires classical computational resources polynomial in the system size, and very little overhead in the quantum control compared to a single-pair case.
Introduction
Quantum computers are expected to solve certain computational problems of interest more efficiently than classical computers using state-of-the-art classical algorithms. Notable examples include integer factorization1, unsorted database search2, and quantum dynamics simulations3. Multiple quantum computing platforms are under active development today. One of these platforms is the trapped-ion quantum information processor (TIQIP), which has demonstrated 171Yb+ qubit coherence times in excess of 10 minutes4, single-qubit gate fidelity of 99.9999%5, and two-qubit gate fidelity of 99.9%6,7. In addition, a TIQIP may leverage the all-to-all connectivity between ion qubits. The ability to directly apply a two-qubit gate to any pair of qubits provides TIQIPs an important advantage over other QIPs with limited connectivity8.
While the current progress in TIQIP technology is remarkable, better quality quantum gates are needed to run longer quantum programs and still obtain reliable quantum computational results9. The shortest quantum program known to date, expected to deliver scientifically meaningful discoveries, requires hundreds of thousands of quantum gates10. Therefore, to address quantum computational problems of broad interest, the two-qubit gate design in TIQIPs must be improved. An efficient procedure that simultaneously implements as many two-qubit gates as possible with the least amount of resources will thus accelerate the process of harnessing the power of universal, programmable quantum computers.
In this paper, we devise a new protocol that efficiently and simultaneously implements multiple two-qubit gates on a TIQIP. Using our efficient, arbitrary, simultaneously entangling (EASE) gates, arbitrary ion-qubit pairs, overlapping or not, can be entangled with programmable degrees of quantum entanglement. We implement EASE gates by modulating the amplitude of laser pulses that address individual ion qubits that comprise our scalable, general-purpose, programmable TIQIP, hosted at IonQ11. These new gates pave the way for efficient implementations of large-scale quantum algorithms on a TIQIP.
Results
Two-qubit gate on a trapped-ion quantum information processor
The native two-qubit gate on our TIQIP is implemented according to the Mølmer–Sørensen protocol12–14, which induces an effective XX-Ising interaction between a pair of qubits. The coupling between the computational states of the qubit pair is mediated by the motional modes of the linear N-ion chain stored in an ion trap. The evolution operator that describes this operation is15
1 |
where (with motional-mode index p, coupling strength between ion m and mode p, the pth motional-mode creation operator —see Fig. 1—and the gate duration τ) denotes the coupling between the computational state of qubit m and the motional modes, is the Pauli-x operator on the mth qubit, and χ(m, n) denotes the degree of entanglement between qubits m and n. To obtain a successful single-pair XX gate, we require that the first term in Eq. (1) and all χ(m, n) vanish, except for χ(m, n) of the targeted ion pair m, n. Similarly, to implement EASE gates between freely chosen pairs of qubits with an arbitrary degree of entanglement for every pair, we require that
-
(A)
the first operator , which represents the coupling between motional modes of the ion chain and the computational states of the qubits, vanishes at the end of the evolution, and that
-
(B)
the second operator’s coefficient χ(m, n) either vanishes (if the ion pair m, n is not to be entangled) or computes to a pre-specified degree of entanglement (if the pair is to be entangled).
To satisfy conditions (A) and (B), we individually address participating ions with amplitude-modulated (AM) laser pulses11, where the modulation is performed by dividing the gate time τ into Nseg equi-spaced segments and allowing the amplitude to vary from one segment to the next.
Denoting the amplitude of the pulse Ω(m)(t) applied to ion m during segment k as , the laser detuning from the carrier frequency as μ and the motional-mode frequencies as ωp, condition (A) implies, for all m and p,
2 |
where denotes the coupling constant (Lamb–Dicke parameter) for qubit m and mode p (see also Fig. 1), is the matrix with elements that are the segmented integrals shown above, and Ω(m) is the vector of . Likewise, in the segmented form, condition (B) implies
3 |
where is the triangular matrix with elements that are the segmented double integrals and the angle parameters denote the desired degree of entanglement between the qubit pair (m, n). We note that, according to Eq. (1), the desired evolution to be induced between qubits m and n is . Since the χs are scalars, . Therefore, the constraint Eq. (3) may be rewritten as
4 |
where is a symmetric matrix. The problem of finding the amplitude vectors Ω satisfying the two conditions Eq. (2) and Eq. (4) can, in principle, be written in the form of a quadratically constrained quadratic program (QCQP)16, which is in general NP-hard, as has been pointed out in the literature17,18. However, our problem is fully specified by the two equations, Eqs. (2) and (4), which is a special case of QCQP. The vectors Ω that satisfy Eq. (2) and Eq. (4) can be solved exactly in polynomial time using a linear approach.
EASE-gate protocol
Figure 2 shows a flowchart that outlines our linear approach to produce pulse shapes that implement an EASE gate. Once the experimental parameters, such as the number and positions of the ion qubits, the motional-mode frequencies of the ion chain, the Lamb–Dicke parameters, the detuning frequency, the desired EASE-gate duration, the number of AM segments, and the qubit pairs with corresponding degrees of entanglement are specified, our protocol constructs the -matrix in Eq. (2). The null-space vectors of are then computed. They span a vector space from which we draw pulse shapes that satisfy Eq. (4).
To find a suitable pulse shape that requires minimal laser power, an important experimental concern, the matrix in Eq. (4) is first projected onto the null space of . The eigenvector c with the largest absolute eigenvalue of the projected matrix is then guaranteed to require the minimal power possible, measured according to the sum of squares of the individual amplitudes . This methodology can then be iterated to find the pulse shapes for all ion qubits involved in the EASE gate (see Supplementary Notes 1 and 2 for theoretical details) by considering the pulse-shape search-space for a given qubit to be the intersection between the full null space and a subspace orthogonal to the space of previously identified pulse shapes for ions that the given qubit needs to be decoupled from.
We note that, even though an EASE gate with NEASE participating qubits may require as many as NEASE(NEASE − 1)/2 angle parameters θ(m, n) (see Eq. (3)), we require only Nseg = 2N + NEASE − 1 as the minimal number of segments, which is sufficient to satisfy all χ(m, n) relations and conditions. This is enabled by the fact that, for every additional participating qubit, we may start with the full set of null-space vectors that always satisfy condition (A), and the number of relations with respect to each of the participating qubits, according to condition (B), is at maximum NEASE − 1. In other words, each participating qubit in an EASE gate is subject to at most 2N + NEASE − 1 linear constraints. Because our approach is completely linear, the EASE-gate pulse shapes that exactly implement the desired operation are obtained in polynomial time.
Implementation
We implement our EASE-gate protocol on a TIQIP hosted at IonQ11, which can load and control small chains of 171Yb+ ion qubits. Each qubit is optically initialized to a pure quantum state and then manipulated by addressing the qubit with pulses from a mode-locked 355-nm pulsed laser. These pulses can be engineered to drive either single-qubit operations by coupling to the internal (spin) degree of freedom of the ion, or two-qubit operations by coupling to both the internal and external (collective motional) degrees of freedom. We realize EASE gates by coupling the internal and external degrees of freedom of many ions simultaneously with segmented AM laser pulses.
In particular, we implemented EASE gates to fully entangle qubits in multiple disjoint pairs in a system with 11 ion qubits on a 13-ion chain. Of these qubits, up to 5 pairs (10 qubits) were simultaneously entangled. We then performed partial output state tomography on each entangled state by measuring the parity of the entangled pairs as a function of an analysis-pulse angle (shown in Fig. 3), and also measuring the even parity population without applying analysis pulses. By extracting the amplitude of the measured parity and populations via maximum likelihood estimation7,11, we are able to get a lower-bound estimate of the fidelity of the performed EASE gate. For our implementation with five simultaneous gates (Fig. 3a), we estimate an average gate fidelity of . For the case in which we applied five gates sequentially (Fig. 3b), we estimate an average gate fidelity of . The given errors on fidelity represent a 1σ confidence interval on the maximum likelihood estimation used to determine the fidelity.
We use the same technique to estimate any residual entanglement with non-addressed ions, due predominantly to optical crosstalk, by determining the overlap of any pair with the fully entangled Bell state we are trying to prepare. For pairs with one ion participating in a gate, the fidelity is ideally F = 25%, which corresponds to a fully mixed state. For pairs where neither ion participates in an applied gate, we expect to have F = 50% because the initial pure state has 50% overlap with the Bell state we are trying to prepare. The 50 non-involved pairs have average deviation from the ideal fidelity for the five simultaneously applied gates (Fig. 3a). In the case of five sequentially applied gates (Fig. 3b), we see an average deviation from the ideal fidelity of . In these results, we have performed more simultaneous two-qubit entangling gates than previously reported17 on chains of ions at least twice as long as any previously reported results17,18. The fidelities reported here are markedly lower; however, it should be noted that our results are not corrected for state-preparation and measurement errors.
Discussion
Because a TIQIP can induce couplings between arbitrary pairs of qubits by simply switching on and off pairwise interactions, the EASE gates developed and demonstrated here can readily be implemented on a TIQIP through software alone. This is in contrast to other quantum hardware platforms such as a solid-state QIPs, where each two-qubit interaction has to be hard-wired during the manufacturing process. TIQIPs can load as many qubits as necessary and employ the EASE-gate protocol to simultaneously implement any combinations of simultaneously addressible Ising interactions with little to no extra cost at the hardware level.
A host of quantum algorithms benefit from the ability to implement EASE gates. These algorithms tend to contain an orderly structure such that the circuit may be manipulated to reveal multiple Ising interactions applied simultaneously. For instance:
Quantum arithmetic circuits19,20—useful for solving an integer factoring problem or computing discrete logarithms over Abelian groups1.
Multi-control Toffoli gates using global XX gates as a special instance of an EASE gate21—useful, e.g., Grover’s unsorted database search algorithm2, applicable for solving certain satisfiability problems9.
Fan-in or fan-out CNOTs or various roots of NOTs—useful for realizing the quantum Fourier transform21 or the Bernstein–Vazirani algorithm22.
Disjoint k-local operators—useful for quantum simulation circuits, including both variational quantum eigensolver23 or Hamiltonian-dynamics simulations10, and the Hidden-shift algorithms24.
To highlight the advantages offered by the EASE operation, in Fig. 4 we show a selection of notable algorithms that benefit from our efficient EASE-gate protocol.
Our EASE-gate protocol is linear and the pulse shapes we obtain exactly solve the problem and induce the desired quantum operation with up to N(N − 1)/2 angle parameters θ(m, n) with minimal control overhead, i.e., linear in N, comparable to a single XX gate in terms of the number of segments. The shapes are generated in time polynomial in the system size and are power-optimal for the AM approach when used for a single XX gate with a fixed number of segments, since, in this case, the EASE protocol produces the pulse vector Ω with the minimal possible norm that implements a single entangling gate. This is in contrast to the non-linear, approximate methods used in previous studies17,18 that in general return an approximate pulse-shape solution and require an exponential overhead in the number of segments. Our protocol explains why it was possible in previous studies17 that a certain echo-based pulse-shape ansatz worked well for applying simultaneous gates on disjoint pairs of qubits—the shape automatically satisfies the entanglement requirement condition (B) and the infidelity owing to the imperfect decoupling from the motional modes, due to condition (A), may be minimized by navigating through the null space of . Furthermore, our protocol enables us to entangle pairs of qubits with overlapping qubits.
Our protocol is scalable and is guaranteed to work for any modulation that admits a linear construction, such as the equi-spaced segment-based AM approach explored here or a more general approach demonstrated in ref. 25 (see Sec. S12 therein). In addition, because, again, our protocol admits a linear construction, we can readily take advantage of the high degree of stabilization with respect to external parameter fluctuations demonstrated in ref. 25 directly in the EASE-gate implementations, at the cost of additional degrees of freedom; in the segment-based AM method, this translates to an additional number of segments. The improved stability will likely lead to a better gate fidelity. Furthermore, we could leverage the first circuit identity that appears in Sec. IV of ref. 21 to remove certain crosstalk errors to first order: Note that the circuit identity reads XX(φ)(1 ⊗ σz) XX(φ)(1 ⊗ σz) = (1 ⊗ 1) for any entangling angle φ, where σz is the Pauli-z operator. As an example, this implies that a weak XX interaction or crosstalk, for instance induced between an EASE-participating qubit that sees the pulse shape Ω and a non-EASE-participating qubit that sits adjacent to one of the EASE-participating qubits that sees , due to the spilled-over beam seen by the nonparticipating qubit, can be removed to first order in ε by repeating twice the interleaving of the σz gates on, e.g., a nonparticipating qubit and the EASE gate with half the desired entanglement angles. This costs, in our approach, a factor two in the number of segments used to implement an EASE gate. Our approach can be further generalized to mitigate higher order crosstalk errors at the cost of more segments.
We note that other quantum information processor architectures, such as those based on quantum dots26, neutral atoms27,28, or superconducting circuits29,30, also employ pulse-shape techniques to induce desired quantum operations. While the evolution operators for these approaches are not identical to the one considered here, the motivation behind the pulse shaping is the same: Remove the unwanted coupling while preserving the desired interaction from the architecturally-inducible Hamiltonian. We anticipate that the kind of efficient, linear approach we show here may be applicable for other qubit technologies with further research.
Classical supercomputers employ Multi-Instruction Multi-Data architectures and today’s personal computers typically employ Single-Instruction Multi-Data architectures. These parallel architectures have contributed significantly to sustaining the growth of classical processing power in the era where the frequency scaling of the processors has halted. Likewise, we expect the EASE protocol we explore in this paper to significantly boost the power of quantum computing, unlocking its ability to implement multiple entangling gates efficiently. Akin to the well-known Amdahl’s law in classical parallel computing31, we may roughly estimate the speed-up in quantum latency to scale inversely proportional to 1 − p + 2pr/N2, where p denotes the proportion of the quantum computational task that benefits from the simultaneous operations, r = TEASE/TSINGLE denotes the latency overhead of an EASE gate with duration TEASE over a single entangling gate with duration TSINGLE, and the factor N2/2 arises from the capability of the EASE gate to implement up to ≈N2/2 entangling gates at a time. We believe simultaneously entangling gates, such as the EASE gates developed in this paper, will help ensure continued growth of the power of quantum processors, even when we encounter resource limitations per qubit.
Supplementary information
Acknowledgements
The authors would like to thank all members of the IonQ, Inc. team, specifically the efforts of Coleman Collins, Alex Milstead, Jonathan Mizrahi, Kai Hudek, and Jamie David Wong-Campos for design and implementation of experimental system components, as well as assistance with interpretation and visual illustrations of figures presented here.
Author contributions
R.B., Y.N., and N.G. devised the linear null-space method for the efficient construction of pulses. N.G. devised the EASE protocol under Y.N.’s supervision. N.G., M.L., R.B., and Y.N. carried out the in silico implementation of the protocol. The apparatus was designed and built by K.B., K.W., V.C., J.A., S.D., N.P., and JS.C. and experimental data was collected and analyzed by K.B. and K.W.; Y.N., K.W., R.B., N.G., and K.B. prepared the paper with input from all authors.
Data availability
All data needed to evaluate the conclusions in the paper are present in the paper and/or the Supplementary Materials. Additional data related to this paper may be requested from the authors.
Code availability
All necessary information to generate the code used to evaluate the conclusions in the paper are present in the paper and/or the Supplementary Materials.
Competing interests
The authors declare no competing interests.
Footnotes
Peer review information Nature Communications thanks Brian La Cour and the other, anonymous, reviewer(s) for their contribution to the peer review of this work.
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Contributor Information
Nikodem Grzesiak, Email: grzesiak@ionq.co.
Reinhold Blümel, Email: blumel@ionq.co.
Yunseong Nam, Email: nam@ionq.co.
Supplementary information
Supplementary information is available for this paper at 10.1038/s41467-020-16790-9.
References
- 1.Shor PW. Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer. SIAM Rev. 1999;41:303–332. doi: 10.1137/S0036144598347011. [DOI] [Google Scholar]
- 2.Grover LK. Quantum mechanics helps in searching for a needle in a haystack. Phys. Rev. Lett. 1997;79:325–328. doi: 10.1103/PhysRevLett.79.325. [DOI] [Google Scholar]
- 3.Feynman RP. Simulating physics with computers. Int. J. Theor. Phys. 1982;21:467–488. doi: 10.1007/BF02650179. [DOI] [Google Scholar]
- 4.Wang Y, Um M, Zhang J, An S, Lyu M, Zhang J-N, Duan L-M, Yum D, Kim K. Single-qubit quantum memory exceeding ten-minute coherence time. Nat. Photonics. 2017;11:646–650. doi: 10.1038/s41566-017-0007-1. [DOI] [Google Scholar]
- 5.Harty TP, Allcock DTC, Ballance CJ, Guidoni L, Janacek HA, Lucas DM. High-fidelity preparation, gates, memory, and readout of a trapped-ion quantum bit. Phys. Rev. Lett. 2014;113:220501. doi: 10.1103/PhysRevLett.113.220501. [DOI] [PubMed] [Google Scholar]
- 6.Gaebler JP, Tan TR, Lin Y, Wan Y, Keith AC. High-fidelity universal gate set for 9Be+ ion qubits. Phys. Rev. Lett. 2016;117:060505. doi: 10.1103/PhysRevLett.117.060505. [DOI] [PubMed] [Google Scholar]
- 7.Ballance CJ, Harty TP, Linke NM, Sepiol MA, Lucas DM. High-fidelity quantum logic gates using trapped-ion hyperfine qubits. Phys. Rev. Lett. 2016;117:060504. doi: 10.1103/PhysRevLett.117.060504. [DOI] [PubMed] [Google Scholar]
- 8.Linke NM, Maslov D, Roetteler M, Debnath S, Figgatt C. Experimental comparison of two quantum computing architectures. Proc. Natl Acad. Sci. USA. 2017;114:3305–3310. doi: 10.1073/pnas.1618020114. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 9.Maslov, D., Nam, Y. S. & Kim, J. An outlook for quantum computing. Proc. IEEE107, 5–10 (2019).
- 10.Nam Y, Maslov D. Low cost quantum circuits for classically intractable instances of the Hamiltonian dynamics simulation problem. npj Quant. Inf. 2019;5:44. doi: 10.1038/s41534-019-0152-0. [DOI] [Google Scholar]
- 11.Wright K. Benchmarking an 11-qubit quantum computer. Nat. Commun. 2019;10:5464. doi: 10.1038/s41467-019-13534-2. [DOI] [PMC free article] [PubMed] [Google Scholar]
- 12.Mølmer K, Sørensen A. Multiparticle entanglement of hot trapped ions. Phys. Rev. Lett. 1999;82:1835–1838. doi: 10.1103/PhysRevLett.82.1835. [DOI] [Google Scholar]
- 13.Sørensen A, Mølmer K. Quantum computation with ions in thermal motion. Phys. Rev. Lett. 1999;82:1971–1974. doi: 10.1103/PhysRevLett.82.1971. [DOI] [Google Scholar]
- 14.Choi T, Debnath S, Manning TA, Figgatt C, Gong Z-X, Duan L-M, Monroe C. Optimal quantum control of multimode couplings between trapped ion qubits for scalable entanglement. Phys. Rev. Lett. 2014;112:190502. doi: 10.1103/PhysRevLett.112.190502. [DOI] [PubMed] [Google Scholar]
- 15.Zhu S-L, Monroe C, Duan L-M. Arbitrary-speed quantum gates within large ion crystals through minimum control of laser beams. Europhys. Lett. 2006;73:485–491. doi: 10.1209/epl/i2005-10424-4. [DOI] [Google Scholar]
- 16.Boyd S, Vandenberghe L. Convex Optimization. New York, NY: Cambridge Press; 2004. [Google Scholar]
- 17.Figgatt C, Ostrander A, Linke NM, Landsman KA, Zhu D. Parallel entangling operations on a universal ion trap quantum computer. Nature. 2019;572:368–372. doi: 10.1038/s41586-019-1427-5. [DOI] [PubMed] [Google Scholar]
- 18.Lu Y, Zhang S, Zhang K, Chen W, Shen Y. Scalable global entangling gates on arbitrary ion qubits. Nature. 2019;572:363–367. doi: 10.1038/s41586-019-1428-4. [DOI] [PubMed] [Google Scholar]
- 19.Beauregard S. Circuit for Shor’s algorithm using 2n + 3 qubits. Quant. Inf. Comp. 2003;3:175–185. [Google Scholar]
- 20.Draper TG, Kutin SA, Rains EM, Svore KM. A logarithmic-depth quantum carry-lookahead adder. Quant. Inf. Comp. 2006;6:351–369. [Google Scholar]
- 21.Maslov D, Nam Y. Use of global interactions in efficient quantum circuit constructions. N. J. Phys. 2018;20:033018. doi: 10.1088/1367-2630/aaa398. [DOI] [Google Scholar]
- 22.Bernstein E, Vazirani U. Quantum complexity theory. SIAM J. Comput. 1997;26:1411–1473. doi: 10.1137/S0097539796300921. [DOI] [Google Scholar]
- 23.Nam Y. Ground-state energy estimation of the water molecule on a trapped ion quantum computer. npj Quant. Inf. 2020;6:33. doi: 10.1038/s41534-020-0259-3. [DOI] [Google Scholar]
- 24.van Dam W, Hallgren S, Ip L. Quantum algorithms for some hidden shift problems. SIAM J. Comput. 2006;36:763–778. doi: 10.1137/S009753970343141X. [DOI] [Google Scholar]
- 25.Blumel, R., Grzesiak, N. & Nam, Y. Power-optimal, stabilized entangling gate between trapped-ion qubits. Preprint at https://arxiv.org/abs/1905.09292 (2019).
- 26.Calderon-Vargas FA, Barron GS, Deng X-H, Sigillito AJ, Barnes E, Economou SE. Fast high-fidelity entangling gates in Si double quantum dots. Phys. Rev. B. 2019;100:035304. doi: 10.1103/PhysRevB.100.035304. [DOI] [Google Scholar]
- 27.Theis LS, Motzoi F, Wilhelm FK, Saffman M. High-fidelity Rydberg-blockade entangling gate using shaped, analytic pulses. Phys. Rev. A. 2016;94:032306. doi: 10.1103/PhysRevA.94.032306. [DOI] [Google Scholar]
- 28.Müller MM, Haakh HR, Calarco T, Koch CP, Henkel C. Prospects for fast Rydberg gates on an atom chip. Quant. Inf. Process. 2011;10:771–792. doi: 10.1007/s11128-011-0296-0. [DOI] [Google Scholar]
- 29.Gambetta JM, Motzoi F, Merkel ST, Wilhelm FK. Analytic control methods for high-fidelity unitary operations in a weakly nonlinear oscillator. Phys. Rev. A. 2011;83:012308. doi: 10.1103/PhysRevA.83.012308. [DOI] [Google Scholar]
- 30.Spörl A, Schulte-Herbrüggen T, Glaser SJ, Bergholm V, Storcz MJ. Optimal control of coupled Josephson qubits. Phys. Rev. A. 2007;75:012302. doi: 10.1103/PhysRevA.75.012302. [DOI] [Google Scholar]
- 31.Amdahl GM. Validity of the single processor approach to achieving large scale computing capabilities. AFIPS Conf. Proc. 1967;30:483–485. [Google Scholar]
Associated Data
This section collects any data citations, data availability statements, or supplementary materials included in this article.
Supplementary Materials
Data Availability Statement
All data needed to evaluate the conclusions in the paper are present in the paper and/or the Supplementary Materials. Additional data related to this paper may be requested from the authors.
All necessary information to generate the code used to evaluate the conclusions in the paper are present in the paper and/or the Supplementary Materials.