Partial Bell-state analysis with parametric down conversion in the Wigner function formalism

We apply the Wigner function formalism to partial Bell-state analysis using polarization entanglement produced in parametric down conversion. Two-photon statistics at a beam-splitter are reproduced by a wavelike description with zeropoint fluctuations of the electromagnetic field. In particular, the fermionic behaviour of two photons in the singlet state is explained from the invariance on the correlation properties of two light beams going through a balanced beam-splitter. Moreover, we show that a Bell-state measurement introduces some fundamental noise at the idle channels of the analyzers. As a consequence, the consideration of more independent sets of vacuum modes entering the crystal appears as a need for a complete Bell-state analysis.


Introduction
The theory of parametric down-conversion (PDC) in the Wigner formalism, along with the theory of detection, was treated in a series of papers [1,2,3,4]. The formalism was applied to experiments exhibiting relevant aspects of quantum mechanics, such as entanglement, nonlocality, and other nonclassical features of light. In contrast to the usual Hilbert space formulation, where the corpuscular nature of light is stressed, the Wigner formalism resembles classical optics. More specifically, this alternative approach takes into account the coupling between the zeropoint field (ZPF) and the laser beam entering the nonlinear crystal. Moreover, the propagation of the light fields through the different optical devices is completely classical. A formal bridge between classical nonlinear optics and the quantum theory within the Wigner approach involves two elements without classical counterpart, such as the ZPF itself, entering into the crystal and the rest of optical devices, and the detection process, in which those vacuum fluctuations are substracted, giving rise to the typically quantum results.
The development of quantum information in recent years, alongside with the important role of parametric down conversion for experimental schemes, has motivated the application of the Wigner approach to some relevant contexts, up to now almost exclusively linked to the Hilbert domain. Examples of these are quantum cryptography [5], dense coding [6] and teleportation [7]. This research program seeks to apply an alternative explanation for that kind of phenomena, an explanation nevertheless consistent with quantum theory, and therefore with the usual Hilbert space formulation.
Recently, the Wigner formalism has been applied to experiments on quantum cryptography based on the Ekert's protocol [8], also including the presence of eavesdropping in the case of projective measurements. There, it was shown that the Heisenberg uncertainty principle, a key aspect in secure quantum cryptography, is related to the change of the correlation properties of light fields, after going through the optical devices in Alice's and Bob's setups. These correlation properties are affected by vacuum modes activated in the crystal, which give rise to quantum entanglement. Furthermore, the action of Eve introduces some noise, that also turns out to be fundamental to reproduce the quantum results [9].
Bell-state measurements constitute another key aspect in the field of quantum information, posing a relevant problem in quantum dense coding and teleportation schemes. In this context, entangled photon pairs produced in parametric down conversion have also been used in the last decades for experiments on partial Bell-state measurement [10], in which entanglement involves only one degree of freedom, and complete Bell-state measurement, in which hyperentanglement (entanglement between two or more degrees of freedom) takes part [11].
The paper is organized as follows: In section 2, we introduce the general description of the four Bell-states within the Wigner framework. This description involves the manipulation of only one beam. In this same section, we also study two-photon statistics at a balanced beam-splitter. In section 3 we study an experiment on partial Bell-state analysis [10]. Finally, in section 4, we discuss the results, making a comparison with the Hilbert space description.
2 Two-photon statistics at a beam-splitter in the Wigner approach We shall start this section by reviewing the basic concepts in the Hilbert framework [12]. The four Bell states (entangled in polarization) produced in the process of PDC are: where H (V ) represents linear horizontal (vertical) polarization. Let us suppose the two beams are recombined at a balanced beam splitter (BS). If |a and |b represent the input modes of the BS, the possible spatial states are: where A (S) denotes antisymmetric (symmetric). Due to the fact that the particles carrying the information are photons, the total state must obey the bosonic symmetry, so that the total two photon states are |Ψ + |ψ S , |Ψ − |ψ A , |Φ + |ψ S , |Φ − |ψ S . Assuming that the BS does not influence the internal state (polarization), the two-photon state can only be changed in the spatial part, via the Hadamard transformation, asĤ|a = (1/ √ 2)(|a + |b ) andĤ|b = (1/ √ 2)(|a − |b ). Owing toĤ|ψ A = |ψ A , only in this case the two photons emerge at the different outputs from the BS. In the other three cases, the two photons emerge together in one of the two outputs ports [13].
Let us now go to the Wigner formalism. The Wigner transformation stablishes a correspondence between a field operator acting on a vector in the Hilbert space and a (complex) amplitude of the field. In the case of zeropoint field, these amplitudes follow a particular stochastic distribution, given by the Wigner function of the vacuum.
Quantum predictions corresponding to the state |Ψ + are reproduced in the Wigner framework by considering the following two correlated beams outgoing the crystal [2]: where i and i ′ (j and j ′ ) are unit vectors representing horizontal (vertical) linear polarization at beams "1" and "2", and {α k i ,V ; α k i ,H } (i = 1, 2) represent four sets of relevant zeropoint amplitudes entering the crystal. The four set of modes { k i,λ } (i = 1, 2; λ ≡ H, V ) are "activated" and coupled with the laser beam inside the nonlinear medium.
As said before, amplitudes {α k,λ } follow a distribution given by the Wigner function of the vacuum field [1]: If A(r, t; {α}) and B(r ′ , t ′ ; {α}) are two complex amplitudes, the correlation between them is given by: In expressions (4) and (5), the only non vanishing correlations are those involving the combinations r ←→ s and p ←→ q. These correlations are directly related to the way in which the vacuum components are distributed inside the total field amplitudes.
The four Bell-states can be generated by manipulating only one beam, and this is related to the possibility of sending two bits of classical information via the manipulation of only one particle [6]. In the Wigner framework, the effect of a linear optical device on a beam accounts for a change on the distribution of zeropoint amplitudes inside the field components. Therefore, correlation properties are also changed. In ref. [9] we performed the same analysis on the four Bell states, this time considering a modification of the two beams, initially departing from the description of |Ψ + . In this paper, in order to keep consistency with the essence of dense coding, we will consider that the optical devices modify only one of the beams, while the other beam remains unchanged from its generation at Bob's station.
Let us now focus on the experimental setup in figure 1. The transformations at Bob's station are performed by a polarization rotator and a wave retarder. For instance, if we place a polarization rotator acting on beam "1", the plane of polarization of F (+) 1 will be rotated by an angle β. We can compute the field components behind the rotator in the following way: Now, let the wave retarder introduce a phase shift κ between the horizontal and vertical field components of beam "1". Taking into account the action of both optical devices, the expressions of the beams are: The combination β = 0, κ = 0 gives (4) and (5), corresponding to the state |Ψ + . On the other hand, for β = 0 and κ = π we obtain the description of |Ψ − : In both cases the horizontal component of one beam is correlated with the vertical component of the other, the only difference being the minus sign that appears in F ′′ (+) 1 in the case of |Ψ − . Finally, the case β = −π/2 and κ = π corresponds to the description of and β = −π/2, κ = 0 corresponds to the description of |Φ − : In these two cases we observe that the horizontal (vertical) component of one beam is correlated with the horizontal (vertical) component of the other, the difference being the minus sign that appears in F (+) 1 in the case of |Φ − . This description of the four Bell-states is equivalent to the one in [9]. Nevertheless, as we already pointed out, in this case we have modified only one of the two beams. The net effect of the polarization rotator and the wave retarder is similar to the one of a half-wave plate and a quarter-wave plate, used in [10].
We will now study the action of a balanced beam-splitter on the correlation properties of the light beams. For the sake of clarity, we suposse an identical distance separating the source from the BS's, so the contribution of the phase shift in equation (16) of [2] can be from here on ignored in our calculations.
Because there is one beam at each input port, it is not necessary to consider the vacuum field at the beam-splitter [14]. This time the BS does not introduce any additional noise to the one provided by the zeropoint field entering the crystal. The beams are represented by eqs. (9) and (10), r = r BS , r BS being the position of the beam-splitter where the two beams are recombined.
For the light beams at the outgoing channels we have: where We now calculate the cross correlations between the components of F (+) 1,out (r BS , t) and those of F (+) 2,out (r BS , t): 1. The correlation between the field components corresponding to the same polarization at the outgoing channels vanishes, independently of the values of κ and β. This is due to the fact that the contribution to the correlation of the transmitted components of the field is cancelled by the contribution of the reflected components: 2. For the correlation between the field components corresponding to different polarization and different outgoing channels, F As there is no path difference before the beam-splitter between F We can see that if β = π/2, i.e., the states |Φ ± , the latter correlations vanish. On the other hand, in the case of |Ψ + (κ = 0 and β = 0) these correlations are also null. Finally, only when β = 0 and κ = π, i.e., the state |Ψ − , these correlations are different from zero: 3. To conclude, we compute the correlations between the two field components of different polarization, corresponding to the same outgoing beam: It can be easily seen that the correlations above are different from zero only in for the state |Ψ + (κ = 0 and β = 0). In this situation:

Partial Bell-state analysis in the Wigner approach
Let us again consider the situation in figure 1. The nonlinear medium is an element of a quantum-optical experimental scheme for dense coding [10]. The two beams (4) and (5) are correlated through the zeropoint field entering the crystal, which is "amplified" via the activation of the four set of vacuum modes { k i,λ } (i = 1, 2; λ ≡ H, V ). The beam "1" can be modified at Bob's station, who can activate the polarization rotator and/or the wave retarder. Manipulation of beam "1" allows for the possibility of distributing the vacuum amplitudes in four different ways, so that the correlation properties of beams "1" and "2" can be modified and used for information encoding. In our framework, the possibility of sending two bits of classical information via the manipulation of one particle is explained through the change on the correlation properties of two beams when one of them is modified at Bob's station. Such correlations have their origin in the crystal, where the zeropoint modes are coupled with the laser field, and the information is carried by the amplified vacuum fluctuations [15]. The two beams are recombined at Alice's Bell-state analyser by means of a balanced beam-splitter (BS), and the horizontal and vertical polarization components of each outgoing beams are separated at the polarizing beamsplitters P BS1 and P BS2. Finally, all coincidence detection probabilities can be measured with the detectors DH1, DH2, DV 1 and DV 2.
We focus now on the fields at the detectors. We will suppose there is the same distance between the BS and any of the detectors, and again the phase factor corresponding to the propagation of the different amplitudes is irrelevant. Owing to the fact that each polaryzing beam-splitter reflects (transmits) the horizontal (vertical) polarization, the electric field at the detector (DH1, DV 1, DH2, DV 2) is the superposition of (iF ZP F,Alice2 ) is the vacuum field entering P BS1 (P BS2), for the field amplitudes at the detectors we have: where F To calculate joint detection probabilities we use (see equation (28) of [2]): where λ and λ ′ are polarization indices, and φ A and φ B represent controllable parameters of the experimental setup. For instance, let us show the calculation of P DH1,DH2 . For simplicity we focus on the ideal situation with t 1 = t 2 , and discard the dependence on position and time. We have: where we have taken into account that the ZPF inputs at the PBS's are uncorrelated with the signals and with each other. With (20), we finally obtain: The rest of the probabilities can be obtained similarly. By using (21), (23) and (25), we find: where k DH1,DV 2 , k DV 1,DH2 , k DH1,DV 1 and k DH2,DV 2 are constants related to the effective efficiency of the detection processes. From (33), (34), (35) and (36) we conclude: • Recording a coincidence of DH1 and DH2 (DV 1 and DV 2) is not possible, for whatever κ and β.

Discussion
We have applied the Wigner approach to study two-photon statistics at a balanced beam splitter. We have also treated an experimental setup for partial Bell-state analysis. The Wigner formalism allows for an interpretation of these experiments in terms of waves, but, however, the whole formalism lies inside the quantum domain, the zeropoint field being an alternative to the role of vacuum fluctuations in the Hilbert space.
As we already pointed out, once in the Wigner framework, the typical quantum results appear precisely as a consequence of the introduction of the zeropoint field. This vacuum field enters in the crystal and also in the rest of optical devices. Finally, it is substracted in the detection process. Quantum correlations can be then explained solely in terms of the propagation of those vacuum amplitudes through the experimental setup, and their subsequent substraction at the detectors.
At the beginning of section 2 we presented the fundamental ideas on twophoton statistics at a beam-splitter in the Hilbert space formalism, which account for the usual corpuscular description of light. In the Wigner framework, a clear counterpart to that description is found when, in order to preserve the bosonic character of the photons, the spatial part of the quantum state is forced to remain antisymmetric. This happens only for |Ψ − , and, in this case, the pair of photons behave as fermions at the beam-splitter, emerging at different output ports. For the other three Bell states, in which both the polarization and spatial parts of the two-photon state are symmetric, both particles emerge together at the same output port of the BS.
For the Wigner representation, the corpuscular aspect of light appears as just an interplay of (Maxwell) waves, including a zeropoint vacuum field. The action of the beam-splitter must be treated as in the classical framework: a part of each entering beam is transmitted, and the other part is reflected, without any change in their polarization properties. From (23), it can be seen that the correlation between the field components corresponding to different polarization and different outgoing channels vanishes for β = π/2 (states |Φ ± ), and also for κ = 0 (state |Ψ + ). In this last case, the factor i 2 indicates that the contribution to the correlation of the transmitted components is cancelled by the contribution of the reflected components. Nevertheless, in the case of |Ψ − there is a constructive superposition of the two terms in (23). In other words, the net effect of the phase shift κ = π and the beam-splitter in the field amplitudes is to leave correlations unchanged. This is equivalent, in the Hilbert space, to the fact that |ψ A (see eq. (3)) is an eigenstate of the Hadamard operator.
At this point it is worth to stop again at the question: how can we explain a typical particle behaviour (the bosonic nature of photons in the Hilbert space description), from a wavelike description, just with the inclusion of vacumm fluctuations of the electromagnetic field? By inspection of (9) and (10), it can easily be seen that, only in the case of |Ψ − , the exchange 1 ←→ 2 implies a sign flip in the correlation properties of the beams (they remain equal in the other three cases). The bosonic nature of photons is completely represented by the correlation properties that characterize each of the four Bell-states. If now Bob activates just the wave retarder, this gives rise to a change, not only in the internal (polarization) state, but also in the spatial part of the quantum state, in order to keep the requirement of boson symmetry. This "double" effect is explained in the Wigner formalism by taking into account the way in which the zeropoint field is coupled inside the crystal [2].
The Bell-state measurement performed at Alice's station only identifies the states |Ψ − and |Ψ + . We complete our picture here by pointing out the analyzer introduces some fundamental noise at the idle channels of the polaryzing beam splitters. These zeropoint fluctuations, although they will (again) be finally substracted at the detectors, and (again) hold no correlation with the signals, turn out to be the fundamental ingredient of the Wigner approach to this experimental setups. A quick look at figure 1 shows that there are four relevant sets of vacuum modes entering the crystal, in which the quantum information is "carried", and another two sets of vacuum modes entering the PBS's, containing only zeropoint field. This image constrasts to the usual "qubit language", where "particles carry the information" [12].
Recently, the problem of performing complete Bell-state measurements has been solved by considering a higher number of degrees of freedom (hyperentanglement). Hyperentanglement is also a convenient resource for some other recent and important applications in the field of quantum computing. An example of these is one-way quantum computation using clusters states [16]. The use of Hilbert spaces of higher dimension is related, within the Wigner formalism, to the inclusion of more sets of vacuum modes entering the crystal. With increasing number of vacumm inputs, the possibility for extracting more information from the zeropoint field also increases. For instante, the momentum-polarization hyperentanglement needs, in the Wigner framework, the consideration of 8 sets of relevant modes of the zeropoint field