Theorem · T-KLPR22-LEMMA4
Kent et al. 2022 · Lemma 4
P03 · npj Quantum Inf. 8, 28 (published 2022-03-11); equations transcribed from the article HTML TeX source
- Status
- VERIFIED FROM SOURCEField read in the primary source at the anchor given.
- Game
- S2
- Anchor
- Lemma 4, eq.(6), main text PDF p.5-6; privacy definition p.3; Table 6 assumptions C, D, E, F
- Source file
- research/THEOREM_REGISTRY_SEED.yaml
Statement summary
QT1 and QT2 are eps_priv-private with eps_priv = beta_E.
Citations
Record
Every field of the source record, in file order.
- Proof obligationproof_obligation
- P-PRIV
- Gamegame
S2
- Source paper idsource_paper_id
- P03
- Source urlsource_url
https://doi.org/10.1038/s41534-022-00524-4
- Anchoranchor
Lemma 4, eq.(6), main text PDF p.5-6; privacy definition p.3; Table 6 assumptions C, D, E, F
- Statusstatus
VERIFIED_FROM_SOURCE
- Bound latexbound_latex
\epsilon_{\mathrm{priv}}=\beta_{\mathrm{E}}LaTeX source - Definitionsdefinitions
eps_priv: probability that Bob guesses Alice's bit-string b before she presents her token is <= 1/2^M + eps_priv, if Alice is honest and chooses b uniformly (p.3)
- Variablesvariables
- Caveatcaveat
Privacy depends on assumptions C-F (no side channels, detector symmetry). If those aren't met the privacy status is NOT_PROVEN. It doesn't become 0.
- Verificationverification
statement_summary: VERIFIED_FROM_SOURCE bound_latex: VERIFIED_FROM_SOURCE definitions: VERIFIED_FROM_SOURCE