scieee AI-readable full text Open interactive document viewer

From Stochastic Optics to the Wigner Formalism: The Role of the Vacuum Field in Optical Quantum Communication Experiments

Casado Rodríguez, Alberto; Guerra, Santiago; Plácido, José

Abstract

The Wigner formalism in the Heisenberg picture constitutes a bridge that connects Quantum Optics to Stochastic Optics. The vacuum field appears explicitly in the formalism, and the wavelike aspects of light are emphasised. In addition, the zeropoint intensity as a threshold for detection is a common denominator in both theories. In this paper, after summarising the basic rules of the Wigner approach and its application to parametric down-conversion, some new results are presented that delve into the physical meaning of the zeropoint field in optical quantum communication. Specifically, the relationship between Bell-state distinguishability and the number of sets of zeropoint modes that take part in the experiment is analysed in terms of the coupling between the phases of the different fields involved and the subtraction of the zeropoint intensity at the detectors. Additionally, the connection between the compatibility theorem in quantum cryptography and zeropoint field is stressed.

Full text

atoms Article From Stochastic Optics to the Wigner Formalism: The Role of the Vacuum Field in Optical Quantum Communication Experiments Alberto Casado 1,*, Santiago Guerra 2and José Plácido 2 1Departamento de Física Aplicada III, Escuela Técnica Superior de Ingeniería, Universidad de Sevilla, 41092 Sevilla, Spain 2Grupo de Ingeniería Térmica e Instrumentación, Universidad de Las Palmas de Gran Canaria, 35017 Las Palmas de Gran Canaria, Spain *Correspondence: [email protected] Received: 31 May 2019 ; Accepted: 28 July 2019 ; Published: 7 August 2019   Abstract: The Wigner formalism in the Heisenberg picture constitutes a bridge that connects Quantum Optics to Stochastic Optics. The vacuum field appears explicitly in the formalism, and the wavelike aspects of light are emphasised. In addition, the zeropoint intensity as a threshold for detection is a common denominator in both theories. In this paper, after summarising the basic rules of the Wigner approach and its application to parametric down-conversion, some new results are presented that delve into the physical meaning of the zeropoint field in optical quantum communication. Specifically, the relationship between Bell-state distinguishability and the number of sets of zeropoint modes that take part in the experiment is analysed in terms of the coupling between the phases of the different fields involved and the subtraction of the zeropoint intensity at the detectors. Additionally, the connection between the compatibility theorem in quantum cryptography and zeropoint field is stressed. Keywords: stochastic electrodynamics; Wigner representation; zeropoint field; parametric down-conversion; entanglement; quantum communication; Bell-state measurement 1. Introduction Stochastic Electrodynamics (SED) was independently developed by T. W. Marshall [ 1 – 3 ] and T. Boyer [ 4 , 5 ] in the 1960s in order to give a classical explanation of quantum phenomena in terms of a real stochastic zeropoint field. While notable successes have been achieved by SED through time, some important problems have not yet been solved. From our point of view, the not-yet-solved fundamental problems of quantum mechanics require further research into the arena of SED. Perhaps these problems will be overcome when we are able to understand how the zeropoint field affects things, including gravity [6,7]. A branch of SED in the field of optics, the so-called Stochastic Optics (SO), devised by T. W. Marshall and E. Santos [ 8 , 9 ], emerged in the early 1980s as an alternative to Quantum Optics (QO). The goal of SO is to explain the experimental results using the zeropoint field (ZPF) instead of the photon concept as a particle, returning to the idea of light as something intrinsically undulatory. The detection of photons is understood from the subtraction to the total intensity of the corresponding one to pure zeropoint field at the position of the detector. It was in the 1990s when QO and SO found a bridge through quantum mechanics in phase space [ 10 , 11 ]. The Wigner formalism of QO resumes the idea of the zeropoint as a threshold for detection, and explicitly shows the effects of the vacuum field in the experiments. In general, the Wigner distribution is not positive-definite, which constitutes a break with respect to the point of view of SO. However, as it has been argued, when the signals are Atoms 2019,7, 76; doi:10.3390/atoms7030076 www.mdpi.com/journal/atoms Atoms 2019,7, 76 2 of 22 described according to actual experimental parameters the area of negativity of the Wigner function in phase space decreases [12]. For a long time, experiments with photons produced in parametric down-conversion (PDC) have been performed with the aim of showing non-classical aspects of light [ 13 – 15 ] and testing Bell’s inequalities [ 16 ], as well as in the field of quantum communication [ 17 ]. The Wigner representation of quantum optics in the Heisenberg picture (WRHP) opened the possibility of studying PDC experiments using classical evolution equations by simply adding the zeropoint field at the entrance of the crystal, and by taking into consideration the vacuum inputs at the different linear optical devices placed between the source and the detectors. The WRHP approach was applied to type-I PDC [ 18 , 19 ] and type-II PDC [ 20 ] within a Hamiltonian model, along with the theory of single and joint detection. The positivity of the Wigner function in PDC opened the door to a stochastic interpretation of the generated fields and its propagation through linear optical devices. Precisely, polarisation entanglement is understood in terms of correlated waves through the coupling of the vacuum field with the laser beam inside the nonlinear source. Experiments on non-classical aspects of light and Bell’s inequalities were analysed showing that the WRHP formalism constitutes an alternative way of analysing the experiments for calculation and interpretation purposes [ 21 ]. The quantum behavior was then transferred to the detection due to the appearance of “negative probabilities”, given that the total intensity can remain below the zeropoint threshold for certain realisations of the field. Furthermore, the theory of PDC was developed starting from the quantised Maxwell equations and passing to the Wigner formalism, in order to calculate the correlation time between the signal and idler fields [ 22 ] and the spectrum of light [ 23 ] in terms of typical experimental parameters. A similar treatment was given to the study of parametric down and up conversion [ 24 , 25 ]. For related experiments involving the process of parametric up conversion of the vacuum, see the work in [ 26 – 28 ]. In [ 20 , 23 ], detailed discussions about the similarities and differences between the WRHP approach of Bell-type experiments using PDC, and a local realistic theory in which the hidden variables are represented by the ZPF amplitudes, can be consulted. Some reasonable hypotheses concerning the diminishment of the intensity fluctuations, by means of integrations over the surface and the time window of the detectors, could give rise to a possible way to link them by performing a modification of the quantum theory of detection in order to eliminate the “negative probabilities”. In [ 29 , 30 ], a local hidden variable model based on a real zeropoint field is presented, along with the conditions for this model to be compatible with the experimental results. Nevertheless, given the constraint imposed by the necessity of a minimum value of the intensity fluctuations [31,32], it prevents a full agreement between these models and the results concerning joint detection experiments. In recent years, the WRHP formalism has been applied to the analysis of the influence of the vacuum field in experiments on quantum communication using PDC: (i) The first study focused on the Ekert’s cryptography protocol and the fundamental role of the ZPF in eavesdropping attacks [ 33 ]. (ii) Partial and complete Bell-state analyses have been investigated, and it has been shown that the number of vacuum inputs at the experimental setup is closely related to the capacity to distinguish Bell states [ 34 , 35 ]. (iii) Entanglement swapping and the Rome teleportation experiment have been studied in order to give a different point of view of teleportation, based on the correlations mediated by the zeropoint field. The projection postulate is replaced by the consideration of a suitable contribution of vacuum inputs at the analysers [36,37]. The WRHP formalism has the peculiarity of highlighting the importance of the vacuum field in the transport, conformation and measurement of optical quantum information. Its relevance as an interpretive alternative to orthodox QO, and consistent to SO, is represented by the following underlying assumptions: (i) the quantum information is stored in the vacuum amplitudes, which are amplified at the source; (ii) entanglement is just an interplay of correlated waves; and (iii) the idle channels located inside the analysers constitute a fundamental source of noise that limits the information that can be extracted in the measurement. Atoms 2019,7, 76 3 of 22 In this paper, we investigate the role of the ZPF amplitudes as hidden variables in optical quantum communication. Although this step is given without having solved the problem of detection in SO, new insights are achieved that reinforce the role of the zeropoint field in the experiments. The paper is organised as follows. In Section 2, the basic aspects of WRHP formalism of PDC are reviewed, along with recent contributions of this approach to Bell-state distinguishability. In Section 3, we study the relationship between Bell-state measurement (BSM), the role played by the vacuum amplitudes as stochastic variables, and the number of sets of zeropoint modes in a basic experiment in which the two photons do not interact. This relation has been previously demonstrated by a heuristic approach, and it has been applied to BSM of two photons hyperentangled in momentum and polarisation [ 35 ]. Section 4is devoted to investigating the relationship between zeropoint field and the compatibility theorem in quantum key distribution. In Section 5, we analyse a teleportation experiment based on the Popescu’s scheme [ 38 ], in which the qubit to be teleported is encoded in the momentum degree of freedom of one of the two entangled photons in polarisation. In [ 37 ], the relationship between zeropoint field and the distinguishability of the four one-photon polarisation–momentum Bell-states was demonstrated by a heuristic argument, and here we give a fully consistent proof based on the coupling between the phases of the fields involved. Finally, in Section 6, we discuss the main conclusions of our work. The common denominator in the analyses given in Sections 3–5is the calculation of the field amplitudes at the detectors according to the corresponding setup, along with the expression of the intensity of light in terms of the modulus and phase of the different fields involved. The noise subtraction at the detectors constitute the last step of each analysis. New physical insights are given according to the consideration of the underlying assumptions concerning the role of the vacuum field supported by SO. 2. The WRHP Formalism of QO In this section, the fundamental aspects of the Wigner formalism in the Heisenberg picture are reviewed [ 18 – 20 ]. From now on, we refer to the electric field corresponding to narrow light beams, containing frequencies in an interval between ωmin and ωmax , and wave vectors whose transversal components are limited by an upper bound: ωmin <ωk<ωmax,|ktr|  ωmin c. (1) The electric field operator is expressed by the sum of two mutually conjugated operators ˆ E(r,t) = ˆ E(+)(r,t) + ˆ E(−)(r,t), (2) ˆ E(+)(r,t) = i∑ [k],λ¯hωk 2L31 2 e e ek,λˆ ak,λ(t)eik·r. (3) L3 is the normalisation volume and ˆ ak,λ(t) is the annihilation operator for a photon with wave vector k and polarisation vector e e ek,λ , where ωk=c|k| . The sum is restricted to the set of modes that verify Equation (1). Equation (3) corresponds to the Heisenberg picture, where all time dependence is included in the creation and annihilation operators ˆ a† k,λ(t) and ˆ ak,λ(t) . The evolution of the operator ˆ ak,λ(t) is described by the equation: ˙ ˆ ak,λ=1 i¯h[ˆ ak,λ,ˆ H], (4) where ˆ His the Hamiltonian. For instance, for the free electromagnetic field ˆ ak,λ(t) = ˆ ak,λ(0)e−iωkt. (5) Atoms 2019,7, 76 4 of 22 For situations in which there is an interaction between electromagnetic fields, this dependence is more complex and contains all the dynamics of the process. In the Heisenberg picture, the state of the field is represented by a time independent density operator ˆ ρ. The Wigner transformation establishes a correspondence between the density operator and a distribution function in phase space: W(α,α∗) = Tr[ˆ ρΦ(α,α∗)] ;α≡αk,λ, (6) where Φ(α,α∗) = ∏ [k,λ] 1 π2Zeβk,λ(ˆ a† k,λ−α∗ k,λ)−β∗ k,λ(ˆ ak,λ−αk,λ)d2βk. (7) The operators ˆ E(+)(r , t) and ˆ E(−)(r , t) are replaced by complex amplitudes, the annihilation operators ˆ ak(t) being replaced by random variables αk(t) , and the creation operators ˆ a† k(t) by α∗ k(t) . Then, the electric field of a light beam is represented by the amplitude: E(+)(r,t) = i∑ [k],λ¯hωk 2L31 2 e e ek,λαk,λ(t)eik·r. (8) The evolution equation for the amplitude αk,λ(t) is given by the Moyal equation [ 39 ]. A crucial property is that this equation coincides with the one derived from the application of the Heisenberg equation of motion (see Equation (4)) in the case that the Hamiltonian is quadratic, which gives rise to linear evolution equations. 2.1. The Vacuum Field The vacuum state is represented by a stochastic field: Ev(r,t) = E(+) v(r,t) + E(−) v(r,t), (9) where E(+) v(r,t) = i∑k,λ¯hωk 2L31 2αk,λe e ek,λei(k·r−ωkt). (10) The lowercase letter “ v ” refers to vacuum or zeropoint field. The amplitudes α∗ k,λ and αk,λ are distributed according to the Wigner function for the vacuum state, which corresponds to the Gaussian [19]: W(α) = ∏k,λ2 πe−2|αk,λ|2.(11) From Equation (11), the following correlation properties are fulfilled: αk,λαk0,λ0≡ZdαW(α)αk,λαk0,λ0=0, (12) Dα∗ k,λα∗ k0,λ0E≡ZdαW(α)α∗ k,λα∗ k0,λ0=0, (13) Dαk,λα∗ k0,λ0E≡ZdαW(α)αk,λα∗ k0,λ0=1 2δk,k0δλ,λ0. (14) The consideration of Equations (11)–(14) in the study of the stochastic properties of the zeropoint radiation entails that the ZPF is a field of zero mean value, with an average energy per mode equal to (1/2)¯hω, and identical fluctuations. Atoms 2019,7, 76 5 of 22 2.2. The Theory of Detection From now on, we work with slowly varying fields F(+)(r , t) instead of the amplitudes E(+)(r , t) , the relation between them being F(+)(r,t) = eiωstE(+)(r,t),(15) where ωsis the central frequency of the beam. The relationship between F(+)(rB,t)and F(+)(rA,t)is F(+)(rB,t)=F(+)rA,t−rAB ceiωsrAB c, (16) where rAB =rB−rAand rAB =|rAB|. In the Wigner formalism, the expression for the single detection probability is: PA∝hIA−Iv,Ai, (17) where IA∝EA(+) ·EA(−)=FA(+) ·FA(−) , in appropriate units, is the intensity of light arriving at the detector, and Iv,A corresponds to the average intensity of the zeropoint field. Equation (17) is completely equivalent to the standard single detection theory in the Hilbert formalism, which is based on the normal ordering of operators. This equation is similar but not equivalent to the corresponding one in SO: PA∝{IA−Iv,A}+, (18) where {}+means putting zero if the bracket is negative [9]. Let us now consider joint detection. The corresponding expression is more complicated and involves more terms than the mere subtraction of the zeropoint intensity at the detectors [ 19 ]. In experiments where the field operators at two detectors A and B commute, as in the case of Bell-type experiments, the joint detection probability can be expressed: PAB ∝h(IA−Iv,A)(IB−Iv,B)i. (19) The proportionality constants in Equations (17) and (19) are irrelevant for many purposes, including the test of those “Bell’s inequalities” which are derived using additional hypotheses [ 40 ]. However, those constants are very important for the test of genuine Bell’s inequalities, derived from local realism alone. Consequently, we write Equations (17) and (19) in the following form: Pj=ZW(α)Qj(α,φj)dα, (20) PAB =ZW(α)QA(α,φA)QB(α,φB)dα, (21) Qj(α,φj) = ηj(hνj)−1ZdtjZd2rjIj(α,φj,rj,tj)−Iv,j;j=A,B. (22) IA and IB are complicated functions of the amplitudes α which take account of the evolution, including the effect of the source and the various optical devices present in the experiment. These devices may contain controllable parameters which have been labeled as φA and φB . The integrals extend over an appropriate detection window and the surface aperture of the detector. Finally, ηj is the quantum efficiency of the detector. 2.3. Type II PDC in the WRHP Formalism Parametric down-conversion is characterised by having a quadratic Hamiltonian which gives rise to linear evolution equations for the mode operators. The state (independent of time) that characterises the laser beam is a coherent state of the electromagnetic field, which in the Wigner formalism consists Atoms 2019,7, 76 6 of 22 of the superposition of a classical wave and zeropoint radiation. As a result of the coupling between the pumping V(r , t)=(Vpexp[ikp·r−ωpt] + c . c .) u , u being a unit vector perpendicular to kp , and the zeropoint field inside the crystal (see Equation (10)), two type-II radiation cones are generated, which are composed of pairs of conjugated beams with orthogonal polarisations [20]: F(+) e(r,t) = F(+) e(r,t)e e ee = [F(+) e,v(r,t) + gVpGF(−) o,v(r,t) + g2|Vp|2JF(+) e,v(r,t)]e e ee, (23) F(+) o(r,t) = F(+) o(r,t)e e eo = [F(+) o,v(r,t) + gVpGF(−) e,v(r,t) + g2|Vp|2JF(+) o,v(r,t)]e e eo, (24) where e stands for extraordinary (i.e., horizontal “H”) polarisation, o stands for ordinary (i.e., vertical “V”) polarisation, and e e ee·e e eo=0. Here, F(+) e,vand F(+) o,vare the incoming vacuum fields, i.e., F(+) e,v(r,t) = i∑ [k]e¯hωek 2L31 2eik·rei(ωe−ωek)tαek, (25) F(+) o,v(r,t) = i∑ [k0]o¯hωok0 2L31 2eik0·rei(ωo−ωok0)tαok0. (26) G and J are linear operators defined elsewhere [ 20 ]. Their main effect is to select a set of modes that fulfills the matching conditions k+k0≈kpand ωk+ωk0≈ωp. By using Equation (16), the cross-correlations, at any position and time, can be expressed in terms of the corresponding ones at the centre of the nonlinear source. We have: hF(+) e(0,t)F(+) o(0,t0)i=gVpν(t0−t), (27) where ν(t0−t) is a function which vanishes when |t0−t| is greater than the correlation time between the amplitudes F(+) e and F(+) o . On the other hand, by considering the amplitude F(+) e at the position r and times tand t0, the following autocorrelation property holds: hF(+) e(r,t)F(−) e(r,t0)i−hF(+) e,v(r,t)F(−) e,v(r,t0)i=g2|Vp|2µ(t0−t),(28) where µ(t0−t) is a correlation function which goes to zero when |t0−t| is greater than the coherence time of PDC light. A similar expression holds for F(+) o. In PDC experiments involving polarisation, the following expression for the joint detection probability is used for calculation purposes: PAB(r,t;r0,t0)∝∑ λ ∑ λ0|hF(+) λ(φA;r,t)F(+) λ0(φB;r0,t0)i|2. (29) 2.4. Entanglement and Zeropoint Field A key point of the WRHP formalism is the description of polarisation entanglement. In the standard Hilbert-space description entanglement corresponds to a superposition in tensor product of Hilbert spaces. For instance, the four polarisation Bell states constitute a basis for two photons maximally entangled in polarisation: |Ψ±i=1 √2[|Hi1|Vi2±|Vi1|Hi2], (30) Atoms 2019,7, 76 7 of 22 |Φ±i=1 √2[|Hi1|Hi2±|Vi1|Vi2]. (31) In type-II PDC, due to the matching conditions, the ordinary and extraordinary beams exit in the form of two cones, with a specific polarisation each. These two cones intersect in two points. Therefore, the beams in these intersections give rise to an interplay of correlated waves, through the distribution of the vacuum amplitudes in the different polarisation components of the field [ 20 ]. For instance, the quantum predictions corresponding to the polarisation states |Ψ±i= (1/√2)(|ei1|oi2±|oi1|ei2)|k1i|k2iare reproduced in the Wigner framework by considering the following two correlated beams F(+) 1(r,t) = F(+) e(r,t;{αk1,e;α∗ k2,o})i1+F(+) o0(r,t;{αk1,o;α∗ k2,e})j1, (32) F(+) 2(r,t) = F(+) e0(r,t;{αk2,e;α∗ k1,o})i2+eiχF(+) o(r,t;{αk2,o;α∗ k1,e})j2, (33) where χ= 0 ( χ=π ) stands for |Ψ+i ( |Ψ−i ). {αki,λ}≡{αk,λ ; k∈[k]i} ( i= 1, 2; λ=e , o ) represents the set of zeropoint amplitudes corresponding to the polarisation λ of the entering zeropoint beam with wave vector ki (see Figure 1). The sets of zeropoint amplitudes that appear in each electric field component have been included for a better understanding of the correlation properties that characterise entanglement in the WRHP formalism. In Equations (32) and (33), the only non-vanishing cross-correlations are those concerning e↔o and e0↔o0 , which is a consequence of Equations (12)–(14). On the other hand, the states |Φ±i= ( 1 /√2)(|ei1|ei2±|oi1|oi2)|k1i|k2i are described using the correlated beams [33]: F(+) 1(r,t) = F(+) e(r,t)i1+F(+) o0(r,t)j1(34) F(+) 2(r,t) = eiχF(+) o(r,t)i2+F(+) e0(r,t)j2,(35) where χ=0 (χ=π) stands for |Φ+i(|Φ−i).  v',o F  v',e F k2   v,e F k1  v,o F Lase r Source    1 F    2 F Figure 1. Polarisation entanglement arises as a consequence of the coupling of the laser and four sets of zeropoint modes, two for each input direction. 2.5. ZPF and the Limits on Optimal BSM Bell-state analysis is a key aspect in quantum information [ 41 ]. In optical communication, it is well-known that a complete distinguishability of the four Bell-states of two photons entangled in one degree of freedom (see Equations (30) and (31)) is not possible, by using only linear evolution and local measurement (LELM) [ 42 ]. Hyperentanglement is a good resource for getting complete distinguishability [ 43 ]. However, increasing the dimensionality of the Hilbert space also opens the possibility of exploring the capacity for maximal distinguishability. Atoms 2019,7, 76 8 of 22 This subject has brought about a lot of theoretical works, of which we summarise the main results [ 44 ]. Let us consider two bosons entangled in n dichotomic degrees of freedom. The dimension of the Hilbert space is 4 n , and the maximal distinguishability of Bell-like states using LELM is bounded above by 2 n+1 : a single detection event at any of the 2 n+1 detectors does not discriminate Bell states, so that the maximal distinguishability is bounded by the 2 n+1 possibilities for the second detection. The maximum number of distinguishable Bell-states classes depends on the way in which the two particles propagate through the setup. If they are not brought together, the maximal distinguishability is 2 n (each single detection area contains 2 n detectors). If the two bosons interact at the apparatus, the maximum number of Bell-state classes that can be distinguished is equal to 2 n+1− 1. For instance, for n= 1, the dimension of the Hilbert space is 4, the maximal distinguishability is equal to 2 if the two particles are not mixed at the apparatus, and 3 if they interact. Then, for n= 1, it is not possible to distinguish the four Bell-states. The original contribution of the WRHP approach to the subject of optical BSM is based on the counting of the different zeropoint inputs at the setup. Hyperentanglement implies the “activation” of a greater number of sets of ZPF modes at the source. As it has been proved elsewhere [ 35 ], the upper bound to maximal distinguishability (2 n+1 ) just corresponds to the number of sets of ZPF modes that are amplified at the source of entanglement ( NZPF,S= 2 n+1 ). On the other hand, measuring implies the existence of a fundamental noise inside the analyser, which limits the information that can be obtained. The zeropoint modes entering the idle channels inside the analyser must be subtracted, in an appropriate manner, to the number of sets of amplified ZPF modes entering the analyser, in order to obtain the maximal distinguishability. If the two photons propagate from the source to the detectors via separated spatial channels, i.e., the photons do not interact, it has been demonstrated that the maximal distinguishability, Nmax,class , is equal to the difference between the number of sets of amplified ZPF modes that enter the analyser, NZPF,A , and the number of sets of ZPF modes entering the area corresponding to a single detection event, Nnoise Single det.area, which is located inside the analyser. Hence, Nmax,class =NZPF,A−Nnoise Single det.area , (36) where NZPF,A coincides to NZPF,S in the case in which there are no additional ZPF inputs between the source and the analyser (NZPF,A=NZPF,S=2n+1). On the other hand, Nnoise Single det.area =Nnoise ZPF,A 2, (37) with Nnoise ZPF,A =2 n+1 being the total number of sets of ZPF modes that enter the idle channels inside the analyser. In this way, Nmax,class =2n+1−2n=2n. (38) This result coincides with the one predicted in [ 44 ]. The case n = 2 (polarisation–momentum hyperentanglement) has been studied with the WRHP approach in [ 35 ]. On the other hand, Equation (36) has been recently applied to the analysis of the four polarisation–momentum Bell-states corresponding to only one photon [37]. 3. Polarisation Entanglement, Zeropoint Field, and BSM The motivation for this section comes from the following question: How do the ZPF amplitudes act in BSM, so that Equation (36) is fulfilled in the case n= 1? Let us consider the following basic setup. Four sets of ZPF amplitudes entering the crystal are amplified, giving rise to two correlated beams. Two polarising beam-splitters, PBS1 and PBS2, separate the horizontal and vertical components of the light fields, which are detected at DT1, DR1, DT2 and DR2 (see Figure 2). The two sets of Atoms 2019,7, 76 9 of 22 ZPF amplitudes entering the idle channels of each PBS are crucial. In this case, NZPF,S = NZPF,A = 4, and Nnoise ZPF,A= 4, in such a way that Nnoise Single det.area = 2. It follows that Nmax,class =4−2=2. (39) In this experiment, the first class corresponds to the states |Ψ+i and |Ψ−i . A joint detection can be produced at detectors DR1 and DT2, or DT1 and DR2. On the other hand, the second class contains the states |Φ+i and |Φ−i : the joint detection can be given at detectors DR1 and DR2, or DT1 and DT2. As a conclusion, this setup is unable to distinguish the value of χ. The joint detection probabilities for this basic setup, calculated with the WRHP approach, can be consulted in [33]. Let us now proceed to give a physical interpretation of Equation (39) based on the role of the zeropoint amplitudes as “hidden” stochastic variables. For simplicity, we consider an identical distance separating the crystal from the respective PBSs and detectors, in such a way that the phase shift in Equation (16) can be ignored. In addition, we take tA = tB in Equation (19), so that the spacetime dependence is discarded. From Equations (23), (24), (32) and (33), we have: F(+) 1=   F(+) e F(+) o0   =   (1+g2|V|2J)F(+) e,v1+gVGF(−) o,v2 (1+g2|V|2J)F(+) o,v1+gVGF(−) e,v2   , (40) F(+) 2=   F(+) e0 eiχF(+) o   =   (1+g2|V|2J)F(+) e,v2+gVGF(−) o,v1 eiχ[(1+g2|V|2J)F(+) o,v2+gVGF(−) e,v1]   , (41) where we have made the change Vp→V = Vp/√2 , in order to consider that the energy of the classical wave corresponding to the laser, which is proportional to the squared amplitude, must be divided into four amplitudes. On the other hand, χ= 0 ( χ=π ) stands for |Ψ+i ( |Ψ−i ), and F(+) vi = (F(+) e,vi , F(+) o,vi ) (i= 1, 2 ) represents the vacuum beam entering the crystal with wave vector ki . If we were considering the states |Φ+i and |Φ−i , Equation (40) would not change, but the horizontal and vertical components should be exchanged in Equation (41). Taking into consideration the zeropoint field entering the idle channel of each PBS, which transmits (reflects) horizontal (vertical) polarisation, the field amplitudes at the detectors DT1, DR1, DT2 and DR2, are: F(+) DT1=   (1+g2|V|2J)F(+) e,v1+gVGF(−) o,v2 iF(+) ZPF1,V   , (42) F(+) DR1=   F(+) ZPF1,H i[(1+g2|V|2J)F(+) o,v1+gVGF(−) e,v2]   , (43) F(+) DT2=   (1+g2|V|2J)F(+) e,v2+gVGF(−) o,v1 iF(+) ZPF2,V   , (44) F(+) DR2=   F(+) ZPF2,H ieiχ[(1+g2|V|2J)F(+) o,v2+gVGF(−) e,v1]   , (45) Atoms 2019,7, 76 16 of 22 BBO )2( )( v  F ZPF3 (2) ZPF4 (2) M1 BS1 (R,T)  λ/4 λ/2 PR(900) M3 PBS4 (0o) D5 4 , SZPF N (d) Bob´s station 6 , AZPF N c2 d2 c1 d1 M2 D4 BS2 c'1 )2( )( 1v  F )2( )( 2v  F Laser a1 b2 PBS1 (0o) (a) Source D6 D3 D2 D1 PBS2 (45o) 4 , noise AZPF N PBS3 (45o) (b) Preparer (c) Alice´s station Classical communication (e) Verification station HWP HWP M4 ZPF2 (2) d'1 Figure 4. Zeropoint field entries corresponding to the diagram of the setup for teleportation [ 51 ]. The information concerning the number of sets of ZPF modes is written in brackets. ( a ) Source ( NZPF,S= 4). The inputs F(+) v1 and F(+) v2 , each of them containing two sets of vacuum modes, are activated and coupled with the laser inside the crystal, so that polarisation entanglement is generated. (b)Preparer. BS1 is a variable (R,T) beam-splitter that introduces a pair of additional sets of vacuum modes, which are necessary to prepare photon 1 in the momentum state Texp(iφ)|ci1+iR|di1 . This state is teleported to photon 2 by using polarisation entanglement. ( c ) Bell-state analyser ( NZPF,A= 6). PBS1 does not introduce additional zeropoint modes. PBS2 and PBS3 transmit 45 ◦ polarisation and reflect − 45 ◦ . Each of them adds two pairs of zeropoint modes ( Nnoise ZPF,A= 4). ( d ) Bob’s station . After knowing which detector clicked, Alice communicates through a classical channel the necessary information to Bob in order to reproduce the momentum state of photon 1 in photon 2, by just performing a unitary transformation. He uses quarter-wave-plate ( λ/ 4) and half-wave-plate ( λ/ 2), PBS4 and a polarisation rotator PR(90 ◦ ). The idle channel of PBS4 introduces two sets of vacuum modes which are necessary in order to reproduce the prepared state. ( e ) Verification station . The rest of the setup on Bob’s side, a balanced beam-splitter BS2 and detectors D5 and D6, is intended to check that teleportation has been successful. At this point, we analyse the cross-correlation properties of the light fields. The vacuum amplitudes entering the different polarising beam-splitters are uncorrelated with the signals and with each other. On the other hand, by taking into account that hF(+) eF(+) oi = hF(+) e0F(+) o0i ≡ gVν( 0 ) (see Equation (27)), we have: hF(+) D1,HF(+) c2,Hi=−gVν(0)Te √2 iφ;hF(+) D1,HF(+) d2,Hi=−igVν(0)R √2,(75) hF(+) D2,VF(+) c2,Hi=igVν(0)Te √2 iφ;hF(+) D2,VF(+) d2,Hi=gVν(0)R √2,(76) hF(+) D3,VF(+) c2,Hi=−gVν(0)R √2;hF(+) D3,VF(+) d2,Hi=−igVν(0)T √2eiφ,(77) hF(+) D4,HF(+) c2,Hi=−igVν(0)R √2;hF(+) D4,HF(+) d2,Hi=−gVν(0)T √2eiφ.(78) The former equations contain the intrinsic nature of teleportation, which is mediated by the distribution of the ZPF amplitudes in each electric field component. By comparing Equations (64) Atoms 2019,7, 76 17 of 22 and (75), we deduce that a photodetection at detector D1 would give rise to the teleportation of the prepared state to Bob’s photon. A detailed analysis of the reconstruction of the state in the WRHP approach can be consulted in [37]. For the verification measurements, beams F(+) c2 and F(+) d2 enter a balanced non-polarising beam-splitter BS2. The field amplitudes at the detectors D5 and D6 are: F(+) D5=1 √2   i(F(+) e0+F(+) o) −F(+) ZPF4,V−F(+) ZPF4,H   , (79) F(+) D6=1 √2   F(+) e0−F(+) o i(F(+) ZPF4,V−F(+) ZPF4,H)   . (80) The joint detection probabilities are easily calculated by using Equation (29) and by taking into account the correlation properties given by Equations (75)–(78). For instance, by considering the detector D1, we have: PD1,D5∝1+2TR cos φ, (81) PD1,D6∝1−2TR cos φ, (82) and similar Equations hold for D2 by exchanging the + and − signs in Equations (81) and (82). Finally, the corresponding expressions concerning D3 (D4) are the same as for D1 (D2). 5.1. Hidden Variables and Complete One-Photon Polarisation–Momentum Bell-State Analysis In this experiment, NZPF,S= 4 is the number of sets of ZPF modes that are activated at the nonlinear crystal. The Preparer introduces two additional sets of ZPF modes through F(+) v , so that NZPF,A= 6. By taking into account that there are two idle channels inside the analyser, each introducing two sets of ZPF modes, we have Nnoise ZPF,A= 4. By applying Equations (36) and (37), the maximal distinguishability is: Nmax,class =NZPF,A−Nnoise ZPF,A 2=6−2=4. (83) This result was demonstrated in [ 37 ] by using a heuristic argument. Now, Equation (83) is proved based on the consideration of the role of the ZPF amplitudes as hidden stochastic variables. Let us calculate the total intensity corresponding to the exit channels of PBS1, d0 1 and c0 1 . By putting F(+) e=|F(+) e|exp(iϕe) , F(+) o0=|F(+) o0|exp(iϕo0) , F(+) v,H=|F(+) v,H|exp(iϕv,H) and F(+) v,V=|F(+) v,V|exp(iϕv,V) , we have, by using Equations (68) and (69): Id0 1=Id0 1H+Id0 1V =R2|F(+) e|2+T2|F(+) v,H|2−2TR|F(+) e||F(+) v,H|sin α1 +T2|F(+) o0|2+R2|F(+) v,V|2+2TR|F(+) o0||F(+) v,V|sin α2, (84) Ic0 1=Ic0 1H+Ic0 1V =T2|F(+) e|2+R2|F(+) v,H|2+2TR|F(+) e||F(+) v,H|sin α1 +R2|F(+) o0|2+T2|F(+) v,V|2−2TR|F(+) o0||F(+) v,V|sin α2, (85) Atoms 2019,7, 76 18 of 22 where α1=ϕe−ϕv,H;α2=ϕo0−ϕv,V.(86) The phases of the signal beam, F(+) 1 , and the zeropoint field entering the beam-splitter, F(+) v , are coupled so that the light intensities Id0 1 and Ic0 1 are anticorrelated: if two detectors were placed in channels d0 1 and c0 1 , each of them with a threshold just at the level of the zeropoint intensity, detection would happen only in one of the two channels. The conditions for a constructive (destructive) interference in channel d0 1(c0 1) are: α1=−π 2;α2=π 2,(87) and constructive (destructive) interference in channel c0 1(d0 1) implies: α1=π 2;α2=−π 2.(88) From Equations (87) and (88), we deduce that the path choice of Alice’s photon is closely related to the coupling between the phases of the fields involved. Given that F(+) e and F(+) o0 are linear transformations of the zeropoint beams entering the crystal, Equations (87) and (88) involve the six sets of vacuum amplitudes entering the analyser (NZPF,A=6). Now, we obtain the intensities at the detectors D1, D2, D3 and D4. For instance, for detectors D1 and D2, concerning d0 1, we have: Id0 1±=|F(+) ZPF2,±|2+Id0 1 2±TR|F(+) e||F(+) o0|cos α3 ∓TR|F(+) v,H||F(+) v,V|cos(α2+α3−α1) ±R2|F(+) e||F(+) v,V|sin(α2+α3) ±T2|F(+) o0||F(+) v,H|sin(α3−α1), (89) where α3=ϕe−ϕo0−φ.(90) Id0 1+ ( Id0 1− ) stands for D1 (D2), |F(+) ZPF2,+|2≡ |F(+) ZPF2,V|2 and |F(+) ZPF2,−|2≡ |F(+) ZPF2,H|2 . In the same way, the intensities at the detectors D3 and D4 are: Ic0 1±=|F(+) ZPF3,±|2+Ic0 1 2∓TR|F(+) o0||F(+) e|cos α4 ±TR|F(+) v,H||F(+) v,V|cos(α4+α2−α1) ±T2|F(+) e||F(+) v,V|sin(α4+α2) ±R2|F(+) o0||F(+) v,H|sin(α4−α1), (91) where α4=ϕe−ϕo0+φ.(92) c0 1+(c0 1−) stands for D4 (D3), |F(+) ZPF3,+|2≡ |F(+) ZPF3,V|2and |F(+) ZPF3,−|2≡ |F(+) ZPF3,H|2. From Equation (89), it can be seen that the intensities at the detectors D1 and D2 contain three contributions: (i) the intensity of the transmitted or the reflected component of F(+) ZPF2 ; (ii) half of the Atoms 2019,7, 76 19 of 22 total intensity at path d0 1; and (iii) some addends, which depend on the phases α1,α2and α3, given in Equations (86) and (90), with opposite values at the detectors D1 and D2. A similar reasoning holds for D3 and D4. The intensities |F(+) ZPF2,±|2 and |F(+) ZPF3,±|2 , coming from the vacuum inputs entering PBS2 and PBS3 must be subtracted, along with the rest of addends involving pure ZPF contribution at each detector, in order to obtain the measurable intensity. From Equation (89), it can be deduced that ID1−|F(+) ZPF2,V|2 ( ID2− |F(+) ZPF2,H|2 ) is maximum when Equation (87) is fulfilled, along with the condition α3= 0 ( α3=π ). The same reasoning holds for detectors D3 and D4, so that ID4−|F(+) ZPF3,V|2 ( ID3−|F(+) ZPF3,H|2 ) is maximum when Equation (88) is fulfilled, along with the condition α4=π(α4=0). The values of α1 , α2 , α3 and α4 depend on the six sets of ZPF amplitudes entering the analyser, and the controllable experimental parameters V , g , θ , R , T and φ . Specifically, the phase φ of the interferometer appears in the expressions of α3 and α4 . For a given value of these parameters, the hidden variables concerning NZPF,A would define the path choice, c0 1 or d0 1 , of Alice’s photon exiting PBS1. Nevertheless, for a given path in which the intensity is maximum (see Equations (84) and (85)), the two possibilities concerning the detector to which the photon finally goes are hidden due to the noise coming from the ZPF entering the PBS before the detectors. These two possibilities could be distinguished only by subtracting the two sets of ZPF modes entering the corresponding detection area. This can be applied to any of the two paths exiting PBS1, so that the difference 6 − 2 = 4 gives the maximal distinguishability, and corresponds to the four polarisation–momentum Bell-states of the photon (see Equation (83)). Let us emphasise that four represents the number of phases ( α1 , α2 , α3 , α4 ) that define the path choice of the photon from BS1 to the detectors, by subtracting the ZPF contribution at PBS2 and PBS3. 6. Discussion and Conclusions In this paper, new results are presented that enhance the physical meaning of the vacuum field in optical quantum communication. These results have been obtained with the WRHP approach of QO, being consistent with the theory of SO based on the existence of a zeropoint field. The underlying assumptions concerning the role of the zeropoint field in the arena of Bell-state analysis, along with the expressions that were heuristically obtained in previous works [35,37] , have been confirmed by considering the role of the ZPF amplitudes as hidden variables ( see Sections 3and 5.1 ). This represents an advance in the understanding of the internal mechanisms involving the propagation of the ZPF amplitudes through the setup, leading to the distinguishability of Bell-states. In the Wigner formalism of QO, photodetection implies the subtraction of pure zeropoint field contribution to the light intensity. A part of this contribution comes from the noise entering the idle channels inside the analyser. The role of this noise in BSM is that the maximal distinguishability must be lower than the upper bound given by the number of sets of ZPF modes entering the analyser, in which the quantum information is stored. Given that the Wigner formalism is a bridge that connects QO to SO, the double role played by the ZPF as a store of information as well as as a fundamental limiting noise comes from the consideration of the vacuum field as a real stochastic field, irrespective of the problem of detection in SO (negative probabilities). What is remarkable is that the expressions that relate Bell-state distinguishability and zeropoint entries at the setup have been obtained by using a quantum formalism that resembles stochastic optics, just by adding the zeropoint field. These expressions have been demonstrated for experiments in which the two photons travel independently by the experimental setup, so that they do not interact. In further works, the general case, in which both photons are brought together at the setup, will be investigated. Furthermore, the relationship between the compatibility theorem in QKD and zeropoint field has been emphasised. The projection postulate is an essential piece in secure quantum cryptography. Measuring implies the destruction of the vector state of the system, and this gives rise to the possibility Atoms 2019,7, 76 20 of 22 of generating secure keys and detecting eavesdropping. In this sense, the compatibility theorem in quantum mechanics constitutes a basic ingredient in the BB84 protocol and other protocols for QKD. The analysis made in Section 4reinforces the role of the zeropoint field in optical quantum cryptography, and allows for a different point of view that is insides the internal mechanism leading to secure QKD. A linearly polarised signal in the rectilinear basis must be superimposed to the orthogonal component of the ZPF. When this signal is measured in the diagonal basis, the phases of the signal and the ZPF are coupled, giving rise to anticorrelation at the output ports of the PBS. This anticorrelation explains that detection is produced only in one of the two detectors, once the contribution of the pure zeropoint intensity is subtracted. On the other hand, the zeropoint beam entering the idle channel of the PBS gives rise to enhancement, i.e., the total intensity at each of the outgoing channels can be greater than the incoming one. Enhancement and anticorrelation constitute two basic properties of the light description in SO [ 8 , 9 ]. In the WRHP formalism, these two differential features are linked to the preservation of the commutation rules of the electric field operator in unitary transformations [33]. Author Contributions: All authors contributed equally to this manuscript. Funding: Alberto Casado would like to thank to the organisers of Boston SED2018 meeting for talk invitation and for funding travel expenses. The authors thank for funding publication fees for this paper. Acknowledgments: The authors are grateful to E. Santos for stimulating discussions. Conflicts of Interest: The authors declare no conflict of interest. References 1. Marshall, T.W. Random electrodynamics. Proc. R. Soc. Lond. Ser. A 1963,276, 475–491. 2. Marshall, T.W. Statistical electrodynamics. Proc. Camb. Phil. Soc. 1965,61, 537–546. [CrossRef] 3. Marshall, T.W. A classical treatment of blackbody radiation. Nuovo Cimento 1965,38, 206–215. [CrossRef] 4. Boyer, T.H. Derivation of the blackbody radiation spectrum without quantum assumptions. Phys. Rev. 1969 , 182, 1374–1383. [CrossRef] 5. Boyer, T.H. Classical statistical thermodynamics and electromagnetic zero-point radiation. Phys. Rev. 1969 , 186, 1304–1318. [CrossRef] 6. De la Peña, L.; Cetto, A.M. The Quantum Dice: An Introduction to Stochastic Electrodynamics; Kluwer: Dordrecht, The Netherlands, 1996. 7. De la Peña, L.; Cetto, A.M.; Valdés-Hernández, A. Emerging Quantum: The Physics Behind Quantum Mechanics; Springer: New York, NY, USA, 2015. 8. Marshall, T.W.; Santos, E. Stochastic Optics: A local realist analysis of optical tests of Bell inequalities. Phys. Rev. A 1989,39, 6271. [CrossRef] [PubMed] 9. Marshall, T.W.; Santos, E. Stochastic Optics: A reaffirmation of the wave nature of light. Found. Phys. 1988 , 18, 185. [CrossRef] 10. Wigner, E.P. On the Quantum Correction For Thermodynamic Equilibrium. Phys. Rev. 1932 ,40, 749–759. [CrossRef] 11. Weyl, H. The Theory of Groups and Quantum Mechanics; Dover: New York, NY, USA, 1931. 12. Marshall, T.W.; Santos, E. Interpretation of quantum optics based upon positive Wigner functions. Found. Phys. Lett. 1992,5, 573–578. [CrossRef] 13. Horne, M.; Shimony, A.; Zeilinger, A. Quantum Coherence; Anadan, J.S., Ed.; World Scientific: Singapore, 1990; pp. 356–372. 14. Walborn, S.P.; Terra Cunha, M.O.; Pádua, S.; Monken, C.H. Double-slit quantum eraser. Phys. Rev. A 2002 , 65, 033818. [CrossRef] 15. Heuer, A.; Menzel, R.; Milonni, P.W. Complementarity in biphoton generation with stimulated or induced coherence. Phys. Rev. A 2015,92, 033834. [CrossRef] 16. Kwiat, P.G.; Mattle, K.; Weinfurter, H.; Zeilinger, A.; Sergienko, A.; Shih, V.Y. New High-Intensity Source of Polarization-Entangled Photon Pairs. Phys. Rev. Lett. 1995,75, 4337–4342. [CrossRef] [PubMed] Atoms 2019,7, 76 21 of 22 17. Bouwmeester, D.; Ekert, A.K.; Zeilinger, A. The Physics of Quantum Information: Quantum Cryptography, Quantum Teleportation, Quantum Computation; Springer: Berlin, Germany, 2000. 18. Casado, A.; Marshall, T.W.; Santos, E. Parametric Downconversion Experiments in the Wigner Representation. J. Opt. Soc. Am. B 1997,14, 494–502. [CrossRef] 19. Casado, A.; Fernández-Rueda, A.; Marshall, T.W.; Risco-Delgado, R.; Santos, E. Fourth-Order Interference in the Wigner Representation for Parametric Down-Conversion Experiments. Phys. Rev. A 1997 ,55, 3879–3890. [CrossRef] 20. Casado, A, Marshall, T.W.; Santos, E. Type-II Parametric Downconversion in the Wigner-Function Formalism: Entanglement and Bell’s Inequalities. J. Opt. Soc. Am. B 1998,15, 1572–1577. [CrossRef] 21. Casado, A.; Fernández-Rueda, A.; Marshall, T.W.; Risco-Delgado, R.; Santos, E. Dispersion Cancellation and Quantum Eraser Experiments Analyzed in the Wigner Function Formalism. Phys. Rev. A 1997 ,56, 2477–2480. [CrossRef] 22. Casado, A.; Fernández-Rueda, A.; Marshall, T.; Martínez, J.; Risco-Delgado, R.; Santos, E. Dependence on crystal parameters of the correlation time between signal and idler beams in parametric down conversion calculated in the Wigner representation. Eur. Phys. J. D 2000,11, 465–472. [CrossRef] 23. Casado, A.; Marshall, T.W.; Risco-Delgado, R. Spectrum of the Parametric Down Converted Radiation Calculated in the Wigner Function Formalism. Eur. Phys. J. D 2001,13, 109–119. [CrossRef] 24. Marshall, T.W. Parametric up conversion of the vacuum. arXiv 1998, arXiv:9803054. 25. Dechoum, K.; Marshall, T.W.; Santos, E. Parametric down and up conversion in the Wigner representation of quantum optics. J. Mod. Opt. 2000,47, 1273–1287. [CrossRef] 26. Brida, G.; Genovese, M.; Gramegna, M.; Novero, C. Experimental limit on spontaneous parametric up conversion. J. Mod. Opt. 2003,50, 1757–1762. [CrossRef] 27. Sun, J.; Zhang, S.; Jia, T.; Wang, Z.; Sun, Z. Femtosecond spontaneous parametric upconversion and downconversion in a quadratic nonlinear medium. J. Opt. Soc. Am. B 2009,26, 549–553. [CrossRef] 28. Akbar Ali, S.; Bisht, P.B.; Nautiyal, A.; Shukla, V.; Bindra, K.S.; Oak, S.M. Conical emission in β -barium borate under femtosecond pumping with phase matching angles away from second harmonic generation. J. Opt. Soc. Am. B 2010,27, 1751–1756. 29. Casado, A.; Risco-Delgado, R.; Santos, E. Local realistic theory for PDC experiments based on the Wigner formalism. Z. Naturforsch. 2001,56A, 178–181. [CrossRef] 30. Casado, A.; Marshall, T.W.; Risco-Delgado, R.; Santos, E. A Local Hidden Variables Model for Experiments involving Photon Pairs Produced in Parametric Down Conversion. arXiv 2002, arXiv:0202097. 31. Casado, A. (University of Seville); Santos, E. (University of Cantabria). Personal communication, 2002. 32. Santos, E. Can quantum vacuum fluctuations be considered real? arXiv 2002, arXiv:0206161. 33. Casado, A.; Guerra, S.; Plácido, J. Wigner representation for experiments on quantum cryptography using two-photon polarization entanglement produced in parametric down-conversion. J. Phys. B At. Mol. Opt. Phys.2008,41, 045501. [CrossRef] 34. Casado, A.; Guerra, S.; Plácido, J. Partial Bell-State Analysis with Parametric Down Conversion in the Wigner Function Formalism. J. Adv. Math. Phys. 2010,2010, 501521. [CrossRef] 35. Casado, A.; Guerra, S.; Plácido, J. Wigner representation for polarization-momentum hyperentanglement generated in parametric down-conversion, and its application to complete Bell-state measurement. Eur. Phys. J. D 2014,68, 338. [CrossRef] 36. Casado, A.; Guerra, S.; Plácido, J. Wigner representation for entanglement swapping using parametric down conversion: The role of vacuum fluctuations in teleportation. J. Mod. Opt. 2015,62, 377–386. [CrossRef] 37. Casado, A.; Guerra, S.; Plácido, J. Rome teleportation experiment analysed in the Wigner representation: The role of the zeropoint fluctuations in complete one-photon polarization-momentum Bell-state analysis. J. Mod. Opt. 2018,65, 1960–1974. [CrossRef] 38. Popescu, S. An optical method for teleportation. arXiv 1995, arXiv:9501020. 39. Moyal, J.E. Quantum mechanics as a statistical theory. Proc. Cambr. Phil. Soc. 1949,45, 99–124. [CrossRef] 40. Clauser, J.F.; Horne, M.A. Experimental consequences of objective local theories. Phys. Rev. D 1974 ,10, 526–535. [CrossRef] 41. Weinfurter, H. Experimental Bell-State Analysis. Europhys. Lett. 1994,25, 559–564. [CrossRef] 42. Mattle, K.; Weinfurter, H.; Kwiat, P.G.; Zeilinger, A. Dense Coding in Experimental Quantum Communication. Phys. Rev. Lett. 1996,76, 4656–4659. [CrossRef] [PubMed] Atoms 2019,7, 76 22 of 22 43. Walborn, S.P.; Pádua, S.; Monken, C.H. Hyperentanglement-assisted Bell-state analysis. Phys. Rev. A 2003 , 68, 042313. [CrossRef] 44. Pisenti, N.; Gaebler, C.P.E.; Lynn, T.W. Distinguishability of hyperentangled Bell states by linear evolution and local projective measurement. Phys. Rev. A 2011,84, 022340. [CrossRef] 45. Bennett, C.H.; Brassard, C. Quantum cryptography: Public key distribution and coin tossing. In Proceedings of the IEEE International Conference on Computers, Systems and Signal Processing, Bangalore, India, 9–12 December 1984; Volume 175, p. 8. 46. Ekert, A.K. Quantum cryptography based on Bells theorem. Phys. Rev. Lett. 1991,67, 661–663. [CrossRef] 47. Santos, E. Photons are fluctuations of a random (zeropoint) radiation filling the whole space. Proc. SPIE 2005 , 5866, 36–37. [CrossRef] 48. Bennett, G.H.; Brassard, C.; Crepeau, R.; Jozsa, A.; Peres, W.; Wootters, W.K. Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels. Phys. Rev. Lett. 1993 ,70, 1895. [CrossRef] [PubMed] 49. Bouwmeester, D.; Pan, J.-W.; Mattle, K.; Eibl, M.; Weinfurter, H.; Zeilinger, A. Experimental quantum teleportation. Nature 1997,390, 675–680. [CrossRef] 50. Boschi, D.; Branca, S.; De Martini, F.; Hardy, L.; Popescu, S. Experimental realization of teleporting an unknown pure quantum state via dual classical and Einstein-Podolsky-Rosen channels. Phys. Rev. Lett. 1998 , 80, 1121–1125. [CrossRef] 51. Michler, M.; Risco-Delgado, R.; Weinfurter, H. Remote State Preparation. In Proceedings of the Technical Digest. 1998 EQEC. European Quantum Electronics Conference (Cat. No.98TH8326), Glasgow, UK, 18 September 1998. [CrossRef] 52. Casado, A.; Risco-Delgado, R.; Santos, E. Teleportation with parametric down-conversion in the Wigner function formalism. The question of local hidden variables. Unpublished work, 1998. c 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).