Robust One-Sided Device-Independent Quantum Key Distribution via High-Dimensional Steering

Technical Summary: Robust One-Sided Device-Independent Quantum Key Distribution via High-Dimensional Steering

Problem Statement
Quantum Key Distribution (QKD) offers information-theoretic security but faces practical limitations due to noise, transmission losses, and device imperfections. While high-dimensional (HD) quantum systems have been shown to enhance resilience against noise and loss in device-dependent settings, extending these benefits to device-independent scenarios remains challenging. Fully device-independent (DI) QKD protocols, which require no trust in measurement devices, are severely limited by losses and have not yet demonstrated significant advantages with higher dimensions. Conversely, one-sided device-independent (1sDI) QKD offers a feasible middle ground by assuming only one party (Bob) possesses trusted devices, while the other (Alice) operates with uncharacterized or untrusted hardware. However, existing 1sDI security proofs are largely restricted to qubit systems or specific measurement configurations, and the implementation of genuine multi-outcome measurements required for HD 1sDI-QKD has been a significant experimental hurdle.

Methodology
The authors propose a systematic security analysis and experimental implementation of HD 1sDI-QKD protocols leveraging quantum steering. The methodology comprises three main components:

1. Theoretical Framework:

   • Scenario: The protocol assumes an untrusted source distributing bipartite entangled states to Alice (untrusted device) and Bob (trusted device). Security is certified via the violation of a steering inequality, ensuring the observed correlations cannot be explained by a Local Hidden State (LHS) model.
   • Security Proofs: The authors analyze three protocol variants using two complementary security frameworks:
     • Two-basis protocol (Ia): Uses the Entropic Uncertainty Relation (EUR) framework.
     • d+1-basis protocols (Ib and Ic): Use a min-entropy framework formulated as a Semidefinite Program (SDP) constrained by steering inequalities.
   • Reconciliation Strategy: The analysis employs reverse reconciliation, where Alice (untrusted) corrects her key based on Bob's (trusted) data. This exploits the inherent asymmetry of the 1sDI scenario, yielding higher key rates and noise robustness compared to direct reconciliation, particularly as dimension increases.
   • Loss Handling: To address the detection loophole on Alice's side, the authors adopt an extra-outcome strategy, treating "no-click" events as an additional measurement outcome rather than discarding them or assigning them randomly. This allows for loss-tolerant steering inequalities.

2. Performance Analysis:

   • The authors model the system using a depolarizing-loss model with visibility ($\nu$) and detection efficiency ($\eta$).
   • They derive lower bounds on secret key rates for asymptotic regimes against collective attacks, evaluating the trade-offs between system dimension ($d$), noise, and loss for different measurement configurations (2-basis vs. $d+1$-basis spot-checking vs. $d+1$-basis multi-key-generation).

3. Experimental Implementation:

   • Platform: The experiment utilizes photon pairs entangled in the transverse-spatial degree of freedom.
   • Source: Entangled photons are generated via Type-II Spontaneous Parametric Down-Conversion (SPDC) at 1550 nm.
   • Measurement: A Multi-Plane Light Converter (MPLC) is used to perform fully programmable, high-dimensional multi-outcome measurements. The MPLC sorts spatial modes into Gaussian spots corresponding to measurement outcomes in Mutually Unbiased Bases (MUBs).
   • Dimensions: The setup operates in dimensions up to $d=11$, with experimental data collected for $d \in \{2, 3, 5, 7, 9, 11\}$.

Key Contributions

• Systematic Security Analysis: The paper provides a comprehensive security analysis for HD 1sDI-QKD, demonstrating that increasing the system dimension enhances robustness against both noise and loss, particularly when using reverse reconciliation.
• Protocol Variants: It introduces and analyzes three distinct protocol variants (two-basis, spot-checking, and multi-key-basis), showing that while the two-basis protocol currently offers the tightest bounds via EUR, protocols utilizing full sets of MUBs ($d+1$ bases) show significant potential for improved performance in min-entropy bounds.
• Experimental Demonstration: The authors present the first proof-of-principle implementation of HD 1sDI-QKD using genuine multi-outcome measurements in the spatial degree of freedom, operating up to dimension 11.
• Loss-Tolerant Strategy: The work explicitly incorporates Alice's no-click events into the security analysis via the extra-outcome strategy, avoiding the detection loophole associated with post-selection on the untrusted side.

Results

• Theoretical Findings:
  • Increasing dimension $d$ significantly improves the critical visibility ($\nu_{cr}$) required to generate a secret key, allowing the protocol to tolerate higher noise levels.
  • Reverse reconciliation consistently outperforms direct reconciliation, with the advantage growing in higher dimensions.
  • For the two-basis protocol, the minimum detection efficiency threshold converges to 50% in the noiseless case, regardless of dimension.
  • For $d+1$-basis protocols, the analysis suggests that using multiple key-generation bases (Protocol Ic) may allow for positive key rates at detection efficiencies below 50%, though rigorous bounds for these protocols remain an open problem.
• Experimental Findings:
  • The experiment successfully demonstrated post-selected steering violations across all investigated dimensions ($d=2$ to $11$).
  • Under the fair-sampling assumption, positive secret key rates were obtained for all dimensions.
  • The highest key rates were achieved at dimension $d=7$. For example, in the two-basis protocol, the key rate increased from ~0.87 bits (d=2) to ~2.02 bits (d=7) before declining at higher dimensions due to experimental imperfections (lower visibility).
  • The experimental data showed good agreement with the theoretical depolarizing-loss model.

Significance
The paper claims that this work bridges the gap between theoretical proposals for HD 1sDI-QKD and practical implementation. By demonstrating that high-dimensional entanglement can be harnessed to improve the robustness of 1sDI-QKD against noise and loss, the authors provide a viable pathway toward more practical quantum communication networks. The use of MPLCs for programmable, high-dimensional measurements addresses a critical bottleneck in realizing HD QKD. The results suggest that while fully DI-QKD remains challenging, the 1sDI setting with high-dimensional systems offers a robust alternative for scenarios where one party can deploy trusted hardware (e.g., data centers, banks) while communicating with less secure, untrusted devices. The authors note that achieving a loophole-free implementation in realistic loss regimes remains a future goal, but the current work establishes the necessary building blocks and theoretical justification for such advancements.