no code implementations • 28 Nov 2019 • Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie
In this paper, we propose Proq, a runtime assertion scheme for testing and debugging quantum programs on a quantum computer.
no code implementations • 29 Aug 2014 • Somshubhro Bandyopadhyay, Alessandro Cosentino, Nathaniel Johnston, Vincent Russo, John Watrous, Nengkun Yu
We prove limitations on LOCC and separable measurements in bipartite state discrimination problems using techniques from convex optimization.
Quantum Physics