pith. sign in

arxiv: 2511.18913 · v2 · submitted 2025-11-24 · 🪐 quant-ph

Processing Entangled Links Into Secure Cryptographic Keys

Marcel Kokorsch , Guido Dietl This is my paper

Pith reviewed 2026-05-17 06:35 UTC · model grok-4.3

classification 🪐 quant-ph
keywords quantum key distributionentanglement distillationWerner statessecure key rateBell inequalityE91 protocolquantum information
0
0 comments X

The pith

Optimizing the full chain of distillation, measurements, and postprocessing maximizes secure key rates from noisy entangled states in Bell-based quantum key distribution.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that the interactions between entanglement distillation, quantum measurements, and classical postprocessing together set the final secure key rate in protocols that rely on Bell inequality violation for security. For Werner states it proves the specific measurement bases that reach the highest possible rate according to the Devetak-Winter capacity. It also introduces a new processing strategy that improves on standard methods and finds that only a limited amount of distillation is optimal instead of purifying the states as much as possible. This unified treatment lets one make quantitative statements about trading the quality of entangled links against their quantity to generate usable cryptographic keys.

Core claim

The authors claim that the Devetak-Winter secret key capacity is attained for Werner states when measurements are performed in particular bases after an optimal finite amount of entanglement distillation, and that the resulting unified chain description yields higher secure key rates than the most common literature approach while preserving security through observed Bell inequality violations.

What carries the argument

The Devetak-Winter secret key capacity applied directly to the effective state obtained after entanglement distillation and measurement on Werner states, with security grounded in Bell inequality violation.

If this is right

  • Measurement bases must be chosen specifically to reach the capacity bound for Werner states.
  • Entanglement distillation should be stopped at a finite optimal level rather than applied maximally.
  • The new processing strategy produces higher key rates than the standard method for the same input noise.
  • A single formalism now allows direct quantitative comparison of quality versus quantity of entangled resources for key generation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Practical systems could adjust the distillation depth in real time according to measured channel noise to maximize delivered key rate.
  • The same optimization logic may extend to other families of noisy entangled states beyond Werner states.
  • Quantum network architectures might incorporate tunable partial-distillation modules tuned specifically for key generation rather than for perfect entanglement.

Load-bearing premise

The collective effect of the entire processing chain on the secure key rate is captured by applying the Devetak-Winter capacity formula to Werner states after distillation and measurement.

What would settle it

A numerical simulation or experimental run that obtains a higher secure key rate with a different choice of measurement bases than the ones identified as optimal, or that shows the rate keeps increasing with more distillation, would contradict the central results.

Figures

Figures reproduced from arXiv: 2511.18913 by Guido Dietl, Marcel Kokorsch.

Figure 1
Figure 1. Figure 1: Region map comparing the two processing strategies, dependent on [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
read the original abstract

The following paper presents a holistic approach to the processing of entangled links within entanglement based quantum key distribution protocols, whose security relies on the Bell inequality. We investigate the interactions, and the collective impact, of the whole processing chain on the final secure key rate. This includes the quantum mechanical preprocessing in the form of entanglement distillation, processing of the entangled states via measurements and the necessary classical postprocessing based on the measurement results. Our investigations are based on the principle idea of the Eckert 1991 protocol and utilize the secret key capacity introduced by Devetak and Winter in 2005. Our results include a proof on what measurement bases need to be chosen to achieve this capacity for the case of Werner states. It also presents a new processing strategy and compares it with the most common one that can be found within the literature. Furthermore, it answers the question on how much entanglement distillation is optimal. By doing so we propose a unified formalism, describing the whole processing chain, that can be used to make quantitative statements on the relation between the quality and quantity of entangled but noisy quantum states used for generating secure keys.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a unified formalism for the full processing chain in E91-style entanglement-based QKD. It models the collective impact of entanglement distillation, measurement in chosen bases, and classical post-processing on the secure key rate, with the rate identified as the Devetak-Winter capacity evaluated on the final Werner state. Results include a proof that specific bases achieve this capacity for Werner states, a new processing strategy compared against standard literature approaches, and a determination of the optimal distillation level.

Significance. If the central identification of the key rate with the Devetak-Winter capacity holds after accounting for E91 data partitioning, the work supplies a quantitative tool for trading off entanglement quality versus quantity in noisy quantum networks. The explicit basis-optimization proof and strategy comparison would be useful contributions to practical quantum cryptography.

major comments (2)
  1. [§3] §3 (proof of optimal bases for Werner states): the derivation shows bases that maximize the Devetak-Winter expression for fixed Werner parameter, yet does not demonstrate that the same bases simultaneously preserve a CHSH violation large enough to bound Eve's information when the identical measurement outcomes are partitioned between key generation and Bell-test subsets.
  2. [§4] §4 (end-to-end secure-key-rate formula): the central claim that the rate equals the Devetak-Winter capacity on the post-distillation Werner state omits an explicit accounting for leakage introduced by partitioning raw data into key bits and CHSH-test bits; without this step the identification is not yet load-bearing.
minor comments (2)
  1. [Abstract] The abstract states that optimal bases are proved but does not name the bases; adding the explicit angles or vectors in the abstract or §3 would improve readability.
  2. [Figure 3] Figure captions for the strategy-comparison plots should state the precise Werner-parameter range and the number of distillation rounds used.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful and constructive review of our manuscript. The comments on the optimal-basis proof and the explicit treatment of data partitioning in the secure-key-rate formula are helpful. We respond to each major comment below and will revise the manuscript to incorporate the requested clarifications.

read point-by-point responses

  1. Referee: [§3] §3 (proof of optimal bases for Werner states): the derivation shows bases that maximize the Devetak-Winter expression for fixed Werner parameter, yet does not demonstrate that the same bases simultaneously preserve a CHSH violation large enough to bound Eve's information when the identical measurement outcomes are partitioned between key generation and Bell-test subsets.

    Authors: We agree that an explicit link between the chosen bases, the resulting CHSH value on the test subset, and the security bound is needed. For Werner states the isotropy ensures that the measurement bases maximizing the Devetak-Winter capacity are identical to those maximizing the CHSH correlator; consequently the CHSH violation estimated from any random subset of the outcomes remains statistically the same as the full-state value. We will add a short lemma in the revised §3 proving that the CHSH threshold required to bound Eve’s information is preserved under uniform random partitioning, thereby closing the gap. revision: yes

  2. Referee: [§4] §4 (end-to-end secure-key-rate formula): the central claim that the rate equals the Devetak-Winter capacity on the post-distillation Werner state omits an explicit accounting for leakage introduced by partitioning raw data into key bits and CHSH-test bits; without this step the identification is not yet load-bearing.

    Authors: The referee is correct that the current presentation does not explicitly derive the rate reduction due to test-bit allocation. We will revise §4 to introduce a test-fraction parameter f_test and write the end-to-end rate as (1−f_test)·I(A:B)−f_test·leakage−χ(A:E), where the Devetak-Winter term is evaluated on the post-distillation Werner state. For the symmetric Werner case we show that the optimal bases keep the subtracted terms minimal, so the identification with the Devetak-Winter capacity remains valid after the adjustment. This explicit formula will be added to the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies external Devetak-Winter capacity to post-processed Werner states

full rationale

The paper's central formalism applies the established Devetak-Winter secret-key capacity (2005) to Werner states after entanglement distillation and measurement, building on the Ekert 1991 protocol. The proof of optimal measurement bases for Werner states and the comparison of processing strategies are presented as independent calculations rather than reductions to fitted parameters or self-citations. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citation chains are identifiable from the provided abstract and context. The approach remains self-contained against external benchmarks, with security grounded in Bell inequality violation and no evidence that new results are forced by construction from the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard quantum information assumptions rather than new free parameters or invented entities; Werner states are treated as the model for noisy entanglement.

axioms (2)
  • domain assumption Werner states adequately model the noisy entangled links used in the protocol
    Invoked for the measurement basis proof and distillation optimization.
  • standard math Bell inequality violation guarantees security in the E91-style protocol
    Stated as the basis for security of the key rate calculations.

pith-pipeline@v0.9.0 · 5485 in / 1323 out tokens · 38151 ms · 2026-05-17T06:35:42.615339+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Quantum technology: the second quantum revolution,

    J. P. Dowling and G. J. Milburn, “Quantum technology: the second quantum revolution,”Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences, vol. 361, no. 1809, pp. 1655–1674, Jun. 2003

    work page 2003

  2. [2]

    Fundamental limits of repeaterless quantum communications,

    S. Pirandola, R. Laurenza, C. Ottaviani, and L. Banchi, “Fundamental limits of repeaterless quantum communications,”Nature Communica- tions, vol. 8, no. 1, Apr. 2017

    work page 2017

  3. [3]

    Quantum cryptography based on bell’s theorem,

    A. K. Ekert, “Quantum cryptography based on bell’s theorem,”Phys. Rev. Lett., vol. 67, pp. 661–663, Aug 1991

    work page 1991

  4. [4]

    Architectural Principles for a Quantum Internet,

    W. Kozlowski, S. Wehner, R. V . Meter, B. Rijsman, A. S. Cacciapuoti, M. Caleffi, and S. Nagayama, “Architectural Principles for a Quantum Internet,” RFC 9340, Mar. 2023. [Online]. Available: https://www.rfc-editor.org/info/rfc9340

    work page 2023

  5. [5]

    On the einstein podolsky rosen paradox,

    J. S. Bell, “On the einstein podolsky rosen paradox,”Physics Physique Fizika, vol. 1, no. 3, pp. 195–200, Nov. 1964

    work page 1964

  6. [6]

    Device-independent quantum key distribution secure against collective attacks,

    S. Pironio, A. Ac ´ın, N. Brunner, N. Gisin, S. Massar, and V . Scarani, “Device-independent quantum key distribution secure against collective attacks,”New Journal of Physics, vol. 11, no. 4, p. 045021, Apr. 2009

    work page 2009

  7. [7]

    When entanglement meets classical communications: Quantum teleportation for the quantum internet,

    A. S. Cacciapuoti, M. Caleffi, R. Van Meter, and L. Hanzo, “When entanglement meets classical communications: Quantum teleportation for the quantum internet,”IEEE Transactions on Communications, vol. 68, no. 6, pp. 3808–3833, 2020

    work page 2020

  8. [8]

    Physics-informed quantum communication networks: A vision toward the quantum internet,

    M. Chehimi and W. Saad, “Physics-informed quantum communication networks: A vision toward the quantum internet,”IEEE Network, vol. 36, no. 5, pp. 32–38, 2022

    work page 2022

  9. [9]

    A quantum repeater based on decoherence free subspaces,

    U. Dorner, A. Klein, and D. Jaksch, “A quantum repeater based on decoherence free subspaces,”Quantum Information and Computation, vol. 8, no. 5, pp. 468–488, May 2008

    work page 2008

  10. [10]

    Entanglement purification and quantum error correction,

    W. D ¨ur and H. J. Briegel, “Entanglement purification and quantum error correction,”Reports on Progress in Physics, vol. 70, no. 8, pp. 1381– 1424, jul 2007

    work page 2007

  11. [11]

    Purification of noisy entanglement and faithful teleportation via noisy channels,

    C. H. Bennett, G. Brassard, S. Popescu, B. Schumacher, J. A. Smolin, and W. K. Wootters, “Purification of noisy entanglement and faithful teleportation via noisy channels,”Physical Review Letters, vol. 76, no. 5, pp. 722–725, jan 1996

    work page 1996

  12. [12]

    Quantum privacy amplification and the security of quantum cryptography over noisy channels,

    D. Deutsch, A. Ekert, R. Jozsa, C. Macchiavello, S. Popescu, and A. Sanpera, “Quantum privacy amplification and the security of quantum cryptography over noisy channels,”Physical Review Letters, vol. 77, no. 13, pp. 2818–2821, sep 1996

    work page 1996

  13. [13]

    Quantum error correction: an introductory guide,

    J. Roffe, “Quantum error correction: an introductory guide,”Contempo- rary Physics, vol. 60, no. 3, pp. 226–245, Jul. 2019

    work page 2019

  14. [14]

    Optimal architectures for long distance quantum communica- tion,

    S. Muralidharan, L. Li, J. Kim, N. L ¨utkenhaus, M. D. Lukin, and L. Jiang, “Optimal architectures for long distance quantum communica- tion,”Sci. Rep., vol. 6, no. 1, p. 20463, Feb. 2016

    work page 2016

  15. [15]

    Entanglement purification for quantum communication,

    J.-W. Pan, C. Simon, ˇC. Brukner, and A. Zeilinger, “Entanglement purification for quantum communication,”Nature, vol. 410, no. 6832, pp. 1067–1070, apr 2001

    work page 2001

  16. [16]

    Optimizing practical entanglement distillation,

    F. Rozpedek, T. Schiet, L. P. Thinh, D. Elkouss, A. C. Doherty, and S. Wehner, “Optimizing practical entanglement distillation,”Physical Review A, vol. 97, no. 6, p. 062333, jun 2018

    work page 2018

  17. [17]

    On optimum entanglement purification scheduling in quantum networks,

    L. Chen and Z. Jia, “On optimum entanglement purification scheduling in quantum networks,”IEEE Journal on Selected Areas in Communica- tions, vol. 42, no. 7, pp. 1779–1792, 2024. 11

    work page 2024

  18. [18]

    Distillation of secret key and entanglement from quantum states,

    I. Devetak and A. Winter, “Distillation of secret key and entanglement from quantum states,”Proceedings of the Royal Society A: Mathemati- cal, Physical and Engineering Sciences, vol. 461, no. 2053, pp. 207–235, Jan. 2005

    work page 2053

  19. [19]

    Quantum states with einstein-podolsky-rosen correlations admitting a hidden-variable model,

    R. F. Werner, “Quantum states with einstein-podolsky-rosen correlations admitting a hidden-variable model,”Physical Review A, vol. 40, no. 8, pp. 4277–4281, oct 1989

    work page 1989

  20. [20]

    Mixed-state entanglement and quantum error correction,

    C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, and W. K. Wootters, “Mixed-state entanglement and quantum error correction,”Phys. Rev. A, vol. 54, pp. 3824–3851, Nov 1996

    work page 1996

  21. [21]

    Impact of entanglement distillation on the secret key rate of qkd beyond fidelity enhancement,

    M. Kokorsch and G. Dietl, “Impact of entanglement distillation on the secret key rate of qkd beyond fidelity enhancement,” inICC 2025 - IEEE International Conference on Communications, 2025, pp. 1–6

    work page 2025

  22. [22]

    Usability regions of quantum repeaters for depolarization chan- nels,

    ——, “Usability regions of quantum repeaters for depolarization chan- nels,” inGLOBECOM 2024 - 2024 IEEE Global Communications Conference, 2024, pp. 3485–3490

    work page 2024

  23. [23]

    Proposed experiment to test local hidden-variable theories,

    J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, “Proposed experiment to test local hidden-variable theories,”Physical Review Letters, vol. 23, no. 15, pp. 880–884, oct 1969

    work page 1969

  24. [24]

    Secret-key reconciliation by public discus- sion,

    G. Brassard and L. Salvail, “Secret-key reconciliation by public discus- sion,” inAdvances in Cryptology — EUROCRYPT ’93, T. Helleseth, Ed. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994, pp. 410–423

    work page 1994

  25. [25]

    Generalized pri- vacy amplification,

    C. Bennett, G. Brassard, C. Crepeau, and U. Maurer, “Generalized pri- vacy amplification,”IEEE Transactions on Information Theory, vol. 41, no. 6, pp. 1915–1923, 1995

    work page 1915

  26. [26]

    Symmetries in quantum key distribu- tion and the connection between optimal attacks and optimal cloning,

    A. Ferenczi and N. L ¨utkenhaus, “Symmetries in quantum key distribu- tion and the connection between optimal attacks and optimal cloning,” Phys. Rev. A, vol. 85, p. 052310, May 2012

    work page 2012

  27. [27]

    Secret key rate of quantum key distribution assuming worst-case attacks,

    A. S. Ettinger, M. Kokorsch, and G. Dietl, “Secret key rate of quantum key distribution assuming worst-case attacks,” in2025 14th International ITG Conference on Systems, Communications and Coding (SCC), 2025, pp. 1–6

    work page 2025

  28. [28]

    Aspect,Bell’s Theorem: The Naive View of an Experimentalist

    A. Aspect,Bell’s Theorem: The Naive View of an Experimentalist. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002, pp. 119–153

    work page 2002

  29. [29]

    Efficient quantum key distribution secure against no-signalling eavesdroppers,

    A. Ac ´ın, S. Massar, and S. Pironio, “Efficient quantum key distribution secure against no-signalling eavesdroppers,”New Journal of Physics, vol. 8, no. 8, pp. 126–126, Aug. 2006

    work page 2006