¿Cuál es la definición de operador de paridad en la mecánica cuántica?

En mecánica clásica, el vector de posición cambia bajo paridad como X X . Esta es la definición de paridad en la mecánica clásica.

Operadores (como O ) cambio bajo operadores de simetría representados por q como

O q 1 O ^ q .

¿Podemos tomar

PAG 1 X ^ PAG = X ^
como la definición de paridad en la mecánica cuántica (donde el objeto PAG representa el operador de paridad)?

Respuestas (1)

No, no podemos, ya que el único requisito

PAG 1 X ^ PAG = X ^
no fija el operador de paridad de forma única, incluso en el caso más simple. Es necesaria más información en forma de requisitos añadidos para fijar el operador de paridad.

La definición de operador de paridad en realidad depende del sistema que esté considerando. Consideremos la partícula de espín cero más simple en QM.

Su espacio de Hilbert es (isomorfo a) L 2 ( R 3 ) .

Se supone que la paridad es una simetría, por lo que en vista del teorema de Wigner, es un operador H : L 2 ( R 3 ) L 2 ( R 3 ) que puede ser unitario o antiunitario.

Aquí, el operador de paridad está fijado por un par de requisitos naturales, el primero es solo el de la pregunta inicial, el último requisito adicional se refiere a los operadores de momento.

(1) tu X k tu 1 = X k , k = 1 , 2 , 3
y
(2) tu PAG k tu 1 = PAG k , k = 1 , 2 , 3
Observe que (2) es independiente de (1), podríamos definir operadores que satisfagan (1) pero no (2).

En primer lugar, estos requisitos deciden el carácter unitario/antiunitario. En efecto, desde CCR,

(3) [ X k , PAG h ] = i d h k I
tenemos
tu [ X k , PAG h ] tu 1 = d k h tu i I tu 1 = ± i d k h I

eso es
[ tu X k tu 1 , tu PAG h tu 1 ] = ± i d k h I ,
de modo que, de (1) y (2),
[ X k , PAG h ] = ± i d k h I
Comparando con (3), esta identidad descarta el signo menos correspondiente a un operador antiunitario. tu debe ser unitario.

Probemos que (1)-(2) fijo tu hasta una fase. No es posible definir tu más precisamente porque esta fase arbitraria es justamente el grado de libertad permitido por el teorema de Wigner al definir las simetrías en términos de operadores unitarios o anti unitarios.

Supongamos que, para otro operador unitario V , también tenemos

(1') V X k V 1 = X k , k = 1 , 2 , 3
y
(2') V PAG k V 1 = PAG k , k = 1 , 2 , 3 .
Como consecuencia de (1) y (2),
tu 1 V X k V 1 tu = X k , k = 1 , 2 , 3
y
tu 1 V PAG k V 1 tu = PAG k , k = 1 , 2 , 3 .
En otras palabras, L := tu 1 V satisface
L X k = X k L , L PAG k = PAG k L , k = 1 , 2 , 3 .
Dado que el sistema de operadores X k y PAG k es irreductible en L 2 ( R 3 ) , el lema de Schur implica que
L = mi i γ I
por algunos reales fijos γ . A saber,
V = mi i γ tu .

Para concluir, es suficiente encontrar un operador unitario que satisfaga tanto (1) como (2). Por inspección directa se ve que

(4) ( tu ψ ) ( X ) = ψ ( X )
hace el trabajo. Todas las posibilidades restantes se incluyen en la fase arbitraria. mi i γ . La opción (4) tiene una bonita propiedad adicional compartida solo con la otra posibilidad
(4') ( tu ψ ) ( X ) = ψ ( X )
En ambas situaciones (y sólo para estas elecciones de fase),
tu tu = I .
Como ya sabemos que tu 1 = tu , concluimos que
tu = tu 1 = tu .
En otras palabras, dichas elecciones de la fase hacen tu un observable , que juega un papel importante en la física de partículas (se puede conservar o no dependiendo del hamiltoniano).

Extendiendo la noción de partícula al incluir el espín, el espacio de Hilbert se amplía a L 2 ( R 3 ) C 2 s + 1 , donde el segundo factor incluye una representación irreducible de S tu ( 2 ) generado por los tres operadores de espín S k , k = 1 , 2 , 3 . Se puede desarrollar un análisis similar al anterior agregando a (1) y (2) el requisito adicional

tu S k tu 1 = S k , k = 1 , 2 , 3 ,
junto con las relaciones de conmutación de espín
[ S k , S h ] = i pag = 1 3 ϵ k h pag S pag ,
pero me detengo aquí.

Esta respuesta me confunde, primero dice que "No, no podemos, ya que ese único requisito no define el operador de paridad incluso en el caso más simple, se necesita más información". Luego continúas demostrando que, contrariamente a lo que afirmaste, en realidad es el único requisito necesario: "Probemos que (1) - (2) fijan U en una fase".
El primer requisito es la Ec. (1) . No es suficiente fijar el operador de paridad de forma única. Si se agrega también la segunda restricción (2), entonces el operador de paridad se fija en un signo. ¿Está claro ahora?
Observe que (2) es independiente de (1). Puede encontrar operadores que satisfagan (1) pero no (2). Entonces (1) no es una definición correcta de operador de paridad ya que no determina el operador de paridad sin agregar (2).
Un comentario: con solo (1) definido, el operador de traducción T se puede demostrar que es anticonmutador con el operador de paridad { tu , T } = 0 . Dado que el operador de cantidad de movimiento se puede expresar en términos de operador de traducción, se deduce que (1) implica (2).
No puedo ver tu prueba. ¿Podría ser más explícito, por favor?
Está usted equivocado. Suponer que tu es el operador de paridad estándar en 1D que satisface tanto (1) como (2). Entonces, por ejemplo, V = mi i X 2 tu satisface (1) pero no (2).