¿Hay algún operador detrás de la probabilidad, en mecánica cuántica?

En mecánica cuántica, la probabilidad de encontrar una partícula en la posición X es dado por | ψ ( X ) | 2 , dónde ψ es la función de onda. ¿Me pregunto cuál es el operador que da esta probabilidad? ¿Es la probabilidad el resultado de que cualquier operador actúe sobre ψ ?

Corrección - ¿Quieres decir | ψ 2 | , y no | ψ | . Además, no es la probabilidad, sino la densidad de probabilidad.
Tenga en cuenta también que debe distinguir entre probabilidad y densidad de probabilidad.

Respuestas (5)

La teoría de la mecánica cuántica se ha desarrollado para explicar las observaciones, es decir, las mediciones. Sin observaciones es una construcción matemática flotante.

Uno de los postulados para conectar las matemáticas con la realidad es:

A todo observable le corresponde un operador que operando sobre la función de estado dará un valor propio. Entonces la pregunta es: ¿es la probabilidad un observable? y luego se convierte en: lo que es un observable.

Un observable en el marco de la mecánica cuántica es una variable del sistema bajo consideración que una medida puede evaluar. La energía de un solo fotón. El impulso de un protón. El espín de un electrón. Siempre podemos medir estas variables en partículas individuales con una observación, medición. Esto no es posible con probabilidad. Es un valor emergente de un gran número de medidas con las mismas condiciones de contorno: es una distribución normalizada, que varía de 0 a 1, de la dispersión de los valores encontrados en las medidas.

Entonces no, no existe un operador mecánico cuántico para la probabilidad, ya que no es un observable de una variable que ingresa al problema mecánico cuántico sino una cantidad emergente de muchas mediciones.

Una buena respuesta; curiosamente a todos se les pasó por alto la objeción obvia: la probabilidad no es observable.
No estoy de acuerdo con esta respuesta, aunque es formalmente correcta. Los eventos son definitivamente observables: la posición de una partícula está en un intervalo dado [ a , b ] o no lo es. Estos corresponden directamente a proyectores espectrales como a b | X X | d X . Los valores esperados del proyector que corresponden a un evento es la probabilidad de ese evento; por lo tanto, existe un operador con esa propiedad. Que más necesitas?
Tampoco veo la diferencia entre probabilidad y, por ejemplo, energía. Dado un estado , no se puede interrogar significativamente ninguna de sus propiedades usando una sola realización. Una sola medición le permite estimar la energía esperada del estado, pero debe ajustar esto a medida que realiza más y más mediciones. Sin embargo, ¡lo mismo es cierto para la probabilidad de un evento! Sucedió o no, en cuyo caso su primera estimación es 1 o 0; a medida que realiza más realizaciones, sus estimaciones mejoran cada vez más. Realmente no veo la diferencia entre estos dos casos.
Finalmente, si tiene una sola realización de un estado, entonces una medición de energía no brinda mucha información sobre el estado en sí (solo que el estado propio resultante tenía una amplitud distinta de cero). La única información segura que obtiene es el estado después de la medición. Pero esto también es cierto para la probabilidad: después de verificar, sabes si el evento sucedió o no, y tienes completa certeza sobre la probabilidad de si sucedió (y de hecho si volverá a suceder después de un tiempo infinitesimal) o no. (Perdón por la bronca =).)
@EmilioPisanty No digo que uno no pueda medir la probabilidad. Digo que la medida no cae dentro del postulado de la mecánica cuántica: a cada observable le corresponde un operador. Una medida de energía es un número fijo (con errores experimentales y se agregará para crear una distribución de probabilidad). Una medida contada como probabilidad no lleva información excepto el número 1, sin siquiera un error de medida. A nivel de una interacción individual, el operador de probabilidad es ?
Si mide energía, es el operador de energía, si mide cantidad de movimiento, ¿la cantidad de movimiento...?
Asociaría sin ambigüedades el proyector propio de un evento dado con la probabilidad de que suceda, incluso al nivel de las interacciones individuales. La probabilidad se convierte en una variable cuantificada cuyos únicos valores definidos posibles son 0 y 1, que son los valores propios de cualquier operador idempotente, y que corresponden al hecho de que un evento puede ocurrir o no en cualquier realización individual. Luego, las observaciones se proyectan en estos subespacios propios exactamente de la misma manera que lo hacen, por ejemplo, las mediciones de energía. Realmente no veo una gran diferencia allí.

La respuesta es negativa por dos razones distintas.

(1) En QM operador significa operador lineal y el mapa ψ | ψ ( X ) | 2 no es lineal, evidentemente.

(2) Las funciones de onda son elementos de L 2 ( R ) y estos elementos se definen hasta conjuntos de medida cero. Quiero decir que, si ψ ( X ) ψ ( X ) para X mi dónde mi tiene medida cero, entonces ψ = ψ como elementos de L 2 ( R ) , es decir (si | ψ ( X ) | 2 d X = 1 ) estados cuánticos puros . En particular cada conjunto de la forma { X 0 } siempre tiene medida cero. Por lo tanto, para cualquier fijo X 0 , el mapa

L 2 ( R ) ψ | ψ ( X 0 ) | 2
no tiene sentido No está definido en absoluto, como un mapa que asocia estados (si | ψ ( X ) | 2 d X = 1 ) con números.

¿No es la función de onda dos veces diferenciable? Así que eso podría descartar puntos.
No lo es. d 2 / d X 2 no es autoadjunto. Es autoadjunto si se define en un espacio de Sobolev adecuado hecho de funciones no diferenciables...

Si uno cambia al formalismo del operador de densidad, la situación cambia. Operadores de densidad ρ son operadores de clase de seguimiento positivos con norma de seguimiento t r ρ = 1 . No solo describen estados puros sino también mixtos y satisfacen la ecuación de Liouville-von Neumann

t ρ ( t ) = i [ H , ρ ( t ) ] := i L ρ ( t ) ,
dónde H es el hamiltoniano del sistema y [ . , . ] el conmutador El lado derecho define el operador de Liouville L actuando sobre elementos de la clase traza. Si, en su caso, ψ ( X ) H es integrable al cuadrado con la norma unitaria, entonces
ρ = | ψ >< ψ | ,
y la probabilidad de encontrar la partícula con coordenada en METRO H es
mi METRO = t r PAG METRO ρ = t r PAG METRO | ψ >< ψ | = METRO d X | ψ ( X ) | 2
Aquí PAG METRO es el proyector definido por la función característica x METRO ( X ) , x METRO ( X ) = 1 para X METRO y 0 en caso contrario. De este modo PAG METRO es el operador asociado a la probabilidad en el espacio de coordenadas. Del mismo modo, deja norte Sea un conjunto en el espacio de cantidad de movimiento y q norte ser proyector definido por x norte ( pag ) . Entonces
F norte = t r q norte ρ = norte d pag | ψ ~ ( pag ) | 2 ,
dónde ψ ~ ( pag ) es la transformada de Fourier de ψ ( X ) , es la probabilidad de encontrar la partícula con cantidad de movimiento en norte .

En enfoques más abstractos, como el C -formalismo algebraico, los estados se definen como funcionales lineales positivos sobre el conjunto de observables. Los operadores de densidad pertenecen a esta clase pero hay otros más generales.

"Probabilidad", en sí mismo, es un concepto muy blando y realmente no tiene mucho sentido por sí solo. Sin embargo, si adjunta una declaración, como en "probabilidad de que suceda X", entonces puede asignarle un operador.

Permítanme comenzar con un ejemplo simple, una sola partícula en una dimensión, donde desea la probabilidad de su coordenada X estar entre a y b . Como saben, esto se puede escribir como

PAG ( X [ a , b ] ) = a b | ψ ( X ) | 2 d X .
Para llevar esto a un formalismo de operador, expresa la función de onda como un paréntesis entre el estado | ψ y un estado propio de posición | X , Llegar
PAG ( X [ a , b ] ) = a b ψ | X X | ψ d X .
Finalmente, puede 'factorizar' el ψ 's para obtener el elemento de matriz de un operador:
PAG ( X [ a , b ] ) = ψ | ( a b | X X | d X ) | ψ = ψ | Π ^ [ a , b ] | ψ .

El operador Π ^ [ a , b ] se llama el proyector espectral del operador de posición X ^ para el conjunto [ a , b ] R . Tiene la propiedad de que su valor esperado en un estado | ψ es la probabilidad de X estar en [ a , b ] en ese estado.

Esto se extiende a cualquier observable de buen comportamiento q ^ y cualquier conjunto medible de números reales A . De hecho, la 'diagonalizabilidad' de los operadores autoadjuntos (¡incluyendo la posición y el momento!) se expresa, cuando se deriva rigurosamente en términos de un teorema espectral, exactamente en esos términos. Si q ^ es autoadjunto (lo que incluye la hermiticidad tal como la conocemos, pero también algunas restricciones adicionales en los dominios de los operadores), no tiene garantizados los estados propios, sino una medida espectral . Esta es una función Π que toma conjuntos de números reales A y devuelve los correspondientes proyectores espectrales Π ( A ) , que tienen la propiedad de que sus valores esperados son la probabilidad de que q es en A :

PAG ( q A ) = ψ | Π ^ ( A ) | ψ .

Si q ^ tiene estados propios, entonces los proyectores espectrales son la suma, o integral, de los proyectores de estados propios individuales | q q | sobre el q 'pecado A . Si q tiene un espectro continuo, de hecho, los proyectores individuales | q q | no tienen mucho sentido por sí mismos y deben integrarse para dar predicciones físicas.

Esto coincide con algo que ya mencionó V. Moretti. La densidad de probabilidad ,

| ψ ( X ) | 2 = ψ | ( | X X | ) | ψ ,
no está particularmente bien definido porque ψ puede cambiar su valor en puntos individuales sin afectar el estado. Esto está bien, porque las densidades de probabilidad se integran para dar resultados físicos, y estos cambios puntuales no afectan la integral total.

Sin embargo, como se desprende de su forma, la densidad de probabilidad es también, al menos formalmente, el valor esperado de un operador, que en este caso es

| X X | .
Debido a los problemas mencionados anteriormente, este operador en realidad no está tan bien definido, y debe tener mucho cuidado con sus estados (y, en particular, restringirse a ciertas partes de un formalismo espacial de Hilbert amañado) para que esto haga sentido. Puede obtener una definición un poco más robusta como
| X X | = d d X Π ^ ( , X ] ,
excepto que ahora debe preocuparse por lo que significa diferenciar en el espacio del operador. El mensaje para llevar sobre esto es que las manipulaciones formales, si se hacen correctamente, funcionan, pero si quieres que sean rigurosas, se vuelve muy desordenado muy rápido. Entonces: usa tu intuición física para saber qué cantidades tienen sentido y cuáles no, sigue las reglas de manipulación y estarás a salvo.

No. Estas probabilidades cancerosas surgen debido a la interpretación probabilística, que también trae todo tipo de paradojas famosas que infectan a QM. Por sí mismo, el formalismo de la teoría requiere solo la solución de una ecuación diferencial de segundo orden para calcular ψ ( X , t ) - un proceso que es completamente determinista, como resolver algo que sale de la segunda ley de Newton. (Estoy hablando de la solución de la ecuación de Schr\"odinger aquí, la mecánica matricial de Heisenberg da respuestas idénticas).

El formalismo de la teoría y esta interpretación son cuestiones absolutamente independientes. Se puede tener otra interpretación (p. ej., Many-Worlds , además de otras que puede encontrar mencionadas en el enlace) agregada al mismo formalismo, lo que nos daría una forma diferente de dar sentido a estas respuestas. Pero por sí mismo, no hay nada en el formalismo de QM que requiera o necesite probabilidades.

Entonces, tu respuesta es - no. La probabilidad no es el resultado de que ningún operador actúe sobre ψ .

Quiero decir, si el voto negativo se debió a algún problema con la respuesta, puede hacerlo explícito. Podemos tratar de razonar el uno al otro.
Los votos negativos son anónimos, y no voté negativamente su respuesta. Aunque, ahora que lo he leído, no creo que responda completamente a la pregunta, o más bien se va por la tangente que no es necesariamente relevante o está redactado adecuadamente.
DE ACUERDO. 1. He borrado mi ``alegación''. Lo siento :) 2. ¿Con qué no estás de acuerdo exactamente? (Ambos aprenderemos discutiendo)
Tampoco es mi voto negativo, pero parece que usó la pregunta como una excusa para discutir sus propios puntos de vista sobre la interpretación de QM en lugar de responder lo que realmente preguntó el OP.
Pero las probabilidades SÍ entran en QM con esa interpretación tonta aunque exitosa. No necesita probabilidades en lo que respecta a la resolución de la ecuación de Schrödinger. Es cuando tratas de darle sentido a esa respuesta, que necesitas una ``interpretación''. Es por eso que dije que no hay nada en el formalismo de QM que requiera probabilidades. ¿Estás en desacuerdo con esto?
sin embargo, necesita medidas y un postulado para interpretar las medidas y conectarse con la realidad. En mi opinión, en muchos mundos es lo mismo llevar las matemáticas a los extremos (tampoco voté a la baja, aunque encuentro "canceroso" desagradable). Es realidad que la matemática tiene que modelar, y para ello son necesarios postulados.
DE ACUERDO. Entonces, en vista de las críticas que genera esta publicación, con los tres votos negativos (a pesar de los dos votos positivos, pero esos tipos no comentaron), propongo eliminar esta respuesta mía redactada de manera inapropiada, en aproximadamente una hora. Sin embargo, creo que es extremadamente poco científico criticar una publicación sin mencionar EXACTAMENTE a qué se oponen todos. Sí creo que @ V. Moretti ha respondido la pregunta de manera adecuada y @ anna v señaló correctamente que la probabilidad no era un observable, NINGUNO DE ESTO DESPRUEBA QUE LA PROBABILIDAD ENTRE EN QM a través de la interpretación probabilística.
De hecho, todas esas paradojas conceptuales que infectan a QM, se remontan a esta interpretación. Nada de eso se debe al formalismo de la teoría, todo está en la interpretación. Entonces, algún día, cuando entendamos QM, es posible que tengamos otra interpretación que elimine por completo todos estos problemas conceptuales "cancerosos". Y por las reacciones generales, supongo que soy la única persona por aquí que tiene esa perspectiva.
Escribe incorrectamente como si todos estuvieran de acuerdo en que QM tiene paradojas.
@physicsphile: eres libre de rechazarlo si crees que está mal. Salud :)