Demonstration of the Quantum No-Hiding Theorem in a Category Theoretic Framework: An IBM Quantum Experience

In this note, we demonstrate the quantum no-hiding theorem of Braunstein and Pati [Phys. Rev. Lett. 98, 080502 (2007)] using the IBM 5Q quantum processor. We also analyze the circuit using the ZX calculus of Coecke and Duncan [New J Phys. 13(4), 043016 (2011)], which provides a pictorial/category-theoretic demonstration of the no-hiding theorem.