Browsing Theses by Author "Molina Prieto, Abel"
Now showing items 1-2 of 2
-
Parallel Repetition of Prover-Verifier Quantum Interactions
Molina Prieto, Abel (University of Waterloo, 2012-01-05)In this thesis, we answer several questions about the behaviour of prover-verifier interactions under parallel repetition when quantum information is allowed, and the verifier acts independently in them. We first ... -
Quantum Turing Machines and Quantum Prover-Verifier Interactions
Molina Prieto, Abel (University of Waterloo, 2020-07-31)We present results on quantum Turing machines and on prover-verifier interactions. In our work on quantum Turing machines, we continue the line of research opened by Yao (1993), who proved that quantum Turing machines ...