Clauser-Horne inequality for the full counting statistics
Fabio Taddei1, Lara Faoro2, Elsa Prada3,4 and Rosario Fazio1
1 NEST-INFM & Scuola Normale Superiore, I-56126 Pisa, Italy
2 Department of Physics and Astronomy, Rutgers University, 136 Frelinghuysen Road, Piscataway, NJ 08854, USA
3 Departamento de Física Teórica de la Materia Condensada, C-V, Universidad Autónoma de Madrid, E-28049 Madrid, Spain
4 Institut für Theoretische Festkörperphysik, Universität Karlsruhe, D-76128 Karlsruhe, Germany
Email: f.taddei@sns.it
Received 7 June 2005
Published 26 August 2005
| Abstract. We discuss the Clauser-Horne (CH) inequality for electrons in mesoscopic systems formulated in terms of the full counting statistics (FCS). A derivation of such an inequality is provided for a prototype setup consisting of an entangler attached to two conducting wires, that brings pairs of spin-entangled electrons into spatially separated counters, where detection takes place. Violation of the CH inequality is analysed as a function of the various parameters characterizing the system. The effect of dephasing, which can occur in realistic wires, is also addressed. As expected, the extent of violation is monotonically suppressed by increasing dephasing strength. The CH inequality is finally applied to a three-arm normal-metallic beam splitter. Our results show that violation takes place even in the absence of interaction. |
Contents
1. Introduction
Quantum information is a young and very attractive field of research both from a fundamental point of view and because of its important potential applications. Entanglement [1] is the most important resource for the implementation of quantum computation and quantum communication schemes [2]. Most of the work on entanglement has been carried out in optical systems with photons [3], cavity QED systems [4] and ion traps [5]. Only recently has attention been devoted to the manipulation of entangled electronic states in a solid-state environment [6]-[8]. This is a very attractive area of research that can profit from the vast technological knowledge avail- able and which allows, in the perspective of future applications, for scalability and integration. A number of different realizations of entangled electrons have since been proposed: hybrid normal-superconducting structures [9]-[15], superconductor-carbon nanotube systems [16]-[18] quantum dots in the Coulomb blockade regime [6, 19, 20], chaotic quantum dots [21], Kondo-like impurities [22], quantum Hall bar systems [23], [27]-[30], Coulomb scattering in 2D electron gas [31].
By coupling the source of entanglement to a beam-splitter, entanglement can be detected in the transported quantities, such as current fluctuations [32] and full counting statistics (FCS) [33]. Furthermore, the entanglement can be detected by means of a Bell inequality [34] and quantities like concurrence [35], expressed in terms of zero-frequency current noise [10, 11], [23]-[26], [29, 36]. Violation of a Bell inequality implies that there exist quantum correlations between the detected particles that cannot be described by any local hidden variables theory.
In the present paper, we review our work on the Clauser-Horne (CH) inequality [41, 42] for the FCS and provide some additional results with respect to [37, 47]. We shall show that the joint probabilities for a given number of electrons to pass through a mesoscopic conductor (in a given time) should satisfy, for a classical local theory, an inequality. We consider as a prototype setup a generic entangler connected to two conducting wires, which carry the entangled electrons into two spatially separated regions. Detection is performed by spin-selective counters along a given local spin quantization axis. In the case where only two entangled electrons are injected, we find a situation similar to that with photons. More generally, we discuss the case where a large number of electrons are injected, finding that the CH inequality is violated virtually only when a `coincidence measurement' is performed.
While traversing the conductors, before reaching the detectors, electrons might be subjected to decoherence. In this work, the effect of decoherence is mimicked by including additional fictitious leads along both wires [48]. In the rest of the paper, we shall refer to the effect produced by such additional leads as decoherence, in a loose sense.
The paper is organized as follows: in section 2, we describe in detail the mesoscopic system we are considering to test the violation of the CH. In section 3, we present the derivation of the CH inequality for the FCS and in section 4 we resume, for completeness, the relation between FCS and the scattering matrix. The results for an idealized entangler are presented in section 5, where a systematic analysis of the violation of the CH inequality against all the parameters of the device is presented. Section 6 is devoted to the study of the effect of decoherence on the violation of the CH inequality, while in section 7, we consider a realistic system, namely a three-arm normal beam-splitter. Concluding remarks are given in section 8.
2. The prototype setup
FCS refers to the probability that a given number of electrons have traversed a mesoscopic conductor in a time t. In the long-time limit, the first and second moment of the probability distribution are related to the average current and noise, respectively. In its original version [34], the Bell inequality was derived for dichotomic variables. Here, we resort to the more general formulation due to Clauser and Horne [41]. To this aim, we consider the idealized setup, illustrated in figure 1, which consists of the following parts. On the left, we place an entangler that produces pairs of electrons in a spin-entangled state. Each electron propagates respectively into lead 3 and 4 in a superposition of spin states ↑ and ↓. Two conductors, characterized by some scattering matrix, connect the terminals 3 and 4 of the entangler with the exit leads 1 and 2, so as to carry the two particles belonging to each pair into two different spatially separated reservoirs. The electron counting is performed in leads 1 and 2 for electrons with spin aligned along the local spin-quantization axis at angles θ1 and θ2. Detection is realized by means of spin-selective counters, i.e. by counting electrons with the projection of the spin along a given local quantization-axis. In analogy with the optical case, we say that the analyser is not present, when the electron counting is spin-insensitive (electrons are counted irrespective of their spin-direction). Since we assume no back-scattering from counters to the entangler, the particles which are not counted are lost and hence there is no communication between the two detectors.
| Figure 1. Idealized setup for testing the CH inequality for electrons in a solid-state environment. It consists of two parts: an entangler (shaded block) that produces pairs of spin entangled electrons exiting from terminals 3 and 4. These terminals are connected to leads 1 and 2 through two conductors described by scattering matrices S13 and S24. Electron counting is performed in leads 1 and 2 along the local spin-quantization axis oriented at angles θ1 and θ2. |
3. Derivation of the CH inequality
The basic object for the formulation of the CH inequality is the joint probability P(Q1, Q2) for transferring a number of Q1 and Q2 electronic charges into leads 1 and 2 over an observation time t. We follow closely the derivation given in [42]. Our starting point is the following algebraic inequality:
which holds for any variable 0 ≤ x, y, x ', y ' ≤ 1. Let us now introduce explicitly a set of hidden variables τ, which take values in a space
. We assume that the incoming entangled electron states are described by τ in all the details necessary to determine the probability distributions P(Qα, τ) for transferring a number of Qα electronic charges into lead α = 1,2. By imposing that the hidden variable theory is local, it follows that the joint probability can be expressed in the following form:
where
defines a probability measure on the space
. The physical meaning of equation (2) is straightforward: it states that the probability distribution on lead α does not depend on the probability distribution on the lead β.
We now introduce
as the joint probability for transferring Q1 and Q2 electronic charges, when both analysers are present, while
and
are the corresponding joint probabilities, when one of the two analysers is removed. If the condition
(known as no-enhancement assumption) is verified, it is possible to identify the variables appearing in equation (1) as follows:
where Pθ(Qα, τ) being the single-terminal probability distribution in the presence of an analyser. Equation (1) can then be rewritten in terms of probabilities, by multiplying each side of the equation by
and integrating over the space
. Finally, the following inequality is obtained:
Equation (5) is the CH inequality for the full-counting statistics, holding for all values of Q1 and Q2, which satisfy the no-enhancement assumption. We stress that the no-enhancement assumption, upon which equation (5) is based, is not satisfied in general like its optical version. The quantities that we have to compare are probability distributions, so that equation (3) must be checked over the whole range of Q. For a fixed time t and a given mesoscopic system, and hence for a given scattering matrix and incident particle state, the no-enhancement assumption is valid only in some range of values of Q. In particular, different sets of system parameters correspond to different such ranges. The quantity
in equation (5) depends on Q1 and Q2, so that the possible violation, or the extent of it, also depends on Q1 and Q2. Given a certain average number M of entangled pairs that have being injected in the time t, one can look for the maximum violation as a function of the transmitted charges Q1 and Q2.
4. Scattering approach to the full-counting statistics
The joint probabilities appearing in equation (5) can be determined, once the scattering matrix of the mesoscopic conductor is known. The FCS in electronic systems was first introduced by Levitov et al [62, 63] in the context of the scattering theory and, later, a Keldysh Green function method [43] to FCS was developed in [44] (for a review see [45]). In this section, we briefly describe how the FCS is formulated for a mesoscopic conductor in the scattering approach. Within this framework, the transport properties of a metallic phase-coherent structure attached to n reservoirs are determined by the matrix S of scattering amplitudes [46]. Such amplitudes are defined through the scattering states describing particles propagating through the leads. For one-dimensional conductors, for example, the scattering state arising from a unitary flux of particles at energy E originating in the ith reservoir reads
for the ith lead, and
for the jth lead, with j ≠ i. Here, ri(E) is the reflection amplitude for particles at energy E, wave vector ki(E) and group velocity vi(E), while tji(E) is the transmission amplitude from lead i to lead j. Note that |ri|2, is the probability for a particle to reflect back into the ith lead and |tji|2 is the probability for the transmission of a particle from lead i to lead j. In the second quantization formalism, a field operator
for spin σ particles in lead j is built from scattering states and it is defined as
where
(
) is the destruction operator for incoming (outgoing) particles at energy E with spin σ in lead j. These operators are linked by the equation
and obey anti-commutation relations
In the case of two- and three-dimensional leads, one can separate longitudinal and transverse particle motion. Since the transverse motion is quantized, the wave function relative to the plane perpendicular to the direction of transport is characterized by a set of quantum numbers, which identifies the channels of the lead. Such channels are referred to as open, when the corresponding longitudinal wave vectors are real, since they correspond to propagating modes. Note that the case of a single open channel corresponds to a one-dimensional lead.
Let us now turn our attention to the probability distribution for the transfer of charges. Following [61], within the scattering approach, the characteristic function of the probability distribution for the transfer of particles in a structure attached to n leads at a given energy E can be written as
where the brackets
...
stand for the quantum statistical average over the thermal distributions in the leads. Assuming a single channel per lead,
is the number operator for incoming (outgoing) particles, with spin σ in lead j and
,
are vectors of n real numbers, one for each open channel. In terms of incoming and outgoing creation operators, the number operators can be expressed as follows:
Equation (11) can also be recast in the form [62]:
where
is the unit matrix, nE is the diagonal matrix of Fermi distribution functions fj(E) for particles in the reservoir j and defined as (nE)jσ,jσ = fj(E), whereas Λ is a diagonal matrix defined as (Λ)jσ,jσ = exp(iλjσ). For long measurement times t, the total characteristic function χ is the product of contributions from different energies, so that
At zero temperature, the statistical average over the Fermi distribution function in equation (11) simplifies to the expectation value calculated on the state |ψ
, containing two electrons of both spin species for each channel of a given lead up to the energy corresponding to the chemical potential of such a lead. Furthermore, in the limit of a small bias voltage V applied between the reservoirs, the argument of the integral is energy-independent so that equation (14) can be approximated to
where only the zero-energy characteristic function appears and M = eVt/h is the average number of injected particles. The joint probability distribution for transferring Q1σ spin-σ electrons in lead 1, Q2σ spin-σ electrons in lead 2, etc is related to the characteristic function by the relation (we assume that no polarizers are present):
In the rest of the paper, we shall consider systems with two counting terminals only. In particular, while the counting terminals are kept at zero chemical potential, all other terminals are biased at chemical potential eV. For later convenience, we write down the most general expression for the characteristic function, when spin-σ electrons are counted in lead 1 and spin-σ ' electrons are counted in lead 2:
in the relevant energy range 0 < E < eV.
5. Entangled electrons
We shall now test the inequality presented in equation (5) in an ideal situation in which the entangled pair is generated by some entangler in the same spirit as in [32, 33]. In section 6, we shall analyse the effect of decoherence and in section 7, we shall demonstrate that a normal beam-splitter, in the absence of interaction, constitutes a simple realization of an entangler.
In the setup depicted in figure 1, we assume the existence of an entangler that produces electron pairs in the Bell state
of spin triplet (upper sign) or spin singlet (lower sign) in the energy range 0 < E < eV. These electrons propagate through the conductors, which connect terminals 3 and 4 with leads 1 and 2, as though terminals 3 and 4 were kept at a potential eV with respect to 1 and 2. Our aim is to test the violation of the CH inequality given in equation (5) for such maximally entangled states.
When the angles θ1 and θ2 are parallel to each other, the scattering matrix of the two conductors, in the absence of spin-mixing processes, can be written as
where
Here, rjσ (tijσ) is the probability amplitude for an incoming particle, with spin σ from lead j to be reflected (transmitted in lead i). For a normal-metallic wire, we set
,
and
, where T is the transmission probability. The expression for
is written analogously. For simplicity, we will assume that
and
are equal. The general scattering matrix relative to non-collinear angles is obtained from
by rotating the spin-quantization axis independently in the two conductors (note that this is possible, because the two wires are decoupled). The `rotated' S-matrix is obtained [60] by the transformation
, where
is the rotation matrix given by
where
The probability distributions are now given by the expression in equation (16), where the expectation value is performed over the state |ψ
given by equation (18). In the case where both analysers are present, we set σ = σ ' = ↑. The probability distribution, when one of the analysers are removed, for example the upper one in figure 1, is obtained by replacing
with
and
with
.
For the single-terminal probability distributions in leads i = 1,2 we get, in the presence and in the absence of an analyser, respectively,
so that the no-enhancement assumption reads:
Note that the probabilities in equations (23) and (24) do not depend on the angles θ1 and θ2, because the expectation value of the operator
is invariant under spin rotation. As a consequence, the effect of the analyser is equivalent to a reduction of the transmission probability T by a factor of 2, resulting in a shift of the maximum of the distribution. From equation (25) it follows that, for a given number M = eVt/h of entangled pairs generated by the entangler, the `no-enhancement' assumption holds only for certain values of T and Qi. Thus the CH inequality of equation (5) can be tested for violation only for appropriate values of M, T and Q1 or Q2. For example, for a given observation time t (i.e. a given M) and a given value of Q, the CH inequality can be tested only for transmission T less than a maximum value given by the expression,
At the edge of the distribution (Qi = M), the no-enhancement assumption is satisfied for every T. The window of allowed Qi values where the no-enhancement assumption is satisfied gets wider on approaching the tunneling limit. For large M,
. The previous inequality can also be interpreted as a limit for the allowed measuring time given a setup at disposal. Alternatively, given a certain transmission, the no-enhancement assumption is verified for points of the distribution such that:
The various probabilities needed to define
are reported in [37]. Let us now analyse the possibility of violation of the CH inequality. First consider the situation where the entangler emits a single entangled pair of electrons, in which case
,
and
. We find that the CH inequality is maximally violated for the following choice of angles: θ2 - θ1 = θ '2 - θ '1 = 3π/4. More precisely we obtain:
which is equal to the result obtained for an entangled pair of photons [42], where T plays the role of the quantum efficiency of the photon detectors. In the more general case of Q1 = Q2 = M, for M
1, we have
so that the no-enhancement assumption is always satisfied and the quantity
can be easily evaluated:
The rotational invariance makes
and
independent of angles, and
dependent on the angles through
. This allows us, without loss of generality, to define an angle Θ, such that 2Θ = θ1 ± θ2 = θ '1 ± θ2 = θ '1 ± θ '2 = (θ1 ± θ '2)/3. As a result, equation (5) takes the form:
where
and
. It is useful to define the reduced quantity
, which is plotted in figure 2 as a function of Θ for different values of M (note that since
,
is nothing but
). The violation occurs for every value of M in a range of angles around Θ = π/2 (note that
is symmetric with respect to π/2). The range of angles for which
is positive shrinks with increasing M, while the maximum value of
decreases very weakly with M (more precisely,
). This means that the effect of the factor T2M/2M on the value of
is exponentially strong, making the violation of the CH inequality exponentially difficult to detect for large M and Q1 = Q2 = M. The weakening of the violation is mainly due to the suppression of the joint probabilities. As we shall show later, by optimizing all the parameters, it is yet possible to eliminate this exponential suppression.
Figure 2. The quantity is plotted as a function of the angle Θ for different numbers of injected entangled pairs by the entangler: M = 1 (thin solid line), M = 20 (thick broken line) and M = 100 (thick solid line). The range of angles relative to positive values shrinks with increasing M, while the value of the maximum slightly decreases. |
Let us now consider the violation of the CH inequality as a function of the transmitted charges. We notice that, for large M, the CH inequality is not violated for the off-diagonal terms of the distributions (when Q1 ≠ Q2), meaning that one really needs to look at `coincidences'. Therefore, we discuss the case Q1 = Q2 ≡ Q < M (remember that the no-enhancement assumption is satisfied only for T ≤ Tmax(Q)). We find that the maximum violation, for a given M and Q, always occurs at T = Tmax. In order to get the largest violation of the CH inequality at a given M and Q one could, in principle, choose the highest allowed value of T for each value of Q (T = Tmax(Q)). In figure 3, we plot the quantity
for M = 20 as a function of Θ and different values of Q. For every Q < M, the violation occurs in the same range of angles, namely π/4 ≤ Θ ≤ π/2, because of the following properties of the joint probability distributions: PΘ1,2(Q1, Q2) = P3Θ1,2(Q1, Q2) = P1, - (Q1, Q2) for Θ = π/4. This implies that
, and PΘ1,2(Q1, Q2) ≥ P3Θ1,2(Q1, Q2), PΘ1, - (Q1, Q2), PΘ - ,2(Q1, Q2) for π/4 ≤ Θ ≤ π/2. Furthermore, in this specific case of M = 20, we find that the maximum values of
occurs at Q = 8.
Figure 3. The quantity is plotted as a function of the angle Θ for M = 20 and T set to the highest value allowed by the no-enhancement assumption, different for each Q. The curves are relative to different values of Q = [1, 20]. The maximum of increases with Q reaching its largest value for Q = 8 and decreasing for Q > 8. Note that the variation of with Θ for Q = 20 is not appreciable on this scale. |
In figure 4, we plot the maximum value of
, with respect to Θ and T, as a function of Q for different values of M. Several observations are in order. For increasing M, the position of the maximum Qmax is very weakly dependent on M. Remarkably, the value of the maximum of the curves does not decrease exponentially, but rather as 1/M. Despite the exponential suppression of the joint probability with M, the extent of the maximal violation scales with M much slowly (polynomially).
Figure 4. The maximum value of the quantity , evaluated over angles Θ and transmission probabilities T, is plotted as a function of Q. The curves are relative to different values of M ranging from 20 to 100. In the legend box is indicated the value of transmission T corresponding to the maximum of the curves. |
If the entangler is substituted with a source that emits factorized states, the CH inequality given in equation (5) is never violated. In this case, in contrast to equation (18), the state emitted by the source reads: |ψ
= a†3↑ a†3↓ a†4↑ a†4↓ |0
. All the previous calculations can be repeated and we find, as expected, that the characteristic functions factorize, so that the two-terminal joint probability distributions are given by the product of the single-terminal probability distributions. To conclude, we wish to mention that the CH inequality (equation (5)) holds for joint probabilities relative to arbitrary observation time, although the FCS requires a long observation time, so that M
1.
6. Effect of dephasing
In real systems, at finite temperature, electrons interact among themselves, with the lattice phonons and furthermore, are unavoidably coupled to the electromagnetic environment. As a result, dephasing takes place, reducing or destroying entanglement. The evaluation of the effects of dephasing on entangled electrons is an important issue discussed in the literature as follows. In [11, 14, 27, 38] dephasing was modelled in terms of a density matrix, whose off-diagonal elements, which give rise to the entanglement, are suppressed by a phenomenological parameter. By properly choosing the transmission probability of beam-splitters, or tunnel barriers, violation of Bell inequality was found even for strong dephasing. In [23, 39] dephasing was introduced by averaging over a uniform distribution of random phase factors accumulated in each edge channel of the quantum Hall bar. If the two edge channels are mixed by the tunnel barrier, no violation is reported for strong dephasing. The effect of decoherence and relaxation has also been analysed using a Bloch equation formalism in [40].
We consider the situation where decoherence is produced by inelastic processes occurring in the wires due to the presence of additional fictitious leads [58]. Various phenomenological methods have been developed, in general, to treat dephasing in transport through mesoscopic conductors. In [53, 54], which actually describe exactly the nonequilibrium radiation acting on the system, dephasing is induced by a fluctuating classical potential. In [55], dephasing is treated as random fluctuations of the phase of propagating modes through the conductor. Both methods have been recently applied to FCS [56, 57]. The advantage of the fictitious lead model resides in the fact that inelastic, phase-randomization processes are implemented within an elastic, time-independent scattering problem.
Each conductor in figure 1 is replaced by a structure composed of three scattering regions, as shown in figure 5. In the upper wire, due to the presence of the additional reservoir, particles propagating through lead 3 are transmitted partially to lead 1 and partially to leads 5 and 6 (see figure 5). The additional reservoir, however, can transfer itself particles to leads 1 and 3. As a result, only a fraction of the particles arriving in lead 1 comes from coherently transmitted ones sent in from lead 3, with probability
Another fraction, the incoherent contribution, comes from the additional reservoir through leads 5 and 6, with probability
This mimics the fact that the current flowing through the conductor is partially composed of particles (the incoherent fraction) which have lost phase memory while traversing it. For α = 0, all particles are coherently transmitted and T15 + T16 = 0, while for α = 1, all particles are transferred incoherently and T13 = 0. Note that one has to include two channels that couple to the additional reservoir in order to allow for complete phase randomization (T13 = 0). A similar description applies to the lower wire connecting lead 4 with lead 2. For α = 0, the overall transmission probability through the conductors is given by T = T02/(2 - T0)2. In what follows we will also refer to α as the decoherence rate. The chemical potentials μ and μ ' of the additional reservoirs are set in such a way that no net current flows in or out of the reservoirs. More precisely, we impose I5 + I6 = 0 and I7 + I8 = 0, where Ii is the average current flowing in lead i. On average, therefore, every electron that escapes the wires through the additional leads is returned by another one with loss of phase memory. An instantaneous current through leads 5, 6, 7 and 8 is then allowed, and a non-fluctuating chemical potential μ is assumed [48, 51, 52]. For simplicity, we shall assume that
and
and furthermore that the two conductors are equal, i.e.
, and subjected to the same degree of decoherence. From this follows that μ = μ '.
| Figure 5. Decoherence is introduced by including the effect of an additional fictitious reservoir. Each wire is therefore replaced with a structure composed of three parts. For the upper (lower) wire they are: an elastic scatterer characterized by the S-matrix SLu (SLl), an element which provides the coupling to the additional reservoir of chemical potential μ (μ ') and characterized by the matrix SPu (SPl), and finally another elastic scatterer SRu (SRl). |
In the symmetrical setup, we are considering here μ = eV/2, so that, at zero temperature, the initial state of the system |ψ
takes different forms depending on whether the energy of electrons falls within the range E < μ or μ < E < eV. Namely,
where |ψB
, is defined in equation (18) and
Note that, in the presence of decoherence (α ≠ 0), for E < μ particles are arriving both from the entangler and from the additional reservoir.
When the fictitious lead is present, the interval of integration in equation (14) can be separated into two energy ranges, namely E < μ and μ < E < eV. Since in the limit of a small voltage bias V, χE is energy-independent, equation (14) can be approximated to
where χ0S(B) is calculated over the state |ψS(B)
, Mμ = μt/h and M = eVt/h. According to equation (16), both single terminal and joint probability distributions require the computation of multidimensional integrals of complex expressions. In [47], it is shown that the various probability distributions needed to evaluate the CH inequality can be expressed in a differential form, which is more suitable for numerical evaluation. As for the case of no-decoherence, the rotational invariance makes
and
independent of angles and factorizable, while it makes
dependent on the angles through
, so that the CH inequality can still be written as in equation (31), with
.
Let us first analyse the effect of decoherence on the no-enhancement assumption, equation (3). For a given number of transmitted particles Q either in lead 1 or 2, single-terminal probabilities, with or without analyser, depend on α, M and T. As in the absence of decoherence, it turns out that for a given α, M and Q, the no-enhancement assumption is satisfied only for a range of values of the transmission T smaller or equal to a certain upper bound Tmax(α, M, Q). For α ≠ 0, however, it is not possible to find an analytical expression for Tmax. In figure 6, Tmax is plotted as a function of α for M = 30 and several values of Q from 1 to 22. One can see that Tmax monotonically decreases with α for values of Q
M/2 and monotonically increases for bigger values of Q. This means that, for small values of Q, decoherence restricts the applicability of the CH inequality (see [47] for a thorough discussion). Since the CH inequality involves probability distributions in both leads 1 and 2, the no-enhancement assumption must be satisfied in each arm. If we consider different numbers of transmitted particles in leads 1 and 2 (Q1 ≠ Q2), the maximum allowed transmission probability must be taken to be the minimum between Tmax(α, M, Q1) and Tmax(α, M, Q2), according to our assumption of identical wires. We therefore define
Let us now move to the effects of decoherence on the violation of the CH inequality. There are two general characteristics of the behaviour of
that were already found in the absence of decoherence and that still hold for finite α:
is maximum, which we shall denote by Θbest(α, M, Q1, Q2).
| Figure 6. Maximum value of the wire transmission Tmax allowed by the no-enhancement assumption as a function of decoherence rate α for M = 30 emitted pairs and for the different values of Q. |
Let us now analyse the maximum violation of the CH inequality for a given M with T = Tmax and Θ = Θbest as a function of Q ≡ Q1 = Q2 and for different values of α. In figure 7, the four curves are relative to α = 0, 0.3, 0.5 and 0.8 and M = 30. Several observations are in order. For a given value of Q, violation is always larger in the absence of decoherence and decreases as α increases. If we denote with Qbest the position of the maximum of a curve, for all values of decoherence rate Qbest ~ M/3. Note furthermore that, as decoherence gets stronger, the range of values of Q for which violation takes place shrinks.
Figure 7. Maximum value of the quantity (in T = Tmax and Θ = Θbest) as a function of Q for M = 30 and different values of decoherence: α = 0, 0.3, 0.5 and 0.8. The largest violation always occurs in the absence of decoherence and, for a given Q, violation is reduced monotonically with α. The position where the maximum occurs, Qbest, slightly increases with α. |
To conclude we add that, if the entangler is substituted with a source that emits factorized states, the CH inequality is never violated for any decoherence rate. This is simply due to the fact that two-terminal joint probability distributions are given by the product of single-terminal probability distributions, thus making the CH inequality always equal to zero.
7. Normal beam-splitter
We are now ready to analyse realistic structures by discussing the CH inequality along the lines of section 5. To this aim, we consider a normal beam-splitter (shaded block in figure 8) in which lead 3 is kept at a potential eV and leads 1 and 2 are grounded, so that the same bias voltage is established between 3 and 1, and 3 and 2. The two conductors, which connect the beam-splitter to the leads 1 and 2, are assumed to be normal-metallic and perfectly transmissive, so that the S-matrix of the system for θ1 = θ2 = 0 is equal to the S-matrix of the beam-splitter, which reads [58]
In this parametrization of a symmetric beam-splitter
,
and 0 < ε < 1/2. For arbitrary angles θ1 and θ2, the S-matrix is obtained by rotating the quantization axis in the two conductors independently by applying the transformation
, where
is the rotation matrix given by
and
is defined in equation (22). This procedure is valid as long as no back-scattering is present in the conductors. The probability distributions are given by equation (16), where the state |ψ
is now factorizable
in the energy range 0 < E < eV. Analogously to what was done in section 5, when both analysers are present, we set σ = σ ' = ↑. For the expectation values we get:
and
obtaining the joint-probability distributions reported in [37]. The above number operator expectation values are equal to the case of the entangler, when ε is replaced by T/2, whereas the cross-terminal correlators are equal in the two cases, if ε is replaced with
. From this it follows that the characteristic functions for the beam-splitter possess the same dependence on the angle difference as the corresponding characteristic functions for the entangler (section 5), but have a different structure as far as scattering probabilities are concerned. In particular, as expected [62], the cross-correlations vanish, when the two angles are equal. In contrast, when the angle difference is π, cross-correlations are maximized. Furthermore, when only one analyser is present the characteristic function shows no dependence on the angle, but it is not factorizable, in contrast to the case of the entangler. As a result, the single-terminal probabilities, given by equation (16), are equal in the two cases, provided that ε is replaced with T/2. The joint probabilities for Q1 = Q2 = M are equal in the two cases, if ε is replaced with
(however, this replacement is not valid in general for joint probabilities with Q1, Q2 ≠ M):
| Figure 8. Setup of a realistic system consisting of a normal beam-splitter (shaded region) for testing the CH inequality. Bold lines represent two conductors of unit transmission probability. A bias voltage equal to eV is set between terminals 3 and 1 and terminals 3 and 2. |
The no-enhancement assumption is verified when
which equals the condition of equation (26), once ε is replaced with T/2. Let us first consider the case for which Q1 = Q2 = M. We obtain an important result: the CH inequality is violated for the same set of angles found for the case of the entangler, although to a lesser extent, since the prefactors in equations (45) and (46) now vary in the range
. In particular, in the simplest case of M = 1, corresponding to injecting a single pair of electrons, the maximum violation corresponds to
, which is a half of the value for the entangler. Furthermore, the plot in figure 2 is also valid in the present case with
defined as
, i.e. by replacing
with ε. This means that a geometry like that of the beam-splitter enables one to detect violation of the CH inequality without any need to resort to interaction processes to extract entanglement.
Also here, we consider the case for which Q1 = Q2 ≡ Q < M, where interesting differences with respect to the case of the entangler are found. (i) We find that the violation of the CH inequality is in general weaker, meaning that the absolute maximum value of
is smaller than in the ideal case of the entangler. (ii) The weakening of the violation with increasing M is determined by the suppression of the probability by the prefactor (ε2)Q1 + Q2. Remarkably, the maximum value of
decreases like 1/M, therefore even slower than for the ideal case. (iii) Violations occur only for values of Q close to 1, even for large values of M: to search for violations one has to look at single- or few-pair probabilities and therefore, because of the no-enhancement assumption, to small transmissions ε. (iv) Interestingly, for Q = 1, the quantity
is positive for any angle, although the largest values correspond to Θ close to π/2. We do not find any relevant variation, with respect to the discussion in section 5, for probabilities relative to Q1 ≠ Q2.
It is easy to convince oneself that, for an incident state composed of a single pair of particles impinging from the entering arm of the beam-splitter (40), we obtain a final state
that contains an entangled part which gets post-selected by the measurement. In [64], this fact was already noticed. In the limit of a strongly asymmetric beam-splitter, the state (48) is analogous to the one discussed in [23]. For mesoscopic conductors, entanglement without interaction for electrons injected from a Fermi sea has been discussed in [21], [23]-[30], [37, 39].
8. Conclusions
In this paper, we have derived a CH inequality for electrons in a mesoscopic system in terms of the FCS formulated within the scattering approach. As a test of the CH inequality, we have applied it to an idealized system composed of an entangler, which produces Bell states, and conducting wires, that carry electrons into two spatially separated detectors. We have proved that the CH inequality is violated and we have analysed its behaviour in detail. We have then investigated the effect of dephasing occurring in the wires on the violation of the CH inequality and hence on the robustness of entanglement. To do so, we have implemented the fictitious reservoir model of Büttiker [48] and discussed its consequences. Finally, we have applied the CH inequality to a realistic mesoscopic structure consisting of a three-arm beam-splitter, proving that violation occurs in this system even though no interaction is present.
Acknowledgments
This work was supported by the FPI program of the Comunidad Autónoma de Madrid and the EU under the Marie Curie Research Training Network (EP); the grant NSF DMR-0210575 (LF); and by the EC through grants EC-RTN Nano, EC-RTN Spintronics and EC-IST-SQUIBIT2 (FT and RF).
References
Fabio Taddei et al 2005 New J. Phys. 7 183
Robert W Cherng and Eugene Demler 2007 New J. Phys. 9 7
Kirill Shtengel et al 2005 J. Phys. A: Math. Gen. 38 L589
L. Ofman and B. J. Thompson 2002 ApJ 574 440
A. Doressoundiram et al. 2003 The Astronomical Journal 125 2721
E D Williams et al 2007 New J. Phys. 9 387
Nathan Smith 2007 The Astronomical Journal 133 1034
S P Beeby et al 2006 Meas. Sci. Technol. 17 R175
J-P Derendinger et al 2007 Class. Quantum Grav. 24
Graeme W Milton et al 2006 New J. Phys. 8 248