Quantum Computation in Noiseless Subsystems with Fast Non-Abelian Holonomies
Quantum information processing requires a high degree of isolation from the detrimental effects of the environment as well as an extremely precise level of control on the way quantum dynamics unfolds in the information-processing system. In this paper, we show how these two goals can be ideally achieved by hybridizing the concepts of noiseless subsystems and of holonomic quantum computation. An all-geometric universal computation scheme based on non-adiabatic and non-Abelian quantum holonomies embedded in a four-qubit noiseless subsystem for general collective decoherence is proposed. The implementation details of this synergistic scheme along with the analysis of its stability against symmetry-breaking imperfections are presented.
Implementation of quantum information processing (QIP) poses daunting challenges. In the first place, for most of the QIP protocols, quantum coherence has to be maintained throughout the whole computational process in spite of the decoherence induced by the unavoidable coupling with environmental degrees of freedom. Secondly, one has to achieve an unprecedented level of control to enact quantum gates within the required high accuracy.
To the aim of accomplishing these, somewhat contradictory, tasks several theoretical schemes have been devised since the early days of QIP. Broadly speaking, all the information-stabilizing strategies developed to date fall in three categories: active techniques like quantum error correcting codes qecc (), symmetry-aided passive ones like decoherence-free subspaces and subsystems dfs (); KLV (); stab (), and geometrical zanardi99 (); jones00 (); duan01 () and topological ones pachos-topo ().
Geometric QIP exploits different types of quantum holonomies, e.g., Berry phases, to implement quantum gates. Following the first non-Abelian zanardi99 () and Abelian jones00 () adiabatic proposals, many others have been considered, see, e.g., Refs. duan01 (); wu05 (); cen06 (); zhang06 (); feng09 (). The motivating idea is that the geometric nature of the proposed quantum gates endows them with some degree of inherent robustness against control imprecisions as well as against environment-induced decoherence hqc-robust (). One of the drawbacks of the original holonomic quantum computation (HQC) zanardi99 () is its relative slowness due to the adiabaticity constraint. This potential limitation can be circumvented by resorting to non-adiabatic Abelian wang01 (); zhu03 () and non-Abelian sjoqvist12 (); xu12 () quantum holonomies.
The idea of noiseless subsystem (NS) was first introduced in Ref. KLV () and experimentally demonstrated in Ref. NS-exp (). NSs are a natural generalization of the concept of noiseless quantum code or decoherence-free subspace (DFS) dfs () and are effective when the decohering interactions possess some non-trivial algebra of symmetries. On general theoretical grounds, NSs have been argued to provide the unified algebraic structure underlying all the known quantum-information protection schemes stab () including topological quantum computation top ().
The goal of this paper is to merge synergistically ideas from geometric QIP and NSs in order to take advantage of the appealing features of both. More specifically, we will hybridize non-adiabatic HQC sjoqvist12 (), with the powerful theory of NSs KLV (); stab (). The possibility of achieving robust quantum control on NSs by non-Abelian quantum holonomies was first envisioned in Refs. virt (); oreshkov09 (), universal HQC schemes embedded in DFSs and NSs were proposed in Refs. wu05 (); xu12 () and (for a strongly dissipative case) in Ref. angelo-DFS-HQC ().
In this paper, we extend significantly the results of Ref. xu12 () by showing how a universal non-Abelian and nonadiabatic holonomic processor can be embedded within a NS for general collective decoherence. In this way a universal computational scheme protected against general collective decoherence and featuring at the same time the robustness of HQC against imprecisions in gate control can be ideally achieved.
Ii Noiseless Subsystem
We start by briefly recalling the basic notions concerning NSs. Let be the Hilbert space of a quantum system coupled to its environment through a set of “error” operators bib_footnote (). The key object is provided by the interaction algebra , i.e., the -algebra C* () generated by the error operators. The state space of the system decomposes into the different -dimensional irreducible representations (irreps) of (labeled by and with multiplicity ) as . The corresponding orthogonal decomposition of is given by
where denotes the full matrix algebra of complex matrices C* (). When , one recovers the concept of DFS dfs (). The interaction algebra acts irreducibly on the factors of whereas Eq. (1) shows that the error algebra elements, responsible for decoherence, have a trivial action on the factors. It follows that quantum information can be protected by encoding in these virtual subsystems virt () that are then termed noiseless subsystems (NS) KLV (). In order to perform manipulations of the NS-encoded information, one has to resort to a non-trivial set of operations that belong to the commutant algebra . This crucial fact follows from the dual irreps decomposition for which one sees that of has irreducible action on the NSs and trivial one on the factors, now playing the role of multiplicity spaces. These constructions are useful if at least one of the ’s is larger than or equal to two, which in turn gives a lower bound on the dimension of the commutant . In other words, the existence of a NS encoding relies on the existence of a sufficiently large number of symmetries of the interaction algebra, i.e., of the noise.
The prototypical symmetric noise is provided by collective decoherence dfs () whose experimental relevance has been demonstrated in Refs. NS-exp (); DFS-exp1 (); DFS-exp2 (). This is also the model that will be considered in this paper. In this collective case the interaction algebra is given by the algebra of totally symmetric operators on the state space of qubits, i.e., and its commutant is the -algebra generated by permutations acting on according to the natural representation, i.e., . In the following, we show how to enact a universal set of operators in using non-adiabatic quantum holonomies only.
Iii Non-adiabatic Holonomic Quantum Computation
Non-adiabatic HQC, proposed in Ref. sjoqvist12 () and experimentally implemented in Ref. abdumalikov13 (), is based on the concept of non-adiabatic non-Abelian geometric phases anandan88 (). The key idea is to implement a suitably designed Hamiltonian that induces cyclic evolution of a quantum computational system encoded in a subspace in such a way that all dynamical phases vanish. The primitive structure is of type, where an excited state is coupled by a pair of simultaneous laser pulses to ground state levels according to ( from now on)
Here, is the Rabi frequency and are complex-valued time-independent driving frequencies satisfying . The generic Hamiltonian describes transitions between energy levels induced by oscillating laser fields in the rotating wave approximation and can be implemented in a wide range of different physical systems.
The subspace spanned by , , undergoes a cyclic evolution if the Rabi frequency satisfies . The resulting time evolution operator , projected onto the computational subspace , defines the traceless Hermitian gate , where with , and are the standard Pauli operators acting on . An arbitrary SU(2) can be realized by sequentially applying two such gates with different . The evolution is purely geometric since , , vanish for . Thus, is fully determined by the path of in the space of all two-dimensional subspaces of the three-dimensional Hilbert space, i.e., in the complex-valued Grassmannian . Together with an entangling holonomic two-qubit gate, constitutes a universal all-geometric set of quantum gates bremner02 ().
Iv Quantum holonomy in noiseless subsystems
The collective decoherence on a quantum system consisting of physical qubits is characterized by the spin- error operators , . For a fixed total spin , the dimension of the noiseful (NF) part is . By using angular momentum addition rules, one can prove that
This , which is the dimension of the NS part, provides the possibility of performing HQC.
Quantum holonomy appears when the subspace returns to the original one after a non-trivial cyclic transformation. The NS spans the total space, which is the total Hilbert space of a HQC. In general, the NS should be larger than the computational space in order to admit non-trivial holonomies. A subspace of NS emerges as and the effective Hamiltonian of NS acts as the Hamiltonian that generates the non-trivial loop relating to the unitary transformation. Since NS theory guarantees that the states in are never evolved out of the NS, the subspace of NS can return to the original one and that assures that HQC can be conducted.
iv.1 One-qubit gate
Non-adiabatic one-qubit holonomic gate can be implemented in a NS provided there exists a for which . Four physical qubits, which contains a subspace, provides the smallest possible realization of such a gate. Here, we demonstrate how noiseless holonomic one-qubit gates can be implemented in this subspace of the four-qubit code.
First, note that the ’s act on the subspace in the following way,
where are spin representation of the angular momentum operators. An important observation here is that the inherent symmetry in the action of the decoherence operators on the basis states ’s affects only the second part of the basis and leaves the first part unchanged (see the Appendix for more details on the four-qubit code). Moreover, the basis changed by the error operators stays within ’s. Thus, the information being stored in this subspace depends only on the first index – it is therefore not spoilt by the interaction between the system and the environment.
To perform holonomic one-qubit gates with the four-qubit code, a set of operators is needed to achieve the appropriate transitions so that the computation stays within the subspace. To this end, the operators that we seek should commute with the ’s. Let us consider the permutation operator of qubits and such that for . Here, is the identity and are the Pauli operators acting on this qubit pair. It is straightforward to check that . Three- and four-body permutation operators emerge as a product of two-body ones. Thus, if the Hamiltonian is constructed using a combination of the permutation operators, it will not destroy the subspace. Explicitly, we may take the Hamiltonian that generates the holonomic one-qubit gates to be
where the first tensor factor corresponding to the NS is identical to the Hamiltonian in Eq. (2) by identifying , , and ; is the identity operator acting on the noiseful subsystem. The Hamiltonian vanishes on the noiseless qubit subspace , which guarantees the geometric nature of the evolution. By putting and defining the unit vector , a traceless one-qubit holonomic gate
acting non-trivially on the two-dimensional subspace of the NS can thus be implemented by choosing . By combining two such gates, an arbitrary SU(2) operation acting on the noiseless qubit subspace can be realized.
iv.2 Two-qubit gate
It is well-known that universal quantum computation can be achieved as long as all one-qubit gates and a single non-trivial two-qubit (entangling) gate is possible bremner02 (). Since all single qubit gates are possible, it remains to demonstrate that we could construct a non-trivial two-qubit gate.
To guarantee the holonomic scheme to be scalable, we encode each qubit in a two-dimensional subspace of a three-level NS by using four physical qubits. In this scheme, a two-qubit gate requires an eight-qubit code where two noiseless qubits are represented by two sets of four physical qubits. By choosing an appropriate Hamiltonian for the eight physical qubits, we demonstrate a holonomic CNOT gate that can entangle these noiseless qubits.
Consider the eight-qubit Hamiltonian expressed in terms of permutation operators as
By re-expressing the two factors in terms of the NS+NF basis for each four-qubit set, we obtain
and is now the identity on the nine-dimensional noiseful subsystem of the eight qubits. The two time-independent operators and vanish on the computational two-qubit subspace of the NS, which assures the geometric nature of the evolution. Furthermore, and commute, which implies that
by choosing . The second factor acts trivially on and can therefore be ignored. The holonomic gate is the projection of the first factor onto and reads
We see that is a CNOT gate acting on which completes the universal set of non-adiabatic holonomic gates in NSs.
V Robustness of gates
Our NS encoding allows for perfect protection in the ideal collective decoherence case where the system-bath interactions are fully invariant under arbitrary permutations of the physical qubits. However, in realistic situations symmetry-breaking interactions will be unavoidably present and spoil the ideal behavior. In order to investigate the robustness of our scheme against such unwanted interactions we introduce a simple decoherence model with a single parameter that controls the degree of symmetry breaking. The noise Lindblad operators are given by: ; clearly when one recovers the permutational invariant collective decoherence. Within the usual Born-Markov approximation the system evolution is dictated by the Lindblad master equation
where is the temperature-dependent average number of quanta in the environment ( at zero temperature), and are the dephasing rate and dissipation rate, respectively. Here, is the qubit system Hamiltonian, which is generated by linear combination of the permutation operators as described above. A square pulse with magnitude and duration is used.
As a figure of merit to quantify the robustness of our logical gates, we adopt the gate fidelity defined as the Bures-Uhlmann fidelity averaged over initial conditions. Here, is the NS state obtained by the ideal holonomic gate, i.e., the actual one in presence of collective decoherence only, and is the corresponding faulty one obtained by solving Eq. (12) and tracing over the noiseful degrees of freedom.
We solved numerically Eq. (12) and examined the gate fidelity as a function of for a one-qubit holonomic gate. In Fig. 1 it is shown that gate fidelity, both at zero temperature (solid line; ) and non-zero temperature (dashed line; ), decreases with increasing as expected. However, the inset in Fig. 1 also shows that in the physically relevant regime of small , the gate fidelity behaves as , where . This demonstrates that holonomic manipulations of the NS have some degree of resilience against slight violations of the collective symmetry assumption. We would like to stress that Eq. (12) is just a way to describe the system-bath coupling that allows one to interpolate, in a simple phenomenological fashion, between the fully permutational symmetric ( and increasingly non-symmetric and unprotected regimes (large ). However, we expect the conclusions drawn from our simulations to be generic for mild violations of permutational symmetry. Namely, gate robustness should be independent of the details of the specific decoherence model, e.g., Markovianity.
In this paper, we have shown how to implement a universal set of one- and two-qubit gates by non-adiabatic and non-Abelian quantum holonomies acting entirely within a noiseless subsystem for general collective decoherence. Each noiseless qubit can be encoded using four physical qubits and geometrically manipulated by Heisenberg-like two- and four-body interactions. The requested ability to enact four-body-interactions certainly presents a major challenge to the realization of our scheme with current experimental techniques. In order to overcome this limitation one may think of resorting to geometric techniques to simulate many-body interactions in terms of simpler interactions Wang-Simul () or to the so-called perturbation gadgets gadget (). In both cases ancillary degrees of freedom are needed. Finally, by numerical simulations, we have provided evidence of the robustness of the proposed hybrid scheme against symmetry-breaking interactions with the environment.
The work was financially supported by the National Research Foundation & Ministry of Education, Singapore. P.Z. is supported by the ARO MURI grant W911NF-11-1-0268 and by NSF grant PHY- 969969. J. Z. and D. M. T. acknowledge support from NSF China with No.11175105 and the Taishan Scholarship Project of Shandong Province. E.S. acknowledges financial support from the Swedish Research Council.
The Hilbert space of a four-qubit system can be decomposed as
By using the notation
we find the basis states
The NS holonomies are realized in the first tensor factor of these states.
The Gell-Mann matrices on the NS in the subspace can be expressed in terms of qubit permutation operators as
Note that the realization of some of the Gell-Mann matrices () requires higher than two-body interaction.
- (1) E. Knill and R. Laflamme, Phys. Rev. A 55, 900 (1997).
- (2) P. Zanardi and M. Rasetti, Phys. Rev. Lett. 79, 3306 (1997); D. A. Lidar, I. L. Chuang, and K. B. Whaley, Phys. Rev. Lett. 81, 2594 (1998).
- (3) E. Knill, R. Laflamme, and L. Viola, Phys. Rev. Lett. 84, 2525 (2000).
- (4) P. Zanardi, Phys. Rev. A 63, 012301 (2001).
- (5) P. Zanardi and M. Rasetti, Phys. Lett. A 264, 94 (1999); J. K. Pachos, P. Zanardi, and M. Rasetti, Phys. Rev. A 61, 010305(R) (1999).
- (6) J. A. Jones, V. Vedral, A. Ekert, and G. Castagnoli, Nature (London) 403, 869 (2000).
- (7) L. M. Duan, J. I. Cirac, and P. Zoller, Science 292, 1695 (2001).
- (8) J. K. Pachos, Introduction to Topological Quantum Computation (Cambride University Press, Cambridge, 2012).
- (9) L.-A. Wu, P. Zanardi, and D. A. Lidar, Phys. Rev. Lett. 95, 130501 (2005).
- (10) L. X. Cen, Z. D. Wang, and S. J. Wang, Phys. Rev. A 74, 032321 (2006).
- (11) X. D. Zhang, Q. H. Zhang, and Z. D. Wang, Phys. Rev. A 74, 034302 (2006).
- (12) X.-L. Feng, C. F. Wu, H. Sun, and C. H. Oh Phys. Rev. Lett. 103, 200501 (2009).
- (13) A conclusive assessment of the robustness of geometric QIP is still lacking. We list here a few representative references that address the robustness issue, in particular the last one is directly relevant to the non-adiabatic technique discussed in this paper: P. Solinas, P. Zanardi, and N. Zanghí, Phys. Rev. A 70, 042316 (2004); S.-L. Zhu and P. Zanardi, Phys. Rev. A 72, 020301(R) (2005); D. Parodi, M. Sassetti, P. Solinas, P. Zanardi, and N. Zanghì Phys. Rev. A 73, 052304 (2006); M. Johansson, E. Sjöqvist, L. M. Andersson, M. Ericsson, B. Hessmo, K. Singh, and D. M. Tong, Phys. Rev. A 86, 062322 (2012).
- (14) X. B. Wang and K. Matsumoto, Phys. Rev. Lett. 87, 097901 (2001).
- (15) S.-L. Zhu and Z. D. Wang, Phys. Rev. Lett. 91, 187902 (2003).
- (16) E. Sjöqvist, D. M. Tong, L. M. Andersson, B. Hessmo, M. Johansson, and K. Singh, New J. Phys. 14, 103035 (2012).
- (17) G. F. Xu, J. Zhang, D. M. Tong, E. Sjöqvist, and L. C. Kwek, Phys. Rev. Lett. 109, 170501 (2012).
- (18) L. Viola, E. M. Fortunato, M. A. Pravia, E. Knill, R. Laflamme, and D. G. Cory, Science 293, 2059 (2001).
- (19) P. Zanardi and S. Lloyd, Phys. Rev. Lett. 90, 067902 (2003).
- (20) P. Zanardi, Phys. Rev. Lett. 87, 077901 (2001).
- (21) O. Oreshkov, T. A. Brun, and D. A. Lidar, Phys. Rev. Lett. 102, 070502 (2009); O. Oreshkov, Phys. Rev. Lett. 103, 090502 (2009).
- (22) A. Carollo, M. Franca Santos, and V. Vedral, Phys. Rev. Lett. 96, 020403 (2006).
- (23) The error operators may show up in the system-environment interaction Hamiltonian, as Lindblad operators in master equation type of description, or as Kraus operators in the resolution of the completely positive map describing the finite-time decoherence process.
- (24) N. P. Landsman, Lecture Notes on -Algebras, Hilbert -modules and Quantum Mechanics, math-ph/9807030.
- (25) P. G. Kwiat, A. J. Berglund, J. B. Altepeter, and A. G. White Science 290, 498 (2000).
- (26) D. Kielpinski, V. Meyer, M. A. Rowe, C. A. Sackett, W. M. Itano, C. Monroe, and D. J. Wineland, Science 291, 1013 (2001).
- (27) A. A. Abdumalikov, J. M. Fink, K. Juliusson, M. Pechal, S. Berger, A. Wallraff, and S. Filipp Nature 496, 482 (2013); G. Feng, G. Xu, and G. Long, Phys. Rev. Lett. 110, 190501 (2013).
- (28) J. Anandan, Phys. Lett. A 133, 171 (1988).
- (29) M. J. Bremner, C. M. Dawson, J. L. Dodd, A. Gilchrist, A. W. Harrow, D. Mortimer, M. A. Nielsen, and T. J. Osborne, Phys. Rev. Lett. 89, 247902 (2002).
- (30) X.-G. Wang and P. Zanardi, Phys. Rev. A 65, 032327 (2002).
- (31) S. P. Jordan and E. Farhi, Phys. Rev. A 77, 062329 (2008); C. M. Herdman, K. C. Young, V. W. Scarola, M. Sarovar, and K. B. Whaley, Phys. Rev. Lett. 104, 230501 (2010); B. Antonio and S. Bose, Phys. Rev. A 88, 042306 (2013).