Entanglement, viz. the non-separability of quantum states, is a fundamental prediction of quantum mechanics, which is at odds with the classical perception of reality. Furthermore, it constitutes a resource for quantum computation and quantum communication. Electronic degrees of freedom in nanostructures –in particular the spin –constitute promising candidates to implement quantum information architectures in scalable solid state circuits. In this topical review, we will summarize some efforts to create and detect entanglement in such structures. We concentrate first on entanglement in double quantum dots, since they promise to be viable candidates to produce entanglement by confining electrons to a small interaction region. The quantitative detection of the entanglement through transport measurements can be done via current and noise. Secondly, we concentrate on the creation of spin entanglement at quantum point contacts, which has the advantage that the two electrons are automatically spatially separated. We discuss the possibility of performing a Bell test of non-local correlations. However, as we will point out, a reliable entanglement detection can be performed by current-correlation measurements, although they require some trust in the experimental setup. Finally, we present a hierarchy of mesoscopic Bell tests, which could be useful to evaluate theoretical proposals and experimental setups.
The recent years have seen a tremendous progress in the quantum manipulation of spin degrees of freedom in semiconductor nanostructures [1-3]. One motivation stems from the fact that it is believed that manipulating the spin degree of freedom of the electrons is less prone to heating effects, limiting standard electrostatic carrier density control based electronics. However, a huge problem in spin manipulation is the usual weak coupling of the spin to external fields, which can be controlled on nanoscale dimensions. Still, the manipulation of spin in nanoelectronic circuits offers another possibility of quantum coherent manipulation, which might have no classical analog. On one hand, the spin of an electron itself constitutes a quantum degree of freedom, which cannot be realized classically. However, a single spin also acts effectively as a simple magnetic moment of size and the behavior of the magnetic moment in external fields follows classical equations of motion like the Bloch equation. The quantum nature only comes into play if the spin is detected in a standard quantum mechanical projective measurement. This is, for example, the case if an electronic current is detected in a spin-polarized contact. However, the quantum information about the spin state bearing a certain direction on the Bloch sphere is lost since only the projection onto one predefined component/direction is measured.
The situation becomes entirely different if the many-particle aspects of electrons are taken into account. The many-particle wave function introduces the concept of indistinguishable particles and hence the question of exchange of the arguments of the wave function. In particular, the wave function can be in a superposition of product states, which constitutes a so-called non-separable state. If the particles are sufficiently spatially separated, one speaks of entanglement. Such a state induces non-local correlations, which cannot be explained classically and has been a subject of research ever since the early days of quantum mechanics (). Considered to be a purely academic and unobservable curiosity, this changed dramatically when Bell () showed that such correlations can be turned into a measurable test by violating a classical inequality for moments and thereby ruling out all classical explanations for the correlations. Since then numerous experiments have shown a violation of the Bell inequality (); however so far they have always been relying on one or another assumption [7-9]. Even more interest in entanglement arises from the fact that it constitutes a resource for quantum computing (). Since several setups for solid state architectures for quantum computing have been proposed, entanglement has also moved into the focus of current research.
In particular, using spins in quantum dots as quantum bits has attracted a tremendous interest after they had been proposed in Ref. (). Therefore, ways to produce and transport entangled electrons in semiconductors have been investigated. At an early stage double quantum dots were proposed to create entanglement with normal () or superconducting leads (). However, the question of the detection of a successful production of entanglement was at first left open. Later this turned into the focus of experimental and experimental activities. It will be one of our main concerns in this review of how to access observable consequences and, in particular, the question of which additional assumptions are necessary to show that indeed non-local quantum entanglement has been produced.
This review is composed of three parts. In the first part, we address the principle of entanglement and measures of entanglement in an abstract framework. Such abstract measures are useful in general discussions of entanglement, but in many cases are not directly related to measurable quantities. Nevertheless, one can indirectly probe these entanglement measures in transport experiments. In the second part, we will review the physics of two electrons in a double quantum dot, in particular their entanglement properties. Such entanglement can be quantified, but a measurement requires some indirect way to access the entanglement, e.g., by transport measurements. In the following, we review a method of extracting the concurrence in terms of an important interaction parameter by means of shot-noise measurements at the edge of the Coulomb blockade region. In the third part, we discuss entanglement creation by scattering of fermions at a quantum point contact, which has much formal equivalence to Andreev scattering at superconducting interfaces. The most common approach is to view this as some sort of electronic equivalent to photonic beam splitters and consider similar questions like the violation of Bell inequalities. We review the standard approach, which addresses this in terms of current-correlation functions, but will have to emphasize that second-order correlators are not sufficient to prove entanglement unless a given representation of the observables and states is assumed. We discuss the prospects of using higher-order correlation functions to achieve a loophole-free mesoscopic Bell test.
2 Entanglement and measures of entanglement
The notion of entanglement was introduced in the early days of quantum mechanics. It refers to the fact that a composite quantum system can be brought into a superposition of different product states. Hence, the state cannot be written as a product state of the two separate quantum systems. This introduced a correlation between two quantum systems, which can in principle be arbitrarily far apart. This has in fact triggered the question of whether such correlations, which constitute some kind of instantaneous interaction, are compatible with the requirements of special relativity.
The most generic entangled state is the so-called Einstein–Podolski–Rosen pair of two spin’ particles:
Obviously, it is not possible to decompose this state into a product state. In many cases however it is more appropriate to describe a system in mixed state by a density matrix . Entanglement is now defined such that the density matrix cannot be decomposed into a sum of non-entangled pure states. This definition makes it difficult to determine if a given density matrix contains entanglement. A famous example is the so-called Werner state (), given by
with . This state is entangled for , which follows from a finite concurrence and violates the Bell inequality for (both criteria will be defined later).
In many cases it is of interest to quantify the entanglement, e.g., to check the performance of a certain device or protocol to create entangled pairs or how long a certain entangled state survives if it is subject to decoherence. Several measures of entanglement exist in the literature and we list below only those which will be considered in semiconductor nanostructures.
The concurrence () for a mixed state is defined via the eigenvalues of the matrix as
with . For pure states it is reduced to . The concurrence is zero for separable states and reaches the maximum of 1 for pure entangled states a'la . Interestingly, for the Werner state defined above one finds the analytic result , which shows that the state is entangled for .
2.2 Entanglement of formation
Loosely related to the concurrence is the so-called entanglement of formation (), defined via
This entanglement measure has a physical meaning in that it can be seen as the fraction of pure singlet states in a given experiment which is necessary to produce the corresponding density matrix.
We consider the previously defined entanglement measured as quantum information theoretical constructions. They are useful for the quantification of entanglement and the general research on entangled states. However, a general difficulty lies in the fact that they are not easily related to measurable quantities or correlation functions of spin variables; one must at least assume a representation of the observables and the density matrix in a given Hilbert space.
2.3 General Bell test
Entanglement is often mentioned as a non-local –and hence non-classical –feature of quantum states. However, the entanglement is usually defined using a particular quantum representation of a state and observables in a Hilbert space. If we cannot take the representation for granted then entanglement is not conclusive evidence of non-locality. Note that the representation itself is not measurable and so there may be a different representation in which the state is not entangled. Hence, tests of the non-local nature of a quantum correlation must be representation-free and based solely on the measurement statistics. The most known procedure is the Bell test, later improved by Clauser et al. [5, 6]. The test requires two separate parties, usually called Alice and Bob, each of them free to measure one of two possible quantities, and , respectively. The results of the measurement must be dichotomic, (if there are more results, we simply split them into two complementary sets and assign to all results in one set and in the complementary one). Then the following statistical inequality holds [5, 6]:
It is important that all correlations are measured with respect to the same probability distribution. On the other hand, this inequality is violated in quantum mechanics for the state (1) taking , , , , with in the respective Hilbert space. Then , so and the left-hand side of (5) is equal to . Violation of the Bell inequality is also a proof of entanglement, but not all entangled states violate the Bell inequality, e.g., the state (2) is entangled without violation of (5) for . When claiming entanglement, one must trust the quantum representation of the observable operator and the quantum probability rule for commuting , , , and the state .
The violation of (5) has been confirmed experimentally [17, 18] albeit there are still loopholes in the interpretation of these experiments. For example, Alice and Bob may communicate during the measurement due to the small distance between them, which is commonly called the communication loophole (the underlying probability distribution may depend on the choice of observables). On the other hand, inefficient detectors, which see only a small fraction of the photons or other particles, lead to the detection loophole (equivalently, one can say the dichotomy assumption is not fulfilled because of the additional null event). Moreover, practical realizations of the state (1) may not be ideal enough to survive the detrimental effects of decoherence within the required time scale of measurements to violate the Bell inequality (5) without loopholes.
2.4 Assessment of entanglement
The problem of quantifying entanglement has several aspects. There is the theoretical question of quantitative measure, which interestingly has so far been only answered conclusively for two qubits, while it is still being debated for entanglement of parties with three or more states. One common problem is, however, that the measures for bipartite entanglement above rely on nonlinear expectation values of the density matrix and therefore are not directly related to physical observables. Of course, the elements of the density matrix of a given system are in principle measurable. However, such a measurement requires an a priori assumption about the structure of the Hilbert space. In many cases, the system is deliberately designed to possess only the few number of states required to apply entanglement measures as above. This is, for example, the case of quantum dots, where the number of electrons can be determined by manipulation of the various gate electrodes. Although in the Coulomb blockade regime the number of electrons is fixed, to determine the structure of the available states in general needs further and independent verification.
3 Entanglement in double quantum dots
One obvious appearance of entanglement in a mesoscopic structure is that of two electrons in a double quantum dot. It has first been theoretically proposed in Ref. (). The electron states are defined with respect to the orbitals of the two quantum dots. Originally they were assumed to be the orbitals of two harmonic potentials suitable for quantum dots defined by top gates in two-dimensional electron gases created in semiconductor heterostructures. However, in view of more recent realization of double quantum dots in carbon nanotubes or semiconductor nanowires [19-21], different degrees of freedom, like the spin, moved into the focus of research.
3.1 Two-electron entanglement
In a double dot as illustrated in Fig. 1 the single-electron states are characterized as symmetric and antisymmetric orbitals with corresponding creation operators for an electron with spin . This allows us to define the two-electron states
Expressed in terms of the dot orbitals, the state takes the form
which varies between 0 and 1 as a function of the parameter . This example nicely shows the correspondence between the abstract entanglement measure and a physical implementation of two electrons in a double quantum dot. To access the parameter, one can study the average current using a master equation in the sequential tunneling limit or taking into account cotunneling as was done in Ref. (). Further aspects include entanglement in triple quantum dots (), in a double-dot turnstile (), or using Aharonov–Bohm interferometer coupled dots ().
3.2 Transport properties –Current and noise
The transport properties are summarized in Fig. 2, which shows the average current (top panel) and the Fano factor (bottom panel) as a function of the bias voltage V and the gate voltage . Considering the current, the most visible feature is the Coulomb blockade diamond (green in Fig. 2). As long as the bias voltage is lower than the energy difference between the energetically lowest state and the next state with one electron more or less, i.e., with i and j being two states differing by one electron, electron tunneling is exponentially suppressed. In our model, we have three such blockade regimes with 0, 1, and 2 electrons in the dot for zero bias voltage. The two parts of Fig. 2 show the current and the Fano factor for the most interesting of these blockade regions, the one-electron blockade regime. We will concentrate our discussion on this region, since most interesting features can be discussed here.
3.3 Transport –Full counting statistics analysis
A more detailed view of the transport characteristic can be obtained by looking at the full counting statistics (FCS) (). The aim is here to find the cumulant generating function (CGF) , which is related to the probability of N charges passing through the system per unit time by . The knowledge of is equivalent to the knowledge of all the cumulants of the system according to , such as current (first cumulant) and noise (second cumulant), and , respectively (where e is the electron charge). The simplest way to evaluate the counting statistics in this case is to use the method described in Ref. (). We choose (without loss of generality) to count the charges in the left lead. Therefore, we have to change the left tunneling rates in the off-diagonal elements of the transport matrix : . The smallest eigenvalue of , which we denote by , determines the CGF as .
If we restrict our calculations to a certain region and thus reduce the number of involved states, it is possible to get an analytical expression for the Fano factor (). For region C, we include the one-electron states , , and the two-electron singlet , while other (e.g., triplet) states are outside. This means in practice that the dots interact with each other, so they are not fully separated (communication loophole). Here, the relevant energy differences are both smaller than the bias: . Therefore, both Fermi functions for the tunneling processes are exponentially suppressed, but one is much bigger than the other:
Therefore, we neglect and take the rates to lowest order in the parameter . Then the tunneling rates are
Here are the bare tunneling rates for the left/right leads. Without loss of generality, we will count the charges in the left lead, which means that we have to replace (the sign depending on whether an electron enters or leaves the dot, respectively) in the off-diagonal elements of the matrix . The counting statistics is obtained from the smallest eigenvalue , which we determine to lowest order in x. The result is
where . Finally, we obtain the Fano factor
which is independent of the bias voltage as long as we are in the one-electron Coulomb blockade regime. For a symmetric structure with , we obtain
Note that in both cases discussed here the Fano factor is super-Poissonian, viz. larger that 1, due to an effect similar to the dynamical channel blockade [28-31]. Hence, a measurement of the noise in this regime allows a direct determination of the interaction parameter . That such measurements are possible has been demonstrated experimentally [32-34]. In future, it seems interesting to investigate further ways to assess the entanglement.
4 Entanglement at quantum point contacts
Non-interacting fermions in the Fermi sea can get entangled due to the Pauli exclusion principle. In contrast, non-interacting bosons cannot get entangled by means of linear manipulations (e.g., beam splitters) out of vacuum or thermal states (). In contrast, entangled electron–hole pairs, in the form of the Bell state (1), are created at both sides of a biased tunnel junction [35-48, 69]. So far the efforts concentrated on testing entanglement by second-order current correlations [36-49]. Entanglement is supposed to be present if the inequality
is violated. Here the correlators are defined as , with . The projections are on disjoint subspaces. The definition (15) has the advantage of eliminating the detection loophole. If only a small fraction is detected the observable becomes , whereas the inequality (15) is unaffected by a small . However, it differs from the standard setup for the Bell inequality where the dichotomy of the outcomes can be verified experimentally by the check , which is verified in single-photon-counting detectors.
The dichotomy in (15), instead of being directly experimentally tested, is simply assumed in the quantum description of projections. Moreover, in the picture of electron–hole pairs created at the junction, the corresponding operators and entering quantum averages are time integrals over electric current, , , while current operators and usually do not commute and do not project. Consequently, an interpretation of current measurements needs to take into account the measurement scheme, e.g., in terms of weak measurements [50-52]. Unfortunately, to make the (Bell) test non-classicality convincing, the dichotomy (equivalent here to charge flow quantization) must be verified directly in the measurements. However, in tunnel junctions and quantum point contacts rather cumulants of the electric current are directly accessible and, so far, the noise [53-55] and the third cumulant [56-58] of the current have been measured. The main problem is a large background noise, which hampers the extraction of the real correlations, especially when going to higher than second moments. The quantization of charge flow is also not so evident at short time scales or high frequencies, when vacuum fluctuations of the Fermi sea play a role [59-62].
4.1 Weak positivity
The bad news for experimentalists trying to perform the Bell test at point contacts is that first- and second-order correlation functions can always be reproduced classically (). To see this, consider a real symmetric correlation matrix with for arbitrary, even non-commuting, observables and density matrix . This includes all possible first-order averages by setting one observable to the identity. Since for with arbitrary real , we find that the correlation matrix C is positive definite and any (even genuine quantum) correlation can be simulated by a classical Gaussian distribution . Note that the often used dichotomy is equivalent to , which requires us to measure the fourth-order correlator . Moreover, every classical inequality contains the highest correlator of even order. Hence, to detect non-classical effects with unbounded observables without any additional assumptions, we have to consider the fourth moments.
4.2 Fourth-moment inequality
To help experimentalists to use moments as low as possible, we should try to find a fourth-moment inequality. Such an inequality has been proposed some time ago () and reads
Unfortunately, it turns out that this inequality cannot even be violated quantum mechanically ().
A fourth-moment inequality that holds classically but is violated in quantum mechanics is much more complicated and reads ()
where . For dichotomic outcomes it reduces to the Bell inequality (5) and can be violated in a standard way.
4.3 Proposal for experiments
Now we implement the Bell example in a beam-splitting device involving fermions scattered at a tunnel junction. The junction is described by fermionic operators around the Fermi level [66, 67]. Each operator is denoted by mode number and spin orientation , , and for left- and right-going electrons, respectively. Each mode has its own Fermi velocity and transmission coefficient (reflection ). We will assume non-interacting electrons and energy- and spin-independent transmission through the junction. The Hamiltonian is
The fermionic operators satisfy anticommutation relations and for . The transmission coefficients are . The system's current operator is defined as and the density matrix is .
where describe scattering at the left detector, junction, and right detector, respectively. The junction has diagonal transmission and reflection submatrices, with . If the junction is prepared at zero temperature with the voltage bias eV, then the outgoing scattering state takes the simplified form
where denotes the initial state (as if the barrier was closed), h denotes the “hole” state on the lower-voltage side, while e denotes the “electron” state on the higher-voltage side. The last part of the state is entangled analogously to (1). The rate (frequency) of production of entangled electron–hole pairs is given by . The entanglement can be destroyed by temperature. The maximal (critical) temperature for entanglement is found from the relation ()
with the highest value for .
The presence of entanglement can be shown by violation of Bell-type inequalities (15) (of course with the experimentally unverified assumptions about the representation of operators) or (17). The Bell measurement will be performed by adding spin filters or magnetic flux at both sides of the junctions as shown in Fig. 3. In both cases we have to add to the Hamiltonian (18), where is the scattering potential, localized near the detectors.
In the case of spin filters we assume a transmission matrix where . Alternatively, we could introduce ‘artificial spin’ filters, taking acting in the mode space instead of spin space, having a magnetic-flux-tunable geometry of the scatterer. For magnetic fluxes we assume and
where represents the Aharonov–Bohm phase picked up on the upper branch. The matrices can be enlarged to represent -mode junctions. In both cases, the transmission coefficients for the total scattering matrix are and where in the case of magnetic fluxes.
As in the existing proposals [35-48], the tunnel barrier produces electron–hole pairs with entangled spins or orbitals. Alice and Bob can test the inequality (17) by measuring the difference between the charge flux in the upper and the lower arms as shown in Fig. 3. For Alice, the measured observable in the Heisenberg picture reads
for the filter setting . Here is the point of measurement, satisfying with slowly changing on the time scale . One defines analogously B for Bob.
The measured probability distribution can be treated as a convolution , where is the Gaussian detection noise –independent of the system and later subtracted. is a quasiprobability [50-52] and averages are defined as
for time-ordered observables, . The detection noise adds to the measurement outcome with . In the non-interacting limit (the sensitivity much smaller than the time resolution of the measurement –the time scale on which is finite), one can calculate averages with respect to using existing methods, based on FCS and its extension (). We have and and . The inequality (17) gets a simplified form in this particular case,
Having assumed the tunneling limit (), we make the following approximations:
with denoting the total number of modes going through the barrier. In this limit, one obtains a simple physical picture: the electron–hole Bell pairs are transmitted according to Poissonian statistics, with all moments equal:
and also Hence, the last term on the right-hand side of Eq. (25) is negligible and the inequalities (15) and (17) take the usual form , which can be violated by appropriate choice of the spin axes. Instead of measuring in the time domain, one can measure correlations in the frequency domain (up to ) and make the Fourier transform. If the scattering is mode-independent then one can assume that the junction consists of minimally independent channels, where is the total conductance of the junction, and repeat the whole above reasoning with N replaced by (experimentally –dividing measured cumulants by ).
We should stress, however, that the violation of (15) or (17) is here possible also at finite temperature but zero voltage, where no entanglement is predicted by (21) (). This is because the measurements are performed very close to the junction, where Alice and Bob are too close to claim any non-locality or separability, and the detection noise is subtracted (equivalent to the detection loophole). For the measurements far enough away from the junctions, there are additional contributions to the moments, not proportional to and leading to intrinsic additional detection noise, which destroy the violation of Ref. (). This is why one should continue to search for better tests of entanglement and non-locality at point contacts and tunnel junctions, reducing also the detection noise.
5 Hierarchy of mesoscopic Bell test
In the previous section we have discussed several aspects of entanglement verification using current measurements in semiconductor nanostructures. We now compare several ways to extract the entanglement produced in a given setup. It is important to keep in mind that many experimental setups require additional assumptions. Depending on how severe these assumptions are, we propose a hierarchy of entanglement tests. The several steps to achieve trust in a given entanglement test are summarized in Table 1.
The first and simplest test is to map the entanglement properties on quantities, which determine the average current. This was, for example, done in Refs. [22, 23], where the important interaction parameter at the same time determines the entanglement in the form of the concurrence and several transport properties, like current and noise. For example, a study of the complete gate and bias voltage dependence allows us to confirm the electronic spectrum of the quantum dot in great detail. Hence, one can believe in the presence of entangled two-electron states. However, the biggest drawback is that everything is rather local, since the two orbital states in the quantum dot even have overlapping wave functions. Whether or not the entangled electrons can be spatially separated cannot be decided on the basis of such measurements.
A generic entangler consists of a source and two leads into which the two partners of an EPR pair propagate. In terms of electronic circuits, this means that we speak about a three-terminal device, which is described by a conductance matrix, setting the proportionality between currents and bias voltages and defined by . We assume here for simplicity that we stay in the linear response regime. A first test of locality [20, 21] is to check that the local conductances depend on changing a parameter at another terminal, e.g., by applying local gate voltages. As before the interpretation of such local conductance measurement relies heavily on modeling. However, information on the efficiency of the splitting of an entangled pair has been obtained in that manner. It is important to check the details of the model with some control measurements, like, e.g., interchanging control and measurement terminals, which have not been performed. Nevertheless, there is hope to achieve a highly efficient splitting (). The next level would be to measure the non-local conductance, e.g., by injecting a current through one contact and measuring the voltage at the other normal lead. Such a setup has been investigated in the context of crossed Andreev reflection [71-73], which is the microscopic mechanism responsible for non-local processes and contributing to the non-local conductances for . However, experimental tests have been hampered by a large contribution of direct electron transfer [73-76]. Most recently it was proposed that entanglement can be detected in conductance measurements alone [77, 78], which however do not allow us to exclude that, e.g., due to dephasing the entanglement has been destroyed. Furthermore, such tests assume a given setup and if those additional assumptions are not fulfilled experimentally, the corresponding inequality can be violated in the absence of entanglement.
The most obvious test of the non-local correlation is a direct measurement of two observables in distant terminals, much in the spirit of the original Bell test. In quantum transport setups, this means accessing the cross correlations of the currents at different terminals. One central problem with such tests is that the current measured is usually averaged over some time interval which is much longer than the mean time between single events. The same is of course true for correlation measurements. Hence, the observables are the time-averaged current operators, which cannot be simply mapped to spin observables as is required for the Bell test in the Clauser-Horne-Shimoni-Holt (CHSH) [5, 6] formulation. This can be simply seen from the definitions around (15), for which the operator identity is not fulfilled, even after normalization. A first test could access the dependence of the cross-correlation signal on the mutual angle between the spin polarizations of the detectors. Note that the spin can equally well replaced by any other effective dichotomic degree of freedom, like different channels, valleys, or similar. The quantum prediction of the cross correlation can be checked for all angles and thus constitutes not only a check of the detection efficiency, but also hints to the fact that the current is essentially bound to a total spin . However, such a result could still be produced by classically correlated particles, simply because the detection scheme is too slow to extract only the coincidences. A next step is to try to violate some sort of Bell inequality by mapping the observables onto some pseudo-spin observable, which reduces to the spin algebra for dichotomic outcomes. The main problem here is that the mapping only works in limiting cases, for example, at zero temperature, where the currents are bound to maximal values determined by ballistic transmission. However, since such values depend on the measuring time, in general they have to be normalized by some other measurable quantity like the average current. These observables lead to unbound fluctuations at finite temperature, which might lead to a fake violation of the Bell inequality even at high temperatures (). This effect is a manifestation of the weak positivity and therefore does not represent a conclusive Bell test. We note that in addition the stringent conditions on the measurement time which have to be met to violate the Bell inequality even using favorable conditions and negligible temperature. The measurement time has to be so short so that it amounts to single-particle detection, which can be reached in principle by rare emission events of entangled pairs. This however at the same time reduces the performance of a possible entangler, since the emission becomes essentially fully random.
Finally, the fully conclusive Bell test requires us to go beyond second-order correlations (), the reason being the weak positivity. It is possible to derive an inequality involving a fourth-order correlation function (), which reduces to the Bell inequality for dichotomic observables. Furthermore, one can apply it to a tunnel junction entangler similar to the ones studied above. It turns out that the Bell-type inequality (17) is usually drastically harder to violate when the right-hand side depends on the system setup and external parameters like the temperature. Only in the case of a tunnel junction at very low temperatures can one achieve a violation, since the right-hand side of the Bell-type inequality (17) approaches the dichotomic limit. To summarize, we note that making entanglement a useful resource for quantum computation requires such a detailed control of the quantum correlations, so that the high-frequency and ultra-short temporal control of quantum correlations necessary to find a violation of a fourth-order inequality should be achievable as well.
In this topical review, we have discussed several aspects of entanglement in semiconductor nanostructures. After a short review of essential aspects of entanglement in a quantum information theoretical framework, we turned to entanglement generation in semiconductors and related setups. We discussed the correlations in a double quantum dot, which can be related to certain entanglement measures. An entanglement detection via current and noise measurement should be feasible, as shown by a FCS analysis. Next we turned to the more general equations of correlations in general entangler setups, realized in semiconductor and/or superconducting entanglers. We have discussed that a completely new view of entanglement measures is necessary, since in general the lack of single-particle observations makes the original CHSH inequality (valid for pure spins) inapplicable. The assessment of entanglement through higher-order correlation functions is in fact a necessary ingredient of all entanglement tests of a continuous variable. Whether or not such a test can be achieved in semiconductor nanostructures is presently open, but a combined experimental and theoretical effort can hopefully make it possible.
The collaboration and discussions with C. Bruder and F. Bodoky are gratefully acknowledged. Furthermore, we acknowledge discussions with Wolf-Rüdiger Hannes, Mikhail Titov, Carlo Beenakker, Markus Büttiker, Peter Samuelsson, and Yuli V. Nazarov. This work was financially supported by the German Science Foundation (DFG) through the Priority Program 1285 Semiconductor Spintronics and the SFB 767 Controlled Nanosystems.