Quantum key distribution with non-ideal heterodyne detection: composable
security of discrete-modulation continuous-variable protocols
- URL: http://arxiv.org/abs/2108.00428v3
- Date: Wed, 16 Mar 2022 18:22:15 GMT
- Title: Quantum key distribution with non-ideal heterodyne detection: composable
security of discrete-modulation continuous-variable protocols
- Authors: Cosmo Lupo, Yingkai Ouyang
- Abstract summary: Continuous-variable quantum key distribution exploits coherent measurements of the electromagnetic field.
In doing this, we establish for the first time the composable security of discrete-modulation continuous-variable quantum key distribution in the finite-size regime.
- Score: 6.85316573653194
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Continuous-variable quantum key distribution exploits coherent measurements
of the electromagnetic field, i.e., homodyne or heterodyne detection. The most
advanced security proofs developed so far relied on idealised mathematical
models for such measurements, which assume that the measurement outcomes are
continuous and unbounded variables. As physical measurement devices have finite
range and precision, these mathematical models only serve as an approximation.
It is expected that, under suitable conditions, the predictions obtained using
these simplified models are in good agreement with the actual experimental
implementations. However, a quantitative analysis of the error introduced by
this approximation, and of its impact on composable security, have been lacking
so far. Here we present a theory to rigorously account for the experimental
limitations of realistic heterodyne detection. We focus on collective attacks,
and present security proofs for the asymptotic and finite-size regimes, the
latter within the framework of composable security. In doing this, we establish
for the first time the composable security of discrete-modulation
continuous-variable quantum key distribution in the finite-size regime. Tight
bounds on the key rates are obtained through semi-definite programming and do
not rely on a truncation of the Hilbert space.
Related papers
- Conformal Generative Modeling with Improved Sample Efficiency through Sequential Greedy Filtering [55.15192437680943]
Generative models lack rigorous statistical guarantees for their outputs.
We propose a sequential conformal prediction method producing prediction sets that satisfy a rigorous statistical guarantee.
This guarantee states that with high probability, the prediction sets contain at least one admissible (or valid) example.
arXiv Detail & Related papers (2024-10-02T15:26:52Z) - Discrete-modulated continuous-variable quantum key distribution secure against general attacks [0.0]
This work presents a security analysis of DM-CV-QKD against general sequential attacks, including finite-size effects.
Remarkably, our proof considers attacks that are neither independent nor identical, and makes no assumptions about the Hilbert space dimension of the receiver.
arXiv Detail & Related papers (2024-09-04T11:50:18Z) - Probabilistic Conformal Prediction with Approximate Conditional Validity [81.30551968980143]
We develop a new method for generating prediction sets that combines the flexibility of conformal methods with an estimate of the conditional distribution.
Our method consistently outperforms existing approaches in terms of conditional coverage.
arXiv Detail & Related papers (2024-07-01T20:44:48Z) - Relaxed Quantile Regression: Prediction Intervals for Asymmetric Noise [51.87307904567702]
Quantile regression is a leading approach for obtaining such intervals via the empirical estimation of quantiles in the distribution of outputs.
We propose Relaxed Quantile Regression (RQR), a direct alternative to quantile regression based interval construction that removes this arbitrary constraint.
We demonstrate that this added flexibility results in intervals with an improvement in desirable qualities.
arXiv Detail & Related papers (2024-06-05T13:36:38Z) - Symmetry-protection Zeno phase transition in monitored lattice gauge theories [0.0]
We show the existence of a sharp transition, triggered by the measurement rate, between a protected gauge-theory regime and an irregular regime.
Our results shed light on the dissipative criticality of strongly-interacting, highly-constrained quantum systems.
arXiv Detail & Related papers (2024-05-28T18:18:06Z) - Selective Nonparametric Regression via Testing [54.20569354303575]
We develop an abstention procedure via testing the hypothesis on the value of the conditional variance at a given point.
Unlike existing methods, the proposed one allows to account not only for the value of the variance itself but also for the uncertainty of the corresponding variance predictor.
arXiv Detail & Related papers (2023-09-28T13:04:11Z) - Security of discrete-modulated continuous-variable quantum key distribution [4.637027109495763]
Continuous variable quantum key distribution with discrete modulation has the potential to provide information-theoretic security.
We prove finite-size security against coherent attacks for a discrete-modulated quantum key distribution protocol.
arXiv Detail & Related papers (2023-03-16T12:14:07Z) - Model-Based Uncertainty in Value Functions [89.31922008981735]
We focus on characterizing the variance over values induced by a distribution over MDPs.
Previous work upper bounds the posterior variance over values by solving a so-called uncertainty Bellman equation.
We propose a new uncertainty Bellman equation whose solution converges to the true posterior variance over values.
arXiv Detail & Related papers (2023-02-24T09:18:27Z) - The Implicit Delta Method [61.36121543728134]
In this paper, we propose an alternative, the implicit delta method, which works by infinitesimally regularizing the training loss of uncertainty.
We show that the change in the evaluation due to regularization is consistent for the variance of the evaluation estimator, even when the infinitesimal change is approximated by a finite difference.
arXiv Detail & Related papers (2022-11-11T19:34:17Z) - Quantum randomness certification with untrusted measurements and few
probe states [0.0]
We present a scheme for quantum random-number generation from an untrusted measurement device and a trusted source.
No assumptions about noise or imperfections in the measurement are required, and the scheme is simple to implement with existing technology.
We show that randomness can be certified in the presence of both Gaussian additive noise and non-Gaussian imperfections.
arXiv Detail & Related papers (2022-10-24T21:18:22Z) - Continuous Gaussian Measurements of the Free Boson CFT: A model for
Exactly Solvable and Detectable Measurement-Induced Dynamics [0.0]
We introduce a scenario of measurement-induced many body evolution, which possesses an exact analytical solution: bosonic measurements.
We consider an elementary model for quantum criticality, the free boson conformal field theory, and investigate in which way criticality is modified under measurements.
For each scenario, we discuss the impact of imperfect measurements, which reduce the purity of the wavefunction and are equivalent to Markovian decoherence.
arXiv Detail & Related papers (2021-08-09T18:00:04Z)
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.