Un operador de medición M_i asignado a una salida particular tal que el estado postmedición (no normalizado) es M_i ρ M_i^† y la probabilidad de la salida es p(i)=tr(M_i^† M_i ρ). Los operadores de medición satisfacen ∑_i M_i^† M_i = I cuando la medición es completa.

Principio

Principio de actualización de estado: los operadores de medición combinan asignación de probabilidad y transformación de estado en un solo objeto; su producto adjunto M_i^† M_i produce el elemento POVM (efecto) correspondiente, mientras que M_i determina el estado postmedición hasta normalización.

Demostración

Para una medición proyectiva de von Neumann con proyectores P_j, los operadores de medición canónicos son M_j = P_j, dando p(j)=tr(P_j ρ) y estado postmedición P_j ρ P_j / tr(P_j ρ). En una medición no proyectiva, M_i puede ser no hermítico y seguir siendo válido.

Aplicación incorrecta

Tratar a los operadores de medición como únicos o confundirlos con elementos de POVM: muchos conjuntos {M_i} pueden realizar el mismo POVM {E_i = M_i^† M_i}; asumir un M_i particular implica una actualización de estado específica que el POVM por sí solo no exige.

Consecuencia

Los operadores de medición proporcionan la receta operativa completa para mediciones selectivas incluyendo el estado posterior y permiten modelar mediciones secuenciales y realimentación; hacen explícitas las transformaciones no unitarias dependientes del resultado inducidas por la medición.

Inversión

La abstracción complementaria es considerar solo el POVM (efectos) e ignorar los estados postmedición; esta inversión conserva las probabilidades pero descarta la información sobre cómo la medición transforma el estado.

Límite

Los operadores de medición actúan sobre el espacio de Hilbert del sistema y codifican tanto la probabilidad como la transformación; no están determinados de forma única por las probabilidades, pueden requerir modelos ambientales o de instrumento para justificar elecciones particulares y excluyen descripciones puramente clásicas.

Tensión semántica

Tensión entre operadores de medición y operadores de Kraus: ambos pueden describir transformaciones de estado y canales, pero los operadores de Kraus representan con frecuencia dinámicas de sistema abierto más generales mientras que los operadores de medición suelen estar indexados por resultados clásicos y ligados a narrativas de medición selectiva.

Síntesis

Un operador de medición es el objeto operativo que asigna la probabilidad de un resultado (vía su producto adjunto) y especifica el estado postmedición no normalizado, unificando así los aspectos estadísticos y dinámicos de una medición cuántica en un solo operador.