En mecánica cuántica , en particular en información cuántica , el criterio de rango es una condición necesaria que debe satisfacer un estado para ser separable . En otras palabras, es un criterio de separabilidad .
Consideremos un sistema mecánico cuántico compuesto por n subsistemas. El espacio de estados H de dicho sistema es el producto tensorial de los de los subsistemas, es decir .
Para simplificar, asumiremos que todos los espacios de estados relevantes son de dimensión finita.
El criterio se lee de la siguiente manera: si ρ es un estado mixto separable que actúa sobre H , entonces el rango de ρ está abarcado por un conjunto de vectores de producto.
En general, si una matriz M tiene la forma , el rango de M , Ran(M) , está contenido en el espacio lineal de . Por otra parte, también podemos demostrar que se encuentra en Ran(M) , para todo i . Supongamos sin pérdida de generalidad i = 1 . Podemos escribir , donde T es hermítica y semidefinida positiva. Hay dos posibilidades:
1) abarca Ker(T) . Claramente, en este caso, Ran(M) .
2) Observe que 1) es verdadero si y solo si Ker(T) abarca , donde denota complemento ortogonal. Por hermiticidad de T , esto es lo mismo que Ran(T) abarca . Entonces, si 1) no se cumple, la intersección Ran(T) abarca no está vacía, es decir, existe algún número complejo α tal que . Entonces
Por lo tanto se encuentra en Ran(M) .
Por lo tanto, Ran(M) coincide con el intervalo lineal de . El criterio de rango es un caso especial de este hecho.
Una matriz de densidad ρ que actúa sobre H es separable si y solo si puede escribirse como
donde es un estado puro (no normalizado) en el j -ésimo subsistema. Esto también es
Pero esta es exactamente la misma forma que M de arriba, con el estado del producto vectorial reemplazando a . Entonces se sigue inmediatamente que el rango de ρ es el rango lineal de estos estados del producto. Esto prueba el criterio.