El conjunto de estados cuánticos en dimensiones es el conjunto de operadores semidefinidos positivos que viven en un espacio de dimensión de Hilbert . Denotemos este conjunto por y tenga en cuenta que este es un conjunto convexo. La convexidad también se ve en otros conjuntos interesantes, por ejemplo, el conjunto de estados separables , el conjunto de estados PPT etcétera.
Tengo la intuición de que, por algunos argumentos de simetría, el estado de mezcla máxima, es decir, el operador de identidad (que está en , y ) debería estar en el centro geométrico de estos conjuntos, digamos si usamos cosas razonables como la norma 2 para definir la distancia. Después de todo, el estado de máxima mezcla es (en términos generales) una mezcla de todos los estados en el espacio de Hilbert.
Para un solo qubit, mirando la esfera de Bloch, ¡esto es realmente cierto! El estado de máxima mezcla está en el centro de la esfera.
Desafortunadamente, esta imagen parece ser engañosa en casos más generales. De acuerdo con esto, obtendrá una imagen geométrica muy agradable de variedades concéntricas para estados separables, estados PPT y todos los estados cuánticos y esto (por lo que puedo decir) no es el caso. Vea esta imagen donde el autor deliberadamente hace que los conjuntos no sean concéntricos, lo que está en desacuerdo con mi intuición.
¿Alguien tiene una mejor intuición para la forma de conjuntos convexos de estados cuánticos? ¿Y habría una buena razón para ver por qué el estado de mezcla máxima no está en el centro del conjunto de estados?
Los operadores de densidad viven en un espacio vectorial real. Considere los operadores , , de cualquiera de los conjuntos mencionas (todos los operadores de densidad, separables o PPT).
dado un estado , podemos escribirlo como
Ahora considere un estado de producto puro (bipartito) , que está contenido en los tres conjuntos (y, de hecho, en el límite de los tres conjuntos, como en la parte inferior de la imagen). En ese caso,
Debería ser instructivo elaborar el criterio PPT, o separabilidad, para este o ejemplos relacionados a lo largo de esa línea.
Norberto Schuch
usuario1936752
Norberto Schuch
usuario1936752