Demonstration of the no-hiding theorem on the 5-Qubit IBM quantum computer in a category-theoretic framework

The quantum no-hiding theorem, first proposed by Braunstein and Pati (Phys Rev Lett 98:080502, 2007), was verified experimentally by Samal et al. (Phys Rev Lett 186:080401, 2011) using NMR quantum processor. Till then, this fundamental test has not been explored in any other experimental architectures. Here, we demonstrate the above no-hiding theorem using the IBM 5Q quantum processor. Categorical algebra developed by Coecke and Duncan (New J Phys 13:043016, 2011) has been used for better visualization of the no-hiding theorem by analyzing the quantum circuit using the ZX calculus. The experimental results confirm the recovery of missing information by the application of local unitary operations on the ancillary qubits.