Lieb-Robinson Bounds and Krylov Unforgeability: A Rigorous Framework
Authors/Creators
Description
We develop a rigorous mathematical framework proving that the QKD Krylov Detector, a three-layer eavesdropper detection system for Quantum Key Distribution based on Krylov complexity and sidereal filtering, provides information-theoretically grounded security against physically realizable attacks.
The central results are:
(1) Krylov Locality Theorem: An eavesdropper coupling at distance d from the monitored operator cannot affect the first d Lanczos coefficients. This is an exact algebraic identity, not an approximation.
(2) Perturbation Detectability Theorem: The first affected Lanczos coefficient scales as gamma^2, with computable upper and lower bound constants derived from second-order perturbation theory applied to the Lanczos recursion.
(3) Information-Distortion Bound: Eve's accessible information (Holevo quantity) scales as O(gamma^2), while the Krylov distortion scales as O(gamma^4), yielding an explicit tradeoff chi <= const * sqrt(Delta_K). Verified numerically using an explicit Eve ancilla model.
(4) Krylov Unforgeability Theorem: Any Hamiltonian perturbation that extracts nonzero information from the quantum channel necessarily distorts the Lanczos coefficients beyond the detection threshold. No physically realizable attack can simultaneously extract information and preserve the clean Krylov signature.
(5) Coherent Attack Invariance: The Lanczos coefficients are operator-space quantities independent of any quantum state, rendering coherent and entangled attack strategies unable to circumvent detection.
(6) Time-Dependent Unforgeability: Time-dependent coupling strategies gamma(t) produce strictly more distortion than constant coupling at the same average strength, by Jensen's inequality applied via a rigorous stroboscopic argument.
All results include full proofs and numerical verification for chain lengths N = 6, 8, 10, 12. This work provides the formal security foundation for the QKD Krylov Detector framework developed across six prior publications.
Companion code: https://github.com/quantumspiritresearch-crypto/qkd-krylov-detector
Notes (English)
This paper provides the formal mathematical foundation for the QKD Krylov Detector framework. All six gaps (G1-G6) identified in the empirical framework are closed with rigorous proofs. Simulation-based; experimental validation on real QKD hardware remains as future work.
Files
lieb_robinson_unforgeability_v1.pdf
Files
(1.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:728365c55a471355443dc48553117931
|
1.7 MB | Preview Download |
Additional details
References
- D. Süß, "Deconvolution of Sidereal and Diurnal Periodicities in QKD Networks: A Dual-Layer Statistical Framework," Zenodo, 2026. DOI: 10.5281/zenodo.18701222
- D. Süß, "Deconvolution of Sidereal and Diurnal Periodicities in Quantum Key Distribution Networks: A Dual-Layer Statistical Framework with Gap Robustness Analysis," Zenodo, 2026. DOI: 10.5281/zenodo.18768750
- D. Süß, "Sidereal Framework-Real-Data Validation Notebook (NANOGrav 15yr PSR J1713+0747)," Zenodo, 2026. DOI: 10.5281/zenodo.18792775
- D. Süß, "Scrambling vs. Recurrence: Transition from Integrable to Complex Quantum Dynamics," Zenodo, 2026. DOI: 10.5281/zenodo.18813710
- D. Süß, "QKD Eve Detector: A Research Collection on Eavesdropper Detection in Quantum Key Distribution — Parts I–III," Zenodo, 2026. DOI: 10.5281/zenodo.18873824
- D. Süß, "Quantum Scrambling as a Cryptographic Resource: From Krylov Complexity to Physical Channel Authentication," Zenodo, 2026. DOI: 10.5281/zenodo.18889224
- E. H. Lieb and D. W. Robinson, "The finite group velocity of quantum spin systems," Commun. Math. Phys. 28, 251–257 (1972).
- B. Nachtergaele and R. Sims, "Lieb-Robinson Bounds and the Exponential Clustering Theorem," Commun. Math. Phys. 265, 119–130 (2006).
- M. B. Hastings and T. Koma, "Spectral Gap and Exponential Decay of Correlations," Commun. Math. Phys. 265, 781–804 (2006).
- Z. Wang and K. R. A. Hazzard, "Tightening the Lieb-Robinson Bound in Locally-Interacting Systems," PRX Quantum 1, 010303 (2020). arXiv:1908.03997.
- T. Kato, Perturbation Theory for Linear Operators, Springer, 1966.
- N. Hörnedal, N. Carabba, A. S. Matsoukas-Roubeas, and A. del Campo, "Ultimate Speed Limits to the Growth of Operator Complexity," Commun. Phys. 5, 207 (2022). arXiv:2202.05006.
- C. A. Fuchs and J. van de Graaf, "Cryptographic distinguishability measures for quantum-mechanical states," IEEE Trans. Inf. Theory 45, 1216–1227 (1999).
- M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2000.
- C. F. Chen and A. Lucas, "Operator Growth Bounds from Graph Theory," Commun. Math. Phys. 385, 1273–1323 (2021). arXiv:1905.03682.
- V. Giovannetti, S. Lloyd, and L. Maccone, "Quantum Metrology," Phys. Rev. Lett. 96, 010401 (2006).
- A. S. Holevo, "Bounds for the Quantity of Information Transmitted by a Quantum Communication Channel," Probl. Inf. Transm. 9, 177–183 (1973).