Demonstration of optimal non

npj Quantum Information volume 8, Article number: 84 (2022) Cite this article

1267 Accesses

1 Citations

1 Altmetric

Metrics details

Quantum state discrimination is a central problem in quantum measurement theory, with applications spanning from quantum communication to computation. Typical measurement paradigms for state discrimination involve a minimum probability of error or unambiguous discrimination with a minimum probability of inconclusive results. Alternatively, an optimal inconclusive measurement, a non-projective measurement, achieves minimal error for a given inconclusive probability. This more general measurement encompasses the standard measurement paradigms for state discrimination and provides a much more powerful tool for quantum information and communication. Here, we experimentally demonstrate the optimal inconclusive measurement for the discrimination of binary coherent states using linear optics and single-photon detection. Our demonstration uses coherent displacement operations based on interference, single-photon detection, and fast feedback to prepare the optimal feedback policy for the optimal non-projective quantum measurement with high fidelity. This generalized measurement allows us to transition among standard measurement paradigms in an optimal way from minimum error to unambiguous measurements for binary coherent states. As a particular case, we use this general measurement to implement the optimal minimum error measurement for phase-coherent states, which is the optimal modulation for communications under the average power constraint. Moreover, we propose a hybrid measurement that leverages the binary optimal inconclusive measurement in conjunction with sequential, unambiguous state elimination to realize higher dimensional inconclusive measurements of coherent states.

Quantum measurement theory provides a fundamental understanding of the limits on the achievable sensitivity for distinguishing quantum states1,2,3. Physically realizable strategies that attain, or even approach, the ultimate sensitivity limits for distinguishing nonorthogonal coherent states have a wide range of applications in optical communication4,5,6,7,8,9, cryptography10,11,12,13,14,15,16,17, and quantum information processing18,19,20. A central problem in quantum measurement theory and quantum information processing is the discrimination between two quantum states \(\left|{\psi }_{1}\right\rangle\) and \(\left|{\psi }_{2}\right\rangle\) with a certain optimal measurement given an optimality criterion, depending on the specific application2,21,22.

Two fundamental measurement paradigms for quantum state discrimination involve either minimum error or unambiguous state discrimination. Minimum-error state discrimination (MESD) aims to achieve minimal probability of error PE23,24,25,26,27,28,29,30,31,32,33,34. The Helstrom bound24 gives the ultimate limit for PE, which is achieved by projective measurements onto complex superpositions of quantum states. Notably, the optimal MESD measurement for binary coherent states can be realized with linear optics, single-photon detection, and fast feedback35,36. In contrast, unambiguous state discrimination (USD) allows for perfect discrimination with PE = 0, but requires a non-zero probability of inconclusive results PI ≠ 0. Such a non-projective measurement is described by a positive operator-valued measure (POVM) with three elements2,37,38, and aims to achieve the smallest possible PI39,40,41,42,43,44,45,46,47. The realization of optimal USD of binary coherent states does not require feedback12,48,49, allowing for simpler implementations45,50 compared to optimal MESD.

While optimal projective measurements exist for certain binary discrimination tasks2,24,51,52, quantum measurement theory allows for a broader class of generalized quantum measurements that are not projective. These generalized measurements provide a more powerful tool for quantum information processing and communications2. Among these general quantum measurements, the optimal inconclusive measurement achieves the smallest possible error probability for a fixed probability of inconclusive results37,53. This measurement is a non-projective measurement, and thus described by a non-projective POVM, that encompasses MESD and USD measurement paradigms. Moreover, non-projective quantum measurements allow for more exotic discrimination tasks such as quantum state elimination54, state comparison55,56,57, and discrimination with a fixed error margin58. Furthermore, understanding optimal inconclusive measurements for binary states may provide a path for realizing arbitrary non-projective POVMs in a two-dimensional Hilbert space59,60.

Theoretical work on quantum measurement theory has shown that it is possible to realize an optimal inconclusive measurement for a broad class of quantum states based on local operations and classical communications58,61,62. However, the corresponding measurement operators for the discrimination of optical coherent states do not necessarily have a feasible physical realization. While suboptimal inconclusive measurements of coherent states can be realized based on linear optics and single-photon detection63, their performance falls short of the performance of the optimal inconclusive measurement. Recent work in ref. 64 proposed a physical realization of a strategy for the optimal inconclusive measurement of binary coherent states. It was shown that such a non-projective measurement can be realized using displacement operations, single-photon detection, and feedback64, which are the same physical elements needed for implementing arbitrary binary projective measurements52,65.

In this work, we experimentally demonstrate the optimal inconclusive measurement for binary coherent states64. The measurement splits the energy of the input state into two temporal modes. It performs a MESD measurement in the first mode providing conclusive results with a certain probability of error, and an optimal inconclusive measurement in the single-state domain in the second mode determining whether the measurement result is inconclusive. Our demonstration uses low noise, high bandwidth real-time feedback conditioned on single-photon detections to prepare the optimal displacement operations required for the optimal inconclusive measurement. We further use this generalized optimal measurement to realize the optimal MESD for phase-coherent states, which is the optimal modulation for optical communications under the average power constraint, thus demonstrating the optimal quantum receiver for coherent optical communications. Lastly, we show that the binary optimal inconclusive measurement enables the realization of inconclusive discrimination of three coherent states when used together with measurements for unambiguous state elimination based on hypothesis testing. This proposed method can in principle be extended to high dimensional inconclusive measurement strategies of coherent states.

The optimal inconclusive measurement is a non-projective quantum measurement that encompasses the MESD and USD paradigms and optimizes the tradeoff between errors and inconclusive results37,53. By construction, the optimal inconclusive measurement achieves the minimal error probability PE for a specified inconclusive probability PI2,64. A feasible realization of the POVM for the optimal inconclusive measurement \(\{{\hat{{{\Pi }}}}_{1},{\hat{{{\Pi }}}}_{2},{\hat{{{\Pi }}}}_{?}\}\) for binary coherent states was recently proposed in ref. 64. Notably, this optimal non-projective measurement can in principle be realized by a generalization of the optimal receiver for MESD, called the Dolinar receiver. This optimal MESD receiver is based on displacement operations in phase space implemented by interfering the input state with a local oscillator (LO) field, single-photon detection, and feedback with an optimal feedback policy. The displacement has a magnitude given by an optimal waveform and a phase conditioned to photon detection35,36,66.

Figure 1a shows the concept of the optimal inconclusive measurement. The input state \(\left|\!\pm\! \alpha \right\rangle\) and strong LO field interfere on a high transmittance beam splitter to implement a displacement operation \(\hat{D}(u(t))\). The receiver implements the optimal displacement waveform u(t), where the phase of the LO switches between 0 and π based on the photon detection outcomes from the single-photon detector (SPD) during the measurement time. In the proposal for the optimal inconclusive discrimination strategy64, the generalized receiver performs optimal measurements in two temporal modes during the measuring time 0 ≤ t ≤ 1 using displacement operations, single-photon detection, and feedback. In the first temporal mode (0 ≤ t ≤ t1), the receiver performs an optimal MESD measurement to discriminate between \(\{\left|\!\pm\! \alpha \right\rangle \}\) with minimal error using the optimal displacement waveform35,36,64,66. In the second temporal mode (t1 < t ≤ 1), the receiver performs an optimal inconclusive measurement in the so-called single-state domain, where the measurement becomes a projective measurement such that the POVM element for the least probable state is zero, e.g., \({\hat{{{\Pi }}}}_{2}=0\)58,64. Without loss of generality, the most probable state after the first mode is \(\left|\alpha \right\rangle\), and the non-zero POVM elements are \({\hat{{{\Pi }}}}_{1}\) and \({\hat{{{\Pi }}}}_{?}\). Therefore, the receiver in the second temporal mode attempts to determine whether the measurement result is inconclusive, i.e., the receiver realizes a MESD measurement between the correct and inconclusive outcomes. Reference 64 shows that this projective measurement in the second temporal mode (single-state domain) can be realized by a Dolinar-like receiver with a different optimal displacement waveform, which is the key element that we leverage for demonstrating the optimal inconclusive measurement. The total displacement waveform u(t) that implements the optimal inconclusive measurement is given by64:

Where N1(t) and N2(t) are the total number of photons detected up to time t for the first and second temporal mode, respectively, and N0 ∈ {0, 1} based on ∣α∣2, PI, and p64. The total optimal waveform u(t) is comprised of u1(t) and u2(t), each of which are optimal for the two temporal modes (see "Methods" section for details). The magnitude of u(t) is predetermined based on the values of ∣α∣2, PI, and p, but the sign of u(t) (phase of the LO) adaptively switches between positive and negative (LO phase of 0 and π) each photon detection due to the \({(-1)}^{{N}_{1}(t)}\) and \({(-1)}^{{N}_{2}(t)+{N}_{0}}\) terms.

a Schematic of the generalized receiver for the optimal inconclusive measurement. The input states are displaced in phase space using an optimal waveform u(t) for the LO field and followed by a single-photon detector (SPD) and feedback operations. b Optimal waveform magnitudes ∣u(t)∣ for different mean photon numbers |α|2 (top panel). The bottom panel shows an example of the waveform u(t) for a particular measurement record where the LO phase switches between 0 and π every photon detection (Photon Detections, middle panel). The circles along the x-axis show the current hypothesis for the input state as the measurement progresses. c Error probability PE for the optimal inconclusive measurement as a function of the specified probability of inconclusive results PI for ∣α∣2 = 0.2, 0.4, and 0.6. The colored circles along the y-axis (PI = 0) correspond to the smallest possible PE in the paradigm of MESD, and the colored squares along the x-axis (PE = 0) correspond to the smallest possible PI in the paradigm of USD. d Experimental setup used for demonstrating the optimal inconclusive measurements of binary coherent states.

The top panel of Fig. 1b shows the displacement magnitude ∣u(t)∣ for the optimal inconclusive strategy with inconclusive probability PI = 0.19 for ∣α∣2 = 0.2, 0.4, and 0.6. The discrete jumps in ∣u(t)∣ for each ∣α∣2 correspond to the time t1 when the receiver switches between the measurements two temporal modes. The receiver implements a minimum-error measurement with a Dolinar receiver during 0 ≤ t ≤ t1 with u1(t) between \(\left|\!\pm\! \alpha \right\rangle\). The receiver then implements the optimal inconclusive measurement in the single-state domain \(\{{\hat{{{\Pi }}}}_{1},{\hat{{{\Pi }}}}_{?}\}\) with a Dolinar-like receiver during t1 < t ≤ 1 with u2(t). The final outcome of the measurement is either an inconclusive result with probability PI, a correct discrimination result with probability PC, or an error with probability PE = 1 − PC − PI64. The bottom panel of Fig. 1b shows the displacement amplitude u(t) for an example measurement record. The provisional hypothesis (circles) and the phase of the waveform change each time a photon is detected. The red dashed line (t1 ≈ 0.70) shows where the receiver switches from MESD of the two input states in the first temporal mode, to MESD between the more likely state given the current detection record and the inconclusive outcome in the second temporal mode.

Figure 1c shows the resulting probabilities {PI, PE} of the optimal inconclusive measurement for equiprobable coherent states \(\{\left|\!\pm\! \alpha \right\rangle \}\) with ∣α∣2 = 0.2, 0.4, and 0.6, in blue, orange, and yellow, respectively. The colored circles along the y-axis (PI = 0) correspond to the smallest possible PE in the paradigm of MESD (Helstrom Bound), and the colored squares along the x-axis (PE = 0) correspond to the smallest possible PI in the paradigm of USD (sometimes referred to as the IDP bound39,40,41). Thus, the optimal inconclusive measurement is the generalization of MESD and USD and interpolates between these measurement paradigms in an optimal way using more general non-projective measurements. In general, the optimal inconclusive measurement for the discrimination of two general quantum states \(\{\left|{\psi }_{1}\right\rangle ,\left|{\psi }_{2}\right\rangle \}\) is represented by three POVM elements \(\{{\hat{{{\Pi }}}}_{1},{\hat{{{\Pi }}}}_{2},{\hat{{{\Pi }}}}_{?}\}\) where a positive outcome of \(\{{\hat{{{\Pi }}}}_{1,2}\}\) indicates that the state \(\left|{\psi }_{1,2}\right\rangle\) is present, and \({\hat{{{\Pi }}}}_{?}=\hat{I}-{\hat{{{\Pi }}}}_{1}-{\hat{{{\Pi }}}}_{2}\) corresponds to an inconclusive result. Optimality indicates that this non-projective measurement achieves the minimum error for a fixed probability of inconclusive outcomes.

While the proposed implementation of this non-projective quantum measurement in ref. 64 is in principle feasible, its demonstration requires a high degree of control for the preparation of optimal waveforms with high fidelity, and the ability to realize feedback measurements with high bandwidth and low noise (see Supplementary Note I). Moreover, the validation of optimal performance requires absolute power measurements at the single-photon level. In our experimental demonstration we address the issues to satisfy these stringent requirements, which allows us to demonstrate experimentally this complex quantum measurement with high fidelity. Figure 1d shows our experimental setup for the demonstration of the optimal inconclusive measurement for binary coherent states. We use an interferometric setup to generate the input states and local oscillator field, a single-photon detector (SPD), and an FPGA (Altera Cyclone IV, 50 MHz base clock) connected to a digital-to-analog converter (DAC) to implement the required optimal displacement waveform u(t) for the optimal inconclusive measurement using fiber-coupled amplitude (AM) and phase (PM) modulators (see "Experimental setup details", "FPGA implementation", and "Optical modulators" in the Methods section for details). We actively stabilize our interferometer using a second 780 nm laser and a feedback loop to maintain a well-defined relative phase (see "FPGA implementation" in the Methods section for details). Our implementation achieves an overall detection efficiency η = 0.72(1) (η = ηSPDηsys where ηSPD = 0.82(1) is the SPD efficiency and ηsys = 0.88(1) is the system transmittance), interference visibility ξ = 0.998(1), and dark counts ν = 0.03(1) per pulse. The experiment operates at a 4 kHz repetition rate, alternating between experimental trials (1024 time bins, 160 ns each) and interferometer stabilization with a ≈66% duty cycle. We have also realized numerical investigations of the effects of realistic imperfections described in Supplementary Note I. Based on these studies, we observe that reduced detection efficiency degrades the achievable performance for all errors and inconclusive probabilities. Reduced interference visibility and increased dark counts mainly degrade the performance of strategies where the desired PE or PI are small, i.e., near the MESD and USD regimes.

We implement the optimal inconclusive measurement for equiprobable coherent states. In our experimental demonstration, we obtain the time evolution of the error \({P}_{{{{\rm{E}}}}}^{\exp }(t)\), correct \({P}_{{{{\rm{C}}}}}^{\exp }(t)\), and inconclusive \({P}_{{{{\rm{I}}}}}^{\exp }(t)\) probabilities by reconstructing the results in post-processing, and compare them to the expected probabilities {PE(t), PC(t), PI(t)}64. The final inconclusive \({P}_{{{{\rm{I}}}}}^{\exp }(t=1)\) and error \({P}_{{{{\rm{E}}}}}^{\exp }(t=1)\) probabilities for a given ∣α∣2 correspond to a single realization of the optimal inconclusive measurement. Figure 2a shows the experimental results for ∣α∣2 = 0.2, 0.4, and 0.6 in blue, orange, and yellow, respectively. The points show the experimental data \(\{{P}_{{{{\rm{I}}}}}^{\exp }(1),{P}_{{{{\rm{E}}}}}^{\exp }(1)\}\) and the error bars represent one standard deviation from five experimental runs of 5 × 104 independent experiments each. The black lines show the theoretical expectation from Monte-Carlo simulations of the experiment incorporating experimental imperfections (See Supplementary Note IV). We note that we obtain the expected performance of our demonstration by directly simulating the experiment including experimental imperfections and other effects without requiring any fitting procedures. The dashed gray lines show the ideal (η = 1) performance for each mean photon number. The colored circles and squares on the y-axis and x-axis show the optimal PE and PI for ideal MESD and USD, respectively, for each ∣α∣2.

a Experimental results for the optimal inconclusive measurement for ∣α∣2 = 0.2, 0.4, and 0.6, in blue, orange, and yellow, respectively. Each point corresponds to the measured values of \(\{{P}_{{{{\rm{I}}}}}^{\exp }(1),{P}_{{{{\rm{E}}}}}^{\exp }(1)\}\) and the error bars represent one standard deviation from five sets of 5 × 104 individual experiments each. The solid lines show the expected results and the dashed gray lines show the ideal performance for each ∣α∣2. The colored circles and squares on the y-axis and x-axis show the optimal PE and PI for ideal MESD and USD, respectively. Inset (i): evolution of \({P}_{{{{\rm{E}}}}}^{\exp }\), \({P}_{{{{\rm{C}}}}}^{\exp }\), and \({P}_{{{{\rm{I}}}}}^{\exp }\) for ∣α∣2 = 0.2 and and \({P}_{{{{\rm{I}}}}}^{\exp }\)=0.31. b Experimental results (blue points) of an optimal MESD measurement, the Dolinar receiver, for phase coherent states \(\{\left|\pm \alpha \right\rangle \}\). The gray and red solid lines show the Helstrom bound for η = 1.0 and η = 0.72, respectively, and the dashed lines show the corresponding error for a homodyne measurement.

We observe that our demonstration of the optimal inconclusive measurement with η = 0.72 for ∣α∣2 = 0.2, 0.4, and 0.6 reaches errors below the ideal Helstrom bound when PI ⪆ 0.18. This shows that a non-ideal implementation of the optimal inconclusive measurement can surpass the ideal Helstrom bound at the expense of having inconclusive results (We note that while the Helstrom bound is the minimum discrimination error that can be achieved by a deterministic measurement, this bound is not the lowest error for a general quantum measurement that allows for inconclusive results53. As such, the optimal inconclusive measurement then allows for errors below the Helstrom bound for PI ≠ 0, and achieves zero error at a rate of inconclusive results given by the IDP bound39,40,41). The inset of Fig. 2a shows an example of the evolution of PE(t) (blue), PC(t) (orange), and PI(t) (yellow) as the measurement progresses for ∣α∣2 = 0.2 and PI ≈ 0.31. The solid lines show the theoretical expectation including experimental imperfections and the points show the experimental results for \({P}_{{{{\rm{E}}}}}^{\exp }(t)\), \({P}_{{{{\rm{C}}}}}^{\exp }(t)\), and \({P}_{{{{\rm{I}}}}}^{\exp }(t)\) every 50-time bin steps. Note that the measurement switches from a MESD measurement to an optimal inconclusive measurement in the single-state domain at t1 ≈ 0.57.

The optimal inconclusive measurement generalizes MESD and USD64, and can be used to demonstrate the optimal MESD measurement, the Dolinar receiver35, by setting PI = 0. The previous work36 demonstrated a Dolinar receiver for intensity-modulated coherent states \(\{\left|0\right\rangle ,\left|\alpha \right\rangle \}\) and achieved performance below the shot noise limit after correcting for system losses and detection efficiency. However, phase-encoded coherent states \(\{\left|\!\pm\! \alpha \right\rangle \}\) are the optimal modulation for binary coherent communications under the energy constraint. This is because this alphabet has the smallest overlap, and therefore the highest distinguishability, for a fixed average energy of the states48,67,68. To this end, we use the optimal inconclusive measurement to demonstrate a Dolinar receiver for the phase-encoded binary coherent states, and thus demonstrate the optimal quantum receiver for coherent optical communications.

Figure 2b shows the experimental results (blue points) and the expected error probability (solid black) for the optimal MESD measurement, the Dolinar receiver, for phase-coherent states together with the Helstrom (solid) and homodyne limits (dashed). The Helstrom bound and the homodyne limits corrected to our overall efficiency (η = 0.72) are included for reference. We observe that our demonstration of the Dolinar receiver approaches the corrected Helstrom bound and shows an excellent agreement with the theoretical predictions (solid black line). We note that our implementation of the optimal MESD measurement for BPSK states with overall efficiency of η = 0.72 achieves PE = 0.18 for ∣α∣2 = 0.2, which is below the ideal homodyne limit that corresponds to the optimal Gaussian measurement for BPSK67. This error rate is similar to the one achieved by a sub-optimal receiver without feedback in ref. 27 using a high efficiency (η = 0.99) superconducting detector resulting on an overall system efficiency of η = 0.91. Thus, we conclude that the strategy demonstrated here based on complex adaptive measurements can potentially provide overall higher sensitivities than the sub-optimal strategy under the same loss and realistic experimental noise and imperfections. In principle, the optimal inconclusive measurement also allows for the construction of the optimal USD measurement where PE = 0. However, the experimental imperfections such as dark counts and non-ideal interference visibility prevent the receiver from achieving PE = 0 (see Fig. 2). Nevertheless, the above framework allows for finding the optimal waveform to implement this optimal measurement.

We investigate how to leverage the optimal inconclusive measurement of binary coherent states to enable inconclusive state discrimination of higher dimensional encodings. We propose a hybrid measurement that utilizes binary optimal inconclusive measurements in conjunction with unambiguous state elimination, which can realize such a non-projective inconclusive measurement of ternary phase-shift keyed (TPSK) states \(\{\left|\alpha \right\rangle ,\left|\alpha {e}^{i2\pi /3}\right\rangle ,\left|\alpha {e}^{i4\pi /3}\right\rangle \}\), and can be extended to higher dimensions. This measurement first aims to eliminate all but two possible input states via hypothesis testing, and then utilizes the optimal inconclusive measurement in the remaining binary states. Figure 3a shows the measurement operations conditioned to single-photon detection, realized by the proposed high-dimensional inconclusive measurement. The receiver realizes an elimination measurement based on hypothesis testing (red region, Fig. 3a-i) for the state \(\left|\alpha \right\rangle\) on a fraction f/3 of the total input state. This state elimination measurement is based on a displacement operation of \(\left|\alpha \right\rangle\) to the vacuum state \(\left|0\right\rangle\) and single-photon detection, such that detection of a photon unambiguously eliminates \(\left|\alpha \right\rangle\) as a possible input state. If a photon is detected in the first stage (Stage 1), the receiver then performs an optimal binary inconclusive measurement (blue region, Fig. 3a-i) to optimally discriminate between \(\left|\alpha {e}^{i2\pi /3}\right\rangle\) and \(\left|\alpha {e}^{i4\pi /3}\right\rangle\) using the remaining fraction 1 − f/3 of the input energy. If no photons are detected during the first stage, the receiver then realizes a state elimination measurement for the input state \(\left|\alpha {e}^{i2\pi /3}\right\rangle\) also using a fraction f/3 of the total input power (Fig. 3a-ii) . Now if a photon is detected in the second stage (Stage 2), an optimal inconclusive measurement discriminates between the remaining two possible input states using a fraction 1 − 2f/3 of the input power, where the factor of 2 comes from the first stage. If no photons are detected in the second stage, then the receiver tests for the state \(\left|\alpha {e}^{i4\pi /3}\right\rangle\) in Stage 3, also using a fraction f/3 of the total input state (Fig. 3a-iii). If a photon is detected, an optimal inconclusive measurement discriminates between the remaining two states now using a fraction 1 − 3f/3 of the input power. If no photons are detected in the third hypothesis test for unambiguous state elimination, we define the measurement outcome to be inconclusive.

a The proposed inconclusive measurement for TPSK states uses sequential unambiguous state elimination, followed by the optimal binary inconclusive measurement (See main text for details). b Conditional error probability PE/(1 − PI) as a function of inconclusive probability PI for ∣α∣2 = 0.2 (blue), 0.4 (orange), and 0.6 (yellow). We compare the proposed measurement with the parameter f = 0.66 (solid) and f = 0.90 (dashed) to the performance of ideal heterodyne detection (dotted). See text for details.

Figure 3b shows the simulation results for the proposed inconclusive measurement of TPSK states based on the optimal inconclusive measurement for binary states for mean photon numbers ∣α∣2 = 0.2, 0.4, and 0.6. The x-axis corresponds to the inconclusive probability and the y-axis corresponds to the conditional error probability PE/(1 − PI), i.e., the error probability given that a conclusive outcome was obtained. The solid and dashed lines show the proposed inconclusive measurement of three coherent states with f = 0.66 and f = 0.90, respectively. The dotted lines show the result \({P}_{{{{\rm{E}}}}}^{{{{\rm{Het}}}}}/(1-{P}_{{{{\rm{I}}}}}^{{{{\rm{Het}}}}})\) for using ideal heterodyne detection, where measurement outcomes with the largest error probability are designated as inconclusive until the desired inconclusive probability is achieved as in ref. 45. The optimal limits for USD and MESD for three states are represented with squares and circles in the x-axis (PE = 0) and y-axis (PI = 0), respectively49,69.

The overall PI achieved by this strategy contains two contributions \({P}_{{{{\rm{I}}}}}={P}_{{{{\rm{I}}}}}^{(1)}+{P}_{{{{\rm{I}}}}}^{(2)}\), where \({P}_{{{{\rm{I}}}}}^{(1)}\) comes from the state elimination stage, and \({P}_{{{{\rm{I}}}}}^{(2)}\) from the binary optimal inconclusive measurement. In the state elimination stage, the detection of vacuum during all three hypothesis tests results in an inconclusive outcome as each state is equally likely. This produces a lower bound (\({P}_{{{{\rm{I}}}}}^{(1)}\)) on the attainable inconclusive probability PI depending on the values of f and ∣α∣2. In the binary optimal inconclusive measurement stage, the proposed measurement defines a "target" inconclusive probability (\({P}_{{{{\rm{I}}}}}^{(2)}\)) which can be set for any ∣α∣2 to achieve the desired overall PI of the strategy. We observe that the proposed measurement with both values of the parameter f, which parameterizes the unambiguous state elimination stages, can outperform heterodyne detection. Moreover, we note that a smaller value of f = 0.66 achieves a smaller error probability, but this also puts a limit on the smallest attainable inconclusive probability of PI ≈ 0.76, 0.58, and 0.45 for ∣α∣2 = 0.2, 0.4, and 0.6, respectively. On the other hand, a larger value of f = 0.90 (dashed lines) allows for a smaller inconclusive probability but at the cost of a larger error probability compared to f = 0.66 (solid lines). This trade-off is due to the fact that a larger value of f results in a smaller contribution to PI from the inconclusive outcome during the state elimination stage (detecting vacuum during all stages). However a larger value of f results in a smaller fraction of the total input energy of the state for the binary optimal inconclusive measurement, which results in a larger error probability. Then, the optimal choice of energy fraction f will depend on the particular application of this proposed measurement. For example, if we are willing to tolerate more inconclusive results PI to achieve a given small target error threshold PE such as for communications with error detection, correction, and erasures70, we should choose a small value of f.

The proposed inconclusive measurement for three states can be extended to higher dimensions. Using this technique, an inconclusive measurement of M input coherent states can be realized through the implementation of M − 1 hypothesis testing stages for unambiguous state elimination45,49, followed by the binary optimal inconclusive measurement. Given that the binary optimal inconclusive measurement can always achieve PE = 0 for \({P}_{{{{\rm{I}}}}}^{(2)} \,<\, 1\), there is always a range of error probabilities for which this strategy will outperform heterodyne detection (note \({P}_{{{{\rm{E}}}}}^{{{{\rm{Het}}}}}=0\) only when \({P}_{{{{\rm{I}}}}}^{{{{\rm{Het}}}}}=1\)), i.e., there is always an error regime where \({P}_{{{{\rm{I}}}}} \,<\, {P}_{{{{\rm{I}}}}}^{{{{\rm{Het}}}}}\). Ideally, this performance is achieved at the smallest possible value of PI, which will depend on the number of possible states (See Supplementary Note III).

We note that the proposed measurement uses similar techniques in the state elimination stage as the Bondurant receiver for MESD of multiple states71, and the USD receiver based on feedback and state elimination48. However, the proposed strategy in here makes use of the optimal inconclusive measurement of two states for allowing to transition between the measurement paradigms of MESD and USD to realize an optimized inconclusive measurement of multiple coherent states. While the performance of the strategy for more states will degrade due to the increased inconclusive probability in the state elimination stage, we expect that this strategy will serve as the basis for designing optimized inconclusive strategies in higher dimensions. A possible example for inconclusive measurement strategies could use hybrid measurement schemes combining Gaussian measurements, such as homodyne, with photon counting72,73. In these schemes, the Gaussian measurement can eliminate a sub-set of the states, and photon counting would be used for state elimination in a smaller sub-set of states followed by the binary optimal inconclusive measurement.

Optimal inconclusive measurements are generalized quantum measurements that encompass standard paradigms of state discrimination including MESD and USD. These non-projective measurements allow for diverse state discrimination tasks and provide a more powerful tool for classical and quantum information processing17,63. In optical communication, inconclusive measurement results can be treated as an erasure channel, and optimal inconclusive measurements can be leveraged to increase the amount of information transfer by utilizing communication codes well suited for erasure channels70. These optimal inconclusive measurements can also enable hybrid repeater schemes where inconclusive measurements of coherent states are used to entangle remote quantum memories74,75. Recent advancements in quantum measurement theory showed that such complex quantum measurements for binary coherent states can be realized using single-photon detection and local operations and classical communication in a two-mode measurement64. This measurement strategy splits the energy of the input state into two temporal modes. It performs a MESD measurement of the input state in the first mode with a certain probability of error, and an optimal inconclusive measurement in the single-state domain in the second mode determining whether the measurement result is inconclusive. The optimality of this measurement makes it possible to achieve minimal error for a given inconclusive probability. Moreover, such generalized quantum measurements can be realized with Dolinar-like optimal receivers for coherent states.

Here, we experimentally demonstrate the optimal inconclusive measurement proposed in64. Our demonstration uses coherent displacement operations, single-photon detection, and fast feedback to implement these general non-projective quantum measurements with high fidelity in a real system. We further use this measurement to demonstrate the optimal MESD for phase-encoded binary coherent states, which is the optimal modulation for optical communications under the average power constraint. While our proof of principle demonstration of the optimal inconclusive measurement was realized at moderate measurement rates, future implementations based on integrated photonics with high-bandwidth optical modulation and processing76 within small footprints, together with advancements in high-bandwidth integrated nanowire detectors will allow for demonstrations at GHz bandwidths. These results show that Dolinar-like receivers can be used to perform a wide variety of measurements within a two-dimensional Hilbert space with current technologies. Furthermore, we show how the binary optimal inconclusive measurement can be leveraged to perform inconclusive measurements in higher dimensions with hybrid measurements using sequential unambiguous state elimination of multiple states. Our work contributes to our understanding of the fundamental and practical limits of measurements based on single-photon detection, coherent displacement operations, and feedback, and can further our understanding of quantum measurement theory59. Moreover, these measurement techniques can potentially allow for implementations of more general non-projective measurements in two-dimensional spaces using linear optics and single-photon detection.

The optimal inconclusive measurement \(\{{\hat{{{\Pi }}}}_{1},{\hat{{{\Pi }}}}_{2},{\hat{{{\Pi }}}}_{?}\}\) for binary coherent states can be realized with a generalized Dolinar receiver64. In this modified strategy64, the generalized receiver performs optimal measurements in two temporal modes during the measuring time 0 ≤ t ≤ 1. In the first temporal mode, 0 ≤ t ≤ t1, the optimal inconclusive receiver performs an optimal MESD measurement to discriminate between \(\{\left|\pm \alpha \right\rangle \}\) with minimal error using the optimal displacement waveform35,36,64,66:

Here \({K}^{2}=| \left\langle -\alpha | \alpha \right\rangle {| }^{2}={e}^{-4| \alpha {| }^{2}}\), p is the prior probability of the most likely state, and N1(t) is the total number of detected photons in the first mode up to time t ≤ t1, where N1(0) = 0. Note that during the first temporal mode the phase of the LO displacement field (sign of u1(t)) switches between 0 and π each time a photon is detected, similar to the Dolinar receiver77. During the measurement in the first temporal mode, the provisional hypothesis for the input state at time t is \(\left|\alpha \right\rangle\) if N1(t) is even and \(\left|-\alpha \right\rangle\) if N1(t) is odd. The provisional probabilities for the two input states after the first temporal mode are \(\{{P}_{{{{\rm{C}}}}}^{(1)},1-{P}_{{{{\rm{C}}}}}^{(1)}\}\) with:

which corresponds to the Helstrom bound for the coherent states \(\{\left|\pm \sqrt{{t}_{1}}\alpha \right\rangle \}\). The optimal waveform u1(t) in Eq. (2) and the evolution of the probability of correct detection PC(t) at t can be obtained using Bayesian updating64,78,79 or optimal control66.

In the second temporal mode (t1 < t ≤ 1), the receiver performs an optimal inconclusive measurement in the so-called single-state domain, where PI, \({P}_{{{{\rm{C}}}}}^{(1)}\), and (1 − t1)∣α∣2 are such that \({\hat{{{\Pi }}}}_{2}=0\)58,64. Without loss of generality, the most probable state is \(\left|\alpha \right\rangle\), and the non-zero POVM elements are \({\hat{{{\Pi }}}}_{1}\) and \({\hat{{{\Pi }}}}_{?}\). This optimal inconclusive projective measurement in the single-state domain can be realized by a Dolinar-like receiver with optimal displacement waveform64:

where p in Eq. (2) is replaced by the quantity v, which depends on PI, p, and ∣α∣2 64. N2(t) is the number of photons detected in the second mode with N2(t1) = 0, and N0 determines the phase of the LO at t1: N0 = 0 if v > 0.5 and N0 = 1 otherwise.

The total displacement waveform for the optimal inconclusive receiver is thus a combination of u1(t) in Eq. (2) and u2(t) in Eq. (4) resulting on the total optimal displacement in Eq. (1) in main text. This strategy therefore implements a standard Dolinar receiver during the first mode 0 ≤ t ≤ t1, and then a Dolinar-like receiver during t1 < t ≤ 1 assuming the input states at t = t1 have prior probabilities {v, 1 − v}64.

In our experimental demonstration, optical pulses are generated from a Helium-Neon laser and a pulsed acousto-optic modulator (AOM), and then split into the signal arm (upper) and LO arm (lower), as shown in Fig. 1d. The input states are prepared with an attenuator (Att.) and a phase modulator (PM). The LO field is prepared by a PM with a multiplexer (MUX), and an amplitude modulator (AM) with a digital-to-analog converter (DAC). The input state and the LO field interfere on a 99/1 beam splitter (BS) to implement the optimal displacement waveforms \(\hat{D}(u(t))\) conditioned on photon detection events using a single-photon detector (SPD). A field programmable gate array (FPGA) stores the magnitude of the optimal waveform ∣u(t)∣ in Eq. (1) in memory, prepares the amplitude and phase of the LO conditioned on N1(t), N2(t), and N0, and implements the strategy for the optimal inconclusive measurement. We discretize time t into 1024 time bins of 160 ns each where a photon can be detected to approximate a continuous measurement. Our implementation achieves a feedback bandwidth of about 6 MHz, which is limited by the APD output latency, electronic bandwidth of controllers, switches and FPGA, accounting for about 50 ns and optical delays in the interferometric setup (100 ns). The FPGA processes and stores the photon detections during these time bins and sends the detection histories to a computer. We reconstruct the measurement probabilities in post-processing. The optimal inconclusive measurement requires very large values of the ratio between mean photon numbers of the displacement field and the input state, R = ∣u(t)∣2/∣α∣2. However, experimentally there is a maximum ratio R that can be reliably implemented. In our demonstration, we set the maximum of this ratio to R = 50, which is limited by the extinction ratio (≈20 dB) of the AM in the LO arm of the setup. The impact of finite values for R and other experimental imperfections are discussed in Supplementary Notes I and II.

We use an Opal Kelly ZEM4310 to control the experiment, which is based on an Altera Cyclone IV FPGA and has a base clock rate of 50 MHz. We discretize the discrimination measurements into 1024 time bins of 160 ns each such that a single shot of the experiment corresponds to a pulse that is 163.8 μs long. The magnitude of the LO waveform for each of the 1024 time bins is pre-calculated for each ∣α∣2 and inconclusive probability PI and stored in a look-up table within the FPGA as an 8-bit value. The phase of the LO flips between 0 and π each time a photon is detected. This method for preparing the optimal LO waveform given by Eq. (1) allows us to efficiently implement the desired optimal inconclusive measurement in our demonstration.

The optimal inconclusive strategy requires precise and fast control of the LO phase. We control the phase of the LO by changing the voltage applied to the phase modulator between two values which correspond to a phase of 0 and a phase of π. Each time the phase of the LO changes, we ignore the output of the APD for 160 ns to avoid accidental photon detections. This "blanking time" is obtained by noting that the combined electrical and optical delay time between changing the modulation voltage and observing the corresponding photons at the APD is ~150 ns. This also has the benefit of reducing the effective after-pulsing probability to close to zero. Typically, the probability of detecting an after-pulse is at its maximum immediately after the dead-time of the APD (≈40 ns for our implementation), but this probability quickly decays with time. We note that without any blanking, the cumulative after-pulsing probability of our APD is PAP ≈ 0.015 and PAP < 0.001 with 100 ns of blanking.

In order to maintain a well-defined relative phase between the signal and LO fields, we actively stabilize the interferometer. We run the experiments with a 4 kHz repetition rate to give an experimental duty cycle of ≈66% (experiment time of ≈165 μs, locking time of ≈91 μs). During the part of the experimental duty cycle when the experiment is not taking place, the relative phase between the two arms of the interferometric setup actively stabilized with a feedback loop using a PID controller and a piezo on the back of a mirror in the signal arm, see Fig. 2. We obtain the error signal for stabilization of the interferometer using a narrow-band laser at 780 nm, which is actively stabilized in frequency to an atomic line in rubidium using saturated absorption spectroscopy. Light from this laser propagates in an opposite direction through the interferometer compared to the light at 633 nm, and is detected with a differential detector to measure the phase fluctuations. Slightly before the discrimination measurement begins, the feedback loop is paused and voltage to the piezo is fixed at its current value. The stabilization feedback loop resumes after the discrimination measurement is completed.

The setup uses fiber-coupled Lithium-Niobate, amplitude and phase electro-optic modulators (AM and PM), with a 3 dB bandwidth of ≈1 GHz. The phase modulators (PMs) have a π-voltage of Vπ = 1.5 V and the amplitude modulator (AM) has a π-voltage of Vπ = 750 mV with an extinction ratio of ≈20 dB. The amplitude and phase of the LO and the phase of the signal fields are adjusted using three 8-bit digital-to-analog converters (DAC), voltage-controlled gain circuits, and summing amplifiers.

The data that support the findings of this study are available from the authors upon request.

Chefles, A. Quantum state discrimination. Contemp. Phys. 41, 401 (2000).

Article ADS MATH Google Scholar

Barnett, S. M. & Croke, S. Quantum state discrimination. Adv. Opt. Photon. 1, 238–278 (2009).

Article Google Scholar

Herzog, U. & Bergou, J. A. Distinguishing mixed quantum states: minimum-error discrimination versus optimum unambiguous discrimination. Phys. Rev. A 70, 022302 (2004).

Article ADS Google Scholar

Giovannetti, V. et al. Classical capacity of the lossy bosonic channel: the exact solution. Phys. Rev. Lett. 92, 027902 (2004).

Article ADS Google Scholar

van Loock, P., Lütkenhaus, N., Munro, W. J. & Nemoto, K. Quantum repeaters using coherent-state communication. Phys. Rev. A 78, 062319 (2008).

Article ADS Google Scholar

Guha, S. Structured optical receivers to attain superadditive capacity and the holevo limit. Phys. Rev. Lett. 106, 240502 (2011).

Article ADS Google Scholar

Rosati, M., Mari, A. & Giovannetti, V. Multiphase hadamard receivers for classical communication on lossy bosonic channels. Phys. Rev. A 94, 062325 (2016).

Article ADS Google Scholar

Klimek, A., Jachura, M., Wasilewski, W. & Banaszek, K. Quantum memory receiver for superadditive communication using binary coherent states. J. Mod. Optics 63, 2074 (2016).

Article ADS MathSciNet MATH Google Scholar

Banaszek, K., Kunz, L., Jachura, M. & Jarzyna, M. Quantum limits in optical communications. J. Lightwave Tech. 38, 2741 (2020).

Article ADS Google Scholar

Bennet, C. H. & Brassard. Quantum cryptography: public key distribution and coin tossing, in Proc. IEEE International Conference on Computers, Systems, and Signal Processing, Malvern Physics Series, p. 175 (Bangalore, 1984).

Bennett, C. H. Quantum cryptography using any two nonorthogonal states. Phys. Rev. Lett. 68, 3121 (1992).

Article ADS MathSciNet MATH Google Scholar

Huttner, B., Imoto, N., Gisin, N. & Mor, T. Quantum cryptography with coherent states. Phys. Rev. A 51, 1863 (1995).

Article ADS Google Scholar

Grosshans, F. & Grangier, P. Continuous variable quantum cryptography using coherent states. Phys. Rev. Lett. 88, 057902 (2002).

Article ADS Google Scholar

Silberhorn, C., Ralph, T. C., Lütkenhaus, N. & Leuchs, G. Continuous variable quantum cryptography: beating the 3 db loss limit. Phys. Rev. Lett. 89, 167901 (2002).

Article ADS Google Scholar

Grosshans, F. et al. Quantum key distribution using gaussian-modulated coherent states. Nature 421, 238 (2003).

Article ADS Google Scholar

Gisin, N., Ribordy, G., Tittel, W. & Zbinden, H. Quantum cryptography. Rev. Mod. Phys. 74, 145 (2002).

Article ADS MATH Google Scholar

Sych, D. & Leuchs, G. Coherent state quantum key distribution with multi letter phase-shift keying. New J. Phys. 12, 053019 (2010).

Article ADS MATH Google Scholar

Munro, W. J., Nemoto, K. & Spiller, T. P. Weak nonlinearities: a new route to optical quantum computation. New J. of Phys. 7, 137 (2005).

Article ADS Google Scholar

Nemoto, K. & Munro, W. J. Nearly deterministic linear optical controlled-not gate. Phys. Rev. Lett. 93, 250502 (2004).

Article ADS Google Scholar

Ralph, T. C., Gilchrist, A., Milburn, G. J., Munro, W. J. & Glancy, S. Quantum computation with optical coherent states. Phys. Rev. A 68, 042319 (2003).

Article ADS Google Scholar

Bergou, J. A., Herzog, U. & Hillery, M. Discrimination of quantum states. Lect. Notes Phys. 649, 417 (2004).

Article ADS MathSciNet Google Scholar

Bae, J. & Kwek, L.-C. Quantum state discrimination and its applications. J. Phys. A: Math. Theor. 48, 083001 (2015).

Article ADS MathSciNet MATH Google Scholar

Yuen, H., Kennedy, R. & Lax, M. Optimum testing of multiple hypotheses in quantum detection theory. IEEE Trans. Inf. Theory 21, 125 (1975).

Article MathSciNet MATH Google Scholar

Helstrom, C. W. Quantum Detection and Estimation Theory, Mathematics in Science and Engineering Vol. 123 (Academic Press, New York, 1976).

Ban, M., Kurokawa, K., Momose, R. & Hirota, O. Optimum measurements for discrimination among symmetric quantum states and parameter estimation. Int. J. Theor. Phys. 36, 1269 (1997).

Article MathSciNet MATH Google Scholar

Barnett, S. M. & Riis, E. Experimental demonstration of polarization discrimination at the Helstrom bound. J. Mod. Optics 44, 1061 (1997).

ADS Google Scholar

Tsujino, K. et al. Quantum receiver beyond the standard quantum limit of coherent optical communication. Phys. Rev. Lett. 106, 250503 (2011).

Article ADS Google Scholar

Wittmann, C. et al. Demonstration of near-optimal discrimination of optical coherent states. Phys. Rev. Lett. 101, 210501 (2008).

Article ADS Google Scholar

Izumi, S., Neergaard-Nielsen, J. S., Miki, S., Terai, H. & Andersen, U. L. Experimental demonstration of a quantum receiver beating the standard quantum limit at telecom wavelength. Phys. Rev. Appl. 13, 054015 (2020).

Article ADS Google Scholar

Becerra, F. E. et al. Experimental demonstration of a receiver beating the standard quantum limit for multiple nonorthogonal state discrimination. Nat. Photon. 7, 147 (2013).

Article ADS Google Scholar

DiMario, M. T., Carrasco, E., Jackson, R. A. & Becerra, F. E. Implementation of a single-shot receiver for quaternary phase-shift keyed coherent states. J. Opt. Soc. Am. B 35, 568 (2018).

Article ADS Google Scholar

Becerra, F. E., Fan, J. & Migdall, A. Photon number resolution enables quantum receiver for realistic coherent optical communications. Nat. Photon. 9, 48–53 (2015).

Article ADS Google Scholar

Burenkov, I. A., Jabir, M. V. & Polyakov, S. V. Practical quantum-enhanced receivers for classical communication. AVS Quantum Sci. 3, 025301 (2021).

Article ADS Google Scholar

Sidhu, J. S., Izumi, S., Neergaard-Nielsen, J. S., Lupo, C. & Andersen, U. L. Quantum receiver for phase-shift keying at the single-photon level. PRX Quantum 2, 010332 (2021).

Article Google Scholar

Dolinar, S. J. An optimum receiver for the binary coherent state quantum channel, Research Laboratory of Electronics, MIT, Quarterly Progress Report No. 111 (1973).

Cook, R. L., Martin, P. J. & Geremia, J. M. Optical coherent state discrimination using a closed-loop quantum measurement. Nature 446, 774 (2007).

Article ADS Google Scholar

Eldar, Y. C. Mixed-quantum-state detection with inconclusive results. Phys. Rev. A 67, 042309 (2003).

Article ADS Google Scholar

Raynal, P., Lütkenhaus, N. & van Enk, S. J. Reduction theorems for optimal unambiguous state discrimination of density matrices. Phys. Rev. A 68, 022308 (2003).

Article ADS Google Scholar

Ivanovic, D. How to differentiate between non-orthogonal states. Phys. Lett. A 123, 257 (1987).

Article ADS MathSciNet Google Scholar

Dieks, D. Overlap and distinguishability of quantum states. Phys. Lett. A 126, 303 (1988).

Article ADS MathSciNet Google Scholar

Peres, A. How to differentiate between non-otrhogonal states. Phys. Lett. A 128, 19 (1988).

Article ADS MathSciNet Google Scholar

Jaeger, G. & Shimony, A. Optimal distinction between two non-orthogonal quantum states. Phys. Lett. A 197, 83 (1995).

Article ADS MathSciNet MATH Google Scholar

Huttner, B., Muller, A., Gautier, J. D., Zbinden, H. & Gisin, N. Unambiguous quantum measurement of nonorthogonal states. Phys. Rev. A 54, 3783 (1996).

Article ADS MathSciNet Google Scholar

Peres, A. & Terno, D. R. Optimal distinction between non-orthogonal quantum states. J. Phys. A: Math. General 31, 7105 (1998).

Article ADS MathSciNet MATH Google Scholar

Becerra, F. E., Fan, J. & Migdall, A. Implementation of generalized quantum measurements for unambiguous discrimination of multiple non-orthogonal coherent states. Nat. Comm. 4, 2028 (2013).

Article ADS Google Scholar

Izumi, S., Neergaard-Nielsen, J. S. & Andersen, U. L. Adaptive generalized measurement for unambiguous state discrimination of quaternary phase-shift-keying coherent states. PRX Quantum 2, 020305 (2021).

Article ADS Google Scholar

Sidhu, J. S., Bullock, M. S., Guha S. & Lupo C. Unambiguous discrimination of coherent states, Preprint at arXiv https://doi.org/10.48550/arXiv.2109.00008 (2021).

Banaszek, K. Optimal receiver for quantum cryptography with two coherent states. Phys. Lett. A 253, 12 (1999).

Article ADS Google Scholar

van Enk, S. J. Unambiguous state discrimination of coherent states with linear optics: Application to quantum cryptography. Phys. Rev. A 66, 042313 (2002).

Article ADS Google Scholar

Bartůšková, J. S. Lucie, Černoch, Antonín & Dušek, M. Programmable discriminator of coherent states: experimental realization. Phys. Rev. A 77, 034306 (2008).

Article ADS Google Scholar

Izumi, S. et al. Projective measurement onto arbitrary superposition of weak coherent state bases. Sci. Rep. 8, 2999 (2018).

Article ADS Google Scholar

Takeoka, M., Sasaki, M. & Lütkenhaus, N. Binary projective measurement via linear optics and photon counting. Phys. Rev. Lett. 97, 040502 (2006).

Article ADS Google Scholar

Chefles, A. & Barnett, S. M. Strategies for discriminating between non-orthogonal quantum states. J. Mod. Optics 45, 1295 (1998).

Article ADS MathSciNet MATH Google Scholar

Crickmore, J. et al. Unambiguous quantum state elimination for qubit sequences. Phys. Rev. Research 2, 013256 (2020).

Article ADS Google Scholar

Andersson, E., Curty, M. & Jex, I. Experimentally realizable quantum comparison of coherent states and its applications. Phys. Rev. A 74, 022304 (2006).

Article ADS Google Scholar

Sedlák, M., Ziman, M., Přibyla, O. C. V., Bužek, V. & Hillery, M. Unambiguous identification of coherent states: searching a quantum database. Phys. Rev. A 76, 022326 (2007).

Article ADS Google Scholar

Barnett, S. M., Chefles, A. & Jex, I. Comparison of two unknown pure quantum states. Phys. Lett. A 307, 189 (2003).

Article ADS MathSciNet MATH Google Scholar

Sugimoto, H., Hashimoto, T., Horibe, M. & Hayashi, A. Discrimination with error margin between two states: Case of general occurrence probabilities. Phys. Rev. A 80, 052322 (2009).

Article ADS Google Scholar

Nakahira, K., Kato, K. & Usuda, T. S. Generalized bipartite quantum state discrimination problems with sequential measurements. Phys. Rev. A 97, 022340 (2018).

Article ADS Google Scholar

Izumi, S., Neergaard-Nielsen, J. S. & Andersen, U. L. Tomography of a feedback measurement with photon detection. Phys. Rev. Lett. 124, 070502 (2020).

Article ADS Google Scholar

Fiurasek, J. & Jezek, M. Optimal discrimination of mixed quantum states involving inconclusive results. Phys. Rev. A 67, 012321 (2003).

Article ADS Google Scholar

Hayashi, A., Hashimoto, T. & Horibe, M. State discrimination with error margin and its locality. Phys. Rev. A 78, 012333 (2008).

Article ADS Google Scholar

Wittmann, C., Andersen, U. L., Takeoka, M., Sych, D. & Leuchs, G. Demonstration of coherent-state discrimination using a displacement-controlled photon-number-resolving detector. Phys. Rev. Lett. 104, 100505 (2010).

Article ADS Google Scholar

Nakahira, K. & Usuda, T. S. Optimal receiver for discrimination of two coherent states with inconclusive results. Phys. Rev. A 86, 052323 (2012).

Article ADS Google Scholar

Takeoka, M., Sasaki, M., van Loock, P. & Lütkenhaus, N. Implementation of projective measurements with linear optics and continuous photon counting. Phys. Rev. A 71, 022318 (2005).

Article ADS Google Scholar

Geremia, J. Distinguishing between optical coherent states with imperfect detection. Phys. Rev. A 70, 062303 (2004).

Article ADS Google Scholar

Takeoka, M. & Sasaki, M. Discrimination of the binary coherent signal: Gaussian-operation limit and simple non-gaussian near-optimal receivers. Phys. Rev. A 78, 022320 (2008).

Article ADS Google Scholar

Weedbrook, C. et al. Gaussian quantum information. Rev. Mod. Phys. 84, 621 (2012).

Article ADS Google Scholar

Dalla Pozza, N. & Pierobon, G. Optimality of square-root measurements in quantum state discrimination. Phys. Rev. A 91, 042334 (2015).

Article ADS Google Scholar

Chen, J., Habif, J. L., Dutton, Z., Lazarus, R. & Guha, S. Optical codeword demodulation with error rates below the standard quantum limit using a conditional nulling receiver. Nat. Photon. 6, 374–379 (2012).

Article ADS Google Scholar

Bondurant, R. S. Near-quantum optimum receivers for the phase-quadrature coherent-state channel. Opt. Lett. 18, 1896 (1993).

Article ADS Google Scholar

Müller, C. R. et al. Quadrature phase shift keying coherent state discrimination via a hybrid receiver. New J. Phys. 14, 083009 (2012).

Article ADS Google Scholar

Chen, T., Li, K., Zuo, Y. & Zhu, B. Hybrid quantum receiver for quadrature amplitude modulation coherent-state discrimination beating the classical limit. Appl. Opt. 57, 817 (2018).

Article ADS Google Scholar

van Loock, P. et al. Hybrid quantum repeater using bright coherent light. Phys. Rev. Lett. 96, 240501 (2006).

Article Google Scholar

Schmidt, F. & van Loock, P. Memory-assisted long-distance phase-matching quantum key distribution. Phys. Rev. A 102, 042614 (2020).

Article ADS MathSciNet Google Scholar

Esmaeil Zadeh, I. et al. Efficient single-photon detection with 7.7 ps time resolution for photon-correlation measurements. ACS Photonics 7, 1780 (2020).

Article Google Scholar

Dolinar, S. J. A Class of Optical Receivers Using Optical Feedback, Ph.D. thesis, Research Laboratory of Electronics, Massachusetts Institute of Technology, Massachusetts (1976).

Assalini, A., Dalla Pozza, N. & Pierobon, G. Revisiting the Dolinar receiver through multiple-copy state discrimination theory. Phys. Rev. A 84, 022342 (2011).

Article ADS Google Scholar

Acín, A., Bagan, E., Baig, M., Masanes, L. & Mu noz-Tapia, R. Multiple-copy two-state discrimination with individual measurements. Phys. Rev. A 71, 032338 (2005).

Article ADS MathSciNet MATH Google Scholar

Download references

This work was supported by the National Science Foundation (NSF) (PHY-1653670 and PHY-2210447).

Center for Quantum Information and Control, Department of Physics and Astronomy, University of New Mexico, Albuquerque, NM, 87131, USA

M. T. DiMario & F. E. Becerra

Joint Quantum Institute, National Institute of Standards and Technology and the University of Maryland, College Park, MD, 20742, USA

M. T. DiMario

You can also search for this author in PubMed Google Scholar

You can also search for this author in PubMed Google Scholar

F.E.B. supervised the work. M.T.D. designed the experimental implementation and performed the measurements. All authors contributed to the analysis of the theoretical and experimental results, conceived the idea of generalizing inconclusive measurement to higher dimensions, and contributed to writing the manuscript.

Correspondence to F. E. Becerra.

The authors declare no competing interests.

Publisher's note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

DiMario, M.T., Becerra, F.E. Demonstration of optimal non-projective measurement of binary coherent states with photon counting. npj Quantum Inf 8, 84 (2022). https://doi.org/10.1038/s41534-022-00595-3

Download citation

Received: 08 October 2021

Accepted: 24 June 2022

Published: 18 July 2022

DOI: https://doi.org/10.1038/s41534-022-00595-3

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative