1. Introduction
Quantum key distribution (QKD) has become a popular topic for its confidentiality, which allows two legitimate parties far away to share secure secret keys through an untrusted channel with unconditional security [
1,
2,
3]. Generally speaking, dominated protocols of QKD can be divided into two categories, which can be defined as discrete-variable QKD (DVQKD) [
4,
5] and continuous-variable QKD (CVQKD) [
2,
6,
7]. In the DVQKD scheme, secret keys would be encoded on polarization states, phases, or other discrete variables of single photons. In the CVQKD system, information is encoded on the position and momentum quadrature of the light field. Then the receiver, Bob, uses homodyne detectors or heterodyne detectors to measure one or both quadrature components. By controlling excess noise, the CVQKD system can be achieved beyond 100 km at present through standard single-mode optical fibers [
8,
9]. Moreover, the CVQKD can utilize existing optical communication components, which provides a prospect of good integration with classical optical communications.
In a typical CVQKD system, Alice first prepares quantum states. Then secret information, which is produced from the true random number generator, is encoded on the position or momentum quadrature of quantum states by amplitude and phase modulations. After that, the modulated quantum states, which can be expressed as , are sent to Bob through a quantum channel. Affected by quantum noise and other classical noise, Bob will receive a noise state . Transmission of the quantum signal over a lossy and noisy channel may highly affect the performance of the frame synchronization algorithm. For homodyne detection, Bob randomly chooses X or P measurement bases. Afterward, he compares them with Alice’s bases and selects the variables with the same bases. After reconciliation and privacy amplification processes, Alice and Bob will share the same key data.
It is worth noting that synchronization in CVQKD plays an important role. Simply speaking, if the data of Alice and Bob are not aligned, decoding key information in Bob’s side will be independent with the one Alice prepared, which results in inconsistent secret key strings after the reconciliation process, and thus deteriorates the overall performance. In a CVQKD system, clock synchronization makes two communication entities share the same clock to acquire accurate data. So far, clock synchronization schemes include the transmitted local oscillator (TLO) [
10] and local local oscillator (LLO) schemes [
11,
12], where the latter can thoroughly remove the related loopholes [
13,
14] introduced by transmitted LO signals. Frame synchronization determines the head of every signal string, so even minor synchronization errors will lead to a huge decrease in the mutual information between Alice and Bob. Most previous methods tend to use specific modulations to generate synchronization frames, and the well-organized frames are periodically inserted into the data frames by Alice [
15,
16,
17]. Although these methods have been proved efficient in some situations, the performances of them are far from satisfied under low signal-to-noise ratio (SNR) scenarios. To overcome this shortcoming, a frame synchronization scheme based on phase disassembling and matching by comparing correlation was put forward [
18]. However, in the synchronization procedure, computing correlation requires a lot of multiplication and the previous calculations cannot be reused in subsequent calculations. An expected frame synchronization scheme should have high-efficiency at a low SNR and low computational complexity at the same time.
Besides, in practical CVQKD applications, the quantum state will suffer unpredictable nonlinear effects, and the quadrature components of the optical field of quantum states will suffer phase shifts during signal transmissions [
19,
20], which means a well-designed frame synchronization scheme should be well tolerable of phase shifts. If the two legitimate entities have been successfully synchronized, the phase shifts can be removed by phase compensation methods [
21,
22]. So the synchronization process is usually previous to phase compensation, and frame synchronization should tolerate a certain amount of phase shifts.
To simplify the frame synchronization scheme and improve the efficiency and robustness of the CVQKD system, we propose a novel scheme here. In particular, a new feature is designed, which can tolerate phase shifts and synchronize in a strong noise environment. Each synchronization process requires only a few addition and subtraction operations and a Hamming distance comparison. In particular, we analyze the performance of this method under different phase shifts and various SNR settings. The results show that this scheme can tolerate different phase shifts and performs well at a low SNR. Moreover, the proposed scheme also keeps a good balance between performance and computational complexity.
The rest of the paper is organized as follows: In
Section 2, we first introduce the synchronization process and the designed feature in detail, then illustrate the reason why this feature can tolerate different phase shifts. In
Section 3, the simulations of the proposed algorithm under different parameter settings are performed. Finally, a brief conclusion is given in
Section 4.
2. Synchronization in CVQKD
In the common frame synchronization scheme of CVQKD [
15,
16], the training frames should be added to realize data synchronization between Alice and Bob. The synchronization frames are modulated into a special format, known by Alice and Bob and can be easily recognized. However, in some special CVQKD schemes, it is difficult or even impossible to add synchronization frames into key data by modulation devices, such as the passive-state-preparation CVQKD scheme [
23]. In the passive-state-preparation CVQKD scheme, Alice can split the output of a thermal source by a beam splitter and one mode is measured by herself while the other mode is transmitted into the other legitimate entity, Bob. As Alice directly split the output of the source and did not use any modulation devices to encode information onto the mode, it is hard to add synchronization frames into the signal. This inspired us to look for ways to synchronize using random number strings. Moreover, the traditional synchronization process usually needs a high range switch of light intensity. These light switching schemes make CVQKD systems more complicated and unstable.
These issues prompted us to improve the training-frame-based scheme into a modulation-free one without specified synchronization frames. In addition, phase drifts between the LO and signal will introduce extra trouble into the synchronization process. A practical scheme should overcome the phase drifts to successfully implement synchronization. In classical optical and wireless communications, synchronization can be performed by measuring the Hamming distance between the outputs of the transmitter and the received signals [
24]. The Hamming distance equals to the different bits of two 0–1 sequences
,
. Comparing to the calculation of correlation, the Hamming distance has low computation complexity. Here, we can first convert the signals into 0-1 sequences by certain algorithms and then measure their Hamming distance. It should be mentioned that these transform algorithms must be robust against different environment noises.
2.1. Finding Robust Feature
In this part, we will mainly analyze the influence of the phase shift on the synchronization process, then introduce a robust feature. Alice sends quantum states
to Bob through a quantum channel with Gaussian distributed noise
and phase shift
. In fact, the noise in the channel can be divided into two parts. The one added by the channel is called channel-added noise. It can be expressed as
(
T is the transmittance of the quantum channel and
means the excess noise). The other noise is added by the thermal motion of detectors, called detection-added noise. The detection-added noise can be expressed as
(homodyne detector) or
(heterodyne detector), in which
means the attenuation factor and
means the thermal noise caused by electronics in homodyne detectors or heterodyne detectors. And the total noise referred to the channel input can be given by
. From reference [
25],
and
are Gaussian distributed random variables. For simplicity, here we temporarily omit the attenuation. When Bob measures the quantum states
with a homodyne or a heterodyne detector, the measurement results can be expressed as
where
. Without loss of generality, in the following analyses, we assume that
is a Gaussian distributed random variable with expectation 0 and variance
, and the phase shift
keeps the same within a small period time. From the above formula, we know that if we want to eliminate the effect of phase shifts in synchronization, some stable features must be found.
To cope with the phase shifts, here we introduce a new operator
(
can be defined in the same way) called incremental label. Now we investigate the effect of phase drift on it. The conditional expectation of the operator can be written as
where
is a positive threshold and
means phase shift. If
, then the conditional expectation is positive. Otherwise, it will be a negative one.
is the sign function that outputs the sign of number
x. The sign of the above conditional expectation is,
So when is larger than a significant positive threshold, the operator can be regarded as a quasi-stable feature. Here we can apply this operator on a string of random numbers and yield a binary sequence. We first apply it on Alice’s key string to get the binary sequence , and then apply it on Bob’s one to get . Suppose that the phase shift keeps the same for a while; if is positive, the result will be , else .
In the above discussion, we do not consider one case that
is approaching
. In fact, when
is close to
,
is similar to the quadrature component
. When this happens, another conditional expectation should be explored,
From the above expression, we can see that if approximately becomes 0, taking component P into consideration is another good way. In the following section, we will show how the above conclusion can be applied to real synchronization.
The conditional expectation of the incremental label and its sign give us some ideas that the sign of is stable in a noisy environment, and a robust 0–1 string can be constructed in this way. The relationship between the conditional expectation and phase shifts can help to deal with the phase drift problems in the synchronization process. This will be elaborated on in the following section.
2.2. Incremental Label
Based on the above analysis, the incremental label can be constructed. This labeling method will transform a random number sequence X, which can be expressed as into a binary sequence Y by the rules:
Step 1. Sum the next
L numbers of the current position, such as shown in
Figure 1 for current position
and
. Then subtracting the sum of the former
L numbers, the output is used as a descriptor. We call the
interval a transformation unit.
Step 2. If , we mark this position with symbol “1” (). If , we mark this position with symbol “0” ().
Step 3. After all the received signals are marked, the synchronization process begins. Every successive N bits of conversion sequence Y are seen as a feature, and we can calculate the Hamming distance of the two signal sequences to measure their similarity.
It should be mentioned that noise with zero expectation will be suppressed and their impact on synchronization is weakened. This transformation method is simple and efficient, and we will show its performance in the next section and analyze computation complexity in the computational analysis section.
To compete with phase drifts, the sender Alice can prepare four transformation sequences of her synchronization frames. Firstly, Alice generates the binary sequences and by using the rules listed in steps 1 and 2. Then their complements, and , can directly get a not operator. For example, if is then is the rules are the same for and . Bob also transforms the received or with the same rules.
After the sequence transformations, the similarity can be measured by calculating the Hamming distance between the transformed sequences of Alice’s synchronization symbols and every segment of Bob’s received signal. Here we want to make the cost function reach its peak value when synchronization succeeds, so the cost is rewritten
where
means the similarity of sequences
and
, and
means the Hamming distance of
and
. Here, we define a new function,
The location of synchronization is where the function reaches its peak value.
2.3. The Synchronization Flow
From the above derivations, we have now found a stable feature to endure phase drifts. The following synchronization scheme is based on this feature.
Step 1. Alice (the sender) selects parts of the random strings as the synchronization frame (see
Figure 2a).
Step 2. Alice transforms the selected sequences into 0–1 sequences using the incremental label algorithm proposed above. Both X and P components must be transformed. We the get two 0–1 sequences: and .
Step 3. Alice publishes the two 0–1 sequences and through the classical channel.
Step 4. Bob transforms
or
into 0–1 sequences by the incremental label algorithm, and matches them to the received two 0–1 sequences
and
bits by bits. Then he calculates the function
(see
Figure 2b).
Step 5. Alice and Bob synchronize at the position where the function reaches its peak value.
To verify the correctness of the proposed scheme, the synchronization process is simulated as follows. The encoded random strings in Alice’s side are
and
, and Bob’s received signals are
and
.
Figure 3 shows the cost function
and
under different phase shifts.
The cost function
reaches its peak value when the synchronization succeeds if the phase shift is 0. However, the value will bottom out when the phase shift comes to
. There will be no peak or valley values when the phase shift reaches
or
. Similarly, the cost function
has a valley value corresponding to the
phase shift situation while it reaches its maximum if the phase shift changes to
. The results also provide further evidence on how reasonable and feasible the proposed new function is in Equation (
7).
3. Performance Analysis
To explore the influence of SNR (signal-to-noise ratio) and phase shifts on the performance of the proposed frame synchronization algorithm, we prepare several strings of data with natural Gaussian distributions generated from ASE output signals with length 200,000. We add Gaussian white noise of different variance to the output signal to simulate different noise environments. Here we randomly select some segments of the signals as synchronization frames, and we define the proportion of the times of successful synchronization as the success rate. To improve the success rate, the parameter L should be longer than 10 and the threshold could be set as the variance of the received signals.
3.1. Performance Influenced by Phase Shifts
Figure 4a,b shows that the influence of different phase shifts on the proposed algorithm. The synchronization process operates at an SNR of −13 dB with feature-lengths of
. It can be found that increasing the feature-length can significantly improve performance. We can find the success rate will bottom out for the phase shifts
, and the success rate seems to be unsatisfactory. This is because when phase shifts take these values,
, the proposed algorithm merely deals with one quadrature
X or
P. If Bob applies a heterodyne detector to measure
and
simultaneously, these two values can both be used to perform synchronization and, thus, better results can be achieved. The above analyses show that although the proposed scheme is more suitable for protocols based on heterodyne detection, it can also be applied to homodyne-based protocols. Using a heterodyne detector to measure
and
simultaneously in the final matching step will get a better result. Merely considering one quadrature
X or
P can also synchronize well when the phase shifts occur.
3.2. Synchronization with Different SNRs
In
Figure 5a–d, we explore the performance of the proposed synchronization algorithm under different SNR conditions with phase shifts
, respectively. We find that the decrease in success rate caused by the low SNR can be effectively improved by increasing the length of features. From the above discussions, we know that the phase shifts
are two points that the success rate reaches its minimum value, which is also demonstrated in these figures. When setting the feature-length as
, despite the phase shifts, the success rate will be higher than 90% when SNR is larger than −20 dB. Usually, the data block of a CVQKD system with a repetition rate of 100 MHz has 100,000 characters. If we set the feature-length
N to maximal 2048, the fraction, which is used for synchronization, is 2.048%. Our synchronization scheme requires only a small sacrifice of data.
3.3. Algorithm Complexity
Complexity is another important factor for a practical synchronization algorithm. In a practical CVQKD system, the synchronization algorithm should work in real-time for high efficiency, otherwise, it will require a mass of storage to store all the received data. At first sight, according to the algorithm flow, every step has times added to operations (the transformation unit length L is mentioned above, usually it can be set as ), N times of subtraction operation and an N-bit Hamming distance operation. This is because data reuse is not considered. In a practical synchronization, every synchronization step needs only times add operations except for the first step, 1 time subtraction operation, and an N-bit Hamming distance operation. The previously stored transform results can be used. It should be noted that the expression (center on ) just needs to be calculated one time for every step and a unique binary mark will be allocated to the corresponding location . There is no need to calculate it again when generating the next feature. The analysis shows that the proposed scheme can save computation resources and maintain good performance.
Comparing to the frame synchronization method based on the correlation calculation [
18], the proposed algorithm has a much lower computation complexity. In particular, if the feature-length is
N, the calculation of a correlation needs multiplication operations to get the result of every
and
times add operations for the final result. Furthermore, the times of added to operations can be well reduced. One can first divide the entire sequence into several pairs, then calculate the sums of every pair to get the first
results. After the final iterative process, the add operation times can be reduced to
. However, there are not any multiplication operations in the proposed scheme, which significantly reduces the computational complexity (see
Table 1).
3.4. Security and Adaptivity Analysis
The realistic system may incur loopholes due to the imperfections of the implementation process, although the CVQKD protocols are theoretically proven to be secure. Traditional frame synchronization methods are performed by alternately transmitting a strong pulse. Although there has not been any practical attack on these frame synchronization schemes, the use of strong pulses can be manipulated, which may incur potential loopholes. Moreover, the frame synchronization methods based on the designing of the special frame may also introduce potential risks, since the synchronization frames can be distinguished from the key data. A well-designed synchronization method should conceal its synchronization frames into key data so that it is hard for an eavesdropper to distinguish them.
Synchronization frames of this proposed scheme are similar to data frames but they are uncorrelated, which is different from the traditional schemes. In our proposed synchronization scheme, we regard parts of the signals as synchronization frames, so the signals and synchronization frames have the same distribution and the same power. If an eavesdropper intends to attack the CVQKD system through the potential loopholes in the frame synchronization method, she must distinguish the synchronization frames from the quantum signals. So she will detect the quantum signals and this will inevitably cause an increase in excess noise. Her attacks will be then found by the legitimate parties in the following key generation steps. Although the synchronization method in this article uses parts of data as the synchronization frame. The revealing of these synchronization frames does not leave any useful information about the secret key.
In our synchronization scheme, a fraction of data is used as a reference frame. It means that the scheme will also work at the cost of a slight drop in the secret key rate as the previously proposed frame synchronization schemes. We can evaluate the influence of using synchronization frames on the secret key rate when considering the finite-size effects,
where
means the mutual information between Alice and Bob;
is the Holevo bound on the information between Bob and Eve;
can be approximated to
;
N denotes the block length and
n denotes the size of the samples used for final key generation.
Figure 6 shows the secret key rate curves with or without our synchronization scheme. In the simulation, the lengths of synchronization frames are all
in different scenarios; the reconciliation efficiency
is set to
; the attenuation coefficient of optical fiber is set to
dB/km and the excess noise of the quantum channel is
, as experimentally shown in Ref [
8]. These two types of curves almost overlap, which indicates that the data sacrificed for synchronization have no significant influence on the secret key rate.
In
Figure 6, we show the two types of curves (the secret key rate curves with or without our synchronization scheme) are almost consistent. Whether this consistency changes as the parameters
,
, and
change is worth exploring.
Figure 7 reveals that the performance of our algorithm does not deviate under different parameter-settings. We keep the lengths of synchronization frames equal to
. The standard setting in
Figure 7 is the block length
,
,
dB/km, and
. Keeping other parameters the same, we separately set the parameters
,
dB/km and
. It can be seen that the corresponding curves are all nearly coincident. Essentially, it is because the synchronization scheme uses just a little data for the synchronization frames.
Another important thing needs to be considered here is whether the proposed frame synchronization scheme is valid or not when the attenuation of the quantum channel fluctuates. Actually, except the threshold (the threshold could be the variance of the received signal) in the labeling procedure must be changed with the value of the received signal, the whole algorithm flow is independent of fluctuations of channel attenuation. The algorithm generates incremental labels by considering relative values rather than absolute values. So the algorithm can resist attenuation fluctuation to some extent.
We simulate the process of quantum channel attenuation fluctuation and test the performance of the proposed synchronization algorithm in this condition. We first simulate the synchronization performance of Bob receiving signals through a constant attenuation channel. Afterward, we change the channel into a fluctuation one and compare the matching cost of these two situations (see
Figure 8). The matching cost curve changes little despite the existence of channel attenuation (
Figure 8b,d are almost the same). Therefore, attenuation fluctuation has a limited effect on synchronization.