Manuscript Oai272-A@1 · Oai272-A.tex · definition · a40828a0

Definition: Transcript-coherence certificate

The uniform gap and its exact finite certificate › A certificate stated independently of a state construction · lines 780–799

Oai272-A@1#def:TC, Oai272-A@1#eq:TC

Back to manuscript

A normalized bit output has a transcript-coherence certificate if, with respect to a finite transcript measure, its positive Eve densities $τ_{ij} (t)$ satisfy

P_{ij} = \int Tr τ_{ij} (t) d μ (t), i, j \sum P_{ij} = 1,

and

f := \int f (τ_{00} (t), τ_{11} (t)) d μ (t) \leq P_{00} P_{01} + P_{10} P_{11} + 2 P_{01} P_{10} .

Displayed formulas in this passage

Oai272-A@1#eq:TC · line 790
$f := \int f (τ_{00} (t), τ_{11} (t)) d μ (t) \leq P_{00} P_{01} + P_{10} P_{11} + 2 P_{01} P_{10} .$
unlabeled · line 785
$P_{ij} = \int Tr τ_{ij} (t) d μ (t), i, j \sum P_{ij} = 1,$

Nearby in this section

section: A certificate stated independently of a state construction
lemma: Lemma: Represented inputs supply the certificate
definition: Definition: Ideal key and distance
section: A certificate stated independently of a state construction
theorem: Theorem: Uniform secret-bit obstruction
section: A certificate stated independently of a state construction