Qué superposiciones están permitidas o prohibidas en principio viene determinado por los llamados sectores de superselección. http://en.wikipedia.org/wiki/Superselection Éstas están prácticamente ausentes de la literatura estándar de los libros de texto, ya que no pueden deducirse del tratamiento perturbativo tradicional de la mecánica cuántica o de la teoría cuántica de campos.
La regla de superselección más fácil de entender es la que prohíbe las superposiciones de un estado bosón y un estado fermión. La razón es que estos estados se transforman de forma diferente bajo la acción del grupo de rotación, por lo que no hay una acción consistente del grupo de rotación sobre la superposición. (Bajo una rotación de 360 grados, la mitad bosón giraría de nuevo sobre sí misma, mientras que la mitad fermión cambia de signo).
Esto demuestra que las reglas de superselección están ligadas a la representación no equivalente de grupos de Lie o álgebras de Lie de cantidades que definen la física de un sistema. La regla de superselección de carga está asociada a representaciones no equivalentes de un grupo de Heisenberg de dimensión infinita que define las relaciones de conmutación canónicas (RCC) de un campo cuántico relativista. [Mi discusión asume el caso bosónico. En el caso de los fermiones, se necesita en cambio la RCC, y se aplica un razonamiento similar].
Aquí el razonamiento es más intrincado, y requiere el entorno no perturbativo de la teoría cuántica algebraica de campos. En este entorno, los observables forman un álgebra C^*, y los estados son funcionales lineales positivos adecuados de esta álgebra.
La situación QM estándar análoga es aquella en la que el álgebra C^* es el álgebra de operadores lineales acotados en un espacio de Hilbert, y un estado es el mapeo de expectativas $\langle A\rangle =Tr ~\rho A$ con una matriz de densidad semidefinida positiva $\rho$ de la traza 1. Aquí el teorema de unicidad de von Neumann garantiza que las relaciones de conmutación canónicas tienen una representación unitaria única hasta la equivalencia unitaria.
Sin embargo, este teorema sólo es válido para CCR de un número finito de operadores, mientras que la teoría de campos se ocupa de un número infinito de éstos. Los CCR de la teoría de campos tienen infinitas representaciones no equivalentes, y éstas viven en diferentes espacios de Hilbert, entre cuyos elementos no se define ningún producto interno sensible. Como no tiene sentido considerar superposiciones entre estados de dos espacios de Hilbert diferentes (no embebidos en un espacio de Hilbert común con un significado físico), las representaciones no equivalentes implican una regla de superselección.
Esto implica la regla de superselección de carga para la QED, ya que se puede demostrar que en la QED, los estados de diferente carga deben estar en representaciones no equivalentes.