Role of Particle Entanglement in the Violation of Bell Inequalities

Entanglement between two separate systems is a necessary resource to violate a Bell inequality in a test of local realism. We demonstrate that to overcome the Bell bound, this correlation must be accompanied by the entanglement between the constituent particles. This happens whenever a super-selection rule prohibits coherences between states with different total number of particles and thus imposes a constraint on feasible local operations in each sub-system. We show that the necessary entanglement between the particles might solely result from their indistinguishability. We also give an example of both mode and particle-entangled pure state, which does not violate any Bell inequality. Our result reveals a fundamental relation between the non-locality and the particle entanglement.

where the state has been written in Schmidt decomposition on orthonormal bases of the parties A and B, respectively. If the state is A-B entangled-which happens when at least two coefficients of this expansion, say c i and c i′ , are non-zero-a Bell inequality 24 will be violated by locally coupling φ | 〉 i A with φ | ′〉 i A | and |χ i 〉 B with |χ i′ 〉 B . However, sometimes local operations and/or measurements are prohibited by some superselection rule (SSR). The SSR is a restriction imposed on quantum mechanics forbidding coherences between eigenstates of certain observables 25,26 . For the purpose of this manuscript, the SSR can be formulated as follows: local operations/measurements cannot create/detect coherences between states with different number of particles. Here, a particle is understood as a discrete object carrying a set of fundamental quantum numbers, such as the charge or the baryon and lepton numbers 27 .
To illustrate the impact of the SSR on the feasible local operations, consider two states localized in A: one which contains a single sodium 23 atom, denoted by | 23 Na〉 A and the other with a rubidium 87 atom, denoted by | 87 Rb〉 A . Although these states have the same number of atoms, any operation or measurement coupling these states would not preserve the number of baryons. Therefore, such coupling is forbidden by the SSR 25,26,28 imposing the conservation of the total number of baryons. Another known example is a single particle in the superimposed state 29 : The SSR formulated above prohibits the local creation or detection of a superposition of the vacuum |0〉 A with the state containing one particle |1〉 A . From the point of view of physically realizable local operations one can effectively replace the pure state (2) with an incoherent mixture Although the state (2) is A-B entangled, due to the SSR the resulting ρˆf f e is A-B separable (i.e., non-entangled) and as such does not violate any Bell inequality 27,[30][31][32] . Note that for photons, to which the SSR does not apply, the local coupling of |0〉 A with |1〉 A is allowed and indeed the state (2) violates a Bell inequality 19,21,29 .
Inspired by this example we formulate and prove a general theorem: the restriction imposed on the local operations by the SSR renders not only the A-B entanglement but also the entanglement of particles shared by A and B necessary for the violation of any Bell inequality. We demonstrate that this latter resource might origin solely from the particle indistinguishability 33 .

Results
To set the stage and proceed with the proof, we note that the A-B separable states have a general form where p i 's are the statistical weights. Here, ρˆA i ( ) and ρˆB i ( ) represent the quantum state of the subsystems in A and B, respectively. We will demonstrate that in presence of SSR and in the context of Bell inequalities, the quantum state should also be inspected through the relation between the N particles shared by A and B. Particle-separable states can be written as where ρ i n ( ) is a quantum state of the n-th particle. The particle-entangled states are those that cannot be written in this way. We show that all particle separable states do not violate any Bell inequality in presence of SSR. In other words, the quantum state shared by A and B must necessarily be particle-entangled to violate any Bell inequality. Note that the SSR imposes restrictions both globally (on the whole state) and locally, in A and in B separately: it prohibits coherences between states with different particle numbers and renders some local operations unphysical.
Distinguishable particles. First, we consider a collection of distinguishable particles. The basic building block of the N-body density matrix (5) is the one-body pure state, which for the i-th particle reads creates a quantum of a field associated with this particle in the region k, |0〉 is the vacuum and |α(ψ i )| 2 + |β(ψ i )| 2 = 1. According to Eq. (5), the density matrix of N particles forming a separable state is an incoherent mixture of the one-body matrices: determines the partition of all the particles among A and B. The symbol ψ i is the integration measure over the set of fields ψ i .
Following the example from Eq. (2), the SSR enforces every |ψ i 〉〈ψ i | to be replaced with This expression, plugged back into (7) gives Since the inter-region coherence is washed out already on the particle level of Eq. (8) and the integral over the fields does not introduce any quantum coherence, the effective N-body density matrix ρˆf f e is both particle-and A-B-separable (for the rigorous proof, see Methods). To conclude, the SSR "transforms" the state (7) into (9), which has the form of Eq. (4), and as such it will not violate any Bell inequality.
If the distinguishable particles are entangled, violation of Bell inequality in presence of SSR might be possible. For illustration, consider an electron (e) and a proton (p) forming a particle-and A-B-entangled state where the arrows denote the projection of the spin of each particle on some quantization axis. Now, local operations can be executed by coupling |↑ e 〉 A with |↓ e 〉 A and |↑ p 〉 B with |↓ p 〉 B . Therefore, according to the discussion below Eq. (1), this state will violate a Bell inequality. On the other hand, take an alternative particle-and A-B-entangled state It will not violate any Bell inequality, because SSR forbid the coupling of |↑ e , ↑ p 〉 A with |0〉 A and |↓ e , ↓ p 〉 B with |0〉 B . This second example highlights the fact that when the SSR apply, both the particle and the A-B entanglement are only necessary, but not sufficient to drive the violation of a Bell inequality.
Indistinguishable particles. We now turn to bosons (for a comprehensive review of the entanglement criteria for bosons, see [34][35][36] ), for which a separable state can be written, in analogy with Eq. (7), as 37,38 ∫ ψ ψ ψ ψ Here ψ is the spin coherent state, which reads^⟩ The language of the second quantization allows to immediately identify the relation between A and B, i.e, provides the state decomposed as in Eq. (4). This can be seen by writing Eq. (13) in terms of A/B occupation states, i.e, In presence of SSR, local operations cannot couple |n〉 k with |n′〉 k . In this context, the state ( (14)) can be effectively replaced by is A-B separable. Thus, for the same argument illustrated in the previous Section, in presence of SSR the particle entanglement is a necessary resource for the violation of any Bell inequality.
Example. We now show that the entanglement extracted solely from the indistinguishability of bosons might be sufficient for the violation of the Bell inequality 39-42 . Consider one a particle of type i and a particle of type j in a state i j entering the system through the two ports 43 , shown in Fig. 1. The two beam-splitters distribute the signal among A and B, The symbol ⊗ in Equations (18) and (19) multiplies the single-particle states, but to analyze the relation between A and B, one should switch to the second-quantization. This is obtained by expanding the product and expressing |ψ〉 in terms of A-and B-occupation states. For instance, ( 1 ,0 0 ,1 0,1 1 ,0 1,1 0,0 0,0 1 ,1 ) (20) Now it is clear that the state is A-B entangled. If the particles are distinguishable, i.e., i ≠ j, they are not entangled and the only pair of states in A with equal number of particles are |1 i ,0 j 〉 A and |0 i ,1 j 〉 A (and analogically in B). These states cannot be locally coupled in presence of SSR and the system will not violate any Bell inequality. On the other hand, if the particles are identical, i and j labels the two ports (modes) through which a pair of indistinguishable particles enters the system. In this case, the state (18) is particle-entangled state due to the indistinguishability and after the splitting it reads Now, the coupling of |1,0〉 k with |0,1〉 k can be realized, and particle entanglement coming solely from indistinguishability 33 will drive the violation of some Bell inequality.

Discussion
If a separable state contains a group of bosons and a group of distinguishable particles, all above arguments can be applied to each subgroup separately, since local operations, in presence of SSR prohibit the transmutation of a particle of one type into another. Moreover, if the state reveals incoherent particle-number fluctuations, that are consistent with SSR, each fixed-N sector can be considered separately, leading to the same conclusionparticle-separable states do not reveal non-locality in any Bell test. One could extend the system by adding an auxiliary reference frame to the particle-separable state 44,45 . If this reference frame is quantum and obeys the SSR, then, according to our proof, as long as this extension does not introduce any particle entanglement, the composite system will remain effectively A-B separable.
Finally, we point that the mode-and the particle-entanglement, together forming a set of necessary conditions to observe the violation of the Bell inequality, are also a resource in quantum interferometry. There, the sub-shot noise sensitivity of the phase estimation can be achieved only if these two types of correlations are present during the imprint of the interferometric phase 46,47 .
To summarize, we have shown that in presence of super-selection rules, mode entanglement must be accompanied by entanglement between the particles in order to violate a Bell inequality. This is the case for distinguishable particles, bosons, or systems where bosons and distinguishable particles co-exist. Our result puts the particle entanglement on par with the A-B mode entanglement, as a necessary condition for the violation of the local realism. We have demonstrated that the particle entanglement necessary for the violation of the Bell inequalities might result solely from the indistinguishability of bosons. An example of a pure state which is both A-B and particle-entangled, but due to the SSR does not violate any Bell inequality, underlines that the presence of both these types of correlations is merely a necessary condition.

Methods
Here we present the rigorous proof of the transformation from Eq. (7) to the Eq. (9) in presence of SSR. To this end, note that the one-body pure state for the particle of type i, which is distributed among the the parties A and B reads^⟩ We introduce a shortened notation, where In this state, the quantum correlation between the particles in A and B arises from the one-body coherence, which is represented in the independent sums over κ i and κ′ i . The restriction imposed on local operations require that A and B can only couple states with a fixed number of particles obeying the SSR. This means that the sums over κ i and κ′ i effectively do not run independently, and the state reduces to This state does not reveal any quantum coherence and is A-B separable. 