Pith. sign in

REVIEW 5 minor 1 cited by

Device-independent key rates can be computed rigorously without assuming a tensor-product Hilbert space or finite dimension.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-12 01:23 UTC pith:5PASNGYI

load-bearing objection Solid operator-algebraic toolkit that makes NPA key-rate computation rigorous in the commuting-operator model; the main theorems look correct and the limitations are openly stated.

arxiv 2607.03579 v1 pith:5PASNGYI submitted 2026-07-03 quant-ph

Device-independent Quantum Key Distribution in the commuting operator framework

Gereon Ko{\ss}mann , Ren\'e Schwonnek , Po-Chieh Liu , Hao-Chung Cheng This is my paper
classification quant-ph PACS 03.67.Dd03.65.Ud03.67.Hk
keywords device-independent QKDcommuting-operator frameworkNPA hierarchyrelative entropyvon Neumann algebrasprojective measurementsnon-commutative polynomial optimization
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

Device-independent quantum key distribution promises security that rests only on observed statistics and the laws of quantum theory, yet most existing proofs quietly assume a tensor-product structure and a finite-dimensional hidden space. This paper shows that those assumptions can be dropped. Working entirely inside the commuting-operator framework, the authors prove that Alice and Bob’s general measurements may be replaced by projective ones without changing the secrecy-relevant entropy, and that the resulting single-round key-rate optimization is a well-defined non-commutative polynomial program. The familiar NPA hierarchy then supplies a correct, convergent outer approximation of that program. The technical engine is a new integral formula for relative entropy that works on arbitrary von Neumann algebras, so the optimization never leaves the most general algebraic setting. A sympathetic reader therefore obtains a representation-independent route from raw Bell data to an asymptotic security statement that does not rely on hidden finite-dimensionality.

Core claim

In the commuting-operator model the asymptotic DIQKD secrecy rate equals the value of a non-commutative polynomial optimization problem over the universal projective-measurement algebras; after a dilation that replaces POVMs by PVMs without loss of generality for the conditional entropy, the NPA hierarchy supplies a correct and convergent outer relaxation of that value.

What carries the argument

The operator layer-cake identity for the directional derivative of the logarithm on bounded operators, which yields Frenkel’s integral representation of Araki relative entropy on arbitrary von Neumann algebras and thereby turns the single-round entropy program into a convergent NPO hierarchy.

Load-bearing premise

The multi-round security reduction still rests on the asymptotic equipartition theorem and leftover-hash lemma available for von Neumann algebras, not on the tighter finite-size or entropy-accumulation tools used in modern Hilbert-space proofs.

What would settle it

Exhibit a concrete Bell distribution for which the commuting-operator NPO value of the discretized entropy program differs from the value obtained under the usual finite-dimensional tensor-product model, or show that the NPA hierarchy fails to converge to the commuting-operator value for that distribution.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper develops a fully operator-algebraic security analysis of asymptotic DIQKD in the commuting-operator model. Alice and Bob are described by universal C*-algebras of POVM (or PVM) effects with the maximal tensor product; Eve is the commutant of the GNS representation of a state compatible with the observed statistics. The authors prove a dilation theorem (Thm. 5.4) showing that POVMs may be replaced by PVMs without changing the conditional von Neumann entropy that appears in the single-round secrecy program (Cor. 5.6). They then establish an operator-layer-cake identity (Thm. 6.1) and, via Haagerup reduction, extend Frenkel’s integral formula for relative entropy to arbitrary von Neumann algebras (Thm. 6.5). Discretization of that formula yields a non-commutative polynomial optimization problem over the universal PVM algebras whose value equals the asymptotic secrecy rate and is correctly and convergently outer-approximated by the NPA hierarchy (Thm. 7.3).

Significance. If correct, the work closes a genuine foundational gap: existing DIQKD proofs routinely assume a tensor-product Hilbert-space structure and finite-dimensional dilations that are known not to exhaust the commuting-operator model. By placing the asymptotic secrecy rate inside a representation-independent NPO that NPA can rigorously relax, the paper supplies the missing mathematical justification for the numerical methods already used in the literature. The new dilation (preserving correlations with the full commutant) and the von-Neumann-algebra Frenkel formula are of independent interest beyond cryptography. The authors are explicit that they rely on the AEP of Fawzi–Gao–Rahaman and the leftover-hash lemma of Berta–Furrer–Scholz rather than state-of-the-art entropy accumulation; this limitation is acknowledged and does not affect the correctness of the stated theorems.

minor comments (5)
  1. Abstract and Introduction: several spelling/grammar slips (“subtile”, “proof the common assumption”, “casted as”, “w.l.o.g.”) should be corrected for a journal version.
  2. Sec. 2, informal statement of Thm. 2.1: the phrase “ζ_ψ behaves on the effect algebra and its commutant as ξ behaves…” is slightly informal; a one-sentence pointer to the precise equality (41) would help.
  3. Eq. (108) and surrounding text: the value of the Heaviside function at zero is fixed to 1/2, yet Lemma 6.3 later shows the choice is immaterial almost everywhere; a forward reference would avoid momentary confusion.
  4. Sec. 7.2, Remark 7.2: the notation “M'∗AB,ψ” appears to be a typesetting artefact; replace by the ordinary commutant.
  5. References: the arXiv identifiers of the authors’ own preprints [45] and the concurrent work [21] should be updated to final versions if available at publication time.

Circularity Check

1 steps flagged

No significant circularity: central claims (dilation, Frenkel generalization on vNa, NPO/NPA equivalence) are derived from standard constructions; self-citation to [45] supplies an independent discretization technique used as a black box.

specific steps
  1. self citation load bearing [Thm 7.1 proof and Thm 7.3(a); also Abstract and Sec. 2]
    "by the methods of [45], the estimate … Moreover, hNPO_r coincides with the value of the Hilbert-space NPO from [45, Thm. II.2] … apply techniques from Koßmann and Schwonnek [arXiv: 2411.04858] for the approximation in an NPO program."

    The discretization that turns the Frenkel integral into a finite sum of projection suprema (the step that produces the concrete NPO) is taken from the authors’ own prior work [45]. While the method is re-stated with explicit coefficients and the new theorems (dilation + vNa Frenkel + commuting-operator equivalence) do not reduce to it by definition, the self-citation is load-bearing for the numerical program that the abstract advertises. It remains non-circular because [45] is an independently posted mathematical technique, not an unverified uniqueness claim or a fit that forces the present result.

full rationale

The derivation chain (universal C*-algebras + max tensor product o GNS + commutant side-info o dilation Thm 5.4 preserving correlations with full commutant o Araki relative entropy via new operator layer-cake Thm 6.1 and Frenkel formula Thm 6.5 via Haagerup o discretization of the integral to an NPO o NPA outer approximations with Archimedean convergence) is self-contained and does not reduce any claimed result to its own inputs by definition or by fit. The only self-citation of note is the reuse of the quadrature/upper-bound technique of the authors’ prior arXiv [45] inside Thm 7.1 and the identification in Thm 7.3(a); that technique is a published mathematical approximation method (not a uniqueness theorem or ansatz that forces the present claims) and is re-derived/adapted with explicit coefficients here. Leftover-hash [14] and AEP [28] are external black boxes whose limitations are openly acknowledged; they do not make the single-round NPO statements circular. No fitted parameters, no self-definitional loops, no smuggled ansatz, and no renaming of known empirical patterns appear. Score 1 reflects only the minor (non-load-bearing) self-citation of a technical lemma.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

Pure mathematical paper; no free parameters fitted to data. All background results are standard theorems of C*- and von Neumann algebra theory or previously published cryptographic lemmas. No new physical entities are postulated.

axioms (5)
  • standard math Haagerup reduction approximates relative entropy of normal states on a general von Neumann algebra by relative entropies on an increasing sequence of finite tracial algebras (Prop. 3.2 / [32,28]).
    Used as a black-box tool to pass from the finite-tracial Frenkel formula to the general case (proof of Thm. 6.5).
  • domain assumption Asymptotic equipartition theorem for smooth max-relative entropy on von Neumann algebras (Fawzi–Gao–Rahaman [28]).
    Reduces multi-round secrecy to a single-round conditional von Neumann entropy; explicitly weaker than modern entropy-accumulation theorems.
  • domain assumption Leftover-hash lemma for classical-quantum states on von Neumann algebras (Berta–Furrer–Scholz [14]).
    Converts smooth min-entropy into a secrecy statement; again not the tightest available one-shot tool.
  • standard math Universal property of the maximal C*-tensor product and free-product extension of unital CP maps (standard, cited [15,22,74]).
    Used to construct the universal POVM/PVM algebras and the dilation maps.
  • standard math Existence of standard form, modular operators and Araki relative entropy for von Neumann algebras.
    Definition of the objective function H(Z|E) throughout Secs. 5–7.

pith-pipeline@v1.1.0-grok45 · 47225 in / 2871 out tokens · 27560 ms · 2026-07-12T01:23:50.154212+00:00 · methodology

0 comments
read the original abstract

Device-independent quantum key distribution (DIQKD) is arguably the gold standard for secure quantum communication, as it aims to rely only on observed input-output statistics of an uncharacterized device which is only assumption to obey the laws of quantum physics. A corresponding security analysis hence demands a description of a quantum experiment from a most general perspective. Under close inspection, existing proof techniques do not always meet this goal as they tend to rely on subtile assumptions on a tensor product structure of the underlying Hilbert space and a 'hidden but finite' dimensionality. In this work, we collect the tools needed for a full analysis of DIQKD in the commuting operator framework, which avoids these subtilities and provides the arguably most general view on a quantum experiment. We rigorously proof the common assumption that in DIQKD measurements can be w.l.o.g. assumed to be projective. Furthermore, we show that task of computing key rates can be casted as a non-commutative polynomial optimization (NPO) problem to which the Navascu\'es-Pironio-Ac\'in (NPA) hierarchy gives a correct and converging relaxation. As a tool, we generalize the integral representation for the relative entropy by Frenkel [Quantum 7, 1102 (2023)] to general von Neumann algebras and apply techniques from Kossmann and Schwonnek [arXiv: 2411.04858] for the approximation in an NPO program.

Figures

Figures reproduced from arXiv: 2607.03579 by Gereon Ko{\ss}mann, Hao-Chung Cheng, Po-Chieh Liu, Ren\'e Schwonnek.

Figure 1
Figure 1. Figure 1: The figure illustrates a device-independent quantum key distribution (DIQKD) experiment. In contrast to the quantum game depicted in [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The figure illustrates a non-local quantum game. A source prepares a bipartite state ρAB and distributes it between Alice and Bob. Following a predetermined strategy, specified by the shared state together with their local measurements, Alice and Bob receive questions x ∈ X and y ∈ Y from a referee, feed them as inputs into their respective devices, and respond with the outcomes a ∈ A and b ∈ B produced by… view at source ↗

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Hockey stick $f$-divergences

    quant-ph 2026-07 accept novelty 5.0

    Quantum hockey stick f-divergences are extended to general von Neumann algebras, with regularized Rényi versions shown to coincide with standard Petz and sandwiched Rényi divergences.

Reference graph

Works this paper leans on

89 extracted references · 9 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Device-Independent Security of Quantum Cryptography against Collective Attacks

    A. Ac´ ın, N. Brunner, N. Gisin, S. Massar, S. Pironio, and V. Scarani.“Device-Independent Security of Quantum Cryptography against Collective Attacks”. Physical Review Letters98(23) (2007)

    2007

  2. [2]

    From Bell’s Theorem to Secure Quantum Key Distribution

    A. Ac´ ın, N. Gisin, and L. Masanes.“From Bell’s Theorem to Secure Quantum Key Distribution”. Physical Review Letters97(12) (2006). 40 DIQKD IN THE COMMUTING OPERATOR FRAMEWORK

    2006

  3. [3]

    Efficient quantum key distribution secure against no-signalling eaves- droppers

    A. Ac´ ın, S. Massar, and S. Pironio.“Efficient quantum key distribution secure against no-signalling eaves- droppers”. New Journal of Physics8(8): 126–126 (2006)

    2006

  4. [4]

    Claude (Claude Fable 5) [Large language model]

    Anthropic.“Claude (Claude Fable 5) [Large language model]”.https://claude.ai, (2026). Zugriff am 11. Juni 2026

    2026

  5. [5]

    Relative Entropy of States of von Neumann Algebras

    H. Araki.“Relative Entropy of States of von Neumann Algebras”. Publications of the Research Institute for Mathematical Sciences11(3): 809–833 (1975)

    1975

  6. [6]

    Arnon-Friedman.Device-Independent Quantum Information Processing: A Simplified Analysis

    R. Arnon-Friedman.Device-Independent Quantum Information Processing: A Simplified Analysis. Springer International Publishing (2020)

    2020

  7. [7]

    Subalgebras ofC ∗-algebras

    W. B. Arveson.“Subalgebras ofC ∗-algebras”. Acta Mathematica123: 141–224, (1969)

    1969

  8. [8]

    J. C. Baez, I. E. Segal, and Z. Zhou.Introduction to Algebraic and Constructive Quantum Field Theory. Princeton University Press (1992)

    1992

  9. [9]

    No Signaling and Quantum Key Distribution

    J. Barrett, L. Hardy, and A. Kent.“No Signaling and Quantum Key Distribution”. Physical Review Letters 95(1) (2005)

    2005

  10. [10]

    On the Einstein Podolsky Rosen paradox

    J. S. Bell.“On the Einstein Podolsky Rosen paradox”. Physics Physique1(3): 195–200 (1964)

    1964

  11. [11]

    Experimental quantum cryptography

    C. H. Bennett, F. Bessette, G. Brassard, L. Salvail, and J. Smolin.“Experimental quantum cryptography”. Journal of Cryptology5(1): 3–28 (1992)

    1992

  12. [12]

    Quantum cryptography: Public key distribution and coin tossing

    C. H. Bennett and G. Brassard.“Quantum cryptography: Public key distribution and coin tossing”. Theo- retical Computer Science560: 7–11 (2014)

    2014

  13. [13]

    Quantum cryptography without Bell’s theorem

    C. H. Bennett, G. Brassard, and N. D. Mermin.“Quantum cryptography without Bell’s theorem”. Physical Review Letters68(5): 557–559 (1992)

    1992

  14. [14]

    The smooth entropy formalism for von Neumann algebras

    M. Berta, F. Furrer, and V. B. Scholz.“The smooth entropy formalism for von Neumann algebras”. Journal of Mathematical Physics57(1) (2015)

    2015

  15. [15]

    Blackadar.Operator Algebras

    B. Blackadar.Operator Algebras. Springer Berlin Heidelberg (2006)

    2006

  16. [16]

    Device independent quantum key distribution with robust self-tests

    A. Bluhm, G. Koßmann, and R. Schwonnek.“Device independent quantum key distribution with robust self-tests”. arXiv preprint arXiv:2603.28085 , (2026)

    arXiv 2026

  17. [17]

    Free products of completely positive maps and spectral sets

    F. Boca.“Free products of completely positive maps and spectral sets”. Journal of Functional Analysis 97(2): 251–263 (1991)

    1991

  18. [18]

    Device-independent lower bounds on the conditional von Neumann entropy

    P. Brown, H. Fawzi, and O. Fawzi.“Device-independent lower bounds on the conditional von Neumann entropy”. Quantum8: 1445 (2024)

    2024

  19. [19]

    Device independent security of quantum key distribution from monogamy-of-entanglement games

    E. Cervero-Martin and M. Tomamichel.“Device independent security of quantum key distribution from monogamy-of-entanglement games”. Quantum9: 1652 (2025)

    2025

  20. [20]

    Error Exponents for Quantum Packing Problems via An Operator Layer Cake Theorem

    H.-C. Cheng and P.-C. Liu.“Error Exponents for Quantum Packing Problems via An Operator Layer Cake Theorem”, (2025). Available online:https://arxiv.org/abs/2507.06232

    Pith/arXiv arXiv 2025

  21. [21]

    Integral representations off-divergences for general von Neumann algebras

    R. C. da Silva, M. B. Fr¨ ob, G. Lechner, and L. Sangaletti.“Integral representations off-divergences for general von Neumann algebras”, (2026). The paper appears on the same day on the arXiv

    2026

  22. [22]

    A proof of Boca’s Theorem

    K. R. Davidson and E. T. A. Kakariadis.“A proof of Boca’s Theorem”. Proceedings of the Royal Society of Edinburgh: Section A Mathematics149(04): 869–876 (2018)

    2018

  23. [23]

    Privacy Amplification and Decoupling Without Smoothing

    F. Dupuis.“Privacy Amplification and Decoupling Without Smoothing”. IEEE Transactions on Information Theory69(12): 7784–7792 (2023)

    2023

  24. [24]

    Entropy Accumulation With Improved Second-Order Term

    F. Dupuis and O. Fawzi.“Entropy Accumulation With Improved Second-Order Term”. IEEE Transactions on Information Theory65(11): 7596–7612 (2019)

    2019

  25. [25]

    Entropy Accumulation

    F. Dupuis, O. Fawzi, and R. Renner.“Entropy Accumulation”. Communications in Mathematical Physics 379(3): 867–913 (2020)

    2020

  26. [26]

    The ultimate physical limits of privacy

    A. Ekert and R. Renner.“The ultimate physical limits of privacy”. Nature507(7493): 443–447 (2014)

    2014

  27. [27]

    Quantum cryptography based on Bell’s theorem

    A. K. Ekert.“Quantum cryptography based on Bell’s theorem”. Physical Review Letters67(6): 661–663 (1991)

    1991

  28. [28]

    Asymptotic Equipartition Theorems in von Neumann Algebras

    O. Fawzi, L. Gao, and M. Rahaman.“Asymptotic Equipartition Theorems in von Neumann Algebras”. Annales Henri Poincar´ e27(1): 95–141 (2025)

    2025

  29. [29]

    Defining Security in Quantum Key Distribution

    C. Ferradini, M. Sandfuchs, R. Wolf, and R. Renner.“Defining Security in Quantum Key Distribution”, (2025). Available online:https://arxiv.org/abs/2509.13405

    arXiv 2025

  30. [30]

    Integral formula for quantum relative entropy implies data processing inequality

    P. E. Frenkel.“Integral formula for quantum relative entropy implies data processing inequality”. Quantum 7: 1102 (2023)

    2023

  31. [31]

    TSIRELSON’S PROBLEM AND KIRCHBERG’S CONJECTURE

    T. FRITZ.“TSIRELSON’S PROBLEM AND KIRCHBERG’S CONJECTURE”. Reviews in Mathematical Physics24(05): 1250012 (2012)

    2012

  32. [32]

    A reduction method for noncommutativeL p-spaces and applications

    U. Haagerup, M. Junge, and Q. Xu.“A reduction method for noncommutativeL p-spaces and applications”. Transactions of the American Mathematical Society362(4): 2125–2165 (2009)

    2009

  33. [33]

    QICS: Quantum Information Conic Solver

    K. He, J. Saunderson, and H. Fawzi.“QICS: Quantum Information Conic Solver”, (2025). Available online: https://arxiv.org/abs/2410.17803

    Pith/arXiv arXiv 2025

  34. [34]

    Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres

    B. Hensen, H. Bernien, A. E. Dr´ eau, A. Reiserer, N. Kalb, M. S. Blok, J. Ruitenberg, R. F. L. Vermeulen, R. N. Schouten, C. Abell´ an, W. Amaya, V. Pruneri, M. W. Mitchell, M. Markham, D. J. Twitchen, DIQKD IN THE COMMUTING OPERATOR FRAMEWORK 41 D. Elkouss, S. Wehner, T. H. Taminiau, and R. Hanson.“Loophole-free Bell inequality violation using electron ...

    2015

  35. [35]

    Robust Interior Point Method for Quantum Key Distribution Rate Computation

    H. Hu, J. Im, J. Lin, N. L¨ utkenhaus, and H. Wolkowicz.“Robust Interior Point Method for Quantum Key Distribution Rate Computation”. Quantum6: 792 (2022)

    2022

  36. [36]

    Quantum Cryptography with Entangled Photons

    T. Jennewein, C. Simon, G. Weihs, H. Weinfurter, and A. Zeilinger.“Quantum Cryptography with Entangled Photons”. Physical Review Letters84(20): 4729–4732 (2000)

    2000

  37. [37]

    Recoverability of quantum channels via hypothesis testing

    A. Jenˇ cov´ a.“Recoverability of quantum channels via hypothesis testing”. Letters in Mathematical Physics 114(1) (2024)

    2024

  38. [38]

    Z. Ji, A. Natarajan, T. Vidick, J. Wright, and H. Yuen.“MIP*=RE”, (2020). DOI: 10.48550/ARXIV.2001.04383

    Pith/arXiv arXiv doi:10.48550/arxiv.2001.04383 2020

  39. [39]

    Z. Ji, A. Natarajan, T. Vidick, J. Wright, and H. Yuen.“MIP*=RE”, (2022). Available online:https: //arxiv.org/abs/2001.04383

    Pith/arXiv arXiv 2022

  40. [40]

    Connes’ Embedding Problem and Tsirelson’s Problem

    M. Junge, M. Navascu´ es, C. Palazuelos, D. P´ erez-Garc´ ıa, V. B. Scholz, and R. F. Werner.“Connes’ Embedding Problem and Tsirelson’s Problem”. Journal of Mathematical Physics52(1): 012102 (2011)

    2011

  41. [41]

    Operator Space Theory: A Natural Framework for Bell Inequalities

    M. Junge, C. Palazuelos, D. P´ erez-Garc´ ıa, I. Villanueva, and M. M. Wolf.“Operator Space Theory: A Natural Framework for Bell Inequalities”. Physical Review Letters104(17) (2010)

    2010

  42. [42]

    On non-semisplit extensions, tensor products and exactness of groupC *-algebras

    E. Kirchberg.“On non-semisplit extensions, tensor products and exactness of groupC *-algebras”. Inven- tiones Mathematicae112(1): 449–489 (1993)

    1993

  43. [43]

    Relative entropy of states: a variational expression

    H. KOSAKI.“Relative entropy of states: a variational expression”. Journal of Operator Theory16(2): 335– 348, (1986)

    1986

  44. [44]

    Routed Bell tests with arbitrarily many local parties

    G. Koßmann, M. Berta, and R. Schwonnek.“Routed Bell tests with arbitrarily many local parties”. arXiv preprint arXiv:2510.08405 , (2025)

    arXiv 2025

  45. [45]

    Reliable Entropy Estimation from Observed Statistics for Device- Independent Quantum Cryptography

    G. Koßmann and R. Schwonnek.“Reliable Entropy Estimation from Observed Statistics for Device- Independent Quantum Cryptography”, (2025). Available online:https://arxiv.org/abs/2411.04858

    Pith/arXiv arXiv 2025

  46. [46]

    Optimising the relative entropy under semidefinite constraints

    G. Koßmann and R. Schwonnek.“Optimising the relative entropy under semidefinite constraints”. npj Quantum Information12(1) (2026)

    2026

  47. [47]

    A Convergent Inflation Hierarchy for Quantum Causal Structures

    L. T. Ligthart, M. Gachechiladze, and D. Gross.“A Convergent Inflation Hierarchy for Quantum Causal Structures”. Communications in Mathematical Physics401(3): 2673–2714 (2023)

    2023

  48. [48]

    Layer Cake Representations for Quantum Divergences

    P.-C. Liu, C. Hirche, and H.-C. Cheng.“Layer Cake Representations for Quantum Divergences”, (2025). Available online:https://arxiv.org/abs/2507.07065

    Pith/arXiv arXiv 2025

  49. [49]

    Toward a Photonic Demonstration of Device-Independent Quantum Key Distribution

    W.-Z. Liu, Y.-Z. Zhang, Y.-Z. Zhen, M.-H. Li, Y. Liu, J. Fan, F. Xu, Q. Zhang, and J.-W. Pan.“Toward a Photonic Demonstration of Device-Independent Quantum Key Distribution”. Physical Review Letters 129(5) (2022)

    2022

  50. [50]

    Certifying long-range quantum correlations through routed Bell tests

    E. P. Lobo, J. Pauwels, and S. Pironio.“Certifying long-range quantum correlations through routed Bell tests”. Quantum8: 1332 (2024)

    2024

  51. [51]

    Device-independent quantum key distribution over 100 km with single atoms

    B.-W. Lu, C.-W. Yang, R.-Q. Wang, B.-F. Gao, Y.-Z. Zhen, Z.-G. Wang, J.-K. Shi, Z.-Q. Ren, T. A. Hahn, E. Y.-Z. Tan, et al.“Device-independent quantum key distribution over 100 km with single atoms”. Science 391(6785): 592–597, (2026)

    2026

  52. [52]

    Quantum cryptography with imperfect apparatus

    D. Mayers and A. Yao.“Quantum cryptography with imperfect apparatus”. InProceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280), SFCS-98, page 503–509, (1998)

    1998

  53. [53]

    Generalised Entropy Accumulation

    T. Metger, O. Fawzi, D. Sutter, and R. Renner.“Generalised Entropy Accumulation”. Communications in Mathematical Physics405(11) (2024)

    2024

  54. [54]

    Experimental quantum key distribution certified by Bell’s theorem

    D. P. Nadlinger, P. Drmota, B. C. Nichol, G. Araneda, D. Main, R. Srinivas, D. M. Lucas, C. J. Bal- lance, K. Ivanov, E. Y.-Z. Tan, P. Sekatski, R. L. Urbanke, R. Renner, N. Sangouard, and J.-D. Bancal. “Experimental quantum key distribution certified by Bell’s theorem”. Nature607(7920): 682–686 (2022)

    2022

  55. [55]

    Entangled State Quantum Cryptography: Eavesdropping on the Ekert Protocol

    D. S. Naik, C. G. Peterson, A. G. White, A. J. Berglund, and P. G. Kwiat.“Entangled State Quantum Cryptography: Eavesdropping on the Ekert Protocol”. Physical Review Letters84(20): 4733–4736 (2000)

    2000

  56. [56]

    Bounding the Set of Quantum Correlations

    M. Navascu´ es, S. Pironio, and A. Ac´ ın.“Bounding the Set of Quantum Correlations”. Physical Review Letters98(1) (2007)

    2007

  57. [57]

    A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations

    M. Navascu´ es, S. Pironio, and A. Ac´ ın.“A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations”. New Journal of Physics10(7): 073013 (2008)

    2008

  58. [58]

    Ohya and D

    M. Ohya and D. Petz.Quantum Entropy and Its Use. Springer Berlin Heidelberg (1993)

    1993

  59. [59]

    ABOUT THE QWEP CONJECTURE

    N. OZAWA.“ABOUT THE QWEP CONJECTURE”. International Journal of Mathematics 15(05): 501–530 (2004)

    2004

  60. [60]

    Survey on nonlocal games and operator space theory

    C. Palazuelos and T. Vidick.“Survey on nonlocal games and operator space theory”. Journal of Mathemat- ical Physics57(1) (2016)

    2016

  61. [61]

    Paulsen.Completely Bounded Maps and Operator Algebras

    V. Paulsen.Completely Bounded Maps and Operator Algebras. Cambridge University Press (2003)

    2003

  62. [62]

    Estimating quantum chromatic numbers

    V. I. Paulsen, S. Severini, D. Stahlke, I. G. Todorov, and A. Winter.“Estimating quantum chromatic numbers”. Journal of Functional Analysis270(6): 2188–2222 (2016). 42 DIQKD IN THE COMMUTING OPERATOR FRAMEWORK

    2016

  63. [63]

    Composition and integrity preservation of secure reactive systems

    B. Pfitzmann and M. Waidner.“Composition and integrity preservation of secure reactive systems”. In Proceedings of the 7th ACM conference on Computer and Communications Security, CCS00, page 245–254, (2000)

    2000

  64. [64]

    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 Physics11(4): 045021 (2009)

    2009

  65. [65]

    Unbounded Violation of Tri- partite Bell Inequalities

    D. P´ erez-Garc´ ıa, M. M. Wolf, C. Palazuelos, I. Villanueva, and M. Junge.“Unbounded Violation of Tri- partite Bell Inequalities”. Communications in Mathematical Physics279(2): 455–486 (2008)

    2008

  66. [66]

    Rethinking quantum smooth entropies: Tight one-shot analysis of quantum privacy amplification

    B. Regula and M. Tomamichel.“Rethinking quantum smooth entropies: Tight one-shot analysis of quantum privacy amplification”, (2026). Available online:https://arxiv.org/abs/2603.04493

    Pith/arXiv arXiv 2026

  67. [67]

    Security of quantum key distribution

    R. Renner.“Security of quantum key distribution”. Ph.D. Thesis (ETH Zurich), arXiv:quant-ph/0512258 (2005)

    Pith/arXiv arXiv 2005

  68. [68]

    SECURITY OF QUANTUM KEY DISTRIBUTION

    R. Renner.“SECURITY OF QUANTUM KEY DISTRIBUTION”. International Journal of Quantum Information06(01): 1–127 (2008)

    2008

  69. [69]

    The security of practical quantum key distribution

    V. Scarani, H. Bechmann-Pasquinucci, N. J. Cerf, M. Duˇ sek, N. L¨ utkenhaus, and M. Peev.“The security of practical quantum key distribution”. Reviews of Modern Physics81(3): 1301–1350 (2009)

    2009

  70. [70]

    THE SET OF QUANTUM CORRELATIONS IS NOT CLOSED

    W. SLOFSTRA.“THE SET OF QUANTUM CORRELATIONS IS NOT CLOSED”. Forum of Mathe- matics, Pi7: e1 (2019)

    2019

  71. [71]

    Tsirelson’s problem and an embedding theorem for groups arising from non-local games

    W. Slofstra.“Tsirelson’s problem and an embedding theorem for groups arising from non-local games”. Journal of the American Mathematical Society33(1): 1–56 (2019)

    2019

  72. [72]

    Positive Functions onC ⋆-Algebras

    W. F. Stinespring.“Positive Functions onC ⋆-Algebras”. Proceedings of the American Mathematical Society 6(2): 211 (1955)

    1955

  73. [73]

    Stratila and L

    S.-V. Stratila and L. Zsido.Lectures on von Neumann Algebras. Cambridge University Press (2019)

    2019

  74. [74]

    Takesaki.Theory of Operator Algebras I

    M. Takesaki.Theory of Operator Algebras I. Springer New York (1979)

    1979

  75. [75]

    Takesaki.Theory of Operator Algebras II

    M. Takesaki.Theory of Operator Algebras II. Springer Berlin Heidelberg (2003)

    2003

  76. [76]

    Computing secure key rates for quantum cryptography with untrusted devices

    E. Y.-Z. Tan, R. Schwonnek, K. T. Goh, I. W. Primaatmaja, and C. C.-W. Lim.“Computing secure key rates for quantum cryptography with untrusted devices”. npj Quantum Information7(1) (2021)

    2021

  77. [77]

    Quantum Cryptography Using Entangled Photons in Energy-Time Bell States

    W. Tittel, J. Brendel, H. Zbinden, and N. Gisin.“Quantum Cryptography Using Entangled Photons in Energy-Time Bell States”. Physical Review Letters84(20): 4737–4740 (2000)

    2000

  78. [78]

    A Framework for Non-Asymptotic Quantum Information Theory

    M. Tomamichel.“A Framework for Non-Asymptotic Quantum Information Theory”, (2013). Available online:https://arxiv.org/abs/1203.2142

    Pith/arXiv arXiv 2013

  79. [79]

    Tomamichel.Quantum Information Processing with Finite Resources

    M. Tomamichel.Quantum Information Processing with Finite Resources. Springer International Publishing (2016)

    2016

  80. [80]

    A Fully Quantum Asymptotic Equipartition Property

    M. Tomamichel, R. Colbeck, and R. Renner.“A Fully Quantum Asymptotic Equipartition Property”. IEEE Transactions on Information Theory55(12): 5840–5847 (2009)

    2009

Showing first 80 references.