En física cuántica, una medida es la prueba o manipulación de un sistema físico para producir un resultado numérico. Las predicciones que hace la física cuántica son, en general, probabilísticas. Las herramientas matemáticas para hacer predicciones sobre qué resultados de medición pueden ocurrir se desarrollaron durante el siglo XX y hacen uso del álgebra lineal y el análisis funcional.
La física cuántica ha demostrado ser un éxito empírico y tiene una amplia aplicabilidad. Sin embargo, a un nivel más filosófico, continúan los debates sobre el significado del concepto de medición.
Contenido
1 formalismo matemático
1.1 "Observables" como operadores autoadjuntos
1.2 Medición proyectiva
1.3 Medición generalizada (POVM)
1.4 Cambio de estado debido a la medición
1.5 Ejemplos
2 Historia del concepto de medición
2.1 La "vieja teoría cuántica"
2.2 Transición a la "nueva" teoría cuántica
2.3 De la incertidumbre a las variables no ocultas
2.4 Sistemas cuánticos como dispositivos de medición
En mecánica cuántica, cada sistema físico está asociado con un espacio de Hilbert, cada elemento del cual es una función de onda que representa un posible estado del sistema físico. El enfoque codificado por John von Neumann representa una medición en un sistema físico por un operador autoadjunto en ese espacio de Hilbert denominado "observable". Estos observables desempeñan el papel de cantidades mensurables familiares de la física clásica: posición, momento, energía, momento angular, etc. La dimensión del espacio de Hilbert puede ser infinita, como lo es para el espacio de funciones cuadradas integrables en una línea, que se utiliza para definir la física cuántica de un grado continuo de libertad. Alternativamente, el espacio de Hilbert puede ser de dimensión finita, como ocurre con los grados de libertad de espín. Muchos tratamientos de la teoría se centran en el caso de dimensión finita, ya que las matemáticas involucradas son algo menos exigentes. De hecho, textos de física de introducción a la mecánica cuántica a menudo pasan por alto tecnicismos matemáticos que surgen para observables-continuas valorados y los espacios de Hilbert de dimensión infinita, tales como la distinción entre delimitadas y operadores no acotados ; cuestiones de convergencia (si el límite de una secuencia de elementos del espacio de Hilbert también pertenece al espacio de Hilbert), posibilidades exóticas para conjuntos de valores propios, como los conjuntos de Cantor ; Etcétera. Estos problemas pueden resolverse satisfactoriamente utilizando la teoría espectral ; el presente artículo los evitará siempre que sea posible.
Los autovectores de un observable de von Neumann forman una base ortonormal para el espacio de Hilbert, y cada resultado posible de esa medición corresponde a uno de los vectores que componen la base. Un operador de densidad es un operador positivo-semidefinito en el espacio de Hilbert cuya traza es igual a 1. Para cada medición que se puede definir, la distribución de probabilidad sobre los resultados de esa medición se puede calcular a partir del operador de densidad. El procedimiento para hacerlo es la regla de Born, que establece que
donde es el operador de densidad y es el operador de proyección sobre el vector base correspondiente al resultado de la medición. El promedio de los valores propios de un observable de von Neumann, ponderado por las probabilidades de la regla de Born, es el valor esperado de ese observable. Para un observable, el valor esperado dado un estado cuántico es
Un operador de densidad que es una proyección de rango 1 se conoce como estado cuántico puro, y todos los estados cuánticos que no son puros se denominan mixtos. Los estados puros también se conocen como funciones de onda. Asignar un estado puro a un sistema cuántico implica certeza sobre el resultado de alguna medición en ese sistema (es decir, para algún resultado). Cualquier estado mixto se puede escribir como una combinación convexa de estados puros, aunque no de una manera única. El espacio de estados de un sistema cuántico es el conjunto de todos los estados, puros y mixtos, que se le pueden asignar.
La regla de Born asocia una probabilidad con cada vector unitario en el espacio de Hilbert, de tal manera que estas probabilidades suman 1 para cualquier conjunto de vectores unitarios que comprendan una base ortonormal. Además, la probabilidad asociada con un vector unitario es una función del operador de densidad y del vector unitario, y no de información adicional como una elección de base para que ese vector se incruste. El teorema de Gleason establece lo contrario: todas las asignaciones de probabilidades a los vectores unitarios (o, de manera equivalente, a los operadores que se proyectan sobre ellos) que satisfacen estas condiciones toman la forma de aplicar la regla de Born a algún operador de densidad.
En el análisis funcional y la teoría de la medición cuántica, una medida valorada por un operador positivo (POVM) es una medida cuyos valores son operadores semidefinidos positivos en un espacio de Hilbert. Los POVM son una generalización de las medidas con valores de proyección (PVM) y, en consecuencia, las medidas cuánticas descritas por los POVM son una generalización de la medición cuántica descrita por los PVM. En una analogía aproximada, un POVM es para un PVM lo que un estado mixto es un estado puro. Se necesitan estados mixtos para especificar el estado de un subsistema de un sistema más grande (ver el teorema de Schrödinger-HJW ); de manera análoga, los POVM son necesarios para describir el efecto en un subsistema de una medición proyectiva realizada en un sistema más grande. Los POVM son el tipo de medición más general en mecánica cuántica y también se pueden utilizar en la teoría cuántica de campos. Se utilizan ampliamente en el campo de la información cuántica.
En el caso más simple, de un POVM con un número finito de elementos que actúan sobre un espacio de Hilbert de dimensión finita, un POVM es un conjunto de matricespositivassemidefinidas en un espacio de Hilbert que suman la matriz identidad,
En mecánica cuántica, el elemento POVM está asociado con el resultado de la medición, de manera que la probabilidad de obtenerlo al realizar una medición en el estado cuántico viene dada por
,
donde está el operador de rastreo. Cuando el estado cuántico que se mide es un estado puro, esta fórmula se reduce a
Una medición en un sistema cuántico generalmente provocará un cambio del estado cuántico de ese sistema. Escribir un POVM no proporciona la información completa necesaria para describir este proceso de cambio de estado. Para remediar esto, se especifica más información descomponiendo cada elemento POVM en un producto:
Los operadores de Kraus, llamados así por Karl Kraus, proporcionan una especificación del proceso de cambio de estado. No son necesariamente autoadjuntos, pero los productos sí lo son. Si al realizar la medición se obtiene el resultado, entonces el estado inicial se actualiza a
Un caso especial importante es la regla de Lüders, llamada así por Gerhart Lüders. Si el POVM es en sí mismo un PVM, entonces los operadores de Kraus pueden tomarse como proyectores en los espacios propios del observable de von Neumann:
Si el estado inicial es puro y los proyectores tienen rango 1, se pueden escribir como proyectores en los vectores y, respectivamente. La fórmula se simplifica así a
Esto se ha conocido históricamente como la "reducción del paquete de ondas" o el " colapso de la función de onda ". El estado puro implica una predicción de probabilidad uno para cualquier observable de von Neumann que tenga como vector propio. Los textos introductorios sobre la teoría cuántica a menudo expresan esto diciendo que si una medición cuántica se repite en rápida sucesión, se producirá el mismo resultado en ambas ocasiones. Esto es una simplificación excesiva, ya que la implementación física de una medición cuántica puede implicar un proceso como la absorción de un fotón; después de la medición, el fotón no existe para volver a medirse.
Podemos definir un mapa lineal, que conserva el rastro y completamente positivo, sumando todos los posibles estados posteriores a la medición de un POVM sin la normalización:
Es un ejemplo de un canal cuántico y puede interpretarse como la expresión de cómo cambia un estado cuántico si se realiza una medición pero se pierde el resultado de esa medición.
Ejemplos de
Representación de la esfera de Bloch de estados (en azul) y POVM óptimo (en rojo) para una discriminación inequívoca de estados cuánticos en los estados y. Tenga en cuenta que en la esfera de Bloch los estados ortogonales son antiparalelos.
El ejemplo prototípico de un espacio de Hilbert de dimensión finita es un qubit, un sistema cuántico cuyo espacio de Hilbert es bidimensional. Un estado puro para un qubit se puede escribir como una combinación lineal de dos estados de base ortogonal y con coeficientes complejos:
Una medición en la base producirá un resultado con probabilidad y un resultado con probabilidad, por lo que por normalización,
Un estado arbitrario para un qubit se puede escribir como una combinación lineal de las matrices de Pauli, que proporcionan una base para las matrices autoadjuntas:
donde los números reales son las coordenadas de un punto dentro de la bola unitaria y