Iterative tailoring of optical quantum states with homodyne measurements

Transcription

1 Iterative tailoring of optical quantum states with homodyne measurements Jean Etesse,, Bhaskar Kanseri and Rosa Tualle-Brouri, Laboratoire Charles Fabry, Institut d Optique, CNRS, Université Paris Sud, avenue Augustin Fresnel, 97 Palaiseau cedex, France Institut Universitaire de France, 03 boulevard Saint-Michel, Paris, France jean.etesse@institutoptique.fr Abstract: As they can travel long distances, free space optical quantum states are good candidates for carrying information in quantum information technology protocols. These states, however, are often complex to produce and require protocols whose success probability drops quickly with an increase of the mean photon number. Here we propose a new protocol for the generation and growth of arbitrary states, based on one by one coherent adjunctions of the simple state superposition α 0 + β. Due to the nature of the protocol, which allows for the use of quantum memories, it can lead to high performances. 04 Optical Society of America OCIS codes: (70.070) Quantum optics; ( ) Quantum information and processing. References and links. S. Deléglise, I. Dotsenko, C. Sayrin, J. Bernu, M. Brune, J.-M. Raimond, and S. Haroche, Reconstruction of non-classical cavity field states with snapshots of their decoherence, Nature (London) 455, (008).. B. Vlastakis, G. Kirchmair, Z. Leghtas, S. E. Nigg, L. Frunzio, S. M. Girvin, M. Mirrahimi, M. H. Devoret, and R. J. Schoelkopf, Deterministically encoding quantum information using 00-photon Schrödinger cat states, Science 34, (03). 3. K. Vogel, V. M. Akulin, and W. P. Schleich, Quantum state engineering of the radiation field, Phys. Rev. Lett. 7(), (993). 4. E. Bimbard, N. Jain, A. MacRae, and A. I. Lvovsky, Quantum-optical state engineering up to the two-photon level, Nat. Phot. 4, (00). 5. M. Yukawa, K. Miyata, T. Mizuta, H. Yonezawa, P. Marek, R. Filip, and A. Furusawa, Generating superposition of up-to three photons for continuous variable quantum information processing, Opt. Express (5), (03). 6. H. Jeong, A. M. Lance, N. B. Grosse, T. Symul, P. K. Lam, and T. C. Ralph, Conditional quantum-state engineering using ancillary squeezed-vacuum states, Phys. Rev. A 74, (006). 7. S. A. Babichev, B. Brezger, and A. I. Lvovsky, Remote preparation of a single-mode photonic qubit by measuring field quadrature noise, Phys. Rev. Lett. 9, (004). 8. A. Laghaout, J. S. Neergaard-Nielsen, I. Rigas, C. Kragh, A. Tipsmark, and U. L. Andersen, Amplification of realistic Schrödinger-cat-state-like states by homodyne heralding, Phys. Rev. A 87, (03). 9. A. Ourjoumtsev, H. Jeong, R. Tualle-Brouri, and P. Grangier, Generation of optical Schrödinger cats from photon number states, Nature (London) 448, (007). 0. T. Gerrits, S. Glancy, T. S. Clement, B. Calkins, A. E. Lita, A. J. Miller, A. L. Migdall, S. W. Nam, R. P. Mirin, and E. Knill, Generation of optical coherent-state superpositions by number-resolved photon subtraction from the squeezed vacuum, Phys. Rev. A 8, 0380(R) (00).. M. Dakna, J. Clausen, L. Knöll, and D.-G. Welsh, Generation of arbitrary quantum states of traveling fields, Phys. Rev. A 59(), (999).. J. Fiurášek, R. García-Patrón, and N. Cerf, Conditional generation of arbitrary single-mode quantum states of light by repeated photon subtractions, Phys. Rev. A 7, 0338 (005). 3. J. Etesse, R. Blandino, B. Kanseri, and R. Tualle-Brouri, Proposal for a loophole-free violation of Bell s inequalities with a set of single photons and homodyne measurements, New J. Phys. 6, (04). (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 30357

2 4. K. J. Resch, J. S. Lundeen, and A. M. Steinberg, Quantum state preparation and conditional coherence, Phys. Rev. Lett. 88(), 360 (00). 5. N. H. Abel, Beweis der Unmöglichkeit algebraische Gleichungen von höheren Graden als dem vierten allgemein aufzulösen, Journal für die reine und angewandte Mathematik, (86). 6. J.-I. Yoshikawa, K. Makino, S. Kurata, P. van Loock, and A. Furusawa, Creation, storage, and on-demand release of optical quantum states with a negative Wigner function, Phys. Rev. X 3, 0408 (03). 7. A. Ourjoumtsev, R. Tualle-Brouri, and P. Grangier, Quantum homodyne tomography of a two-photon Fock state, Phys. Rev. Lett. 96, 360 (006). 8. E. Bimbard, R. Boddeda, N. Vitrant, A. Grankin, V. Parigi, J. Stanojevic, A. Ourjoumtsev, and P. Grangier, Homodyne tomography of a single photon retrieved on demand from a cavity-enhanced cold atom memory, Phys. Rev. Lett., (04). 9. C. K. Hong, Z. Y. Ou, and L. Mandel, Measurement of subpicosecond time intervals between two photons by interference, Phys. Rev. Lett. 59(8), (987). 0. O. Morin, V. D Auria, C. Fabre, and J. Laurat, High-fidelity single-photon source based on a type II optical parametric oscillator, Opt. Lett. 37(7), (0).. Introduction Engineering of arbitrary mesoscopic quantum states of light is a challenging task. Impressive results were already obtained using giant enhancement in superconducting cavities [, ], and protocols were proposed to generate arbitrary states with such systems [3], but the trapped state cannot be used for quantum communication protocols. In the case of free space propagating quantum states of light, the most common method for optical state engineering is to generate the state directly, by using two entangled beams and by performing a measurement on one of these, either by click counting [4, 5] or by homodyning [6 8]. Schrödinger cat states of light for instance, consisting in a coherent superposition of two coherent sates and composing a basic resource for quantum information processing, have been produced using these techniques [9, 0]. Building a state step by step is however necessary in order to grow its size, as the abovementioned methods are highly inefficient for producing large output states. Some protocols based on photon addition [] or subtraction [] propose this iteration of operations, but with the use of photon detection events which imply very low success probability. On the other hand, iterative generation based on homodyning has proven to be very efficient [3]. We propose here a generalization of the results presented in [3]: we present a setup for the generation and for the growth of arbitrary quantum states of light by the successive application of a simple protocol that will be described and explicitly calculated in a particular case in section, and whose performances will be discussed in section 3.. Protocol The idea of the protocol is to build a superposition containing up to n + m photons by the mixing of two superpositions containing up to n and m photons. Let us first see the simple case where n = m =... Simple case The resource that we need to feed our protocol is the elementary superposition of vacuum and a single photon: ψ () = α 0 + β. () This superposition can be experimentally generated by using homodyne conditioning [7] or photon counting [4], and we will assume it to be available on demand. Let us first see how the mixing of two states of the form of Eq. () on a beamsplitter can produce an arbitrary superposition with two photons. (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 30358

3 Fig.. Elementary protocol for generation and growth of arbitrary states: two states ψ () and ψ () of the form of Eq. () are mixed on a beamsplitter with transmission τ. A homodyne measurement is performed in one output arm, and the generation of a state ψ out in the other arm is conditioned upon the homodyne event x = x. The principle is shown on Fig. : two of these resource states ψ = ψ () = α 0 + β and ψ = ψ () = α 0 +β are sent on a beamsplitter with transmission τ, and a homodyne detection is performed on one output arm. When the homodyne conditioning is successful (x = x ), the wavefunction of the other output arm state is projected on: ψ out (x) (a x b )(a x b )e x, () with a = β τ, a = β ρ, b = α + β ρ x, b = (α + β τ x ) and ρ = τ. Let us then remember the expression of the wavefunction of a Fock state x k = /(π /4 k k!)h k (x)exp( x /), where H k (x) is the k th Hermite polynomial (of degree k): this form tells us that any superposition with up to n photons will have a wavefunction that will be written as a polynomial of degree up to n, times a gaussian of unit variance. This comes from the fact that the H k polynomials are a basis of C[X]. In the present case, Eq. () is the general writing of an arbitrary polynomial of degree up to two times a gaussian (all the polynomial can be split in C[X]). According to the previous remark, this means that the corresponding state is an arbitrary superposition of up to two photons, whose parameters can be adjusted with α i, β i, τ and x... General case Let us generalize the idea of the previous paragraph by recurrence: let us suppose that we have been able to generate a superposition with up to n and m photons, and see how we can generate a superposition with n + m photons. Mathematically speaking, it means that we assume to have created two states ψ (n) and ψ (m) whose wavefunctions can be written as: ψ (n) (x) P n (x)e x (3a) ψ (m) (x) P m (x)e x, (3b) where P n (resp. P m ) is a polynomial of degree n (resp. m). Let us mix these two states according to the same scheme of Fig., by feeding the setup with ψ (n) and ψ (m) instead of ψ () and ψ() (resp.). The state that we will thereby generate can be written as: ψ out (x) P n (τ x ρ x )P m (τ x + ρ x)e x. (4) (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 30359

4 The wavefunction of this state is of the form of an arbitrary polynomial of degree n + m, times a gaussian of unit variance, and according to what was noticed previously, this state is then an arbitrary superposition of up to n + m photons. The protocol transformation is true for n = m = and can be iterated for any n or m, which means that it is true for any n and m: we have proven that the use of the simple protocol of Fig. (a) iterated n times and fed by superposition of the form of Eq. () can generate arbitrary superpositions of up to n photons..3. Practical calculation of the created state in a cascaded like configuration Let us write the equations that have to be solved in order to find the proper parameters of the different beamsplitters and homodyne conditionings in a simple case. To simplify the calculations, let us consider a protocol which produces arbitrary superposition of n photons, by increasing the maximum number of photon one by one iteratively, according to the cascaded scheme shown on Fig.. We will suppose here that the weight of the component n is non zero (c n 0) in the output state n k=0 c k k. Fig.. Setup for the generation of arbitrary superposition of n photons, in a cascaded configuration. We suppose to have n input states of the form ψ () j = α j 0 + β j at our disposal, and we mix them according to the scheme of Fig.. It is easy to check that the output state is of the form: where ψ out (a x b )(a x b )...(a n x b n )e x, (5) a = β n τ i i= (6a) a j = n β j ρ j τ i for < j < n (6b) i= j a n = β n ρ n (6c) (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 30360

5 and b = α + β [ρ x n + l l= i= τ i ρ l+ x n+ ] (7a) b j = α j β j τ j x j + β j ρ j [ρ j x n j + l l= j i= j τ i ρ l+ x l+ ] for < j < n b n = α n β n τ n x n + β n ρ n ρ n x n (7c) (7b) b n = α n β n τ n x n. (7d) Equation (5) clearly shows that the output state is of the form of an arbitrary polynomial of degree n, times a gaussian of unit variance, which is the general writing of an arbitrary superposition of n photons: n k=0 c k k. The relation that fixes the conditions on the parameters α i, β i, τ i and x i can finally be written as: [ ] n x b k k= a k = n k=0 c k c n n+k n! k! H k(x). (8) As the weight of the state n is non-zero, all the a k are non-zero and this expression is valid. The different equations to be solved are then given by the identification of the two polynomials (either by their coefficients or by their roots): n equations can then be written, for all the variables α i, β i, τ i and x i, revealing that we have more degrees of freedom than equations. This property will allow us to optimize another parameter of the experiment: the success probability. We will illustrate it later with a concrete example. Unfortunately, we cannot give the general expression of the solution, given the fact that the roots of a polynomial of degree higher or equal to 5 have no explicit general expression [5]: the problem has to be solved case by case..4. Structuration of the protocol A great advantage of our protocol is that it allows for the use of quantum memories between each homodyne conditioning. These devices are currently developing very quickly [6], and they give a potential increase in the total success probability if the number of iterations increases. We have seen on Fig. a possible configuration to generate an arbitrary superposition, but it is certainly not optimal, as we increase the degree of the polynomial by one at a time, and as all the input states are not used simultaneously. One possibility to optimize this is to perform a maximum of operations in parallel as possible, by symmetrizing the scheme. Figure 3(a) shows for instance one of these setups for n = p. In this case, the degree of the polynomial is growing exponentially by advancing along the scheme. Quantum memories can then be naturally incorporated between successive stages: each time a homodyne conditioning succeeds, the created state is stored until the other required state is available. If one assumes, for instance, that all the homodyne conditionings have the same success probability P mix, Fig. 3(b) shows the tremendous increase in the total success probability allowed by the use of quantum memories in a symmetrical protocol configuration, in the case where eight input resource states are used..5. Example Example : two photon superposition Let us see with a concrete example how the protocol can be used to generate states of light, by (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 3036

6 ( ) ( ) ( ) ( ) ( ) ( ) (a) P p Cascaded configuration Symmetrized configuration Without quantum memories P mix (b) Fig. 3. Advantage of the symmetrized configuration. (a) Setup of a symmetrized configuration, in the case where n = p. The positions of quantum memories have been specified by the parenthesis symbols ( ). (b) Total success probability of a protocol involving eight input resource states given by Eq. () in a cascaded (solid blue line) and a symmetrical (dashed green line) configuration. The total success probability of a protocol not using any quantum memory is shown for comparison (dot-dashed red line). studying how the protocol can output an arbitrary superposition of the form proposed in []: ψ targ = + c0 + c (c c + ). (9) We have previously shown that we could generate any superposition of this kind by the use of Eq. (): what should be the parameters of our protocol to generate the state of Eq. (9)? First, given the expression of the target state, the weight of the two photon state is never 0, so we know that a a 0. The two roots of the polynomial of the wavefunction of Eq. () are then b /a and b /a. These should then be identified to the roots of the polynomial in the wavefunction of Eq. (9): [ ψ targ (x) x + c x + c 0 ] e x. (0) (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 3036

7 To simplify the calculation, we assume that the discriminant of this equation is positive = c 4(c 0/ /) > 0, then according to the expressions of a, b, a and b, we find the results: β = ε + [ x τ + ρ x ], α = β, (a) β = ε + [ x ρ τ x ], α = β, (b) with x = +c, x = c, ε = sign(x τ + ρ x ) and ε = sign(x ρ τ x ). We can then first fix the transmission of the beamsplitter τ and the homodyne conditioning x and find the proper parameters α i and β i of the input states to generate the desired output state. Example : the three photon Fock state 3 As a second example, let us find a valid set of parameters for our setup to generate a three photon Fock state. As we have seen before we have more degrees of freedom than variables, so we can fix some of them. Let us then simplify the problem by replacing the input resource states of Eq. () by single photon Fock states (α = α = α 3 =0), and by using a symmetrical beamsplitter for the first homodyne conditioning (τ = / ). Then, we have three variables (x, x and τ ) to find in our problem. The new Eq. (8) to be solved can be written as: ( )( )( ) x x + ρ x τ x x + ρ x τ x + τ x ρ = x(x 3/)(x + 3/). () Amongst many other solutions, x = 3/, x = 0 and τ = / is an acceptable solution. This means that the mixing of two single photons on a symmetrical beamsplitter, with a conditioning on x = 3/ produces a state which, mixed with another single photon on another symmetrical beamsplitter and a conditioning on x = 0, gives birth to a three photon Fock state. Discussion In these two examples, the user can adjust many parameters freely. For instance in the first example, the transmission τ and the conditioning x were arbitrary, and in the second example the input states could be chosen to be single photon Fock states. This illustrates the remark formulated in the end of paragraph.3. We will see in the next section how these could be explicitly chosen in order to maximize the success probability of the total operation in the case of a two photon Fock state superposition of Eq. (9), for which a graphical representation of the parameters is possible. 3. Performances The performances of the protocol will be evaluated by calculating the fidelity of the state created by an imperfect setup with the ideal expected state. This mathematical tool, though it doesn t guarantee the quality of the state (a high fidelity doesn t necessarily mean a possibility to use the state in complex quantum protocols), yet gives a good idea of the robustness properties of the protocol. (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 30363

8 3.. Success probability Obviously, heralding on events matching exactly the homodyne condition x = x will lead to a zero success probability, so one has to accept the events within a window x [x x,x + x]. Increasing its width x will increase the success probability, but at the cost of a decrease in the quality of the state. In order to perform the study of the success probability of the protocol we propose to fix a target fidelity of the state we want to achieve, and to optimize the heralding width of the homodyne conditioning in order to maximize the success probability of the operation. Let us first focus on the previous example of Eq. (9) in the case where c 0 = 0 and c = : the state superposition / ( + ). We have seen that the coefficients τ and x could be freely chosen in order to generate it. By using Eq. (), we can plot the success probability as a function of these two coefficients. Figure 4(a) shows this for a target fidelity of 90%, revealing that there is actually an optimal point for (τ,x ) around (0.3,0.46) for the generation of the state, leading to almost 30% success probability of generation. 0 0 P succ 0 (a) Fidelity (b) Fig. 4. Optimization of the success probability. (a) Success probability of the protocol for the generation of the state / ( + ) as a function of the quadrature conditioning x = x 0 and the energy transmission of the beamsplitter τ = τ. The coefficients of the resource states are given by Eq. (), and the target fidelity is 90%. (b) Optimized success probability for the states is shown as: Eq. (3) solid blue, Eq. (4) dashed red, Eq. (5) dot-dashed green and Eq. (6) solid thin black. This optimization can be performed on various states, showing some difference in the efficiency of production. For instance, Fig. 4(b) shows the optimized success probability as a function of the target fidelity for the four states of the form of Eq. (9): ψ = (3) ψ = ( + ) (4) ψ 3 = ( 0 + ) (5) ψ 4 = 3 ( ), (6) the optimization being performed on all the parameters that we can adjust for the state (α i, β i, (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 30364

9 τ and x ). We see that the success probability of our protocol is very high compared to other previously proposed setups. Indeed, the four states defined by Eqs. (3)-(6) were also studied in [], and provided success probabilities of the order of 0 5 for target fidelities of 90%. In our case, these success probabilities are greater than 0% and reach almost 00% for the state of Eq. (6): this impressive behavior is simply explained by the fact that the unconditioned state (00% success probability by definition) has already 87% fidelity with the target state. If we consider realistic success probability production of resource states of Eq. () of the order of 0 3 (success probability production of photon Fock state of the order of % [7] and conditioning rate of 0% [7]), the success probability becomes 0 4 with the use of quantum memories, which remains higher to the values reported in []. But the point we wish to emphasize concerns the fact that, due to the large success probability of one single stage, our protocol is intended to be all the more advantageous as the target is complex. Furthermore, one has also to keep in mind that the protocol presented here only requires monomode single photon states, no matter which way they were generated (the resource state of Eq. () being produced by the protocol of [7] for instance). Recently, some new experimental protocols managed to retrieve on demand high quality single photon Fock states (fidelity of 8%) from cold atomic ensembles [8], which would bring the success probability of the experiment up to 0, showing the interest of our proposal. The calculations done until now supposed that the photons and the homodyne detection were both perfect, which is obviously not the case in practice: this is what we are going to focus on in the next section. 3.. Imperfections Let us now study the influence of imperfections on the protocol. These will be taken of two different types: either from the resource state itself or from the homodyne detection used for the heralding. For the sake of simplicity, and to picture precisely the effect of the protocol, we will consider in this paragraph the generation of states with a protocol fed by two single photon Fock states (α = 0 in Eq. ()). The Hong Ou Mandel effect [9] makes the one photon contribution vanish (c = 0 in Eq. (9)), and we are left with superpositions of the kind ψ = + c 0 (c ) with c 0 0. We will focus on three particular cases: c 0 = 0 (the two photon Fock state), c 0 = (equally weighted states) and c 0 = / (states created in [3]). The generation of these states can be performed for instance with a symmetrical beamsplitter and a conditioning on x = /, x ( = + )/ and x = 0 respectively. We will not try to optimize the success probability here, as we want to estimate the effects of the imperfections only. The conditioning width x will then be taken arbitrarily small Imperfections of the single photons In the case where the photons used to feed the setup are imperfect, the performances of the protocol are deteriorated. The imperfections that we are going to take into account are the most common ones: the photons are no longer pure, but consist in a mixture of the single photon with vacuum 0 0. The respective weights give the quality of the state: ψ = η phot + ( η phot ) 0 0. (7) The fidelity F of the output state as a function of the quality η phot of the photon is given in Fig. 5(a). Obviously, when this quality tends to (no admixture of vacuum), the fidelity of the output state tends to. In the opposite case, the fidelity tends to the square of the weight of (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 30365

10 vacuum in the superposition, as expected (the input state is only composed of vacuum when η phot = 0). An interesting point is that the fidelity does not deteriorate faster as the weight of the two photon Fock state increases in the target state: the state with c 0 = deteriorates faster than the one with c 0 = / for input qualities η phot > 0.7, even if it has a smaller two photon component. This figure shows that the quality of the input photons is a key property for the proper realization of the protocol, as the output fidelity is strongly dependent on it. For instance, an input fidelity of 90% of the input single photons leads to an output fidelity of 70% for the two photons Fock state output (c 0 = 0). (a) (b) Fig. 5. Influence of imperfections of (a) photons and (b) homodyne detections on the quality of the output state for cases c 0 = 0 (solid blue line), c 0 = (red dot-dashed line) and c 0 = / (dashed green line) Imperfections of the homodyne detections Other imperfections that can be taken into account are the detection inefficiencies of the homodyne detections used for the conditioning. These imperfections (treated in detail in [3]) can be shown to artificially increase the heralding width, and their effects are shown on Fig. 5(b), for the same three cases mentioned previously. Their effects are quite different, as the fidelity can remain reasonably high for low detection efficiencies. For instance in the case c 0 = /, the output fidelity is above 90% for detection efficiencies as low as 55%, revealing that in some cases the protocol can enable the production of high fidelity states, even with poor detection performances. 4. Conclusion We have proposed a new protocol, which enables the generation of arbitrary superpositions of a given number of photons, by the iterative use of a simple scheme based on a mixing on a beamsplitter followed by a homodyne conditioning measurement. This protocol may offer a significant progress in the quantum engineering of states, as it relies on piece by piece building of the state, and allows for the use of quantum memories in order to improve the success probabilities which can then be very high. Another great advantage of the homodyne conditioning technique is that in some cases it can show a certain robustness against detection inefficiencies. With all the recent advances in quantum memories technologies [6] as well as monomode (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 30366

11 single photon generation [8, 0], we believe that this proposal will open new perspectives in the field of optical quantum states engineering. Aknowledgments We acknowledge support from the EU project ANR ERA-Net CHISTERA HIPERCOM. (C) 04 OSA December 04 Vol., No. 4 DOI:0.364/OE OPTICS EXPRESS 30367