research
∙
10/04/2022
Distributed Quantum Interactive Proofs
The study of distributed interactive proofs was initiated by Kol, Oshman...
share
research
∙
10/04/2022
Distributed Merlin-Arthur Synthesis of Quantum States and Its Applications
The generation and verification of quantum states are fundamental tasks ...
research
∙
05/15/2021
Communication Complexity of Private Simultaneous Quantum Messages Protocols
The private simultaneous messages model is a non-interactive version of ...
research
∙
05/06/2021
Quantum Logarithmic Space and Post-selection
Post-selection, the power of discarding all runs of a computation in whi...
research
∙
02/24/2020
Distributed Quantum Proofs for Replicated Data
The paper tackles the issue of checking that all copies of a large data ...
research
∙
12/10/2018
Impossibility of blind quantum sampling for classical client
Blind quantum computing enables a client, who can only generate or measu...
research
∙
10/25/2018
Quantum Advantage for the LOCAL Model in Distributed Computing
There are two central models considered in (fault-free synchronous) dist...
research
∙
05/09/2018
Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups
In this paper we consider what can be computed by a user interacting wit...
research
∙
04/24/2018
Rational proofs for quantum computing
It is an open problem whether a classical client (verifier) can delegate...
research
∙
11/28/2017