aiqbench analysis
This research establishes rigorous information-theoretic bounds for detecting parameter-estimation attacks in continuous-variable quantum key distribution systems, specifically addressing the detectability of certificate forgery under trusted shot-noise conditions. By formalizing side-channel detection as a hypothesis test involving Stein exponents, the study provides unconditional security guarantees and finite-size composable key-length statements that are critical for advancing practical QKD implementations against collective Gaussian attacks.
Information-theoretic limits on undetectable parameter-estimation attacks in continuous-variable quantum key distribution
arXiv:2607.24855v1 Announce Type: new Abstract: We formalize side-channel detection in Gaussian-modulated continuous-variable quantum key distribution (CV-QKD) as a certificate-forgery hypothesis test and identify its detectability with an information-theoretic rate. Relative to a set $\mathcal{M}$ of trusted, real-time-monitored observables, the forgery- detectability rate $g_{\mathcal M}$ of a benign-statistics certificate is the missed-detection Stein exponent. We prove a dichotomy: $g_{\mathcal M}$ is monotone and strictly positive in the leaked Holevo information when the shot- noise unit is trusted, and identically zero otherwise, recovering local- oscillator and calibration attacks as the degenerate case. Monotonicity yields a certificate reusability rate bounding the Holevo leakage compatible with an undetected certificate over $N_{\mathrm{PE}}$ estimation rounds, via the non- asymptotic bound $\varepsilon_{\mathrm{PE}}\le\exp(-N_{\mathrm{PE}}\psi(r))$ whose near-threshold expansion matches the Gaussian confidence-interval scaling of standard finite-size analyses. We then give a composable finite-size key- length statement under collective Gaussian attacks, whose worst-case Holevo term is the reusability rate and whose parameter-estimation failure probability is bounded by the Stein exponent at every block length. Both results are unconditional in the trusted-correlation model, where strict monotonicity of the Holevo leakage in the excess noise follows from a noise-injection argument; for general $\mathcal{M}$ they hold under an explicit no-spurious-local-minima condition on the divergence landscape, verifiable by low-dimensional inspection. Convexity of the rate further assumes a numerically supported concavity of the Holevo bound, the sole numerical ingredient; proof status is delimited throughout.
Abstract:We formalize side-channel detection in Gaussian-modulated continuous-variable quantum key distribution (CV-QKD) as a certificate-forgery hypothesis test and identify its detectability with an information-theoretic rate. Relative to a set $\mathcal{M}$ of trusted, real-time-monitored observables, the forgery- detectability rate $g_{\mathcal M}$ of a benign-statistics certificate is the missed-detection Stein exponent. We prove a dichotomy: $g_{\mathcal M}$ is monotone and strictly positive in the leaked Holevo information when the shot- noise unit is trusted, and identically zero otherwise, recovering local- oscillator and calibration attacks as the degenerate case. Monotonicity yields a certificate reusability rate bounding the Holevo leakage compatible with an undetected certificate over $N_{\mathrm{PE}}$ estimation rounds, via the non- asymptotic bound $\varepsilon_{\mathrm{PE}}\le\exp(-N_{\mathrm{PE}}\psi(r))$ whose near-threshold expansion matches the Gaussian confidence-interval scaling of standard finite-size analyses. We then give a composable finite-size key- length statement under collective Gaussian attacks, whose worst-case Holevo term is the reusability rate and whose parameter-estimation failure probability is bounded by the Stein exponent at every block length. Both results are unconditional in the trusted-correlation model, where strict monotonicity of the Holevo leakage in the excess noise follows from a noise-injection argument; for general $\mathcal{M}$ they hold under an explicit no-spurious-local-minima condition on the divergence landscape, verifiable by low-dimensional inspection. Convexity of the rate further assumes a numerically supported concavity of the Holevo bound, the sole numerical ingredient; proof status is delimited throughout.
arXiv:2607.24855 [quant-ph]
(or arXiv:2607.24855v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2607.24855 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 314 words
Related coverage

Deconfusing Corrigibility
AI Alignment Forum · Oct 17, 2026

[AINews] Reality Checks on AI News (Yegge shuts down Gas Town, Databricks’ +60% Astra cost)
Latent Space · Sep 17, 2026

Research Note: Filtering Subversion-Relevant Information From Pretraining Data Is Feasible
LessWrong · Oct 5, 2026

News
Quantum Computing Report · Jun 7, 2026