Abstract
Initialization of composite quantum systems into highly entangled states is usually a must to enable their use for quantum technologies. However, unavoidable noise in the preparation stage makes the system state mixed, hindering this goal. Here, we address this problem in the context of identical particle systems within the operational framework of spatially localized operations and classical communication (sLOCC). We define the entanglement of formation for an arbitrary state of two identical qubits. We then introduce an entropic measure of spatial indistinguishability as an information resource. Thanks to these tools we find that spatial indistinguishability, even partial, can be a property shielding nonlocal entanglement from preparation noise, independently of the exact shape of spatial wave functions. These results prove quantum indistinguishability is an inherent control for noisefree entanglement generation.
Similar content being viewed by others
Introduction
The discovery and utilization of purely quantum resources is an ongoing issue for basic research in quantum mechanics and quantum information processing^{1,2}. Processes of quantum metrology^{3}, quantum key distribution^{4}, teleportation^{5}, or quantum sensing^{6} essentially rely on the entanglement feature^{7,8}. Unfortunately, entanglement is fragile due to the inevitable interaction between system and surrounding environment already in the initial stage of pure state preparation, making the state mixed^{9,10}. As a result, protecting entanglement from unavoidable noises remains a main objective for quantumenhanced technology^{11}.
Manybody quantum networks usually employ identical quantum subsystems (e.g., qubits) as building blocks^{12,13,14,15,16,17,18,19}. Characterizing peculiar features linked to particle indistinguishability in composite systems assumes importance from both the fundamental and technological points of view. Discriminating between indistinguishable and distinguishable particles has always been a big challenge for which different theoretical^{20,21,22,23} and experimental^{24,25,26,27,28} techniques have been suggested. Recently, particle identity and statistics have been shown to be a resource^{29,30,31,32,33,34} and experiments which witness its presence have been performed^{35}. One aspect that remains unexplored is how the continuous control of the spatial configurations of oneparticle wave functions, ruling the degree of indistinguishability of the particles, influences noisy entangled state preparation. Moreover, a measure of the degree of indistinguishability lacks.
Pursuing this study requires an entanglement quantifier for an arbitrary (mixed) state of the system with tunable spatial indistinguishability. It is desirable that this quantifier is defined within a suitable operational framework reproducible in the laboratory. The natural approach to this aim is the recent experimentally friendly framework based on spatially localized operations and classical communication (sLOCC), which encompasses entanglement under generic spatial overlap configurations^{34}. This approach has been shown to also enable remote entanglement^{36,37} and quantum coherence^{38}.
Here, we adopt the sLOCC framework to unveil further fundamental traits of composite quantum systems. We first define the entanglement of formation for an arbitrary state of two indistinguishable qubits (bosons or fermions). We then introduce the degree of indistinguishability as an entropic measure of information, tunable by the shapes of spatial wave functions. We finally apply these tools to a situation of experimental interest, that is noisy entangled state preparation. We find spatial indistinguishability can act as a tailored property protecting entanglement generation against noise.
Results
sLOCCbased entanglement of formation of an arbitrary state of two identical qubits
We first focus on the quantification of entanglement for an arbitrary state (pure or mixed) of identical particles. For identical particles we in general mean identical constituents of a composite system. In quantum mechanics identical particles are not individually addressable, as are instead nonidentical (distinguishable) particles, so that specific approaches are needed to treat their collective properties^{39,40,41,42,43,44,45,46}. Our goal is accomplished by straightforwardly redefining the entanglement of formation known for distinguishable particles^{47} to the case of indistinguishable particles, thanks to the sLOCC framework^{34}.
The separability criterion in the standard theory of entanglement for distinguishable particles^{8,47} maintains its validity also for a state of indistinguishable particles once it has been projected by sLOCC onto a subspace of two separated locations \({\mathcal{L}}\) and \({\mathcal{R}}\). In fact, after the measurement, the particles are individually addressable into these regions and the criteria known for distinguishable particles can be adopted^{34,38}.
Consider two identical qubits, with spatial wave functions ψ_{1} and ψ_{2}, for which one desires to characterize the entanglement between the pseudospins between the separated operational regions. States of the system can be expressed by the elementarystate basis \(\{\left{\psi }_{1}{\sigma }_{1},{\psi }_{2}{\sigma }_{2}\right\rangle ,{\sigma }_{1},{\sigma }_{2}=\uparrow ,\downarrow \}\), expressed in the nolabel particlebased approach^{44,45} where fermions and bosons are treated on the same footing. The density matrix of an arbitrary state of the two identical qubits can be written as
where \({\mathcal{N}}\) is a normalization constant. Projecting ρ onto the (operational) subspace spanned by the computational basis \({{\mathcal{B}}}_{{\rm{LR}}}=\{\left{\rm{L}}\uparrow ,{\rm{R}}\uparrow \right\rangle ,\left{\rm{L}}\uparrow ,{\rm{R}}\downarrow \right\rangle ,\left{\rm{L}}\downarrow ,{\rm{R}}\uparrow \right\rangle ,\left{\rm{L}}\downarrow ,{\rm{R}}\downarrow \right\rangle \}\) by the projector
one gets the distributed resource state
with probability \({P}_{{\rm{LR}}}={\rm{Tr}}({\Pi }_{{\rm{LR}}}^{(2)}\rho )\). We call P_{LR} sLOCC probability since it is related to the postselection procedure to find one particle in \({\mathcal{L}}\) and one particle in \({\mathcal{R}}\). The state ρ_{LR} is then exploitable for quantum information tasks by addressing the individual pseudospins in the separated regions \({\mathcal{L}}\) and \({\mathcal{R}}\), which represent the nodes of a quantum network. The state ρ_{LR} can be in fact remotely entangled in the pseudospins and constitute the distributed resource state. The trace operation is clearly performed in the LRsubspace (see Supplementary Notes 1 and 3 for details). The state ρ_{LR}, containing one particle in \({\mathcal{L}}\) and one particle in \({\mathcal{R}}\), can be diagonalized as \({\rho }_{{\rm{LR}}}={\sum }_{i}{p}_{i}\left{\Psi }_{i}^{{\rm{LR}}}\right\rangle \left\langle {\Psi }_{i}^{{\rm{LR}}}\right\), where _{pi} is the weight of each pure state \(\left{\Psi }_{i}^{{\rm{LR}}}\right\rangle\) which is in general nonseparable. Entanglement of formation of ρ_{LR} is as usual^{48}\({E}_{f}({\rho }_{{\rm{LR}}})=\min {\sum }_{i}{p}_{i}E(\left{\Psi }_{i}^{{\rm{LR}}}\right\rangle )\), where minimization occurs over all the decompositions of ρ_{LR} and \(E({\Psi }_{i}^{{\rm{LR}}})\) is the entanglement of the pure state \(\left{\Psi }_{i}^{{\rm{LR}}}\right\rangle\). We thus define the operational entanglement E_{LR}(ρ) of the original state ρ obtained by sLOCC as the entanglement of formation of ρ_{LR}, that is
We can conveniently quantify the entanglement of formation E_{f}(ρ_{LR}) by the concurrence C(ρ_{LR}), according to the wellknown relation \({E}_{f}=h[(1+\sqrt{1{C}^{2}})/2]\)^{47,49}, where \(h(x)=x\,{\mathrm{log}\,}_{2}x(1x)\;{\mathrm{log}\,}_{2}(1x)\). The concurrence C_{LR}(ρ) in the sLOCC framework can be easily introduced by
where λ_{i} are the eigenvalues, in decreasing order, of the nonHermitian matrix \(R={\rho }_{{\rm{LR}}}{\widetilde{\rho }}_{{\rm{LR}}}\), being \({\widetilde{\rho }}_{{\rm{LR}}}={\sigma }_{y}^{{\rm{L}}}\otimes {\sigma }_{y}^{{\rm{R}}}{\rho }_{{\rm{LR}}}^{* }{\sigma }_{y}^{{\rm{L}}}\otimes {\sigma }_{y}^{{\rm{R}}}\) with localized Pauli matrices \({\sigma }_{y}^{{\rm{L}}}=\left{\rm{L}}\right\rangle \left\langle {\rm{L}}\right\otimes {\sigma }_{y}\), \({\sigma }_{y}^{{\rm{R}}}=\left{\rm{R}}\right\rangle \left\langle {\rm{R}}\right\otimes {\sigma }_{y}\). The entanglement quantifier of ρ so obtained contains all the information about spatial indistinguishability and statistics (bosons or fermions) of the particles.
sLOCCbased entropic measure of indistinguishability
In quantum mechanics, identical particles can be given the property of indistinguishability associated to a specific set of quantum measurements, being different from identity that is an intrinsic property of the system. With respect to the set of measurements, it seems natural to define a continuous degree of indistinguishability, which quantifies how much the measurement process can distinguish the particles. In this section, we deal with this aspect within sLOCC. For simplicity, the treatment is first presented for a twoparticle pure state and then generalized to Nparticle pure states. It is worth to mention that the framework is universal and also valid for mixed states.
Let us consider an elementary pure state of two identical particles \(\left{\Psi }^{(2)}\right\rangle =\left{\chi }_{1},{\chi }_{2}\right\rangle\), where \(\left{\chi }_{i}\right\rangle\) is a generic oneparticle state containing a set of commuting observables such as spatial wave function \(\left{\psi }_{i}\right\rangle\) and an internal degree of freedom \(\left{\sigma }_{i}\right\rangle\) (e.g., pseudospin with basis {↑, ↓}). The twoparticle state \(\left{\Psi }^{(2)}\right\rangle\) is thus
In general, the degree of indistinguishability depends on both the quantum state and the measurement performed on the system. This means a given set of operations allows one to distinguish the particles while another set of operations does not. Let us narrow the analysis down to spatial indistinguishability within the sLOCC framework, linked to the incapability of distinguish which one of the two particles is found in each of the separated operational region. This framework thus leads to the concept of remote spatial indistinguishability of identical particles. The suitable class of measurements to this aim is represented by local counting of particles, leaving the pseudospins untouched. Inside this class, the joint projective measurement \({\Pi }_{{\rm{LR}}}^{(2)}\) defined in Eq. (2) represents the detection of one particle in \({\mathcal{L}}\) and of one particle in \({\mathcal{R}}\). We indicate with \({P}_{{\rm{X}}{\psi }_{i}}={\left\langle {\rm{X}} {\psi }_{i}\rangle \right}^{2}\) (X = L, R and i = 1, 2) the probability of finding one particle in the region \({\mathcal{X}}\) (\({\mathcal{X}}={\mathcal{L}},{\mathcal{R}}\)) coming from \(\left{\psi }_{i}\right\rangle\). We then define the joint probabilities of the two possible events when one particle is detected in each region: (i) \({{\mathcal{P}}}_{12}={P}_{{\rm{L}}{\psi }_{1}}{P}_{{\rm{R}}{\psi }_{2}}\) related to the event of finding a particle in \({\mathcal{L}}\) emerging from \(\left{\psi }_{1}\right\rangle\) and a particle in \({\mathcal{R}}\) emerging from \(\left{\psi }_{2}\right\rangle\), (ii) \({{\mathcal{P}}}_{21}={P}_{{\rm{L}}{\psi }_{2}}{P}_{{\rm{R}}{\psi }_{1}}\) related to the vice versa. The amount of the nowhich way information emerging from the outcomes of the joint sLOCC measurement \({\Pi }_{{\rm{LR}}}^{(2)}\) is a measure of the spatial indistinguishability of the particles in the state \(\left{\Psi }^{(2)}\right\rangle\). We thus use \({{\mathcal{Z}}}^{(2)}:= {\rm{Tr}}({\Pi }_{{\rm{LR}}}^{(2)}\left{\Psi }^{(2)}\right\rangle \left\langle {\Psi }^{(2)}\right)={{\mathcal{P}}}_{12}+{{\mathcal{P}}}_{21}\), that encloses the essence of this lack of information, to introduce the entropic measure of the degree of remote spatial indistinguishability
The entropic expression above naturally arises from the requirement of quantifying the no whichway information associated to the uncertainty about the origin (spatial wave function) of the particle found in each of the operational regions. If particles do not spatially overlap in both remote regions, we have maximum information (\({{\mathcal{P}}}_{12}=1\), \({{\mathcal{P}}}_{21}=0\) or vice versa) and \({{\mathcal{I}}}_{{\rm{LR}}}=0\) (the particles can be distinguished by their spatial location). On the other hand, \({{\mathcal{I}}}_{{\rm{LR}}}=1\) when there is no information at all about each particle origin (\({{\mathcal{P}}}_{12}={{\mathcal{P}}}_{21}\)) and the particles are maximally overlapping in both regions. Notice that a given value of \({{\mathcal{I}}}_{{\rm{LR}}}\) corresponds to a class of different shapes of the singleparticle spatial wave functions \(\left{\psi }_{i}\right\rangle\). Moreover, in an experiment which reconstructs the identical particle state by standard quantum tomography, the corresponding value of \({{\mathcal{I}}}_{{\rm{LR}}}\) can be indirectly obtained^{50}.
The above definition of the degree of spatial indistinguishability for two identical particles allows us to defining a more general degree of indistinguishability for N identical particles. In general, N different operational regions \({{\mathcal{R}}}_{i}\) (i = 1, …, N) are needed to quantify the indistinguishability of N identical particles (see Fig. 1). Let us consider a Nidentical particle elementary pure state \(\left{\Psi }^{(N)}\right\rangle =\left{\chi }_{1},{\chi }_{2},...,{\chi }_{N}\right\rangle\), where \(\left{\chi }_{i}\right\rangle\) is the ith singleparticle state. Each \(\left{\chi }_{i}\right\rangle\) is characterized by the set of values \({\chi }_{i}={\chi }_{i}^{a},{\chi }_{i}^{b},\ldots ,{\chi }_{i}^{n}\) corresponding to a complete set of commuting observables \(\hat{a},\hat{b},\ldots ,\hat{n}\). For example, if \(\hat{a}\) describes the spatial distribution of the singleparticle states, \({\chi }_{i}^{a}\) is a spatial wavefunction ψ_{i}. To define a suitable class of measurements, we take the Nparticle state
where the ith singleparticle state \(\left{\alpha }_{i}{\beta }_{i}\right\rangle\) is characterized by a subset \(\hat{a},\hat{b},\ldots ,\hat{j}\) of the \(\hat{a},\hat{b},\ldots ,\hat{n}\) commuting observables with eigenvalues \({\alpha }_{i}={\alpha }_{i}^{a},{\alpha }_{i}^{b},\ldots ,{\alpha }_{i}^{j}\), and by the remaining observables \(\hat{k},\ldots ,\hat{n}\) with eigenvalues \({\beta }_{i}={\beta }_{i}^{k},\ldots ,{\beta }_{i}^{n}\). In the first member of Eq. (8) we have set α ≔ {α_{1}, …, α_{N}} and β ≔ {β_{1}, …, β_{N}}. The Nparticle projector on outcomes (α, β) of the complete set of observables is \({\Pi }_{\alpha \beta }^{(N)}={\left\alpha \beta \right\rangle }_{N}\left\langle \alpha \beta \right\), while the projector on outcomes α of the partial set of observables is
Within the sLOCC framework, we can quantify to which extent particles in the state \(\left{\Psi }^{(N)}\right\rangle\) can be distinguished by knowing the results α of the local measurements described by \({\Pi }_{\alpha }^{(N)}\) of Eq. (9), considering that singleparticle spatial wave functions {ψ_{i}} can overlap (see Fig. 1). The (sLOCC) measurements have to satisfy the following properties: (1) the N singleparticle states \(\{\left{\alpha }_{i}{\beta }_{i}\right\rangle \}\) are peaked in separated spatial regions \(\{{{\mathcal{R}}}_{i}\}\) (see Fig. 1); (2) \(\langle {\Psi }^{(N)} {\Pi }_{\alpha }^{(N)} {\Psi }^{(N)}\rangle\;\ne\; 0\), i.e., the probability of obtaining the projected state must be different from zero (see Methods and Supplementary Note 1 for the general formulas).
We indicate with \({P}_{{\alpha }_{i}{\chi }_{j}}\) the singleparticle probability that the result α_{i} comes from the state \(\left{\chi }_{j}\right\rangle\). We then define the joint probability \({P}_{\alpha {\mathcal{P}}}:= {P}_{{\alpha }_{1}{\chi }_{{p}_{1}}}{P}_{{\alpha }_{2}{\chi }_{{p}_{2}}}\cdots {P}_{{\alpha }_{N}{\chi }_{{p}_{N}}}\), where \({\mathcal{P}}=\{{p}_{1},{p}_{2},...,{p}_{N}\}\) is one of the N! permutations of the N singleparticle states \(\{\left{\chi }_{i}\right\rangle \}\). Notice that \({P}_{\alpha {\mathcal{P}}}\) can be nonzero for each of the N! permutations, since in general the outcome α_{i} can come from any of the singleparticle state \(\left{\chi }_{j}\right\rangle\). The quantity \({\mathcal{Z}}={\sum }_{{\mathcal{P}}}{P}_{\alpha {\mathcal{P}}}\) thus accounts for this no whichway effect concerning the probabilities. The degree of indistinguishability is finally given by
This quantity depends on measurements performed on the state. If the particles are initially all spatially separated, each in a different measurement region, only one permutation remains and \({{\mathcal{I}}}_{\alpha }=0\): we have complete knowledge on the singleparticle state \(\left{\chi }_{j}\right\rangle\) which gives the outcome α_{i}, meaning that the particles are distinguishable with respect to the measurement \({\Pi }_{\alpha }^{(N)}\). On the other hand, if for any possible permutation \({\mathcal{P}}^{\prime}\,\ne\,{\mathcal{P}}\) one has \({P}_{\alpha {\mathcal{P}}}^{\prime}={P}_{\alpha {\mathcal{P}}}\), indistinguishability is maximum and reaches the value \({{\mathcal{I}}}_{\alpha }={\mathrm{log}\,}_{2}N!\). As a specific example, when \({\chi }_{i}^{a}={\psi }_{i}\) (spatial wave functions) and \({\chi }_{i}^{b}={\sigma }_{i}\) (pseudospins), \({{\mathcal{I}}}_{\alpha }\) of Eq. (10) is the direct generalization of \({{\mathcal{I}}}_{{\rm{LR}}}\) of Eq. (7) and provides the degree of spatial indistinguishability under sLOCC for N identical particles.
Application: noisy preparation of pure entangled state
We now apply the tools above to a situation of experimental interest, namely noisy entanglement generation with identical particles.
Werner state^{51} \({W}_{{\rm{AB}}}^{\pm }\) for two nonidentical qubits A and B is considered as the paradigmatic example of realistic noisy preparation of a pure entangled state subject to the action of white noise. In the usual formulation, it is defined as a mixture of a pure maximally entangled (Bell) state and of the maximally mixed state (white noise). Its explicit expression, assuming to be interested in generating the Bell state \(\left{\Psi }_{\pm }^{{\rm{AB}}}\right\rangle =(\left{\uparrow }_{{\rm{A}}},{\downarrow }_{{\rm{B}}}\right\rangle \pm \left{\downarrow }_{{\rm{A}}},{\uparrow }_{{\rm{B}}}\right\rangle )/\sqrt{2}\), is \({W}_{{\rm{AB}}}^{\pm }=(1p)\left{\Psi }_{\pm }^{{\rm{AB}}}\right\rangle \left\langle {\Psi }_{\pm }^{{\rm{AB}}}\right+p{{\mathbb{I}}}_{{\rm{4}}}/4\), where \({{\mathbb{I}}}_{{\rm{4}}}\) is the 4 × 4 identity matrix and p is the noise probability which accounts for the amount of white noise in the system during the pure state preparation stage. The Werner state \({W}_{{\rm{AB}}}^{\pm }\) is also the product of a singleparticle depolarizing channel induced by the environment applied to an initial Bell state^{7,8}. It is known that the concurrence for such state is \(C({W}_{{\rm{AB}}}^{\pm })=13p/2\) when 0 ≤ p < 2/3, being zero otherwise^{8} (see black dotdashed line of Fig. 3a).
In perfect analogy, the Werner state for two identical qubits with spatial wave functions ψ_{1}, ψ_{2} can be defined by
where \({{\mathcal{I}}}_{{\rm{4}}}={\sum }_{i = 1,2;s = \pm }\left{i}_{s}\right\rangle \left\langle {i}_{s}\right\), having used the orthogonal Bellstate basis \({{\mathcal{B}}}_{\{{1}_{\pm },{2}_{\pm }\}}=\{\left{1}_{+}\right\rangle ,\left{1}_{}\right\rangle ,\left{2}_{+}\right\rangle ,\left{2}_{}\right\rangle \}\) with
The Werner state of Eq. (11) is justified as a model of noisy state. In fact, it is straightforward to see that \({{\mathcal{W}}}^{\pm }\) is produced by a localized depolarizing channel acting on one of two initially separated identical qubits, followed by a quick singleparticle spatial deformation procedure which makes the two identical qubits spatially overlap (see Supplementary Note 2). Hence, in Eq. (11), \(\left{1}_{\pm }\right\rangle\) is the target pure state to be prepared and \({{\mathcal{I}}}_{4}/4\) is the noise as a mixture of the four Bell states.
Given the configuration of the spatial wave functions and using the sLOCC framework, the amount of operational entanglement contained in \({{\mathcal{W}}}^{\pm }\) can be obtained by the concurrence \({C}_{{\rm{LR}}}({{\mathcal{W}}}^{\pm })=C({{\mathcal{W}}}_{{\rm{LR}}}^{\pm })\) of Eq. (5). Notice that the state of Eq. (11) is in general not normalized, depending on the specific spatial degrees of freedom^{45}. This is irrelevant at this stage, since the entanglement of \({{\mathcal{W}}}^{\pm }\) is calculated on the final distributed state \({{\mathcal{W}}}_{{\rm{LR}}}^{\pm }\), which is obtained from \({{\mathcal{W}}}^{\pm }\) after sLOCC and is normalized (see Eq. (3). Focusing on the observation of entanglement, a wellsuited configuration for the spatial wave functions is \(\left{\psi }_{1}\right\rangle =l\left{\rm{L}}\right\rangle +r\left{\rm{R}}\right\rangle\) and \(\left{\psi }_{2}\right\rangle =l^{\prime} \left{\rm{L}}\right\rangle +r^{\prime} {e}^{i\theta }\left{\rm{R}}\right\rangle\), where l, r, \(l^{\prime}\), \(r^{\prime}\) are nonnegative real numbers (\({l}^{2}+{r}^{2}=l{^{\prime} }^{2}+r{^{\prime} }^{2}=1\)) and θ is a phase. The wave functions are thus peaked in the two localized measurement regions \({\mathcal{L}}\) and \({\mathcal{R}}\), as depicted in Fig. 2. The degree of spatial indistinguishability \({{\mathcal{I}}}_{{\rm{LR}}}\) of Eq. (7) is tailored by adjusting the shapes of \(\left{\psi }_{1}\right\rangle\), \(\left{\psi }_{2}\right\rangle\), with \({P}_{{\rm{L}}{\psi }_{1}}={l}^{2}\), \({P}_{{\rm{L}}{\psi }_{2}}=l{^{\prime} }^{2}\) (implying \({P}_{{\rm{R}}{\psi }_{1}}={r}^{2}\), \({P}_{{\rm{R}}{\psi }_{2}}=r{^{\prime} }^{2}\)). The interplay between \({C}_{{\rm{LR}}}({{\mathcal{W}}}^{\pm })\) and \({{\mathcal{I}}}_{{\rm{LR}}}\) vs. noise probability p can be then investigated (see Supplementary Note 3 for some explicit expressions of \({C}_{{\rm{LR}}}({{\mathcal{W}}}^{\pm })\)).
Generally, the entanglement amount is conditional since the state is obtained by postselection. As a result, the entangled state ρ_{LR} is detectable if the sLOCC probability P_{LR} is high enough to be of experimental relevance. Let us see what happens for \({{\mathcal{I}}}_{{\rm{LR}}}=1\) (\(l=l^{\prime}\)). When the target pure state in Eq. (11) is \(\left{1}_{}\right\rangle\), using in Eq. (12) the explicit expressions of \(\left{\psi }_{1}\right\rangle\), \(\left{\psi }_{2}\right\rangle\) with θ = 0 (θ = π) for fermions (bosons), from \({{\mathcal{W}}}^{}\) we obtain by sLOCC the distributed Bell state \({{\mathcal{W}}}_{{\rm{LR}}}^{}=\left{1}_{}^{{\rm{LR}}}\right\rangle \left\langle {1}_{}^{{\rm{LR}}}\right\), with \(\left{1}_{}^{{\rm{LR}}}\right\rangle =(\left{\rm{L}}\uparrow ,{\rm{R}}\downarrow \right\rangle \left{\rm{L}}\downarrow ,{\rm{R}}\uparrow \right\rangle )/\sqrt{2}\), therefore (see blue solid line of Fig. 3a)
for which the probabilities of detecting this state for fermions and bosons are, respectively
Notice that the sLOCC probability for fermions, \({P}_{{\rm{LR}}}^{{\rm{(f)}}}\), is in this case independent of the noise probability. Fixing l^{2} = 1/2 we maximize the sLOCC probability, which is 1/2 for fermions and 1/4 for bosons in the worst scenario of maximum noise probability p = 1. Differently, targeting the pure state \(\left{1}_{+}\right\rangle\) in Eq. (11), for fermions (bosons) with θ = π (θ = 0), one gets a pdependent \({{\mathcal{W}}}_{{\rm{LR}}}^{+}\) by sLOCC with \({C}_{{\rm{LR}}}({{\mathcal{W}}}^{+})=C({{\mathcal{W}}}_{{\rm{LR}}}^{+})=(45p)/(4p)\) when 0 ≤ p < 4/5, being zero elsewhere. The entanglement now decreases with increasing noise, remaining however larger than that for nonidentical qubits (see red dashed line of Fig. 3a). The choice of the state to generate makes a difference concerning noise protection by indistinguishability. However, we remark that identical qubits in the distributed resource state after sLOCC, \({{\mathcal{W}}}_{{\rm{LR}}}^{\pm }\), are individually addressable. Local unitary operations (rotations) in \({\mathcal{L}}\) and \({\mathcal{R}}\) can be applied to each qubit to transform the noisefree prepared \(\left{1}_{}^{{\rm{LR}}}\right\rangle\) into any other Bell state^{8}. Another relevant aspect is that the phase θ in \(\left{\psi }_{2}\right\rangle\) acts as a switch between fermionic and bosonic behavior of entanglement (see Supplementary Note 3 for details on more general instances). The result for nonidentical particles is retrieved when the qubits become distinguishable (\({{\mathcal{I}}}_{{\rm{LR}}}=0\), \(l=r^{\prime} =1\) or \(l=r^{\prime} =0\)).
Since the preparation of \(\left{1}_{}\right\rangle\), as represented by Eq. (11), results to be noisefree for both fermions and bosons when \({{\mathcal{I}}}_{{\rm{LR}}}=1\), it is important to know what occurs for a realistic imperfect degree of spatial indistinguishability. In Fig. 3b, we display entanglement as a function of both p and \({{\mathcal{I}}}_{{\rm{LR}}}\). The plot reveals that entanglement preparation can be efficiently protected against noise also for \({{\mathcal{I}}}_{{\rm{LR}}}\;<\;1\). A crucial information in this scenario is the minimum degree of \({{\mathcal{I}}}_{{\rm{LR}}}\) that guarantees nonlocal entanglement in \({\mathcal{L}}\) and \({\mathcal{R}}\), by violating a CHSHBell inequality^{8}, whatever the noise probability p. We remark that a Bell inequality violation based on sLOCC provides a faithful test of local realism^{52}. Using the Horodecki criterion^{53}, we find that the Bell inequality is violated for any p whenever \(0.76\,<\,{{\mathcal{I}}}_{{\rm{LR}}}\,\le\,1\), implying \(0.56<{C}_{{\rm{LR}}}({{\mathcal{W}}}^{})\le 1\) (see Supplementary Note 4 for details). This is basically different from the case of distinguishable qubits where, as known^{8}, \({W}_{{\rm{AB}}}^{\pm }\) violates Bell inequality only for small white noise probabilities 0 ≤ p < 0.292 (giving \(0.68<C({W}_{{\rm{AB}}}^{\pm })\le 1\)). These results show robust quantum entanglement preparation against noise through spatial indistinguishability, even partial. In fact, rather than addressing individual qubits, here one controls the shapes of their spatial wave functions \(\left{\psi }_{1}\right\rangle\), \(\left{\psi }_{2}\right\rangle\). Significant changes in these shapes can occur that anyway maintain \({{\mathcal{I}}}_{{\rm{LR}}}\) of Eq. (7) beyond the threshold (≈0.76) assuring noisefree generation of nonlocal entanglement. Indistinguishability here emerges as a property of composite quantum systems inherently robust to surroundinginduced disorder, protecting exploitable quantum correlations.
Discussion
In this work, we have studied the effect of spatial indistinguishability on entanglement preparation under noise, within the sLOCC framework. Firstly, thanks to the analogy with known methods for distinguishable particles, the entanglement of formation, and the related concurrence, has been defined for an arbitrary pure or mixed state of two identical qubits. Secondly, we have introduced the degree of spatial indistinguishability of identical particles by an entropic measure of information. This achievement entails a continuous quantitative identification of indistinguishability as an informational resource. Hence, one can evaluate the amount of entanglement exploitable by sLOCC into two separated operational sites under general conditions of spatial indistinguishability and state mixedness.
The Werner state \({{\mathcal{W}}}^{\pm }\) has been then chosen as a typical instance of noisy mixed state of two identical qubits, with tunable spatial overlap of their wave functions on the two remote operational regions. The tunable spatial overlap rules the indistinguishability degree. We have found that, under conditions of complete spatial indistinguishability, maximally entangled pure states between internal (spinlike) degrees of freedom can be prepared unaffected by noise. Even in the more realistic scenario of experimental errors in controlling particle spatial overlap, we have supplied a lower bound for the degree of spatial indistinguishability beyond which the generated entangled state violates the CHSHBell inequality independently of the amount of noise. These findings are independent of particle statistics, holding for both bosons and fermions. One reasonably may expect that also coherence can be protected by spatial indistinguishability, based on a previous work showing that the latter enables quantum coherence^{38}. This supports the observed effects in an experiment of coherence endurance due to particle indistinguishability^{54}.
The degree of spatial indistinguishability exhibits robustness to variations in the configuration of spatial wave functions, being then capable of shielding nonlocal entangled states against preparation noise. Therefore, indistinguishability represents a resource of quantum networks made of identical qubits enabling noisefree entanglement generation by its physical nature. Such a finding, which is promising to faulttolerant quantum information tasks under environmental noise, adds to other known protection techniques of quantum states based on, for example, topological properties^{55,56,57,58,59,60,61,62}, dynamical decoupling or decoherencefree subspace^{63,64,65,66,67}. As an outlook, the effects of spatial indistinguishability on quantumness protection for different types of environmental noises will be addressed elsewhere.
Various experimental contexts can be thought for implementing the above theoretical scenario. For example, in quantum optics, spatially localized detectors can perform the required measurements while beam splitters can serve as controller of spatial wave functions of independent traveling photons (bosons) with given polarization pseudospin^{50}. In a more sophisticated example with circular polarizations, one may employ orbital angular momentum of photons as spatial wave function and spin angular momentum as spinlike degree of freedom^{68,69,70}. Setups using integrated quantum optics can also simulate fermionic statistics using photons^{71}. Other suitable platforms for fermionic subsystems can be supplied either by superconducting quantum circuits with Ramsey interferometry^{72}, or by quantum electronics with quantum point contacts as electronic beam splitters^{73,74,75}. The results of this work are expected to stimulate further theoretical and experimental studies concerning the multiple facets of indistinguishability as a controllable fundamental quantum trait and its exploitation for quantum technologies.
Methods
Amplitudes and probabilities in the nolabel approach
For calculating all the necessary probabilities and traces to obtain the results of the work, under different spatial configurations of the wave functions, we need to compute scalar products (amplitudes) between states of N identical particles.
The Nparticle probability amplitude has been defined in the literature by means of the nolabel particlebased approach, here adopted, to deal with systems of identical particles^{45}. Indicating with χ_{i}, \({\chi }_{i}^{\prime}\) (i = 1, …, N) singleparticle states containing all the degrees of freedom of the particle, the general expression of the Nparticle probability amplitude is
where P = {P_{1}, P_{2}, …, P_{n}} in the sum runs over all the oneparticle state permutations, η = ±1 for bosons and fermions, respectively, and η^{P} is 1 for bosons and 1 (−1) for even (odd) permutations for fermions. Notice that the explicit dependence on the particle statistics appears, as expected.
Along our manuscript, we especially need twoparticle probabilities and trace operations. For N = 2, the general expression above reduces to the following twoparticle probability amplitude
Data availability
The main results of this manuscript are analytical. All data generated or analyzed during this study are included in this article (and in its Supplementary information file).
References
Trabesinger, A. Quantum computing: towards reality. Nature 543, S1–S1 (2017).
Ladd, T. D. et al. Quantum computers. Nature 464, 45 (2010).
Giovannetti, V., Lloyd, S. & Maccone, L. Quantum metrology. Phys. Rev. Lett. 96, 010401 (2006).
Ekert, A. K. Quantum cryptography based on Bell’s theorem. Phys. Rev. Lett. 67, 661 (1991).
Bennett, C. H. et al. Teleporting an unknown quantum state via dual classical and EinsteinPodolskyRosen channels. Phys. Rev. Lett. 70, 1895–1899 (1993).
Degen, C. L., Reinhard, F. & Cappellaro, P. Quantum sensing. Rev. Mod. Phys. 89, 035002 (2017).
Audretsch, J. Entangled Systems (WILEYVCH, Bonn, Germany, 2007).
Horodecki, R., Horodecki, P., Horodecki, M. & Horodecki, K. Quantum entanglement. Rev. Mod. Phys. 81, 865–942 (2009).
Nielsen, M. A. & Chuang, I. L.Quantum Computation and Quantum Information (Cambridge University Press, Cambridge, 2010).
Aolita, L., de Melo, F. & Davidovich, L. Opensystem dynamics of entanglement: a key issues review. Rep. Prog. Phys. 78, 042001 (2015).
LoFranco, R., Bellomo, B., Maniscalco, S. & Compagno, G. Dynamics of quantum correlations in twoqubit systems within nonMarkovian environments. Int. J. Mod. Phys. B 27, 1345053 (2013).
Bloch, I., Dalibard, J. & Zwerger, W. Manybody physics with ultracold gases. Rev. Mod. Phys. 80, 885 (2008).
Anderlini, M. et al. Controlled exchange interaction between pairs of neutral atoms in an optical lattice. Nature 448, 452 (2007).
Wang, X.L. et al. Experimental tenphoton entanglement. Phys. Rev. Lett. 117, 210502 (2016).
Cronin, A. D., Schmiedmayer, J. & Pritchard, D. E. Optics and interferometry with atoms and molecules. Rev. Mod. Phys. 81, 1051 (2009).
Crespi, A. et al. Particle statistics affects quantum decay and Fano interference. Phys. Rev. Lett. 114, 090201 (2015).
Martins, F. et al. Noise suppression using symmetric exchange gates in spin qubits. Phys. Rev. Lett. 116, 116801 (2016).
Barends, R. et al. Digital quantum simulation of fermionic models with a superconducting circuit. Nat. Commun. 6, 7654 (2015).
Braun, D. et al. Quantumenhanced measurements without entanglement. Rev. Mod. Phys. 90, 035006 (2018).
Tichy, M. C., Mayer, K., Buchleitner, A. & Mølmer, K. Stringent and efficient assessment of bosonsampling devices. Phys. Rev. Lett. 113, 020502 (2014).
Aolita, L., Gogolin, C., Kliesch, M. & Eisert, J. Reliable quantum certification of photonic state preparations. Nat. Commun. 6, 8498 (2015).
Bentivegna, M., Spagnolo, N. & Sciarrino, F. Is my boson sampler working? N. J. Phys. 18, 041001 (2016).
Dittel, C., Keil, R. & Weihs, G. Manybody quantum interference on hypercubes. Quantum Sci. Technol. 2, 015003 (2017).
Spagnolo, N. et al. Experimental validation of photonic boson sampling. Nat. Photon. 8, 615 (2014).
Bentivegna, M. et al. Bayesian approach to boson sampling validation. Int. J. Quantum Inf. 12, 1560028 (2014).
Crespi, A. et al. Suppression law of quantum states in a 3D photonic fast Fourier transform chip. Nat. Commun. 7, 10469 (2016).
Agresti, I. et al. Pattern recognition techniques for boson sampling validation. Phys. Rev. X 9, 011013 (2019).
Giordani, T. et al. Experimental statistical signature of manybody quantum interference. Nat. Photon. 12, 173–178 (2018).
Agne, S. et al. Observation of genuine threephoton interference. Phys. Rev. Lett. 118, 153602 (2017).
Menssen, A. J. et al. Distinguishability and manyparticle interference. Phys. Rev. Lett. 118, 153603 (2017).
Paunković, N., Omar, Y., Bose, S. & Vedral, V. Entanglement concentration using quantum statistics. Phys. Rev. Lett. 88, 187903 (2002).
Bose, S., Ekert, A., Omar, Y., Paunković, N. & Vedral, V. Optimal state discrimination using particle statistics. Phys. Rev. A 68, 052309 (2003).
Benatti, F., Alipour, S. & Rezakhani, A. T. Dissipative quantum metrology in manybody systems of identical particles. N. J. Phys. 16, 015023 (2014).
LoFranco, R. & Compagno, G. Indistinguishability of elementary systems as a resource for quantum information processing. Phys. Rev. Lett. 120, 240403 (2018).
Brod, D. J. et al. Witnessing genuine multiphoton indistinguishability. Phys. Rev. Lett. 122, 063602 (2019).
Castellini, A., Bellomo, B., Compagno, G. & LoFranco, R. Activating remote entanglement in a quantum network by local counting of identical particles. Phys. Rev. A 99, 062322 (2019).
Bellomo, B., LoFranco, R. & Compagno, G. N identical particles and one particle to entangle them all. Phys. Rev. A 96, 022319 (2017).
Castellini, A. et al. Indistinguishabilityenabled coherence for quantum metrology. Phys. Rev. A 100, 012308 (2019).
Tichy, M. C., Mintert, F. & Buchleitner, A. Essential entanglement for atomic and molecular physics. J. Phys. B 44, 192001 (2011).
Bose, S. & Home, D. Duality in entanglement enabling a test of quantum indistinguishability unaffected by interactions. Phys. Rev. Lett. 110, 140404 (2013).
Balachandran, A., Govindarajan, T., de Queiroz, A. R. & ReyesLega, A. Entanglement and particle identity: a unifying approach. Phys. Rev. Lett. 110, 080503 (2013).
Killoran, N., Cramer, M. & Plenio, M. B. Extracting entanglement from identical particles. Phys. Rev. Lett. 112, 150501 (2014).
Benatti, F., Floreanini, R., Franchini, F. & Marzolino, U. Remarks on entanglement and identical particles. Open Sys. Inf. Dyn. 24, 1740004 (2017).
LoFranco, R. & Compagno, G. Quantum entanglement of identical particles by standard informationtheoretic notions. Sci. Rep. 6, 20603 (2016).
Compagno, G., Castellini, A. & Lo Franco, R. Dealing with indistinguishable particles and their entanglement. Philos. Trans. R. Soc. A 376, 20170317 (2018).
Lourenç, A. C., Debarba, T. & Duzzioni, E. I. Entanglement of indistinguishable particles: a comparative study. Phys. Rev. A 99, 012341 (2019).
Wootters, W. K. Entanglement of formation of an arbitrary state of two qubits. Phys. Rev. Lett. 80, 2245–2248 (1998).
Bennett, C. H., DiVincenzo, D. P., Smolin, J. A. & Wootters, W. K. Mixedstate entanglement and quantum error correction. Phys. Rev. A 54, 3824–3851 (1996).
Hill, S. & Wootters, W. K. Entanglement of a pair of quantum bits. Phys. Rev. Lett. 78, 5022–5025 (1997).
Sun, K. et al. Experimental control of remote spatial indistinguishability of photons to realize entanglement and teleportation. Preprint at https://arxiv.org/abs/2003.10659 (2020).
Werner, R. F. Quantum states with EinsteinPodolskyRosen correlations admitting a hiddenvariable model. Phys. Rev. A 40, 4277 (1989).
Sciarrino, F., Vallone, G., Cabello, A. & Mataloni, P. Bell experiments with random destination sources. Phys. Rev. A 83, 032112 (2011).
Horodecki, R., Horodecki, P. & Horodecki, M. Violating Bell inequality by mixed spin1/2 states: necessary and sufficient condition. Phys. Lett. A 200, 340–344 (1995).
PerezLeija, A. et al. Endurance of quantum coherence due to particle indistinguishability in noisy quantum networks. npj Quantum Inf. 4, 45 (2018).
Kitaev, A. Faulttolerant quantum computation by anyons. Ann. Phys. 303, 2–30 (2003).
Bombin, H. & MartinDelgado, M. A. Topological computation without braiding. Phys. Rev. Lett. 98, 160502 (2007).
Nigg, D. et al. Quantum computations on a topologically encoded qubit. Science 345, 302–305 (2014).
Milman, P. et al. Topologically decoherenceprotected qubits with trapped ions. Phys. Rev. Lett. 99, 020503 (2007).
Gladchenko, S. et al. Superconducting nanocircuits for topologically protected qubits. Nat. Phys. 5, 48 (2009).
Mittal, S., Goldschmidt, E. A. & Hafezi, M. A topological source of quantum light. Nature 561, 502 (2018).
Wang, Y. et al. Topologically Protected Quantum Entanglement. Preprint at https://arxiv.org/abs/1903.03015 (2019).
BlancoRedondo, A., Bell, B., Oren, D., Eggleton, B. J. & Segev, M. Topological protection of biphoton states. Science 362, 568–571 (2018).
Lidar, D. A. Review of decoherence free subspaces, noiseless subsystems, and dynamical decoupling. Adv. Chem. Phys. 154, 295–354 (2014).
Viola, L., Knill, E. & Lloyd, S. Dynamical decoupling of open quantum systems. Phys. Rev. Lett. 82, 2417 (1999).
Wu, L.A., Zanardi, P. & Lidar, D. A. Holonomic quantum computation in decoherencefree subspaces. Phys. Rev. Lett. 95, 130501 (2005).
Lidar, D. A., Chuang, I. L. & Whaley, K. B. Decoherencefree subspaces for quantum computation. Phys. Rev. Lett. 81, 2594 (1998).
LoFranco, R., D’Arrigo, A., Falci, G., Compagno, G. & Paladino, E. Preserving entanglement and nonlocality in solidstate qubits by dynamical decoupling. Phys. Rev. B 90, 054304 (2014).
Mair, A., Vaziri, A., Weihs, G. & Zeilinger, A. Entanglement of the orbital angular momentum states of photons. Nature 412, 313 (2001).
Nagali, E. et al. Quantum information transfer from spin to orbital angular momentum of photons. Phys. Rev. Lett. 103, 013601 (2009).
Aolita, L. & Walborn, S. P. Quantum communication without alignment using multiplequbit singlephoton states. Phys. Rev. Lett. 98, 100501 (2007).
Sansoni, L. et al. Twoparticle bosonicfermionic quantum walk via integrated photonics. Phys. Rev. Lett. 108, 010502 (2012).
Zheng, S.B. et al. Quantum delayedchoice experiment with a beam splitter in a quantum superposition. Phys. Rev. Lett. 115, 260403 (2015).
Bocquillon, E. et al. Coherence and indistinguishability of single electrons emitted by independent sources. Science 339, 1054 (2013).
Rashidi, M. et al. Initiating and monitoring the evolution of single electrons within atomdefined structures. Phys. Rev. Lett. 121, 166801 (2018).
Bäuerle, C. et al. Coherent control of single electrons: a review of current progress. Rep. Prog. Phys. 81, 056503 (2018).
Acknowledgements
F.N. and R.L.F. would like to thank Vittorio Giovannetti and Antonella De Pasquale for fruitful discussions during the visit at the Scuola Normale Superiore in Pisa.
Author information
Authors and Affiliations
Contributions
F.N. performed the main calculations. R.L.F. supervised the project. F.N., A.C., G.C., and R.L.F. proposed the ideas, discussed the results, and contributed to the preparation of the paper.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nosrati, F., Castellini, A., Compagno, G. et al. Robust entanglement preparation against noise by controlling spatial indistinguishability. npj Quantum Inf 6, 39 (2020). https://doi.org/10.1038/s4153402002717
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s4153402002717
This article is cited by

Shortcut to multipartite entanglement generation: A graph approach to boson subtractions
npj Quantum Information (2024)

Entanglement monogamy in indistinguishable particle systems
Scientific Reports (2023)

Arbitrary entanglement of three qubits via linear optics
Scientific Reports (2022)

Direct observation of the particle exchange phase of photons
Nature Photonics (2021)

Directly proving the bosonic nature of photons
Nature Photonics (2021)