PaperThe following article is Open access

Can single photon excitation of two spatially separated modes lead to a violation of Bell inequality via weak-field homodyne measurements?

, , , , and

Published 27 July 2021 © 2021 The Author(s). Published by IOP Publishing Ltd on behalf of the Institute of Physics and Deutsche Physikalische Gesellschaft
, , Citation Tamoghna Das et al 2021 New J. Phys. 23 073042DOI 10.1088/1367-2630/ac0ffe

Download Article PDF
DownloadArticle ePub

You need an eReader or compatible software to experience the benefits of the ePub3 file format.

1367-2630/23/7/073042

Abstract

We reconsider the all-optical weak homodyne-measurement based experimental schemes aimed at revealing Bell nonclassicality ('nonlocality') of a single photon. We focus on the schemes put forward by Tan et al (TWC, 1991) and Hardy (1994). In our previous work we show that the TWC experiment can be described by a local hidden variable model, hence the claimed nonclassicality is apparent. The nonclassicality proof proposed by Hardy remains impeccable. We investigate which feature of the Hardy's approach is crucial to disclose the nonclassicality. There are consequential differences between TWC and Hardy setups: (i) the initial state of Hardy is a superposition of a single photon excitation with vacuum in one of the input modes of a 50–50 beamsplitter. In the TWC case there is no vacuum component. (ii) In the final measurements of Hardy's proposal the local settings are specified by the presence or absence of a local oscillator field (on/off). In the TWC case the auxiliary fields are constant, only phases are varied. We show that in Hardy's setup the violation of local realism occurs due to the varying strength of the local oscillators. Still, one does not need to operate in the fully on/off detection scheme. Thus, the nonclassicality in a Hardy-like setup cannot be attributed to the single-photon state alone. It is a consequence of its interference with the photons from auxiliary local fields. Neither can it be attributed to the joint state of the single photon excitation and the local oscillator modes, as this state is measurement setting dependent. Despite giving spurious violations of local realism, the TWC scheme can serve as an entanglement indicator, for the TWC state. Nevertheless an analogue indicator based on intensity rates rather than just intensities overperforms it.

Export citation and abstractBibTeXRIS

Original content from this work may be used under the terms of the Creative Commons Attribution 4.0 licence. Any further distribution of this work must maintain attribution to the author(s) and the title of the work, journal citation and DOI.

1. Introduction

The 'nonlocality of a single photon', also known as 'entanglement with vacuum', has long been a subject of controversy [112]. In its basic form, the problem concerns the nature of the state , obtained by casting a photon on a balanced beamsplitter. Here, the notation indicates the presence of a photon in mode b1 and its absence in b2. Although the resulting state can be considered as mode entangled [13], it can also be interpreted as a mere superposition of mode excitations—the photon being either here or there. This point of view is supported by writing down the state as , where , and are photon creation operators for modes bj .

Thus, one could question whether it can be used to demonstrate Bell nonclassicality—both on its own, or with some additional resources like local auxiliary optical fields.

Aharonov and Vaidman [3, 14] observed that the single-photon superposition can induce an entangled state of two atoms in spatially separated traps. In such a case violation of local realism by the pair of entangled atoms is easy to prove, and the entanglement is (in theory) easily detectable (see e.g. the discussion in [15, 16]). However, this puts us effectively back to the two-qubit entanglement. Moreover, note that the atoms used in such schemes should be treated as auxiliary systems. Therefore, such an approach will not be discussed here. We want to discuss situations which involve only quantum optical fields, passive optics and photon number resolving (macroscopic) detectors, as there are many open questions related to observability of violations of local realism in all-optical scenarios.

Many experiments, some feasible, some gedanken, have been proposed to address this fundamental problem. Let us briefly present their three major types.

The first one originates from a paper by Tan, Walls and Collett (TWC) [1], in which homodyne-based coincidence intensity measurements with weak coherent light as local auxiliary fields were used to violate the Bell-like inequality of [17]. However, the Bell-like inequality in [17] does not rest entirely on Bell's assumptions. Because of that, one can question whether the TWC scheme can be used to violate local realism. For instance, Santos [18] provided an ad hoc and incomplete local realistic model for the correlation functions considered by TWC. Recently, this line of critique has been reinforced in [19] by presenting a model that reproduces all detection events in the TWC experimental proposal for the range of local oscillator strengths for which the paper [1] reported 'nonlocality' of the single-photon state. In the section 4.2 of this work we show that optical Bell inequalities [20], which must hold for any local realistic description, are not violated for the TWC setup. Thus this case is closed. Still, TWC correlations are interesting in themselves, and variants of this scheme have been realized experimentally in [4, 11]. Recently one can observe an experimental breakthrough: papers [21, 22] test techniques of weak homodyne measurements involving photon number resolution—also for the TWC configuration—making a re-analysis timely.

Another idea was put forward by Hardy [2]. He considered states , with q ≠ 0 which can be produced by sending a superposition of a vacuum state and a single photon one on a 50–50 beamsplitter. Hardy investigated four mutually complementary experimental situations and proved that their joint local realistic description would contradict the quantum predictions. His setup relied on tunable amplitudes of the auxiliary coherent fields (local oscillators). Its modification with mixed-state auxiliary states was proposed in [6], and a generalization to multimode initial states in [7]. The question is whether the vacuum component, q ≠ 0, or variable local oscillator strengths are crucial for Hardy configuration. Answering this question may also shed light on other experimental configurations which use homodyne detection with weak local oscillators to get violation of local realism.

Yet another direction is suggested by Banaszek and Wódkiewicz: a measurement setup implementing the displacement of the input field in the optical phase space for the single photon superposition (q = 0) [23]. The settings of the Bell experiment they considered were defined by turning the displacements on or off. A combination of this approach with homodyne measurements was investigated in [12], while an adaptation to multimode input states was given in [9]. Optical displacement was also used in a scheme for a heralded distribution of a single-particle entanglement [24]. We shall not analyze the approach of [23] as, first, their proof of violation of local realism is impeccable, and second, despite the fact that their scheme involves only all-optical measurements, the employed technique is essentially different from the ones of TWC and Hardy.

In this work we shall concentrate on homodyne measurements which involve in general arbitrary beamsplitters, and essentially weak local oscillator fields. By weak local field we mean here the situation in which the average photon number in the local oscillator is of the same order of magnitude as the mean photon number in the signal state, that is around one or less. In this regime the local auxiliary fields have to have a full quantum description, and the performed measurements can be interpreted as revealing particle-like properties of the quantum fields. This has to be contrasted with the strong-field homodyne correlation measurements (see e.g. [25]). These can be interpreted to reveal the wave-like properties, as they lead to quadrature phase measurements. Concerning the transition between weak and strong homodyne measurement see the current discussion in [22], and their experimental results. Most importantly, reference [22] clearly shows that current state-of-the-art techniques allow one to experimentally observe the full range of phenomena which we discuss here.

This includes not only the setups of TWC and Hardy, but also the intermediate cases which have not been discussed yet. We start by analyzing the mechanism behind the occurrence of the spurious nonclassicality, manifested by the violation of the inequality of [17] in the TWC setup. Further we shall test the ability of inequalities [20] to detect violations of local realism in situations which are a kind of a hybrid of the TWC configuration and the Hardy one. That is, we shall show that the inequalities detect violation of local realism if one admits varying strengths of the local oscillators for different settings in the Bell experiment. It turns out that the approach allows to find genuine violations of local realism for the initial state of the form of TWC (i.e. for q = 0). In the last section we show that the original TWC approach, although it fails as a test of local realism, still is a realization of an entanglement witness.

2. Detailed aims and analysis

In order to test the potentially nonclassical character of the correlations appearing in the schemes of TWC and Hardy, we use the intensity rates of optical fields as local observables. They were first introduced as a proposal of normalized Stokes observables in [26, 27] and rediscovered in the context of Bell's theorem in [20], further developed in references [28, 29]. Essentially, by an intensity rate we mean the ratio of measured intensity in the given local detector to the total intensity measured in all local detectors, in a given run of the experiment. In contrast to the CHSH Bell-like inequalities of [17] used by TWC, this approach to analyzing optical correlations does not lead to spurious violations.

The inequalities for intensities of reference [17] involve additional constraints on local hidden variable description of intensities passing beamsplitters. The additional constraints are a version of no-enhancement assumption for CH-like inequalities (discussed in [30]), or a fair-sampling one in the case of CHSH-like inequalities. Therefore the inequalities of reference [17] cannot be used to test Bell nonclassicality, however, as we show further, they have an interpretation of entanglement indicators. The problematic status of the additional assumption in the inequalities of [17] in the context of TWC setup has been pointed out by Hardy [31] and Santos [18]. Nevertheless, because of the seemingly 'innocent' naturality of this assumption, the inequalities of [17] can be found in discussions of Bell's theorem in some textbooks on quantum optics e.g. [32]. In this work, we show that Bell inequalities based on rates of intensities [20], which do not invoke any additional constraints, are not violated. This result is in perfect agreement with the fact that a recently proposed local hidden variable model [19] reproduces all the probabilities of events considered 'nonlocal' by TWC in [1]. It shows that the rate-based inequalities are more reliable than the ones of [17], as they do not lead to spurious violations of Bell classicality. Interestingly, this is the first found example supporting that claim. It complements the previous investigations in which the rate-based inequalities were always more strongly violated in case of genuine nonclassicality [20].

In contrast with the above, our analysis of the Hardy-like proposal using the intensity rates approach indicates the presence of nonclassical correlations. We have confirmed them in case of the initial state being just a single photon (q = 0). Thus, the crucial change in the TWC setup introduced by Hardy consists in the ability to vary the intensities of the coherent local oscillators by turning them on or off.

We have also investigated a transition between the Hardy-like and TWC setups. Our numerical calculations show that nonclassical correlations can still be obtained when the amplitudes of auxiliary coherent fields are non-zero for both local measurement settings. This means that turning the auxiliary oscillators off, as proposed by Hardy, is not necessary. However, their amplitudes must still be different for the alternative local settings of the Bell-type experiment.

The local oscillators of the homodynes used to detect the violations of local realism induced by the state must be treated as a part of the local measuring devices. In fact, in such all optical scenario the local oscillators can be incorporated in the operational definition of the measurements which are of the positive-operator-value measurement (POVM) class.

3. Experimental setup

Here, we discuss the basic setup of the TWC and Hardy gedankenexperiments and its variations which were studied in the literature, in greater detail. As depicted in figure 1, the experimental configuration consists of three spatially separated beamsplitters BSj with j = 0, 1, 2, whose action is in general described by the unitary transformation:

where cos2χ is the transmission coefficient of the beamsplitter and θ is the phase acquired by the reflected beam. As a beamsplitter is a passive optical device this transformation links the photon annihilation operators of the incoming beams with annihilation operators of the output beams. We assume that all photons in the experiment have the same polarization.

Figure 1. Refer to the following caption and surrounding text.

Figure 1. Most general schematic representation of the experimental setup for testing single-photon correlational properties, which we consider here. In the Tan–Walls–Collett scenario we have q = 0, and |α1| = |α2| = const. for all settings in Bell-like experiment. In original Hardy's scenario q ≠ 0 and |αj | = 0, or . Here we consider also intermediate cases, including αj 's of varying absolute values and beamsplitters with transmissivity varying from setting to setting.

Standard image High-resolution image

An initial state, , a superposition of vacuum and single-photon excitation in mode s, impinges on a symmetric beamsplitter BS0 (defined by and ). Such will be our notation, is a Fock state of n photons in (spatial) mode m. If the initial state is a single photon, i.e. q = 0, then it transforms to:

where b1, b2, are the output modes of beamsplitter BS0.

In the TWC scheme the quantum state, given in equation (2) is then shared between two parties Alice and Bob, who perform a homodyne detection. We assume that the homodyne measurement stations operated by local observers consist of a θj -dependent balanced beamsplitter BSj , realizing the transformation , an auxiliary coherent beam impinging on the remaining input mode of BSj , and two photo-detectors and , placed in front of the output modes of BSj , for j = 1, 2, as shown in figure 1. The amplitudes of the coherent beams and are equal in the case of TWC scheme. For simplicity we assume that α is real. After all that, the total state at the inputs of the two beamsplitters BS1 and BS2, is:

The necessity of introducing auxiliary systems in such measurement schemes is related to the fact that it is impossible to perform a projection onto a superposition between vacuum and a single photon using only passive optical devices. This was already pointed out by Peres [33] in a comment to the Hardy's work.

The photo-detectors and monitor output modes and of BSj , for j = 1, 2. These modes are linked with modes and via symmetric beamsplitter transformation , that is we have:

It is assumed that the detectors measure photon numbers. The phases θ1 and θ2 in the TWC case are tunable, and define the local settings in the purported Bell experiment.

3.1. Generalizations

In further discussions we will consider also a generalized scheme with arbitrary tunable beamsplitters BS1 and BS2, for which the mode transformation reads:

where the unitary matrix is given in equation (1). Such devices have a realization in the form of Mach–Zehnder interferometers. One can further generalize the scheme, and assume that the local auxiliary fields may have different amplitudes for both observers, therefore the overall state at the entry ports of the final beamsplitters takes a more general form:

In this generalized case the dependence on the real parameters α1 and α2 is local with respect to subsystems defined by modes and , so they can be also used as local settings together with local phases θ1 and θ2.

One can further generalize this to initial states of mode s being superpositions of vacuum and single photon states (i.e. q ≠ 0). In such case the state behind the first beamsplitter is given by:

4. Intensities vs intensity rates in analysis of TWC correlations

4.1. Bell inequalities for intensity rate measurements

For the analysis of nonclassicality the authors of [1] used Bell-like inequalities derived in [17]. The inequalities involved correlation functions of intensities at pairs of spatially separated detectors, one in Alice's station one in Bob's. They are applicable for the following models:

In the above formula λ symbolizes a hidden variable, ρ(λ) is its distribution, is the hidden variable model of the local intensity (registered in a detector placed in front of mode x = c, d,) at station j = 1, 2, i.e. respectively A and B of figure 1, for the local (phase) setting θj . Finally Ij (λ) is the total intensity at station j = 1, 2. However, the inequalities of [17] cannot be used to refute altogether the possibility of local realistic description of an experiment, as in addition to local realism and 'free will', they rely on an additional assumption (which holds in classical optics, but not in e.g. stochastic electrodynamics [34]). This assumption states that the total local intensity of light Ij (λ), for a given values of a hidden variable λ does not depend on the local setting of the measuring device. Namely, the authors of [17] assumed that:

is independent of the local value of θj . A possible violation of inequalities of [17] indicated a failure of either local realism, or 'free will', or of the assumption (9). However, in an earlier paper [19] we showed an explicit hidden variable model which reproduces exactly the quantum predictions for the TWC experiment for the whole range of α for which inequalities of [17] are shown to be violated in [1]. Therefore, the violation reported in [1] cannot be attributed to Bell's nonclassicality of the state under consideration.

As mentioned above, the inequalities of [1] lead to drastically wrong conclusions about the non-existence of local hidden variable description of TWC experiment. To study this type of questions one must therefore use an alternative approach, which uses Bell's inequalities for field intensities, since they rest only on the assumptions of local realism and 'free will'. The approach given in [20], allows to construct a class of Bell's inequalities having this trait. The Bell's inequalities of [20] involve correlations of functions of the intensities that we will refer to as intensity rates. They are defined as the ratios of the measured intensities in a given local mode to the total intensity measured across all local modes:

where we assume that is assigned the value of 0 whenever the total intensity in the denominator is equal to 0.

The differences of intensity rates (10), when averaged over the probability distribution of the LHV, can be used to construct the following correlation functions:

depending on the value of the local settings defined by the variable θj for j = 1, 2. This correlation function satisfies the CHSH inequality for rates:

Note that the above inequality holds regardless of whether the condition (9) is satisfied or not.

4.2. Homodyne detection with intensity rates vs Bell CHSH inequality for rates

Quantum optical observables that describe the rates can be defined as follows [20]. If one assumes, like in [1], that the intensity observables of beams are modeled by photon number operators for the given mode, the rate operator is defined by:

where , represents the photon number operator in the xj th mode of the optical field registered in the detector . Here, are the photon creation and annihilation operators of the local output mode , x = c, d, of the beamsplitter for observer j. The operators , are projectors onto the subspace spanned by the Fock basis of modes , devoid of the vacuum state. It is worth mentioning that the two mode vacuum and the operators are invariant under the action of the local mode transformations given in equations (1) and (5). Since the operators and commute with each other, depending on needs one can put the rate operator also as follows:

where .

We also define

with j = 1, 2, and the implicit θj -dependence is specified via mode transformations (4). With an abuse of notation, we also call ER (θ1, θ2), the correlation coefficient of the joint homodyne measurement on the initial state (3), performed by both Alice and Bob:

where θ1 and θ2 are the tunable phases of the local beamsplitters. The amplitude AR (α) of the correlation function reads explicitly:

The correlation function (16) depends on the fixed initial state parameter α denoting the amplitude of the auxiliary local field. We can express the correlation function (16) as arising from a POVM measurement performed solely on the initial single-photon superposition (2) in modes b1 and b2:

The POVM operators are explicitly constructed in appendix A. We note that a similar analysis of the homodyne detection in terms of POVM operators has been already performed [35], here we extend such an approach to homodyne detection with intensity rate operators (15).

Our aim is to check whether the following CHSH inequality for rates, constructed by substituting (16) into (12), is violated by the quantum state given in (3):

The term depending on the phases of the auxiliary coherent states can reach the maximal value of , hence (19) will be violated if . The amplitude AR (α) has been plotted in the figure 2, as the solid red line. The blue dotted straight line depicts the value of . The position of the solid red line below the dotted blue straight line, for all values of α shows that the correlation function (16) does not lead to any violation of the CHSH inequality for rates (19).

Figure 2. Refer to the following caption and surrounding text.

Figure 2. Comparison of the amplitudes of correlation functions ER (θ1, θ2) and ET (θ1, θ2) for different amplitudes α of the auxiliary coherent field. The solid red line corresponds to the amplitude AR (α) of ER (θ1, θ2), and the dashed green line is for AT (α). For weak coherent light the amplitude AT (α) exceeds the threshold needed to violate the CHSH inequality.

Standard image High-resolution image

We compare our results with the ones given in [1], where the following CHSH-like inequality has been considered:

The correlation functions ET (θ1, θ2) have been already defined in equation (8). The quantum implementation of the correlators ET (θ1, θ2) used in [1] reads as follows:

and the amplitude AT (α) reads explicitly:

The coefficient AT (α) as a function of the amplitude α of the auxiliary coherent field has been plotted in figure 2, as the dashed green line. We observe a violation of the inequality (20) for the range 0 < α2 < 0.414. This indication of Bell's nonclassicality is apparent, since in a recent work [19] we have shown an LHV model simulating the discussed correlations. The apparent nonclassicality occurs due to the additional assumption (9). Therefore the inequality (20) is not suitable for Bell-type considerations concerning the setup. Nevertheless it can be utilised as an entanglement witness, which is discussed in more details in section 6.

5. Violation of Clauser–Horne inequality based on intensity rates

In the previous section we have shown directly that the Bell-CHSH inequality (12) based on intensity rates (10) is not violated in the TWC setup. This result is concurrent with the existence of an LHV model for the TWC scenario proposed by us in a recent work [19]. The crucial feature of the TWC experiment is the fact that the local oscillators have constant amplitudes. Hence, in order to search for a Bell violation within the general single-photon setup (figure 1) we need to relax this assumption, as it was done by Hardy [2] in his version of the single-photon nonlocality test. Contrary to the original Hardy case we do not use the single-photon-with-vacuum superposition as the initial state and keep just the single photon one. On the other hand we introduce one more modification with respect to both TWC and Hardy versions, namely the local beamsplitters BS1 and BS2 in figure 1 have now tunable transmissivities, and are specified by formula (5). In his work [2] Hardy used Clauser–Horne (CH) inequality [30], as it was better suited to describe his possibilistic paradox (meaning that the contradiction occurs with a non-zero probability).

5.1. Non-equivalence of CH and CHSH inequalities for optical fields

The CH inequality in its most general form reads as follows [30]:

where A, A' denote fixed outcomes of arbitrary Alice's measurements, and B, B' refer to Bob's ones. In the case of dichotomic outcomes, namely A, A', B, B' = ±1, the CH inequality (23) can be written in four versions, each corresponding to a definite choice of ±1 values for all the four outcomes A, A', B, B'. Interestingly each of these versions is equivalent to the CHSH inequality. This equivalence rests on the following property of dichotomic measurements: P(−1|θ, λ) + P(+1|θ, λ) = 1.

The equivalence persists even in the case of imperfect detection if one uses the Garg–Mermin trick [36]. The trick simply leaves them with dichotomic outcomes, despite possible three results, detection in channel +1, in channel −1, or no detection at all. Simply the idea in reference [36] is to ascribe value −1 also for the non-detection event.

Note that for qubits the upper bound is often thought to be the CH inequality, as it can be elegantly derived using geometric concepts [37]. This can be done by noticing that S(A, B) = P(A) + P(B) − P(A, B) is non-negative, S(A, A) = 0, and it satisfies the triangle inequality. The CH inequality is then the quadrangle inequality.

Any Bell inequality for two, or more qubits can be rewritten into an inequality for intensity rates of fields, via a replacement:

where is an LHV probability for the qubit to be registered at xi , while the rates are defined in equation (10). This holds due to the fact that rates, just like probabilities, have values between zero and one. For a detailed presentation and justification of this method see [20, 29]. In the case of the experimental setup discussed throughout this paper the CH inequality for rates can be written in four different versions, depending which pair of output modes we choose from the set {(c1, c2), (c1, d2), (d1, c2), (d1, d2)}. Choosing the pair (d1, d2), which coincides with the choice done in Hardy's work [2], we obtain the following form:

in which the unprimed rates correspond to first setting, and the primed ones to the second.

It turns out that the CH and CHSH inequalities for rates obtained by application of the procedure (24) are no longer equivalent. In the classic two qubit scenario of Bell a qubit-particle can hit only one detector: we have . However, in the case of states which have non-zero probability of vacuum events, rates of mutually exclusive detection events, do not have to add up to 1. We have or 0. This prohibits one to show that the CHSH inequality (12) for rates is equivalent to the CH one for rates (25). Clearly the same conclusion holds for other choices of pairs of output modes for the CH inequality for rates.

5.1.1. The surprising case of CH inequalities for rates

In the case of dichotomic outcomes the lower and the upper bound of the CH inequality (23) are equivalent. Namely by a replacement of P(A) by , where is an event opposite to A, i.e. , and subsequent replacements of the form , one can transform the upper bound of the inequality (23) into an inequality of the form of the lower bound, for events for Alice and {B, B'} for Bob.

However by performing an analogous replacement of by , where , which follows the rule (24), utilising the upper bound and transforming it to the lower bound by change of sign of both sides we obtain the following form of the CH inequality for rates (25):

The above inequality is also a CH inequality for rates, where in contrast to the original inequality in (25) the measurement of Alice for the first setting is now performed in mode c1 and the role of primed and unprimed settings for Bob's measurement are swapped. A glance at the lower bound shows that for the algebraic expression which is averaged there, reads and this can reach even the value of −2.

Thus the two sides of the CH inequality lead, via the procedure (24), to two different CH inequalities for rates. This explains the phenomenon which we shall see further down. In our analysis we get a violation of only the lower bound of the CH inequality for rates (25). Surprisingly this inequality is a stronger bound on local realism in the case of rates, than the upper bound.

5.2. CH violation in the extended setup

As already mentioned, in this section we consider measurement settings that generalize the proposed measurement setup in [1]. Now a single photon (q = 0 in our initial state), impinges on a balanced beamsplitter, BS0 and then the output modes interact with auxiliary coherent beams and through additional two SU(2) beamsplitters and , given by the unitary (1). We assume that the amplitudes of the local auxiliary fields α1 and α2 are real. Following the idea of Hardy setup we treat amplitudes of local fields as a part of measurement settings as well, therefore local settings are specified by vectors:

The CH inequality for rates specified in the previous section (25) can be expressed in the following convenient form:

The correlators and the local averages are defined as follows:

where the rates are defined as in (10), with the only difference that now the hidden local intensities explicitly depend on the new local settings .

To study the Bell nonclassicality in this extended setup, we replace in (28) the quantum-mechanical expressions for the two-mode correlators and the local terms:

where is a generalized initial state specified in (6). Note that we encounter here a peculiar feature, namely that the correlation functions and local averages depend on the settings via parameters of the initial state Φ. If we would like to remove this feature of the setup we have to use POVM operators, and calculate the expressions (30) as follows:

in which denotes the initial single photon superposition (2), and the POVM operators are explicitly constructed in appendix B.

We choose to detect the transmitted beam , however we stress that any other choice of the detectors is possible and equivalent conclusions can be addressed. The terms read as follows:

As mentioned we follow the Hardy-like pattern of settings, for which the first setting of each observer corresponds to zero auxiliary field and local beamsplitter acting as identity:

We checked by numerical optimization that the double inequality (28) is violated only on the left-hand side and the minimal achievable quantum value reads −1.0239. The almost optimal settings for the violation read:

which corresponds to local beamsplitters with transmissivity about 79% and local coherent fields with average photon number equal to .

We have also investigated numerically the possibility of violating the CH inequality for rates (28) for the case when for both local settings the auxiliary field has non-zero amplitude, as opposed to (34). We assumed arbitrary parameters for both settings, with the constraint that the amplitudes of auxiliary fields corresponding to a given setting are the same for both observers, which allows for easy graphical representation:

The results of our findings are shown in the figure 3, in which we present a plot of a CH-value as a function of the amplitudes α, α' of auxiliary fields corresponding to two settings. The CH-values for each pair of α and α' are optimized over all the remaining parameters in (36). It turns out that a CH violation still exists for sufficiently small but non-zero values of α. On the other hand there is no violation for any value α = α', which is consistent with our previous findings that nonclassical correlations cannot be found for fixed-amplitude auxiliary fields. The situation depicted in the figure 3 shows an intermediate case between the Hardy setup, in which we have on-off tuning of the auxiliary field's amplitudes and the TWC case in which the amplitudes are constant.

Figure 3. Refer to the following caption and surrounding text.

Figure 3. Violation of the left-hand-side of the CH inequality (28) as a function of amplitudes α, α' of the auxiliary fields corresponding to two local settings. The CH-value is sign-flipped for the sake of clarity of the plot. The amplitudes of auxiliary fields for a given setting (α or α') are the same for both observers (36), while they are different for the first (α) and second setting (α'). The black dashed line represents points for which α = α', whereas the white dashed line is an envelope of the violation region with the sign-flipped CH value strictly greater than 1. Notice that the black-line points lie strictly outside the violation region. This means that it is impossible to obtain the CH violation if we just tune the phases of the local oscillators. The amplitude tuning is necessary for the violation.

Standard image High-resolution image

To complete our investigation, we have also examined the original Hardy paradox from the point of view of the intensity rate-based approach. We found that the Hardy setup with intensity rate operators does not lead to a violation of the CH inequality for rates. Our result does not invalidate the Hardy's one, however it indicates a very different nature of the nonclassicality tests based on aggregation of outcomes (like in rate approach) and the ones based on very specific outcomes (like in Hardy case). All the detailed considerations on this topic are presented in a forthcoming publication [38].

6. Bell operators as entanglement witnesses: intensities vs rates

It is well known that Bell operators can be turned into entanglement witnesses. Thus, the question arises if the inequality in [17], used in the TWC paper, could also serve this purpose. As they are not proper Bell inequalities the answer requires a careful analysis. Below we show how to understand the additional condition (9) in this context. Next, we build an optimized entanglement indicator based on the CHSH-like inequality of [17]. As the method which we employ to build entanglement indicators for fields is also immediately applicable for Bell operators based on intensity rates, we build an analogous entanglement indicator for this case.

Since the CHSH-like inequality (20) seems to be more sensitive to the correlations present in the TWC setup than the CHSH inequality for rates (12), it suggests that the inequality (20) might be a stronger entanglement indicator than (12). Surprisingly, it turns out the latter inequality leads to an entanglement witness which is more efficient in the case of TWC correlations. That is, it detects entanglement for a broader range of values of α.

6.1. The additional assumption (9) in the case of separable states

The original TWC correlations (with |αj | = α = const. for all settings in the experiment) [1], do not violate local realism, as shown by the local model presented in [19]. The model covers the whole range of values of α for which TWC obtained violations of the inequality of [17]. As said earlier, the inequality of [17] cannot be obtained without the additional assumption (9), which states that for the given value of the hidden variable λ the total local intensity predicted by the local hidden variable model does not vary with the measurement settings. Let us assume the model of intensity, which was used above and leads to the predictions of [1]. It is in the form of number of registered photons (in the given run of the experiment). In such a case the additional assumption transforms into:

  • Either
    where is the number of photons predicted by an LHV theory, for the given λ, to be detected at detector xi , under local setting θi . The total number to be detected, in this case, at both outputs is assumed to be independent of the local setting. Such must be the form of the condition (9), if we assume the numbers of photons to be detected are predetermined by the model for each value of λ.
  • Or, for stochastic local hidden variable models, the condition (9) has to be put as
    where for x = c, d.

Note that condition (38) does not imply (37).

We shall show below that in the case of hidden quantum product state model (i.e. for separable states), which is a subclass of LHV models, the condition of [17] should be understood as (38).

6.1.1. Condition (38) for separable states

As already discussed, assumption (37) imposes an additional constraint on the structure of local hidden variable model. Still, a local hidden product (quantum) state model is a form of local hidden variable model, which we get when we consider a separable quantum state as the one that causes the correlations. In such a case condition (38) definitely holds.

This suggests that the inequality of [17] can be an entanglement witness.

Consider a density matrix describing separable states for optical fields, for the operational scenario which we consider here. They are always a convex combination of pure 'product' states (inverted commas are for field theories, see below). We shall use now λ as an index related with any such element of the convex combination, and the weights of the convex combination we shall denote, as earlier, by ρλ . An arbitrary separable state for the optical fields of the considered experiments reads

where and are polynomial functions of annihilation operators acting on modes and of ith party. Note that for arbitrary local observables , and for any of the pure states one has . Thus, this is a proper description of separability for optical fields.

The probability of getting result for 1st party, with setting θ1 for state indexed by λ is given by:

where δ(n,k) is the Kroenecker's delta function.

A similar formula holds for 2nd party for results under setting θ2. Following formula (40) the joint probability for two parties goes as follows:

Thus we have a typical structure of a local hidden variable model. Further, assumption (38) is not in contradiction with the structure of separable states. In fact we have an operator identity:

which holds for any settings θi and we have

i.e. also does not depend on the settings. Thus indeed the inequality of [17] is an entanglement indicator.

6.2. Entanglement indicators, a comparison

The inequality of [17] in the TWC version (20) can be put as the following condition for separability

where we introduced: , and similarly for θi '. However, the right-hand side of this condition was derived following the additional assumption on local hidden variable models. For separable states this can be lowered, as they form a further constrained set of local hidden variable models.

We have to find its upper bound for separable states. This involves also search for optimal settings. As in the usual case of two qubits optimal violations of the CHSH inequality take place when Alice and Bob use fully complementary settings, we shall give the separability conditions for such a case. We are going to use an isomorphic mapping from entanglement witnesses for qubits, to entanglement indicators for quantum optical fields [28, 29]. We derive a separability condition based on Bell inequality for qubits and then map it to optical field operators. As we need only two pairs of settings we reduce the Bloch sphere for qubits to a circle and using the standard Pauli matrices we denote the operator basis for each of them by , j = 1, 2. The optimal separability condition based on the CHSH inequality can be obtained if we choose Alice's and Bob's settings to be fully complementary. With each setting we associate a unit Bloch vector. We can put: , , and . In this notation the lhs of the CHSH inequality for any pure product state of two qubits gives the following:

because , where j = 1, 2, for any qubit state. Condition (45) holds as well for all mixed separable states of two qubits as they are convex combinations of product states. It holds also for arbitrary orthogonal pairs , and , . Its final form as an entanglement witness thus reads:

where we have introduced identity matrices σ0.

A method of finding an isomorphic entanglement witness given in [29] is based on replacements , where the latter is a quantum Stokes operator of optical field (μ = 0, 1, 2, 3). In the case of the TWC interferometric configuration can be replaced by the total intensity impinging on the detectors behind the local interferometer, here modeled by , and with by respectively and . Thus the quantum optical analog for the separability condition for two qubits is given, via the isomorphism of [29], in the following form:

The above condition (47) can be also transformed into the one with rates instead of intensities. This can be achieved using another isomorphism presented in [29]:

where , and the intensity rate operators are defined in equation (13).

Witnesses (47) and (48) can reveal mode entanglement of the initial state (3) in a certain range of the coherent field amplitudes α. Analogously to (16) we introduce that stands for the amplitude of the correlation function:

where the amplitude is given by

Condition (48) for can be put as follows:

and its violation appears if . The same holds for (47) with the difference that amplitude replaces . We present entanglement detection with (48) and (47) in terms of values of in figure 4. The CHSH-based entanglement indicator involving rates (48) is more effective than the one based on CHSH-like inequalities of [17] involving intensities (47). This may seem surprising, since the CHSH-like inequalities of [17] show (spurious) violations of local realism for the TWC configuration, whereas CHSH-Bell inequality involving rates is not violated for any α. This fact shows the advantage of the rate-based approach over the intensity-based approach: it gives no spurious Bell violations and nevertheless it is more effective as an entanglement indicator.

Figure 4. Refer to the following caption and surrounding text.

Figure 4. Comparison of amplitudes A(α) in function of α for CHSH based entanglement conditions for rates (47) and intensities (48). If A(α) exceeds we observe violation.

Standard image High-resolution image

Of course the presented entanglement indicators have two interpretations, within the context of TWC correlations. Either they detect entanglement of the state:

with von Neumann measurements, or entanglement of

with optical homodyne based POVM measurements. In the second case the settings may depend also on varying moduli of values of local α's.

7. Discussion and conclusions

In our work we reconsidered two prototypical experimental scenarios aiming at demonstration of a single photon nonclassicality, namely the proposal of TWC [1], and the one of Hardy [2]. We have shown that if one applies an intensity-rate-based approach, without using additional assumption (9), the associated Bell-CHSH inequality for rates is not violated in the case of TWC correlations. This finding is concurrent with our previous work [19], which shows a failure of TWC setup in demonstrating nonclassicality by providing a precise local hidden variable model for the setup. Nevertheless, we have shown that the original TWC analysis can be still used as an entanglement indicator, however a weaker one than the one based on intensity rate approach. These facts are a strong premise towards treating the intensity rate-based approach to analysis of correlations of the optical fields as more appropriate from both: Bell-type perspective (as it is free of any additional assumptions) and an entanglement detection perspective (as it gives rise to more robust entanglement indicators). As a side discussion we pointed out possible threats concerning the application of a parametric approximation to a coherent light. Namely if one applies such an approximation at the same time ignoring the phase uncertainty, spurious increases of the strength of correlations may arise.

Our intensity rate-based analysis of Hardy-like scenario leads to several conclusions. First, we point out that in this approach the CH inequality for rates is strictly stronger than the CHSH one (for rates). We have shown a violation of the CH inequality for rates in Hardy-like scenario, which includes tunable amplitudes of the coherent local oscillator auxiliary fields, but also (in contrast to the original Hardy analysis) local beamsplitters with tunable transmissivities. Our approach involves modification of two further features of the Hardy scheme, namely we use just a single photon initial state as in the TWC approach (q = 0 in the figure 1) and do not limit the settings specified by the local oscillator strengths to the on/off detection mode. This indicates that the crucial aspect of the Hardy-like schemes which enables violation of the local realism is the tunability of the strengths of the local auxiliary fields, which need to differ from setting to setting.

Let us now discuss the physical interpretation of these observations. First, notice that the Hardy-like scenario possesses a peculiar feature untypical for Bell tests, namely that the entire initial state of the interferometric setup is different for different measurement settings. To some extent one can overcome this interpretational difficulty by treating presence of auxiliary fields as an optical implementation of a POVM. We show analytical forms of such POVMs in appendices A and B. However even such a treatment does not dispel doubts whether nonclassical correlations found in Hardy-like scenarios can be attributed solely to the single photon (excitation) state. Despite several objections discussed earlier majority of works devoted to this issue states that the sole source of correlations in such experiments is the single photon superposition. Our reconsideration of the mechanism of the nonclassical correlations in the setup indicates that such a conclusion is unfounded due to a very subtle issue, which goes beyond the duality between mode and particle entanglement in interferometric setups (see e.g. discussion in [13]). Namely, the source of observed correlations is the quantum interference, which occurs if and only if a given detected multiphoton event could have been realized in two or more genuinely indistinguishable ways. The quantum interference observed in Hardy-like schemes is based on indistinguishability of processes corresponding to detection of photons coming from the signal state and the local oscillator fields. At the detection stage due to mentioned interference all photons must be treated on equal footing, hence the distinction between the input (signal) photons and the local oscillator ones disappears. Note that such a conclusion can be drawn only for the case of homodyne measurements with weak local auxiliary fields, since then the local fields have to have a full quantum description and it is meaningful to consider them as composed of photonic excitations. Nevertheless we are not aware of any work which would show single photon Bell nonclassicality in the regime of strong-field homodyne detection.

Based on our findings, we argue that the resource behind observed nonclassical correlations in the TWC-Hardy experiments is quantum interference due to the indistinguishability of photons originating from different sources. This means that the 'nonlocality of a single photon' shares the same interpretation as the other profound interferometric nonclassical phenomena, like photonic entanglement swapping [39], or nonclassical interference for pairs of photons originating from independent sources [4043].

Acknowledgments

We thank Łukasz Rudnicki for comprehensive discussions on the topic of mode entanglement. The work is part of the ICTQT IRAP (MAB) project of FNP, co-financed by structural funds of EU. MK acknowledges support by the Foundation for Polish Science through the START scholarship. AM acknowledges support by National Science Center through the Grant MINIATURA DEC-2020/04/X/ST2/01794.

Data availability statement

No new data were created or analysed in this study.

Appendix A.: Effective POVM operators for CHSH inequality rates

We obtained the correlation coefficient (see equation (16)) for local homodyne-type measurements performed on the linear superposition of a single photon and vacuum, , in terms of intensity rates in mode or in a symmetric beamsplitter transformation , where an auxiliary coherent field , impinges on the remaining input of the beamsplitter for j = 1, 2. In this section our aim is to figure out the form of the positive operators POVMs acting on the initial state , which give rise to an equivalent form of the same correlation function (18). Suppose is the POVM operator in part of the mode bj , for j = 1, 2, then we obtain the defining condition for the POVM by demanding equivalence of the two forms of the correlation coefficient (compare equations (16) and (18)):

where the initial state is defined in equation (3). Hence, the POVM operator is given by:

Appendix B.: Effective POVM operators for CH inequality and tunable exit beamsplitters

In the previous section, we have calculated the POVM for the balanced beamsplitter and for the homodyne detectors . Here, we will try to obtain the POVM for the correlation coefficients given in equations (30) and (31) for arbitrary beamsplitters. The construction of the POVM is shown schematically in the figure 5.

Figure 5. Refer to the following caption and surrounding text.

Figure 5. Schematic diagram of the effective POVM operators acting on modes and to detect the nonclassicality of a single photon. Average intensity rate detected in detector , for x = c, d, j = 1, 2, or the correlation detected in detectors and for x = c, d on the output modes of the beamsplitters UBSj , j = 1, 2 along with an auxiliary coherent beam, can be considered as an effective POVM acting on the modes bj , j = 1, 2. The semicircular shaded region shows that the beamsplitter UBSj , the coherent field , and detection of the Homodyne for j = 1, 2 are equivalent to a POVM , for j = 1, 2 is given in equation (A5) and the detection of , for j = 1, 2 are equivalent to a POVM , for j = 1, 2 is given in equation (B6).

Standard image High-resolution image

For a beamsplitter with arbitrary transitivity, the output modes are given by (see equation (5)):

Now we want to find out POVM elements , such that the correlation coefficients and the local terms from equation (31) read and , for j = 1, 2.

By demanding equivalence of the two forms of correlation coefficients in equations (30) and (31) we obtain:

If beamsplitters UBS1 and UBS2 have 100% transmissivity, then the above POVM reduces to .

undefined