Rydberg-atom-based scheme of nonadiabatic geometric quantum computation
Nonadiabatic geometric quantum computation provides a means to perform fast and robust quantum gates. It has been implemented in various physical systems, such as trapped ions, nuclear magnetic resonance and superconducting circuits. Another system being adequate for implementation of nonadiabatic geometric quantum computation may be Rydberg atoms, since their internal states have very long coherence time and the Rydberg-mediated interaction facilitates the implementation of a two-qubit gate. Here, we propose a scheme of nonadiabatic geometric quantum computation based on Rydberg atoms, which combines the robustness of nonadiabatic geometric gates with the merits of Rydberg atoms.
pacs:03.67.Lx, 03.67.Pp, 03.65.Vf
Quantum computation is believed much more effective than classical computation in solving many problems, such as factoring large integers (1) and searching unsorted data (2). The key for implementing circuit-based quantum computation is to realize a universal set of quantum gates with high fidelities. However, the errors arising from inaccurate control of a quantum system inevitably affect quantum gates, and the accumulation of control errors may seriously spoil the practical realization. This motivates researchers to utilize the characteristic of geometric phases to suppress control errors. Geometric phases are only dependent on evolution paths but independent of evolution details so that quantum computation based on geometric phases is robust against control errors.
The early schemes of geometric quantum computation (3); (4); (5) were based on adiabatic geometric phases, both Abelian (6) and non-Abelian phases (7). While adiabatic geometric gates are robust against control errors, an unavoidable challenge is the long run-time needed by adiabatic evolution, which makes the gates vulnerable to environment-induced decoherence and thereby hinders the experimental implementation. To overcome this difficulty, quantum computation (8); (9); (10); (11) based on nonadiabatic Abelian (12) and non-Abelian (13) geometric phases was put forward. Nonadiabatic geometric quantum computation has the merits of both high-speed implementation and robustness against control errors, and therefore it has received increasing attention (14); (15); (16); (17); (18); (19); (20); (21); (22); (24); (23); (25); (26); (27); (28); (29); (30); (31); (32); (33); (34); (35); (36); (37); (38); (39); (40); (41); (42); (43); (44). A number of schemes for its physical implementation have been put forward (15); (16); (17); (18); (19); (20); (26); (27); (28); (29); (30); (31), and nonadiabatic geometric quantum computation has been experimentally demonstrated with trapped ions (39), NMR (40); (41), superconducting circuits (42) and nitrogen-vacancy centers in diamond (43); (44).
As a promising candidate for implementing quantum computation, Rydberg atoms seem particularly attractive due to the long coherence time of internal atomic states and the realistically controllable Rydberg-mediated interaction between Rydberg atoms (45); (46). The long-lived Rydberg states can be taken as well-defined qubit states, and the Rydberg-mediated interaction can lead to Rydberg blockade regime (47); (48), which allows an effective implementation of two-qubit gates. The Rydberg-mediated dipole-dipole or van der Waals interaction between high-lying Rydberg states is strong enough to shift atomic energy levels. It leads to Rydberg blockade, which prevents more than one atom from being excited to Rydberg states by resonant laser pulses. Rydberg blockade has been experimentally demonstrated with individual atoms (49); (50) as well as mesoscopic atomic ensembles (51); (52); (53); (54); (55); (56), and has been extensively applied to quantum computation (57); (58); (59); (60); (61); (62); (63); (64); (65); (66); (67); (68); (69), including adiabatic geometric quantum computation (57). However, nonadiabatic geometric quantum computation based on Rydberg atoms has not been developed yet.
In this paper, we propose a Rydberg atom-based scheme of nonadiabatic geometric quantum computation, of which the computational qubit is encoded into the stable ground state and long-lived Rydberg state. The one-qubit gates are performed by addressing an individual atom with laser pulse, and a nontrivial two-qubit gate is realized with the aid of the Rydberg blockade regime. Our scheme combines the robustness and the speediness of nonadiabatic geometric gates with the merits of Rydberg atoms, and thereby provides a promising way of high-fidelity quantum computation.
The paper is organized as follows. In Sec. II, an arbitrary one-qubit nonadiabatic geometric gate is proposed, which is based on Rydberg atoms but also applicable to other two-level systems. In Sec. III, a nontrivial two-qubit nonadiabatic geometric gate based on Rydberg atoms is proposed. In Sec. IV, we briefly discuss the feasibility of our proposal. Section V is our conclusion.
Ii One-qubit gates
Consider a two-level Rydberg atom consisting of a stable ground state and a long-lived Rydberg state , where the transition is driven by resonant laser pulse with Rabi frequency , as shown in Fig. 1.
In the rotating frame, by using the rotating wave approximation, the Hamiltonian describing the Rydberg atom interacting with the laser reads
where represents the Hermitian conjugate term.
Taking as the computational basis, we aim to realize an arbitrary one-qubit nonadiabatic geometric gate,
Here, are the standard Pauli operators acting on computational basis and , is an arbitrary unit vector, and is an arbitrary phase with the geometric feature. represents a rotational gate with the rotational axis and rotational angle .
We now demonstrate how to realize such a gate by using the Hamiltonian described by Eq. (1). To this end, we take the Rabi frequency of the laser pulse as
where the amplitude parameter is time-dependent and the phase parameter is time-independent. Here, intermediate time , and the total evolution time satisfy
Then, the evolution operator can be expressed as
Specially, at the final time , there is
It can be written as
with the aid of , or equivalently
are the eigenstates of .
To show is a geometric gate, we examine the evolution of state . Clearly, the state undergoes cyclic evolution,
It means that is the total phase obtained by the state undergoing cyclic evolution. The dynamic phase is always zero during the whole evolution, since the parallel transport condition is satisfied, i.e.,
where and is defined in Eq. (5). Therefore, is a purely geometric phase without containing any dynamic phase. Indeed, is just equal to half of the solid angle enclosed by the orange-slice-shaped loop, shown in Fig. 2, which is the evolution path traced by in the Bloch sphere. Similar discussion is available for state .
It is worth noting that an arbitrary one-qubit nonadiabatic geometric gate in our scheme is realized by a single orange-slice-shaped loop rather than combining multiple single orange-slice-shaped loops. Compared with the previous schemes of the one-qubit nonadiabatic geometric gates based on orange-slice-shaped loop (21); (22); (23); (24), in which a general one-qubit gate is realized by combining several special gates, our scheme minimizes the exposure time of gates to error sources but also keeps all the merits of the previous schemes. Besides, the implementation of our one-qubit gate is only based on a general two-level system driven by a laser pulse, which is not limited to a Rydberg atom but is applicable to any other two-level systems.
Iii Two-qubit gate
We have shown that an arbitrary one-qubit nonadiabatic geometric gate can be obtained by addressing an individual Rydberg atom with laser pulse. To realize nonadiabatic geometric quantum computation, beside one-qubit gates, a nontrivial two-qubit gate is needed. We now demonstrate how to realize a nontrivial two-qubit nonadiabatic geometric gate by using the Rydberg-mediated interaction.
Consider two two-level Rydberg atoms with Rydberg-mediated interaction arising from dipole-dipole or van der Waals force between high-lying Rydberg states, as shown in Fig. 3.
For each of the two Rydberg atoms, the transition of the th Rydberg atom is driven by a resonant laser pulse with Rabi frequency , where . The computational space is taken as , where with . In the rotating frame, the Hamiltonian of the two-atom system reads
is the single-atom Hamiltonian describing the interaction between the th Rydberg atom and the laser pulse, and denotes the identity operator acting on the th Rydberg atom. Here, we have neglected the rapidly oscillating counter-rotating terms in . In order to realize a nontrivial two-qubit nonadiabatic geometric gate, the Rabi frequencies of laser pulses are taken as and , where is time-dependent and is time-independent. With the aid of these relations, we have, by substituting and into Eq. (15),
where , . Further, we take a rotation transform , and then the two-atom Hamiltonian can be recast as
In Eq. (18), state is resonantly coupled to state with , while is off-resonantly coupled to due to the Rydberg-mediated interaction . If , compared with , is sufficiently large, i.e., , the off-resonant terms are negligible. It means that the simultaneous excitation of two atoms from ground states to Rydberg states is inhibited. In this case, the effective Hamiltonian reads
Since the Rydberg-mediated interaction , being adjustable, can be easily tuned to a value much larger than , the above effective Hamiltonian is available. It is interesting to note that has some desired features when it acts on the computational space. Note that the computational space comprises of three subspaces , and , where can be equivalently rewritten as with . Subspace is coupled to subspace by , while remains unaffected by the Hamiltonian. Furthermore, the state in subspace is a dark state of the effective Hamiltonian, which is decoupled from other states. With the knowledge of these features of the Hamiltonian, we can construct a nontrivial two-qubit nonadiabatic geometric gate by carefully choosing the period of evolution.
The evolution operator reads
where . In the basis , it can be expressed as
If we let the evolution period satisfy
we have, from Eq. (21),
which provides a nontrivial two-qubit gate.
To show is a geometric one, we rewrite it as
where , and . Here, , and act on the subspaces , , and , respectively. Since does not affect , we only need to show that is a geometric phase factor and is a holonomic matrix. Indeed, is a geometric phase factor, since it is just the phase factor gained by the basis undergoing cyclic evolution and the evolution satisfies the parallel transport condition
for . Further, one can verify that the following conditions,
The above demonstrations show that a state initially in subspace will undergo cyclic evolution and acquire nonadiabatic geometric phase , a state initially in subspace will undergo cyclic evolution and acquires a non-Abelian geometric phase, and a state initially in subspace will remain unchanged. Note that a general state is a superposition of three components in the three subspaces, and the component in each subspace undergoes cyclic evolution. While every component in the subspaces acquires a geometric phase, the nontrivial two-qubit geometric gate is realized. It combines the ideas of Abelian and non-Abelian geometric phases in one single gate.
Compared with the previous optical system-based schemes of nonadiabatic geometric two-qubit gates (10); (20); (18); (19); (26), which are realized by weak-field coupling, our two-qubit nonadiabatic geometric gate is realized by using resonant laser pulses, which is much more effective in the practical manipulation due to the strong resonant coupling between Rydberg states and ground states. Besides, the controllable Rydberg-mediated interaction facilitate its manipulation too.
We have obtained an arbitrary one-qubit gate and a nontrivial two-qubit gate comprising a universal set of nonadiabatic geometric gates. Quantum computation based on such gates possesses the following merits: robustness against control errors, speediness of nonadiabatic evolution, long coherence time of qubit states, and realistically controllable interaction between qubits. It is the purpose of developing Rydberg atom-based nonadiabatic geometric gates to realize fast quantum computation with the merits of both geometric phases and Rydberg atoms.
Our scheme realizes unitary gates, i.e., operations where the decoherence has been neglected due to the long coherence time of the excited Rydberg states. However, many experimentally feasible Rydberg levels carry remnant decay, which determines the coherence time and may still affect the quantum gates. Noting that the evolution time of the gates, which satisfies Eq. (4) or (22), is restricted by the amplitude parameter , a natural question is whether the coherence time can sufficiently match the time requirement of time-dependent function of the driving fields’ Rabi frequencies. That is, can we properly choose the amplitude parameter such that is satisfied and is experimentally allowed, where represents the lifetime of a Rydberg state and is the Rydberg-mediated interaction? Here, we answer this question. As it has been shown (45); (57), for alkali atoms, the lifetime of a Rydberg state with principal quantum number can be larger than and the dipole-dipole interaction strength between two atoms are above when atoms are separated less than . On the other hand, Eqs. (4) and (22) indicate that . This means that the requirement, and , can be indeed satisfied by properly choosing . For example, the amplitude parameter can be taken as , which is sufficiently small compared with the interaction and is experimentally allowed (45), and the corresponding evolution time of quantum gates is , which is sufficiently short compared to the lifetime . Therefore, the effective Hamiltonian in Eq. (19) is available. Besides, it should be noted that to implement our scheme experimentally, the conditions expressed in Eqs. (4) and (22) must be fulfilled.
It is worth noting that Rydberg atoms have been used to realize photonic pulse-based quantum gates in previous works (66); (67); (68); (69), where the computational qubits are encoded by photons and the Rydberg atomic ensemble only acts as mediator. By converting photonic pulses into Rydberg excitations, the logic operations between pulses can be directly performed. Our scheme is different from the photonic pulse-based scenario. In our scheme, the computational qubits are encoded into the stable ground states of Rydberg atoms and the long-lived Rydberg states, and the quantum gates, based on nonadiabatic geometric phases, have the merits of both high-speed implementation and robustness against control errors. While photonic qubits in the Rydberg ensemble have the advantage that they can be directly read out, the operation in our scheme must be read out by some other means to convert it to flying qubits for the next operation.
In passing, we point out that although the quantum gates in the present paper are demonstrated based on individual Rydberg atoms, our scheme can be extended to the mesoscopic atomic ensemble with the qubits encoded by collective Rydberg states of the atomic ensemble.
In conclusion, we have proposed a scheme to implement nonadiabatic geometric quantum computation with Rydberg atoms. By encoding the computational basis into the stable ground state and long-lived Rydberg state, a universal set of nonadiabatic geometric gates, consisting of an arbitrary one-qubit gate and a nontrivial two-qubit gate, is realized. The arbitrary one-qubit gate is performed by addressing an individual Rydberg atom with resonant laser pulses while the nontrivial two-qubit gate is performed with the aid of Rydberg blockade regime.
The one-qubit gate in our scheme is realized via a single orange-slice-shaped loop. Compared with all the previous one-qubit nonadiabatic geometric gates based on orange-slice-shaped loop, in which a general one-qubit gate is realized via combining several special gates, our scheme minimizes the exposure time of gates to error sources but also keeps all the merits of the previous schemes. The two-qubit gate in our scheme is realized by using resonant laser pulses. Compared with all the previous optical system-based schemes of nonadiabatic geometric two-qubit gates, which are realized by weak-field coupling, our two-qubit nonadiabatic geometric gate is much more effective in the practical manipulation. Our scheme combines the robustness of nonadiabatic geometric gates with the merits of Rydberg atoms, and thereby provides a promising approach to high-fidelity quantum computation.
Acknowledgements.P.Z.Z. acknowledges support from the National Natural Science Foundation of China though Grant No. 11575101. G.F.X. acknowledges support from the National Natural Science Foundation of China through Grant No. 11605104, from the Future Project for Young Scholars of Shandong University through Grant No. 2016WLJH21, and from the Carl Tryggers Stiftelse (CTS) through Grant No. 14:441. E.S. acknowledges financial support from the Swedish Research Council (VR) through Grant No. D0413201. D.M.T. acknowledges support from the National Basic Research Program of China through Grant No. 2015CB921004.
- P. W. Shor, SIAM J. Comput. 26, 1484 (1997).
- L. K. Grover, Phys. Rev. Lett. 79, 325 (1997).
- J. A. Jones, V. Vedral, A. Ekert, and G. Castagnoli, Nature (London) 403, 869 (2000).
- P. Zanardi and M. Rasetti, Phys. Lett. A 264, 94 (1999).
- L. M. Duan, J. I. Cirac, and P. Zoller, Science 292, 1695 (2001).
- M. V. Berry, Proc. R. Soc. Lond. A 392, 45 (1984).
- F. Wilczek and A. Zee, Phys. Rev. Lett. 52, 2111 (1984).
- Wang Xiang-Bin and Matsumoto Keiji, Phys. Rev. Lett. 87, 097901 (2001).
- S. L. Zhu and Z. D. Wang, Phys. Rev. Lett. 89, 097902 (2002).
- E. Sjöqvist, D. M. Tong, L. M. Andersson, B. Hessmo, M. Johansson, and K. Singh, New J. Phys. 14, 103035 (2012).
- G. F. Xu, J. Zhang, D. M. Tong, E. Sjöqvist, and L. C. Kwek, Phys. Rev. Lett. 109, 170501 (2012).
- Y. Aharonov and J. Anandan, Phys. Rev. Lett. 58, 1593 (1987).
- J. Anandan, Phys. Lett. A 133, 171 (1988).
- S. L. Zhu and Z. D. Wang, Phys. Rev. Lett. 91, 187902 (2003).
- S. L. Zhu and Z. D. Wang, Phys. Rev. A 67, 022319 (2003).
- P. Solinas, P. Zanardi, N. Zanghi, and F. Rossi, Phys. Rev. A 67, 052309 (2003).
- X. D. Zhang, S. L. Zhu, L. Hu, and Z. D. Wang, Phys. Rev. A 71, 014302 (2005).
- X. L. Feng, Z. S. Wang, C. F. Wu, L. C. Kwek, C. H. Lai, and C. H. Oh, Phys. Rev. A 75, 052312 (2007).
- X. L. Feng, C. F. Wu, H. Sun, and C. H. Oh, Phys. Rev. Lett. 103, 200501 (2009).
- K. Kim, C. F. Roos, L. Aolita, H. Häffner, V. Nebendahl, and R. Blatt, Phys. Rev. A 77, 050303(R) (2008).
- J. T. Thomas, M. Lababidi, and M. Z. Tian, Phys. Rev. A 84, 042335 (2011).
- V. A. Mousolou and E. Sjöqvist, Phys. Rev. A 89, 022117 (2014).
- G. F. Xu and G. L. Long, Phys. Rev. A 90, 022323 (2014).
- G. F. Xu and G. L. Long, Sci. Rep. 4, 6814 (2014).
- V. A. Mousolou, C. M. Canali, and E. Sjöqvist, New J. Phys. 16, 013029 (2014).
- Z. T. Liang, Y. X. Du, W. Huang, Z. Y. Xue, and H. Yan, Phys. Rev. A 89, 062312 (2014).
- J. Zhou, W. C. Yu, Y. M. Gao, and Z. Y. Xue, Opt. Express 23, 14027 (2015).
- Z. Y. Xue, J. Zhou, and Z. D. Wang, Phys. Rev. A 92, 022320 (2015).
- Z. Y. Xue, J. Zhou, Y. M. Chu, and Y. Hu, Phys. Rev. A 94, 022331 (2016).
- Y. M. Wang, J. Zhang, C. F. Wu, J. Q. You, and G. Romero, Phys. Rev. A 94, 012328 (2016).
- Z. Y. Xue, F. L. Gu, Z. P. Hong, Z. H. Yang, D. W. Zhang, Y. Hu, and J. Q. You, Phys. Rev. Appl. 7, 054022 (2017).
- G. F. Xu, C. L. Liu, P. Z. Zhao, and D. M. Tong, Phys. Rev. A 92, 052302 (2015).
- E. Sjöqvist, Phys. Lett. A 380, 65 (2016).
- E. Herterich and E. Sjöqvist, Phys. Rev. A 94, 052310 (2016).
- P. Z. Zhao, G. F. Xu, and D. M. Tong, Phys. Rev. A 94, 062327 (2016).
- P. Z. Zhao, G. F. Xu, Q. M. Ding, E. Sjöqvist, and D. M. Tong, Phys. Rev. A 95, 062310 (2017).
- G. F. Xu, P. Z. Zhao, T. H. Xing, E. Sjöqvist, and D. M. Tong, Phys. Rev. A 95, 032311 (2017).
- B. J. Liu, Z. H. Huang, Z. Y. Xue, and X. D. Zhang, Phys. Rev. A 95, 062308 (2017).
- D. Leibfried, B. DeMarco, V. Meyer, D. Lucas, M. Barrett, J. Britton, W. M. Itano, B. Jelenkoviá, C. Langer, T. Rosenband, and D. J. Wineland, Nature(London) 422, 412 (2003).
- J. F. Du, P. Zou, and Z. D. Wang, Phys. Rev. A 74, 020302(R) (2006).
- G. R. Feng, G. F. Xu, and G. L. Long, Phys. Rev. Lett. 110, 190501 (2013).
- A. A. Abdumalikov, J. M. Fink, K. Juliusson, M. Pechal, S. Berger, A. Wallraff, and S. Filipp, Nature(London) 496, 482 (2013).
- S. Arroyo-Camejo, A. Lazariev, S. W. Hell, and G. Balasubramanian, Nat. Commun. 5, 4870 (2014).
- C. Zu, W. B. Wang, L. He, W. G. Zhang, C. Y. Dai, F. Wang, and L. M. Duan, Nature(London) 514, 72 (2014).
- M. Saffman and T. G. Walker, Phys. Rev. A 72, 022347 (2005).
- M. Saffman, T. G. Walker, and K. Mølmer, Rev. Mod. Phys. 82, 2313 (2010).
- D. Jaksch, J. I. Cirac, P. Zoller, S. L. Rolston, R. Côté, and M. D. Lukin, Phys. Rev. Lett. 85, 2208 (2000).
- M. D. Lukin, M. Fleischhauer, R. Cote, L. M. Duan, D. Jaksch, J. I. Cirac, and P. Zoller, Phys. Rev. Lett. 87, 037901 (2001).
- E. Urban, T. A. Johnson, T. Henage, L. Isenhower, D. D. Yavuz, T. G. Walker and M. Saffman, Nat. Phys. 5, 110 (2009).
- A. Gaëtan, Y. Miroshnychenko, T.Wilk, A. Chotia, M. Viteau, D. Comparat, P. Pillet, A. Browaeys, and P. Grangier, Nat. Phys. 5, 115 (2009).
- D. Tong, S. M. Farooqi, J. Stanojevic, S. Krishnan, Y. P. Zhang, R. Côté, E. E. Eyler, and P. L. Gould, Phys. Rev. Lett. 93, 063001 (2004).
- K. Singer, M. Reetz-Lamour, T. Amthor, L. G. Marcassa, and M. Weidemüller, Phys. Rev. Lett. 93, 163001 (2004).
- T. Cubel Liebisch, A. Reinhard, P. R. Berman, and G. Raithel, Phys. Rev. Lett. 95, 253002 (2005).
- R. Heidemann, U. Raitzsch, V. Bendkowsky, B. Butscher, R. Löw, L. Santos, and T. Pfau, Phys. Rev. Lett. 99, 163601 (2007).
- M. Ebert, M. Kwon, T. G. Walker, and M. Saffman, Phys. Rev. Lett. 115, 093601 (2015).
- T. M. Weber, M. Höning, T. Niederprï¿½ï¿½m, T. Manthey, O. Thomas, V. Guarrera, M. Fleischhauer, G. Barontini, and H. Ott, Nat. Phys. 11, 157 (2015).
- D. Møller, L. B. Madsen, and K. Mølmer, Phys. Rev. Lett. 100, 170504 (2008).
- M. Müller, I. Lesanovsky, H. Weimer, H. P. Büchler, and P. Zoller, Phys. Rev. Lett. 102, 170502 (2009).
- L. Isenhower, E. Urban, X. L. Zhang, A. T. Gill, T. Henage, T. A. Johnson, T. G. Walker, and M. Saffman, Phys. Rev. Lett. 104, 010503 (2010).
- H. Z. Wu, Z. B. Yang, and S. B. Zheng, Phys. Rev. A 82, 034307 (2010).
- D. D. Bhaktavatsala Rao and K. Mølmer, Phys. Rev. A 89, 030301(R) (2014).
- M. M. Müller, M. Murphy, S. Montangero, T. Calarco, P. Grangier, and A. Browaeys, Phys. Rev. A 89, 032334 (2014).
- T. Keating, R. L. Cook, A. M. Hankin, Y. Y. Jau, G. W. Biedermann, and I. H. Deutsch, Phys. Rev. A 91, 012337 (2015).
- K. M. Maller, M. T. Lichtman, T. Xia, Y. Sun, M. J. Piotrowicz, A. W. Carr, L. Isenhower, and M. Saffman, Phys. Rev. A 92, 022336 (2015).
- L. Sárkány, J. Fortágh, and D. Petrosyan, Phys. Rev. A 92, 030303(R) (2015).
- D. Paredes-Barato and C. S. Adams, Phys. Rev. Lett. 112, 040501 (2014).
- B. He, A. V. Sharypov, J. Sheng, C. Simon, and M. Xiao, Phys. Rev. Lett. 112, 133606 (2014).
- M. Khazali, K. Heshami, and C. Simon, Phys. Rev. A 91, 030301(R) (2015).
- S. Das, A. Grankin, I. Iakoupov, E. Brion, J. Borregaard, R. Boddeda, I. Usmani, A. Ourjoumtsev, P. Grangier, and A. S. Sørensen, Phys. Rev. A 93, 040303(R) (2016).