Criteria for single photon sources with variable nonclassicality threshold

Single photon sources are necessary for optical quantum technology. The nonclassicality of emitted single photons manifests itself in diverse experiments and applications. The applications already require different nonclassical aspects of single photons, however, a suitable hierarchy of criteria is missing. We propose variable experimental tests, based on adjustable linear optical networks and single photon detectors, giving a hierarchy of such nonclassicality criteria. The hierarchy goes beyond Hanbury - Brown - Twiss test of photon antibunching and allows us to compare faithfully quality and performance of single-photon sources via their nonclassical properties.


INTRODUCTION
Dynamically boosting quantum technology requires rapid development of single photon sources. Such sources are needed in many applications of quantum optics [1][2][3][4][5][6]. There are many sources producing nonclassical single photon states and their quality is increasing. This nonclassicality is typically witnessed in Hanbury -Brown -Twiss (HBT) test of photon antibunching [7,8] by a small value of the photon correlation function g (2) (0). It conclusively demonstrates a nonclassical aspect of a single photon state in only one experimental setup. Photon antibunching of single photon states is necessary for some important applications, for example, security of quantum key distribution with a single photon state [3,9,10] or quantum metrology with a constraint on a maximal number of photons [11]. For high-quality single photon sources, g (2) (0) is already small [12][13][14][15][16] and therefore such HBT test looks always satisfactory and it is not informative anymore. However, the HBT test uses only single measurement layout among many where the nonclassicality of single photon states can manifest itself. Probably, many other linear optical schemes with single photon detectors can manifest single photon nonclassicality differently to that HBT test [17][18][19][20].
Such diverse library of nonclassility tests can operationally compare single photon sources according to their sensitivity to a sequence of criteria. One from two sources can provably generate light manifesting the nonclassicality in a test whereas the other cannot. Due to our previous development in ab initio derivation of nonclassicality criteria [21], we can derive criteria for any given measurement layout. Such criteria are operational because they uniquely correspond to that layout. It is still possible that in a different measurement layout nonclassicality of light from single photon sources will not manifest despite doing so for ideal single photon states without the multiphoton contribution. It will therefore be fruitful to have such direct measurement schemes giving sensitive criteria allowing classification of single photon states beyond HBT measurement. Such operational criteria, with a more demanding nonclassicality threshold for the sources, will simultaneously give a new picture about a variety of nonclassical aspects with a single photon state beyond essential photon antibunching.
For these reasons, we propose both a methodology and relevant examples of criteria with arbitrarily variable nonclassicality thresholds for single photon states. We also extend the proposal to multi-copy criteria exploiting interference among single photon states. Since all these criteria incorporate interference, they go beyond HBT measurement. Further, they can impose an arbitrarily variable condition on single photon states and therefore they can establish a hierarchy of measurement layouts for single photon sources. These useful layouts single out particular linear optical circuits, where the manifestation of nonclassicality requires more profound suppression of multiphoton contribution. They also open a new insight into nonclassical aspects of single photon states.

Measurement layout
A general platform used for such measurement on light from single photon sources needs an optical router and an adjustable K×K linear optical (LO) circuit where N < K initial states of light can interfere, as is depicted in Fig. 1. All the LO interference experiments can be already integrated to an optical chip and together with integrated detectors they can form variable detection units for single photon sources. At an output, photons are non-trivially split among all K modes and are detected by conventional single-photon avalanche photo-diodes (SPADs). If N ideal tunable LO circuit evaluation input states P P s e router detectors FIG. 1: Measurement layout for nonclassicality criteria with a variable threshold based on tunable integrated optics. A single photon periodically comes to a router that produces N copies of the state by delaying some of the inputs. These states are further guided through a linear optical (LO) circuit towards K detectors. The parameters of the LO circuit can be driven electrically to manipulate the nonclassicality threshold for the single photon source. The success and error probabilities of detection events are evaluated and compared in a computer with thresholds of nonclassicality derived for a specific settings of the LO circuit.
single photons without multiphoton contributions are injected to different input ports, then maximally N ideal SPADs can produce a signal (a click). If more SPADs than N give a click, it is either because of a multiphoton noise in the input states or dark count events. For the N inputs with optical signal, we compare directly N simultaneous clicks of the SPADs, which are considered as successful events for single photon states, with multiphoton errors corresponding to N +1 simultaneous clicks. As the SPADs are insensitive to photon numbers, we model their response using positiveoperator-value-measure with the components Π 0 = |0 0| (no click) and Π 1+ = 1 − |0 0| (click). A detector efficiency can be characterised and included to the description of a linear multi-port. This description is prior knowledge used to derive the criteria. On the other hand, dark counts in the SPADs producing false detection events are accounted as an additional background noise of an inspected state. They can only make results worse. This treatment of detector efficiency and dark counts saves the following criteria from systematic errors, as in previous works [22][23][24]. The interferometric network is adjustable; all beam splitters and the phase shifts between them can be manipulated to reach the desired layout flexibly [25,26]. Adjustable optical circuits can be implemented using integrated optical technology [27][28][29]. Together with upcoming integrated SPADs, it can form a versatile miniaturized detector for new tests of the quality of single photon sources.

Ab initio nonclassicality witness
Nonclassicality of light manifested in each network is defined as an incompatibility of the detection events with the classical coherence theory of light [30]. Therefore, the nonclassicality refers to incompatibility with a convex set of multimode states where |α ω is a coherent state having mode label ω and P ω (α) satisfies all the requirements for a probability density function. Considering all multimode states with different ω, any detection of nonclassicality excludes all classical states with any level of classical (first-order) coherence. To derive these criteria, we consider a linear combination of the probabilities where P s is the probability of success (N from K detectors click for N states at the input), P e is the probability of error (more than N clicks for N states at the input) and a is a free parameter. Nonclassicality manifests when W a (ρ) exceeds a value W max (a) covering all mixtures of multimode coherent states (1). The linearity of the witness W a (ρ) guarantees that W max (a) is determined by optimizing over pure coherent states occupying only a single mode. The amplitude α opt (a) of the optimal single-mode state depends on the parameter a. It is a complex task to derive criteria for all possible LO multi-ports in the Fig. 1. Many of complex layouts can be solved only numerically. We restrict the presentation here to a detailed description of the most relevant and simplest variable criteria: (i) a variable a) Mach-Zehnder interferometer using single photon interference and (ii) a variable network with interference between two single photon states. A more systematic analysis of more complex layouts, straightforward but too technical, is left for a further investigation.

Realistic single photon states
We cannot realize the applicability of the schemes in Fig. 1 to derive new criteria, without testing them on a typical class of experimentally relevant single photon states. High-quality sources of single photon states currently approach a density matrix ρ η ⊗ ρn, where ρ η = η|1 1| + (1 − η)|0 0| is an ideal single photon without multiphoton contributions with η standing for the emission and collection efficiency. The deteriorating background noise obeys Poissonian statistics ρn = e −n ∞ n=0n n n! |n n| with mean number of photonsn. Non-zero collection efficiency η and finite amount of Poissonian background noise never disrupt the detection of nonclassicality if the HBT measurement is used. It implies from the maximization of (2) applied on the HBT measurement. The procedure leads to P s > √ P e [21], where P s is a probability of a single detection event on one SPAD (irrespectively to the other) and P e is a probability of a coincidence event, when both SPAD register photons simultaneously. This is exactly the criterion used in practice by experimentalists to verify nonclassicality by HBT measurement. Notably, it is derived without any use of normally-ordered correlation functions forming g (2) (0). It only requires a prior knowledge about a detection layout and probabilities of detector clicks. This ab initio approach is flexible and allows derivation of new criteria for any measurement layout. We will therefore use it to derive the variable nonclassicality criteria and focus mainly on the experimentally very relevant case of high-quality single photon states ρ η ⊗ ρn with low background noise.

Single-copy variable nonclassicality criteria
A natural feasible extension of the previous layout for nonclassical detection is an unbalanced version with a variable beam splitter (BS). In the limit of states with small multiphoton contribution, the nonclassicality criterion turns to be where T is the transmission of the BS [21]. Although adjusting T ∈ (0, 1) can alter arbitrarily the nonclassicality threshold for P s , this criterion (3) is actually not more demanding than the HBT test for the relevant states ρ η ⊗ ρn.
It is simple to verify that the probabilities approximated by P s ≈ (η +n)T and P e ≈ 2T (1 − T )nη in condition (3) reveal that states with η > 0 radiated together with arbitraryn > 0 of background noise are always nonclassical for every transmission T ∈ (0, 1). We have checked that it is also true for a similar extension of detection schemes with three and four detectors presented in Ref [21], that are utilized to detect nonclassicality of states (ρ η ⊗ ρn) ⊗2 and (ρ η ⊗ ρn) ⊗3 injected to single input port. Therefore, it indicates a conjecture that criteria which impose a variable nonclassicality condition for the relevant states require interfering networks. The Mach-Zehnder interferometer based on first-order coherence is the simplest choice. However, it is not sufficient to combine sequentially the interferometer and HBT measurement, i. e. using only the HBT scheme in one of the outputs of the Mach-Zehnder interferometer. For any interferometer with different T 1 , T 2 and a relative phase φ M Z , a state emerging in one of the output modes of the interferometer has still the form ρ η ⊗ ρn, and therefore, a more demanding nonclassicality condition cannot be also derived for this case. To construct more demanding criteria than HBT criteria, we have to combine the interferometer with a two-detector test as is depicted in Fig. 2a). This layout acts efficiently as an adjustable BS only for monochromatic light [25]. If the noise ρn experiences a different φ M Z than the state ρ η , the nonclassicality manifests itself differently compared to HBT test. This happens when the noise ρn behaves as polychromatic in Mach-Zehnder interferometer. There are two paths by which a state of light propagates towards SPAD 1 and SPAD 2 . Ideal interference of coherent states in both paths results in a suppression of clicks registered by one of the SPAD and an increase in the number of clicks of the second SPAD. Setting an adequate relative phase φ M Z between both paths can cause that one SPAD always clicks and the other never even when a classical monochromatic state propagates through the interferometer. However, this behavior requires that the transmissions of BSs in the interferometer satisfy T 1 + T 2 = 1. If it is not the case, the coherent state is split in the interferometer and coincidence clicks of both SPADs can be detected in this layout. Complete suppression of these events is possible only when single photon states, even polychromatic, are guided through the interferometer and therefore it is beyond classical optics.
Let us consider a successful event as a click of the SPAD with a higher click probability and denote the probability by P s . An error corresponds to a coincidence of the clicks at both SPADs and the probability of error is designated by P e . The threshold is derived from maximizing function (2) over all classical states. It was verified that the optimum is reached for monochromatic coherent light. The relative phase φ M Z = 2πωd/c between coherent states choosing different paths is sensitive to the frequency ω and to the path difference d. The constant c denotes the speed of light. Thus, the relative phase is a product of the fixed parameter d given by the layout and of the frequency ω which is determined from optimizing function (2). Whereas the optimal amplitude of the coherent state depends on a choice of the free parameter a, the optimal frequency ω is such that the relative phase obtains φ M Z = 2πn for arbitrary a, where n is an integer. Since the optimum is independent on d, a single nonclassicality threshold can be exploited for a layout with any path difference d. Therefore the path difference can be adjusted so that single photon states ρ η and noise ρn behave differently in the interferometer. If the interferometer is unstable and d fluctuates, the threshold is always decreased. It means that thresholds derived with an assumption that the unknown parameter d is fixed are reliable even for unstable interferometers. The nonclassicality threshold for P s and P e can not be expressed analytically. However, it can be straightforwardly calculated numerically. The criteria are variable by changing T 2 for a fixed T 1 . The numerical solution for T 1 = 1/2 and several values of T 2 is depicted in Fig. 3 a). For high quality states with small multiphoton contribution one can find a useful approximate formula where f (T 1 , T 2 ) is a function of BSs parameters T 1 and T 2 . Let us denote ∆ = T 1 + T 2 − 1 and fix T 1 = T . For setups with non-vanishing but small |∆| 1 the function obtains The nominator is fixed and the criteria change due to the variable denominator. It is used to find analytic approximations of the criteria. We analyzed both extremes of monochromatic (coherent) and polychromatic (incoherent) limits of ρ η to test if the criteria (4) can give really gradually varying nonclassicality criteria for the relevant states ρ η ⊗ ρn. Monochromatic single photons perfectly interfere at the BS 2 whereas polychromatic do not at all. If the monochromatic state ρ η propagates through a stable interferometer, a click is registered on SPAD 1,2 with probabilities where φ M Z is the relative phase acquired between the two paths of the interferometer and R i is the reflectivity of BS i , where i = 1, 2. Since the thresholds of nonclassicality cover coherent states with any relative phase φ M Z , a single criterion can be exploited for states with any φ M Z acquired in the interferometer. If the state ρ η is averaged over more modes at many different frequencies ω, the phase φ M Z dependent terms gradually vanish, and the probabilities approach the incoherent limit The same response of detectors occurs when the interferometer is unstable. The model of state ρ η ⊗ ρn involves error events typically caused by background noise. Figs. 3 a) and 3 b) present the influence of background noise with mean photon numbern on the detection of nonclassicality for different arrangements of T 1 and T 2 in both monochromatic and polychromatic limits of the state ρ η . Fig. 3 c) demonstrates a difference of thresholds on nonclassicality between these limits. Recall, that for all these states nonclassicality is always detected using HBT (3). Apparently, for both ideally monochromatic and also for polychromatic states, it is gradually more demanding to prove their nonclasical features for the same states with criterion (4). Visibly, the criteria (4) give a variable nonclassicality threshold for both limits of monochromatic and polychromatic states ρ η ⊗ ρn even for arbitrary small η andn. The same variability also happens for an intermediate case of partially monochromatic (coherent) light. The criteria are variable by changing T 2 for a fixed T 1 . The thresholds can be parameterised by a ratio η/n in a practical region of high quality single photon states. In this model, the factor η/n determines a ratio of single photon probabilities from the ideal source and the background noise. This ratio can be estimated from HBT measurement in this region of high quality single photon states employing approximations P s ≈ (η +n)/2 and P e ≈ ηn/2. However, the operational meaning of the ratio relates it to nonclassicality detection presented here. Mach-Zehnder interferometer is a first known example of how the layout can vary the nonclassicality threshold in a way useful for single photon sources. The hierarchy can be controlled by altering transmission T 2 for arbitrarily fixed T 1 . Setting T 2 = 0 or T 2 = 1 reduces the layout to an examination of criterion (3) and therefore the condition tolerates arbitrary noise. In contrast, reaching 1 − T 1 − T 2 ≈ 0 results in a very demanding condition on the state.
The threshold is tunable for these states due to first order coherence of the state ρ η . Let us assume |∆| 1, where ∆ = T 1 + T 2 − 1. The state ρ η ⊗ ρn exhibits nonclassicality in the practical limit of states with small η andn, if wheren is very small and the factor C(ρ η , d) depends on the monochromaticity of the state ρ η and on the path difference d. The factor for monochromatic ρ η or for interferometer with d = 0 reaches C = 1. On the other hand, polychromatic limit of the state ρ η leads to C = 2/(1 −2T 1 + 2T 2 1 ) for any d. Thus, the recognition of nonclassicality is dependent on the coherent features of the state ρ η . Apparently, a class of realistic states ρ η ⊗ ρn can still manifest its nonclassicality in the layout (4) with ∆ = 0, since an ideal single photon state ρ η would always exhibit nonclassicality. Such cases appear for monochromatic single photon states as well as for polychromatic single photon states. If the noise ρn propagates incoherently in the interferometer then adjusting ∆ allows us to recognize some states as better single photon sources, because they surpass more demanding tests. The variable test may require an experimental realization of the interferometer with a path difference sufficiently large such that the noise propagates incoherently in the interferometer. For these states ρ η ⊗ ρn, the Mach-Zehnder interferometer is a minimal layout to obtain such a variable and arbitrarily demanding hierarchy of nonclassical criteria. It can broadly stimulate experimental teams developing single photon sources that can be further operationally categorised beyond a HBT analysis. It means that we can identify a (linear optical) scheme in which light from one source manifests its nonclassical character better than from other sources.

Two-copy variable nonclassicality criteria
We can now extend the methodology to the two-photon Hong-Ou-Mandel (HOM) interference effect. It is attractive because it can bring a variable test of nonclassicality in a principally different interference scheme. Differently to the layout at Fig. 2 a) and previous derivation, it uses two-mode classical states for the derivation of nonclassicality threshold. Motivated to find the simplest layout, we first tried to extend the traditional HOM test for nonclassicality with two detectors [31,32] to be able to define a successful detection event for a pair of ideal single photon states. It can be tempting to consider a scheme which interferes two copies of emitted states at a beam splitter, splits then one output to three SPADs and discards the other. It is a sequential combination of a photon bunching and nonclassicality criteria in Ref. [21]. If success is defined as a click of two detectors and error as a click of all three, then for any η > 0 and finiten it is always possible to prove nonclassicality for any pair of states ρ η ⊗ ρn. Such a simple layout, therefore, does not give criteria beyond the HBT measurement.
To go beyond HBT criteria, we extend the HOM interferometer with the three detectors differently. It consists now of two beam splitters BS 1 and BS 2 and three detectors SPAD 1 , SPAD 2 and SPAD 3 detecting all the outputs as depicted in Fig. 2 b). BS 1 performs two-photon interference of the incoming states, as in the HOM measurement, and BS 2 splits one of the outputs toward SPAD 1 and SPAD 2 to detect pairs of photons. The last detector SPAD 3 detects the second output without any splitting. Success corresponds here to a coincidence click of SPAD 1 , SPAD 2 caused by the photon bunching effect irrespective of the results of SPAD 3 . Error is represented by the simultaneous click of all three detectors, which never happens without a multiphoton contribution. In this layout, classical interference between two coherent states with a stable phase can, however, leads to no photons at SPAD 3 (no errors) and still some coincidences at SPAD 1 and SPAD 2 . Such events can cause a systematic failure of the method if such classical interference is not eliminated. To eliminate such cases, the measurement can be easily performed for various random phases of both input states. This is a new aspect of this three-detector scheme. Such nonclassicality criteria will detect the states beyond the phase-randomized multimode classical states with a density matrix where a and b denote the input spatial modes, indices ω a,b cover all degree of freedom of the initial modes involving frequency and polarization, P ωa,ω b (|α|, |β|) is a probability density function related to modes ω a and ω b and ρ ω is density matrix of a state occupying a collection of background modes ω and obeying Poissonian statistics Due to summation over different mode indices ω a and ω b , any classical phase-randomized multimode light is expressed by (9). Note, two-photon interference depends on the indistinguishability of photons at the BS 1 . The multi-indices ω a , ω b and ω therefore describe all mode features of the light beams. Differently to the previous case, the value W max (a) is now reached when we interfere two coherent phase-randomized states. The optimal amplitudes |α(a)| and |β(a)| depend on the free parameter a in (2). The calculation of P s and P e is straightforward, however an optimization is only numerical, because the phase-randomization introduces Bessel functions as shown in appendix. For states with very small multiphoton contributions, the nonclassicality criterion can be approximated as P s > f (T 1 , T 2 )P 2/3 e . The function f (T 1 , T 2 ) depends on T 1 and T 2 which represent transmission of BS 1 and BS 2 .
To test usefulness of this criterion, we used two copies (ρ η ⊗ ρn) ⊗2 and analyzed them at both limits of indistinguishable and distinguishable states ρ η . The background noise ρn never interferes. A witness built for the layout with T 1 = 1/2 imposes the most tolerant condition onn for a given η independently to a setting of the transmission T 2 . Although the condition is the most lenient for that layout, it does not tolerate arbitrarily largen. On the contrary, arbitrary strictness can be achieved when T 1 approaches either T 1 = 0 or T 1 = 1. In the extreme cases, the detectors measure a state that is factorized to a state observed with detectors SPAD 1 and SPAD 2 and to a state registered only by SPAD 3 . Therefore even complete suppression of the error probability achieved by the ideal state ρ η ⊗ ρ η can be explained classically. Apart from these two extreme values of T 1 , states ρ η without multiphoton contribution will always manifest nonclassicality. The tolerance to background noise contribution can be manipulated with the beam splitter asymmetry, similarly as in the Mach-Zehnder layout. Contrary to that layout, this witnessing is sensitive to the indistinguishibility of the states ρ η ⊗ ρ η and therefore it tests nonclassicality that is not manifested in the Mach-Zehnder interferometer. However, this setup still does not allow us to gain an arbitrarily tolerant nonclassicality threshold yet and therefore we cannot completely vary the nonclassicality threshold for ρ η ⊗ ρn.
A fully variable nonclassical threshold can be reached by re-arranging the layout as shown in Fig. 2 c). The layout apparently does not depend on first-order coherence of the emitted single photon states, only on their indistinguishability. It makes this test complementary to the previous one employing Mach-Zehnder interferometer. A combination of two states interference at BS 1 and anti-bunching at BS 2 is different than in the previous case. Successful events are defined in this case as a simultaneous clicks in the detectors SPAD 1 and SPAD 2 . Error occurs when all the three detectors click. The success probability quantifies events when both states are transmitted without any two-photon interference. Apparently, the scheme goes also beyond the HOM interference effect although still uses two copies of the emitted state. Classical coherent states can suppress clicks of SPAD 3 due to destructive interference on BS 1 . Therefore, we also consider here the relative phase between both initial states to be random in the measurement. For states with a small multiphoton contribution, the derivation gives an approximate threshold of nonclassicality where the function f (T 1 , T 2 ) has an extensive analytic expression. The criteria form a hierarchy of operational conditions on a two copy state (ρ η ⊗ ρn) ⊗2 with non-interfering noise ρn. Figs. 4 a) and 4 b) show these criteria can be manipulated freely even in a practical region of small η andn for both distinguishable and indistinguishable states. The hierarchy can be smoothly controlled by a parameter T = T 1 = T 2 , as is depicted in Fig. 4 c). The strictest threshold is reached by T close to zero. On the other hand, setting T almost one gives very tolerant threshold. In that extreme case, the condition can be approximated by which holds for both distinguishable and indistinguishable states ρ η only if 1 − T 1. Note, that setting T = 1 implies the beam splitters completely transmit the full signal and therefore the error events never occur for any state. Except for this limited case, the criteria impose an arbitrarily tolerant condition on the noise.

CONCLUSION AND OUTLOOK
Our approach suggests that nonclassicality of light from single photon emitters can be straightforwardly verified beyond standard HBT measurement which is only one, fixed and too easy sufficient condition for nonclassicality. True high quality single photon source has to fulfill many strict nonclassicality conditions. We have suggested a methodology to find such nontrivial sufficient conditions for nonclassicality. Explicitly, the two proposed simplest examples of criteria (4) and (11) use different setups to manifest different aspects of nonclassicality of light. Both criteria go beyond standard HBT test (3) because their derivation involves either single photon or two photon interference. The single copy variable criteria exploiting Mach-Zehnder interferometer forms a hierarchy only when the noise ρn has a broader spectrum than the signal ρ η or when both signal and noise have low visibility. If it is not the case then the hierarchy can be built only for tests with two copies tests. These operational hierarchies are formulated in terms of a ratio of successful single photon emission and emission from a background noise. On the fundamental side, they uncover manifestation of nonclassicality of light in different settings of interference experiments. On the technical side, they allow direct comparison of single photon sources beyond the HBT measurement. Experimental layouts are simple extensions of existing experiments, therefore these criteria can be immediately implemented in laboratories. Two-copy criteria can be also adapted to recent time multiplexed multiphoton sources [14][15][16]. Also the criteria can investigate nonclassicality of multiphoton light [33][34][35].
Last but not least, we present a methodology which can be straightforwardly extended to find other new nonclassicality criteria based on different settings and more copies [36]. It will allow a better understanding of even small impacts of multiphoton contributions in single photon states and their influence in linear optical protocols [37] of quantum technology. Such a catalog of detection layouts for different variable nonclassicality criteria can be efficiently implemented using current state of the art integrated optical technology. It will be then applicable as versatile detector for quantum technology with single photon states.
Again, T 1,2 and R 1,2 correspond to transmission and reflection of the the relevant beam splitters. The layouts differ themselves by input vectors. Whereas the input state is v = (0, α 1 , α 2 ) in case of Hong-Ou-Mandel interferometer, the incoming state of the interfering network in Fig. 2 b) is v = (α 1 , α 2 , 0). Any click statistics can be expressed by no click probabilities. Let K denotes a group of detectors for which P 0,K quantifies a probability that no detector in K register a click. For coherent states, the probability yields where i is an index of a detector in K and α i is an amplitude of an output coherent state which is measured by the detector. According to (13), each amplitude α i depends linearly on the amplitudes of incoming coherent states. Since the phases of these coherent states are randomized, the probabilities P 0,K have to be integrated over phase of each input stateP 0,K = φ1 ... φn P 0,K (φ 1 , ..., φ n )dφ 1 ...dφ n , where φ i represents a phase of the incoming coherent states in the mode i, i. e. α i = |α i |e iφi . It consequently means the probabilitiesP 0,K are expressed by Bessel functions. The success and error probabilities are expressed as linear combination ofP 0,K , particularly P s,BS = 1 −P 0,(1) where subscripts BS, ⊗1, hom and ⊗2 identify the layout which is employed for the detection of success and error probabilities P s , P e .