Quantum nonlocality in the presence of superselection rules and data hiding protocols

We consider a quantum system subject to superselection rules, for which certain restrictions apply to the quantum operations that can be implemented. It is shown how the notion of quantum nonlocality has to be redefined in the presence of superselection rules: there exist separable states that cannot be prepared locally and exhibit some form of nonlocality. Moreover, the notion of local distinguishability in the presence of classical communication has to be altered. This can be used to perform quantum information tasks that are otherwise impossible. In particular, this leads to the introduction of perfect quantum data hiding protocols, for which quantum communication (eventually in the form of a separable but nonlocal state) is needed to unlock the secret.