Semi-Device-Independent Quantum Key Distribution from Operational Assumptions

• URL: http://arxiv.org/abs/2607.06682v1
• Date: Tue, 07 Jul 2026 18:01:48 GMT
• Title: Semi-Device-Independent Quantum Key Distribution from Operational Assumptions
• Abstract summary: Semi-device-independent quantum key distribution leaves measurement devices uncharacterized while placing a trusted assumption on Alice's source.<n>We formulate this source assumption operationally on Alice's four-preparation ensemble as a scalar bound on one of four physically motivated source tasks.<n>We obtain two dimension-independent security certificates over this feasible set.
• Score: 0.5872014229110214
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Semi-device-independent quantum key distribution leaves the measurement devices uncharacterized while placing a trusted assumption on Alice's source. We formulate this source assumption operationally on Alice's four-preparation ensemble as a scalar bound on one of four physically motivated source tasks: full-label guessing, parity guessing, or their normalized composites with label exclusion. For the two-bit random-access code, we derive the exact classical frontier for each of the four source assumptions. Numerically, the BB84 strategy attains the maximal quantum deviation from all four frontiers, while the preparation-depolarized BB84 family and the direct-sum label-leakage family trace complementary branches of the arbitrary-dimensional quantum boundary for the two exclusion-assisted assumptions. Because all four task values are monotone under input-independent quantum channels, the same scalar source bound constrains every Bob--Eve extension compatible with the complete observed behavior. Using a three-setting extension that separates RAC testing from key generation, we obtain two dimension-independent security certificates over this feasible set: lower bounds on the conditional min-entropy and conditional von Neumann entropy, obtained respectively by direct optimization of Eve's key-guessing probability and by prepare-and-measure semidefinite relaxations based on the Brown--Fawzi--Fawzi variational bound. The exclusion-assisted assumptions certify positive key rates down to nearly vanishing preparation visibility, far beyond full-label or parity guessing alone. Under direct-sum label leakage, all four independently optimized rate bounds remain positive at every sampled incomplete-leakage point and vanish only at complete label revelation. These results show that robust semi-device-independent security depends not only on what Eve can identify, but also on what she can exclude.

Related papers

• Robust Device-Independent Certification of Boolean-Phase Gates [43.185722326013035]
  Device-independent certification of a quantum gate requires the input and output tests to identify the same reference qubits.<n>We develop a robust certification scheme for Boolean-phase gates.<n>We show how the algebraic structure of a gate can shift target-dependent information from quantum measurement design to classical processing of local outcomes.
  arXiv  Detail & Related papers  (2026-09-09T07:41:09Z)
• Quantum Representation Learning Beyond Pairwise Fidelity [0.26856688022781555]
  We show that a transition-probability-only learning interface can possess exact continuous blind directions in certain quantum-state families.<n>In relational quartets derived from toric-code and double-semion states, this fidelity-blind signal encodes inequivalent modular data despite identical pairwise fidelities.
  arXiv  Detail & Related papers  (2026-09-01T19:07:37Z)
• Robust CHSH Self-Testing with Finite-Energy GKP States [42.71287663143178]
  We present a full-oscillator analysis of a finite-energy GKP CHSH test.<n>The observed score yields robust Bell-pair self-testing.
  arXiv  Detail & Related papers  (2026-08-11T16:33:28Z)
• Diagnosing quantum reservoirs at scale based on expressivity and coverage [42.138439537056954]
  Quantum reservoirs offer a hardware-friendly route to quantum machine learning.<n>Because the reservoir is not optimized, performance depends entirely on the choice of reservoir family.<n>We introduce a scalable, hardware-agnostic framework built on two complementary quantities.
  arXiv  Detail & Related papers  (2026-07-10T14:16:13Z)
• Active Quantum Kernel Acquisition for Gaussian Process Regression [30.032230630492155]
  Recent work on quantum kernel classification has shown that allocating shots non-uniformly across kernel entries can reduce the shot budget required to reach a target accuracy.<n>We extend this idea to Gaussian process (GP) regression, a setting whose downstream quantities (full-spectrum posterior variance, log-determinant, marginal likelihood) couple to kernel error more tightly than the sign-only outputs of classification.<n>We derive three closed-form pair-level sensitivities predictive coupling $|_i_j|$, leave-one-out residual, and marginal-likelihood gradient and plug them into a Neyman-style minimum
  arXiv  Detail & Related papers  (2026-06-27T09:40:20Z)
• Squeezed-state semi-device-independent quantum randomness generation [0.0]
  This paper investigates semi-device-independent quantum randomness generation with a trusted binary pure-state source and an untrusted binary detector.<n>We derive a closed-form Shannon-rate expression for this setting, depending only on the trusted Gram overlap of the two source states.<n>We then apply the result to squeezed-coherent BPSK sources, showing how squeezing changes the trade-off between state distinguishability and certified randomness.
  arXiv  Detail & Related papers  (2026-06-02T16:54:29Z)
• Quantification of Credal Uncertainty: A Distance-Based Approach [34.89687688300613]
  We introduce a family of uncertainty measures within the framework of Integral Probability Metrics (IPMs)<n>We instantiate the framework with the total variation distance and obtain simple, efficient uncertainty measures for multiclass classification.<n> Empirical results confirm practical usefulness, with favorable performance at low computational cost.
  arXiv  Detail & Related papers  (2026-03-28T13:50:48Z)
• Freeness Reined in by a Single Qubit [36.94429692322632]
  We find that, even in this setting, the correlation functions predicted by free probability theory receive corrections of order $O(1)$.<n>We trace their origin to non-uniformly distributed stationary quantum states, which we characterize analytically and confirm numerically.
  arXiv  Detail & Related papers  (2025-12-15T19:00:09Z)
• Variational Secret Common Randomness Extraction [38.319927578257726]
  We study the problem of extracting common randomness (CR) or secret keys from correlated random sources observed by two legitimate parties, Alice and Bob, through public discussion in the presence of an eavesdropper, Eve.<n>We propose a practical two-stage CR extraction framework. In the first stage, Alice and Bob employ probabilistic neural network (NN) encoders to map their observations into discrete, nearly uniform random variables (RVs) with high agreement probability.<n>In the second stage, a secure sketch using code-offset construction reconciles the encoder outputs into identical secret keys, whose secrecy is guaranteed by the VPQ objective
  arXiv  Detail & Related papers  (2025-10-02T14:22:21Z)
• Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
  We propose an unsupervised conformal inference framework for generation.<n>Our gates achieve close-to-nominal coverage and provide tighter, more stable thresholds than split UCP.<n>The result is a label-free, API-compatible gate for test-time filtering.
  arXiv  Detail & Related papers  (2025-09-26T23:40:47Z)
• Measurement-Incompatibility Constraints for Maximal Randomness [5.560127372386599]
  Certifying maximal quantum randomness without assumptions about system dimension remains a pivotal challenge for secure communication and foundational studies.<n>Here, we introduce a generalized framework to directly certify maximal randomness from observed probability distributions across systems with arbitrary user numbers.<n>Our results establish a versatile and experimentally accessible route to scalable randomness certification, with implications for quantum cryptography and the physics of nonlocal correlations.
  arXiv  Detail & Related papers  (2025-05-23T07:45:11Z)
• Determination of All Unknown Pure Quantum States with Two Observables [3.19428095493284]
  Efficiently extracting information from pure quantum states using minimal observables on the main system is a longstanding and fundamental issue in quantum information theory. We show that two orthogonal bases are capable of effectively filtering up to $2d-1$ finite candidates by disregarding a measure-zero set. We also show that almost all pure qudits can be uniquely determined by adaptively incorporating a POVM in the middle, followed by measuring the complementary observable.
  arXiv  Detail & Related papers  (2021-08-12T13:46:14Z)
• Distribution-free binary classification: prediction sets, confidence intervals and calibration [106.50279469344937]
  We study three notions of uncertainty quantification -- calibration, confidence intervals and prediction sets -- for binary classification in the distribution-free setting. We derive confidence intervals for binned probabilities for both fixed-width and uniform-mass binning. As a consequence of our 'tripod' theorems, these confidence intervals for binned probabilities lead to distribution-free calibration.
  arXiv  Detail & Related papers  (2020-06-18T14:17:29Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.