Expand this Topic clickable element to expand a topic
Skip to content
Optica Publishing Group

Compressive sensing based parameter estimation for free-space continuous-variable quantum key distribution

Open Access Open Access

Abstract

In satellite-based free-space continuous-variable QKD (CV-QKD), the parameter estimation for the atmospheric channel fluctuations due to the turbulence effects and attenuation is crucial for analyzing and improving the protocol performance. However, the partial key data usually need to be sacrificed for the parameter estimation leading to the secret key reduction and the possible information leakage, especially when the channel is varying. In this paper, compressive sensing (CS) theory is applied to free-space CV-QKD to achieve the channel parameter estimation with small amount of key data sacrifice and low computational complexity. According to CS theory, the possibility of the sparse representation for free-space channel is analyzed and the two types of sparse reconstruction models for the channel parameters are constructed combining with the stability of the sub-channels. The most part of key data for parameter estimation is saved by using the model constructed by the variables in the quantum signals, while all the key data can be saved and be used to generate the secret key by using the model constructed by the second-order statistics of the variables. Thus, the methods can generate more secret key, improve the secret key rate, and be well adapted for the cases with the limited communication time since fewer or no key data (variables) is sacrificed for parameter estimation. Finally, simulation results are given to verify the effectiveness of the proposed methods.

© 2022 Optica Publishing Group under the terms of the Optica Open Access Publishing Agreement

1. Introduction

Quantum key distribution (QKD) which is one of the most practical application of quantum communication is capable of applying the quantum channel to share the secure key between two distant partners conventionally called Alice and Bob, even though the quantum information may be eavesdropped by Eve [13]. Heisenberg’s uncertainty principle and the quantum no-cloning theorem as the laws of quantum mechanics form the theoretical basis for the information theoretic-security regarding the QKD protocols [4,5]. Thereinto, continuous-variable QKD (CV-QKD) protocols where the information is encoded into the quadratures of phase space adopt the high-efficiency homodyne or heterodyne detection for the random coherent states sent by Alice, and have the advantage of higher channel capacity, easier to implement and more robust against noise than discrete-variable QKD (DV-QKD), etc [610]. Moreover, free-space CV-QKD which adopts the atmospheric channel to propagate the quantum states has potential to achieve long-distance communication due to low-loss transmission in outer space, even to facilitate the global quantum communication network establishment, and has more flexible to contact the mobile node than the fiber-optical infrastructure [1113].

However, the atmospheric channel has the characteristics of fluctuation and time varying due to the turbulence effects and attenuation, and the transmittance fluctuations caused by turbulence effects such as beam wandering and scintillation usually introduce the additional excess noise to be destructive to free-space CV-QKD protocols, especially to the variance of the quadratures in the quantum signal [1417]. Therefore, it is vital for free-space CV-QKD protocols to estimate the channel parameters (i.e. the transmittance and excess noise fluctuations) to assist the practical security analysis of the protocols, the post-processing procedure, and the channel fluctuation compensation, etc [18,19].

Currently, the methods for the estimation of the channel parameters fall into two major categories: atmospheric turbulence modelling and stabilization sub-channel parameter estimation. The elliptical beam model [20] is an early method for atmospheric turbulence analysis and is capable of describing well the beam wandering, broadening and deformation in weak and strong turbulence environment. In order to describe the effects of the atmospheric turbulence in more detail, the phase screen model [21] is taken advantage of modeling the effects of the atmosphere over the propagating beam, which presents lower variances in the simulation of the probability density function of the transmittance. In addition, maximum-likelihood estimation is widely used to estimate the channel parameters of the stabilization sub-channel by some variables in quantum signals, when the atmospheric channel for the free-space CV-QKD protocol can be deemed to the combination of several sub-channels with stability [22]. However, the parameter estimation for the stabilization sub-channel is required to sacrifice some variables to guarantee the estimation precision, which results in the cost of decreasing the final secret key size [23]. It is urgent to estimate the channel parameters with as few variables as possible. The blind parameter estimation for CV-QKD over the atmospheric link has the capacity to calculating the estimated value of transmittance and excess with the higher-order statistics of each sub-channel rather than the variables [24], so that all the variables received by Bob can be used to generate the final secret key through reverse reconciliation and privacy amplification.

Compressive sensing (CS) technique is capable of breaking through the limitation of Nyquist sampling theorem and restoring the whole data by virtue of the partial measured value and has a better performance in the parameter estimation precision and the computational complexity. In this paper, a channel parameter estimation method based on CS theory is proposed for free-space CV-QKD, where the gaussian modulated coherent state is prepared with the modulation rate at the order of several MHz and the atmospheric channel is also deemed to several stabilization sub-channels. The application conditions of CS theory are introduced as well as the free-space CV-QKD protocol in the asymptotic regime at first, which is the foundation of adopting the CS theory to estimate the channel parameters and evaluating the practical security of the QKD protocol. Then after analyzing the possibility of the sparse representation for free-space channel, the parameter estimation methods based on CS are proposed according to the variables and their statistics, respectively. The sparse reconstruction model constructed with the variables of the quantum signals has a lower computational complexity due to no need to calculate the higher-order statistics and saves some variables for parameter estimation, while the sparse reconstruction model constructed with the second-order statistics of the variables only needs the variance of the variables to estimate the channel parameters without the need for the variables. Thus, CS-based parameter estimation for free-space CV-QKD can save the most part of variable for parameter estimation, even all the variables can be saved to generate the secret key. It means that the proposed methods can generate more secret key, improve the secret key rate, and be well adapted for the cases with the limited communication time since fewer or no key data (variables) is sacrificed for parameter estimation. Finally, the orthogonal matching pursuit (OMP) is applied to solve the two sparse reconstruction models, and the performance of the CS-based channel parameter estimation and the influence on free-space CV-QKD are analyzed by the simulation experiments which demonstrate that the proposed method can effectively calculate the channel parameters with high precision and low computational complexity and with need for fewer variables or no variables.

The organization of this paper is as follows. CS theory and free-space CV-QKD protocol are introduced in Section II. In Section III, the sparsity of the atmospheric channel in free-space CV-QKD is analyzed and two types of sparse reconstruction models for the channel parameters are constructed. The experiment results are shown in Section IV, while the conclusions are given in Section V.

2. Preliminaries

2.1 CS theory

CS is a linear and non-adaptive sampling theory which is dependent of the sparsity of the data on a certain transform domain [25]. The technique is capable of breaking through the limitation of Nyquist sampling theorem and restoring the whole data by virtue of the partial measured value [26]. Thus, CS is widely used in the sparse data reconstructing in the underdetermined condition [27]. For the underdetermined equation as follows:

$${\bf y}\,\textrm{ = }\,{\bf \Phi x}\textrm{ + }{\bf z}\,\textrm{ = }\,{\bf \Phi \Psi s}\textrm{ + }{\bf z}\,\textrm{ = }\,{\bf \Theta s}\textrm{ + }{\bf z}\;\textrm{,}$$
where ${\bf y}$ is a Ns-dimensional measured value, ${\bf \Phi } \in {\mathrm{\mathbb{R}}^{{N_s} \times N}}$ is the measurement matrix with ${N_s} < N$, ${\bf x}$ is a N-dimensional original data, ${\bf s}$ which only has $K({K < < N} )$ nonzero elements is the sparse representation of the data ${\bf x}$ in the ${\bf \Psi }$ domain. The orthonormal transformation basis ${\bf \Psi } \in {\mathrm{\mathbb{R}}^{N \times N}}$ is usually referred to as the sparse matrix which could be the inverse Fourier transform matrix, the wavelet transform and the discrete cosine transform, etc [16]. The ${N_s} \times N$ matrix ${\bf \Theta }\,\textrm{ = }\,{\bf \Phi \Psi }$ is called the sensing matrix. ${\bf z}$ is a N-dimensional additive noise.

When the measurement matrix ${\bf \Phi }$ satisfies the restricted isometry property (RIP) and the vector ${\bf s}$ only has $K({K < < N} )$ nonzero elements, the reconstruction methods such as the OMP algorithm and the basis pursuit (BP) algorithm can be applied to reconstruct the unknown vector ${\bf s}$ exactly from the underdetermined equation with the acquired vector ${\bf y}$ and matrix ${\bf \Theta }$ [28,29]. The RIP provides the inequality constraint to decide the property of the measurement matrix ${\bf \Phi }$, which is given by

$$({1 - {\delta_K}} )||{\bf x} ||_2^2 \le ||{{\bf \Phi x}} ||_2^2 \le ({1\textrm{ + }{\delta_K}} )||{\bf x} ||_2^2\;\textrm{.}$$

To simplify the operation complexity, the mutual incoherence property (MIP) which requires the incoherence between the different columns of the sensing matrix ${\bf \Theta }$ is proposed as an alternative criterion in the literature [30]. It is verified that the measurement matrix ${\bf \Phi }$ will satisfy the RIP with high probability if the MIP is achieved. The MIP can be expressed as

$$\mu ({\bf \Theta } )\,\,\textrm{ = }\;\mathop {\max }\limits_{1 \le k \ne j \le n} \left|{\left\langle {{\theta_k},{\theta_j}} \right\rangle } \right|\;\textrm{,}$$
where ${\theta _k}$ and ${\theta _j}$ are two different columns of the sensing matrix ${\bf \Theta }$. There is stronger incoherence between the different columns of the matrix ${\bf \Theta }$ with smaller value of $\mu ({\bf \Theta } )\,\,$. In addition, when the matrix ${\bf \Phi }$ is a random matrix such as the Gaussian matrix, Bernoulli matrix, and almost all other matrices with independent and identically distributed (i.i.d.) entries, the measurement matrix ${\bf \Phi }$ satisfies the RIP and the MIP with high probability and the matrix ${\bf A}\textrm{ = }{\bf \Phi H}$ where ${\bf H}$ is an arbitrary matrix also possesses the i.i.d. entries [31].

2.2 System model

Most CV-QKD systems employ a standard unified process. After Alice prepares and sends the random coherent states through an untrusted quantum channel, Bob measures the quantum state with the coherent detection and reconciliates the data with Alice. Then $m = N - n$ of the correlated data is publicly disclosed by Alice and Bob to estimate the parameters of the quantum channel and calculate the covariance matrix of the quantum states. Finally, the secret key is generated on both sides via the privacy amplification process in which a random hash function is adopted to two identical strings [3234].

For the free-space continuous-variable quantum key distribution in which the quantum states propagate through the atmospheric channel, the transmittance and the excess noise are all fluctuating with time due to beam extinction and turbulence effects, etc. Thus, these channel parameters are random variables and the mean values of them in the actual propagation process need to be substituted into the covariance matrix of the quantum states to analyze the secret key rate and the effect of the fluctuating channel [23]. In this paper, the elliptical beam model which can describe well the beam wandering, broadening and deformation in weak and strong turbulence environment is selected to model the atmospheric turbulence effect; the transmittance affected by beam extinction, beam wandering, beam broadening, beam deformation, and scintillation are obtained by the elliptical beam model [20].

Considering that the modulation rate of the quantum state is at least three orders of magnitude higher than the fluctuation rate of the atmospheric channel, the atmospheric channel is capable of transmitting thousands of quantum states within the channel parameter change interval. Therefore, the whole atmospheric channel during the quantum state transmission can be divided into a number of sub-channels in which the channel parameters are consistent. The transmittance and the excess noise of the i-th sub-channel can be denoted by ${T_i}$ and ${\varepsilon _i}$, respectively. The mean value of the transmittance and the excess noise of the whole transmission channel be calculated as $\left\langle T \right\rangle = \sum\nolimits_i^M {{p_i}{T_i}} $ and $\left\langle \varepsilon \right\rangle \,\textrm{ = }\,\sum\nolimits_i^M {{p_i}{\varepsilon _i}} $ where M is the number of sub-channels and ${p_i}$ is the probability of ${T_i}$ and ${\varepsilon _i}$.

For the i-th sub-channel, the total additive noise contains the channel noise and the detection noise, and the variance of the total additive noise can be expressed as follows:

$${\chi _{\textrm{tot}}}\,\textrm{ = }\;{\chi _{\textrm{line}}}\textrm{ + }\frac{{{\chi _\textrm{h}}}}{{{T_i}}}\,\, = \,\,\left( {\frac{1}{{{T_i}}} - 1 + {\varepsilon_i}} \right) + \frac{{(1 - \eta ) + {\upsilon _{\textrm{el}}}}}{{\eta {T_i}}} = \frac{{ - \eta {T_i} + 1 + \eta {T_i}{\varepsilon _i} + {\upsilon _{\textrm{el}}}}}{{\eta {T_i}}}\;\textrm{,}$$
where $\eta $ is the detection efficiency and ${\upsilon _{\textrm{el}}}$ is the electronic noise. The measured variance is given by
$${V_\textrm{B}}\textrm{ = }\eta {T_i}({V_\textrm{A}} + 1 + {\chi _{\textrm{tot}}})\, = \eta {T_i}{V_\textrm{A}} + 1 + \eta {T_i}{\varepsilon _i} + {\upsilon _{\textrm{el}}}\;\textrm{,}$$
where ${V_\textrm{A}}$ is the modulation variance. The Alice’s and Bob’s variables for parameter estimation can be denoted by $\{{x_j^i} \}_{j = 1,2,\ldots ,{m_i}}^{i = 1,2,\ldots ,M}$ and $\{{y_j^i} \}_{j = 1,2,\ldots ,{m_i}}^{i = 1,2,\ldots ,M}$, respectively. ${m_i}$ is the number of the variables disclosed to estimate the parameters in the i-th sub-channel. The variables of Bob and Alice satisfy the equation as follows:
$$y_j^i\textrm{ = }\sqrt {\eta {T_i}} x_j^i + z_j^i\;\textrm{,}$$
where the mean and the variance of the noise $z_j^i$ are zero and $\sigma _i^2\textrm{ = }1 + \eta {T_i}{\varepsilon _i} + {\upsilon _{\textrm{el}}}$.

2.3 Secret key rate in asymptotic regime

The main work in this paper is to propose an effective channel parameter estimation method for free-space CV-QKD, while only the secret key rate in the asymptotic regime is calculated to analyze the influence of CS based parameter estimation method. The equivalent entanglement-based schematic diagram regarding the prepare-and-measure CV-QKD is depicted in Fig. 1, where the EPR source with variance $V\,\textrm{ = }\,{V_\textrm{A}}\textrm{ + }1$ produces an entangled state. Namely, the transmitted coherent state $\,|{{X_A}\textrm{ + }i{P_A}} \rangle $ from Alice to Bob is prepared by modulating the variables ${X_A}$ and $\,{P_A}$ which are two independent Gaussian random numbers of zero mean and variance ${V_\textrm{A}}$ and can be generated by the random number generator.

 figure: Fig. 1.

Fig. 1. Schematic diagram of free-space CVQKD. GM, BS and HD are the Gaussian modulation, the beam splitter and the homodyne detection, respectively.

Download Full Size | PDF

One of the modes ${A_{\,2}}$ is sent to Bob through the fluctuating atmospheric channel and the mode ${B_{\,1}}$ be the mode received by Bob. Then Alice measures the preserved mode ${A_{\,1}}$, while Bob measures the received mode ${B_{\,1}}$ by using heterodyne detection to obtain the variables ${x_{{B_1}}}$ and ${p_{{B_1}}}$. Before the measurement of the mode ${B_{\,1}}$, the covariance matrix ${\gamma _{{A_1}{B_1}}}$ is given by

$${\gamma _{{A_1}{B_1}}} = \left[ {\begin{array}{{cc}} {V{\textrm{1}_2}}&{\left\langle {\sqrt T } \right\rangle \sqrt {{V^2} - 1} \,{\sigma_z}}\\ {\left\langle {\sqrt T } \right\rangle \sqrt {{V^2} - 1} \,{\sigma_z}}&{\left\langle T \right\rangle \left( {V + \frac{1}{{\left\langle T \right\rangle }} - 1 + \left\langle \varepsilon \right\rangle } \right){\textrm{1}_2}} \end{array}} \right]\;\textrm{,}$$
where ${\textrm{1}_2}\,\textrm{ = }\;\textrm{diag(1,1)}$ is $2 \times 2$ unity matrix and ${\sigma _\textrm{z}}\textrm{ = }\;\textrm{diag(1,} - \textrm{1)}$ is the Pauli matrix. $\left\langle T \right\rangle$, $\left\langle {\sqrt T } \right\rangle$ and $\left\langle \varepsilon \right\rangle$ are the mean of the random variable T, $\sqrt T$ and $\varepsilon$, respectively. The secret key rate K in asymptotic regime and reverse reconciliation is given by
$$K = \beta I({A:B} )- \mathrm{\chi ({\rm B}:}\textrm{E}\textrm{)}\;\textrm{,}$$
where $\beta$ is the reconciliation efficiency, $I({A:B} )$ is the mutual information extracted by Alice and Bob via the reconciliation and $\mathrm{\chi ({\rm B}:}\textrm{E}\textrm{)}$ is used to represent the Holevo information between Eve and Bob. In the consideration of the detection efficiency $\eta $ and electronic noise ${\upsilon _{\textrm{el}}}$, the mutual information between Alice and Bob can be further expressed as follows:
$$\begin{aligned} I({A:B} ) &= \frac{1}{2}{\log _2}\frac{{V + 1}}{{V - \left[ {{{{{\left\langle {\sqrt T } \right\rangle }^2}({V^2} - 1)} / {\left\langle T \right\rangle (V + {\mathrm{\chi }_{\textrm{tot}}})}}} \right]\textrm{ + }1}}\\ &= \frac{1}{2}{\log _2}\frac{{\left\langle T \right\rangle (V + {\mathrm{\chi }_{\textrm{tot}}})}}{{\left\langle T \right\rangle (V + {\mathrm{\chi }_{\textrm{tot}}}) - {{\left\langle {\sqrt T } \right\rangle }^2}(V - 1)\,}}\;\textrm{.} \end{aligned}$$

The mathematical calculation of the Holevo information can be simplified to the equation as follows:

$$\mathrm{\chi ({\rm B}:}\textrm{E}\textrm{)}\;\textrm{ = }\;\sum\limits_{i = 1}^2 {G({\lambda _i}) + } \sum\limits_{i = 3}^5 {G({\lambda _i})} \;\textrm{,}$$
where
$$G(x)\;\textrm{ = }\;\frac{{x + 1}}{2}{\log _2}\left( {\frac{{x + 1}}{2}} \right) - \frac{{x - 1}}{2}{\log _2}\left( {\frac{{x - 1}}{2}} \right)\;.$$
${\lambda _1}$ and ${\lambda _2}$ are the symplectic eigenvalues of the covariance matrix ${\gamma _{{A_1}{B_1}}}$, while ${\lambda _3}$, ${\lambda _4}$ and ${\lambda _5}$ are the symplectic eigenvalues of the covariance matrix $\gamma _{{A_1}FG}^{{m_B}}$ where ${m_B}$ represents the measurement of Bob.

3. Channel parameter estimation based on CS

3.1 Parameter estimation by variables

According to the relation between the variables of Bob and Alice (as shown in Eq. (6)), all Bob’s variables through the i-th channel can be expressed with the vector as follows:

$${{\bf Y}^i} = {{\bf X}^i}{{\bf H}^i} + {{\bf Z}^i} = {\left( {\begin{array}{{cccc}} {y_1^i}&{y_2^i}& \cdots &{y_{{m_i}}^i} \end{array}} \right)^\textrm{T}}\;\textrm{,}$$
where the matrix representation of Alice’s variables, the transfer function and the noise can be defined, respectively, as follows:
$${{\bf X}^i} = \left( {\begin{array}{{cccc}} {x_1^i}&0& \cdots &0\\ 0&{x_2^i}& \cdots &0\\ \vdots & \vdots & \ddots & \vdots \\ 0&0& \cdots &{x_{{m_i}}^i} \end{array}} \right)\;\textrm{,}$$
$${{\bf H}^i} = {\left( {\begin{array}{{cccc}} {\sqrt {\eta {T_i}} }&{\sqrt {\eta {T_i}} }& \cdots &{\sqrt {\eta {T_i}} } \end{array}} \right)^\textrm{T}}\;\textrm{,}$$
$${{\bf Z}^i} = {\left( {\begin{array}{{cccc}} {z_1^i}&{z_2^i}& \cdots &{z_{{m_i}}^i} \end{array}} \right)^\textrm{T}}\;.$$

Therefore, for the whole process of quantum state transmission, the vector representation of all Bob’s variables is the combination of Bob’s variables regarding each sub-channel, which can be expressed as follows:

$$\left( {\begin{array}{{c}} {{{\bf Y}^1}}\\ {{{\bf Y}^2}}\\ \vdots \\ {{{\bf Y}^M}} \end{array}} \right) = {\bf Y}\textrm{ = }{\bf XH} + {\bf Z}\textrm{ = }\left( {\begin{array}{{c}} {{{\bf X}^1}}\\ {{{\bf X}^2}}\\ \ddots \\{{{\bf X}^M}} \end{array}} \right)\left( {\begin{array}{{c}} {{{\bf H}^1}}\\ {{{\bf H}^2}}\\ \vdots \\ {{{\bf H}^M}} \end{array}} \right) + \left( {\begin{array}{{c}} {{{\bf Z}^1}}\\ {{{\bf Z}^2}}\\ \vdots \\ {{{\bf Z}^M}} \end{array}} \right)\;.$$

Considering that Alice’s data $\{{x_j^i} \}_{j = 1,2,\ldots ,{m_i}}^{i = 1,2,\ldots ,M}$ are Gaussian random variables with the mean of 0 and the variance of ${V_\textrm{A}}$, it can be inferred that the matrix ${\bf X} \in {{\mathbb R}^{m \times m}}$ and ${{\bf X}^i} \in {{\mathbb R}^{{m_i} \times {m_i}}}$ are Gaussian matrix and satisfy the RIP and the MIP with high probability, where ${m_i}$ is the number of the variables disclosed to estimate the parameters in the i-th sub-channel and $m\textrm{ = }\sum {{m_i}}$. Moreover, although the matrix ${\bf H} \in {{\mathbb R}^{m \times 1}}$ and ${{\bf H}^i} \in {{\mathbb R}^{{m_i} \times 1}}$ of which all the elements are almost nonzero are the non-sparse matrixes, all the elements of the matrix ${{\bf H}^i}$ are identical and the matrix ${\bf H}$ only has M different kinds of value, so that the matrix ${\bf H}$ and ${{\bf H}^i}$ have the potential of being represented sparsely. It is generally known that the Fourier transform of the rectangular function is sinc function. Especially, when the width of the rectangular function tends to infinity, sinc function will turn into impulse function. In sinc function and impulse function, the number of nonzero elements is far more than that of zero elements. Therefore, the matrix of sinc function or impulse function can be regarded as the sparse representation of the matrix ${\bf H}$ and ${{\bf H}^i}$ in the discrete Fourier transform (DFT) domain. Let ${\bf S}$ and ${{\bf S}^i}$ be the sparse representation of the matrix ${\bf H}$ and ${{\bf H}^i}$ in the DFT domain, respectively. The matrix ${\bf S} \in {{\mathbb R}^{m \times 1}}$ (or ${{\bf S}^i} \in {{\mathbb R}^{{m_i} \times 1}}$) and the matrix ${\bf H}$ (or ${{\bf H}^i}$) satisfy the equation as follows:

$${\bf H }\textrm{ = }{\bf \Psi S}\textrm{ = }{{\bf D}^{\textrm{ - }1}}{\bf S}\;\textrm{,}$$
$${{\bf H}^i}\textrm{ = }{{\bf \Psi }^i}{{\bf S}^i}\textrm{ = }{\bf D}_i^{\textrm{ - }1}{{\bf S}^i}\;\textrm{,}$$
where ${\bf D}_i^{\textrm{ - }1} \in {{\mathbb R}^{{m_i} \times {m_i}}}$ is an inverse DFT (IDFT) matrix for the i-th sub-channel, while ${{\bf D}^{\textrm{ - }1}} \in {{\mathbb R}^{m \times m}}$ is a IDFT matrix for the whole transmission process. Therefore, all Bob’s variables through the whole channel and the i-th sub-channel can be rewritten, respectively, as follows:
$${\bf Y}\textrm{ = }{\bf X\Psi S} + {\bf Z}\;\textrm{,}$$
$${{\bf Y}^i}\textrm{ = }{{\bf X}^i}{{\bf \Psi }^i}{{\bf S}^i} + {{\bf Z}^i}\;.$$

As analyzed above, ${\bf X}$ and ${{\bf X}^i}$ are the random matrix and satisfy the RIP and the MIP with high probability, and ${\bf S}$ and ${{\bf S}^i}$ only have very few nonzero element. The unknown vector ${\bf S}$ and ${{\bf S}^i}$ can be reconstructed from (19) and (20) by the CS reconstruction methods, even if the variables of Alice and Bob are abstracted by sparse sampling. Let $m_\textrm{s}^i$ ($m_\textrm{s}^i < m_i^{}$) be the number of the variables of Alice and Bob by sparse sampling regarding the i-th sub-channel. When only using these variables to estimate the channel parameters, more quantum signals are saved to produce the secret key and it have a negligible effect on parameter estimation accuracy. The matrix ${{\bf \Phi }^i} \in {{\mathbb R}^{m_\textrm{s}^i \times {m_i}}}$ for sparse sampling can be defined as follows:

$$\varPhi _{j,k}^i = \left\{ \begin{array}{l} 1,\quad \{{(j,k)|{k = \varphi_j^i} } \}\\ 0,\quad \textrm{others} \end{array} \right.\;\textrm{,}$$
where $\varphi _j^i$ is the element in the vector ${\boldsymbol \varphi }\textrm{ = }\{{\varphi_1^i, \ldots ,\varphi_j^i, \ldots ,\varphi_{m_\textrm{s}^i}^i} \}$ which is constituted by $m_\textrm{s}^i$ different integers chosen at random from 0 to $m_i^{}$. Let ${m_\textrm{s}}\textrm{ = }\sum {m_\textrm{s}^i}$. The sparse sampling matrix ${\bf \Phi } \in {{\mathbb R}^{{m_\textrm{s}} \times m}}$ regarding the whole transmission process can be defined as follows:
$${\bf \Phi }\textrm{ = }\left( {\begin{array}{{cccc}} {{{\bf \Phi }^1}}&{}&{}&{}\\ {}&{{{\bf \Phi }^2}}&{}&{}\\ {}&{}& \ddots &{}\\ {}&{}&{}&{{{\bf \Phi }^M}} \end{array}} \right)\;.$$

In the situation of sparse sampling, the sparse measurement values regarding the whole channel and the i-th sub-channel can be rewritten, respectively, as follows:

$${{\bf Y}_\textrm{s}}\textrm{ = }{{\bf X}_\textrm{s}}{\bf \Psi S} + {{\bf Z}_\textrm{s}}\;\textrm{,}$$
$${\bf Y}_\textrm{s}^i\textrm{ = }{\bf X}_\textrm{s}^i{{\bf \Psi }^i}{{\bf S}^i} + {\bf Z}_\textrm{s}^i\;\textrm{,}$$
where the ${m_\textrm{s}} \times 1$ vector ${{\bf Y}_\textrm{s}}\textrm{ = }{\bf \Phi Y}$, the ${m_\textrm{s}} \times m$ matrix ${{\bf X}_\textrm{s}}\textrm{ = }{\bf \Phi X}$, the ${m_\textrm{s}} \times 1$ vector ${{\bf Z}_\textrm{s}}\textrm{ = }{\bf \Phi Z}$, the $m_\textrm{s}^i \times 1$ vector ${\bf Y}_\textrm{s}^i\textrm{ = }{{\bf \Phi }^i}{{\bf Y}^i}$, the $m_\textrm{s}^i \times m_\textrm{i}^{}$ matrix ${\bf X}_\textrm{s}^i\textrm{ = }{\bf \Phi }_{}^i{\bf X}_{}^i$, the $m_\textrm{s}^i \times 1$ vector ${\bf Z}_\textrm{s}^i\textrm{ = }{\bf \Phi }_{}^i{\bf Z}_{}^i$. For (23) and (24), they are the underdetermined equation and the matrix ${\bf X}_\textrm{s}^{}{{\bf \Psi }^{}}$ and ${\bf X}_\textrm{s}^i{{\bf \Psi }^i}$ also possesses the i.i.d. entries. Therefore, even if the sparse variable is used to estimate the channel parameters, the vector ${\bf S}$ (or ${{\bf S}^i}$) which is the DFT of the matrix ${\bf H}$ (or ${{\bf H}^i}$) and only has $K({K < < {m_i}} )$ nonzero elements can be reconstructed by solving the sparse reconstruction model. Taking the i-th sub-channel as example, the sparse reconstruction model can be defined as follows:
$$\begin{array}{l} {{\hat{{\bf S}}}^i}\textrm{ = min}{||{{{\bf \Psi }^i}^\textrm{H}{\bf X}{{_\textrm{s}^i}^\textrm{H}}{\bf Y}_\textrm{s}^i} ||_1}\\ \textrm{s}\textrm{.t}\textrm{.}\quad {||{{\bf Y}_\textrm{s}^i{\bf - X}_\textrm{s}^i{{\bf \Psi }^i}{{\hat{{\bf S}}}^i}} ||_2} \le \delta \;\textrm{.} \end{array}$$

For the typical CS reconstruction problem, the OMP algorithm can be adopted to reconstruct the vector ${{\bf S}^i}$. Let ${\hat{{\bf S}}^i}$ be the reconstructed vector ${{\bf S}^i}$. Then the estimated matrix ${{\bf H}^i}$ can be calculated as follows:

$${\hat{{\bf H}}^i}{\bf = }{{\bf \Psi }^i}{\hat{{\bf S}}^i}\textrm{ = }{\bf D}_i^{\textrm{ - }1}{\hat{{\bf S}}^i}\;\textrm{.}$$

Therefore, the estimated transmittance of the i-th sub-channel can be calculated as follows:

$${\hat{T}_i} = \frac{{{{\left( {\sum {{{\hat{{\bf H}}}^i}} } \right)}^2}}}{{\eta \cdot m_i^2}}\;.$$

According to the relation among the transmittance, the excess noise and the variance of Alice’s and Bob’s variables, the estimated excess noise regarding the i-th sub-channel can be calculated as follows:

$${\hat{\varepsilon }_i} = \frac{{{\bf Y}{{_\textrm{s}^i}^\textrm{H}}{\bf Y}_\textrm{s}^i - \eta {{\hat{T}}_i}\sum {{\bf X}_\textrm{s}^i{\bf X}{{_\textrm{s}^i}^\textrm{H}}} - m_s^i({1\textrm{ + }{\upsilon_{\textrm{el}}}} )}}{{m_s^i\eta {{\hat{T}}_i}}}\;.$$

It is worth noting that the sufficiently small noise ${\bf Z}_\textrm{s}^i$ is also an important factor to guarantee that the vector ${{\bf S}^i}$ in (24) can be reconstructed by solving the sparse reconstruction model (as shown in (25)). For free-space CV-QKD, the noise ${\bf Z}_\textrm{s}^i$ is a random variable with the mean of 0 and the variance of $\sigma _i^2\textrm{ = }1 + \eta {T_i}{\varepsilon _i} + {\upsilon _{\textrm{el}}}$. Thereinto, $\eta {T_i}{\varepsilon _i}$ and ${\upsilon _{\textrm{el}}}$ are so small that the noise ${\bf Z}_\textrm{s}^i$ is small enough to reconstruct the vector ${{\bf S}^i}$ by CS method.

3.2 Parameter estimating by statistics

When the variables of Alice and Bob are used to estimate the channel parameters, the number of the data used to generate the secret key will be reduced. Although the theory of CS provides the fundamental for a lower number of the required variables in the condition of guaranteeing the precise of the parameter estimation, there are still some variables which have to be publicly disclosed and sacrificed. In order to further reduce the variables for the parameter estimation, it is important to consider how to estimate the channel parameters by using the statistics of the variables of Alice and Bob. If only the received quantum states and the statistics of the transmitted states as the prior knowledge are applied to estimate the channel parameters, there would be no need to publicly disclose some data and the secret key rate of free-space CV-QKD would be improved.

Considering of the relation between the measured variance and the modulation variance as shown in (5), no data need to be sacrificed for the parameter estimation when the modulation variance is disclosed by Alice. For the i-th sub-channel, the ${m_i} \times 1$ vector of the measured variance can be expressed as follows:

$${\bf R}_y^i = {\bf R}_x^i{\bf H}_\textrm{R}^i + {\bf R}_z^i = {\left( {\begin{array}{{cccc}} {V_\textrm{B}^i}&{V_\textrm{B}^i}& \cdots &{V_\textrm{B}^i} \end{array}} \right)^\textrm{T}}\;\textrm{,}$$
where ${\bf R}_x^i \in {{\mathbb R}^{{m_i} \times {m_i}}}$, ${\bf H}_\textrm{R}^i \in {{\mathbb R}^{{m_i} \times 1}}$ and ${\bf R}_z^i \in {{\mathbb R}^{{m_i} \times 1}}$ are composed of the modulation variance, the transmission and the noise variance regarding the i-th sub-channel, which can be expressed as follows:
$${\bf R}_x^i = \left( {\begin{array}{{cccc}} {V_\textrm{A}^i}&0& \cdots &0\\ 0&{V_\textrm{A}^i}& \cdots &0\\ \vdots & \vdots & \ddots & \vdots \\ 0&0& \cdots &{V_\textrm{A}^i} \end{array}} \right)\;\textrm{,}$$
$${\bf H}_\textrm{R}^i = {\left( {\begin{array}{{cccc}} {\eta {T_i}}&{\eta {T_i}}& \cdots &{\eta {T_i}} \end{array}} \right)^\textrm{T}}\;\textrm{,}$$
$${\bf R}_z^i = {\left( {\begin{array}{{cccc}} {\sigma_i^2}&{\sigma_i^2}& \cdots &{\sigma_i^2} \end{array}} \right)^\textrm{T}}\;.$$

Similarly, for the whole process of quantum state transmission, the vector representation of the measured variance is the combination of measured variance regarding each sub-channel, which can be expressed as follows:

$${\bf R}_y^{}\textrm{ = }{\bf R}_x^{}{\bf H}_\textrm{R}^{} + {\bf R}_z^{} = \left( {\begin{array}{{c}} {{\bf R}_y^1}\\ {{\bf R}_y^2}\\ \vdots \\ {{\bf R}_y^M} \end{array}} \right)\textrm{ = }\left( {\begin{array}{{cccc}} {{\bf R}_x^1}&{}&{}&{}\\ {}&{{\bf R}_x^2}&{}&{}\\ {}&{}& \ddots &{}\\ {}&{}&{}&{{\bf R}_x^M} \end{array}} \right)\left( {\begin{array}{{c}} {{\bf H}_\textrm{R}^1}\\ {{\bf H}_\textrm{R}^2}\\ \vdots \\ {{\bf H}_\textrm{R}^M} \end{array}} \right) + \left( {\begin{array}{{c}} {{\bf R}_z^1}\\ {{\bf R}_z^2}\\ \vdots \\ {{\bf R}_z^M} \end{array}} \right)\;.$$

On account of the identity of the elements in the vector ${\bf H}_\textrm{R}^i$ and ${\bf H}_\textrm{R}^{} \in {{\mathbb R}^{m \times 1}}$, the two vectors possess the corresponding sparse representation in the DFT domain so that the two vectors can be further represented by the sparse representation ${\bf S}_\textrm{R}^i \in {{\mathbb R}^{{m_i} \times 1}}$ and ${{\bf S}_\textrm{R}} \in {{\mathbb R}^{m \times 1}}$ with the IDFT matrix ${\bf D}_i^{-1}$ and ${\bf D}_{}^{\textrm{ - }1}$. In addition, It is also feasible to reduce the data volume of the vector ${\bf R}_y^i \in {{\mathbb R}^{{m_i} \times 1}}$ (or ${\bf R}_y^{} \in {{\mathbb R}^{m \times 1}}$) and the matrix ${\bf R}_x^i$ (or ${\bf R}_x^{} \in {{\mathbb R}^{m \times m}}$) by using the matrix ${{\bf \Phi }^i}$ and ${\bf \Phi }$ (as shown in (22)), respectively. Therefore, after the sparse representation and the random sparse sampling, the measured variance can be rewritten as follows:

$${\bf R}_{\textrm{s,}\;y}^i = \textrm{ }{{\bf \Phi }^i}{\bf R}_x^i{\bf D}_i^{\textrm{ - }1}{\bf S}_\textrm{R}^i + {{\bf \Phi }^i}{\bf R}_z^i = \textrm{ }{{\bf \Phi }^i}{\bf R}_x^i{{\bf \Psi }^i}{\bf S}_\textrm{R}^i + {{\bf \Phi }^i}{\bf R}_z^i = \textrm{ }{\bf \Theta }_\textrm{R}^i{\bf S}_\textrm{R}^i + {{\bf \Phi }^i}{\bf R}_z^i\;\textrm{,}$$
$${\bf R}_{\textrm{s,}\;y}^{} = \textrm{ }{\bf \Phi R}_x^{}{\bf D}_{}^{\textrm{ - }1}{\bf S}_\textrm{R}^{} + {\bf \Phi R}_z^{} = \textrm{ }{\bf \Phi R}_x^{}{\bf \Psi S}_\textrm{R}^{} + {\bf \Phi R}_z^{}\,\textrm{ = }\,\,{{\bf \Theta }_\textrm{R}}{\bf S}_\textrm{R}^{} + {\bf \Phi R}_z^{}\;\textrm{,}$$
where the $m_\textrm{s}^i \times 1$ vector ${\bf R}_{\textrm{s,}\;y}^i = \textrm{ }{{\bf \Phi }^i}{\bf R}_y^i$ and the $m{}_\textrm{s} \times 1$ vector ${\bf R}_{\textrm{s,}\;y}^{} = \textrm{ }{\bf \Phi R}_y^{}$. The matrix ${\bf \Theta }_\textrm{R}^i \in {{\mathbb R}^{m_\textrm{s}^i \times {m_i}}}$ and ${\bf \Theta }_\textrm{R}^{} \in {{\mathbb R}^{{m_\textrm{s}} \times m}}$ possess the i.i.d. entries and satisfy the RIP and the MPC with high probability. The unknown vector ${\bf S}_\textrm{R}^i$ and ${{\bf S}_\textrm{R}}$ only has ${K_i}({{K_i} < < {m_i}} )$ and $K\left( {K < < \sum {{m_i}} } \right)$ nonzero elements, respectively. However, the elements in the vector ${{\bf \Phi }^i}{\bf R}_z^i$ regarding the i-th sub-channel is $\sigma _i^2\textrm{ = }1 + \eta {T_i}{\varepsilon _i} + {\upsilon _{\textrm{el}}}$ which is not small enough to reconstruct the unknown vector ${\bf S}_\textrm{R}^i$ from (34) by the CS method. Considering that $1 + {\upsilon _{\textrm{el}}}$ in $\sigma _i^2$ is almost seen as a constant, the $1 + {\upsilon _{\textrm{el}}}$ term can be separated from $\sigma _i^2$ in order to reduce the value of the noise term in (34), which can be expressed as follows:
$${\bf R}_z^i = {\bf R}_\textrm{T}^i\textrm{ + }{\bf R}_\upsilon ^i\;\textrm{,}$$
where
$${\bf R}_\textrm{T}^i\textrm{ = }{\left( {\begin{array}{{cccc}} {\eta {T_i}{\varepsilon_i}}&{\eta {T_i}{\varepsilon_i}}& \cdots &{\eta {T_i}{\varepsilon_i}} \end{array}} \right)^\textrm{T}}\;\textrm{,}$$
$${\bf R}_\upsilon ^i\textrm{ = }{\left( {\begin{array}{{cccc}} {1 + {\upsilon_{\textrm{el}}}}&{1 + {\upsilon_{\textrm{el}}}}& \cdots &{1 + {\upsilon_{\textrm{el}}}} \end{array}} \right)^\textrm{T}}\;.$$

Substituting (37) and (38) into (34), (34) can be rewritten as follows:

$${\bf R}_{\textrm{s,}\;y}^i = \textrm{ }{\bf \Theta }_\textrm{R}^i{\bf S}_\textrm{R}^i + {{\bf \Phi }^i}({{\bf R}_\varepsilon^i\textrm{ + }{\bf R}_\upsilon^i} )\;.$$
can be further rewritten as follows:
$${\bf R}_{\upsilon \textrm{,}\;y}^i = \textrm{ }{\bf \Theta }_\textrm{R}^i{\bf S}_\textrm{R}^i + {\bf R}_{\textrm{s},\;\varepsilon }^i\;.$$
where
$${\bf R}_{\upsilon \textrm{,}\;y}^i = {{\bf \Phi }^i}({{\bf R}_y^i{\bf - R}_\upsilon^i} )\;\textrm{,}$$
$${\bf R}_{\textrm{s,}\;\varepsilon }^i = {{\bf \Phi }^i}{\bf R}_\varepsilon ^i\;.$$

For (40), the value $\eta {T_i}{\varepsilon _i}$ in ${\bf R}_{\textrm{s},\;\varepsilon }^i$ is small enough to reconstruct the vector ${\bf S}_\textrm{R}^i$ by the CS method. Similarly, for the whole transmission process, (35) can also be turn to the form which meet the requirement of CS theory and can be expressed as follows:

$${\bf R}_{\upsilon \textrm{,}\;y}^{} = \textrm{ }{{\bf \Theta }_\textrm{R}}{\bf S}_\textrm{R}^{} + {\bf R}_{\textrm{s,}\;\varepsilon }^{}\;\textrm{,}$$
where
$${\bf R}_{\upsilon \textrm{,}\;y}^{} = {\bf \Phi }({{\bf R}_y^{}{\bf - R}_\upsilon^{}} )\;\textrm{,}$$
$${\bf R}_{\textrm{s,}\;\varepsilon }^{} = {\bf \Phi R}_\varepsilon ^{}\,\textrm{ = }\;{\bf \Phi }{\left[ {\begin{array}{{cccc}} {{\bf R}_\varepsilon^1}&{{\bf R}_\varepsilon^2}& \cdots &{{\bf R}_\varepsilon^M} \end{array}} \right]^\textrm{T}}\;.$$

For (40) and (43), the corresponding sparse reconstruction model can be constructed. Taking the i-th sub-channel as example, the sparse reconstruction model regarding (40) can be defined as follows:

$$\begin{array}{l} \hat{{\bf S}}_\textrm{R}^i\textrm{ = min}{||{{\bf \Theta }{{_\textrm{R}^i}^\textrm{H}}{\bf R}_{\upsilon \textrm{,}\;\textrm{y}}^i} ||_1}\\ \textrm{s}\textrm{.t}\textrm{.}\quad {||{{\bf R}_{\upsilon \textrm{,}\;\textrm{y}}^i{\bf - \Theta }_\textrm{R}^i\hat{{\bf S}}_\textrm{R}^i} ||_2} \le \delta \;\textrm{,} \end{array}$$
where $\hat{{\bf S}}_\textrm{R}^i$ is the reconstructed vector ${\bf S}_\textrm{R}^i$, and it can be obtained by adopting the OMP algorithm to solve (46). Then the estimated vector ${\bf H}_\textrm{R}^i$ can be calculated as follows:
$$\hat{{\bf H}}_\textrm{R}^i{\bf = }{{\bf \Psi }^i}\hat{{\bf S}}_\textrm{R}^i\,\textrm{ = }{\bf D}_i^{\textrm{ - }1}\hat{{\bf S}}_\textrm{R}^i\;.$$

Therefore, the estimated transmittance of the i-th sub-channel can be calculated as follows:

$${\hat{T}_i} = \frac{{\sum {\hat{{\bf H}}_\textrm{R}^i} }}{{\eta \cdot m_i^{}}}\;.$$

According to the relation among the transmittance, the excess noise, the modulation variance, and the measured variance, the estimated excess noise regarding the i-th sub-channel can be calculated as follows:

$${\hat{\varepsilon }_i} = \frac{{\sum {{\bf R}_{\upsilon \textrm{,}\;y}^i} - \eta {{\hat{T}}_i}\sum {{\bf R}_{\textrm{s,}\;x}^i} }}{{m_\textrm{s}^i\eta {{\hat{T}}_i}}}\;.$$

For the whole transmission process, the estimated transmittance and excess noise can be obtained by solving the corresponding sparse reconstruction model and also can be obtained by calculating the mean of the estimated value of the sub-channel, which be given by

$$\left\langle {\hat{T}} \right\rangle \, = \,\sum\limits_{i = 1}^M {{{\hat{T}}_i}{p_i}} \;\textrm{,}$$
$$\left\langle {\hat{\varepsilon }\,} \right\rangle = \,\sum\limits_{i = 1}^M {{{\hat{\varepsilon }}_i}{p_i}} \;.$$

3.3 Performance analysis

Mean square error (MSE) is often used to evaluate the performance of the parameter estimation. For the proposed CS based channel parameter estimation for free-space CV-QKD, the MSE can be calculated as follows:

$$\textrm{MSE} = \,\,\frac{1}{M}\sum\limits_{i = 1}^M {{{({{{\hat{T}}_i} - \;{T_i}} )}^2}} \;\textrm{,}$$
where ${\hat{T}_i}$ and ${T_i}$ are the estimated value and practical value of the transmittance of the i-th sub-channel, respectively.

4. Experiments

The simulation experiments are given to analyze the performance of the CS-based channel parameter estimation method and the influence of the CS-based estimation on the secret key rate of free-space CV-QKD. All the simulation parameters of the free-space CV-QKD system are presented in Table 1.

Tables Icon

Table 1. All the simulation parameters of the free-space CV-QKD system

4.1 Channel parameter estimation

In the experiments, at first 100 sub-channels with the transmittance ${T_1},{T_2}, \ldots ,{T_{100}}$ which are obtained by the elliptical beam model are selected to form the integrated channel of the whole transmission process and suppose excess noise regarding each sub-channel is $\varepsilon$. Taking the 20 km propagation distance as example, let m which is the number of the variables for the parameter estimation be ${10^6}$, thus ${m_i} = {10^4}$ when the variables for parameter estimation in different sub-channels are the same. 10% and 100% are selected as the quantity of the random sparse sampling, thus ${m / {10}}$ and m variables are used to estimate the channel parameters in practice, respectively (i.e., ${m_s} = {m / {10}}$ and ${m_s} = m$, respectively). According to (24) and (40), the sensing matrixes in the sparse reconstruction model in virtue of variables and statistics are constructed and used to assess the reconfigurability by calculating the corresponding MIP, respectively. The calculation results of MIP regarding 100 sub-channels are recorded and illustrated as depicted in Fig. 2.

 figure: Fig. 2.

Fig. 2. The statistics on MIP. (a) 10% data is used to estimate the channel parameters in the model constructed by variables. (b) all the data is used to estimate the channel parameters in the model constructed by variables. (c) 10% data is used to estimate the channel parameters in the model constructed by statistics. (d) all data is used to estimate the channel parameters in the model constructed by statistics.

Download Full Size | PDF

When Alice’s and Bob’s variables are used to constructed the sensing matrix of the sparse reconstruction model, the statistics of the MIP is depicted in Fig. 2(a) and (b) where the maximum MIP is not more than $2.3 \times {10^{\textrm{ - 5}}}$ and $2.08 \times {10^{\textrm{ - 4}}}$ in two sparse cases. The MIP of most sub-channels are concentrated at approximately $1.95 \times {10^{\textrm{ - 5}}}$ and $2.01 \times {10^{\textrm{ - 4}}}$, respectively. While the statistics are used to constructed the sensing matrix of the sparse reconstruction model, the statistics of the MIP are depicted in Fig. 2(c) and (d) where the maximum MIP is not more than $4.4 \times {10^{\textrm{ - 5}}}$ and $4.4 \times {10^{\textrm{ - 4}}}$ in two sparse cases. The MIP of most sub-channels is also concentrated at approximately $4.05 \times {10^{\textrm{ - 5}}}$ and $4.05 \times {10^{\textrm{ - 4}}}$, respectively. It is observed that the MIPs in two different models are so small that the vector ${{\bf S}^i}$ and ${\bf S}_\textrm{R}^i$ may be reconstructed by OMP algorithm with high probability.

Depending on the Alice’s and Bob’s variables and the sparse reconstruction model (as shown in (25)), the estimated transmittance regarding each sub-channel is reconstructed by solving (25) and (46) with OMP algorithm, respectively, as illustrated in Fig. 3 where the estimated results in the sparsity of 100% and 40% are depicted. It is observed that the estimated transmittance become so small over 14 km that scarcely any secret key may be shared. The estimation error can be quantitatively expressed according to (52) and is illustrated in Fig. 4 where the intensity value of the image pixel is the MSE. The mean values of the MSE of all the propagation distance for different sparsity are depicted with the red number in the middle. It is observed that the MSE does not change much even though the sparsity of the variable used to estimation reaches 40%. In comparison, the sparsity of 1% have almost no influence on the MSE when the statistics are used to estimate the channel parameters. Therefore, the compressive sensing based parameter estimation via the statistics not only can sacrifice no variables in the quantum signal, but also can reduce the computational complexity to a greater extent. However, the CS-based transmittance reconstruction method by using the variables has a higher estimation precision in comparison with that by the statistics when the sparsity is greater than 40%.

 figure: Fig. 3.

Fig. 3. The estimated transmittance regarding propagation distance and sub-channel. (a) 100% variables are used to estimate the channel parameters. (b) 40% variables are used to estimate the channel parameters. (c) 100% statistics are used to estimate the channel parameters. (d) 40% statistics are used to estimate the channel parameters.

Download Full Size | PDF

 figure: Fig. 4.

Fig. 4. The MSE of parameter estimation. The intensity value of the image pixel is the MSE, and the red numbers in the middle represent the mean values of the MSE of all the propagation distance for different sparsity. (a) the variables are used to estimate the channel parameters. (b) the statistics are used to estimate the channel parameters.

Download Full Size | PDF

4.2 Secret key rate

At first the results of the channel parameter estimation regarding 100 sub-channels with ${10^6}$ variables are substituted into the calculation formulas of the secret key rate to analyze the influence of the parameter estimation method. The quantity of the random sparse sampling be selected as 100%, and the secret key rate regarding different propagation distances are illustrated as Fig. 5(a) and Fig. 6(a) where the secret key rate with homodyne detection is higher than the secret key rate with heterodyne detection in short propagation distance. This is because the heterodyne detection will introduce more electronic noise. In addition, for the two detection means, it can be seen that the secret key rates obtained by using the estimated transmittance and the practical transmittance are very similar, especially when the propagation distance is no more than 11km.

 figure: Fig. 5.

Fig. 5. The analysis on the secret key rate with the channel parameters estimated by the variables. (a) the secret key rate with the different detection means. (b) the secret key rate with the different sparsity. (c) The absolution error of secret key rate between the estimated parameter and the practice parameter, where the intensity value of the image pixel is the absolution error and the red numbers in the middle represent the mean values of the error of all the propagation distance for different sparsity.

Download Full Size | PDF

 figure: Fig. 6.

Fig. 6. The analysis on the secret key rate with the channel parameters estimated by the statistics. (a) the secret key rate with the different detection means. (b) the secret key rate with the different sparsity. (c) The absolution error of secret key rate between the estimated parameter and the practice parameter, where the intensity value of the image pixel is the absolution error and the red numbers in the middle represent the mean values of the error of all the propagation distance for different sparsity.

Download Full Size | PDF

As shown in Fig. 5(b) and Fig. 6(b), several cases about the sparsity are considered including 1%, 10%, 20%, 40%, 60%, 80% and 100%, and the corresponding transmittance estimated by the variables and the statistics, respectively, is used to calculate the secret key rate. By comparing the secret key rate under the different sparsity, we can draw the conclusion that the secret key rate estimation precision is decreased with reducing the quantity of the random sparse sampling. As is known, for long propagation distances, the transmittance obtained by the elliptical model is not accurate and the beam structure is greatly distorted, which appears as the incorrect values for the mean transmittance and its variance [35]. The incorrect values for the mean transmittance and its variance would promote the overlap between the probability distribution of the transmittance at different distances, thus the sampling point of the transmittance obtained by the elliptical beam model may appear the situation that it is possible to obtain a bigger transmittance for a longer distance. Therefore, the secret key rate regarding the long propagation distance might be bigger than that regarding a little closer distance, such as more than 10 km in Fig. 5(a)-(b) and Fig. 6(a)-(b).

In summary, it can be concluded that the influence of the estimated channel parameters on the secret key rate is very small, especially when the statistics of the transmitted states are used to estimate the channel parameters, not only all the variables are used to generate the secret key to maximize the secret key, but also the quantity of the random sparse sampling can be reduced by about 100 times to reduce the computational complexity significantly. When the variables in quantum signals are used to estimate the channel parameters, the sparsity above 40% can remain a higher estimation precision in the channel parameters and the secret key rate so that about 60% variables used to parameter estimation can be saved to generate the secret key. Comparing with the traditional parameter estimation methods such as the maximum-likelihood parameter estimation which usually need about ${10^\textrm{8}}$ variables for parameter estimation to guarantee high precision, the CS-based method only needs about ${10^5}$ variables to achieve a good precision when the variables in quantum signals are used to estimate the channel parameters. Comparing with the blind parameter estimation for CV-QKD, which calculating the channel parameters with the higher-order statistics of each sub-channel rather than the variables, the CS-based method by the statistics of the variables can also sacrifice no variables for parameter estimation and only need the second-order statistics of the variables rather than the higher-order statistics, which means the lower computational complexity. In addition, it is observed that the secret key rate error between the estimated transmittance by statistics and practical transmittance is more apparent at the propagation distance of more than 10 km, while the secret key rate calculated by the estimated transmittance by variables is more similar to that by the practical transmittance. The result is consistent to the conclusion that the CS-based transmittance reconstruction method by using the variables has a higher the estimation precision with high quantity of the random sparse sampling.

5. Conclusion

In this paper, the sparse reconstruction models for the channel parameters have been constructed by the variables and statistics, respectively, after analyzing the sparsity of the atmospheric channel in free-space CV-QKD protocol. OMP algorithm is adopted to calculate the estimated value of the parameters by solving the sparse reconstruction models and the numerical methods is executed to simulate the performance of the proposed method. The simulation results demonstrate that the MIPs are small enough to verify the sparsity of the atmospheric channel. When eighty percent of variables is saved from the parameter estimation, the MSE is also at the order of magnitude of ${10^{\textrm{ - }4}}$. While one percent of the amount of the statistics is used to construct the sparse reconstruction model, low MSE can also be realized. Therefore, the proposed methods which are well adapted for the cases with the limited communication time not only sacrifice fewer or no variables for parameter estimation, which means the proposed methods can generate more secret key and improve the secret key rate, but also decrease the computational complexity. The calculated MSE and the comparison of secret key rate indicate the high estimation precision of the proposed method.

Funding

National Natural Science Foundation of China (62101559); National University of Defense Technology (19-QNCXJ-009, ZK21-37); Innovative Talents Promotion Plan in Shaanxi Province (2020KJXX-011); Key Research and Development Program of Shaanxi (2019ZDLGY09-01); Innovative Key Projects Promotion in Information and Communication College (YJKT-ZD-2105); Innovative Talents Promotion in Information and Communication College (YJKT-RC-2113).

Disclosures

The authors declare no conflicts of interest.

Data availability

Data underlying the results presented in this paper can be obtained from the authors upon reasonable request.

References

1. A. Boaron, G. Boso, D. Rusca, C. Vulliez, C. Autebert, M. Caloz, M. Perrenoud, G. Gras, F. Bussières, M. J. Li, D. Nolan, A. Martin, and H. Zbinden, “Secure quantum key distribution over 421 km of optical fiber,” Phys. Rev. Lett. 121(19), 190502 (2018). [CrossRef]  

2. X. Wang, J. Liu, X. Li, and Y. Li, “Generation of Stable and High Extinction Ratio Light Pulses for Continuous Variable Quantum Key Distribution,” IEEE J. Quantum Electron. 51, 1 (2015). [CrossRef]  

3. Q. Zhang, F. H. Xu, Y. A. Chen, C. Z. Peng, and J. W. Pan, “Large scale quantum key distribution: challenges and solutions,” Opt. Express 26(18), 24260 (2018). [CrossRef]  

4. F. Furrer, T. Franz, M. Berta, A. Leverrier, V. B. Scholz, M. Tomamichel, and R. F. Werner, “Continuous Variable Quantum Key Distribution: Finite-Key Analysis of Composable Security against Coherent Attacks,” Phys. Rev. Lett. 109(10), 100502 (2012). [CrossRef]  

5. D. Rusca, A. Boaron, M. Curty, A. Martin, and H. Zbinden, “Security proof for a simplified Bennett-Brassard 1984 quantum-key-distribution protocol,” Phys. Rev. A 98(5), 052336 (2018). [CrossRef]  

6. E. Diamanti, H. K. Lo, B. Qi, and Z. L. Yuan, “Practical challenges in quantum key distribution,” npj Quantum Inform. 2(1), 16025 (2016). [CrossRef]  

7. A. Leverrier, “Security of Continuous-Variable Quantum Key Distribution via a Gaussian de Finetti Reduction,” Phys. Rev. Lett. 118(20), 200501 (2017). [CrossRef]  

8. Y. C. Zhang, Z. Y. Chen, S. Pirandola, X. Y. Wang, C. Zhou, B. J. Chu, Y. J. Zhao, B. J. Xu, S. Yu, and H. Guo, “Long-Distance Continuous-Variable Quantum Key Distribution over 202.81 km of Fiber,” Phys. Rev. Lett. 125(1), 010502 (2020). [CrossRef]  

9. M. Lasota, R. Filip, and V. C. Usenko, “Robustness of quantum key distribution with discrete and continuous variables to channel noise,” Phys. Rev. A 95(6), 062312 (2017). [CrossRef]  

10. P. Huang, J. Z. Huang, Z. S. Zhang, and G. H. Zeng, “Quantum key distribution using basis encoding of Gaussian-modulated coherent states,” Phys. Rev. A 97(4), 042311 (2018). [CrossRef]  

11. S. K. Liao, W. Q. Cai, J. Handsteiner, B. Liu, J. Yin, L. Zhang, D. Rauch, M. Fink, J. G. Ren, W. Y. Liu, Y. Li, Q. Shen, Y. Cao, F. Z. Li, J. F. Wang, Y. M. Huang, L. Deng, T. Xi, L. Ma, T. Hu, L. Li, N. L. Liu, F. Koidl, P. Wang, Y. A. Chen, X. B. Wang, M. Steindorfer, G. Kirchner, C. Y. Lu, R. Shu, R. Ursin, T. Scheidl, C. Z. Peng, J. Y. Wang, A. Zeilinger, and J. W. Pan, “Satellite-Relayed Intercontinental Quantum Network,” Phys. Rev. Lett. 120(3), 030501 (2018). [CrossRef]  

12. R. Bedington, J. M. Arrazola, and A. Ling, “Progress in satellite quantum key distribution,” npj Quantum Inform. 3(1), 30 (2017). [CrossRef]  

13. Z. Qu and I. B. Djordjevic, “High-speed free-space optical continuous-variable quantum key distribution enabled by three-dimensional multiplexing,” Opt. Express 25(7), 7919 (2017). [CrossRef]  

14. S. K. Liao, W. Q. Cai, W. Y. Liu, L. Zhang, Y. Li, J. G. Ren, J. Yin, Q. Shen, Y. Cao, Z. P. Li, F. Z. Li, X. W. Chen, L. H. Sun, J. J. Jia, J. C. Wu, X. J. Jiang, J. F. Wang, Y. M. Huang, Q. Wang, Y. L. Zhou, L. Deng, T. Xi, L. Ma, T. Hu, Q. Zhang, Y. A. Chen, N. L. Liu, X. B. Wang, Z. C. Zhu, C. Y. Lu, R. Shu, and C. Z. Peng, “Satellite-to-ground quantum key distribution,” Nature 549(7670), 43–47 (2017). [CrossRef]  

15. V. Sharma and S. Banerjee, “Analysis of atmospheric effects on satellite-based quantum communication: a comparative study,” Quantum Inf. Process. 18(3), 67 (2019). [CrossRef]  

16. S. K. Liao, H. L. Yong, C. Liu, T. Shen, L. Guo, D. D. Li, J. Lin, H. Dai, S. Q. Zhao, B. Li, J. Y. Guan, W. Chen, Y. H. Gong, Y. Li, Z. H. Lin, G. S. Pan, J. S. Pelc, M. M. Fejer, W. Z. Zhang, W. Y. Liu, J. Yin, J. G. Ren, X. B. Wang, Q. Zhang, C. Z. Peng, and J. W. Pan, “Long-distance free-space quantum key distribution in daylight towards inter-satellite communication,” Nat. Photonics 11(8), 509–513 (2017). [CrossRef]  

17. P. Panagiotis, W. Christian, and P. Stefano, “Continuous-variable quantum key distribution in uniform fast-fading channels,” Phys. Rev. A 97(3), 032311 (2018). [CrossRef]  

18. C. Lupo, C. Ottaviani, P. Papanastasiou, and S. Pirandola, “Parameter estimation with almost no public communication for continuous-variable quantum key distribution,” Phys. Rev. Lett. 120(22), 220505 (2018). [CrossRef]  

19. Y. Guo, C. L. Xie, P. Huang, J. W. Li, L. Zhang, D. Huang, and G. H. Zeng, “Channel-parameter estimation for satellite-to-submarine continuous-variable quantum key distribution,” Phys. Rev. A 97(5), 052326 (2018). [CrossRef]  

20. S. Y. Wang, P. Huang, T. Wang, and G. H. Zeng, “Atmospheric effects on continuous-variable quantum key distribution,” New J. Phys. 20(8), 083037 (2018). [CrossRef]  

21. E. Villaseñor, R. Malaney, K. A. Mudge, and K. J. Grant, “Atmospheric effects on satellite-to-ground quantum key distribution using coherent states,” https://arxiv.org/abs/2005.10465.

22. G. Chai, Z. W. Cao, W. Q. Liu, S. Y. Wang, P. Huang, and G. H. Zeng, “Parameter estimation of atmospheric continuous-variable quantum key distribution,” Phys. Rev. A 99(3), 032326 (2019). [CrossRef]  

23. A. Leverrier, F. Grosshans, and P. Grangier, “Finite-size analysis of a continuous-variable quantum key distribution,” Phys. Rev. A 81(6), 062343 (2010). [CrossRef]  

24. G. Chai, D. W. Li, Z. W. Cao, M. H. Zhang, P. Huang, and G. H. Zeng, “Blind channel estimation for continuous-variable quantum key distribution,” Quantum Eng. 2(2), e37 (2020). [CrossRef]  

25. R. G. Baraniuk, “Compressive Sensing [Lecture Notes],” IEEE Signal Proc. Mag. 24(4), 118–121 (2007). [CrossRef]  

26. N. M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D. Alistarh, M. Püschel, and C. Zhang, “Compressive Sensing Using Iterative Hard Thresholding With Low Precision Data Representation: Theory and Applications,” IEEE Trans. Signal Process. 68, 4268–4282 (2020). [CrossRef]  

27. Y. L. Shi, X. X. Zhu, and R. Bamler, “Non-Local Compressive Sensing Based SAR Tomography,” IEEE Trans. Geosci. Remote Sensing 57(5), 3015–3024 (2019). [CrossRef]  

28. J. Wang, S. Kwon, and B. Shim, “Generalized Orthogonal Matching Pursuit,” IEEE Trans. Signal Process. 60(12), 6202–6216 (2012). [CrossRef]  

29. W. Lu and N. Vaswani, “Exact Reconstruction Conditions for Regularized Modified Basis Pursuit,” IEEE Trans. Signal Process. 60(5), 2634–2640 (2012). [CrossRef]  

30. A. Nasser, O. Muta, and M. Elsabrouty, “Pilot-Assisted Sparse Channel Estimation Based on Mutual Incoherence Property,” in Proceedings of IEEE Conference on 90th Veh. Tech. (IEEE, 2019).

31. C. Wen, J. Zhang, K. Wong, J. Chen, and C. Yuen, “On Sparse Vector Recovery Performance in Structurally Orthogonal Matrices via LASSO,” IEEE Trans. Signal Process. 64(17), 4519–4533 (2016). [CrossRef]  

32. C. Zhou, X. Y. Wang, Y. C. Zhang, Z. G. Zhang, S. Yu, and H. Guo, “Continuous-Variable Quantum Key Distribution with Rateless Reconciliation Protocol,” Phys. Rev. Applied 12(5), 054013 (2019). [CrossRef]  

33. W. Y. Liu, Y. X. Cao, X. Y. Wang, and Y. M. Li, “Continuous-variable quantum key distribution under strong channel polarization disturbance,” Phys. Rev. A 102(3), 032625 (2020). [CrossRef]  

34. Q. Liao, G. Xiao, H. Zhong, and Y. Guo, “Multi-label learning for improving discretely-modulated continuous-variable quantum key distribution,” New J. Phys. 22(8), 083086 (2020). [CrossRef]  

35. D. Vasylyev, A. A. Semenov, and W. Vogel, “Characterization of free-space quantum channels,” Proc. SPIE 10771, 31 (2018). [CrossRef]  

Data availability

Data underlying the results presented in this paper can be obtained from the authors upon reasonable request.

Cited By

Optica participates in Crossref's Cited-By Linking service. Citing articles from Optica Publishing Group journals and other participating publishers are listed here.

Alert me when this article is cited.


Figures (6)

Fig. 1.
Fig. 1. Schematic diagram of free-space CVQKD. GM, BS and HD are the Gaussian modulation, the beam splitter and the homodyne detection, respectively.
Fig. 2.
Fig. 2. The statistics on MIP. (a) 10% data is used to estimate the channel parameters in the model constructed by variables. (b) all the data is used to estimate the channel parameters in the model constructed by variables. (c) 10% data is used to estimate the channel parameters in the model constructed by statistics. (d) all data is used to estimate the channel parameters in the model constructed by statistics.
Fig. 3.
Fig. 3. The estimated transmittance regarding propagation distance and sub-channel. (a) 100% variables are used to estimate the channel parameters. (b) 40% variables are used to estimate the channel parameters. (c) 100% statistics are used to estimate the channel parameters. (d) 40% statistics are used to estimate the channel parameters.
Fig. 4.
Fig. 4. The MSE of parameter estimation. The intensity value of the image pixel is the MSE, and the red numbers in the middle represent the mean values of the MSE of all the propagation distance for different sparsity. (a) the variables are used to estimate the channel parameters. (b) the statistics are used to estimate the channel parameters.
Fig. 5.
Fig. 5. The analysis on the secret key rate with the channel parameters estimated by the variables. (a) the secret key rate with the different detection means. (b) the secret key rate with the different sparsity. (c) The absolution error of secret key rate between the estimated parameter and the practice parameter, where the intensity value of the image pixel is the absolution error and the red numbers in the middle represent the mean values of the error of all the propagation distance for different sparsity.
Fig. 6.
Fig. 6. The analysis on the secret key rate with the channel parameters estimated by the statistics. (a) the secret key rate with the different detection means. (b) the secret key rate with the different sparsity. (c) The absolution error of secret key rate between the estimated parameter and the practice parameter, where the intensity value of the image pixel is the absolution error and the red numbers in the middle represent the mean values of the error of all the propagation distance for different sparsity.

Tables (1)

Tables Icon

Table 1. All the simulation parameters of the free-space CV-QKD system

Equations (52)

Equations on this page are rendered with MathJax. Learn more.

y  =  Φ x  +  z  =  Φ Ψ s  +  z  =  Θ s  +  z ,
( 1 δ K ) | | x | | 2 2 | | Φ x | | 2 2 ( 1  +  δ K ) | | x | | 2 2 .
μ ( Θ )  =  max 1 k j n | θ k , θ j | ,
χ tot  =  χ line  +  χ h T i = ( 1 T i 1 + ε i ) + ( 1 η ) + υ el η T i = η T i + 1 + η T i ε i + υ el η T i ,
V B  =  η T i ( V A + 1 + χ tot ) = η T i V A + 1 + η T i ε i + υ el ,
y j i  =  η T i x j i + z j i ,
γ A 1 B 1 = [ V 1 2 T V 2 1 σ z T V 2 1 σ z T ( V + 1 T 1 + ε ) 1 2 ] ,
K = β I ( A : B ) χ ( B : E ) ,
I ( A : B ) = 1 2 log 2 V + 1 V [ T 2 ( V 2 1 ) / T ( V + χ tot ) ]  +  1 = 1 2 log 2 T ( V + χ tot ) T ( V + χ tot ) T 2 ( V 1 ) .
χ ( B : E )  =  i = 1 2 G ( λ i ) + i = 3 5 G ( λ i ) ,
G ( x )  =  x + 1 2 log 2 ( x + 1 2 ) x 1 2 log 2 ( x 1 2 ) .
Y i = X i H i + Z i = ( y 1 i y 2 i y m i i ) T ,
X i = ( x 1 i 0 0 0 x 2 i 0 0 0 x m i i ) ,
H i = ( η T i η T i η T i ) T ,
Z i = ( z 1 i z 2 i z m i i ) T .
( Y 1 Y 2 Y M ) = Y  =  X H + Z  =  ( X 1 X 2 X M ) ( H 1 H 2 H M ) + ( Z 1 Z 2 Z M ) .
H  =  Ψ S  =  D  -  1 S ,
H i  =  Ψ i S i  =  D i  -  1 S i ,
Y  =  X Ψ S + Z ,
Y i  =  X i Ψ i S i + Z i .
Φ j , k i = { 1 , { ( j , k ) | k = φ j i } 0 , others ,
Φ  =  ( Φ 1 Φ 2 Φ M ) .
Y s  =  X s Ψ S + Z s ,
Y s i  =  X s i Ψ i S i + Z s i ,
S ^ i  = min | | Ψ i H X s i H Y s i | | 1 s .t . | | Y s i X s i Ψ i S ^ i | | 2 δ .
H ^ i = Ψ i S ^ i  =  D i  -  1 S ^ i .
T ^ i = ( H ^ i ) 2 η m i 2 .
ε ^ i = Y s i H Y s i η T ^ i X s i X s i H m s i ( 1  +  υ el ) m s i η T ^ i .
R y i = R x i H R i + R z i = ( V B i V B i V B i ) T ,
R x i = ( V A i 0 0 0 V A i 0 0 0 V A i ) ,
H R i = ( η T i η T i η T i ) T ,
R z i = ( σ i 2 σ i 2 σ i 2 ) T .
R y  =  R x H R + R z = ( R y 1 R y 2 R y M )  =  ( R x 1 R x 2 R x M ) ( H R 1 H R 2 H R M ) + ( R z 1 R z 2 R z M ) .
R s, y i =   Φ i R x i D i  -  1 S R i + Φ i R z i =   Φ i R x i Ψ i S R i + Φ i R z i =   Θ R i S R i + Φ i R z i ,
R s, y =   Φ R x D  -  1 S R + Φ R z =   Φ R x Ψ S R + Φ R z  =  Θ R S R + Φ R z ,
R z i = R T i  +  R υ i ,
R T i  =  ( η T i ε i η T i ε i η T i ε i ) T ,
R υ i  =  ( 1 + υ el 1 + υ el 1 + υ el ) T .
R s, y i =   Θ R i S R i + Φ i ( R ε i  +  R υ i ) .
R υ , y i =   Θ R i S R i + R s , ε i .
R υ , y i = Φ i ( R y i R υ i ) ,
R s, ε i = Φ i R ε i .
R υ , y =   Θ R S R + R s, ε ,
R υ , y = Φ ( R y R υ ) ,
R s, ε = Φ R ε  =  Φ [ R ε 1 R ε 2 R ε M ] T .
S ^ R i  = min | | Θ R i H R υ , y i | | 1 s .t . | | R υ , y i Θ R i S ^ R i | | 2 δ ,
H ^ R i = Ψ i S ^ R i  =  D i  -  1 S ^ R i .
T ^ i = H ^ R i η m i .
ε ^ i = R υ , y i η T ^ i R s, x i m s i η T ^ i .
T ^ = i = 1 M T ^ i p i ,
ε ^ = i = 1 M ε ^ i p i .
MSE = 1 M i = 1 M ( T ^ i T i ) 2 ,
Select as filters


Select Topics Cancel
© Copyright 2024 | Optica Publishing Group. All rights reserved, including rights for text and data mining and training of artificial technologies or similar technologies.