Opportunistic QKD: Exploiting Idle Capacity of Classical WDM Systems

Alonso Viladomat Jasso; Janis N\"otzel; Pere Munar Vallespir; Sumit Chaudhary

REVIEW 4 major objections 2 minor 13 references

Opportunistic QKD: Exploiting Idle Capacity of Classical WDM Systems

T0 review · 4 major / 2 minor · reviewed 2026-07-12 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Unused channels in classical fiber networks can be turned into opportunistic quantum key distribution capacity while classical traffic stays first.

desk verdict The QKD abstract and paper_id do not match the supplied full text, so the 45–65% reuse claim and Reliability Horizon results cannot be audited from this package. read the letter →

arxiv 2604.12982 v2 pith:PMTXE7G3 submitted 2026-04-14 quant-ph

Sumit Chaudhary , Pere Munar Vallespir , Alonso Viladomat Jasso , Janis Nötzel This is my paper · ORCID

classification quant-ph

keywords opportunisticQKDWDMidlespectrumcrosstalkguardbandstochastictrafficmodelkeyreservoirReliabilityHorizonservice-levelagreements

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Lab quantum key distribution (QKD) works, but scaling it means riding on the fiber networks operators already run. This paper proposes opportunistic QKD: when classical wavelength-division multiplexing (WDM) leaves channels idle, those channels carry quantum signals, with classical traffic always prioritized. A guardband of empty channels sits between classical and quantum light to limit crosstalk. Using a traffic model that combines a day–night cycle with fractional Gaussian noise, Monte-Carlo runs on an 80-channel WDM system find that 45–65% of the unused spectrum can be reused for QKD, depending on load. The authors also model a key reservoir with available and recovery states, define a Reliability Horizon as the three-sigma depletion threshold, and show a trade-off: higher buffer reset levels stretch the Reliability Horizon but lengthen recovery “dark windows.” First-passage times are heavy-tailed and fit a diurnal-plus-Bihill model, so operators can tune buffers against service-level agreements.

What carries the argument

Opportunistic QKD with guardband: idle WDM channels carry quantum signals only when classical traffic leaves spectral room, with unused channels forced between classical and quantum bands; the key reservoir and Reliability Horizon (3σ depletion threshold) then convert fluctuating key generation into SLA-aware availability and recovery times.

What would settle it

Measure real multi-channel WDM occupancy traces and co-propagating QKD secret-key rates with the proposed guardband: if usable idle-spectrum fraction falls well outside 45–65% or key-rate collapses under realistic crosstalk, the central reuse claim fails.

Watch

Extended reading notes

Core claim

In an 80-channel classical WDM system, a stochastic traffic model (deterministic day–night cycle plus fractional Gaussian noise) and a fixed guardband between classical and quantum channels allow 45–65% of idle spectrum to be repurposed for opportunistic QKD while classical traffic remains prioritized; a key reservoir’s Reliability Horizon (3σ depletion) then trades longer secure-key availability against longer recovery dark windows.

Load-bearing premise

A fixed guardband of empty channels is enough to control crosstalk when classical and quantum light share the fiber, and the synthetic day–night plus fractional-Gaussian traffic model is faithful enough for the reported 45–65% reuse numbers.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The first thing you need to know: this is not a reviewable Opportunistic QKD paper. The abstract and arXiv id point to a WDM co-existence / key-reservoir study, but the full manuscript in the bundle is a different work—Recursive Completion in Higher λ-Models (Kan semantics, front-seed coherence, exact K∞ packaging, Lean 4). So the headline Monte-Carlo claim (45–65% of unused spectrum for QKD under guardbands and day–night + fractional Gaussian traffic) has no methods, channel model, crosstalk physics, figures, or code in what we were given. That is not a soft spot; it is a hard stop on evaluating the quant-ph contribution.

On the abstract alone, the intended idea is applied systems engineering: schedule QKD into idle classical WDM channels, keep classical priority, insert unused-channel guardbands, and manage a key reservoir with a 3σ “Reliability Horizon” and a buffer-reset vs recovery-time trade-off, plus a diurnal + Bihill fit to first-passage times. That is useful operator-facing framing if the simulations and crosstalk assumptions hold. It is not a new quantum primitive; novelty would live in the traffic model, the reservoir SLA machinery, and the quantitative reuse numbers—none of which we can check here.

The weakest assumptions in the abstract are exactly the ones that need the missing body: that a fixed guardband of unused channels is enough for realistic co-propagation, and that synthetic day–night + fGn occupancy is a fair stand-in for live WDM plants. Residual risk that the Bihill composite is a flexible fit to the same simulated first-passage data is real but secondary until we see the paper.

Separately, the attached λ-models manuscript looks like serious formal work (explicit theorems, Lean with no sorry/admit/axiom claimed). That is not a substitute for reviewing 2604.12982.

Who this is for: network/QKD co-existence people—if and only if the correct full text, parameters, and validation appear. I would not bring the current package to reading group, would not cite the 45–65% or Reliability Horizon numbers, and would not treat this submission as ready for referees until the manuscript matches the abstract. Get the real PDF (and ideally code); then reassess.

Referee Report

4 major / 2 minor

Summary. The submission is labeled as arXiv:2604.12982, “Opportunistic QKD: Exploiting Idle Capacity of Classical WDM Systems,” with an abstract claiming Monte-Carlo results on an 80-channel WDM system (day–night cycle plus fractional Gaussian noise), 45–65% reuse of unused spectrum under a guardband constraint, a key-reservoir model with a 3σ “Reliability Horizon,” a linear buffer-reset vs recovery-time trade-off, and a heavy-tailed first-passage characterization via a diurnal + Bihill composite. The full manuscript body supplied for review is instead an unrelated paper on recursive completion in higher λ-models (front-seed Kan coherence, exact K∞ reify/reflect packaging, and fixed-span β/η witness separation), fully formalized in Lean 4. None of the QKD/WDM claims, methods, or figures appear in the body.

Significance. If the abstract’s opportunistic-QKD framework were supported by a matching technical body, the work could be of practical interest to operators seeking to co-exist QKD with classical WDM without dedicated dark fiber, especially the SLA-oriented Reliability Horizon and buffer trade-off. That significance cannot be assessed here: the quantitative headline (45–65% reuse) and the reservoir/first-passage results have no methods, channel model, crosstalk physics, simulation parameters, or figures in the document under review. The attached body is a different contribution (higher λ-models with machine-checked proofs) and does not substantiate the quant-ph claims.

major comments (4)

Title/abstract vs full text: paper_id 2604.12982 and the abstract describe opportunistic QKD on classical WDM with guardbands, a stochastic traffic model, Monte-Carlo reuse of 45–65%, a key reservoir, Reliability Horizon (3σ), and first-passage statistics. The full manuscript text is “Recursive Completion in Higher λ-Models…” (Kan complexes, Theorems 5.6, 6.8, 7.15, 8.7, Lean formalization). The central QKD claims are therefore not present in the document under review and cannot be audited.
Abstract claim of Monte-Carlo 45–65% unused-spectrum reuse on an 80-channel WDM system: no traffic-model equations, guardband width, crosstalk model, channel allocation algorithm, simulation parameters, baselines, error bars, or figures appear in the supplied body. The strongest quantitative claim is unanchored.
Abstract definitions of the key reservoir (available/recovery states), Reliability Horizon as the 3σ depletion threshold, buffer-reset vs recovery-time trade-off, and heavy-tailed first-passage (diurnal + Bihill) have no corresponding sections, equations, or validation in the manuscript body. These load-bearing SLA results cannot be checked.
Weakest modeling assumptions named in the abstract (fixed unused-channel guardband as sufficient crosstalk mitigation; day–night + fractional Gaussian noise as adequate WDM occupancy) are not developed or justified anywhere in the provided full text, so correctness risk cannot be reduced by revision of the current body alone.

minor comments (2)

Metadata inconsistency: abstract arXiv-style id 2604.12982 / quant-ph vs body content aligned with a cs.LO / higher λ-models manuscript (references to Papers I–II, K∞, Lean repo). This should be corrected at the source before any resubmission.
If the intended submission is the λ-models paper, it should be submitted under its own title, abstract, and category with matching claims; the QKD abstract must not be attached to that body.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: new theorems are proved from explicit constructions and restated baselines, with full Lean 4 verification covering the claims.

full rationale

The manuscript (Recursive Completion in Higher λ-Models) is a pure-mathematics paper whose four theorem packages are established by direct constructions and inductions (packaging maps via HigherDeriv functoriality in Thm 5.6/Lemma 5.4; WLWR + inner-right-front seed generating associator/pentagon/bridges via horn-filling in Thm 6.8; stagewise reify/reflect/app formulas with coordinate identities in Thm 7.15; fixed-span tag classification plus identity-type tower persistence in Thm 8.7). Baselines from the authors’ Papers I/II are restated and taken as given, but the novel arguments do not reduce to those citations by definition, nor do they import uniqueness theorems to force the results. The entire development (including restated baselines and the four main theorems) is machine-checked in Lean 4 with no sorry/admit/axiom, supplying independent verification. There are no fitted parameters called predictions, no self-definitional loops equating outputs to inputs, and no ansatz smuggled as derivation. Ordinary series self-citation for context is present but not load-bearing for the claimed advances. The supplied abstract/paper_id describe an unrelated QKD simulation paper; that mismatch is outside circularity analysis of the actual full text.

Assumptions & free parameters 3 free parameters · 4 assumptions · 2 invented entities

Abstract-only review. Load-bearing modeling choices are inferred from the abstract: priority of classical traffic, guardband separation, synthetic day–night + fractional Gaussian traffic, key reservoir with available/recovery states, and 3σ Reliability Horizon. No free parameters are numerically fitted in the abstract text; simulation and buffer-reset levels are free design knobs. No invented physical entities beyond operational constructs (key reservoir, Reliability Horizon).

free parameters (3)

buffer reset level
Abstract states operators choose reset levels that trade Reliability Horizon against recovery time; value is a free design parameter, not derived.
guardband width (unused channels)
Required separation between classical and quantum channels is a modeling/policy choice; width not specified in the abstract.
fractional Gaussian noise / day-night traffic parameters
Stochastic traffic model parameters (Hurst, amplitude of diurnal cycle, load) drive the 45–65% reuse range; not given numerically in the abstract.

assumptions (4)

domain assumption Classical traffic always has priority over opportunistic QKD on shared WDM spectrum.
Stated as the operating principle of the framework in the abstract.
domain assumption A guardband of unused channels sufficiently mitigates classical–quantum crosstalk for co-propagation.
Abstract requires a guardband to mitigate crosstalk; no physical validation available in abstract-only review.
ad hoc to paper Day–night cycle plus fractional Gaussian noise is an adequate model of WDM channel occupancy for Monte-Carlo reuse estimates.
Proposed stochastic traffic model; adequacy vs. real traces not checkable from abstract.
ad hoc to paper Reliability Horizon defined as the 3σ depletion threshold of the key reservoir is a meaningful SLA metric.
Definition introduced in the abstract for buffer design.

invented entities (2)

Reliability Horizon (3σ key-reservoir depletion threshold)
purpose: Quantify how long QKD service can be sustained before buffer depletion under stochastic generation.
Operational metric defined in the abstract; no independent empirical validation available here.
Key reservoir with available and recovery states
purpose: Model buffered secret-key service and post-depletion recovery dark windows.
Systems abstraction for SLA trade-offs; standard buffering idea specialized to QKD keys.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Opportunistic QKD: Exploiting Idle Capacity of Classical WDM Systems." pith.science (2026). https://pith.science/paper/PMTXE7G3

@misc{pith2026260412982,
  author       = {Pith},
  title        = {Pith review of: Opportunistic QKD: Exploiting Idle Capacity of Classical WDM Systems},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PMTXE7G3}},
  note         = {Machine review of arXiv:2604.12982}
}

read the original abstract

While QKD has been proven in lab environments, large-scale implementation requires integration with existing infrastructure. This paper proposes an opportunistic QKD framework that takes advantage of idle spectral capacity, that is, unused channels in classical fibers, to perform QKD while prioritizing classical traffic. To mitigate crosstalk during the co-propagation of classical and quantum signals, we require a guardband of unused channels between classical and quantum signals. We propose a stochastic traffic model, with a deterministic day-night cycle and fractional Gaussian noise. Monte-Carlo simulations of an 80-channel WDM system with our stochastic traffic model demonstrate that 45-65\% of unused spectrum can be repurposed for QKD, depending on the traffic conditions. We also model a key reservoir, with available and recovery states. We define the Reliability Horizon as the 3{\sigma} depletion threshold. We find a trade-off between buffer reset levels: increasing the buffer reset level extends the reliability horizon but linearly increases recovery time, resulting in longer service "dark windows". Furthermore, simulations indicate that the first-passage time follows a heavy-tailed distribution, which is accurately characterized by a composite model combining a diurnal trend and a Bihill transition function. This framework enables network operators to optimize buffer parameters for specific Service Level Agreements (SLAs) in real-world environments.

Figures

Figures reproduced from arXiv: 2604.12982 by the authors.

**Figure 2.** Distribution of classical WDM channel occupancy (blue) and the cor [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗

**Figure 3.** Reliability Horizon (t0) as a function of Buffer Reset Level (B0) for different volatility regimes. C. Recovery Dynamics and Optimization Trade-offs While a larger B0 extends the period of availability, it simultaneously increases the operational penalty during the recovery phase [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗

Figures from the paper (2 more)

**Figure 4.** Figure 4: Expected Recovery Time (τrec) vs. Buffer Reset Level (B0). An increased recovery time results in a larger ”dark window” where the QKD service is suspended and the link is vulnerable to key depletion. This highlights a fundamental design trade-off: • Low B0: Results in…

**Figure 5.** Figure 5: Probability Density Function (PDF) of the buffer hitting time [PITH_FULL_IMAGE:figures/full_fig_p007_5.png]

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 2 canonical work pages

[1]

Abramsky and A

S. Abramsky and A. Jung, Domain theory, in:Handbook of Logic in Computer Science, Vol. 3, Oxford University Press, 1995, pp. 1–168.doi: 10.1093/oso/9780198537625.003.0001

doi:10.1093/oso/9780198537625.003.0001 1995
[2]

H. P. Barendregt,The Lambda Calculus: Its Syntax and Semantics, revised edition, Studies in Logic and the Foundations of Mathematics 103, North-Holland, 1984

1984
[3]

M. A. Batanin, Monoidal globular categories as a natural environment for the theory of weakn-categories,Advances in Mathematics136(1):39–103, 1998.doi: 10.1006/aima.1998.1724

doi:10.1006/aima.1998.1724 1998
[4]

T. M. L. de Veras, A. F. Ramos, R. J. G. B. de Queiroz, and A. G. de Oliveira, Computational paths—a weak groupoid,Journal of Logic and Computation35(5):exad071, 2025.doi: 10.1093/logcom/exad071. Also available as arXiv:2007.07769

work page Pith review arXiv doi:10.1093/logcom/exad071 2025
[5]

Grothendieck,Pursuing Stacks, edited by G

A. Grothendieck,Pursuing Stacks, edited by G. Maltsiniotis, Documents math´ ematiques 20, Soci´ et´ e Math´ ematique de France, 2022. (Original manuscript, 1983.)

2022
[6]

The Univalent Foundations Program,Homotopy Type Theory: Univalent Foundations of Mathematics, Institute for Advanced Study, 2013

2013
[7]

de Moura and S

L. de Moura and S. Ullrich, The Lean 4 theorem prover and programming language, in:Automated Deduction— CADE 28, LNCS 12699, Springer, 2021, pp. 625–635.doi: 10.1007/978-3-030-79876-5 37

doi:10.1007/978-3-030-79876-5 2021
[8]

Lurie,Higher Topos Theory, Princeton University Press, 2009.doi: 10.1515/9781400830558

J. Lurie,Higher Topos Theory, Princeton University Press, 2009.doi: 10.1515/9781400830558

doi:10.1515/9781400830558 2009

Show all 13 references

[9]

D. O. Mart´ ınez-Rivillas and R. J. G. B. de Queiroz, Towards a homotopy domain theory,Archive for Mathematical Logic62:559–579, 2023.doi: 10.1007/s00153-022-00856-0. Preprint: arXiv:2007.15082

2023 doi arXiv
[10]

D. O. Mart´ ınez-Rivillas and R. J. G. B. de Queiroz, TheK ∞ homotopyλ-model, to appear inLogic Journal of the IGPL.doi: 10.48550/arXiv.2505.07103. Preprint: arXiv:2505.07103 [cs.LO], 2025

2025 doi arXiv
[11]

D. O. Mart´ ınez-Rivillas and R. J. G. B. de Queiroz, The theory of an arbitrary higherλ-model,Bulletin of the Section of Logic52(1):39–58, 2023.doi: 10.18778/0138-0680.2023.11. Also available as arXiv:2111.07092

2023 doi
[12]

D. O. Mart´ ınez-Rivillas and R. J. G. B. de Queiroz, The∞-groupoid generated by an arbitrary topologicalλ-model, Logic Journal of the IGPL30:465–488, 2022.doi: 10.1093/jigpal/jzab015

2022 doi
[13]

D. S. Scott, Continuous lattices, in:Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, Springer, 1972, pp. 97–136. Originally circulated as PRG-7, Oxford University Computing Laboratory, Programming Research Group, 1971

1972

Pith tools

Reviewed July 12, 2026 · model on record in the stance chip above.

[1] [1]

Abramsky and A

S. Abramsky and A. Jung, Domain theory, in:Handbook of Logic in Computer Science, Vol. 3, Oxford University Press, 1995, pp. 1–168.doi: 10.1093/oso/9780198537625.003.0001

doi:10.1093/oso/9780198537625.003.0001 1995

[2] [2]

H. P. Barendregt,The Lambda Calculus: Its Syntax and Semantics, revised edition, Studies in Logic and the Foundations of Mathematics 103, North-Holland, 1984

1984

[3] [3]

M. A. Batanin, Monoidal globular categories as a natural environment for the theory of weakn-categories,Advances in Mathematics136(1):39–103, 1998.doi: 10.1006/aima.1998.1724

doi:10.1006/aima.1998.1724 1998

[4] [4]

T. M. L. de Veras, A. F. Ramos, R. J. G. B. de Queiroz, and A. G. de Oliveira, Computational paths—a weak groupoid,Journal of Logic and Computation35(5):exad071, 2025.doi: 10.1093/logcom/exad071. Also available as arXiv:2007.07769

work page Pith review arXiv doi:10.1093/logcom/exad071 2025

[5] [5]

Grothendieck,Pursuing Stacks, edited by G

A. Grothendieck,Pursuing Stacks, edited by G. Maltsiniotis, Documents math´ ematiques 20, Soci´ et´ e Math´ ematique de France, 2022. (Original manuscript, 1983.)

2022

[6] [6]

The Univalent Foundations Program,Homotopy Type Theory: Univalent Foundations of Mathematics, Institute for Advanced Study, 2013

2013

[7] [7]

de Moura and S

L. de Moura and S. Ullrich, The Lean 4 theorem prover and programming language, in:Automated Deduction— CADE 28, LNCS 12699, Springer, 2021, pp. 625–635.doi: 10.1007/978-3-030-79876-5 37

doi:10.1007/978-3-030-79876-5 2021

[8] [8]

Lurie,Higher Topos Theory, Princeton University Press, 2009.doi: 10.1515/9781400830558

J. Lurie,Higher Topos Theory, Princeton University Press, 2009.doi: 10.1515/9781400830558

doi:10.1515/9781400830558 2009