Long-distance continuous-variable quantum key distribution using separable Gaussian states
Jian Zhou, Duan Huang, Ying Guo

TL;DR
This paper proposes a novel long-distance continuous-variable quantum key distribution scheme using separable Gaussian states, enhancing security and transmission range by mitigating eavesdropping through state separability.
Contribution
The authors introduce a tunable CVQKD protocol utilizing separable Gaussian states, enabling longer distances and higher noise tolerance compared to existing methods.
Findings
Achieves longer transmission distances in CVQKD.
Tolerates higher excess noise levels.
Reduces vulnerability to eavesdropping.
Abstract
Continuous-variable quantum key distribution (CVQKD) is considered to be an alternative to classical cryptography for secure communication. However, its transmission distance is restricted to metropolitan areas, given that it is affected by the channel excess noise and losses. In this paper, we present a scheme for implementing long-distance CVQKD using separable Gaussian states. This tunable QKD protocol requires separable Gaussian states, which are squeezed and displaced, along with the assistance of classical communication and available linear optics compoments. This protocol originates from the entanglement of one mode and the auxiliary mode used for distribution, which is first destroyed by local correlated noises and restored subsequently by the interference of the auxillary mode with the second distant separable correlated mode. The displacement matrix is organized by two…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Long-distance continuous-variable quantum key distribution using separable Gaussian states
Jian Zhou1, Duan Huang1,2, and Ying Guo1
1School of Information Science and Engineering, Central South University, Changsha 410083, China
2State Key Laboratory of Advanced Optical Communication Systems and Networks, Department of Electronic Engineering, Shanghai Jiao Tong University, Shanghai 200240, PR China.
Abstract
Continuous-variable quantum key distribution (CVQKD) is considered to be an alternative to classical cryptography for secure communication. However, its transmission distance is restricted to metropolitan areas, given that it is affected by the channel excess noise and losses. In this paper, we present a scheme for implementing long-distance CVQKD using separable Gaussian states. This tunable QKD protocol requires separable Gaussian states, which are squeezed and displaced, along with the assistance of classical communication and available linear optics components. This protocol originates from the entanglement of one mode and the auxiliary mode used for distribution, which is first destroyed by local correlated noises and restored subsequently by the interference of the auxiliary mode with the second distant separable correlated mode. The displacement matrix is organized by two six-dimensional vectors and is finally fixed by the separability of the tripartite system. The separability between the ancilla and Alice and Bob’s system mitigates the enemy’s eavesdropping, leading to tolerating higher excess noise and achieving longer transmission distance.
I Introduction
Quantum key distribution (QKD) Bennett Ch and Brassard (1984); Ekert (1991) enables two distant parties, conventionally called Alice and Bob, who have access to an authenticated classical channel, to share secret keys in the presence of eavesdropper, Eve. The unconditional security of an ideal QKD protocol has been established even if it is exposed to an adversary, who possesses unlimited computing power and technological capabilities Mayers (2001); Leverrier (2015, 2017); Scarani et al. (2009). Normally, QKD is divided into two kinds: discrete-variable (DV) QKD Ekert (1991); Acín et al. (2004), which relies on photon counting techniques, and continuous-variable (CV) QKD Grosshans and Grangier (2002); Weedbrook et al. (2012); Guo et al. (2017a, b), which relies on coherent detection. Equipped with the decoy state technique Lo et al. (2005), DVQKD can realize hundreds of kilometers of communication Yin et al. (2016). With the help of a satellite, the transmission distance of QKD has been extended to kilometers Liao et al. (2017). Another branch of QKD, CVQKD, which has stable, reliable light resources and high detection efficiency, is more compatible with classical optical communications when compared to DVQKD Weedbrook et al. (2012). However, despite all the advantages, CVQKD cannot yet replace DVQKD since its transmission distance is too short Pirandola et al. (2015); Wu et al. (2016). One reason for the short distance is the presence of the eavesdropper, Eve, who can perturb the quantum system using the most general strategies allowed by quantum mechanics. Another one is that CVQKD schemes require a far more complicated error correction procedure, which further restricts the secure transmission distance.
Einstein associated entanglement with spooky action-at-a-distance Einstein et al. (1935), which is different from the current view in quantum information theory that regards entanglement as a physical resource. Entanglement Horodecki et al. (2009) has been widely applied to QKD Epping et al. (2017), quantum dense coding Das et al. (2015), quantum teleportation Ren et al. (2017), entanglement swapping Xu et al. (2017) and beating classical communication complexity bounds Trojek et al. (2005). For example, global quantum operations can be implemented in quantum teleportation utilizing entanglement and classical communication. Great effort has been devoted to distributing and manipulating entanglement among separated parties. In addition, a scheme of entangling two distant parties based on communication via a quantum channel and local operations and classical communication (LOCC) was proposed Cubitt et al. (2003). Entanglement between distant parties can be created by sending a mediating particle between them via a quantum channel: swap the first particle with the ancilla, send it through the channel and entangle it with the second particle. Besides the qubit protocol, distributing CV entanglement by separable Gaussian states has also been suggested Mišta and Korolkova (2008, 2009). Two separable modes and may be entangled after interacting with the auxiliary mode . Unfortunately, pure quantum states cannot achieve this target. Moreover, Alice and Bob usually apply squeezing and displacement operations on these modes to enhance the practical quantum information processing. Recently, the aforementioned operations have been verified in experiment Peuntinger et al. (2013); Fedrizzi et al. (2013).
To lengthen the transmission distance of the CVQKD system, we develop an improved protocol which transmits a separable ancilla without sending the secret information directly as usual. It may entangle mode , in Alice’s laboratory, with separable mode , in Bob’s distant laboratory, by sending an ancillary mode which is separable from the subsystem Cubitt et al. (2003). Normally, the quantum transmission channel is assumed to be under Eve’s control in QKD. We exemplify the entanglement between Alice’s and Bob’s modes and the separability between the ancilla and the kept particle by calculating the lowest eigenvalue. In previous fully Gaussian protocols, Eve’s system purifies , so that, . Fortunately, in this scheme, the transmitted particle that may be attacked by Eve is separable from . The eavesdropper cannot get access to Alice’s and Bob’s laboratories as well as the information transmitted in the classical channel. In this case, it is impossible for the eavesdropper to recover the process of the protocol and hence she cannot extract any information. In such a scenario, the proposed scheme reduces the information leaked to the eavesdropper, thus enables longer transmission distance.
This paper is organized as follows: In Sec. II, we review the distribution of entanglement with separable states. In Sec. III, we present the details of CVQKD scheme with separable states. Sec. IV shows the performance of the proposed CVQKD scheme under general eavesdropping. Finally, we conclude this paper in Sec. V.
II Entanglement distribution with separable states
Distributing entanglement with separable states is a breakthrough in the theory of quantum entanglement. It has been shown that separable Gaussian states can be used for implementing entanglement distribution Mišta and Korolkova (2008, 2009). As shown in Fig. 1, this process can be accomplished by communication via a quantum channel and LOCC.
At the start of the original entanglement distribution protocol, Alice prepares systems and in a Gaussian state while Bob prepares system in a Gaussian state. The three quantum systems are fully separable at this stage. Alice squeezes her two systems: one along the position quadrature and the other along the momentum quadrature. In order to keep the ancilla separable from system , a displacement operation is applied to each of the three systems. Note that the displacement is dependent on the squeezing parameters and . Alice sends her two systems into a beam splitter. The beam splitter operation on modes and results in a state separable with respect to two bipartitions: and . One of the outputs is stored in Alice’s quantum memory (QM). The other is sent to Bob via a quantum channel. Bob also applies a beam splitter operation on modes and . Mixing of modes and on a balanced beam splitter finally entangles and while still remains separable from .
In what follows, we recall how a displacement operation may make the transmitted ancilla separable from Mišta and Korolkova (2008). Before the displacement operation, modes and are in a two-mode squeezed vacuum state and mode is in a vacuum state. The output of the first beam splitter is a two-mode squeezed vacuum state with the following covariance matrix (CM):
[TABLE]
where is the squeezing parameter. Modes and are entangled when the lower symplectic eigenvalue of the partial transpose of CM is less than one Mišta and Korolkova (2008). The CM of the three-mode system is given by
[TABLE]
We add an excess non-negative matrix to
[TABLE]
to entangle mode and modes , while leaving the other two bipartitions separable. We follow the method for the construction of three-mode entangled Gaussian states in Giedke et al. (2001) to build matrix . The entanglement between modes and can be destroyed by adding a positive multiple of sum of the projectors onto the subspace spanned by two six-dimensional vectors Giedke et al. (2001); Mišta and Korolkova (2008). The negative eigenvalue of the CM is with its eigenvector for and . We extend and to the six-dimensional vectors and with the displacement matrix . In order to smear the entanglement between modes and , we add a sufficiently large, nonnegative multiple to the CM as shown in Eq. (3) and obtain
[TABLE]
where and . Then the lowest symplectic eigenvalue of matrix can be derived as Vidal and Werner (2002),
[TABLE]
The separable bound of and is , where the parameter should be equal or greater than this value. On the other hand, the lowest eigenvalue of matrix can be calculated as
[TABLE]
Taking and in Eq. 6, the lowest eigenvalue is less than one, which verifies that there is entanglement between and . Fig. 2 shows the lowest symplectic eigenvalue of matrix and . To satisfy the separability of , the lowest symplectic eigenvalue corresponding to the dashed line should be greater than one. Similarly, the lowest symplectic eigenvalue corresponding to the full line ought to be less than one to ensure the entanglement between and . Finally, after applying reverse operation of the beam splitter on , the covariance matrix of the random displacement distributed according to Gaussian distribution is fixed. The beam splitter transforms the CM in (4) to CM that is as follow:
[TABLE]
The symplectic eigenvalue of CM can be calculated as for , and the entanglement can be obtained as ebits.
According to the entanglement distribution with separable Gaussian states, we find that the entanglement is firstly destroyed by displacement operations, which makes the auxiliary mode separable from sender’s mode. After that, the auxiliary mode is sent to Bob who partially restores the entanglement by mixing it with his suitably classically correlated mode, leading to the entanglement enhancement. Using this elegant characteristics, we propose an improved CVQKD scheme to lengthen the maximum transmission distance with separable Gaussian states.
III Continuous variable quantum key distribution with separable Gaussian states
This section is divided into three parts: the first part gives the CVQKD protocol using separable Gaussian states, the second part analyses the security of normal CVQKD protocol, while the third subsection states the merit of the protocol based on separable Gaussian states.
A. Design of the CVQKD protocol using separable Gaussian states
Two normal parties, Alice and Bob aim to share secret key. For the sake of simplifying the process, we add the displacement operation in the form of matrix while the practical displacement is not complex. The prepare and measure description of the CVQKD based on entanglement distribution protocol using Gaussian states is shown in Fig. 3 and is described as follows.
- •
Alice prepares two squeezed vacuum states which are position-squeezed and momentum-squeezed vacuum states, respectively. Displacement operations are added on these squeezed states. The output of the first beam splitter is a two-mode squeezed vacuum state if we ignore the displacement operation.
- •
Alice detects one of the outputs with homodyne detection and sends another one to Bob via a quantum channel.
- •
After receiving Alice’s mode, Bob interferes his vacuum state with the received state at a balanced beam splitter.
- •
Bob heterodynes one of the beam splitter’s outputs with the self-referenced strategy, whereas another one is discarded directly.
In Alice’s laboratory, she prepares two states, one position-squeezed vacuum state and one momentum-squeezed vacuum state given by
[TABLE]
The CM of the beam splitter’s output can be expressed as
[TABLE]
with , and . The CM of before transmission without displacement is
[TABLE]
Taking the displacement into consideration, the corresponding CM becomes
[TABLE]
with and . The linear channel can be equivalent to a beam splitter with transmittance , the function of transmission distance . The equivalent CM of the channel is
[TABLE]
After the attenuation of the channel, the CM of the whole system becomes
[TABLE]
where is the variance of channel thermal noise. In normal QKD protocols, Bob performs homodyne or heterodyne detection on the received signals. However, the direct-detection scheme may leave the attacker loophole to eavesdrop information. Instead, Bob prepares a vacuum state and applies a displacement operation on it. Using a balanced beam splitter, Bob mixes the incoming mode with his own mode. The second balanced beam splitter transforms the CM into . After the beam splitter, one of the outputs is detected with homodyne detection using the self-reference technique, while another one is discarded directly. The CM of the system is
[TABLE]
which can be used for calculating the secret key rate of the protocol.
B. Attacking strategy with general eavesdropping
A QKD protocol is secure against general attack when it is secure against Gaussian collective attack Leverrier (2015, 2017). This part performs an asymptotic security analysis based on infinitely-many uses of the channel under Gaussian collective attack. In each transmission, Eve may intercept the mode and make it interact with an ensemble of ancillary vacuum modes via a general unitary operation. One of the output modes is sent to Bob while another one is stored in Eve’s quantum memory (QM). These states in QM will be measured at the end of the protocol collectively. Taking reverse reconciliation into account, the final key rate can be derived as
[TABLE]
where denotes the reconciliation efficiency. We can compute the mutual information in terms of signal-to-noise ratio as
[TABLE]
is the modulation variance in shot-noise units and represents the equivalent noise. In the previous CVQKD protocols, Eve’s system purifies , so that , and can be calculated from the symplectic eigenvalues of the covariance matrix . In order to calculate the Holevo bound between Alice and Bob with the simplification of the expression, we denote the CM of the reduced state of systems as Holevo (1973)
[TABLE]
The symplectic eigenvalues can be calculated as Serafini et al. (2004)
[TABLE]
where and . Moreover, the symplectic eigenvalue of the conditional CM is . Therefore, we have and with
[TABLE]
Consequently, the information eavesdropped by Eve can be bounded by .
C. Secret key rate of the separable-state CVQKD
It is necessary to note that the proposed protocol is different from the traditional protocol as the above-involved states are displaced before being mixed on the beam splitter. Without the displacement, the output of the first beam splitter is equivalent to a two-mode squeezed vacuum state. Another difference from the entanglement-based scheme is that Bob injects the received mode and his own mode into one beam splitter instead of performing homodyne or heterodyne detection directly. As analyzed in Sec. II, all these efforts are to keep the ancillary mode separable from system while completing the task of distribution entanglement between Alice and Bob. Whereas, in the traditional CVQKD system, the information is encoded on the mode that is sent to the channel under Eve’s control. Eve may hide her attack in the channel noise. It has been assumed that Eve’s system purifies , which implies that .
In the proposed protocol, the auxiliary mode used for distributing information is separable from . Alice’s and Bob’s labs as well as the classical communication are out of Eve’s touch. Namely, Eve cannot steal any information by attacking the ancilla, leading to . A problem about upper bound arises. In Takeoka et al. (2014); Wilde et al. (2017); Pirandola et al. (2017), it has been proved that the secret key rate cannot be unbounded with increasing signal energy for normal CVQKD protocol Grosshans and Grangier (2002). The secret key rate satisfying the condition
[TABLE]
The limit for for the right part of the inequation is regular and finite Takeoka et al. (2014); Wilde et al. (2017); Pirandola et al. (2017). The secret key rate will not be unbounded with increasing signal energy even though is removed. A positive multiple of sum of the projectors is added to smear the entanglement between the and before transmission. The displacement which is proportional to the modulation variance also appears in the noise. The secret key rate of this scheme will not be unbounded as the signal-to-noise ratio is bounded regardless of the increasing signal energy. The advantage of keeping the ancillary state separable is the displacement before beam splitter. Bob uses a displaced state to interact with the ancilla rather than detects it directly. This operation is just to cut off Eve’s disturbance. Then the secret key rate can be expressed as where is the negotiation efficiency and can be calculated from the CM of system in Eq. (14).
IV Simulation results
As discussed above, Alice and Bob can get the reduced CM , from which they can calculate the secret key rate in Eq.(15). Based on the Eq. (14), the equivalent excess noise can be expressed as
[TABLE]
which is plotted in Fig. 4. Compared with the traditional CVQKD protocol, the proposed protocol has an extra noise that is caused by the displacement operation. The displacement may decrease the key rate . Fortunately, it can also remove the entanglement between the ancillary particle and the kept particles.
To demonstrate the performance of the protocol, we consider both direct reconciliation and reverse reconciliation.
In Fig. 5, we show the secret key rate of the proposed protocol with direct reconciliation. From top to bottom, the dashed, full, dotted and dot-dashed lines refer to the modulation variances and , respectively. With current technology, the squeezed states of light has already been detected in Vahlbruch et al. (2016). The transmission can exceed , which corresponds to the restriction in direct reconciliation. Moreover, the excess noise has been taken into consideration with and reconciliation efficiency is set for all numerical simulations.
The simulation result in Fig. 6 is the secret key rate of the direct reconciliation case. The difference between thin lines and thick lines shows that modulation variance plays a positive role in the secret key rate. However, the displacement term limits the continued increase of the secret key rate. The full line, dot-dashed line and dotted line show channel noise has a negative effect on the secret key rate. We find that there is little effect of the noise on the secret key rate of the CVQKD system when the transmittance approaches to one.
Fig. 7 demonstrates the secret key rates of the proposed protocol using a separable ancilla in the reverse reconciliation case. The traditional CVQKD system can only transmit due to the existence of the eavesdropper, whereas the proposed protocol achieves the transmission distance at rate of bits per pulse. The transmission distance of the separable-state CVQKD protocol is lower than that of the traditional one. This phenomenon may result from the abandon of the ancillary particle. Moreover, we can also find that the protocol has a better tolerance to noise than the traditional one.
In Fig. 8, we make a comparison between the secret key rate of our protocol and the fundamental limit Pirandola et al. (2017, 2009). Pirandola et al. (2017) proved the PLOB bound, while Wilde et al. (2017) later discussed the strong convergence of this bound. The top green line is the fundamental limit of general CVQKD protocol, which is given by . is channel transmittance of the pure-loss channel. As shown in Wilde et al. (2017); Pirandola et al. (2017), the protocols whose secret key rate is based on the lower bound cannot come up with the upper bound when the transmittance is less than . The protocol based on transmission of separable Gaussian states via a quantum channel and LOCC operation has a good performance on the aspect of transmission distance. This scheme has a good tolerance for excess noise and the transmission distance achieves .
V Conclusion
We have proposed an improved continuous-variable quantum key distribution protocol that is immune to Eve’s attack. This separable-state CVQKD protocol is different from the traditional protocol because the ancillary particle is separable from Alice and Bob s system. In previous protocols, the information is encoded on the particles which will pass through a quantum channel controlled by Eve. Eve can purify the whole system and extracted as much information as the Holevo bound of the system. In addition, after the two respective particles interact continuously with an ancilla, they get entangled, leaving the ancilla separable all the time. The displacement operation in the preparation course plays a crucial role in smearing the entanglement between the ancilla and Alice and Bob’s system. The secret key rate of the separable-state CVQKD will not be unbounded with increasing signal energy. The proposed protocol has good tolerance to extra noise and is able to keep abreast of the upper bound until . We note that the proposed CVQKD protocol can be practically implemented using separable Gaussian states as entanglement preparation processes based on separable Gaussian states have been demonstrated in experiment Peuntinger et al. (2013); Fedrizzi et al. (2013).
Acknowledgements
We would like to thank L. Mita for helpful discussion. This work is supported by the National Natural Science Foundation of China (Grant Nos. 61572529) and the Fundamental Research Funds for the Central Universities of Central South University (2017zzts144).
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Bennett Ch and Brassard (1984) H. Bennett Ch and G. Brassard, in Conf. on Computers, Systems and Signal Processing (Bangalore, India, Dec. 1984) (1984) pp. 175–9.
- 2Ekert (1991) A. K. Ekert, Phys. Rev. Lett. 67 , 661 (1991) . · doi ↗
- 3Mayers (2001) D. Mayers, Journal of the Acm 48 , 351 (2001).
- 4Leverrier (2015) A. Leverrier, Phys. Rev. Lett. 114 , 070501 (2015) . · doi ↗
- 5Leverrier (2017) A. Leverrier, Physical Review Letters 118 , 200501 (2017).
- 6Scarani et al. (2009) V. Scarani, H. Bechmann-Pasquinucci, N. J. Cerf, M. Dušek, N. Lütkenhaus, and M. Peev, Rev. Mod. Phys. 81 , 1301 (2009) . · doi ↗
- 7Acín et al. (2004) A. Acín, N. Gisin, and V. Scarani, Phys. Rev. A 69 , 012309 (2004) . · doi ↗
- 8Grosshans and Grangier (2002) F. Grosshans and P. Grangier, Phys. Rev. Lett. 88 , 057902 (2002) . · doi ↗
