Theorem · T-KLPR22-LEMMA2
Kent et al. 2022 · Lemma 2
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 2, eqs.(2)-(3), main text PDF p.5; proof Supplementary Note V
- Source file
- research/THEOREM_REGISTRY_SEED.yaml
Statement summary
If 0 < gamma_det < P_det (2), then QT1 and QT2 are eps_rob-robust with (3).
Citations
Record
Every field of the source record, in file order.
- Proof obligationproof_obligation
- P-S2
- Gamegame
S2
- Source paper idsource_paper_id
- P03
- Source urlsource_url
https://doi.org/10.1038/s41534-022-00524-4
- Anchoranchor
Lemma 2, eqs.(2)-(3), main text PDF p.5; proof Supplementary Note V
- Statusstatus
VERIFIED_FROM_SOURCE
- Bound latexbound_latex
\epsilon_{\mathrm{rob}}=e^{-\frac{P_{\mathrm{det}}N}{2}\left(1-\frac{\gamma_{\mathrm{det}}}{P_{\mathrm{det}}}\right)^{2}}LaTeX source - Bound plainbound_plain
exp(-(P_det*N/2) * (1 - gamma_det/P_det)**2)
- Preconditions latexpreconditions_latex
- 0<\gamma_{\mathrm{det}}<P_{\mathrm{det}}
- Variablesvariables
- Verificationverification
statement_summary: VERIFIED_FROM_SOURCE bound_latex: VERIFIED_FROM_SOURCE variables: VERIFIED_FROM_SOURCE