4.5: Revisión de SU (2) y vista previa de la cuantificación
- Page ID
- 110060
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Nuestra introducción del concepto espinor al inicio de la Sección 4.1 puede racionalizarse sobre la base de las siguientes pautas. Primero, requerimos una cierta economía y deseamos evitar tratar con parámetros redundantes al especificar una tríada giratoria, tal como hemos resuelto previamente el problema análogo para el operador de rotación.
Segundo, deseamos tener un formalismo eficiente para representar el problema rotacional.
Hemos visto que las matrices de\(\mathcal{SU}(2)\) satisfacer todos estos requisitos, pero nos encontramos ensillados con una dos-valorización de la representación:\(| \xi \rangle\) y\(| \xi \rangle\) corresponden a la misma configuración de tríada. Esto no es un problema grave, ya que nuestras relaciones clave 4.1.36 y 4.1.37 son cuadráticas en\(| \xi \rangle\).
De esta manera, el doble valor appera aquí solo como una ayuda computacional que desaparece en el resultado final.
La situación es diferente si nos fijamos en las fórmulas 4.1.42—4.1.66 de la misma sección (Sección 4.1). Estas ecuaciones son lineales, tienen un carácter mecánico cuántico y sabemos que efectivamente son aplicables en el contexto adecuado. Es un hecho pragmático el dos-valor no es sólo una molestia necesaria, sino que tiene un significado físico. Pero entender este significado es un reto que solo podemos enfrentar en pasos cuidadosamente elegidos.
Deseamos dar una interpretación más física a la tríada, pero evitar el estancamiento del cuerpo rígido. Primero asociamos el espacio abstracto de Poincaré con el sistema físico del oscilador degenerado bidimensional. La rotación en el espacio Poincaré se asocia con un desplazamiento de fase entre estados conjugados, que se traduce en una rotación de la esfera de Poincaré, interpretada a su vez como un cambio de orientación, o cambio de forma de los patrones vibratorios en el espacio ordinario.
Es sólo una leve exageración decir que nuestra transición de la tríada en el espacio euclidiano al espacio de Poincaré es algo así como una “cuantificación”, en el sentido de que la ecuación de onda de Schro ̈dinger asocia una onda con una partícula. (¡La h de Planck es entrar en breve!)
En esta teoría tenemos un buen uso para las espinoras conjugadas\(| \xi \rangle\) y\(| \bar{\xi} \rangle\) que representan polarizaciones opuestas, pero debemos identificarnos\(| \bar{\bar{\xi}} \rangle = -| \xi \rangle\) con\(| \xi \rangle\).
Lo anterior no es más que un modelo cinemático perfectamente definido. El siguiente paso es diferente. Como “segunda cuantificación” introducimos la h de Planck para definir fotones individuales. Una división de haz representada por un operador de proyección se puede expresar en términos probabilísticos.
Formalmente todo esto es fácil y tendríamos de inmediato una gran parte del formalismo mecánico cuántico que involucra la teoría de la medición.
A continuación, podríamos tomarnos en serio el doble valor del espinor y obtener el formalismo de la isospin y del neutrino, digamos como en la Sección 17, Estados Fermion, en [Kae65].
Por último, en lugar de vibraciones doblemente degeneradas, podríamos considerar el vibrador triplicamente degenerado y manejarlo por\(\mathcal{SU}(3)\) [Lip02]. No consideraremos estas generalizaciones en este punto, sin embargo. Antes de ampliar aún más el formalismo debemos esperar entender mejor lo que ya tenemos.
En primer lugar, una observación formal. Nuestros resultados desarrollados hasta ahora están determinados de manera única por el formalismo espinor de la Sección 4.1 y por el programa de considerar la esfera de Poincaré como el espacio de configuración básica a describir por coordenadas esféricas convencionales\(\alpha, \beta\) o\(\phi, \theta\).
Es de destacar que este modesto equipo conceptual nos lleva hasta el momento. Hemos obtenido espinores, matrices de densidad y hemos discutido al menos fugaz coherencia, incoherencia, teoría cuántica de medición y teoría de transformación.
Lo que no sacamos de la teoría es una interpretación específica del proceso vibratorio subyacente ya que el formalismo es hasta ahora totalmente independiente del mismo. Este hecho nos da algo por debajo del alcance y límite de la mecánica cuántica. Podemos aplicar el formalismo a fenómenos que entendemos muy poco. Sin embargo, dado que el mismo\(\mathcal{SU}(2)\) formalismo se aplica a la luz polarizada, espín, isospin, extrañeza y otros fenómenos, aprendemos poco sobre sus aspectos distintivos.
Para superar esta limitación necesitamos una comprensión más profunda de lo que es un momento angular cuantificado en el marco de un problema dinámico.
El siguiente capítulo está dedicado a una discusión fenomenológica de los conceptos de partícula y onda. Intentaremos obtener suficientes pistas para desarrollar una teoría dinámica en forma de geometría de espacio de fase en el Capítulo VI.
Figura 4.3: Representación de la polarización en la esfera de Poincaré. Conexión entre los esquemas: a)\(\hat{k} (\phi, \theta)\) esquema y b)\(\hat{s} (\alpha, \beta)\) esquema.
Figura 4.4: Representación de la polarización en la esfera de Poincaré. Conexión entre los esquemas (c) y (d).