Proposition 12 Sample Clauses
Proposition 12. All three sequences Pα α<ω1 , Qα α<ω1 , Mα α<ω1 belong to the definability class ∆HC in L.
Proposition 12. In the asynchronous Fail-stop (or Byzantine) model, given a non-erasing classical private-channel BA protocol PC, there exists a quantum full-information BA pro- tocol PQ with the same resilience, round and communication complexity as PC. Proof of Theorem 1. Theorem 1 can be obtained by integrating the results from Proposi- tion 6, Proposition 9 and Proposition 12. ◀