Idle classical WDM channels can be opportunistically used for QKD under a guardband rule, with simulations reporting 45–65% reuse of unused spectrum and a key-reservoir reliability trade-off.
Computational Paths -- An approach in the $LND_{EQ}-TRS_{2}$ system
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
We use a labelled deduction system ( LND$_{ED-}$TRS ) based on the concept of computational paths (sequences of rewrites) as equalities between two terms of the same type, which allowed us to carry out in homotopic theory an approach using the concept of computational paths. From this, we show that the computational paths can be used to perform the proofs of the $LND_{EQ}-TRS_{2}$ rewriting system.
fields
quant-ph 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Opportunistic QKD: Exploiting Idle Capacity of Classical WDM Systems
Idle classical WDM channels can be opportunistically used for QKD under a guardband rule, with simulations reporting 45–65% reuse of unused spectrum and a key-reservoir reliability trade-off.