Quantum illumination networks
Abstract
Quantum illumination is an entanglement-based target detection protocol that provides quantum advantages despite the presence of entanglement-breaking noise. However, the advantage of traditional quantum illumination protocols is limited to impractical scenarios with low transmitted power and simple target configurations. In this work, we propose a quantum illumination network to overcome the limitations, via designing a transmitter array and a single receiver antenna. Thanks to multiple transmitters, quantum advantage is achieved even with a high total transmitted power. Moreover, for single-parameter estimation, the advantage of network over a single transmitter case increases with the number of transmitters before saturation. At the same time, complex target configurations with multiple unknown transmissivity or phase parameters can be resolved. Despite the interference of different returning signals at the single antenna and photon-loss due to multiple-access channel, we provide two types of measurement design, one based on parametric-amplification and one based on the correlation-to-displacement conversion (CtoD) to achieve a quantum advantage in estimating all unknown parameters. We also generalize the parameter estimation scenario to a general hypothesis testing scenario, where the six-decibel quantum illumination advantage is achieved at a much greater total probing power.
I Introduction
Entanglement is a unique feature of quantum physics that brings benefits in information processing tasks [1]. Quantum illumination (QI) is an example where entanglement provides advantages in sensing tasks even when it is eventually destroyed by noise and loss during the sensing process [2, 3]. The protocol sends out a signal to probe the target while storing the entangled idler for reference. Upon return of the noisy signal, a measurement is performed on both the return and the idler to determine the properties of the target.
QI came as a conceptual surprise, and much effort has been devoted towards making the quantum advantage practically relevant. To begin with, the original paper by Tan et al. [3] showed quantum advantage with performance bounds and left the measurement design problem open. The initial design based on off-the-shelf components of the parametric amplifier provides sub-optimal quantum advantages [4], which has been demonstrated in the optical domain [5, 6] and more recently in the microwave domain [7]. The optimal measurement has been subsequently proposed, with the sum-frequency generation process [8] and via the correlation-to-displacement (CtoD) conversion [9, 10]. With the development of the CtoD concept, simplified sub-optimal receivers based on heterodyne-homodyne is proposed to bring hope to practical microwave implementations [11].
While the challenges in the measurement design have been relaxed, many other issues plague the practical relevance of QI, as summarized in Refs. [12, 13]. One problem regards the fact that the original protocol only detects the presence and absence of a single target in a spatiotemporal bin, which is far away from real radar detection scenarios. Efforts in extending the applicability of QI have shown that advantage in ranging can be possible [14, 15], where the target can be at different locations along a single direction. However, the more important problem is that QI is considering an energy constraint that is far from realistic. As the brightness—the photon flux per bandwidth—needs to be less than unity to enable quantum advantage, the power of the transmitter is extremely low given the gigahertz bandwidth available at microwave frequency.
In this work, we propose a quantum illumination network to resolve the above low-power and single-target constraints of the original QI protocols. While a single transceiver can only detect a single target, in the QI network, multiple targets are simultaneously probed with a network of transmitters, and the return is detected by a single receiver antenna (see Fig. 1i). Due to multiple transmitters probing the same region, the total probing power can be large. As a result, for single target case, the advantage of QI network over the original single-transmitter QI protocol increases with the number of transmitters before saturation (see Fig. 1ii). The inevitable interference of different returning signals creates a challenge to the reception end. Surprisingly, we show that even with a single receiver, one is able to overcome the interference problem and achieve estimation precision advantages over the best classical strategies in the estimation of multiple phases or transmissivities. We also provide the measurement strategy to achieve quantum advantage based on parametric amplification [4] or the CtoD conversion [9, 10].
![Refer to caption](x1.png)
The remainder of the paper is organized as follows. In Section II, we describe the framework of the QI network. Section III focuses on the practical relevance of our proposal. Then, we examine the classical benchmark of the QI network in Section IV and introduce the measurement protocols in Section V. The sensing superiority of the QI network is demonstrated in the analysis of multiple-phase sensing in Section VI and in the classification of reflectivity patterns in Section VII. Following that, we discuss a potential advantage of non-asymptotic parameter estimation in Section VIII. Finally, the conclusions are drawn in Section IX.
II Quantum illumination network set-up
A shown in Figure 1, a quantum illumination network consists of an array of transmitters, each emits a signal-idler pair in a two-mode squeezed vacuum (TMSV) state [16]
(1) |
where is the average photon number of or , and denote the annihilation and creation operators of the signal (idler) mode, respectively, and is the vacuum state. Then, the experimenter stores the idlers, , and sends the signal modes, , to the target. The experimental realization of the transmitter array can be potentially achieved by nano-antenna array [17, 18], in particular at the higher frequency end of radar detection.
At the common receiver, a single return mode is received, with interference between all return probes. The transmitters are able to excite more spatial modes of the target, which may have non-zero overlap with the receiver spatial mode. As a simplified model, we assume the maximum number of spatial modes of the target (or multiple targets) being excited is and different transmitters excite different spatial modes. Therefore, the return mode is given by the input-output relation
(2) |
which forms a multiple-access channel [19, 20] from senders and a single receiver. Note that we assume that the other output modes other than are not accessible to the receiver end. When there are transmitters, the rest transmitter modes are in vacuum. Here we define each virtual individual return to model the loss and noise in the channel [21, 3, 22],
(3) |
where is the reflectivity, is the phase angle and the noise mode has an average photon number . Typically, the actual number of transmitters , therefore we focus on the case where . Here, we adopt the premise of reflectivity-independent noise as in the original approach [3], which may arise from realistic scenarios such as low reflectivity [3], bright thermal-noise bath [3, 23], Gaussian measurement [24], and Gaussian additive noise channels [16].
Here the targets are described by phase shifts and transmissivities . These parameters can in general model different targets in the same region, or different parts of a single target. As a special case, the sets of parameters can also be equal, representing a degenerate case where only a single target is being considered. Such a degenerate case represents a spatial multiplexing at the transmitter. Due to multiple transmitters, the total transmitted average photon number is increased to ; at the same time, as we assume a single receiver, the received photon number
(4) |
increases linearly with before saturation at large transmitters. As a result, the performance of the QI network increases with the number of transmitters before saturation at . As exemplified in Fig. 1ii, the root-mean-square estimation error in single parameter estimation of QI network improves as the number of transmitters increase. The performance evaluation utilizes Eq. (3) in the degenerate case, as we detail in Section VI.
The final measurement is applied on the return mode R jointly with idler modes, . The resulting -mode is in a zero-mean Gaussian state with quadrature covariance matrix (see basic definitions with natural units in Ref. [16]):
(5) |
where refers to the adjusted background photon number, is the identity matrix of dimension , are matrices defined by with and being the Pauli matrices.
To achieve the desired high precision in sensing, one sends out mode pairs, , at each transmitter and therefore receive modes ’s. Such a repetition is typically realized by broadband probes, where is the time-bandwidth product for bandwith and pulse duration . We can also introduce the virtual received modes , similar to the single pair case in Eq. (3). The multiple mode pairs can come from the large time-bandwidth product of the spontaneous parametric down-conversion source that generates the TMSVs.
Finally, the performance of sensing is characterized by the square root of the weighted mean-square error (rWMSE)
(6) |
where refers to copies of output states from the QI process, the parameters of interest are for multiple-phase sensing or for reflectivity sensing, refer to the positive operator-valued measure (POVM) associated to -rounds of measurement, the estimator are map** from the measurement data (which could be multidimensional) to the parameters.
Given the classical and quantum Cremér-Rao theorem [25, 26, 27, 28, 29, 30, 31], the rWMSE of a measurement can be bounded as follows:
(7) |
where is the classical Fisher information matrix based on the measurement results :
and is the quantum Fisher information matrix based on the output state : with being the symmetric logarithmic derivative (SLD) defined by .
The interference among multiple returning modes, as shown in Eq. (2), will have distinct consequences in classical and quantum scenarios. For instance, in the trivial lossless and noiseless limit of , classical illumination (CI) with coherent probe states [32, 12] will lead to the output coherent state with an amplitude . In this scenario, the receiving photon number will have a scaling . The photons of returning modes are regained in a single mode. In contrast, the receiving photon number in the QI network, given by Eq. (4), has a scaling with a much higher level of photon loss. Nevertheless, we will show that the QI network can still achieve quantum advantages in multi-parameter estimation and hypothesis testing.
III Application scenarios
In contrast to previous QI protocols [2, 3, 12, 13], the present approach exhibits significantly enhanced power of probing as a result of an tramsmitter system, hence increasing its practical applicability. Here we provide modeling for different sensing scenarios in terms of the parameter choices. We will obtain thermal noise from Bose-Einstein distribution , where is the center frequency, is the effective temperature of the system, is the Planck constant and is the Boltzmann constant. The total power of the QI network will be , where refers to the bandwidth.
One parameter region of interest is the traditional microwave radar being considered in quantum illumination [3, 15, 12]. We take W-band as an example, with GHz, bandwidth GHz and sky temperature K, leading to thermal noise . Another parameter region of interest is the THz-wave radar [33, 34]. At THz frequency (wavelength um), with the implementation of nano-antenna array [17, 18], a large number of transmitters can be engineered, greatly enhancing the total power output over the single transmitter QI system [12]. We consider for 300K as THz radar is in short range. In this case, the QI network has the potential to exhibit advantages robust to the presence of various forms of sky noise [35, 34].
On this ground, the QI networks can be applied to multi-parameter estimation and hypothesis testing, which feature circumstances when a macroscopic target cannot be effectively characterized by a single parameter due to its complexity. Moreover, the QI network may be taken into account when assessing the temporal evolution of the target. In the present work, the parameters of interest are phases and reflectivities imprinted on the returning state, each associated with the range or presence of the target. Finally, via the design of measurement protocols, these physical parameters and their statistical properties can be determined.
IV Classical benchmark
As a benchmark for quantum advantage, we examine the minimal estimation error achievable by classical strategies, under the constraint that probes are prepared via a statistical mixture of coherent states [32, 12] with the same total signal power as the quantum case. We shall use the rWMSE to characterize the performance of estimation. In the degenerate case where all the phases have the same value, or where only the global information in the form of weighted average phase is unknown, we also adopt the root of the mean-square error (RMSE) directly to characterize the performance.
Based on this premise and the convexity of quantum Fisher information matrix (QFIM) [36, 31, 37], we can obtain the following theorem.
Theorem 1
(Asymptotic benchmark of phase sensing ) In the classical illumination network, where the input is restricted to random mixtures of coherent states, its rWMSE of estimating independent phases satisfies the asymptotic bound
(8) |
A detailed proof of Theorem 1 is illustrated in Appendix A. Note that it is impossible to achieve the equality of Ineq. (8) by pure coherent states when the number of experiments is limited, particularly with the condition . This is caused by the fact that only mixed input states can output states with full-rank QFIMs. However, mixed input states such as amplified spontaneous emission (ASE) source are not optimal due to the convexity of QFIM (see detailed proof in Appendix A). Nevertheless, one can resolve this issue by conducting more than experiments, by which a full-rank QFIM can be achieved by a summation of non-full-rank QFIMs. We can prove that the rWMSE is achievable with pure input states for the favorable condition for any positive integer and any positive even integer . Specifically, the experimenter estimates two parameters and in each experiment, with an effective concentration of energy [16, 38] and fine-tuned phases. Therefore, a diagonal QFIM can be achieved [39, 29]. By repeating this experiment yet with different pairs of parameters, the experimenter is able to obtain the minimum rWMSE.
V Measurement design for quantum illumination
We propose two designs of measurement to achieve the quantum advantage of a QI network.
![Refer to caption](x2.png)
V.1 Parametric amplifier network
The quantum illumination network allows the establishment of a multiple access channel [19, 20], where the follow-up measurement design of the modes can resort to the protocols based on parametric-amplifiers (PAs). For the sake of simplicity, we will examine two PA-based protocols: the parallel and serial phase-conjugate receiver (pPCR/ sPCR), where PA is adopted to perform a phase conjugation on the return. Both receivers provide a 3-dB quantum advantage in the error-probability exponent when it comes to discriminating between target’s presence or absence [40].
Specifically, the pPCR consists of the following steps (see schematic in Fig. 2(a) and detailed derivation in Appendix B):
-
(O1)
Conduct a joint PA operation on the return and vacuum to obtain the phase-conjugated return.
-
(O2)
Distribute the phase conjugated return from the PA via a multi-port beamsplitter.
-
(O3)
Implement balanced beamsplitters that produce interference pairwisely on each portion of the phase conjugated return output from the multi-port beamsplitter and a set of idlers.
-
(O4)
Perform photodetection on the interfered modes and estimate physical parameters from the difference between total photon numbers from the two output ports of each balanced beamsplitter.
In addition to applying the pPCR protocol, the experimenter can implement multiple PA operations in a sequence. As illustrated in Figure 2 (b), the sPCR consists of the following steps (see details in Appendix B):
-
(O1′)
Same as O1.
-
(O2′)
Consume one of the outputs from the PA operation to interact with one of the stored idler. Provide the other output and an additional vacuum to a subsequent PA. Repeat the aforementioned step for m times in total.
-
(O3′)
Implement balanced beamsplitter operations to pair-wisely generate interference between the PA outputs and the idlers.
-
(O4′)
Perform photodetection on the interfered modes and estimate the parameters of interest via detecting the photon count difference at each balanced beamsplitter.
Note that photon statistics from PA receivers are phase sensitive. To achieve the best performance, either prior information about the phases or adaptive strategies are needed to choose the right phase angles. In Section VI, we shall show that the PA protocols are adequate for achieving quantum advantages over any classical strategies.
V.2 Correlation-to-displacement conversion
In addition to the PA receiver network, one can consider the CtoD conversion protocol (see details in Appendix B), which involves the following steps:
-
(Q1)
Upon receiving the return, perform heterodyne measurement described by the positive operator-valued measure (POVM) on the returning mode, where refers to the coherent state with complex amplitude . The measurement outcome can be described by the vector , which satisfies the distribution:
(9) Conditioned on the measurement result , the remaining idlers will have the mean and covariance matrix
(10) where is a matrix. Considering the multi-mode nature of the return, we denote the heterodyne measurement result as for each -th mode, where is the total number of modes.
-
(Q2)
Implement identical -mode passive operations on each of the idler (containing modes) to align the displacements and to concentrate all displacements of modes into a single -mode state (see details in Appendix D.2. )
-
(Q3)
Perform homodyne measurement on each of the concentrated idlers, where refers to the eigenstate of the position operator .
The diagram of the CtoD protocol is illustrated in Figure 3. The protocol is based on the CtoD conversion [9, 10], and is a direct generalization of the heterodyne-homodyne version of CtoD receiver [11]. In the following parts of this paper, we will evaluate the quantum advantages of the PA and CtoD protocols in the context of multiple-phase sensing and pattern classification.
![Refer to caption](x3.png)
VI Multiple-phase sensing
With the receivers in hand, now we examine the performance of the QI network in multiple-phase sensing. We begin with the PA receiver in Section V.1. Denote the PA gain of the pPCR as ; For sPCR, we also choose uniform PA gains and denote it as , while the actual value of is optimized separately in sPCR and pPCR. Thanks to the Gaussian nature of the quantum states and operations involved (see Appendix C), we obtain the following theorem.
Theorem 2
(PA network for multiple phase sensing) In the QI network, the PA protocol can achieve the Fisher information matrix ():
(11) |
where the coefficients are and , for pPCR and for sPCR.
The corresponding rWMSE to the leading order can be obtained as
(12) |
A detailed proof of Theorem 2 can be found in Appendix C. In the above result, the PA gain is not specified. Indeed, one can optimize the sensing performance by tuning the values of gain. We observe that the ideal amplification rate varies between pPCR and sPCR. In pPCR, the best value of is close to two, while in sPCR, it is close to one.
For the CtoD measurement approach, exact expression of the Fisher information matrix is complicated. On the other hand, we can obtain the rWMSE expression asymptotically.
Theorem 3
(CtoD conversion for multiple phase sensing) In the QI network for multiple phase sensing, the CtoD protocol achieves the rWMSE
(13) |
A concrete proof of Theorem 3 is shown in Appendix D. To thoroughly understand the trend of the precise rWMSE obtained by the QI network in terms of the signal and noise brightness, we consider the two application scenarios introduced in Section III, where the noise for a W-band radar and for a THZ radar. Then we tune the signal brightness and evaluate the phase sensing rWMSE error for pPCR, sPCR and CtoD in QI network. In Fig. 4, we plot the ratio of the quantum rWMSE (Eqs. (12) and (3)) over the classical rWMSE (Eq. (8)) versus the ratio . It is shown that, as the input signal brightness grows, the quantum advantage tends to vanish as expected. On the other hand, given the low-brightness limit , the ratio between the rWMSEs will converge to a constant factor [41, 10]—a factor of two advantage in terms of the variance.
Remarkably, Theorems 2 and 3 extend upon earlier approaches of quantum illumination [2, 3, 41, 12, 13] by introducing an efficient measurement design for the QI network in the typical parameter region of . In particular, the errors shown in Eqs. (11) and (3) converge to the same value in the weak signal limit of (see Figure 4). Further, Eq. (3) achieves the quantum limit for single parameter estimation [42, 9], thus being tight in the scenario when only one phase is unknown. In addition, it is shown in Appendix D that the second and third steps of the CtoD method are optimal, conditionally on the choice of heterodyne measurement in its first step.
Note that Eqs. (12) and (3) approach a scaling of . This is caused by the fact that information about each phase is vanishing as its corresponding quantum amplitude decreases. To resolve this issue, we can alternate the parameter of interest to the average phase , which induces an error of scaling . Thus, it is possible to achieve a finite error with an arbitrarily high number of transmitters, even when the number of transmitters far exceeds the number of experiments .
In addition to estimating the phase of each mode, the QI network can also be used to estimate the reflectivity (assuming knowledge of the phases). Given that the PA and CtoD have the same leading order of rWMSE, by changing parameters of interest, we have the following Corollary:
Corollary 1
(Reflectivity sensing) In QI reflectivity sensing for , the achievable rWMSE is:
(14) |
Corollary 1 can be quickly verified by substituting parameters of interest by reflectivity ratios when computing QFIMs (see Appendix D).
![Refer to caption](x4.png)
Remark 1: (-mode vs single-mode output states) The QI network produces a Gaussian state with modes, using copies of TMSV input states (see Equation (5)). The zero-mean state’s properties are defined by its -by- covariance matrix, which in turn allow for the estimation of independent phases. In contrast, classical correlations can only be produced by classical mixtures of states, which does not help in achieving the bound in Eq. (8). In addition, if the input state is pure, the corresponding output state will be a single-mode displaced thermal state, in which the information of independent phases can only be determined by its displacement, with only two independent degree of freedom. The limited degree of freedom cannot allow the independent extraction of parameters. In Appendix A, we show that the rWMSE for arbitrary classical estimation protocol is subjected to in the case , where refers to the minimum mean-square-error achievable via a single-shot measurement of the output state from classical illumination networks.
Remark 2: (PA receiver vs CtoD method) Here we address different challenges of experimental implementation of both protocols in the microwave frequency region. While the PA receiver only requires Gaussian operations and photo detection, the implementation of PA receiver requires direct interaction between the noisy return with the idler stored in the fridge (see Fig. 2), which may induce additional loss and noise to the idler system. As shown in Fig. 3, the CtoD receiver avoids the direct interaction between the noisy return and the idler stored in the fridge and only relies on classical feed-forward to connect the separable measurements on the signals and idlers. Furthermore, the CtoD receiver consistently outperforms all other PA receivers in terms of estimate error.
VII Pattern classification
Besides multi-parameter estimation, hypothesis testing between different targets is one of the first applications of QI, particularly in determining the presence or absence of a target [2, 3]. In the setting with a QI network, the hypotheses can be described by the change of possible values of reflectivity: , and , where for . Given multiple copies of the -mode signal-idler state, the CtoD scheme will generate conditional states at -th mode, whose displacement depends on the reflectivity and the heterodyne measurement results . By conducting passive operations on the copies of each mode, it is possible to produce identical -mode states only based on the knowledge of the heterodyne measurement results (see detailed proof in Appendices D.2 and E): Therefore, if we quantify the performance of pattern classification by the error probability: with being an arbitrary -mode measurement, the following two theorems are given:
![Refer to caption](x5.png)
Theorem 4
(Benchmark for pattern classification) When the reflectivities are unknown or time-varying, which prevents the concentration of power in some probe modes, the minimal error probability for multiple-pattern classification is:
(15) |
A concrete proof of Theorem 4 can be found in Appendix E. It is shown that the benchmark can be achieved by preparing a statistic mixture of coherent states as input [16, 12].
On the other hand, we have the following theorem if entangled probes are allowed:
Theorem 5
(Quantum limit for pattern classification) The QI network that satisfies the conditions that can achieve the error probability:
(16) |
Remark 3: (Quantum advantage vs disadvantage) We note that the CI and QI error probabilities in Eq. (15) and Eq. (5) have different dependence on the reflectivities—the classical case has amplitude summed and then square while the quantum case has amplitude squared and then summed. Such a difference comes from the interference in Eq. (2): in the classical case, Eq. (2) will directly combine coherent state in amplitudes; while in the quantum case the multiple idlers are obtained in weakly thermal coherent states and they will only be combined in energy even if one further applies beamsplitter to concentrate all coherent states. Similar scaling difference can also be identified for single parameter estimation (see Appendix F). Remarkably, this phenomenon does not appear in multi-parameter estimation. In simple terms, the reason is that Eq. (7) excludes the off-diagonal elements of the inverse of Fisher information matrices, resulting in the rWMSE being unaffected by how parameters are collectively encoded in states.
Finally, Eq. (5) achieves the optimal error probability for hypothesis testing with a single parameter [9]. The error exponent of the QI network has an overhead as follows:
(17) | ||||
(18) |
where in the second approximation we have considered the and limit. When the number of transmitters , the above results recovers the general hypothesis testing result in Ref. [10] and provides a factor of advantage in error exponent (6 dB). In typical cases where the differences has values with equal probabilities (representing absent or present), there will be an exact 6-dB advantage in error exponent as the denominator of Eq. (18) will be proportional to [43].
VIII Discussion: Potential advantage in the optical region
Optical region typically there is no-go theorem on quantum advantage when it is very lossy [3, 2, 12, 13]. Here we present results in the non-asymptotic region that may bring hope to quantum advantage in lossy optical sensing.
In particular, this non-asymptotic estimation situation arises when the transmitter number is comparatively larger than the number of experiment rounds. On this account, the following Theorem can be given:
Theorem 6
(Non-asymptotic benchmark for phase sensing ) The classical benchmark for multiple phase sensing with the uniform distribution has the following non-asymptotic bounds:
(19) | ||||
(20) |
where is a Beyesian variance [39, 44, 45, 46], is the mean-square-error achievable by preparing coherent state probes and performing homodyne measurement for phases with .
A concrete demonstration of Theorem 6 is shown in Appendix A.4.1. In simple terms, when the value of is much less than , the rWMSE converges to a constant. This phenomenon is caused by the limitation that coherent state probes can only have two independent phases. Additionally, a statistical mixture of coherent states will induce a biased measurement results at each possibility, thus leaving other parameters at random guess. On the other hand, the QI network with CtoD measurement protocol will generate a mode output state, providing us with the opportunity to estimate each of independent parameters for enough experiment rounds without random guess (see Section VI).
Interestingly, this disadvantage of non-asymptotic classical estimation protocols might be present in the optical region, unlike the conventional illumination situation detecting a single parameter [9]. Here, we illustrate the performance of optical illumination networks in the scenario in Fig. 6. Specifically, we evaluate the lower bound and upper bound of the classical benchmark by considering Eq. (19) and Eq. (20), respectively. Due to the difficulty of computing non-asymptotic bound of rWMSE with correlated measurement data (see Section VI), we evaluate the non-asymptotic error with asymptotic Cramér-Rao bound in Fig. 6 and leave the explicit proof of this potential open for future approaches.
![Refer to caption](x6.png)
IX Conclusions
We investigated the metrological usefulness and measurement design in the quantum illumination network, where a transmitter array and a single receiver antenna are used. We proved an advantage in multiple-parameter sensing and hypothesis testing. Specifically, we analytically computed the minimum rWMSE achievable by both the QI network and arbitrary classical strategies for the typical scenarios where the probe photon number is smaller than that of the background noise. We show that for a significant range of probe photon numbers, the rWMSE achieved by either a PA or CtoD measurement protocol has a favorable value. In contrast, all classical strategies are subjected to a larger error when the signal is comparatively smaller than the noise. Further, we extend the discussion to pattern classification of the reflectivity pattern. We show that when each transmitter is constrained to a fixed number of photons, the QI network can achieve the six-decibel advantage as in the single-parameter hypothesis testing case. As explored in Ref. [15], we expect the six-decibel advantage can lead to large resolution advantage in the threshold region of parameter estimation.
Finally, we point out a few future directions. In the QI network, we have only considered a single receiver antenna. An array of antenna such as that in the multiple-input and multiple-output (MIMO) channel scenarios can enable further enhancement of signal-to-noise ratios. While we considered multi-parameter estimation, it is an open question how such advantages can be generalized to more general measurement settings, such as tomography and learning.
Acknowledgments.— This project was supported by the National Science Foundation CAREER Award CCF-2142882, the National Science Foundation (NSF) Engineering Research Center for Quantum Networks Grant No. 1941583, Office of Naval Research (ONR) Grant No. N00014-23-1-2296, National Science Foundation OMA-2326746, and the Defense Advanced Research Projects Agency (DARPA) under Young Faculty Award (YFA) Grant No. N660012014029. QZ also acknowledge supports from Halliburton Technology.
References
- Zhang et al. [2024] Z. Zhang, C. You, O. S. Magaña-Loaiza, R. Fickler, R. d. J. León-Montiel, J. P. Torres, T. S. Humble, S. Liu, Y. Xia, and Q. Zhuang, Advances in Optics and Photonics 16, 60 (2024).
- Lloyd [2008] S. Lloyd, Science 321, 1463 (2008).
- Tan et al. [2008] S.-H. Tan, B. I. Erkmen, V. Giovannetti, S. Guha, S. Lloyd, L. Maccone, S. Pirandola, and J. H. Shapiro, Physical review letters 101, 253601 (2008).
- Guha and Erkmen [2009a] S. Guha and B. I. Erkmen, Physical Review A 80, 052310 (2009a).
- Zhang et al. [2015] Z. Zhang, S. Mouradian, F. N. Wong, and J. H. Shapiro, Phys. Rev. Lett. 114, 110506 (2015).
- Hao et al. [2022] S. Hao, H. Shi, C. N. Gagatsos, M. Mishra, B. Bash, I. Djordjevic, S. Guha, Q. Zhuang, and Z. Zhang, Physical Review Letters 129, 010501 (2022).
- Assouly et al. [2023] R. Assouly, R. Dassonneville, T. Peronnin, A. Bienfait, and B. Huard, Nature Physics 19, 1418 (2023).
- Zhuang et al. [2017] Q. Zhuang, Z. Zhang, and J. H. Shapiro, Phys. Rev. Lett. 118, 040801 (2017).
- Shi et al. [2024a] H. Shi, B. Zhang, J. H. Shapiro, Z. Zhang, and Q. Zhuang, Physical Review Applied 21, 034004 (2024a).
- Shi et al. [2024b] H. Shi, B. Zhang, J. H. Shapiro, Z. Zhang, and Q. Zhuang, Phys. Rev. Applied 21, 034004 (2024b).
- Reichert et al. [2023] M. Reichert, Q. Zhuang, J. H. Shapiro, and R. Di Candia, Phys. Rev. Appl. 20, 014030 (2023).
- Shapiro [2020] J. H. Shapiro, IEEE Aerospace and Electronic Systems Magazine 35, 8 (2020).
- Karsa et al. [2023] A. Karsa, A. Fletcher, G. Spedalieri, and S. Pirandola, arXiv:2310.06049 (2023).
- Zhuang [2021] Q. Zhuang, Phys. Rev. Lett. 126, 240501 (2021).
- Zhuang and Shapiro [2022] Q. Zhuang and J. H. Shapiro, Phys. Rev. Lett. 128, 010501 (2022).
- Weedbrook et al. [2012] C. Weedbrook, S. Pirandola, R. García-Patrón, N. J. Cerf, T. C. Ralph, J. H. Shapiro, and S. Lloyd, Reviews of Modern Physics 84, 621 (2012).
- Llatser et al. [2012] I. Llatser, C. Kremers, A. Cabellos-Aparicio, J. M. Jornet, E. Alarcón, and D. N. Chigrin, Photonics and Nanostructures-Fundamentals and Applications 10, 353 (2012).
- Kavitha et al. [2022] S. Kavitha, K. Sairam, and A. Singh, SN Applied Sciences 4, 114 (2022).
- Winter [2001] A. Winter, IEEE Transactions on Information Theory 47, 3059 (2001).
- Shi et al. [2021] H. Shi, M.-H. Hsieh, S. Guha, Z. Zhang, and Q. Zhuang, npj Quantum Information 7, 74 (2021).
- Yuen [1976] H. P. Yuen, Physical Review A 13, 2226 (1976).
- Yuen and Nair [2009] H. P. Yuen and R. Nair, Physical Review A 80, 023816 (2009).
- Wilde et al. [2017] M. M. Wilde, M. Tomamichel, S. Lloyd, and M. Berta, Physical review letters 119, 120501 (2017).
- Karsa and Pirandola [2020] A. Karsa and S. Pirandola, IEEE Aerospace and Electronic Systems Magazine 35, 22 (2020).
- Fisher [1925] R. A. Fisher, in Mathematical Proceedings of the Cambridge Philosophical Society, Vol. 22 (Cambridge University Press, 1925) pp. 700–725.
- Rao [1992] C. R. Rao, in Breakthroughs in Statistics (Springer, New York, USA, 1992) pp. 235–247.
- Cramér [1999] H. Cramér, Mathematical Methods of Statistics, Vol. 9 (Princeton University Press, Princeton, New Jersey, USA, 1999).
- Helstrom [1976] C. W. Helstrom, Quantum detection and estimation theory (Academic press, 1976).
- Holevo [2011] A. S. Holevo, Probabilistic and statistical aspects of quantum theory, Vol. 1 (Springer Science & Business Media, 2011).
- Braunstein and Caves [1994] S. L. Braunstein and C. M. Caves, Physical Review Letters 72, 3439 (1994).
- Liu et al. [2020] J. Liu, H. Yuan, X.-M. Lu, and X. Wang, Journal of Physics A: Mathematical and Theoretical 53, 023001 (2020).
- Serafini [2017] A. Serafini, Quantum continuous variables: a primer of theoretical methods (CRC press, 2017).
- Cooper et al. [2011] K. B. Cooper, R. J. Dengler, N. Llombart, B. Thomas, G. Chattopadhyay, and P. H. Siegel, IEEE Transactions on terahertz science and technology 1, 169 (2011).
- Kokkoniemi et al. [2016] J. Kokkoniemi, J. Lehtomäki, and M. Juntti, Nano communication networks 8, 35 (2016).
- Ippolito et al. [1981] L. J. Ippolito, R. Kaul, and R. Wallace, Propagation effects handbook for satellite systems design (National Aeronautics and Space Administration Washington, DC, 1981).
- Takeoka et al. [2017] M. Takeoka, K. P. Seshadreesan, C. You, S. Izumi, and J. P. Dowling, Physical Review A 96, 052118 (2017).
- Slaoui et al. [2022] A. Slaoui, L. B. Drissi, E. H. Saidi, and R. A. Laamara, arXiv preprint arXiv:2204.14252 (2022).
- Guha [2011] S. Guha, Physical review letters 106, 240502 (2011).
- Helstrom [1969] C. W. Helstrom, Journal of Statistical Physics 1, 231 (1969).
- Guha and Erkmen [2009b] S. Guha and B. I. Erkmen, Phys. Rev. A 80, 052310 (2009b).
- Sanz et al. [2017] M. Sanz, U. Las Heras, J. J. García-Ripoll, E. Solano, and R. Di Candia, Physical review letters 118, 070803 (2017).
- Shi et al. [2020] H. Shi, Z. Zhang, and Q. Zhuang, Phys. Rev. Appl. 13, 034029 (2020).
- Lawler and Limic [2010] G. F. Lawler and V. Limic, Random walk: a modern introduction, Vol. 123 (Cambridge University Press, 2010).
- Personick [1971] S. Personick, IEEE Transactions on Information Theory 17, 240 (1971).
- Yuen and Lax [1973] H. Yuen and M. Lax, IEEE Transactions on Information Theory 19, 740 (1973).
- Rubio and Dunningham [2020] J. Rubio and J. Dunningham, Physical Review A 101, 032114 (2020).
- Dodonov et al. [1994] V. Dodonov, O. Man’ko, and V. Man’ko, Physical Review A 50, 813 (1994).
- Parthasarathy and Sengupta [2015] K. Parthasarathy and R. Sengupta, Infinite Dimensional Analysis, Quantum Probability and Related Topics 18, 1550023 (2015).
- Vallone et al. [2019] G. Vallone, G. Cariolaro, and G. Pierobon, Physical Review A 99, 023817 (2019).
- Genoni et al. [2016] M. G. Genoni, L. Lami, and A. Serafini, Contemporary Physics 57, 331 (2016).
- Porat and Friedlander [1986] B. Porat and B. Friedlander, IEEE transactions on acoustics, speech, and signal processing 34, 118 (1986).
- Pinele et al. [2020] J. Pinele, J. E. Strapasson, and S. I. Costa, Entropy 22, 404 (2020).
- Gao and Lee [2014] Y. Gao and H. Lee, The European Physical Journal D 68, 1 (2014).
- Nichols et al. [2018] R. Nichols, P. Liuzzo-Scorpo, P. A. Knott, and G. Adesso, Physical Review A 98, 012114 (2018).
- Šafránek [2018] D. Šafránek, Journal of Physics A: Mathematical and Theoretical 52, 035304 (2018).
- Horn and Johnson [2012] R. A. Horn and C. R. Johnson, Matrix analysis (Cambridge university press, 2012).
- Gagatsos et al. [2017] C. N. Gagatsos, B. A. Bash, S. Guha, and A. Datta, Physical Review A 96, 062306 (2017).
- Suzuki et al. [2020] J. Suzuki, Y. Yang, and M. Hayashi, Journal of Physics A: Mathematical and Theoretical 53, 453001 (2020).
- Audenaert et al. [2007] K. M. Audenaert, J. Calsamiglia, R. Munoz-Tapia, E. Bagan, L. Masanes, A. Acin, and F. Verstraete, Physical review letters 98, 160501 (2007).
- Pirandola and Lloyd [2008] S. Pirandola and S. Lloyd, Physical Review A 78, 012331 (2008).
- Nielsen and Chuang [2010] M. A. Nielsen and I. L. Chuang, Quantum computation and quantum information (Cambridge university press, 2010).
- Swokowski [1979] E. W. Swokowski, Calculus with analytic geometry (Taylor & Francis, 1979).
- Zhuang and Pirandola [2020] Q. Zhuang and S. Pirandola, Communications Physics 3, 103 (2020).
Appendix A Benchmark for phase estimation
In this Appendix, we shall demonstrate the estimation error limit that can not be surpassed by any classical schemes.
A.1 Set-up
Without losing the generality, let us consider a situation in which the experimenter is constrained to signal-idler in mixtures of coherent states [32, 12]:
(21) |
where refers to the vector of complex amplitudes and denotes an arbitrary probability distribution. The energy constraint can be expressed as:
(22) |
Then, the output state of a multi-parameter illumination process becomes:
(23) | ||||
(24) | ||||
(25) |
where is the quantum channel of illumination process, refers to a thermal state with an average photon number , are weights defined by linear operation in consideration of signaling transmitters and vacuum inputs, and are the parameters defined by Eq. (3) in the main text. Without loss of generality, we adopt the simplification as in Eq. (2) of the main text in estimating error scalings throughout all Appendices, as imhomogenuity can be absorbed into the different values of ’s.
A.2 Lower bound of rWMSE
Given the definition of parity for matrices and the convexity of quantum Fisher information matrix (QFIM) [36, 31, 37], we have the following bound:
(26) | ||||
(27) | ||||
(28) | ||||
(29) | ||||
(30) |
where refers to the QFIM for the state defined in Eq. (7), , and . The second inequality is obtained by the relation
(31) | ||||
(32) | ||||
(33) |
Thereby, the rWMSE for an arbitrary classical strategy can be lower bounded as:
(34) | ||||
(35) | ||||
(36) | ||||
(37) |
where refers to an eigendecomposition for an arbitrary density matrix, the inequality is derived by the relation . This proves Theorem 1.
A.3 Achievability of the lower bound
Based on the inequality shown in Eq. (35), it can be inferred that the optimal QFIM exhibits a spectrum decomposition characterized by a uniform distribution. However, this requirement cannot be satisfied if we also want to establish equality in the inequality shown in Eq. (27), as it achieves equality when applied to pure input states and the associated QFIM are rank-two matrices.
To resolve this issue, one can consider a scenario where the experimenter implements rounds of experiments. In this case, we have the following bounds of QFIM:
(38) |
where represents the eigen-decomposition for the density matrix associated to the summation of different QFIMs. In this case, one can achieve the lower bound of Eq. (37) without requiring full-rank QFIM for each round of the experiment.
In the case with , one can concentrate the displacement energy into two specific input pure modes in principle, in order to achieve linear independence of the QFIMs:
(39) |
where is a rank-two QFIM that can be obtained by . Then, each QFIM is bounded as follows:
(40) |
In the ideal case and is even, we have:
(41) |
In practice, if the values are completely unknown, one can alternatively devise more than experiments to avoid the design of two-mode experiments with fine-tuned phases.
For the estimation of the average phase , by applying the Jacobi transformation on the optimal QFIM of two parameters in Eq. (40), we will have the Fisher information as follows:
(42) |
The corresponding RMSE is:
(43) |
A.4 Non-asymptotic parameter estimation with
In practice, it is usually challenging to conduct more than experiments when the effective transmitter number is large. In this situation, one has to prepare a mixture of pure coherent states as the input to guarantee a full-rank QFIM. However, the upper bound in Eq. (27) will become loose with mixed probes due to the convexity of QFIM. Moreover, the QFIM is not applicable for evaluating errors in non-asymptotic cases. In this subsection, we will demonstrate a lower bound of error based on the Bayesian approach and an upper bound from homodyne detection.
A.4.1 Lower bound of error with Bayesian approaches
Given the fact that if the input is a -mode pure coherent state, the output state of the illumination network can only be encoded with two independent real parameters, the rWMSE for estimating each phase with single-shot measurement can be bounded as follows:
(44) | |||
(45) | |||
(46) | |||
(47) |
where is associated to the state that encodes the information about and denotes a mutually orthogonal set of subscripts from 1 to , is the output state of a classical illumination network when the input is a -mode pure coherent state . Here, the state carries information for two independent phases, while its mixture can encode independent phases. refers to the unbiased estimator when the output is . Here, the second equation is derived from the fact that the state can only carry information for at most two independent real parameters. The inequality is derived by considering a uniform distribution of the phases and by using the relation and the Bayesian bound for non-asymptotic measurement [39, 44, 45, 46]: where are Bayesian counterpart of the equation for the SLD defined by: with being the uniform distribution. This Bayesian bound can be evaluated numerically by solving the above Sylvester equation.
More generally, if we choose to estimate phases and leave the other for random guess, we have the error:
(48) |
where is the single-shot MSE of estimating for the probe with displacement for arbitrary .
A.4.2 Upper bound of error with pure probe and homodyne measurement
Consider the situation where the experimenter prepares a highly-bright single-mode probe for the estimation of a single phase. The returning state will be:
(49) |
Then, the experimenter performs a single-shot homodyne measurement, which produces the probability distribution [32]:
(50) |
where refers to the homodyne measurement result.
By constructing the maximum likelihood estimator:
(51) |
the mean-square-error will be:
(52) | ||||
(53) | ||||
(54) | ||||
(55) |
where is known. Thereby, by repeating experiment times to estimate a single parameter, the mean-square-error will decrease in a scaling .
Consider the non-asymptotic multi-parameter sensing case where the experimenter only estimate parameters, for each implementing rounds of experiments. Then, he will leave the other independent parameter at random guess. Therefore, the overall rWMSE will be:
(56) |
where is the total experiment rounds.
Appendix B Quantum illumination network set-up and its measurement design
B.1 Representation of Gaussian quantum systems
In this section, we review basic definitions for continuous-variable quantum systems, showing the Gaussian representation of quantum states in terms of their moments.
Consider a -mode continuous-variable Gaussian quantum system, where the whole system can be fully described by its first and second moments [16, 32]. Specifically, if we adopt the natural units , the characteristic function of a -mode Gaussian state can be defined as:
(57) | ||||
(58) |
where the matrix is known as the symplectic form, us the displacement operator, is the covariance matrix and is the mean. The displacement operator , where are quadratures to describe quasidistributions and refers to the quadrature field operator. The covariance matrix defined by with and being the anticommutator, while the mean .
B.2 Quantum illumination network
The quantum illumination network that involves the CtoD measurement protocol consists of the following steps:
-
(I)
Preparation of probes:— A transmitter array generates copies of two-mode squeezed vacuum (TMSV) states. The overall state can be described by the displacement and covariance matrix [16]:
(59) where is the vector with zeros, is the Pauli-Z matrix, is the identity, is the identity, and refers to the average photon number of the two-mode squeezed vacuum state.
-
(II)
Sensing of phase and reflectivity:— The signal modes of the entangled states are sent to the target, and each independently experiences a thermal loss channel as described by Eq. (3) in the main text. The overall -mode noisy process gives rise to the following moments:
(60) with being an operator defined as , and being the Pauli-Y operator.
-
(III)
Coherent interference:— The interference among multiple returning modes can be modeled by a linear operation wherein the signal-imprinted modes are taken as input. This channel will lead to the following moments:
(61) where is a unitary matrix with being the entry at its -th row and -th column, satisfying the condition , is the projector to the signaling modes and the idlers. For algebraic convenience, we assume the condition when estimating error scalings.
-
(IV)
Discarding of m-1 modes:— Due to the multi-access channel, the experimenter has only access to one of the modes after interference and therefore equivalently discards the imprinted modes and obtains a state with the following moments:
(62) where the matrix entries are defined as: .
In the following part of the Appendix and the main text, for the simplicity of notations, we denote the interference coefficients by and assume that they are all positive numbers.
B.3 Parametric-amplifier (PA) receiver network
Let us examine two practical methods for implementing the PA receiver network, known as the parallel (pPCR) and serial phase-conjugate receiver (sPCR), as shown in Figure 7.
B.3.1 Parallel PCR
The parallel PCR scheme is illustrated in Figure 7 (a). Given the output state from the QI network (as shown in Eq. (62)), the pPCR consists of the following steps:
-
(V-
A1) PA on the returning mode and a vacuum state:— The experimenter conducts a joint PA operation that generates interference between the returning mode and a vacuum state:
(63) where refers to the position (momentum) operator of the returning mode, refers to the position (momentum) operator of the vacuum whose covariance matrix is , and is the amplification gain. After discarding one mode of PA, the covariance matrix of the -mode state will be transformed into the following matrix:
(64) -
(VI-
A1) Distribution via a multi-port beamsplitter:— By using a multi-port beamsplitter, one can obtain the following covariance matrix:
(65) (66) where is a unitary matrix with being the entry at its -th row and -th column, satisfying the condition . Without losing the generality, let’s consider the multi-port beamsplitter with . Then, the covariance matrix becomes:
(67) where and .
-
(VII
-A1) Interfere the signal modes and idlers pairwisely with balanced beamsplitters:— Implement balanced beamsplitter operations: pairwisely on each output from the multi-port beamsplitter and one of the idler modes. Output states of the -th balanced beamsplitter can be denoted by the subscript . The resulting covariance matrix is denoted by .
Now let’s define as the photon number operator of the () mode. Thanks to the results in Refs. [47, 48, 49], we can express the first and second moments of the photon number operator as functions of the covariance matrix . Further, if we define the photon number difference operator at the -th beamsplitter as , we will have the following moments of :
(68) (69) (70) (71) -
(IX
-A1) Detecting the difference between the total photon counts :— Given rounds of experiments, estimate physical parameters from the difference between total photon numbers from the output ports of each balanced beamsplitter. Given the multidimensional central limit theorem, the total photon number difference of the -th beamsplitter follows the distribution:
(72) (73) (74) where is the vector of total photon count difference, refers to the photon number difference operators of a single experiment, the explicit expressions of and are given by Eqs. 68 and 71.
B.3.2 Serial PCR
Consider the serial phase-conjugate receiver as illustrated in Figure 7. (b). It would consist the following steps:
-
(V
-A2) Conduct a joint PA operation to interfere the returned state with a vacuum state:— The experimenter implements a joint PA operation that takes the first vacuum state and the returning mode as the input. The covariance matrix can be updated following Eq. (63):
(75) -
(VI-
A2) Repeated PA:— Store one of the output states from the PA operation. Provide the other output state and an additional vacuum state to a subsequent PA (see Figure 7). Repeat the aforementioned step for times in total. Finally, the covariance matrix becomes:
(76) where , , and .
-
(VII-
A2) Interfere the output states of PA and idlers pairwisely with balanced beamsplitters:— The experimenter implements balanced beamsplitter operations to pairwisely generate interference between the stored output states of PAs and the idler states. Output states of the -th balanced beamsplitter can be denoted by the subscript .
Then, the first and second moments of the photon number difference operator are as follows:
(77) (78) (79) -
(VIII
-A1) Detecting the difference between the total photon counts :— Given rounds of experiments, estimate physical parameters from the difference between total photon numbers from the output ports of each balanced beamsplitter. Given the multidimensional central limit theorem, the probability of total photon number difference follows Eq. (72).
![Refer to caption](x7.png)
B.4 Correlation-to-displacement (CtoD) conversion
Let’s look at the measurement design with correlation-to-displacement conversion. After obtaining the overall output state in Eq. (62), one can implement the following step:
-
(V.B)
Measuring one returning mode:— The experimenter performs a single-mode heterodyne measurement on the output of the multiple-access channel. For simplicity of notation, let’s define the vector . Then, by adopting the well-known results for conditional Gaussian systems [50], we will have the resulting moments:
(80)
Appendix C Performance of PA receivers in phase sensing
C.1 Quantum Cremér-Rao bound
Consider a quantum state , which encodes a vector of parameters of interest . Given the quantum Cremér-Rao theorem [28, 29, 30, 31] , we have the following bound for multiparameter estimation:
(81) |
where is the mean-square-error (MSE) matrix with elements , refer to the positive operator-valued measure (POVM) of the measurement that satisfy the condition and , is a map** from the measurement result to the parameter , is the quantum Fisher information matrix (QFIM) with the element and being the symmetric logarithmic derivative defined by . Note that when the QFIM is a diagonal matrix, the Cremér-Rao bound is achievable [39, 29].
Furthermore, the bound in Eq. (81) has a equivalent expression:
(82) |
where could be an arbitrary positive semidefinite matrix. If we choose and define the average of the variances in estimating each phase as:
(83) |
we will have the Cramér-Rao bound for rWMSE:
(84) |
C.2 PA receivers
Here we investigate the precision achievable by the parallel PCR scheme introduced in Section B.3. Given Eq. (72), we know that the measurement probability of pPCR follows a nultivariate normal distribution. By applying the results in Ref. [51, 52], we will have the element of Fisher information matrix regarding the phases:
(85) | ||||
(86) |
where and is the covariance matrix defined in Eq. (72) with:
(87) | ||||
(88) | ||||
(89) |
Given that the first term of Eq. (86) exhibit a proportional increase with respect to , we have:
(90) |
Next, the rWMSE may be calculated by creating the Fisher information matrix using the diagonal elements and inputting it into Equation (84).
The calculation technique for serial PCR is identical to the one described above, with the exception that the moments are and :
(91) | ||||
(92) |
The corresponding Fisher information is:
(93) |
Therefore, one can obtain the Eq. (11) in the main text. Furthermore, if we rewrite the Fisher information of Eq. (11) of the main text as with being its first diagonal term and describing its second term, its inverse will be:
(94) |
By applying Eq. (84), one can achieve Eq. (12) in Theorem 2 of the main text.
Appendix D Optimal design of the CtoD protocol for phase sensing
In the follow-up section, we shall evaluate the achievable QFIM for the QI network with the condition . Specifically, we first prove that the QFIM of the resulting state after implementing the heterodyne measurement in the CtoD protocol establishes a diagonal matrix. Then, we take the average of the QFIM based on the heterodyne measurement result, as the output state is projected to an orthogonal basis [31]. Finally, we show that the classical FIM obtained by performing homodyne measurement in the last step of the CtoD can achieve the aforementioned average QFIM.
D.1 Explicit expression of the quantum Fisher information matrix
Let’s compute the quantum Fisher information matrix of the conditional state described by Eq. (80) in terms of the phases . Without losing the generality, let’s have the presumption . We will later investigate the parameter region for in the practical design of measurements. On this account, the quantum Fisher information matrix (QFIM) [53, 54, 55, 31] regarding different parameters is:
(95) |
where .
Further, we can define the matrix with being the first term of Eq. (80). Then, given the relation , we have the condition [56] as well as the following relation:
(96) | ||||
(97) |
where is an error matrix that has the scaling . Therefore, given the following relations:
(98) | ||||
(99) | ||||
(100) |
where , , , the overall Fisher information matrix is lower bounded as follows:
(101) |
where is a matrix with the elements , has the scaling .
Therefore, the average Fisher information matrix is:
(102) | ||||
(103) |
where is a vector and , the first and second term of Eq. (D.1) has the scaling and , respectively. The dominating part of the average Fisher information matrix is diagonal, which indicates that it is achievable by independent single-parameter estimation protocols [39, 29]. In addition, the first term of Eq. (D.1) has the same scaling as that shown in the single-parameter estimation [57].
D.2 Repetition of experiments
The average Fisher information matrix in Eq. (D.1) is derived by taking an average of the Fisher information matrix for conditional states, while in practice, different rounds of experiments will lead to different conditional states. Consider a scenario where the experimenter conducts the CtoD protocol with rounds of experiment. The resulting state will be:
(104) |
which has the moments:
(105) |
where refer to the heterodyne measurement reuslt from -th repetition of the steps (I)-(IV) and (V.B).
-
(VI.B)
Phase rotation and displacement concentration:— The experimenter can implement single-mode phase-rotation operations based on the measurement results to make the phase of displacement equal to that of the first mode. Then, the experimenter can implement -mode beam-splitter operations in the redundant space to concentrate the displacement to modes with moments:
(106) where .
Given the relations and , we can quickly derive the quantum Fisher information matrix:
(107) |
where the expressions for and are given in Eq. (D.1).
D.3 Optimal design of the estimation protocol
Let’s consider homodyne measurement on the conditional state in step V.B, which produces the probability distribution [32]:
(108) |
where is a matrix with matrix elements , is a real vector with elements regarding to the measurement result, is the position component of .
Therefore, we have the classical Fisher information matrix:
(109) | ||||
(110) | ||||
(111) | ||||
(112) |
where and refer to case where the -th and -th phases have negligible additional parts and , respectively, , and Eq. (110) is obtained by the relation:
(113) | ||||
(114) | ||||
(115) | ||||
(116) |
Here the inequality is derived from the Cauchy–Schwarz inequality: .
Here we have the relation:
(117) |
where and , the second term has the scaling for and for . Here, we assume the condition . Then, one can compute the explicit expression for the Fisher information:
(118) |
where has the scaling for either the case or the case .
If we adopt the protocol VI in rounds of experiment and integrate over the set of measurement results , we have:
(119) | ||||
(120) |
where has the scaling . Therefore, for either the case or the case , we have the average of the estimation variance for :
(121) | ||||
(122) | ||||
(123) |
where the second equation is obtained by taking into consideration the effect of nuisance parameters [58]. Finally, by defining the standard derivation by , we can achieve the Eq. (3) in the main text.
Note that the achievable rWMSE can also be lower bounded by that obtained by a favorable case where only one of the phases is unknown [58]. In this case, the scaling of the lower bound regarding , , and can be given by an RMSE for estimating identical phases. It has been shown in Ref. [9] that the optimal RMSE achieves the scaling . Therefore, we can conclude that Eq. (3) attains the optimal scaling regarding , , and , despite noncommutative generators for alternative phases.
Appendix E CtoD protocol for Pattern Classification
E.1 Set-up
Let’s consider the scenario where the QI network is employed to discriminate the following two hypotheses:
(124) |
where for refers to the vector of reflectivity encoded from the output state of the QI network (see Eq. (5) in the main text). Following the first and second steps of the CtoD protocol with rounds of experiment in Appendix D.2, it is possible to produce an -mode conditional state described by Eq. (10) in the main text:
(125) |
except for its displacement where , where the subscript ‘pe’ stands for parameter estimation. Here, we introduce an alternative second step of CtoD for hypothesis testing:
-
(2.HP)
Use the -mode beam-splitter operations to uniformly distributed the displacements to the -mode states:
(126) where the subscript ‘hp’ stands for hypothesis testing.
E.2 The quantum Chernoff bound
Through the step mentioned by the last subsection, we can apply the quantum Chernoff bound for discriminating identical states and bound the corresponding error [59, 60]:
(127) | ||||
(128) | ||||
(129) |
where the inequality is derived from the quantum data processing inequality after heterodyne measurement [61], refers to an arbitrary -mode measurement. In particular, we can further use the relations for Gaussian quantum systems [60]:
(130) | ||||
(131) | ||||
(132) |
where is a symplectic transformation defined by with being the symplectic eigenvalues, with being the covariance matrix defined in Eq. (10) of the main text, the displacement vector is defined by , are defined in Eq. (5) in the main text.
Without losing the generality, let’s consider the practical situation where the phases are known. Then, one can implement phase correction operations to have for . In this case, the covariance matrices has the form with , we could have:
(133) |
Thereby, if we take into consideration the condition , we have:
(134) | ||||
(135) | ||||
(136) |
where is a constant from the definition of the derivative limit [62].
With these premises, we have the relation:
(137) | ||||
(138) | ||||
(139) |
Finally, the discrimination error is bounded by:
(140) | ||||
(141) |
Given the probability distribution
(142) |
for a constant due to the assumption , we have the average error is:
(143) | ||||
(144) |
which has the same scaling with the single parameter case [9].
E.3 Benchmark for pattern classification
Classical pattern classification protocols can be modeled as the situation where the input source for the QI network will be described by a state with positive P-representation [16, 12]. Equivalently, the input source can be modeled by a statistical mixture of multi-mode coherent states. Given the result in Ref. [63], we know that the minimum error is achieved by pure probe states in the quantum discrimination of channels. Therefore, with coherent probe states , the output state of the QI network will be a single-mode displaced thermal state , which induces the relations:
(145) |
where and are functions defined as follows:
(146) | ||||
(147) |
Furthermore, it can be proved that Eq. (145) achieves its minimal value by with [9]. Therefore, we have:
(148) |
In the case where either or are unknown, the experimenter can not concentrate the power of the probe modes to one that minimizes the error probability. Further, we have the following conditions:
(149) |
we will have a scaling advantage using the CtoD quantum strategy.
Appendix F Discussion on average phase sensing
Let’s reduce our discussion to single-parameter estimation. As a concrete example, we consider the sensing of the average phase:
(150) |
Next, there will be two distinct scenarios: (i) The differences between each pair of the phases are known. (ii) There still exist independent and unknown phases after estimation of the average phase. In the subsequent subsections, we shall examine these two scenarios separately.
F.1 Degenerative case
If differences between each pair of phases are known, we may apply the following transformation [58] of to the QFIM achievable by the QI network:
(151) | ||||
(152) |
where is the QFIM obtained by the CtoD, as shown in Eq. (D.1), is defined in Eq. (2) in the main text and is given by the premise . Then, its RMSE is:
(153) |
On the other hand, given by the convexity of Fisher information [31], the output state from classical illumination network in Eq. (25) will achieve the maximal value of quantum Fisher information (QFI) when the probe is pure. By using the results of QFI for Gaussian states [53, 54, 55, 31], we will have the maximal QFI for classical case:
(154) | ||||
(155) |
The corresponding root mean-square-error (RMSE) achievable by the classical network is:
(156) |
F.2 Non-degenerative case
Consider the case where there are unknown independent parameters , where is defined in Eq. (150). The partial Fisher information of can be obtain by computing the Schur’s complement [58] of the initial FIM, i.e. that in Eqs. (D.1). The presence of nuisance parameters in both quantum and classical scenarios leads to a reduction in the value of partial Fisher information. Given the current focus on multi-parameter sensing, we will leave this research question for future works.