research
∙
03/03/2023
Quantum Merlin-Arthur proof systems for synthesizing quantum states
Complexity theory typically focuses on the difficulty of solving computa...
share
research
∙
10/04/2022
Distributed Quantum Interactive Proofs
The study of distributed interactive proofs was initiated by Kol, Oshman...
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
∙
10/02/2021
Lower Bounds for Induced Cycle Detection in Distributed Computing
The distributed subgraph detection asks, for a fixed graph H, whether th...
research
∙
04/07/2019