Abstract
We propose the use of Rydberg interactions and ensembles of cold atoms in mixed state for the implementation of a protocol for deterministic quantum computation with one quantum bit that can be readily operated in high dimensional Hilbert spaces. We propose an experimental test for the scalability of the protocol and to study the physics of discord. Furthermore, we explore the possibility of extending to non-trivial unitaries, such as those associated to many-body physics. Finally develop a scheme to add control to cold atom unitaries in order to facilitate their implementation in our proposal.
Export citation and abstract BibTeX RIS
Content from this work may be used under the terms of the Creative Commons Attribution 3.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.
1. Introduction
At present, no single feature of the quantum world has been identified as the source of the computational enhancement, efficiency and speed-up of quantum protocols. Whilst entanglement is widely recognized as a key resource in quantum technology [1], an advantage over classical computing could be achieved without it [2] in the presence of non-classical correlations (discord). Experiments using few photonic qubits [3] have shown that some computational tasks can be efficiently solved even with no entanglement. As entanglement is extremely fragile towards decoherence, the investigation of protocols that are more robust against it is a promising route for progressing the field [4–6].
In the past years, there has been outstanding progress in the demonstration of quantum algorithms based on pure states with a limited number of qubits. However scalability remains an issue, mainly because of decoherence. In pure-states quantum computation (QC) this problem can possibly be solved by error correction. Nevertheless, scaling up to a significant number of qubits and being able to perform a classically intractable calculation has been impossible so far.
Deterministic QC with one qubit (DQC1) is a non-universal model based on mixed states that can speed up some computational tasks for which no efficient classical algorithms are known. DQC1 protocols present a remarkable advantage with respect to standard QC protocols, in that it requires only a single qubit with coherence to perform large scale QC, whilst its power scales up with a number of qubits in mixed state. It is therefore in principle more readily scalable, provided a suitable system for the implementation is developed. Although it has been shown that this scheme contains little to no entanglement [7], non-classical correlations are present in the output state of the DQC1 which can be quantified in terms of quantum discord [8]. Discord has been shown to be a valuable resource for specific computational tasks and for being extremely robust towards decoherence [9, 10], which is the stumbling block in developing quantum technologies [1, 11]. To date, successful experiments based on DQC1 have evaluated the normalized trace of a two-by-two unitary matrix [3] and performed the approximation to the Jones polynomial with a system of four qubits [12], thus demonstrating the ground principle of mixed state computation. However, these experiments were performed with photons and nuclear magnetic resonance respectively, with limited scalability so far. Eventually, like for pure states QC, the protocol is useful only if it can be scaled up and run over a significant number of qubits. Therefore DQC1 needs to be tested and operated in large Hilbert spaces, so it is vital to benchmark it in a system that allows to reach this regime.
We propose a new scheme to investigate experimentally the physics of DQC1 and discord in many-atom ensembles for a specific algorithm that performs the normalized trace estimation [13]. Cold ensembles in micron-sized dipole traps can contain a few to hundreds of atoms and we find that the protocol under study is robust enough to be operated both in small and large ensembles. We demonstrate that applying the protocol on an ensemble of 100 atoms will successfully evaluate the normalized trace of a matrix. Finding the normalized trace of this matrix is equivalent to adding up about numbers, which, for non-trivial matrices, is a task classically intractable. More importantly, the scheme we developed can quantify geometric discord in the system [14–19], therefore it allows a systematic study of the computational power of discord. Besides providing an experimental test of the protocol in high-dimensional Hilbert space and ultimately a test of the scalability and resilience of mixed-state computation, this work proposes an application of DQC1 to measure the mean-field interaction strength in a large ensemble of many interacting particles. Finally we provide a general scheme to extend the protocol to different controlled unitaries, such as those encounterd in many-body physics, quantum thermodynamics and quantum metrology [20, 21].
2. DQC1
Figure 1 describes the DQC1 algorithm: the input state consists of a single control qubit, whose purity can be varied, prepared in the state and a register of n qubits which are in the maximally mixed state . After a Hadamard operation on the single qubit, a controlled unitary is performed on the n qubits mixed state.
This has the effect of encoding the normalized trace of the unitary operation into the single qubit coherences, and the output state of the control qubit can be written as:
The trace of the unitary can then be retrieved by measurement of the expectation values of the Pauli operators (X and Y) on the single qubit, as and .
3. DQC1 with atoms
In the scheme we propose, the control qubit can be stored either in the ground states of a single atom or in an ensemble of strongly interacting atoms, using techniques that have been recently proposed to prepare and control mesoqubits [22]. For clarity we will refer to the control qubit as a single atom qubit, but an extension of the protocol to a mesoqubit is straightforward. The single atom qubit is used as the control for a unitary operation, enabled by Rydberg–Rydberg interactions, on a register of n qubits encoded in an ensemble of atoms, as shown in figure 1.
The control qubit and the ensemble are stored in two separate micron-sized dipole traps that are individually addressable [23, 24]. In the case under study the qubit is encoded in the two ground state hyperfine levels of (in figure 2 represented by and ). The ensemble qubits are first encoded in the same hyperfine ground states of (in figure 2 represented by and ), and the ensemble is subsequently prepared in a highly mixed state. The single qubit acts as a control atom over the target ensemble via excitation to Rydberg state and we use a laser excitation scheme developed in [24] based on electromagnetically induced transparency (EIT) and shown in figure 2.
Download figure:
Standard image High-resolution imageWe performed numerical calculations to study the feasibility of the experimental implementation of the protocol to benchmark this method for a specific choice of the unitary and for different number of atoms in the ensemble.
3.1. Initialization
The control qubit is first prepared via optical pumping in state . A π-pulse (Hadamard rotation via stimulated Raman transition) is then performed to initialize the qubit in (table 1). This can be achieved with a fidelity , as discussed in [25]. The control qubit is therefore prepared in a superposition of states and , and, in general, its purity can be varied. Similarly, the ensemble state is obtained by first preparing a weighted superposition by applying the Hadamard gate to the whole ensemble containing n atoms. To introduce the 'mixedness' we propose a method adapted from a scheme developed for ions [26]: following the preparation of state , one of the two ground states is coupled to the intermediate state so that optical pumping exposes the ensemble to decoherence and a mixed state is prepared. We operate the optical pumping over a stretched state, so that there is no loss of population and the mixed state can be prepared with optimum efficiency.
Table 1. Summary of the sequence of operations on the control and ensemble qubits to perform the DQC1 protocol. After the initialization stage the qubit is prepared in and the ensemble in a maximally mixed state. The processing stage sandwiches a controlled unitary between two π-pulses (the first couples state to a Rydberg state and the second returns back to the ground state), so that the control qubit acquires some Rydberg character necessary to operate the controlled unitary and it is then returned to its original state. Fluorescence measurements are performed on the populations of states and after an X-(Y) rotation.
Initialization | Processing | Measure | |||
---|---|---|---|---|---|
C | Ryd π | Ryd π | X(Y) | fluo | |
E |
The purity of the control qubit and the mixedness of the ensemble are controlled using the same level scheme described in figure 3.
Download figure:
Standard image High-resolution image3.2. Processing
The DQC1 protocol relies on a controlled unitary performed on an ensemble of atoms prepared in a highly mixed state. To benchmark the protocol we choose to apply a controlled non-resonant Raman rotation to the ensemble atoms qubits. This is done exploiting a scheme similar to the one developed in [24] for CNOT gates. We find that the protocol, described in figure 2, works very efficiently with high fidelity for any controlled-rotations.
The processing stage begins with a π-pulse applied to the control atom so that the coupling between state and is activated, as shown in the table 1. An off-resonant Raman pulse is then applied to the ensemble atoms to performs rotations of the ensemble qubits corresponding to different angles in the Bloch sphere.
We performed simulations of this scheme by numerically solving the time dependent Schrodinger equation for a four-level atomic system in the presence of finite Rydberg blockade and taking into account decay from the intermediate state. We find that, for high fidelity operation for both small and large n, the following conditions have to be fulfilled: (i) the Raman detuning has to be much larger than the inverse of the decay rate of the intermediate state, to make sure that spontaneous decays is highly suppressed, (ii) the lifetime of the Rydberg state chosen for the control atom has to be much larger than the operation time of the controlled Raman and (iii) , to ensure that when the control atom is not in the Rydberg state, the EIT condition is met and there is little unwanted coupling of the ensemble atoms to the light. This is in agreement with [24], where this laser scheme was used to perform controlled logic on ensemble atoms.
We choose and for rubidium 87 that, for a separation between the traps of , provide an interaction strength in excess of 15 GHz. The Raman beams both have Rabi frequency MHz and detuning MHz from the intermediate state. is chosen to be MHz. This coupling Rabi frequency can be obtained with commercially available intermediate power laser sources focused down to waists of tens of micrometers. With these parameters, the EIT-induced blocking of the Raman transfer works with a fidelity of more than [24]. We numerically calculate the evolution of the system after a pulsed Raman rotation of different duration (i.e. corresponding to a different angle in the Bloch sphere) and we retrieve the X(Y) expectation values. We find that the real and imaginary part of the trace of the unitary acting on the ensemble of atoms take the form shown in figure 4 for different number of atoms in the ensemble. The slight damping in time of the amplitudes of the peaks reflects a dynamical phase shift, extensively discussed in [24].
Download figure:
Standard image High-resolution image3.3. Measure of the trace and geometric discord
At the end of the protocol, the measurement of the state of the control qubit will allow us to retrieve the real and imaginary part of the trace of the unitary respectively. This is done by statistical measurements of the populations of and following an X-(Y-)rotation. X-(Y-)rotations can be performed with very high fidelity so that they negligibly affect the fidelity of the measurement result [27]. To measure the expectation value with an accuracy requires the number of runs to be , as shown in [7]. It is important to note that the number of runs necessary for a set accuracy does not depend on the number of qubits in the ensemble. Furthermore, the populations are measured via fluorescence imaging, that also suffers for limited efficiency and significant error rate, particularly when working with single atoms. In order to achieve better than a 10% accuracy requires averages over 400 runs.
It needs to be pointed out that both the control atom and the ensemble atoms are randomly loaded in small size dipole traps [23]. The trap can be operated in controlled regimes, so that a single atom can be loaded with probability 80% [23, 28] and it is possible to conditionally start the experiment once an atom is loaded. The ensemble is typically loaded with a Poisson-distributed number of atoms around an average value . At small n, we can force the number of atoms in the trap to be exactly n for every run of the experiment by post-selection and retrieve the traces in figure 4 with small uncertainties. But whilst this is reasonable at small n, it would reduce the efficiency of the protocol at high n. We find, however, that for high atom number benchmarking and test for discord can be done by locking of the average number of atoms (which can be tuned by parameters such as trap depth and density of the reservoir). We have estimated the uncertainties in the value of the trace measured arising from the fluctuations in atoms number in the ensemble from run to run. We assume a Poissonian distribution of atom number with average number 100, as in figure 5. The height of the peaks are found to be insensitive to the atom number for the parameters chosen in this work. However, as shown in figure 5, the width of the features detected in the trace narrows with increased atom number, leading to an uncertainty in the value of the trace measured. For an average atom number Poissonian variations from run to run lead to an uncertainty of less than 5% at all points (it is negligible at the peak, it is maximum at the position of fast variation).
Download figure:
Standard image High-resolution imageOther sources of uncertainties related to Rydberg interactions within the ensemble do not affect significantly the fidelity of the protocol, provided a suitable choice of is made [24].
Finally, the geometric discord can be quantified by simply performing the controlled-unitary twice in a row in the DQC1 implementation [29], and this measure has the same accuracy discussed for the trace estimation.
4. Implementing non-trivial unitaries
In addition to testing the scalability of DQC1, it will be interesting to extend the DQC1 protocol to the implementation of non-trivial controlled unitaries. In this section we explore the possibility of designing non-trivial unitaries and study many-body physics. Finally we present a scheme for adding control to a range of controlled unitaries in our cold atoms setup, that simplifies the task of finding interesting controlled unitaries that can be implemented using this method.
4.1. Many-body physics and non-trivial unitaries
The study of the time evolution of many-body interacting systems is certainly one of the key drivers for quantum simulators. The DQC1 protocol with atoms can implement some controlled-operations that can explore the physics of interacting system. As an example, by coupling the qubit basis to a Rydberg state we can switch on interactions within the ensemble, shown in figure 6(b). Efficient coupling to Rydberg states can be obtained using the schemes described in [30]. As the atoms are disordered within the trap, the interaction strength between nearest neighbours will vary significantly from atom to atom, which makes the problem classically intractable. In other words, even when the laser pulses act uniformly on all atoms, the inhomogeneity (or disorder) of the atom–atom interactions makes the unitary gate non-trivial. It can be shown that, in the regime of strong interactions (i.e. Rydberg–Rydberg interaction strength much larger than Rabi couplings) a measure of the normalized trace of the time-evolution operator at different times will retrieve an average value over the ensemble for the interaction strength 1 .
Download figure:
Standard image High-resolution imageFinally, this implementation with cold atoms is extremely versatile and particularly suited to design a range of non-trivial unitaries. The 'target' atoms can be arranged in arrays of dipole traps [31, 32] where every trap, each containing tens to hundreds of atoms, is within the blockade range of the control qubit. This is to ensure that controlled operations can be performed in all qubits. Each trap can be individually laser-addressed so that different controlled-operations can be performed on different qubits. The ability to perform different controlled-operations on different qubits gives access to designing complex non-trivial unitaries. We have identified two particularly suitable configurations: (1) a control qubit surrounded by a ring of traps [33, 34] , shown in figure 6(a) and (2) a square or triangular arrangement [35]. In both configurations, traps can be individually addressed and can be placed within the blockade range of the control qubit. Different atomic species could also be loaded in the ensemble, so that they respond to different laser pulses, shown in figure 6(c). The ability to individual address traps and different atomic species could open up a route to a wide variety of unitaries being implemented as part of mixed-states protocols, which can be used to solve a set of specific compuational tasks, classically intractable.
This work will motivate the design of protocols to solve a range of problems computationally hard, like finding the ground state of the 2- or 3-dimensional Ising model with a local transverse field with interactions beyond nearest neighbours [36] or studying the unitaries involved in collisions of Rydberg polaritons [37].
4.2. The X gate
In general, adding control to a unitary (i.e. turning a unitary into a controlled version of the same unitary) can be a lengthy task. Fortunately, schemes employing auxiliary states to enlarge the Hilbert space can provide an efficient way to add control [38]. One such scheme was presented in [39] and in the following, we present method to experimentally implement it in a cold atom set-up.
Reference [39] showed that a quantum operation that fulfils certain condition can be made to depend on the state of a control qubit. The condition is that the operation acts trivially on a subspace of the total Hilbert space. This condition allows the scheme to avoid the no-go theorems described and discussed in the references [40–42], as shown in detail in [43]. The work presented in [39] demonstrates the equivalence between such a controlled operation and a sequence of a controlled- gate followed by the quantum operation and the same controlled- gate afterwards. This result simplifies the task of finding interesting controlled unitaries that could be implemented in the Rdyberg-DQC1 experiment into the task of designing a cold atom version of the controlled- gate.
Download figure:
Standard image High-resolution imageTo explain in more detail, the gate operates on a four-dimensional Hilbert space spanned by the qubit states, and , and two auxiliary states, and . The auxiliary states are chosen so that they are not acted upon by the quantum operations that act on the qubit states. The requirement of leaving the auxiliary states unaffected is quite easily met in a cold atoms setup because of the large separation between the hyperfine levels of the ground state (6.8 GHz). The truth table for the gate reads:
Here we propose a scheme to perform a controlled exploiting Rydberg blockaded Raman transitions, where a controlled off-resonant Raman scheme enables the transfer of atoms from the qubit basis to the auxiliary one, conditional on the state of the control qubit. In figure 7 the atomic level and the simplified light diagram is summarized and explained. More details on the complete Raman scheme can be found in [44]. A magnetic field has to be added to lift the degeneracy of the Zeeman states (not represented in figure). Our choice of Zeeman states is governed by the consideration that pairs of states and experience the same linear Zeeman shifts (see references [45–47]).
A more general method to add control to a unitary is based on the C-SWAP gate and is described in [40]. A C-SWAP can be implemented in our system, by a sequence of three C-NOT pulses, that can be operated using the method described in section 3.2.
5. Conclusions
We have demonstrated the theoretical feasibility of the implementation of a DQC1 protocol in cold atoms ensemble. The validity of the protocol extends to high n (number of atoms) and allows to operate the DQC1 model to compute sums over extremely large strings of numbers, which make the computation classically intractable. QC has not yet been experimentally studied in large Hilbert spaces, and the successful experimental demonstration of the scalability of this protocol would be a major leap forward in the field.
The protocol presented in this work enables us to experimentally test the computational power of quantum discord in a regime never observed so far and it allows a thorough study in high-dimension Hilbert spaces. In particular, by tuning the purity of the control qubit, we can enter regimes with no entanglement and test the efficiency of the algorithm and the power of discord as a resource for QC.
It is important also to point out that non-trivial unitaries can be designed [39] as part of specific algorithms that would allow the implementation of a range of intractable tasks. We have proposed here a general scheme that allows the implementation of a controlled-many-body unitary. It is therefore possible to envisage a new tool to explore the physics of many-body interacting systems, by exploiting DQC1 to enable the measurement of the expectation values of operators acting on ensemble of strongly interacting qubits.
Besides providing a unique test for discord, this protocol can also be directly used for quantum phase estimation using large ensembles [2] and as a probe for quantum thermodynamics [20, 21]. The proposed experiment can also be adapted to investigate quantum chaos [48, 49] and has the potential to play a role in addressing some fundamental questions [50, 51].
Acknowledgments
This work was supported by EPSRC. The authors acknowledge A Datta, J Bolton, K Modi, H Cable, C MacCormick, V Vedral, I Beterov for helpful discussions and W Li and I Lesanovsky for the coefficients.
Footnotes
- 1
This work will be described in another manuscript currently in preparation.