Quantum engineering of photon states with entangled atomic ensembles
We propose and analyze a new method to produce single and entangled photons which does not require cavities. It relies on the collective enhancement of light emission as a consequence of the presence of entanglement in atomic ensembles. Light emission is triggered by a laser pulse, and therefore our scheme is deterministic. Furthermore, it allows one to produce a variety of photonic entangled states by first preparing certain atomic states using simple sequences of quantum gates. We analyze the feasibility of our scheme, and particularize it to: ions in linear traps, atoms in optical lattices, and in cells at room temperature.
The deterministic generation of collimated single and entangled photons is of crucial importance in Quantum Information, like in quantum cryptography Gisin (), quantum computation KLM (), quantum lithography Dowling () or quantum interferometry Bollinger (); Lloyd (). Most of the methods tested so far require high-Q cavities, something which is very demanding in practice Yamamoto (); Rempe (); Keller (); Kimble.spe (). The engineering of quantum states in atomic systems is now possible thanks to the experimental progress experienced by the field of Atomic Physics during the last years. In fact, with trapped ions it has been already possible to create so–called W HÃ¤ffner () and GHZ Leibfried () states of up to 8 ions. At the same time, scientists have been able to produce other kinds of entangled states Bloch () with atoms in optical lattices. Furthermore, with the advent of Rydberg techniques LukinRydbergatoms () it will soon be possible to create W–like states in that system or in atomic ensembles at room temperature. Apart from their fundamental interest, some of those states may have applications in precision spectroscopy Wineland (); Roos ().
In this work we show that the ability of creating those atomic states may have a strong impact in different subfields of quantum information, as it may lead to a very efficient way of creating certain kind of entangled photonic states which are required in various applications. The main idea is to use a laser and an internal level configuration such that we can map the atomic state onto photonic states corresponding to modes propagating in a well defined direction. Our scheme uses the well known fact Jackson (); Scully () that, under certain circumstances, light scattering takes place predominantly in the forward direction due to an interference effect. In fact, this effect is the basis of one of the building blocks of the repeater scheme proposed in DuanCiracZoller (), and has been recently demonstrated in a series of experiments Kimble (); Lukin (); Kuzmich (). There, a single excitation is created in an atomic ensemble by detecting a photon emission in a certain direction. Then, the excitation is released in the forward direction by using a laser. Building on this fact, we propose to create certain kind of excitations by using quantum gates or atomic interactions, which give rise to the desired entangled states when they are released using a laser, and which propagate in the desired direction due to the mentioned interference effect.
Let us consider a set of atoms with (ground) hypefine levels and (see Fig. 1 (a)). We consider states of the form
and linear combinations thereof. Here, , and
where excites an atom from to , and are the equilibrium position of the atoms. In the limit , Eq. (1) defines a set of orthonormal collective states with atoms excited in and linear momentum . Those states can be indeed readily created using trapped ions or Rydberg techniques (see Appendix 10,3).
In order to release the photons, one sends a laser pulse of wavevector which couples level to some electronically excited ones , respectively. The large population of level together with the initial entanglement (coherences) between the atoms, will now stimulate the emission of photons from the excited states to the level , which overall will produce the mapping between these states and the photonic states,
that is, (1) is mapped to a Fock state of photons with momenta and polarization , where is the polarization of the light in each decay channel. Moreover, due to the linearity of this process, superpositions of states of the form (1) will be mapped onto superpositions of photonic states (3). For example, the atomic state will emit a pair of entangled photons in different directions. The mapping (3) is strictly valid under ideal conditions, and in the limit , and the directionality in the photon emission is directly connected to the momentum conservation which, in turn, is a consequence of the constructive interference in the field emitted by each atom. Thus, the crucial issue in our scheme is to determine how this mapping is modified in finite atomic ensembles under nonideal conditions. In the following we analyze such questions in detail, concentrating in the simplest case in which we have a single excitation with momentum in (i.e. our initial state is a W-like state) and thus we produce a single photon. We determine a function , which is proportional to the probability density that the photon is emitted in the direction . In general, ; that is, it is the sum of a coherent contribution and an incoherent one. The later appears whenever the positions of the particles fluctuate. contains the forward scattering contribution, which is emitted in a cone with a width that decreases with the number of particles. , on the contrary, describes isotropic light emission, thus, even when the light emitted in is collected, the contribution leads to a limitation in the efficiency of the setup. To quantify the error probability, we define
As long as the number of excited atoms is small , this analysis can be easily generalized to the emission of states with many photons (1). One obtaines that the overall error is bounded by .
The emission pattern can be obtained by studying the Heisenberg equations of motion of the field operators. The calculation inolves the study of the decay of the atomic state under collective effects (see Appendix C). To simplify our analysis we ignore the dipole pattern, in which case we get:
are the coordinate operators of the atoms, and thus Eq. (5) allows us to describe fluctuations in the position of the particles during the emission of light. In the following, we will show three different experimental set–ups where our scheme can be implemented. In order to analyze the performance in each of them, we first particularize the above formula to three different situations which are directly connected with those set–ups. We will focus on the angular width of the forward–scattering cone, , which measures the collimation of the emitted photons, and the error probability, , as figures of merit. Then we will introduce the possible implementations and will use those formulas to specify the conditions for them to correctly operate.
(i) Fixed atomic positions. In the case of a square lattice of particles trapped in 3D (see Fig. 1 (b)), the emission pattern is given by
with the number of atoms in each direction. has a series of diffraction peaks, which are reduced to a single one if . In this regime, the emission is centered in a cone with in the direction of . Note that for simultaneous energy and momentum conservation condition has to be fulfilled. Since the positions of the atoms do not fluctuate, has only a coherent contribution (), and the only limitation for the effiency of the setup is the width of the emission cone, which scales in 3D like . In the case of a chain of atoms (1D) momentum is conserved only along the direction of the chain. Photon emission can be still directed efficiently along the axis of the chain, in a cone whose width scales like .
(ii) Fluctuating atomic positions. Let us consider a lattice of atoms at temperature , trapped by independent harmonic potentials. The emission pattern is now the sum the of two contributions,
, and is the vector whose components are the size of the position fluctuations in each spatial direction, , with the size of the ground state in harmonic potential, and the number of motion quanta at . Light scattered into represents an important fraction whenever . In this case, the emission of light is centered around , since the uncertainty in the position of the particles averages out the intial linear momentum . The scaling of in this regime strongly depends on the dimensionality of the system. In particular, in the case of a chain of atoms, , whereas in the square 3D lattice, we get .
(iii) Statistical distribution of particles. Consider an ensemble of atoms (see Fig. 1 (c)), which move inside a square box of size , such that their motion is faster than their radiative decay, that is, their average velocity is such that , with the emission rate. This situation can be described by assuming that the atoms are in a statistical distribution with equal probability to be at any point in the box. The situation is thus similar to that of a thermal state,
Defining the average distance between particles like , we find the same scalings of as in case , and of , as in case . Trapping schemes for atomic ensembles are simpler to realize but face the difficulty that conditions for the directionality of photon emission are more stringent. In the case of a lattice of particles at fixed positions, forward–scattering is ensured whenever condition is fulfilled. On the contrary, in the case of atomic ensembles, the incoherent contribution has to be small enough such that , which implies in 1D, or, alternatively, a number of particles large enough in 3D.
Now we introduce three experimental set–ups where our scheme can be implemented. In the Appendix we show how to create the atomic states that we are considering here.
Trapped ions. This system is ideally suited to create collective states like (1), as was demonstrated recently in ref. HÃ¤ffner (). Most usually ions are arranged in chains, such that we deal with the 1D situation discussed above. Even though trapped ions are not equally spaced, under the condition , with the average distance, we still get light emission in the forward–scattering cone only, see Fig. 2. Considering two different internal levels, which can correspond to different states in an hyperfine multiplet, states such as those defined by Eq. (1) can be created by a number of quantum operations that scales linearly with the number of ions (see 10). For example, the state , would emit two photons in the forward and backward directions along the chain axis, entangled in polarization. The main difficulty for the implementation of this idea with ions lies on the fact that ion–ion distances are usually in the range of a few , and thus condition is not fulfilled when considering optical wavelengths. A way out of this problem is to use optical transitions which lie in the range of , which can be found in ions such as Hg, Ba, or Yb note.ions ().
Cold atoms in optical lattices. By using optical lattices we fulfill the need of placing atoms at interparticle distances comparable to optical wavelengths, since potential wells in a standing–wave are indeed separated by , with , the wavelength of the counterpropagating lasers. By using an optical transition such that , we are in the regime in which light emission is focused into a single Bragg peak. Although one could think of peforming quantum gates between ultracold neutral atoms to generate collective atomic states Jaksch (), this procedure faces the difficulties of quantum computation in this system, like for example how to achieve single atom addressability. More efficiently, one could avoid the use of quantum gates by using the dipole–blockade mechanism with Rydberg atoms, which allows us to generate W-states, as well as states which emit Fock states with a number of photons LukinRydbergatoms () (see Appendix 3).
Atomic ensembles at room temperature. The very same techniques which can be applied to Rydberg atoms in an optical lattice can also be used in the case of hot ensembles. On the one hand, this setup has the advantage that atoms do not need to be cooled and placed in an optical lattice. On the other hand, it can be described by a statistical distribution of particles, and thus suffers from the fact that high efficiency in the release of photons is achieved under more severe conditions of particle density and atom number, as discussed above. However, densities which are high enough to fulfill the requirement have been recently reported in Heidemann ().
In conclusion, we have proposed to use current techniques for quantum engineering to generate atomic multipartite entangled states which can be efficiently mapped into photonic states. Our proposal relies on the release of spin–wave like excitations into a given spatial direction by means of interference effect, and can be implemented with trapped ions, atoms in optical lattices, and atomic ensembles at room temperature.
This work was supported by E.U. projects (SCALA and CONQUEST), and the Deutsche Forschungsgemeinschaft.
Appendix A Creation of collective atomic states in a chain of atoms
Entangled states of the form (1) and their linear combinations can be generated in a chain of particles, for example, of trapped ions, by means of a limited number of quantum operations. To demonstrate this, we first show that they can be written as Matrix Product States with a small bond dimension , i.e. they can be written as
In (10), the indices , and are matrices acting on an auxiliary –dimensional Hilbert space. is given by the number of states which appear in the singular value decomposition (s.v.d.) of at any site in the chain Vidal (). As it is shown in MPS.sequential.generation (), the state (10) can be prepared by performing gates which act on qubits. Thus, as long as is independent of , the number of gates to be applied scales linearly with the total number of atoms.
To evaluate , consider first the case of a state like (1) with atoms excited in level only, and a partition of the chain in two parts and . We get states in the s.v.d. with respect to this partition, which correspond to states with a number of excited atoms in part , ranging from to . This result is easily generalized to a linear combination of states of the form (1), in which case we get . For example, an entangled state of the form:
Appendix B Quantum state engineering with Rydberg blockade
Interactions between excited atomic states, like those that take place in Rydberg atoms, can be used to the create the states defined by Eq. (11). This can be achieved in a single experimental step, without the need for quantum gates, if the proper configuration of atomic interactions is chosen. As an example, consider the 3 level configuration shown in Fig. 1 (a), and interactions between excited states such that atoms in levels , , interact strongly only if they are in the same excited state, that is, , but . We apply two lasers with wavectors and Rabi frequencies , detuned with respect to the – transition, such that . If condition is fulfilled, then the lasers induce a two–photon transition with Rabi frequency . Furthermore, if , states with two atoms in the same excited state are not populated. Under these conditions there are two possible excitation channels, depicted in Fig. 3, which give rise to the linear combination (11).
Appendix C Calculation of the photon distribution
We consider for simplicity the lambda configuration depicted in Fig. 1 (a), considering a single excited state , and a single auxiliary level . The interaction of the quantized electromagnetic field with the ensemble of atoms, after the adiabatic elimination of level , is described by
refers to the – atomic transition, and are the Rabi frequency and wave–vector of the classical field, respectively, is the photon energy, are the polarization vectors, and is the dipole matrix element for the – transition.
The probability of photon emission is proportional to the the diagonal elements of the one–photon density matrix, which are obtained from the Heisenberg equation of motion for the field operators,
Since we are interested in the conditions for momentum conservation due to interference effects, we consider the following atomic initial state,
The emission pattern depends thus on the two–time atomic correlation function, which in turns can be evaluated by means of a master equation which describes the decay of the atomic levels. In the case of the initial atomic state (14), fixed atom positions, and neglecting boundary effects, this correlation function can be evaluated exactly,
where we have neglected an energy shift due to dipole–dipole interactions. Integrating (13) over the absolute value of yields the probability of photon emission,
is the dipole pattern,
where is the single atom radiative decay rate, is the collective decay rate, is the unit vector of the atomic transition, and is a unit vector in the direction defined by the solid angle . The factor in describes the interference between the emission from different atoms, and is given by Eq. (5).
Below we deduce the master equation which leads to (15) and we sketch its solution in the case of collective states with a single excited atom.
Appendix D Master Equation
The master equation for the reduced density matrix of the internal levels, which describes the ratiative decay of a set of atoms under the coupling to the quantized radiation field given by Eq. (12), is
where the coupling constants depend on
in the following way:
The master equation (18) can be solved for the particular case of an initial state (14) by noticing that the evolution of is closed within the subspace spanned by the states , . This fact can be easily proved by direct substitution of in Eq. (18), which yields the following evolution for the atomic density matrix:
where the collective decay rate is just the Fourier transform of the coupling constants in the master equation,
A similar result holds for nondiagonal elements of , which together with the quantum regression theorem yields the evolution of the atomic correlation function (15).
- Nicolas Gisin, Grégoire Ribordy, Wolfgang Tittel, and Hugo Zbinden, Rev. Mod. Phys. 74, 145 (2002).
- E. Knill, R. Laflamme, and G. J. Milburn. Nature 409, 46 (2001).
- A.N. Boto et al.. 5to Beat the Diffraction Limit. Phys. Rev. Lett. 85, 2733 (2000).
- J.J. Bollinger, W.M. Itano, D.J. Wineland, and D.J. Heinzen, Phys. Rev. A 54, R4649 (1996).
- V. Giovannetti, S. Lloyd, and L. Maccone. Science 306 1330 (2004).
- P. Michler et al.. Science 290, 2282–2285 (2000).
- A. Kuhn, M. Heinrich, and G. Rempe. Phys. Rev. Lett. 89, 067901 (2002).
- K. Keller et al.. Nature 431, 1075–1078 (2004).
- J. McKeever et al.. Science 303, 1992 (2004).
- H. Häffner et al.. Nature 438, 643 (2004).
- D. Leibfried et al.. Nature 438, 639 (2004).
- O. Mandel et al.. Nature 425, 937 (2003).
- M. D. Lukin et al.. Phys. Rev. Lett. 87, 037901 (2001).
- D.J. Wineland et al.. Phys. Rev. A 46, R6797 (1992).
- C.F. Roos et al.. Nature 443, 316 (2006).
- J.D. Jackson. Classical Electrodynamics. Wiley, New York (1962).
- M.O. Scully, E.S. Fry, C. H. Raymond Ooi, and K. WÃ³dkiewicz. Phys. Rev. Lett. 96, 010501 (2006).
- L–M. Duan, M.D. Lukin, J.I. Cirac, and P. Zoller, Nature 41, 413 (2001).
- C.W. Chou et al.. Nature 438, 828 (2005).
- Nature 438, 833 (2005).
- M. D. Eisaman et al.. Nature 438, 837 (2005).
- For example (D - P) = 10.8 m in Hg, or (D - D) = 12.5 m in Ba.
- D. Jaksch et al.. Phys. Rev. Lett. 85, 2208 (2000).
- R. Heidemann et al.. Preprint at http://arxiv.org/abs/quant-ph/0701120 (2007).
- G. Vidal. Phys. Rev. Lett. 91, 147902 (2003).
- C. Schön et al.. Phys. Rev. Lett. 95, 110503 (2005).