Distributing entanglement with separable states: assessment of encoding and decoding imperfections

Entanglement can be distributed using a carrier which is always separable from the rest of the systems involved. Up to now, this effect has predominantly been analyzed in the case where the carrier-system interactions take the form of ideal unitary operations, thus leaving untested its robustness against either non-unitary or unitary errors. We address this issue by considering the effect of incoherent dynamics acting alongside imperfect unitary interactions. In particular, we determine the restrictions that need to be placed on the interaction time, as well as the strength of the incoherent dynamics. We find that with non-unitary errors, we can still successfully distribute entanglement, provided we measure the carrier in a suitable basis. Introducing imperfections in the unitary dynamics, we show that entanglement gain is possible even with substantial unitary errors. Moreover, certain variations in the strength of the unitary dynamics can allow for greater robustness against non-unitary errors. Therefore, even in experimental settings where unitary operations cannot be carried out without imperfections, it is still possible to generate entanglement between two systems using a separable carrier.


Introduction
Quantum entanglement is one of the features that makes quantum mechanics so fascinating and counter-intuitive. Furthermore, not only is quantum entanglement of fundamental interest but it is also a valuable resource in quantum information, as it is instrumental for applications such as teleportation [1], dense coding [2], and quantum key distribution [3,4]. The challenge that has to be faced lies in exploiting this resource despite its fragility. In particular, in quantum communication or in computation, we would like to generate and sustain entanglement as and when it is needed. One way of achieving this is through entanglement distribution.
Entanglement can be distributed either directly or indirectly. Direct entanglement distribution between two parties (conventionally, Alice and Bob) involves Alice creating an entangled state of two systems in her laboratory and sending one to Bob. Indirect entanglement distribution, which is the focus of this paper, generates entanglement between a system A in Alice's laboratory and another in Bob's laboratory B through sending a carrier system C as in Fig. 1. The carrier first interacts with Alice's system generating entanglement in the bipartition A|BC. This interaction is called the encoding operation. Then the carrier is sent to Bob and interacts with his system, localising the entanglement onto Alice and Bob's systems only. We call this interaction the decoding operation.
Surprisingly, entanglement can be distributed indirectly using a carrier that remains separable from the two systems throughout the process. A scheme through which such a task can be achieved was first proposed by Cubitt et al. in Ref. [5] for the case of discrete variables and later extended to continuous variables in Refs. [6,7,8]. Prototypes of such schemes have been demonstrated experimentally for both discrete and continuous variables [9,10,11]. So far, several aspects of entanglement distribution via separable states (EDSS) have been studied. It was found that, though entanglement is not needed between the carrier and the other systems, quantum discord has a key role to play in EDSS [12,13]. This is fundamentally relevant -in light of the current quest to clarify the potential resource-like role of discord in quantum information processing [14] -and practically interesting, as discord appears to be much more robust than entanglement to environmental effects [15,16,17,18,19]. The initial states of AB that can be used successfully for EDSS have been found [20], and the ways in which different entanglement measures, different noisy channels and amounts of initial correlations affect entanglement distribution have been analysed [21]. The concept of excessive entanglement distribution was introduced in Ref. [22] as a protocol where the entanglement gained between A and B is greater than the entanglement between C and AB. Needless to say, any EDSS protocol is excessive. Multipartite generalization of EDSS have been put forward [23] and the effect of noise on this process was studied [24]. More recently, it has been realized that EDSS can be used to detect non-classicality in inaccessible objects by testing if they can be used as the carrier in this process [25], a result that can be used, in principle, to infer the potential quantum nature of certain biological processes [26] and gravity [27].
Up to now, studies have predominantly been carried out in the case where the interactions in the encoding and decoding steps take the form of a unitary operation. However, the impact of imperfections in the encoding and decoding steps on the performance of the protocol is yet unexplored. The general context in the case of imperfect encoding and decoding would see C interacting with A and then B through incoherent mechanisms. This is a relevant point to address at both the fundamental and experimental level. On one hand, the experimental implementation of encoding and decoding operations, which are central to the performance of EDSS, is unlikely to be exempt from imperfections that make the assumption of unitarity untenable. This is the case, for instance, of promising setups for the test of EDSS, namely cavity optomechanics in a membrane-in-the-middle configuration [28], quantum spin chains [29,30], and semiconductor-based quantum photonics [31], where only an open-system map would appropriately describe the dynamics. Recently, entanglement distribution to non-interacting optical fields mediated by a mechanical mode has been reported in a setting that is suggestive of EDSS performance [32]. On the other hand, there is no analysis of the performance of EDSS under imperfect encoding and decoding operations, and it is worth exploring the robustness of such a scheme under only partially coherent operations.
The remainder of this paper is organized as follows. In Sec. 2 we describe the system under scrutiny and the tools that we used to quantify entanglement.
In Sec. 3 we explain the conditions needed to ensure that the carrier remains separable from the rest of the system throughout the process. In Sec. 4 we show that we can indeed still distribute entanglement with separable states and incoherent dynamics. Sec. 5 is devoted to the analysis of the effects induced by the changes in the strength of the coherent dynamics. Finally in Sec. 6 we summarise our findings and present our conclusions.

Entanglement distribution protocol
In what follows, we denote E A1|A2 the entanglement of a state ρ with respect to the bipartition A 1 |A 2 . Such entanglement will be quantified using the negativity [33], where ρ T A 1 is the partial transposition of ρ with respect to A 1 , while ||ρ|| = Tr ρ † ρ is the trace norm. A maximally entangled state of qubits A 1 and A 2 would have negativity E A1|A2 = 1/2.

Original Protocol Proposed by Cubitt et al.
Our entanglement distribution protocol builds on the example of Cubitt et al. in Ref. [5]. They use CNOT gates to entangle Alice's system A and Bob's system B via a carrier qubit C. Starting with an appropriate separable initial state, they were able to generate AB entanglement while the carrier qubit C shared no entanglement with A or B throughout the process. The initial state, which we will label Λ sep , is where |Ψ k = ( |0 + e ikπ/2 |1 )/ √ 2. Written in this way, we can see that Λ sep fits the definition of a mixed tripartite separable state.
The first step of the protocol, or the encoding operation, involves acting on Λ sep with a CNOT operation on AC where A is the control qubit. This results in the state where |GHZ = ( |000 + |111 )/ √ 2 is a Greenberger-Horne-Zeilinger state. Now the state has become entangled in the bipartition A|BC with negativity E A|BC = 1/6. However, as the CNOT acts only on A and C, there is no entanglement generated yet between B and AC. Importantly, the carrier C remains separable from AB since the state σ is invariant under permutations of B and C.
The next step is another CNOT operation but this time acting on B and C with B the control qubit. We call this step the decoding operation. The final state is then where |φ + = ( |00 + |11 )/ √ 2 is a maximally entangled Bell state. The two systems A and B are now entangled as desired. It is easy to see that the carrier C is still separable from AB. Thus Cubitt et al. achieved entanglement distribution with separable states.

Modified Protocol
In our work, we make some changes to Cubitt's protocol. The first is to relax the condition that the initial state is separable in any partition. Instead, we follow Example 2 in Ref. [12], where we may choose to have some initial entanglement between A and B. The initial state is α ABC (p) = pΛ sep + (1 − p)Λ ent , where where we have rewritten the state Λ sep from Eq. (2) in a simplified manner. The state Λ ent is separable with respect to the C|AB bipartition but entangled in any other one with negativity E A|BC = E B|AC = 1/6. State α ABC (p) depends on parameter p ∈ [0, 1], which determines the amount of initial entanglement between A and B. As p increases, entanglement decreases. It is useful to emphasise that our choice of initial state affects the results of our analysis. There are other initial states of ABC which would allow for EDSS and they could be investigated in an equally righteous manner. However, as we are interested in adapting the example and protocol given by Cubitt et al. in Ref. [5], which kickstarted the investigation on EDSS, we have restricted our study to this particular state. On a related note, it is worth remarking that there is no strict necessity to choose CNOT gates for the encoding and decoding operations to successfully achieve EDSS. It is a sensible choice firstly due to the entangling power of CNOT operations [34] and secondly as they are widely used, especially in quantum circuits and algorithms. However, though we follow the protocol in Ref. [5], other approaches have included using continuous-variable states with beam splitters as the encoding and decoding operations [6,7] or allowing A, B and C to interact continuously and describing the dynamics with a single interaction Hamiltonian [5,25].
The next change we make to the protocol in Ref. [5] is to add incoherence to the encoding operation. A CNOT operation is generated by the Hamiltonian t is equal to the desired CNOT operation when the interaction time t = π/(2λ). The frequency 1/t sets a scale for any other rate or interaction strength involved in our analysis. We add incoherence to the dynamics by introducing an excitation-exchange term of the form σ + 1| j the ladder operators for qubit j = A, C. We thus modify the encoding step from the unitary CNOT transformation to the map described by the master equationρ The strength of the incoherent dynamics is γ AC and we allow this interaction to take place for a time t AC , so that t varies from 0 to t AC . The encoding step should result in increased entanglement between A and BC while keeping C and AB separable, as in Ref. [5].
We make the same changes to the decoding operation between B and C. We assume this to occur in a similar way to the encoding operation, i.e. according to the dynamical mapρ where H BC is the Hamiltonian generating the CNOT BC operation that decodes information carried by C and L BC is analogous to the Lindblad superoperator invoked for the encoding step. We let B and C evolve according to Eq. (7) for a time t BC . During the decoding step, B and AC should become entangled [5,12]. Upon completion of such operations, we aim to find the amount of entanglement gained by A and B from such distribution process. We will evaluate the negativity between A and B both when the carrier C is traced out and when it is acted on by a projective measurement. Our aim is to find positive entanglement gain between A and B while the bipartition C|AB remains separable for the duration of the protocol.
A remark is due: the adoption of a Lindblad-like description of the incoherent part of the dynamics calls for the validity of Born-Markov assumptions on the mechanism responsible for this part of the dynamics of the system. This obviously sets constraints on the physical settings to be used in order to provide an embodiment of the EDSS protocol itself. While we refer to Sec. 6 for a brief mention of a plausible and actually very promising experimental platform, here we want to stress that the scopes of our study are to provide a universal analysis, i.e. a study providing predictions of broad applicability and unrelated to the specific details of any chosen experimental configuration.
This implies that, provided that the chosen settings satisfy the conditions for the validity of a Lindblad-like master equation, our study will give valuable information on the performance of the EDSS protocol.

Conditions imposed by the carrier separability requirement
In this Section we determine the conditions that should be satisfied in order for C to remain separable from AB. We will first study the effect of interaction times t AC and t BC before analysing the impact that the strengths of the incoherent dynamics γ AC and γ BC have on the amount of entanglement E C|AB set upon completing the distribution protocol.

Conditions on the interaction times
Firstly, looking at the case where both t AC and t BC grow indefinitely, we find that for both the encoding and decoding steps, there is no unique steady state. For instance, states ρ = |000 000| and ρ = |001 001| are both steady states of the encoding step in Eq. (6) and states ρ = |000 000| and ρ = |100 100| are steady states of the decoding operation in Eq. (7). Therefore, we must select a specific initial state and investigate how the state changes as the time evolves.
We now turn our attention to states produced when an initial state of the form α ABC (p) evolves according to Eq. (6) for a large time t AC . The unitary dynamics is determined by the Hamiltonian defined in Sec. 2 and is therefore given by As the interaction time grows, the operation being realized alternates between a CNOT and an identity operator. Therefore, the state of the system at large time varies periodically, with period π/λ. As the CNOT operation has the effect of entangling the system with respect to bipartition A|BC, it is beneficial for our purposes to allow the system to evolve for as long as is needed for a full CNOT operation to be carried out. Setting λ = π/2, we thus take the interaction time t AC to be finite and belonging to the set t AC ∈ {1, 3, 5, . . . } so that the evolution of state α ABC (p) with respect to the unitary dynamics is equivalent to acting on the state with a CNOT operation. Similarly, we restrict t BC to the set t BC ∈ {1, 3, 5, . . . } to implement a full CNOT operation in the decoding operation.

Conditions on incoherent interaction strengths with increasing interaction times
It remains to investigate, then, just how long we can allow A and C to interact before the carrier system C becomes entangled with AB. To do this, we shows the maximum value that γ AC can take so that E C|AB = 0 after the encoding operation as the interaction time t AC increases. The initial state is taken to be α ABC (p) with p = 0.9 and the parameter in the Hamiltonian is fixed at λ = π/2 so that the CNOT operation is realized at time t AC = 1. Panel (b) reports the strengths of incoherent dynamics for which E C|AB = 0 throughout the whole entanglement distribution process. In these simulations we have taken assumed the initial state α ABC (p) with p = 0.9 (dark blue), p = 0.5 (blue) and p = 0.1 (light blue).
study the restrictions that increasing interaction time imposes on the incoherent interaction strength. Fig. 2 (a) shows the maximum value that γ AC can take in order for the state of the system to remain separable with respect to the AB|C bipartition during the encoding operation. We find that we must compromise between the length of time of the interaction between A and C and the strength of the incoherent part of the dynamics. Our initial state is designed so as to allow A and BC to become entangled through a CNOT operation without the bipartition C|AB being affected. We achieve this by adding the projectors |001 001| and |111 111| to the initial state as can be seen in Eq. (5). However, the superoperator L AC involves an excitation exchange mechanism which diminishes the contribution of projector |001 001| in the state as the system evolves. This leads to unwanted entanglement between C and AB, which increases as t AC and γ AC increase.
Therefore, a long interaction time t AC > 1 restricts the range of values of γ AC that we can study if we are to keep C and AB separable. We must choose between having the possibility to choose from an ample range of values of the interaction time or incoherent strengths. As our aim is to analyse the effect of incoherent dynamics on the entanglement produced through the protocol, we choose to restrict the interaction time. As a result, we fix the value of such parameter to be the least possible allowing a CNOT operation to be performed, so that we can assess a broader range of values of γ AC . Therefore, in the remainder of our analysis we fix the interaction times to be t AC = t BC = 1.

Conditions on the incoherent interaction strengths when interaction times are fixed
Now that we have set an interaction time for the encoding and decoding dynamics, we can study the restrictions we must place on the strengths of the incoherent dynamics γ AC and γ BC . Though the processes in Eqs. (6) and (7) mirror one another, the values that γ AC can take to preserve the effectiveness of the protocol are much more constrained than those for γ BC . This is clearly visible from Fig. 2 (b), which shows the region of values of γ AC and γ BC that allow for a separable carrier for different initial states. This asymmetry is due to the differences in the state before the encoding operation and after the decoding one. Initially the state has a contribution of the form |φ + φ + | AB ⊗ |0 0| C as in Eq. (5). The CNOT operation acting on A and C in the encoding step changes this to a GHZ state |GHZ GHZ| ABC as we can see in Eq. (3). The additional projectors in Eq. (5) ensure that the state is separable with respect to the bipartition AB|C after the encoding operation. As GHZ states are genuinely tripartite entangled, a change in the added projectors could easily entangle the state. However, the CNOT operation on B and C in the decoding step has the effect of reversing the previous transformation; this part of the state returns to the form of a tensor product between a Bell state of AB and |0 0| C . Clearly C is separable from AB after this operation. As a result, the changes in projectors during the decoding operation have a weaker effect on the entanglement of C and AB. This enables us to be much more flexible in our choice of incoherent strength in the decoding operation in comparison with the encoding one. Despite this, the excitation exchange between B and C still has the effect of coupling C with AB when the unitary dynamics is not equivalent to a full CNOT operation. For this reason, we are still limited in the range of suitable values for γ BC ; a sufficiently strong incoherent dynamics will produce entanglement in the bipartition C|AB at some point during the decoding step of the protocol.
We also find that the lower the initial amount of entanglement, the smaller the area of the region where successful EDSS is achieved. For a separable initial state (i.e. for p = 1), we can only achieve EDSS when γ AC = 0, i.e. the encoding operation is entirely unitary, and γ BC ∈ [0, 0.006]. This effect is again due to the contribution of the projector |001 001| which is required to keep the carrier C separable from AB. Even a slight decrease in the value taken by the probability to have element |001 001| in state Λ sep [cf. Eq. (5)] results in entanglement between C and AB. However, the contribution of the same projector to Λ ent is twice as large as in Λ sep . Therefore, the lower the value of p, the higher the contribution from |001 001| and the more robust the state is against entanglement forming between C and AB.
In order to avoid unnecessary restrictions, from now on we will focus on p = 0.9, i.e. a situation where a relatively small initial entanglement is present in the state (E A|BC = 0.0167). We are therefore considering values of γ AC between 0 and 0.0945 and γ BC between 0 and 0.622 as displayed in Fig. 2 (b). Fig. 3 Entanglement between A and B if C is traced out of the system. Although the amount of entanglement is very small, the incoherent dynamics in the decoding step are advantageous in this setting. Since the initial state has E A|B = 0.0167, it is possible to lose entanglement during the protocol using this method.

Effect of the Incoherent Dynamics On Entanglement
Now that we have found the conditions under which the encoding and decoding interactions leave the bipartition C-vs-AB separable, we must determine whether or not entanglement can still be distributed.
In Sec. 3.3, we have established that it is possible to carry out EDSS for a certain range of values of γ AC and γ BC . However, we do not yet know how much entanglement we generate between A and B during such a process. Fig. 3 shows the entanglement between A and B at the end of the protocol when the carrier is simply traced out of the system. Interestingly, the incoherent dynamics in the decoding step of the process prove to be beneficial; the stronger the incoherent dynamics in the decoding step γ BC , the higher the entanglement generated. To illustrate why such increase occurs, it is sufficient to consider the final state τ of the protocol with unitary dynamics in Eq. (4). One contribution comes from an entangled Bell state, which is unaffected by the action of the Lindblad superoperator L BC . The other comes from an identity operator, which is required for the state to be separable after C is traced out of the system. The action of L BC on the state causes the population of |10 in the identity to be transferred to |11 . Consequently, as γ BC increases, the contribution from the identity in τ decreases and the entanglement between A and B grows. Nevertheless, the amount of entanglement produced in this way is clearly very small. In addition, note that the initial entanglement between A and B is 0.0167. The entanglement gained since the beginning of the protocol is therefore very small and can even be negative.
However, we can take a different strategy and instead measure the state of the carrier C. We consider a general projective measurement described by the projector Π C = |ψ ψ| C with |ψ C = cos θ |0 C + e iφ sin θ |1 C (θ ∈ [0, π/2], φ ∈ [0, 2π]) and investigate the effect of the parameters θ and φ on the amount of entanglement between A and B at the end of the protocol. Panels (a)-(d) in Fig. 4 show the results for different fixed values of γ AC and γ BC . It is clear that by measuring C we can generate much higher values of entanglement than by tracing C out of the system. Physically, this means that we should perform a measurement on C rather than simply neglecting it while observing AB. In each case considered in Fig. 4 (a)-(d), it is possible to achieve more than 8 times the amount of entanglement between A and B than when C is traced out. This is more evident in Fig. 4 (e) where we show the maximum entanglement generated in A and B through measuring C. This is found for the values of γ AC and γ BC which allow for EDSS as presented in Sec. 3.3. The lowest value of E A|B is 0.348, compared to a maximum value of 0.0427 in Fig. 3 where C is traced out of the system. Therefore, measuring C is the better method of extracting entanglement between A and B for our protocol.
Additionally, Fig. 4 (e) shows the maximum entanglement for different strengths of incoherent dynamics in the encoding and decoding operations (we remind that the state of AB is maximally entangled when E A|B = 0.5). We can notice that a large amount of entanglement can be generated even when the dynamics of the protocol features a large amount of incoherence. Therefore the protocol is robust against incoherent dynamics in both the encoding and decoding operations.
As a result, we can meet our aim as set out in Sec. 2 of gaining entanglement between A and B while the carrier remains separable from AB throughout the protocol. In comparing the entanglement in the final state with that in the initial state, for any γ AC and γ BC it is possible to achieve an entanglement gain of at least 0.331.
The amount of entanglement produced is heavily dependent on the value of θ. In each of the plots in Fig. 4 (a)-(d), when θ = 0 we achieve high entanglement but when θ = π/2, A and B are separable. Therefore, if we measure C in the standard basis { |0 C , |1 C } and post-select the state |0 then the protocol is successful. This is unsurprising; in the specific protocol addressed here (which is based on the analysis in Refs. [5] and [12]), this measurement results in a maximally entangled state of A and B when there are no incoherent dynamics.
When the encoding and decoding operations take the form of CNOT operations with no imperfections, measurement in the standard basis is optimal. When the incoherent dynamics in the system are strong, however, it is unclear which measurement is optimal and results in the largest amount of entanglement. To investigate this, we identified the value of θ which produces the maximum entanglement for each value of γ AC and γ BC which allow C and AB to be separable throughout the protocol. The results are shown in Fig. 4 (f ). The plot shows that θ is always small, so the optimal measurement is close to measurement in the standard basis with post-selection of the state |0 . Nonetheless, measurement in the computational basis is not optimal. The optimal measurement becomes further apart from the standard basis measurement as the strengths of the incoherent dynamics increase.
To compare the optimal measurement with measurement in the computational basis, we also plotted the difference in entanglement in Fig. 4 (g). The difference grows as the strength of the incoherent dynamics increases, but it is small; the maximum difference is 0.0132. Therefore measurement in the computational basis, while not optimal, is still a useful measurement in terms of extracting entanglement when state |0 is post-selected. It also allows us to more directly compare our results with those in Refs. [5] and [12].
In the rest of this paper, therefore, we will measure C to extract entanglement E A|B from the state of the system ABC after decoding. We will both find the entanglement when the standard measurement is used and optimise the results over all possible projective measurements.

Effect of unitary errors
Besides the imperfections introduced by the incoherent dynamics, the performances of the EDSS protocol can be spoiled by the coherent dynamics as well, if they fail to perfectly implement the ideal CNOT. We define these unitary errors as imperfections in gate operations which may result in a different, yet still unitary, operation being performed than the one desired.
We can study the effect of these unitary errors by varying the strength of the unitary dynamics in both encoding and decoding steps. This enables us to simulate this type of imperfections so that the unitary dynamics remain unitary but do not carry out a perfect CNOT operation. To investigate this, we rescale the strength of H AC,BC by a parameter β AC,BC so that the dynamical maps in Eqs. (6) and (7) becomė with j = A, B. Notice that, given that we consider a finite interaction time (t jC = 1, see Sec. 3.1), the dynamics generated by Eq. (9) cannot be accounted for simply by rescaling the parameters in Eqs. (6) and (7). We first consider the effects on the encoding and decoding steps separately, before evaluating how much entanglement we can distribute by measuring the carrier system C.

Encoding: effects of coherent interaction strength
The effect of varying the strength of the unitary dynamics in the encoding operation is shown in Fig. 5 (a). We show the values of β AC and γ AC for which C and AB are always separable during the encoding step. The impact that β AC has on the values we can use for γ AC is very small in this case; no matter what the value of β AC , γ AC can always take a maximum value between 0.09 and 0.095. The density plot itself in Fig. 5 (a) shows the entanglement between A and BC after the encoding step. This effectively measures the "success" of the encoding step. Here, the value of β AC has a significant effect. As can be clearly seen in Fig. 5 (a), entanglement is highest when β AC 1 and, indeed, the maximum entanglement is obtained when β AC = 1. This is unsurprising: for β AC = 1, given that the evolution time of the encoding step is t AC = 1, the unitary part of the dynamics in Eq. (9) effectively allows a perfect CNOT operation to be carried out between A and C. Therefore, when this value is changed (or we change the duration of the interaction), the CNOT operation is only imperfectly completed and less entanglement is generated between A and B.
The value of γ AC also has an effect on A|BC entanglement; as γ AC increases, E A|BC decreases. However, this effect is small and a large amount of entanglement can be generated for any value of γ AC as long as β AC 1. 5 (a) Entanglement between A and BC after the encoding step, plotted for values of γ AC which do not cause C to become entangled with AB. The maximum value that γ AC can take is shown by the solid black line at the top of the plot. Entanglement is highest when β AC = 1. (b) Maximum value of γ BC which allows the carrier to remain separable from the rest of the system (taking γ AC = 0). (c)-(d) Entanglement between B and AC after the decoding step when (c) γ AC = γ BC = 0, (d) γ AC = 0, γ BC is the maximum value it can take so that C and AB remain separable throughout the decoding step.

Decoding: effects of coherent interaction strength
In the case of decoding, we first analyze how the strength of the unitary dynamics in the encoding and decoding steps affects the strength of the incoherent dynamics. The maximum value that can be taken for γ BC is plotted in Fig. 5 (b) against the unitary strengths when γ AC = 0. In this plot we can see that varying the unitary strength can greatly increase or decrease the range of values of γ BC for which the carrier is separable throughout the protocol. Whenever the strength of the unitary dynamics in the encoding operation increases and the decoding strength decreases, then γ BC can be allowed to assume values larger than 1 before C becomes entangled with AB. Therefore, if we have very strong incoherent dynamics in our system, we can still achieve EDSS if we can modify the strengths of the unitary dynamics in the protocol.
In Figs. 5 (c) and 5 (d), we study how well the decoding operation works, i.e. how much entanglement we can produce between B and AC. Fig. 5 (c) shows E B|AC whenever γ BC = 0 and it is clear that the closer β BC is to 1, the higher the amount of entanglement generated between B and AC. This is similar to the case of encoding dynamics in Fig. 5 (a). Fig. 5 (d) shows E B|AC whenever γ BC takes its maximum value as plotted in Fig. 5 (b). We notice that it is still possible to generate large amounts of entanglement whenever the incoherent dynamics are strong. Additionally, we see that in the cases where γ BC can take particularly large values, the entanglement decreases but it is not destroyed completely.
In both plots, we find that the maxima of Figs. 5 (c) and 5 (d) do not overlap with the maximum of Fig. 5 (b); there is a compromise to be made between how much entanglement can be generated and how flexible we can be in the strength of the incoherent dynamics. Therefore depending on what we need more, i.e. robustness against incoherent dynamics or as much entanglement distributed as possible, we can tune the strengths of the unitary dynamics to achieve our aims.

Maximum entanglement when the carrier is measured
So far we have gained an idea of which values of β AC and β BC will give the highest entanglement; from Figs. 5 (a) and 5 (c), we can see that both A|BC entanglement after encoding and B|AC entanglement after decoding are highest whenever β AC = β BC = 1. It is now left to investigate the effect of β AC and β BC on A|B entanglement whenever C is measured.
In Figs. 6 (a)-(c), we can see how the entanglement, after measuring C in the standard basis, is affected by increasing the strength of the incoherent dynamics γ BC . The state |0 is post-selected as before (see Sec. 4). In Fig. 6 (a), where γ BC = 0, we can achieve a maximally entangled state of AB when β AC = β BC = 1. In Fig. 6 (b), we took γ BC = 0.091; this is the largest value that we can use for γ BC so that for all values of β AC and β BC in the interval 0 ≤ β AC , β BC ≤ 2, C and AB remain separable. The entanglement between A and B here is lower than in Fig. 6 (a), but is still significant. For instance, the maximum entanglement (when β AC = β BC = 1) is 0.44. Finally, Fig. 6 (c) shows the entanglement when, for each value of β AC and β BC , γ BC takes its maximum value as shown in Fig. 5 (b). Again, the entanglement decreases when compared to the first two plots. However, it does not vanish completely. Indeed, the maximum entanglement, occurring when β AC = β BC = 1, is 0.34. This implies a significant maximum entanglement gain of 0.323 since the start of the protocol.
One interesting feature of the three plots is how they are aligned along the diagonal β AC + β BC = 2. Clearly the highest entanglement is achieved when β AC = β BC = 1, but if this is not possible then it is better if β AC increases and β BC decreases, or vice versa. This is due to the fact that when β AC +β BC = 2, there is an element in the state ABC of the form |φ + AB φ + | ⊗ |0 C 0| . When β AC = β BC = 1, this is the only element which remains when C is measured in the standard basis and outcome 0 is obtained. As β AC and β BC get further from 1, then more elements are added which, when C is measured and outcome 0 is obtained, are included in the final state of AB and so the entanglement between A and B decreases. Figs. 6 (d)-(f ) present entanglement between A and B maximised over all possible projective measurements on C. We see that high entanglement is no longer limited to values of β AC and β BC which are close to the line β AC + β BC = 2. Instead, the amount of entanglement which can be generated in this way depends on how close β AC and β BC are to 1. If β AC or β BC is close to 0 or 2, then the unitary part of the dynamics effectively vanishes. In comparing Figs. 6 (a) and (d), especially the bottom left and top right hand corners, we see that the standard basis measurement can be very far from optimal in terms of entanglement as the strengths of the unitary dynamics change.
In Fig. 6 (f ), where for each pair of values (β AC , β BC ), the strength of the incoherent dynamics in the decoding operation γ BC takes the maximum value which allows for EDSS, we see that the maximum entanglement is no longer centred on (1, 1). The entanglement is highest (E A|B = 0.384) when β AC = 0.8 and β BC = 0.85 since the maximum strength of incoherent dynamics is relatively small (γ BC = 0.282).
There is a small region in the bottom right hand corner of Fig. 6 (f ) where γ BC takes very high values; in this case it is not possible to generate large entanglement. We would need to reduce the strength of the incoherent dynamics in order to produce higher entanglement for these values of β AC and β BC . Nevertheless, aside from this region, the restrictions placed on γ BC by the separability condition ensure large entanglement gain in many cases.
Indeed, let us consider our original goal of using a separable carrier C to increase entanglement between A and B. Since the initial entanglement between A and B is only 0.0167, Fig. 6 (f ) shows that we would require substantial unitary errors to lose AB entanglement during the protocol even in the presence of strong incoherent dynamics. For instance, the entanglement in the region given by β AC , β BC = 1 ± 0.7 is always higher than the initial AB entanglement. Consequently, the encoding and decoding steps may be significantly different from unitary CNOT operations and yet still allow us to meet our goal and distribute entanglement between the remote subsystems.

Conclusions
We have shown that entanglement distribution with separable carriers is still possible when we cannot perform unitary operations perfectly, due to either non-unitary or unitary errors. In particular, we have focused on a version of EDSS based on CNOT encoding and decoding steps. In the ideal implementation of such protocol, these choices would correspond to a maximally entangled state of the remote subsystems A and B. Even though, under the effects of encoding and decoding operations, maximally entangled states can no longer be generated, the amount of entanglement between A and B can still be very large when C is measured. This is a crucial feature of EDSS that would take the protocol closer to experimental validation in settings where unitary operations cannot be carried out without imperfections. In addition, this opens avenues for practical quantum information implementations such as photonic schemes with semiconductor sources of quantum light for quantum internet or quantum computation schemes (in an integrated environment maybe including heralded photonic states). High fidelities are indeed possible in this type of scheme, but they are also unavoidably affected by experimental imperfections and the source's lack of full ideality [31,35,36]. In general, whether EDSS would be more advantageous than a direct entanglement-generation protocol is a strongly platform-dependent issue that needs to be addressed on a caseby-case basis. The scenario depicted above, though, appears to be a significant instance of a physical system that would benefit from indirect approaches such as EDSS.
An interesting conceptual extension for these imperfect photonic states would be the possibility of exploiting EDSS in quantum gate operations to maintain a non-ideal but somehow constant level of entanglement through a tailored photonic circuit; the (heralded) EDSS scheme could effectively counter the depletion of entanglement between two remote information carriers through multiple interactions with a "correcting" third party.