Recently de La Torre et al. [1] reconstructed Quantum Theory from its local structure on the basis of local discriminability and the existence of a one-parameter group of bipartite transformations containing an entangling gate. This result relies on
universality of an entangling gate for quantum computation. Here we prove universality of C-NOT with local gates for Real Quantum Theory (RQT), showing that such universality would not be sufficient for the result, whereas local discriminability and the qubit structure play a crucial role. For reversible computation, generally an extra rebit is needed for RQT. As a byproduct we also provide a short proof of universality of C-NOT for CQT.
Quantum discord quantifies non-classical correlations in quantum states. We introduce discord for states in causal probabilistic theories, inspired by the original definition proposed in Ref. [17]. We show that the only probabilistic theory in which
all states have null discord is classical probability theory. Non-null discord is then not just a quantum feature, but a generic signature of non-classicality.
A new model of quantum computation is considered, in which the connections between gates are programmed by the state of a quantum register. This new model of computation is shown to be more powerful than the usual quantum computation, e. g. in achiev
ing the programmability of permutations of N different unitary channels with 1 use instead of N uses per channel. For this task, a new elemental resource is needed, the quantum switch, which can be programmed to switch the order of two channels with a single use of each one.
We call a probabilistic theory complete if it cannot be further refined by no-signaling hidden-variable models, and name a theory spooky if every equivalent hidden-variable model violates Shimonys Outcome Independence. We prove that a complete theory
is spooky if and only if it admits a pure steering state in the sense of Schrodinger. Finally we show that steering of complementary states leads to a Schrodingers cat-like paradox.
