 Research
 Open Access
 Published:
Autocompensating measurementdeviceindependent quantum cryptography in space division multiplexing optical fibers
Journal of the European Optical SocietyRapid Publications volume 17, Article number: 19 (2021)
Abstract
Single photon or biphoton states propagating in optical fibers or in free space are affected by random perturbations and imperfections that disturb the information encoded in such states and accordingly quantum key distribution is prevented. We propose three different systems for autocompensating such random perturbations and imperfections when a measurementdeviceindependent protocol is used. These systems correspond to different optical fibers intended for space division multiplexing and supporting collinear modes, polarization modes or codirectional modes such as fewmode optical fibers and multicore optical fibers. Accordingly, we propose different Bellstates measurement devices located at Charlie system and present simulations that confirm the importance of autocompensation. Moreover, these types of optical fibers allow the use of several transmission channels, which compensates the reduction of the bit rate due to losses.
Introduction
Over the last few years, space division multiplexing has been proposed to further increase the data bandwidth in optical communications; thus, high interest has arisen about new optical fibers such as fewmode fibers (FMFs) [1] and multicore fibers (MCFs) [2]. Consequently, the interest in the implementation of quantum cryptography in these new optical fibers has remarkably increased in the last few years [3–6]. Quantum cryptography states that the laws of quantum mechanics, if correct, guarantee unconditional security of communications under quantum key distribution protocols [7, 8]. At least, this is what theory teaches us. When it comes to reallife implementations, however, a number of problems arise that put such assertion in jeopardy. This is due to the fact that devices used in Quantum Key Distribution (QKD) protocols are imperfect in reality. Such imperfections open a backdoor for an eavesdropper (Eve) to obtain information that ideally would be perfectly concealed.
One of the most important problems corresponds to the detector side channel attacks. They are related to the fact that the detector apparatuses Alice and/or Bob use may be flawed, and that might give Eve an opportunity to extract secret information about the key without Alice and Bob knowing [9–11].
Fortunately for the security of communications, a quite good solution has been developed, that is, MeasurementDeviceIndependent quantum key distribution (MDIQKD) [12]. This idea consists in making use of entanglement in such a way that the whole measurement process is treated like a black box. Traditionally, in QKD, the measurement is done by the partner sitting at the end of the line (normally Bob). In this case, a third party, called Charlie, makes the measurement. He performs a Bell measurement on the twoqubit state Alice and Bob send him. The key is that Charlie may be untrusted. He can be an eavesdropper himself. Charlie is only asked to report whether he obtained a successful or an unsuccessful result from his measurement, and he can of course lie. May the detectors he uses be flawed and/or may he be Eve in disguise: it does not matter. The detection process is a black box, what happens inside has no relevance, only what Charlie reports in relation to what quantum state Alice and Bob sent. To this last part, usual defence methods need to be applied (i.e. decoy states [13], etc). Thus, Alice and Bob can establish a secret key without the need to take into account detector side channel attacks. The main downside of this solution is that the key rate is small [14] compared to standard protocols. Also, sources need to be trusted and state preparation has to be almost perfect. There also other practical problems to overcome [15]. But, in all, among the proposals that inherently protect against sidechannel attacks, MDIQKD is the one of greater feasibility [8, 12].
Another class of practical problems in quantum (and classical) communications are the perturbations that photons suffer when they propagate along optical fibers. Certain perturbations and also imperfections in practical optical fibers randomly scramble the information encoded in photons, impairing QKD. When the link is very short this posses no real problem, but in reallife quantum communications links are required to be about a few hundreds of kilometres, and the aim is precisely to increase this limit. An example of such pertubations is the undesired birefringence most reallife fibers have, unless they are polarizationmaintaining fibers [16], which have a high but tailored builtin birefringence, so as to preserve two particular linear polarization states of the travelling photons although the relative phase remains random. Information may be encoded in the photons polarization, and undesired birefringence alters the state of polarization unpredictably. In other words, such birefringence cannot be completely characterized, causing a random perturbation. Then, if polarization changes randomly when the photons are on the fly, no key can be established. On the other hand, in optical fibers intended for space division multiplexing, spatial perturbations, due to mechanical causes, thermal causes and so on, can also give rise to undesired and unpredictable couplings between spatial modes (modal crosstalk) with the same effect of precluding QKD. This last case is acute when one deals with many spatial modes and multicore optical fibers (MCFs) and even fewmode fibers (FMFs). Moreover, these spatial perturbations can also change with time although slowly with respect to transmission speed. Likewise, imperfections in optical fibers can also give rise to mode coupling. Solutions to such problems have been proposed in QKD protocols by the socalled autocompensating cryptography, thus, autocompensating QKD methods have been proposed for single photon states excited in polarization and/or spatial modes [17, 18]. Autocompensating cryptography consists in taking the travelling light and make it go through some determinate optical elements that alter its state in such a way that the perturbations become harmless. The price to pay is that light has to travel backandforth between the two ends of the line, that is, it has to travel at least two times the same distance. This enhances distancerelated drawbacks like fiber losses. This won’t be a problem, nonetheless, when we compute the key rate, since if we use coherent states they are only attenuated at Alice and Bob’s sites, that is, the weak coherent states do not cover two times the distance between Alice/Bob and Charlie. Note that autocompensation does not eliminate or make any attempt to eliminate such perturbations, but their effects, restoring the photonic quantum state that was originally launched. At this point we must stress that in optical fibers for space division multiplexing several channels could be used, thus reducing the effects associated to fiber losses. Another solution exists, consisting in continuously monitoring the properties of the communication links like optical fibers, correcting in real time the undesired modifications the propagating state can undergo as for example relative phases, although coupling effects would be much more difficult to correct [19] and moreover, a complememtary light signal is required in order to measure the perturbations together with a complex electronic processing device.
In this work, we propose an Autocompensating MDIQKD (AMDIQKD) protocol, which is based on biphoton states. We will do it in three ways, each one corresponding to a different photonic encoding: collinear modes, polarization modes and codirectional modes. By collinear modes we refer to modes propagating along the same direction, travelling in the same core of a fiber, such as HermiteGauss (HG) modes. Few mode optical fibers are the transmission lines for collinear modes, although optical communication in free space can make use of this kind of spatial modes. We will distinguish between polarizationmaintaining few mode fibers (PMFMFs) [16], where two particular linear polarizations are maintained for long distances, and spacemaintaining fewmode fibers (SMFMFs), where spatial modes are maintained decoupled for long distances [20]. By codirectional modes, we refer to modes travelling along different fibers or different cores of the same fiber. This kind of modes are directly compatible with integrated optics by using photonic lanterns or proper optical connectors. As commented, nowadays, research in MCFs is an active field, since MCFs can be used to increase to a large extent the communication capacities of fiber links. Moreover, this makes the adaptability to current (and future) systems a lot easier, with the possibility of using the available infrastructure to set up AMDIQKD protocols following a plugandplay philosophy [21]. On the other hand, scalability, compactness, robustness an so on, are wellknown attributes of optical integrated technologies [22]. Importantly, integrated devices, together with MCFs [3, 23, 24], open the possibility, in a very clear way, to extend the protocol to N dimensions, which increases security. At this point, we must also stress that the use of mode converters based on photonic lanterns [25] or multiplane interfaces [26] between FMFs and channel waveguide modes also allows to use integrated optical components because collinear modes can be converted into codirectional modes, although in this work, for the sake of completeness, bulk components will also be used. The same interface procedure can be applied to polarization modes. Consequently, we will use four modes where two photons are excited, that is, twoqubits. Besides, as the algebraic mechanism to obtain autocompensation is different for each encoding, then we will deal with each case separately. Therefore, the plan of this paper is as follows. We start by proposing a full AMDIQKD optical system for collinear modes coming from PMFMFs, which can provide several spatial channels for QKD because polarization is maintained across a long distance. Next, a AMDIQKD optical system for polarization modes of SMFMFs is presented. Moreover, as in the spatial case it can also provide several polarization QKD channels because spatial modes are maintained decoupled for a long distance. Finally, we propose an AMDIQKD optical system for codirectional modes coming from MCFs by using integrated optics to measure the Bell states. The main conclusions are summarized at the end.
AMDIQKD system with collinear modes
As commented, for this case, we encode information in two collinear spatial modes of two PMFMFs linking AliceCharlie and BobCharlie as shown in Fig. 1. This kind of fibers have a birrefringence which is high enough to separate polarization modes, however, spatial modes can undergo coupling. For instance in this kind of fibers, there will be mode coupling between \(\text {LP}_{11H}^{(e)}\) and \(\text {LP}_{11H}^{(o)}\) modes, and \(\text {LP}_{11V}^{(e)}\) and \(\text {LP}_{11V}^{(o)}\) modes [16], with (e) indicating even mode (cosφ) and (o) odd mode (sinφ). However, polarization mode coupling is negligible. Obviously, each polarization can be considered as a potentially useful channel for QKD, therefore, we could use several independent channels to perform QKD, which would increase the bit rate and therefore would reduce the loss effects and larger distances would be achieved. For example, let us consider without loss of generality that the quantum states are excited in the particular modes \(\text {LP}_{11H}^{(e)}\equiv X\) and \(\text {LP}_{11H}^{(o)}\equiv Y\), that is, in horizontal (X) and vertical (Y) HermiteGaussian (HG) modes polarized, for instance, along the horizontal direction. Single photon states are denoted as 1_{X}〉 and 1_{Y}〉. The vertical polarization direction could be used as a second channel. More channels could be considered if other modes are used as, for example, \(\text {LP}_{21H}^{(e)}\) and \(\text {LP}_{21H}^{(o)}\) modes, and \(\text {LP}_{21V}^{(e)}\) and \(\text {LP}_{21V}^{(o)}\) modes [16].
The AMDIQKD system is shown in Fig. 1. As autocompensation requires light to go backandforth, then the light source must be located at Charlie. Such source can be a SPDC or two independent lasers emitting WCPs (weak coherent pulses) and ensuring photon indistinguishability. Accordingly, Charlie prepares the following state
and sends each part of it to Alice and Bob. Indexes a and b stand for Alice’s and Bob’s paths, respectively. If WCPs are used then decoy states are also required in order to prevent photon number splitting (PNS) attacks. We group whatever source Charlie uses to generate those states under the name Initial States Generator (ISG). Next, light reaches Charlie’s optical circulators (OC), which direct the light towards Alice’s and Bob’s sites. After the circulators optical fiber delay (OFD) devices are placed to delay states excited in mode Y a time τ with respect to states excited in mode X, meaning that we will have 1_{X}〉 and 1_{Yτ}〉. The OFDs (see Fig. 2) consist on a MachZehnder interferometer (MZI) with a Dove prism (DP) in one of its arms. They work in the following way. When the quantum state reaches the first beam splitter (BS), one part of it goes into the horizontal (h) path and another on the vertical (v) path. Then, the Dove prism in the vertical path introduces the following transformation on the modes
where 𝜗 is the angle in which the normal of the prism is rotated. This means that if we have states 1_{X}〉 and 1_{Y}〉 as input, the output will be a \(\phantom {\dot {i}\!}\vert 1_{X^{\prime }}\rangle \) mode given by the linear combination \(\phantom {\dot {i}\!}\vert 1_{X^{\prime }}\rangle =\cos 2\vartheta \vert 1_{X}\rangle +\sin 2\vartheta \vert 1_{Y}\rangle \), and analogously for 1_{Y}〉. Setting 𝜗=0 we obtain the transformations \(\phantom {\dot {i}\!}\vert 1_{X^{\prime }}\rangle =\vert 1_{X}\rangle \) and \(\phantom {\dot {i}\!}\vert 1_{Y^{\prime }}\rangle =\vert 1_{Y}\rangle \). So, for an input \(\frac {1}{\sqrt {2}}({\vert 1_{{hX}} \rangle + \vert 1_{{hY}}\rangle })\) at the horizontal input of the first BS, the emergent state after the second BS is \(\frac {1}{\sqrt {2}}({\vert 1_{{vX}} \rangle  \vert 1_{{hY}}\rangle })\). This means that the X mode exits the vertical port of the second BS and is directed towards Alice (and Bob), while the Y mode exits the horizontal port, and is directed towards an external optical path that feeds the vertical port of the first BS. The result is that the Y mode gets delayed with respect to the X mode, by a quantity we call τ. This delay will allow Alice and Bob to introduce relative phases between X and Y modes. Thus, the state after the OFDs is
Now, photons enter (and then exit) optical fiber circuits at Alice and Bob’s sites trough optical circulators. Note that Alice and Bob’s laboratories need to be well shielded from eavesdroppers. No information should leak out. In these circuits, autocompensating devices are located, together with phase modulators by which Alice and Bob encode their bits. Electrooptical phase shifters implement this task. Alice and Bob introduce a relative phase e^{iθ} between 1_{X}〉 and 1_{Y}〉, randomly chosen from the set θ={−π/2,0,π/2,π}, in order to encode information in one of the two following mutually unbiased bases (MUBs), that is, diagonal and circular bases,
It is worth writing the transformation between absorption operators \(\hat {a}\) in both bases, that is
Note again that autocompensation requires light to follow a closed path. As in MDIQKD the photons end at Charlie’s site, if we add autocompensation, light needs to start its way at Charlie’s site too. Charlie provides the input light and Alice and Bob modulate its phase in order to generate quantum states on which encode their bits. It is clear why we can not use the usual basis {1_{X}〉,1_{Y}〉} (socalled the Z or rectilinear basis and used normally in MDIQKD protocol [12]) because it can not be converted in any other basis by phase modulation. Obviously, rotations can be used to change basis, but, in that case, the autocompensating transformation we will describe afterwards would become useless, hence autocompensation would not work. We will ignore the perturbations for a while to explain the measurement process, then we will deal with the autocompensation method.
Bellstate measurement device
After exiting the fiber circuits, light goes back to Charlie. At Charlie’s circulators light is directed towards a Bellstate measurement device. This device is composed by a beam splitter (BS) plus two MZI identical to the MZIs present above in Fig. 2 (except that they lack the external optical path for OFD). The BS acts the usual way, entangling photons and producing Bell states, which will be postselected afterwards. As analyzed, the MZIs act as a polarizing beam splitter would do in the polarization case, that is, they sort X and Y modes, each one in one different port, as we have seen. Then, photons are directed towards detectors D_{aX},D_{aY},D_{bX},D_{bY} and Bell states will be measured. In detail, the working principle of this Bellstate measurement apparatus is the following. Let’s call the input ports of the BS after the OCs in Fig. 1 as ao and bo, and the output ports as a and b. Now, assume that such BS is of the type that induces the following transformation between the input and output modes, with corresponding photon emission operators \(\hat {a}^{\dagger }_{{ao}}, \hat {a}^{\dagger }_{{bo}}, \hat {a}^{\dagger }_{a}, \hat {a}^{\dagger }_{b}\):
Now, when Alice and Bob choose the same basis (else the data is discarded), there are two classes of input states. The first one is when Alice and Bob prepare the same state and the second one is when they prepare different states. Consider the first case of a diagonal basis. Let us consider, for instance, that the state that reaches the BS is
This state corresponds to the case socalled not bitflip case. This state can be rewritten, by taking into account the transformation given by Eq. (7), as follows
Next, by using the measurement modes X and Y we obtain
Note that by one hand we obtain the following state
that is, we detect the two photons in only one detector, that is, there are no coincidences with a probability equal to 1/2. On the other hand, we also obtain with a probability equal to 1/2, the following Bell state Φ^{+}〉 (with respect to the detectors a and b),
meaning that there are coincidences in the same output, a or b, that is, there will be a simultaneous click between the same pair of detectors, either D_{aX} together with D_{aY} or D_{bX} together with D_{bY}. However, if the input state is, for instance,
which corresponds to a bitflip, then by taking into account the transformation given by Eq. (7), the state can be rewritten as
By following the same procedure as in the above case, we obtain both states corresponding to non coincidences and the following Bell state, with a probability equal to 1/2,
that is, coincident clicks between D_{aX} and D_{bY} or D_{aY} and D_{bX}, are obtained, which is precisely the Ψ^{−}〉 Bell state. Now, each photon emerges in a different port. We must stress that the non coincidences can be used to calibrate the system, that is, we must detect the same amount of coincidences and non coincidences to make sure that the system is aligned and adjusted and therefore the protocol can be implemented. However, we still need to eliminate the effect of possible perturbations by an autocompensating method.
Autocompensation method
As commented, we encode information in two collinear spatial modes propagating in a PMFMF along the zdirection, in particular, LP\(_{11H}^{(e)}\equiv X\) and LP\(_{11H}^{(o)}\equiv Y\). We will describe in detail the autocompensation mechanism that enables to get rid of perturbations that arise when such modes propagate along optical fibers. The aim of autocompensation is that the photonic state emerges restored after it has travelled the path, back and forth, between the starting point and the endpoint of the fiber link. Intrinsic imperfections of dielectric permitivitty or perturbations P(x,y) produced by mechanical and/or thermal causes give rise to modal coupling between optical modes. The twomode coupling coefficient is given by
where e_{1}(x,y) and e_{2}(x,y) are the mode amplitudes. P(x,y) is a random perturbation, which can regarded as zinvariant in a short propagation distance z. Therefore the total perturbation is a sequence of q perturbations with different coupling coefficients. Each perturbation k=1,...q can be described by an asynchronous modal coupling, that is, the formal solution for the absorption operators is given by
Now, we can model the perturbations along the fiber as a discrete number q of perturbations, acting on the absorption operators. Moreover, since we are dealing with singlephoton states in each link, it can be shown that the solutions to the Heisenberg equations for spatial propagation apply directly to photonic states [27]. Thus, if ψ〉 is a photonic state, then ψ(z)〉=Sψ(0)〉, where S is the total matrix S=S_{q},S_{q−1}...S_{2}S_{1}.
On the other hand, the coupling coefficients remain invariant under backpropagation, that is, by defining a new reference system given, for instance, by (−X)Y(−Z), the original one being given by XYZ, it is easy to check that κ_{s} does not change under backpropagation, therefore, the matrices S_{k} do not change under backpropagation. We write down explicitly the transformation the photonic states would experience when going backandforth along the optical fiber. When going from Charlie to Alice (and Bob), we have T_{→}=S_{q}...S_{1}, and, when going back from Alice (Bob) to Charlie, we have again T_{←}=S_{1}...S_{q}. Between these two operations, we have to put the right transformation, implemented by the adequate autocompensating devices, so that we restore the original photonic state. The full transformation the light experiences on a roundtrip is
where M represents the operation of the autocompensating devices. It is easy to check that M=iσ_{y}, with σ_{y} the second Pauli matrix, restore the state, that is
then S_{k}MS_{k}=M. This means that the state of the emergent light, back at Charlie’s circulators, has been properly restored, albeit a deterministic swapping transformation M=iσ_{y}, which we can account for.
Next, we must answer the question of how to implement the operation M=iσ_{y} with HG modes. This can be done by using two cylindrical lens converters (CLCs) [28] and a Dove prism with 𝜗=π/4, plus a phase shifter (PS) introducing a global phase ϕ=−π/2, as shown in Fig. 3. The Dove prism is sandwiched between the CLCs [29]. The CLCs rotate the X and Y modes by phases ±π/2, respectively. They convert HermiteGauss modes into LaguerreGauss ones. In matrix form, this can be written as
Now, the Dove prism is rotated π/4, therefore, from (2), it implements the operation D_{π/4}=σ_{x}. Therefore, we obtain the desired transformation,
We left some more nuances along the road that deserve however more attention. First of all, when we wrote (18), it may seem that we forgot about the phase gate Alice and Bob apply in order to obtain the different quantum states in which encode their bits. However, we must recall that at Alice and Bob systems the states are excited in retarded modes as given by Eq. (3). In other words, autocompensation is for the retarded states 1_{X}〉 and 1_{Yτ}〉 in an individualized fashion. The transformation U(θ)=diag(1,e^{iθ}) implementing the phase modulation acts on the above states, in particular on 1_{Yτ}〉. Another subtlety is that the fiber circuits, where the autocompensation devices and phase modulators are located, have a very small length. Note that this path is never autocompensated but is however so small that is contribution to a perturbation of the photonic states is negligible. They are local fiber loops. We remark that this will be common to all three encodings described in this paper. Moreover, we must note that the delay introduced in OFD when the photons come back cancels the delay introduced at the beginning. This is because the Dove π/4 prism formally swaps modes X and Y but does not swap their identity. This implies that, if when the photons first went through the OFD, the X mode went ahead of Y, then after the Dove π/4 prism, it is the Y mode who goes ahead. Then, again at the OFD device, the Y gets retarded and waits for the X mode so that they reach Charlie’s Bell state apparatus exactly at the same time. This can be calibrated by using the HOM states that are produced at the BS.
Finally, note that we are saying that modes coming from Alice’s and modes coming from Bob’s reach the Bellstate projector at the same time, but separately, in the sense that the X mode of Alice (Bob) and the Y mode of Alice (Bob) become synchronous again once they have travelled the OFD twice, but there is still needed that Alice’s modes and Bob’s modes reach the measurement apparatus at the same time. For that, their paths need to be adjusted to avoid mismatch [15]. Alternatively, if WCPs are used, the pulses generated at the ISG could be delayed such that they return simultaneously. This calibration task is simpler than in a standard configuration as Charlie can perform it without the involvement of Alice or Bob.
AMDIQKD system with polarization modes
For the sake of completeness, we describe the polarization encoding scheme. Polarization is perhaps the best known and most used of all possible photonic encodings, and AMDI schemes involving it have already been proposed [30]. Still, we describe it here for two reasons in addition to the mentioned completeness. The first one is because we do it using a different autocompensating device (a closed cycle with a HWP) to the one used in reference [30] where Faraday mirrors are used. The second, and most important, is because in SMFMF for space division multiplexing, as for example an elliptical FMFs, spatial modes are separated but polarization modes are close [20]. Therefore in these optical fibers we can use these separated space modes as different channels with two polarization modes to perform QKD. Then, as in the above case, we could use several independent channels to carry out QKD, which would increase the bit rate and thus would reduce the loss effects and larger distances would be achieved in QKD.
The basic scheme of the AD subystem is shown in Fig. 4. A biphoton source or two independent lasers producing WCP is required at Charlie’s site, together with decoy states. While the working principle is the same, there will be a number of changes on the optical devices used. Charlie sends the state
where again a stands for Alice’s path and b for Bob’s path. Note that the formal study is identical to the case of spatial modes X and Y but with the formal changes X→H and Y→V. Therefore, the implementation of the MDI protocol is made in the same way and consequently the results found above can be easily used for polarization. However, the autocompensation process will be different. As in the spatial mode case optical fiber delays are again required. This can be implemented for this case with the aid of a PBS [29], as shown in Fig. 5a. As we will see, the autocompensating device again implements a swapping operation required to cancel such delay so that states reach Charlie’s Bellstate analyzer at the same time. blackLight goes towards Alice’s and Bob’s sites, each one equipped with autocompensating devices. Photons enter optical fiber circuits at Alice and Bob’s sites trough optical circulators. By means of electrooptical phase shifters, Alice and Bob encode their bits. As before, Alice and Bob introduce a relative phase θ between 1_{H}〉 and 1_{V}〉, randomly picked from the set θ={−π/2,0,π/2,π}, in order to encode information in one of the two MUBs (diagonal or σ_{x} and circular or σ_{y}).
After exiting the optical fiber circuits at Alice and Bob’s sites, light returns to Charlie. At Charlie’s circulators light is directed towards a linear optics system which implements a Bellstate measurement (Innsbruck scheme). At the beamsplitter BS Bell states are produced. Afterwards, two polarizing beamsplitters (PBS) with their corresponding detectors D _{aH}, D _{aV} and D _{bH}, D _{bV} project into the individual polarizations. In particular, we obtain the following Bell state for the not bitflip case
meaning that there are coincidences in the same output, a or b, that is,there will be a a simultaneous click between the same pair of detectors, either D_{aH} together with D_{aV} or D_{bH} together with D_{bV}. However, for bitflip cases we obtain
that is, coincident clicks between D_{aH} and D_{bV} or D_{bH} and D_{aV}, are obtained.
Autocompensation method
We assume that the optical fiber has birefringency perturbations acting on polarization states. Moreover, as commented this perturbation can vary in time, but slowly. Such perturbation can be also represented by the matrix S_{k} given by Eq. (17). In fact, it is also an asynchronous coupling but with polarization modes coupled by birefringence. However in this case the coupling coefficient between polarization modes is given by
Then under backpropagation, that is, by defining a new reference system given, for instance, by (−X)Y(−Z), the original one being given by XYZ, polarization modes must be changed, that is, H→−H, that is, e_{H}(x,y)→−e_{H}(x,y), and accordingly the coupling coefficient κ_{p} changes its sign. The main consequence is that matrices \(S^{\prime }_{k}\) for backpropagation also change, that is,
These results can easily checked by analysing the matrix of particular waveplate for backpropagation, for instance, a HWP forming an angle γ with respect to the axis X, that is,
where under backpropagation the angle γ becomes −γ, therefore sin2γ→− sin2γ as established by Eq. (26). On the other hand, it is easy to check that autocompensation is achieved by a matrix σ_{x}, which can be implemented by a HWP rotated π/4 degrees together with a global phase e^{iπ/2}, that is,
therefore, by taking into account the last birefringent perturbation q we have
and so on, then S_{1}...Sq′M^{′}S_{q}...S_{1}=M^{′}. This means that the state of the emergent light, back at Charlie’s circulators, has been properly restored, albeit a deterministic swapping transformation M^{′}=σ_{x}, which we can account for. In Fig. 5b the implementation of the autocompensation is shown. It is made by using a HWP _{π/4} and an optical circulator to get a closed circuit. The phase shifter θ used to generate quantum states is also shown. In short, if we take a input polarization state L〉, after it has traveled back and forth between Charlie and Alice (Charlie and Bob), it emerges as σ_{x}L〉, that is, unaltered. The unpredictable changes it would have experienced if it were not for the autocompensating device have been removed. We must note that the usual rectilinear (Z) basis for MDI protocol could not be used for autocompensating purposes because we would have to rotate the state in order to generate different bits, for instance 1_{H}〉→1_{V}〉, however, rotations are not autocompensated.
AMDIQKD system with codirectional modes
Space division multiplexing can be also implemented by using multicore fibers (MCFs), that is, by using codirectional modes, therefore, we must also consider these optical fibers for QKD. We must stress that there are many configurations of MCFs [31], that is, different groupings of the cores as for example at the vertices of triangle, a square, or even grouping in pairs [32]. These groupings are enough separated to consider that non modal coupling is produced, however, groups of cores can undergo modal coupling and then are processed by MIMO (Multipleinput Multipleoutput) technique. The goal of the groups of cores is to enlarge the transmission capacity by increasing the density of cores. In this work we consider grouping in pairs of singlemode cores, and propose a method for autocompensating the modal coupling between the corresponding modes of two cores [32]. Moreover, an integrated device to measure the Bell states is also proposed. We must stress that sometimes the mentioned cores also are far enough apart and therefore only relative phases are compensated, however, the proposed method can also compensate some possible residual coupling, in fact, mechanical and thermal perturbations can induce mode coupling. The matrix describing an arbitrary perturbation k(=1,...,q) is also given by the matrix S_{k} shown in Eq. (17) where now the modes e_{1} and e_{2} correspond to the fundamental modes of the singlemode cores. Finally, we must stress that polarization is ignored because it is assumed that due to the proximity between cores the polarization changes are common to both cores, that is, a single photon state can be represented as follows
with j=1,2. This indicates that the polarization state is the same for both cores. From a classical point of view it means that the total optical field can be factorized as e=(c_{1}e_{1}+c_{2}e_{2})u, with u=(c_{H}u_{H}+c_{V}u_{V}) an unpredectible polarization unitary vector but non relevant to spatial coupling. In short, the autocompensating method consists of implementing once more the matrix M=iσ_{y} used in collinear modes. However, we must stress that unlike of a singlephoton QKD we have two photons coming from Alice and Bob, therefore a polarization autocompensating is also required. Such autocompensation will be obtained as indicated in the case of polarization modes, that is, by a HWP rotated π/4.
blackOn the other hand, the way to encode information obeys the following spatial scheme: if the photon travels path 1 (core 1) that corresponds to bit 0 and if it travels path 2 (core 2) that would correspond to bit 1. The result is that a photon can propagate in a superposition of path 1 and path 2. Note that this corresponds to the usual dualrail logic. Formally, 1_{1}〉→path 1 and 1_{2}〉→path 2. The experimental implementation parallels that of the previous collinear case, as seen in Fig. 6. There are however a number of changes, especially regarding both the autocompensating process and the Bellstate measurement device (BMD), which in this case is implemented by a optical integrated circuit. Now, each state travels its own path, there being two paths for Alice and two paths for Bob. Each path corresponds by the above encoding to a quantum state. If we label Alice’s paths by a and Bob’s paths by b, we have, for Alice, paths a_{1},a_{2} and b_{1},b_{2} for Bob.
In an analogous fashion with respect to the collinear case, Charlie sends a pair of qubits from his ISG, using either a singlephoton source or WCPs (decoy states are also required, as usual, for protection against PNS attacks, if WCPs are used). We need to introduce an OFD device in order to introduce a delay between the fundamental states 1_{1}〉 and 1_{2}〉, for the same reason as before. An example of such a device is shown in Fig. 7. It consists on a pair of photonic lanterns (PL) that extract the modes from the MCF into two parallel SMFs. In one of them, a fiber loop producing a delay τ is located, as in the MZI. Another photonic lantern takes the photons and puts them into the two cores of the MCF again. Therefore, after the OFDs we have the biphoton state
Light travels along two cores of an MCF to meet Alice’s and Bob’s laboratories. There, local loops contain autocompensating devices and phase modulators. Optical circulators are also required for the local loops of Alice and Bob and to redirect photons to the Bellstate measurement apparatus. Note that circulators do not mix the paths 1 and 2. Although we draw only one circulator, a pair of circulators each one operating in one path is to be understood.
Bellstate measurement device
Finally, the light that returns to Charlie is directed to a Bellstate measurement device. In this case, such device will be an integrated optical circuit. It is shown in Fig. 8. It is a fourport device; its input fed with the emerging light that comes back to Charlie from Alice’s and Bob’s sites. Synchronous directional couplers (DC) and phase shifters (PS) implement the required transformations. Finally, at the end of each port, a detector is located. The result is a integrated device that is totally analogous to an Innsbruck scheme but on a spatial encoding. Recall that a general synchronous directional coupler implements the following transformation
The value of α=κL can be tailored to our choice according to the value of the coupling coefficient κ and the coupling length L. In this case, the integrated device requires the use of D(π/4) and D(π/2) couplers, along with a pair of ϕ=−π/2 phase shifters.
A first D(π/2) coupler is required; it couples inputs \(\hat {a}_{o2}\) and \(\hat {b}_{o1}\). Next, two D(π/4) couplers are needed. They couple, respectively, inputs a_{o1} and b_{o2} to intermediate outputs a2′ and b1′, respectively. In terms of the photonic absorption operators, the implemented transformations are
As in the previous cases, we will need suitable bases for autocompensation purposes. Therefore, we shall use the following two MUBs
Moreover, the transformation between absorption operators \(\hat {a}\) in both bases is given by
Let us assume, for instance, that Alice and Bob prepare the input state \(\vert L_{{nf}}\rangle =\vert 1_{{aoD}}1_{{boD}}\rangle =a^{\dag }_{{aoD}}a^{\dag }_{{voD}}\vert 00\rangle \), then by taking into account Eq. (36) we obtain the state
With this in hand, together with the transformations in Eq. (33), we can make a Bellstate analysis of the device in Fig. 8. Thus, after a long but straightforward calculation, we will find that the output state is a superposition of states which do not produce coincidences and states producing coincidences, that is, L〉=L_{nc}〉+L_{c}〉, with
Now, let us assume that Alice and Bob send back to Charlie orthogonal states but in the same (diagonal basis), i.e the input state is
In this case, by identical procedure, we will obtain number states 2〉 and the following Bell state Ψ^{−}〉, with probability 1/2:
Thus, the optical integrated circuit we propose works as a Bellstate analyser, as it should, and therefore the MDI protocol can be implemented. Next, we present the autocompensating method.
Autocompensating method
As in the collinear case, unpredictable coupling between modes of adjacent cores of an MCF results in a series of perturbations S_{k}, each which can be characterized again as a SU(2) matrix with the same form as Eq. (17). It represents, again, the perturbation associated to a short length, in the zdirection, of the core the photons travel along. The total matrix is again given by S=S_{q}S_{q−1}...S_{2}S_{1}. Importantly, these matrices have the same symmetries as the ones of collinear modes. Consequently, we need to find a way to implement the transformation M=iσ_{y} on codirectional modes, so that we obtain S_{k}MS_{k}=M for each perturbation k. There are a number of ways to implement such transformation. Here, we choose a simple one, consisting of a directional coupler together with phase shifter introducing a phase π, placed in a closed circuit, as shown in Fig. 9. Specifically, for the DC, we set α=π/2, so from Eq. (32) we obtain
Next, place a π phase shifter on the path 2 and thus we obtain the transformation
which is just what we wanted, up to a harmless global phase π/2. Note that the DC implements a swapping operation. This means that it exchanges the physical modes (not their identity), in the sense that the retarded mode will now follow the path which has no delay, and the advanced mode will be delayed. Thus, modes reach Charlie’s Bellstate measurement apparatus at the same time and autocompensation is achieved. This is analogous to what happened in the collinear case.
Finally, a HWP is also included to autocompensate polarization because the perturbations in the optical fiber linking Alice & Charlie and the optical fiber linking Bob & Charlie will be different. Obviously, we can take advantage of this autocompensating polarization technique to use two different QKD channels, that is, collinear modes in H and V polarizations (channels), and therefore doubling the bit rate. We only need to separate the polarization channels (by using, for instance, PBSs) and to place two BMDs in the AMDIQKD system.
black
Secret key rate analysis
We shall now perform a secret key rate analysis by presenting a simulation of the impact on the key rate R when perturbations (crosstalk and phase shifting) are considered in the optical link and a comparison with the autocompensated case is shown. We consider crosstalk between modes of multicore optical fibers. This is a very interesting case [3–6] because, among other reasons, the use of this optical link avoids the requirement of alignment between the Alice and Bob bases, which is needed with both collinear modes and polarization modes, in order to avoid misalignment errors that reduce the secure key rates. Moreover, simulation will be made with optical perturbations modelized by a generalized optical error function E_{opt}(L), where L is the propagation distance. We start by recalling that the expression of the lower bound of the key rate R of a MDIQKD protocol, in the case of an infinitely long key and involving the use of decoy states, is given by [12, 33]
Here, \(Q^{R}_{11}\) is the singlephoton gain in the rectilinear (R) or Z basis, \(\mathcal {B}_{R}=\{\lvert 1_{1} \rangle, \lvert 1_{2}\rangle \}\); \(e^{D}_{11}\) is the singlephoton bit error in the diagonal or X basis \(\mathcal {B}_{D}\); \(Q^{R}_{\mu _{a}\mu _{b}}\) and \(E^{R}_{\mu _{a}\mu _{b}}\) are, respectively, the total gain and total error rate in the rectilinear basis when signal WCP states of mean photon number μ_{a} and μ_{b} are sent by Alice and Bob, respectively; f is the error correction inefficiency and H is the binary Shannon entropy function, given by H(a)=−a log2(a)−(1−a) log2(1−a). It is assumed that the WCPs are phase randomized.
Note that for our protocol, because it implements autocompensation, we need to encode the states in the diagonal and circular bases \(\mathcal {B}_{D}\) and \(\mathcal {B}_{C}\), respectively. However, the above key rate formula involves terms in the rectilinear and diagonal bases. We can use this equation, nonetheless, if we change the basis just before detection. This is, we encode in the diagonal and circular bases but we detect in the rectilinear and diagonal bases, thus Eq. (44) is still valid in our setting. The final expression of the key rate is general, and can be used in our case without modification. In fact, our experimental setting is similar to that of [33]. To change from the \(\mathcal {B}_{D}\) and \(\mathcal {B}_{C}\) bases to \(\mathcal {B}_{D}\) and \(\mathcal {B}_{R}\) we can use a simple 3dB synchronous directional coupler, putting α=π/4 in Eq. (32), so that we obtain, up to global phases, the following map: D(π/4)1_{L}〉→1_{1}〉; D(π/4)1_{R}〉→1_{2}〉; D(π/4)1_{D}〉→1_{D}〉; D(π/4)1_{A}〉→1_{A}〉. We must stress that the detection devices already presented remain unchanged.
The multiphoton terms in the key rate formula are given by [33]
where Q_{C} and Q_{E} are given by the following expressions
with P_{d} the dark count rate of an individual detector (Y_{0}/2,Y_{0} the background yield); μ^{′}=η_{a}μ_{a}+η_{b}μ_{b}, with η_{a} and η_{b} the transmission efficiency of Alice and Bob’s channels, which we set equal η_{a}=η_{b} (symmetric scenario). This is given, in turn, by, \(\phantom {\dot {i}\!}\eta _{a,b}=10^{\alpha _{{att}} L/10}\eta _{d}\eta _{C}\), where α_{att} is the attenuation of the fiber link measured in dB/km, L the length of the fiber link (Alice/Bob to Charlie) and η_{d} and η_{C} are the detector’s efficiency and internal transmittance of Charlie’s devices, respectively. Moreover, ξ is given by \(\xi =\sqrt {\mu _{a}\mu _{b}\eta _{a}\eta _{b}}/2\) and I_{0}(ξ) is the modified Bessel function of the first kind. Finally, e_{opt} in Eq. (46) is the socalled optical misalignmenterror probability [15, 33]. Importantly, it is the error to be modified when optical perturbations are considered along the optical fiber.
On the other hand, in a practical situation, with a finite number of decoy states, \(Q^{R}_{11}\) and \(e^{D}_{11}\) in Eq. (44) need to be estimated from the total gains and error rates. In that case, a good estimation is provided by a decoy setting employing a signal state, a weak decoy and a vacuum. For that, we use the bounds for \(\phantom {\dot {i}\!}Q^{R}_{11}=\mu _{a}\mu _{b}e^{\mu _{a}\mu _{b}}Y^{R}_{11}\) and \(e^{D}_{11}\) obtained by [34]. First of all, we need to reproduce the total gains and errors in the diagonal basis, from [33], that is,
where \(\phantom {\dot {i}\!}\gamma =(1P_{d})^{\mu ^{\prime }/4}\) and e_{0}=1/2 is the dark count error, that is, the random dark count in a detector which is not expected to fire. Equations (45) to (50) can be particularized for any intensity setting by simply substituting the intensities’ values. Now, say that Alice sends a signal state μ_{a}, a weak decoy ν_{a} and a vacuum. Bob sends μ_{b},ν_{b} and a vacuum. Following [34], define m= min(a,b,c), where
Furthermore, with β={R,D}, the following parameters are defined
With these in hand, the lower bound of \(Y^{\beta }_{11}\) and upper bound of \(e^{\beta }_{11}\) are given by [34]
Next, by particularizing for β=R in \(Y^{\beta }_{11}\) and for β=D in \(e^{\beta }_{11}\) one can obtain the remaining parameters of Eq. (44).
As commented above, in order to take into account the perturbations on the fiber producing undesired coupling (crosstalk) we present the following model for the optical error, already introduced in [35] for a highdimensional QKD analog of the BB84 protocol. The expression of the optical error is modelled as follows
where α_{opt} is the perturbation coefficient along the fiber. Note that this error increases monotonically with L and it is reduced to e_{opt} when α_{opt}=0, and it goes to 1/2 for α_{opt}≫1, that is, for large perturbations all states have the same probability 1/2 to be detected (two states in each base) and therefore the error will be also equal to 1/2 as it also occurs for e_{0}. In short, E_{opt} generalizes the misalignment error e_{opt} above.
To perform a numerical simulation of the key rate, given by Eq. (44), we use the equations above, substituting e_{opt} by E_{opt}, for a series of realistic values of α_{opt}, including α_{opt}=0, which is the case when the perturbations have been successfully autocompensated. Thus, we will use values of α_{opt} in the interval (0.5·10^{−3},2·10^{−3}) which are compatible with those ones found in the technical literature about modal crosstalking due to perturbations in optical fibers. For instance, for α_{opt}=2·10^{−3}km^{−1} we obtain an optical error about 1.0·10^{−3} which corresponds approximately to 28 dB. This value is a realistic one because both spatial and polarization mode crosstalking in optical fibers can take values around 30 dB or even larger [36, 37]. In short, crosstalking provides an estimation of errors due to the loss of information (bits) carried by an optical mode.
As one can see in Fig. 10, the range at which we can transmit secure information depends critically on the value of α_{opt}. The values for the parameters used in the simulation were taken across the relevant literature [15, 30, 33, 34] and are detailed in Fig. 10. Moreover, we have imposed the optimal conditions μ_{a}η_{a}=μ_{b}η_{b} and ν_{a}=ν_{b} [15, 33]. The results under full autocompensation gives a secure key rate up to a distance about 130 km between Alice (Bob) and Charlie, therefore 260 km between Alice and Bob. If we consider a perturbation coefficient of α_{opt}=0.5·10^{−3} a reduction of 38% in such a distance is obtained, that is, a secure key rate distance about 160 km between Alice and Bob. In the case α_{opt}=2.0·10^{−3} a dramatic reduction of the secure key rate distance is obtained. Therefore, these results show that the optical perturbations in the links for MDI protocol are an important source of errors what contributes to a remarkable reduction of the secure key rate distance, which is more important than in the case of protocols based on a single photon, like, for example, the BB84 one [35].
Conclusions
We have shown how to implement a AMDIQKD protocol in different settings according to the kind of optical fiber used for space division multiplexing, that is, fewmode optical fibers maintaining polarization modes (PMFMF) or maintaining space modes (SMFMF) and MCFs. In particular, we have proposed three systems for AMDIQKD by using collinear, polarizations and codirectional modes. Discrete and/or integrated components have been used for both measuring Bell states and achieving autocompensation. As such fibers are assumed to be the links of present and nearfuture optical networks, then implementation of QKD in them and in a plugandplay fashion would offer clear practical benefits, as for example, to use several channels for MDIQKD what would in turn compensate the losses and therefore increase the bit rate. Finally, simulations of secret key rates with perturbations in the link has been made what has shown that a remarkable reduction of secret key rate distances is obtained if an autocompensating method is not used. Simulations have been made for codirectional modes (MCFs) because they have the advantage that no alignment of quantum states bases is required, but the results can be easily extended to polarization and collinear modes (FMFs).
Availability of data and materials
Data is contained within the article.
Abbreviations
 QKD:

Quantum Key Distribution
 MDIQKD:

MeasurementDeviceIndependent Quantum Key Distribution
 MCF:

Multicore Optical Fiber
 FMF:

FewMode Fiber
 AMDIQKD:

Autocompensating MeasurementDeviceIndependent Quantum Key Distribution
 HG:

HermiteGauss
 PMFMF:

PolarizationMaintaining Few Mode Fibers
 SPSMF:

SpaceMaintaining Single Mode Fiber
 SPDC:

Spontaneous Parametric DownConversion
 WCP:

Weak Coherent Pulses
 PNS:

Photon Number Splitting
 ISG:

Initial States Generation
 OC:

Optical Circulators
 OFD:

Optical Fiber Delay
 MZI:

MachZehnder Interferometer
 DP:

Dove Prism
 BS:

Beam Splitter
 PBS:

Polarizing Beam Splitter
 CLC:

Cylindrical Lens Converter
 DC:

Directional Coupler
 HWP:

HalfWave Plate
 PS:

Phase Shifter
 BMD:

Bellstate Measurement Device
 MIMO:

Multipleinput Multipleoutput
References
 1
Bai, N., Ip, E., Huang, Y. K., Mateo, E., Yaman, F., Li, M. J., Bickham, S., Ten, S., Liñares, J., Montero, C., Moreno, V., Prieto, X., Tse, V., Chung, K. M., Lau, A. P. T., Tam, H. Y., Lu, C., Luo, Y., Peng, G. D., Li, G., Wang, T.: Modedivision multiplexed transmission with inline fewmode fiber amplifier. Opt. Express. 20(3), 2668–2680 (2012).
 2
Saitoh, K., Matsuo, S.: Multicore fiber technology. J. Lightwave Tech. 34, 55–66 (2016).
 3
Cañas, G., Vera, N., Cariñe, J., González, P., Cardenas, J., Connolly, P. W. R., Przysiezna, A., Gómez, E. S., Figueroa, M., Vallone, G., Villoresi, P., da Silva, T. F., Xavier, G. B., Lima, G.: Highdimensional decoystate quantum key distribution over multicore telecommunication fibers. Phys. Rev. A. 96, 022317 (2017). https://doi.org/10.1103/PhysRevA.96.022317.
 4
Ding, Y., Bacco, D., Dalgaard, K., Cai, X., Zhou, X., Rottwitt, K., Oxenløwe, L. K.: Highdimensional quantum key distribution based on multicore fiber using silicon photonic integrated circuits. NPJ Quantum Inf. 3, 25 (2017).
 5
Bacco, D., Da Lio, B., Cozzolino, D., Da Ros, F., Guo, X., Ding, Y., Sasaki, Y., Aikawa, K., Miki, S., Terai, H., Yamashita, T., NeergaardNielsen, J. S., Galili, M., Rottwitt, K., Andersen, U. L., Morioka, T., Oxenløwe, L. K.: Boosting the secret key rate in a shared quantum and classical fibre communication system. Commun. Phys. 2, 140 (2019).
 6
Xavier, G. B., Lima, G.: Quantum information processing with spacedivision multiplexing optical fibres. Commun. Phys. 3, 140 (2020).
 7
Gisin, N., Ribordy, G., Tittel, W., Zbinden, H.: Quantum cryptography. Rev. Mod. Phys. 74, 145–195 (2002).
 8
Pirandola, S., Andersen, U. L., Banchi, L., Berta, M., Bunandar, D., Colbeck, R., Englund, D., Gehring, T., Lupo, C., Ottaviani, C., Pereira, J., Razavi, M., Shaari, J. S., Tomamichel, M., Usenko, V. C., Vallone, G., Villoresi, P., Wallden, P.: Advances in Quantum Cryptography (2019). http://arxiv.org/abs/1906.01645.
 9
Zhao, Y., Fung, C. H. F., Qi, B., Chen, C., Lo, H. K.: Quantum hacking: Experimental demonstration of timeshift attack against practical quantumkeydistribution systems. Phys. Rev. A. 78, 042333 (2008).
 10
Lydersen, L., Wiechers, C., Wittmann, C., Elser, D., Skaar, J., Makarov, V.: Hacking commercial quantum cryptography systems by tailored bright illumination. Nat. Photonics. 4(10), 686–689 (2010).
 11
Gerhardt, I., Liu, Q., LamasLinares, A., Skaar, J., Kurtsiefer, C., Makarov, V.: Fullfield implementation of a perfect eavesdropper on a quantum cryptography system. Nat. Commun. 2, 349 (2011). https://doi.org/10.1038/ncomms1348.
 12
Lo, H. K., Curty, M., Qi, B.: Measurementdeviceindependent quantum key distribution. Phys. Rev. Lett. 108, 130503 (2012).
 13
Hwang, W. Y.: Quantum key distribution with high loss: Toward global secure communication. Phys. Rev. Lett. 91, 057901 (2003).
 14
Dellantonio, L., Sørensen, A. S., Bacco, D.: Highdimensional measurementdeviceindependent quantum key distribution on twodimensional subspaces. Phys. Rev. A. 98, 062301 (2018). https://doi.org/10.1103/PhysRevA.98.062301.
 15
Xu, F., Curty, M., Qi, B., Lo, H. K.: Practical aspects of measurementdeviceindependent quantum key distribution. New J. Phys. 15(11), 113007 (2013).
 16
Yan, H., Li, S., Xie, Z., Zheng, X., Zhang, H., Zhou, B.: Design of panda ringcore fiber with 10 polarizationmaintaining modes. Photon. Res. 5, 1–5 (2017).
 17
Bethune, D. S., Risk, W. P.: Autocompensating quantum cryptography. New J. Phys. 4, 42–42 (2002).
 18
Balado, D., Liñares, J., PrietoBlanco, X., Barral, D.: Phase and polarization autocompensating Ndimensional quantum cryptography in multicore optical fibers. JOSA B. 34, 2793–2803 (2019).
 19
Hu, X. M., Xing, W. B., Liu, B. H., He, D. Y., Cao, H., Guo, Y., Zhang, C., Zhang, H., Huang, Y. F., Li, C. F., Guo, G. C.: Efficient distribution of highdimensional entanglement through 11 km fiber. Optica. 7, 738–743 (2020).
 20
Ip, E., Milione, G., Li, M. J., Cvijetic, N., Kanonakis, K., Stone, J., Peng, G., Prieto, X., Montero, C., Moreno, V., Liñares, J.: SDM transmission of realtime 10GbE traffic using commercial SFP + transceivers over 0.5km ellipticalcore fewmode fiber. Opt. Express. 23, 240421 (2015).
 21
Muller, A., Herzog, T., Huttner, B., Tittel, W., Zbinden, H., Gisin, N.: “Plug and play” systems for quantum cryptography. Appl. Phys. Lett. 70(7), 793–795 (1997).
 22
Sibson, P., Kennard, J. E., Stanisic, S., Erven, C., O’Brien, J. L., Thompson, M. G.: Integrated silicon photonics for highspeed quantum key distribution. Optica. 4(2), 172–177 (2017).
 23
Dynes, J. F., Kindness, S. J., Tam, S. W. B., Plews, A., Sharpe, A. W., Lucamarini, M., Fröhlich, B., Yuan, Z. L., Penty, R. V., Shields, A. J.: Quantum key distribution over multicore fiber. Opt. Express. 24(8), 8081–8087 (2016).
 24
Bacco, D., Ding, Y., Dalgaard, K., Rottwitt, K., Oxenløwe, L. K.: Space division multiplexing chiptochip quantum key distribution. Sci. Rep. 7, 12459 (2017).
 25
Riesen, N., Gross, S., Love, J. D., Sasaki, Y., Withford, M. J.: Monolithic modeselective fewmode multicore fiber multiplexers. Sci. Rep. 7, 69711 (2017).
 26
Labroille, G., Barré, N., Pinel, O., Denolle, B., Lenglé, K., Garcia, L., Jaffrès, L., Jian, P., Morizur, J. F.: Characterization and applications of spatial mode multiplexers based on multiplane light conversion. Opt. Fiber Technol. 35, 93–99 (2017).
 27
Liñares, J., Nistal, M. C., Barral, D.: Quantization of coupled 1d vector modes in integrated photonic waveguides. New J. Phys. 10(6), 063023 (2008). https://doi.org/10.1088/13672630/10/6/063023.
 28
Beijersbergen, M. W., Allen, L., van der Veen, H. E. L. O., Woerdman, J. P.: Astigmatic laser mode converters and transfer of orbital angular momentum. Opt. Commun. 96, 123–132 (1993).
 29
BaladoSouto, D., Liñares, J., PrietoBlanco, X.: Phase autocompensating highdimensional quantum cryptography in ellipticalcore fewmode fibres. J. Mod. Opt. 66, 947–957 (2019).
 30
Hu, M., Zhang, L., Guo, B., Li, J.: Polarizationbased plugandplay measurementdeviceindependent quantum key distribution. Opt. Quant. Electron. 51(1), 22 (2019).
 31
Hayashi, T., Nakanishi, T.: Multicore optical fibers for the nextgeneration communications. SEI Tech. Rev. 86, 23–28 (2018).
 32
Sakamoto, T., Mori, T., Wada, M., Yamamoto, T., Yamamoto, F., Nakajima, K.: Stronglycoupled multicore fiber and its optical characteristics for mimo transmission systems. Opt. Fiber Technol. 35, 8–18 (2016).
 33
Ma, X., Razavi, M.: Alternative schemes for measurementdeviceindependent quantum key distribution. Phys. Rev. A. 86, 062319 (2012).
 34
Sun, S. H., Gao, M., Li, C. Y., Liang, L. M.: Practical decoystate measurementdeviceindependent quantum key distribution. Phys. Rev. A. 87, 052329 (2013).
 35
Liñares, J., PrietoBlanco, X., Balado, D., Carral, G. M.: Fully autocompensating highdimensional quantum cryptography by quantum degenerate fourwave mixing. Phys. Rev. A. 103, 043710 (2021).
 36
Zhu, L., Liu, J., Mo, Q., Du, C., Wang, J.: Encoding/decoding using superpositions of spatial modes for image transfer in kmscale fewmode fiber. Opt. Express. 24, 16934 (2016).
 37
Wang, Z., Hu, X., Lin, M., Mo, Q., Wen, H., Li, G.: Measurements of polarization crosstalk in a polarizationmaintaning fewmode optical fiber. Conf. Lasers ElectroOpt. 24, 2–70 (2017).
Acknowledgements
We acknowledge the helpful supervision of Dr. E.F. Mateo (NEC Corporation, Tokyo) on the transmission properties of optical fibers in the numerical simulations.
Funding
Financial support by Xunta de Galicia, Consellería de Educación, Universidades e FP, through a grant ConsolidationGRC Ref.ED431C2018/11, and two predoctoral grants (D. Balado, 2017 and G. Carral, 2020), both cofinanced by the European Social Fund.
Author information
Affiliations
Contributions
JL and XPB conceived the presented idea. All authors developed the methodology, discussed the results, wrote the paper, and read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence 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 licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Liñares, J., Carral, G.M., PrietoBlanco, X. et al. Autocompensating measurementdeviceindependent quantum cryptography in space division multiplexing optical fibers. J. Eur. Opt. Soc.Rapid Publ. 17, 19 (2021). https://doi.org/10.1186/s41476021001667
Received:
Accepted:
Published:
Keywords
 Quantum cryptography
 Measurementdeviceindependent
 Space division multiplexing
 Autocompensation
 Integrated quantum optics