Manuscript Oai272-A@1 · Oai272-A.tex · section · a40828a0
A certificate stated independently of a state construction
The uniform gap and its exact finite certificate › A certificate stated independently of a state construction · lines 937–943
This proves the operational engine for the explicitly defined class and protocol model. It does not prove that a particular external entangled matrix belongs to that class until the matrix construction and its certificates are supplied.
Nearby in this section
- definition: Definition: Transcript-coherence certificate
- 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