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 ...

      UWSpace

      University of Waterloo Library
      200 University Avenue West
      Waterloo, Ontario, Canada N2L 3G1
      519 888 4883

      All items in UWSpace are protected by copyright, with all rights reserved.

      DSpace software

      Service outages