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 architecture. 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.

We formulate the Einstein-Cartan-Dirac equations in the Newman-Penrose (NP) formalism, thereby presenting a more accurate and explicit analysis of previous such studies. The equations show in a transparent way how the Einstein-Dirac equations are modified by the inclusion of torsion. In particular, the Hehl-Datta equation is presented in NP notation. We then describe a few solutions of the Hehl-Datta equation on Minkowski space-time, and in particular report a solitonic solution which removes the unphysical behavioiur of the corresponding Dirac solution. The present work serves as a prelude to similar studies for non-degenerate Poincaré gauge gravity.