Quantum measurements of atoms using cavity QED

Quantum measurements of atoms using cavity QED

Adetunmise C. Dada acd8@hw.ac.uk Department of Physics, Heriot-Watt University, Edinburgh EH14 4AS, UK    Erika Andersson Department of Physics, Heriot-Watt University, Edinburgh EH14 4AS, UK    Martin L. Jones School of Physics and Astronomy, University of Leeds, Leeds LS2 9JT, UK    Vivien M. Kendon School of Physics and Astronomy, University of Leeds, Leeds LS2 9JT, UK    Mark S. Everitt National Institute of Informatics, 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo 101-8430, Japan School of Physics and Astronomy, University of Leeds, Leeds LS2 9JT, UK

Generalized quantum measurements are an important extension of projective or von Neumann measurements, in that they can be used to describe any measurement that can be implemented on a quantum system. We describe how to realize two non-standard quantum measurements using cavity quantum electrodynamics (QED). The first measurement optimally and unabmiguously distinguishes between two non-orthogonal quantum states. The second example is a measurement that demonstrates superadditive quantum coding gain. The experimental tools used are single-atom unitary operations effected by Ramsey pulses and two-atom Tavis-Cummings interactions. We show how the superadditive quantum coding gain is affected by errors in the field-ionisation detection of atoms, and that even with rather high levels of experimental imperfections, a reasonable amount of superadditivity can still be seen. To date, these types of measurement have only been realized on photons. It would be of great interest to have realizations using other physical systems. This is for fundamental reasons, but also since quantum coding gain in general increases with code word length, and a realization using atoms could be more easily scaled than existing realizations using photons.

I Introduction

Generalized quantum measurements or probability operator measures (POMs), also called positive operator valued measures (POVMs), are important mathematical tools for quantum communication and quantum information processing Helstrom (1976). They are naturally able to describe imperfections and errors in real experimental measurements. In addition, there are also situations where it is advantageous to deliberately engineer a measurement that is not a projective measurement. This is frequently the case when distinguishing between quantum states Helstrom (1976); Chefles (2000). The simplest such example is when distinguishing between two non-orthogonal states without error Ivanovic (1987); Dieks (1988); Peres (1988). In addition, knowledge of optimal measurement strategies may be useful in placing tight bounds on other quantum operations such as quantum cloning Chefles (2000); Brougham et al. (2006).

In this paper, we describe how to realize two examples of non-standard quantum measurements using the tools of cavity QED. The methods we describe could, however, be applied also more generally for realizing other generalized quantum measurements. The first measurement is optimal unambiguous discrimination of non-orthogonal quantum states, also known as the Ivanovic-Dieks-Peres (IDP) measurement. This task is relevant for quantum information and communication systems as well as for quantum key distribution (QKD) Gisin et al. (2002). The IDP measurement is optimal for the B92 QKD protocol Bennett (1992), although this was not immediately recognised. To date, all the realizations of the IDP measurement have been optical Huttner et al. (1996); Clarke et al. (2001); Mohseni et al. (2004). Nevertheless, generalized quantum measurements could be realized also on ions or atoms using existing experimental techniques Franke-Arnold et al. (2001); Andersson (2001); Roa et al. (2002), or using nuclear magnetic resonance Gopinath et al. (2005).

The second example is the measurement required to demonstrate that quantum channel capacities can be superadditive. In this case, at least two uses of a quantum channel, and a collective measurement of the resulting code block, is required. The quantum coding gain in general grows with the length of the code blocks. Superadditivity has so far only been demonstrated using linear optics Takeoka et al. (2004). Quantum source coding for message compression is another type of quantum coding scheme that has been optically demonstrated Mitsumori et al. (2003), using similar techniques as for the optical demonstration of quantum superadditivity. In both cases, the two uses of the quantum channel were encoded using the path and polarization degrees of freedom of a single photon and the states are manipulated using basic linear optical elements (polarising beam splitters and waveplates). While this demonstrated the principle of the measurement, extension of the coding to longer code blocks would be impractical due to problems of scalability. Scalability would require effective photon-photon interactions, which are difficult to realize due to prohibitively large overhead costs Knill et al. (2001); Kok et al. (2007).

Generally speaking, some generalized measurements are difficult to realize using linear optics. Therefore it is useful to study how to realize such measurements in other physical systems. For the cavity QED demonstration of superadditivity, we use two atoms and encode each usage of the quantum channel in the state of one atom. This could in principle be scaled to longer codewords using resources which do not scale exponentially, as for the existing optical realisations. Also, other coding schemes, including quantum source coding, or any other realisation of collective quantum measurements, could be realised in a cavity QED setting employing similar methods. We also estimate how experimental imperfections would affect the measurement. Cavity QED techniques have indeed been applied extensively in exploring the quantum dynamics of atoms and photons in cavities and has been used, for example, in preparing entangled states of atoms Hagley et al. (1997), performing phase gate operations Rauschenbeutel et al. (1999), doing quantum non-demolition measurements of cavity fields Guerlin et al. (2007), and in experimental studies of the process of decoherence in quantum measurements Brune et al. (1996). In addition, there are a number of QED-type systems in which a cavity QED based scheme can be easily implemented. These include circuit and photonic crystal based systems Lindström et al. (2007); Vuckovic and Yamamoto (2003).

Ii Distinguishing between two non-orthogonal states

Generalized quantum measurements are extensions of projective or von Neumann measurements. Just as for projective quantum measurements, probabilities for measurement outcomes are calculated using the trace rule


where is the measured state and is the measurement operator corresponding to outcome . The fact that probabilities are positive means that all eigenvalues of the are positive, which is written , and consequently also that the are Hermitian. Also, since the probabilities for all possible outcomes should sum to 1, it follows that


where is the identity operator. What sets generalized quantum measurements apart from projective measurements is that the measurement operators do not have to be projectors. Also, we can have more measurement outcomes than there are dimensions in the measured quantum system.

The Ivanovic-Dieks-Peres (IDP) measurement Ivanovic (1987); Dieks (1988); Peres (1988) is a generalized measurement that distinguishes between two non-orthogonal states without error, in other words, unambiguously. For the measurement to be error-free, however, one must accept that it will sometimes be inconclusive. The IDP measurement is optimal in the sense that it minimises the probability of an inconclusive measurement outcome. Suppose that we wish to distinguish without error between two non-orthogonal quantum states


of a single quantum system such as an atom, where . To start with, let us note that the optimal measurement will depend on the probabilities for preparing these states, i.e. the prior probabilities. Let us note also that if we make a projective measurement in the basis , with , then the outcome necessarily indicates that the prepared state was . If we obtain , then we cannot be sure which state was prepared, and the outcome is inconclusive. Similarly, if we choose to measure in the basis , then an outcome indicates that the state was certainly and the outcome yields an inconclusive result. If we are restricted to standard von Neumann measurements, this is the best we can do.

This procedure above is however not always optimal. If the respective probabilities of preparing and , i.e., the prior probabilities, are similar, then the generalized measurement that gives the lowest possible probability for the inconclusive result has the measurement operators


where is a positive number which is as large as the positivity of will allow, that is, . The minimum probability for the inconclusive result is then given by =. Let us denote the prior probabilities as and . It is easy to verify that the generalized measurement is better than the best projective measurement when


The measurement described in Eq. (5) can be physically realized as a measurement in a higher dimensional Hilbert space in an orthonormal basis. This follows from Naimark’s theorem which states that any generalized measurement can be realized in this way Helstrom (1976). We will devise an experimental realization in terms of such a projective measurement in an extended Hilbert space. The IDP measurement can then be realized using the following steps:

  1. Extend the initial 2D Hilbert space into a 3D space by adding an extra state which is orthogonal to both initial states and , resulting in an orthonormal basis {, , }.

  2. Measure in a basis where and . This measurement can be implemented in two steps:

    1. Perform a unitary operation given by

    2. Do a standard projective measurement in the {, , } basis. A detection in the states or would unambiguously indicate that the unknown state was or respectively, while a detection result would make the measurement inconclusive.

      The detection probabilities will therefore be


Here denotes the probability of obtaining a result given a state .

Using the basis state vectors , and , we work out the unitary operation in (7) for the optimum measurement to be


Figure 1: Geometrical representation of the IDP measurement. The initial two-dimensional Hilbert space, where and live, is spanned by {, }. This is extended to three dimensions by adding an extra state which is orthogonal to each of the two initial basis states. The measurement consists of a unitary operation , followed by a standard projective measurement in the {, , } basis. The transformed states and are orthogonal to and respectively.

For experimental realization, any unitary may be decomposed into a product of unitary operators coupling two levels at a time Reck et al. (1994). Furthermore, especially when there are many outcomes, this decomposition for a generalized quantum measurement may be optimized to use the minimum number of such pairwise operations Andersson and Oi (2008). In our case, there is only one extra state, and the realization is straightforward,




In summary, one performs , followed by on the input state to obtain , followed by a projective measurement of in the basis . This will yield an error probability of zero and a minimum probability of an inconclusive result .

ii.1 Cavity QED implementation

The interaction between an atom and a classical field, resonant or quasi-resonant with the atomic transition between two states and , can be used to realize the IDP measurement outlined above. The required unitary operations result from the action of the atom-field Hamiltonian, which is Haroche and Raimond (2006)


Here is the Pauli-Z operator, and , the atomic raising and lowering operators, are defined as and . and are respectively the classical Rabi frequency and the atom-field detuning, and is the phase of the classical field with respect to the atomic transition dipole.

It can be shown from Eq. (13) that an interaction lasting for a time with a resonant field having a phase effects the transformations


Using the notation and , this corresponds to the operator given as


One may perform the unitary operator for the IDP measurement by setting


where , and the denotes a Ramsey pulse resonant with the transition .

The physical states representing , , and will be chosen based on convenience of experimental realization. One needs to bear in mind, for example, that a direct coupling between and will not be necessary, and that at the detection stage, outcome represents an inconclusive result. A possible choice of states could be a ladder of Rydberg states; , and , which are standard micromaser transitions Filipovicz et al. (1985). A final projective measurement which determines the energy level of the atom would be required. This is commonly done by means of field-ionisation detection Walther et al. (2006); Jones et al. (2010), which involves passing the Rydberg atoms through an increasing electric field and measuring the energy at which the atom is ionised.

Iii Superadditive measurement

The maximum amount of information which can be reliably transmitted over a given channel is referred to as its capacity. This is generally determined by the information resources (such as code block length and bandwidth) and the noise characteristics of the channel. Quantum channels may display superadditivity in classical information capacity Peres and Wootters (1991); Sasaki et al. (1998); Buck et al. (2000). This means that


where is the classical information capacity of a single use of the channel, and is the classical information capacity of a combination of uses of the channel. For classical channels, it holds that


meaning that superadditivity is displayed only by quantum channels.

This makes it interesting to experimentally demonstrate the superadditivity of quantum channel capacity. In order to do this, it is necessary to carry out quantum coding followed by an appropriate collective quantum measurement. One possible scheme is outlined below.

iii.1 Trine letter states

Consider a channel coding for sending classical information through a quantum channel with a given ensemble of quantum states representing the letter states. A clear and simple example of an ensemble which can be used to demonstrate superadditivity in classical capacity of a quantum channel is the qubit trine states. Suppose we use the set of ternary symmetric states of a qubit, that is known as the qubit trine states, with


to transmit information, where {, } is the orthonormal basis set. Using one quantum state drawn from this ensemble we can transmit at most bits. This is achieved by sending any two of the states with probability 1/2 each and distinguishing between these with the optimal measurement Shor (2002); Fujiwara et al. (2003); Takeoka et al. (2004).

Using two qubits, there are nine possible states. It has been shown Peres and Wootters (1991) that if only three of these are used, namely


with , where , then bits of information can be retrieved if the code word states are used with equal probabilities. This is larger than . The superadditive quantum coding gain (SQCG), per use of the channel, is


The measurement used to decode the codewords is the square-root measurement with the measurement basis states defined as


In explicit form the codeword states are


and the optimal measurement basis is given by




The outcome corresponding to the state will never occur, since all codeword states are orthogonal to . This state merely completes the 4-dimensional basis.

The states (25) define an entangled measurement basis, and the implementation of the measurement will require similar resources as a Bell measurement, including entangling interactions. The Bell states are the maximally entangled states


and a Bell measurement is a projection in this basis. This can be achieved by first performing a unitary transformation


on the input Bell state, followed by a projective measurement in the {, , , } basis which we refer to as the computational basis. Any other transformation which takes each of the Bell states respectively to any permutation of the computational basis states, up to global phases, would also do.

The superadditive measurement can be realized in a similar fashion by making a unitary transformation on the input states, and following this by a projective measurement in the computational basis. From Eq. (25), is given as


In matrix notation, it takes the form


Superadditivity can in general only be achieved when an appropriate collective POM is chosen, namely, detection in an entangled measurement basis Fujiwara et al. (2003). An SQCG of has been experimentally demonstrated by the previously mentioned optical implementation Sasaki et al. (1998).

iii.2 Cavity QED realization

The unitary operation needed to realize this measurement can be decomposed in terms of single atom operation and entangling interactions. The single atom rotations correspond to Ramsey pulses and . In the four-dimensional Hilbert space spanned by the joint basis states of the two -level atoms, the unitary transformation effected by a Ramsey pulse on atom is


while a Ramsey pulse on atom is


where denotes the tensor product operation.

The entangling operations, on the other hand, can be realized using the interactions between atoms and a cavity field governed by the two-atom Tavis-Cummings Hamiltonian in the limit of large detuning Zheng and Guo (2000); Everitt et al. (2009). This produces an effective Hamiltonian in which the field is removed as a degree of freedom, eliminating atom-field entanglement, but allowing virtual excitation of the field to pass excitations between atoms. This ensures that no quantum information is exchanged between the atoms and the cavity, so that the cavity merely mediates interactions between the atoms. Each atom is effectively a two-state system, detuned from the cavity resonance by . Let denote the atom-cavity dipole coupling constant. In the limit of large , the effective Hamiltonian is


This yields a unitary transformation


where is the effective coupling constant and we have used the notation , , and for the computational basis states.

To elucidate the process of deriving the superadditive measurement using these building blocks, it is instructive to first consider the Bell measurement briefly. The Bell measurement can be performed with a combination of the operations in Eqs. (31), (32) and (34). This will yield a transformation which rotates each of the Bell states, into some permutation of the computational basis states up to global phases.

This can be done in only four steps. The principle of the process is to take the entangled states to states which are as close as possible to the separable basis states with each step. The Tavis-Cummings operations are the available two-qubit operations for disentangling the Bell states. However, it turns out that the detuned Tavis-Cummings operation on its own cannot disentangle . It is necessary to precede it with a Ramsey rotation which produces a relative phase shift of between and . Previous work done have achieved the phase shifting effect using an extra atomic level . This is done by performing a Ramsey operation resonant with the transition, before, and then after the Tavis-Cummings operation Zheng and Guo (2000); Haroche and Raimond (2006). Another proposal suggests introducing a slight delay between the passage of the two atoms through the cavity Lazarou and Garraway (2008). Here we use another approach.

As a first step, we apply a Ramsey pulse to the atom , i.e. . This gives the following transformation of the Bell states:


We then choose the second step as to have


The combination of a preceding Ramsey operation on atom and the detuned Tavis-Cummings operation effectively carries out a transformation which disentangles the and states.

We now proceed to the third step which is a Ramsey operation . The effect of this operation is simply to interchange with , and with simultaneously.


The resulting entangled states can now be disentangled with a Tavis-Cummings operation in a final step before detection. If we use , then we will have:


Detection results , , and would indicate that the inputs were the Bell states , , and respectively. This realisation is similar in its construction to the realisation on atoms considered in Andersson and Barnett (2000).

We now apply a similar method for the superadditive measurement. It is worth noting that since the outcome corresponding to should never occur, it would be sufficient to make a unitary transformation which takes two of the three states , and uniquely into two of the four computational basis states in the four-dimensional Hilbert space, say and ; and the remaining measurement basis state, say , and each into superpositions of the two other computational basis states, say and . This may somewhat simplify the experimental realization, and we will in fact make use of it.

Obtaining a realization of involves finding a sequence of operations which transforms into a matrix of the form , where is a permutation matrix and is a diagonal matrix. This could be a sequence of unitary operations coupling two basis states at a time Reck et al. (1994). As with most physical settings, not all pairwise coupling operations are available in our case. This is because we are restricted to operations , which couple the pair of basis states and , and single qubit operations and , which each couple two pairs of basis states at the same time. Our strategy for obtaining a realisation in terms of these is as follows. Since the operation couples basis states and , it is natural to first use a Tavis-Cummings interaction to disentangle these components of the measurement states in Eq. (25). In order to do this, it turns out that we need to precede the Tavis-Cummings interaction by two Ramsey pulses. This first pulse sequence then takes the states and into the disentangled states and . Next, in order to use a Tavis-Cummings interaction to disentangle the and components, we need to first change into and vice versa for one of the atoms, which one does not matter, using Ramsey pulses. It turns out that at the end of this process, which thus comprises two Tavis-Cummings interactions and a number of Ramsey pulses, and the measurement basis state are both mapped to superpositions of and , and Ramsey pulses would be needed in order to map these superpositions to and . As remarked above, these last Ramsey rotations are not necessarily required.

This leads us to a realization in seven steps. The first step is a Ramsey rotation on the atom 2, . The second step is another Ramsey rotation on atom 2, . For the third step, we pass the two atoms simultaneously through the first detuned cavity with the effective interaction time giving a detuned Tavis-Cummings interaction described by . Step four is another Ramsey pulse applied to atom 2 defined as . The fifth step is a second detuned Tavis-Cummings type interaction, , of duration . The sixth and seventh steps effectively rotate into a superposition. In fact, this takes place if we choose as the sixth step and as the seventh step.

These steps lead us to the effective unitary operation


where and . To elucidate the assignment of measurement results, we can also use the alternative form


This makes it clear that ideally yields the same value as for the mutual information, but is slightly different from , since final detection of and both correspond to . Recall that all three signal states are orthogonal to . When is used, the final measurement outcome corresponding to should never occur. When experimental imperfections are included, the mutual information and consequently SQCG may be different for and . This will be made clear shortly.

After performing the seven steps, a subsequent detection in the computational basis will complete the measurement. The mutual information is given by

where and denote the sender and receiver respectively, and and denote the letter states that were transmitted and received respectively, .

The channel matrix resulting from applying the derived pulse sequence and a subsequent projective measurement to the input state are


where . Substituting the resulting channel matrix elements into Eq. (III.2), and using prior probabilities


gives SQCG of . A schematic diagram outlining the derived implementation is shown in Fig. 2.

Figure 2: Schematic diagram of proposed cavity QED implementation of the POM for superadditive decoding. This figure shows the scheme for the unitary operation performed before the final projective measurement by field-ionisation detectors. Atom mirrors have been implemented using electric, magnetic and light-induced forces (see Vliegen and Merkt (2006), Merimeche (2006) and references therein). If required, it could be realised in this scheme also by using an additional Tavis-Cummings operation to swap the state from one atom to that of a fresh one travelling perpendicularly. The superscripts on the operators indicate the order of their application to the two atom state. These operations are defined in Equations (31), (32), and (34).

iii.3 Optimality

The question of determining the optimality of a given realization of a POM using certain building blocks in a physical setting is non-trivial. For our realization of the superadditive measurement, we check for the optimality of our proposed realization in terms of the total number of steps. We also try to exclude the more experimentally challenging steps as much as possible. The Tavis-Cummings interaction is clearly more difficult to realize than the Ramsey operations because it involves a synchronous passage of two atoms through a high-Q cavity, which is more experimentally challenging than applying a Ramsey pulse to a single atom.

We supply a short proof by contradiction that at least two detuned Tavis-Cummings interactions is required to realize the superadditive decoding. Using the canonical Cartan decomposition of a two-qubit unitary operator  Zhang et al. (2003), we realize that if a single detuned Tavis-Cummings interaction could be used to implement (or ), then there would exist , , , , , , , and such that




Equation (45) is a system of equations. It is easily verified that this system of equations has no solution. This concludes the proof and gives evidence of the optimality of our proposed scheme with respect to the number of Tavis-Cummings interactions needed. Jaynes-Cummings interactions through sequential passage of the atoms through the cavity can also be used for entangling interactions between atoms. This has proved suitable for preparing specific entangled two-atom states Hagley et al. (1997); Lazarou and Garraway (2008); Zheng and Guo (2000). However, a main disadvantage of using the Jaynes-Cummings interactions is the leakage of atomic excitation into cavity field modes having more than one excitation, since the field has an infinite number of levels besides .

Iv Experimental imperfections

Both the IDP measurement and the measurement to demonstrate quantum superadditivity will be affected by experimental imperfections. In particular, when errors are present, error-free or unambiguous state discrimination in general becomes impossible, and we should aim for a maximum confidence measurement strategy instead Croke et al. (2006, 2008); Mosley et al. (2006). As for the measurement that demonstrates superadditivity, it is natural to ask how robust the superadditive quantum coding gain is with respect to imperfections. We will now discuss this.

Experimental imperfections that could adversely affect the overall quality of the realizations of the superadditive measurement, and the SQCG, include initial state preparation fidelity, Ramsey operation fidelity, Tavis-Cummings operation fidelity and detection efficiency. The initial state preparation fidelity would depend largely on the fidelity of the Ramsey operations since they are used to carry out these preparations. In turn, the fidelity of the Ramsey operations depend on the accuracy to which the parameters and can be set.

Let us consider how the delay between the atoms affect the results and ultimately the SQCG. Zheng and Guo Zheng and Guo (2000) have estimated the effect of such a delay on the preparation of an EPR pair of the form


which can be prepared by a single Tavis-Cummings operation. This was done by considering a delay of between the atoms, where is the time each atom spends in the cavity. In this situation, a fidelity of was estimated.

Applying the same idea, we realize that such a delay yields an imperfect Tavis-Cummings operation which affects the coding gain. In Fig. 3, we plot the superadditive coding gain as a function of , where is the delay as a percentage of the longest cavity interaction time in the sequence, that is, (s) spent in cavity 2. A delay up to of the longest cavity interaction time in the sequence, which occurs in the second cavity interaction, still gives an SQCG of bits.

Figure 3: Plot of the superadditive coding gain as a function of , where is the delay as a percentage of the time (s) spent by both atoms in the second cavity. The same delay is applied in both cavities.

In the photonic realization Takeoka et al. (2004), the detection efficiency , which is the photon count probability, does not degrade the result on its own. This is because the SQCG is calculated using a normalised channel matrix. However, when combined with dark counts which arise from background radiation as well as from carriers generated in a detector even when no photons are incident, the SQCG is degraded since this effectively results in a finite probability of misidentification of states.

In a cavity QED realization, the detection efficiency could even be more of a problem if it depends on the atomic states, for example. Even if the detection efficiency were independent of the atomic state, state misidentification is a usual problem in detection. Consider a detection to determine whether a two level atom is in a state or . In the perfect case, the detection would be an ideal von Neumann measurement which can be described by the two projectors


A non-ideal detector, however, might record the wrong state with some probability. This is the case in atomic state detection schemes where projective measurements are carried out using field-ionisation detectors, in which the ionisation energy of the atoms serves as an indicator of the state. This means that for a two-level atom in the state , the measurement will give the result with probability and the result with probability . In a realistic experimental scenario, the probability of misidentification might not be symmetric. For instance, it might be more likely to misidentify the atomic state as than conversely. Let us denote the probability of misidentifying the and states as and respectively. Introducing these errors, the effective measurement is a POM with elements defined as the operators


To incorporate this into the calculations of the SQCG, we first calculate the resulting single channel capacity and mutual information for length-two coding . This is used to obtain the SQCG plotted in Fig. LABEL:fig:sqcgimp as a function of the probabilities of misidentification and when is realized exactly. The affected channel matrix is given as


Here and label the matrix elements. , , , and are the elements of the POM describing the imperfect projective measurement in the computational basis.

The resulting SQCG plot shows that even with rather high probabilities of misidentification, a reasonable amount of superadditive quantum coding gain can still be accessed. We observe a symmetric trade-off effect between probabilities and in Fig. LABEL:fig:sqcgimp.

Let us now use the proposed realization which effects the unitary transformation . The channel matrix elements then become


The corresponding values of mutual information for the double channel and the SQCG are plotted in Fig. 5 as functions of the probabilities of misidentification and .

Figure 5: Effects of detection errors when is used to implement the superadditive measurement. (a) Plot of the difference (bits) between the length-two coding mutual information and the ideal single channel capacity, . (b) Plot of the actual superadditive coding gain (bits) for our proposed scheme, where . and are plotted as functions of the probabilities, and , of misidentifying states and of a two-level atom respectively.

As shown in Fig. 5(b), we observe reasonable amounts of SQCG even with rather high levels of detection errors. Since, in our proposed scheme , the SQCG favours combinations of higher values of with lower values , the physical states representing and may need to be chosen to ensure that if there is considerable difference between and .

Finally, another experimental consideration in the cavity QED realizations outlined above could be the symmetry of the Ramsey operations, that is, depending on the particular experimental setup, whether or not there is an advantage of performing the Ramsey rotations on only one atom over distributing them as much as possible between both atoms.

V Conclusion

In conclusion, we have proposed explicit schemes for experimental realization, using cavity QED, of two generalized quantum measurement strategies. These were unambiguous discrimination of two non-orthogonal quantum states, the so-called IDP measurement, and the measurement to demonstrate superadditive quantum coding using a ternary quantum alphabet. We would like to note that realizations of the minimum-error measurements to distinguish between the trine states in Eq. (20Helstrom (1976) and between mirror-symmetric states Andersson et al. (2002) would be very similar to the IDP measurement that we have outlined, and also that similar methods can be used to implement any generalized quantum measurement using cavity QED.

Our results show that these realizations are feasible using currently available cavity QED technologies. Using a simple proof we have confirmed the optimality of the realization of the measurement that demonstrates quantum superadditivity in terms of cavity usage. We have also shown how the superadditive quantum coding gain is affected by imperfect detection of the basis states, and that even with rather high levels of such experimental imperfections, a reasonable amount of superadditivity can be seen. We have not addressed the fact that in the presence of experimental imperfections, the measurement that one should attempt to implement in order to demonstrate maximum coding gain might change. It is thus conceivable that even with experimental errors, it may be possible to see a somewhat larger quantum coding gain than our estimates indicate. In other words, our estimates are lower bounds on the superadditive quantum coding gain, given the assumed level of errors in the implementation. An example where the optimal quantum measurement changes in the presence of experimental imperfections is when comparing two coherent states Hamilton et al. (2009).

The fact that atoms can interact strongly via cavity fields makes it possible to investigate implementation of superadditive coding with longer code words using cavity QED-type systems. It is also interesting to further study realizations of other generalized quantum measurements which are difficult to realize using linear optics.

Vi Acknowledgements

AD is funded by a Scottish Universities Physics Alliance (SUPA) scholarship, ME acknowledges support from the Japanese Society for the Promotion of Science, and VMK is funded by a UK Royal Society University Research fellowship.


Comments 0
Request Comment
You are adding the first comment!
How to quickly get a good reply:
  • Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
  • Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
  • Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters
Add comment
Loading ...
This is a comment super asjknd jkasnjk adsnkj
The feedback must be of minumum 40 characters
The feedback must be of minumum 40 characters

You are asking your first question!
How to quickly get a good answer:
  • Keep your question short and to the point
  • Check for grammar or spelling errors.
  • Phrase it like a question
Test description