Fsica Cuntica (Parte 1) Primer Ejemplo

Publicado el 15 de Enero, 2011, 19:46

Ha llegado el momento de incursionar en la fsica cuntica, en este blog. Me es necesario pasar en limpio algunas lecturas, y tambin aportar algn detalle sobre la fsica del Universo a la serie de Qu est haciendo el Universo? Tambin servir en algn momento como aclaracin a algunos puntos que expuse en mi serie Qu es la realidad? Y, ms razones: me gustara poder explicar lo que en general los libros de divulgacin pasan por alto o dejan sin detalle aclaratorio (leer Divulgacin en fsica: un comentario). No quiero evitar las frmulas, porque sern necesarias para realmente entender lo que sabemos sobre la cuntica (un notable ejemplo de un libro que no evita las frmulas en Al fin una frmula, excelente pero a veces, necesita una lectura cuidadosa). Todo un plan ambicioso. El ms largo viaje comienza con un solo paso. Andemos. Quisiera comenzar con una explicacin sencilla de hacia dnde va todo eso de la "cuntica". Sea que queremos describir el estado fsico de algo, una partcula, un sistema de partculas, un tomo. Pero, esperen, esos ejemplos son algo ms complicados. Partamos de un ejemplo ms sencillo, un ejemplo imaginario pero que servir para ir desplegando qu hay de diferente en la fsica cuntica con respecto a la fsica que generalmente conocemos. Describamos el estado de una moneda. Podemos decir que la moneda est en uno de los dos estados: cara o ceca. Podramos representar el estado Cara con lo ms simple:

y el estado Ceca con:

Pero en fsica, desde Galileo, se trata de modelar con formuleo, con matemticas. Luego podemos cmo esas frmulas se mapean, se interpretan fsicamente. Por ahora, apelemos a

otra representacin. Representemos cada estado con un vector. Es raro, lo s, pero ya llegar la justificacin. Sea el vector para Cara:

y el vector para Ceca:

Hmmm. Qu ganamos con esto? Y por qu esos vectores estn en ngulo recto? Podra ser ms intuitivo ponerlos opuestos: uno apuntando hacia abajo, y otro hacia arriba. O uno apuntando hacia la derecha, y otro a la izquierda. Pero sigamos. Los dos vectores tienen la misma longitud: vara su direccin. Tomemos que la longitud de los vectores es 1 (ms abajo viene la explicacin de esta eleccin). En la fsica clsica, bastara elegir uno de los dos vectores para describir el estado de la moneda. Simple. Pero en la fsica cuntica, no. Porque en fsica cuntica, la representacin de nuestra moneda cuntica sera un vector que puede estar como ste:

Sigue teniendo la misma longitud que nuestros originales. Pero ahora puede estar en cualquier ngulo (digamos, de 0 a 360 grados). Y qu sentido tiene esto? Bueno, ste es uno de esos pasos mgicos, delicados de la fsica que tendremos que justificar en futuros posts, con experimentos realizados, historia de la ciencia y deducciones. Pero lo que sabemos ahora es: la moneda cuntica no "est en Cara" o "est en Ceca". La frmula que describe el estado de la moneda en un instante es un vector como el mostrado. Pero por qu? Hay algo ms: cuando la moneda interacta con algo ms bajo ciertas circunstancias (a discutir ms adelante qu clase de interaccin y con qu interacta de esta forma, hay varias interpretaciones e historias interesantes), digo, cuando interacta con X, y el resultado de la interaccin depende de si la moneda est en Cara o en Ceca (importa su estado), pues, bien, voil! Otro golpe mgico de la fsica cuntica: el vector que describe el estado de la moneda pasa a apuntar hacia arriba (Cara) o hacia la derecha (Ceca). Estaba en una posicin quizs cualquiera, y "salta" a una de las dos posiciones. Y cmo se hace esa eleccin? No hay modelo que la explique, ms que la siguiente regla de la cuntica: la probabilidad de ser Ceca es el cuadrado de x (en el diagrama de arriba, la "sombra" del vector sobre el eje horizontal), y la probabilidad de ser Cara es el cuadrado de y (en el diagrama de arriba, la "sombra" del vector sobre el eje vertical). Si recordamos Pitgoras y la convencin que pusimos (el vector V tiene longitud 1), queda que la suma de las probabilidades es: x2 + y2 = 1 Es decir, la moneda "est", con probabilidad 1 (certeza), ya sea Cara o Ceca. Si

dispusiramos de un milln de monedas con el mismo vector de estado, digamos x=3/5 y=4/5, y las hiciramos interactuar de tal forma que se produzca el salto cutico, aproximadamente el 9/25 (el cuadrado de x=3/5) de las monedas quedara en Ceca, y el 16/25 (el cuadrado de y=4/5) de las monedas dara Cara. As es la cuntica: nuestra moneda, descripta su estado por un vector, que justamente se llama vector de estado, est como una mezcla de Cara y Ceca. Pero no podemos llevar tan lejos la interpretacin. La fsica cuntica, con el formuleo que iremos estudiando, slo habla de probabilidades de los saltos. Luego hay varias interpretaciones: Einstein hubiera dicho, hay un estado de la moneda, descripto por algn vector, conjunto de formulas, modelo, lo que sea, que nos mostrara realmente en qu estado est la moneda. Bohr dira: no tenemos ms que el vector de estado, no hay ms nada que podamos saber, ah "debajo", de la naturaleza. Pero, recordemos a Newton: l no slo daba para una partcula material un modelo de estado (basado en posicin e impulso), sino que descubri cmo ese estado VARIABA con el tiempo. Afirmaba que en ausencia de fuerzas, el impulso se mantendra. Y en caso de haber fuerzas, daba una frmula para describir cmo cambiaba el estado de la partcula material. Hasta ac la mecnica newtoniana. Dentro de la fsica cuntica, y de su historia, hay lo que se llama mecnica cuntica. No slo tenemos el vector de estado, sino que la mecnica cuntica nos d un gran regalo: al igual que la mecnica newtoniana, nos da un formuleo de cmo cambia el vector de estado con el tiempo. Veremos que el vector de estado va cambiando, no de longitud (porque la suma del cuadrado de sus "sombras" tiene que dar 1, la probabilidad de certeza), sino de orientacin. Veremos que el vector de estado se va moviendo con el tiempo, diremos que "rota", y tenemos que estudiar de qu forma, a qu formuleo responde para esos cambios. Ah est otra gran parte del tema a estudiar. Estudiaremos que, al igual que la mecnica newtoniana, el formuleo incluye ecuaciones diferenciales. Y, notablemente, conceptos nuevos, pero donde aparecern conceptos clsicos (como hamiltonianos, ondas) de forma diferente en cuntica. Como siempre, la escritura de post es, para m, una forma de "caer la ficha" sobre los temas que escribo. Tengo que describir tambin: qu pasa cuando tenemos ms de una moneda/elemento en la descripcin? Nuestro elemento moneda, tena dos estados Qu tienen de especial, si es que lo tienen, esos dos estados? no podramos haber elegido otros? Y otros elementos, sistemas de elementos, no tendrn ms estados, tal vez, una cantidad finita, o quizs, infinitas (piensen en el estado posicin)? No quisiera terminar el post sin darles una sorpresa ms: las "sombras" que describ como x,y, no son nmeros reales. Son nmeros complejos. Tomar su cuadrado es multiplicar, digamos, x (nmero complejo) por su conjugado x* (otro nmero complejo). Pero por qu? qu tienen que hacer los nmeros complejos en todo este tema? De nuevo, nos encontraremos con algo de lo asombroso de la fsica cuntica: la necesidad de usar un nuevo tipo de nmeros, que no es posible evitar.

Tendr que estudiar y visitar temas como: la superposicin de estado, vectores, funciones de onda, espacios de Hilbert, cuntica y relatividad, entrelazamiento, pasar de la mecnica cuntica a la teora cuntica de campos, ejemplos, historia, protagonistas, interpretaciones (tal vez, algunos de stos puntos fuera de esta serie dedicada de post). Como dije al principio, un plan ambicioso. Pero divertido! ;-)

En el primer post de esta serie present, basado en un ejemplo de Steven Weinberg, una moneda cuntica. Por supuesto, es una idealizacin, para ir adentrndome en esta serie que investiga qu sabemos del mundo cuntico, ese mundo que es la base de la realidad. Quiero en este post volver a una explicacin ms matemtica: si no hacemos esto, no podr avanzar en temas ms avanzados. Por ahora, no sabemos qu parte de la realidad funciona como la moneda cuntica, ni las razones (poderosas) que han llevado a los fsicos a adoptar ese modelo. Describ la moneda cuntica con un vector de estado:

Esta vez, tenemos dos vectores de base, e1 y e2. Entonces, el vector de estado se puede expresar como:

Y tambin podemos escribir ese vector como:

cuando estamos seguros con cules vectores de base estamos tratando (pues podemos cambiar de vectores de base, por ahora, seguimos con nuestros amigos, e1 como ceca, e2 como cara). A los matemticos les gusta poner el vector como:

Aclar hacia el final que los coeficientes c1, c2 son nmeros complejos. Con lo cual, la figura de ms arriba no es totalmente fiel a lo que quiero presentar. Da la impresin de coeficientes c1, c2 reales. Pero no. En el modelo que vamos a manejar, esos coeficientes son nmeros complejos. Recordemos un poco estos nmeros (comenc la serie Nmeros complejos). Una cosa ms: esos coeficientes complejos son por ahora nmeros. En algn momento tendremos que estudiar cmo cambian en el tiempo. Por ahora, los tomamos como nmeros, no como funciones del tiempo. En fsica cuntica esos coeficientes se llaman amplitudes (veremos ms adelante que este nombre viene de las relaciones de todo este modelo matemtico con las ondas clsicas de la fsica). Un nmero complejo a+ib (donde i es la raz cuadrada imaginaria de -1):

Ac estoy adoptando la representacin de ese nmero en un plano complejo (no confundir con vectores). Nos va a server para este post, recordar lo que es el nmero complejo conjugado:

Y recordemos que la multiplicacin de un nmero complejo por su conjugado es un valor real (a y b son reales):

A qu viene todo esto? Recordemos algo del anterior post: el vector de estado nos informa de algo: de las probabilidades de encontrar a la moneda en cara o ceca, cuando algo del resto del Universo interacta en lo que se llama en cuntica "la medida". Podemos imaginar que cuando sacamos una foto de la moneda, el resultado es: o la moneda est en cara, o la moneda est en ceca. Y la probabilidad de que d ceca NO ES la amplitud c1. Sino que es el cuadrado de su valor absoluto. Es:

Y la probabilidad de encontrarla en cara es:

Como en la foto esperamos que la moneda est en cara O en ceca, la suma de ambas probabilidades es 1:

Esta es la "longitud" de todos los vectores de estado. No todas las combinaciones lineales de vectores de base e1, e2, dan un vector de longitud 1. Si alguna vez nos toca un vector as, que no tenga longitud unitaria, podemos dividirlo por el valor de su longitud, para obtener un vector de estado potable. Esto se llama normalizar al vector.

Pero si recordamos los nmeros complejos, el cuadrado del valor absoluto de c1 es el resultado de multiplicar c1 por su conjugado (lo indico con asterisco):

Podemos considerar que a cada vector de estado, le corresponde un vector de estado conjugado:

Y podemos definir un producto * llamado interno, entre todos los vectores (sean de estado o no):

Vean que el producto * es una operacin binaria sobre vectores QUE NOS DA un nmero complejo, porque los coeficientes son complejos. Pero resulta que si los vectores a multiplicar son uno el conjugado del otro, el resultado es un nmero real. A los matemticos les gusta representar esto como una multiplicacin de matrices:

La matriz de la izquierda es un vector fila. Y la matriz de la derecha es un vector columna. El de la izquierda se obtiene del de la derecha, en dos pasos: - Cambiando columnas por filas - Cambiando los coeficientes por sus conjugados Esta doble operacin nos d lo que los matemticos les gusta llamar el adjunto: el conjugado transpuesto. Bueno, ya es bastante por hoy. Les dejo meditar un poco sobre todo esto. Tenemos que ver: qu pasa con los coeficientes y el vector de estado ante una medida? Cmo cambian los

coeficientes con el tiempo? Cmo son los vectores de estado con n vectores bases? Veremos tambin que dos vectores de estado diferentes (con diferentes coeficientes) pueden representar LA MISMA realidad fsica. Es como si sobrara informacin en todo este formalismo. Pero no: es as la realidad y su funcionamiento. Y qu pasa cuando tenemos ms monedas? Y qu pasa si en vez de n estados base, tenemos un continuo?

Estuvimos viendo que para representar el estado de nuestra moneda cuntica, apelamos a un vector de estado:

Ese vector de estado vive en un espacio vectorial, que se pueden sumar, manteniendo la distributividad:< /p> Y donde se pueden multiplicar por nmeros complejos, manteniendo la linealidad:

No todos los vectores de ese espacio vectorial son vectores de estado. Definimos un producto interno * y vimos que los vectores de estado cumplen:

Como en otros espacios vectoriales ms generales, podemos elegir vectores de base, cosa que hicimos desde el primer post. As, el vector de estado de nuestra moneda se puede representar como:

Ahora bien, hay una sutileza: yo eleg a propsito, dos vectores de estado que son ortogonales de longitud 1 por el producto interno:

Y otra gran sutileza: eleg dos vectores de estado que representan las nicas "salidas" potables de una medida, de tomar una foto de la moneda: o sale cara o sale ceca. Podra haber tomado otros vectores de base: no ortogonales o que no estn tan claramente relacionados con los valores que podemos obtener ante una medida. Por ahora, seguimos con esta eleccin. Otro pequeo y sutil detalle: los vectores de base elegidos no cambian con el tiempo. Pero no nos preocupemos por eso todava. Slo quera puntualizar estos temas, para no olvidarlos. Pero la "gran cosa" que le puse a todo este formalismo, es que si expresamos un vector de estado segn los vectores de base, esos coeficientes ci que usamos arriba (que son nmeros complejos) se llaman amplitudes (veremos que proviene de la terminologa de fsica clsica de ondas). Qu provecho podamos sacar de semejantes nmeros? La "gran cosa" es: esos coeficientes nos dan la probabilidad de encontrar cara o ceca ante una medida. NO SON la probabilidad. Mas bien, la probabilidad de ceca es:

Donde multiplicamos c1 por su conjugado complejo. Y entonces, la probabilidad de cara es:

De ah viene que el producto interno de un vector de estado por s mismo, da 1: es la probabilidad sumada de todas sus posibles salidas en la medida. Es como decir: la probabilidad de que en una tirada de dado salga 1,2,3,4,5 o 6, es UNO. Pero ac viene la sutileza que quera remarcar hoy. Veamos este vector de estado, expresado directamente con sus amplitudes (suponiendo conocidos los vectores de base, como es el caso ahora):

Dice que tiene 1 como amplitud de ceca, y 0 como amplitud de cara. Entonces, tomando el cuadrado de los valores absolutos de esas amplitudes, la probabilidad de ceca es 1, y la probabilidad de cara es 0. Pero veamos ahora este otro vector:

Cosa rara, la amplitud de ceca es ahora i, la raz cuadrada de -1. Y cunto dan las probabilidades? Multiplicando i por su conjugado i da:

Queda que de nuevo, la probabilidad de ceca es 1, probabilidad de cara es 0. Podemos tomar un caso ms cuntico:

Las probabilidades son:

Igual que en el caso:

Donde las probabilidades son las mismas (comprueben). En definitiva, tenemos esto, muy importante: Distintos vectores de estado REPRESENTAN la misma realidad fsica. Cosa curiosa: parece que elegimos una representacin de la naturaleza que tiene algo que "sale sobrando". No habr un vector de estado ms simple? Por qu tanta multiplicidad? Bueno, paciencia, veremos que esta multiplicidad en la representacin es esencial para que este formuleo coincida con los resultados de los experimentos. Mientras, recordemos la frmula de Euler (tendr que tratarla en mi serie sobre nmeros complejos):

Su conjugado es:

Sacando el producto de ambos, nos da:

Entonces, son nmeros complejos de "longitud" 1 (si recuerdan el plano complejo, son los nmeros que caen en la circunferencia unidad centrada en 0). Sea que aplicamos a una amplitud cualquiera uno de estos nmeros a nuestras amplitudes. Queda:

Da la misma probabilidad. Cambia la amplitud pero el resultado de probabilidad es el mismo. Es decir, si hacemos una transformacin:

NO CAMBIA la realidad fsica representada por los vectores de estado. Este es nuestro primer caso de "transformacin gauge" (el por qu se llama gauge, y su historia, es un relato muy largo e interesante, que dar en algn momento, materia para post; anoto ahora que aparece por vez primer en fsica en una formulacin de Weyl para la gravedad en 1918,

pero donde usaba esa transformacin, pero en vez de coeficiente Euler usaba un real positivo. Eso daba resultados no esperados en su teora, que Einstein objet. No fue hasta la dcada del 20 que Weyl aplic la transformacin que puse arriba.) Vean que no necesariamente cambiamos los coeficientes usando la misma transformacin. Todava no tratamos cmo evoluciona un vector de estado en el tiempo, pero si le aplicamos transformaciones como las mostradas, el vector cambia y la realidad representada no. Un vector as se llama vector de estado estacionario (me cost bastante llegar a este concepto: yo crea que los vectores estacionarios NO CAMBIABAN sus amplitudes; pero no, pueden cambiar de AMPLITUD, lo que no cambia es la PROBABILIDAD resultante). Qu representa un vector estacionario para una moneda cuntica? Que saquemos la foto ahora, o dentro de un minuto, las probabilidades de los resultados son los mismos. Yendo a la realidad fsica: no estamos sometiendo a la moneda a cambios, ponindole campos magnticos o elctricos o a lo que sea que cambie el estado de una moneda cuntica. Es por eso que las probabilidades de cara/ceca no cambian en el tiempo. Si quieren un smil con la fsica cuntica: una moneda cuntica (con dos estados posibles de medida) con vector estacionario es similar a una partcula material, que tiene momento que no cambia con el tiempo, pues no hay fuerzas que acten sobre esa partcula. Estuvimos visitando en los anteriores posts el ejemplo imaginario de una moneda cuntica. Tiene dos estados observables: cara o ceca. Es decir, cuando sacamos una foto (una medida) siempre la encontramos en cara o en ceca, nunca en otro estado. Pero vimos que el estado de la moneda es ms complejo que eso: es una combinacin lineal de los estados de base. Tratamos tambin a los estados como vectores, ya sean los estados/vectores de base como los estados/vectores combinaciones lineales de ellos. Pero no tratamos otros aspectos, como: dnde est la moneda? Esto introducira otro estado: la posicin. Para ir acercndonos a este tipo de estado, hoy quiero presentar otro ejemplo imaginario: la pelotita cuntica. En nuestro experimento mental, tenemos una pelotita, y cuando la observamos, tomamos medida o sacamos foto, la encontramos en uno de los dos estados. O en la posicin 1 (izquierda):

O en la posicin 2 (derecha):

Pero su estado se describe, como nuestra moneda, como la combinacin de dos estados de base:

Donde e1 es el estado de base "est en 1", y e2 es el estado de base "est en 2". Ya sabemos que esos coeficientes, llamados amplitudes son nmeros complejos, y que se cumple:

El cuadrado del valor absoluto de cada amplitud da la probabilidad de encontrar la pelotita en 1 o en 2. Quiero intentar representar estos nmeros complejos con colores. Es decir, para cada orientacin en el plano complejo, quiero elegir un color, cubriendo la gama:

Tomo tres colores bsicos azul, rojo y verde, en ngulos de 120 grados. El azul son reales positivos, la mezcla por igual de rojo y verde es real negativo, y as. Y con la altura de una barra quiero representar el mdulo (longitud) del nmero complejo. Queda entonces que un vector de estado de la pelotita, lo puedo representar como:

Pero tambin podemos tener ms posiciones:

O todava ms:

Podemos escribir el vector de estado como la suma de varios vectores de base:

Para que esas amplitudes ci sigan dando amplitudes, se debe seguir cumpliendo:

Tenemos que estudiar qu pasa si hay infinitas posiciones, o mejor an: cuando las posibles posiciones toman valores continuos, reales, en vez de 1,2,3. N. Vamos a ver que surgen cosas interesantes, y no triviales. Vean que podemos cambiar todos los colores (ngulos de las amplitudes en el plano complejo) y el vector de estado sigue representando LA misma situacin fsica. Vean que las amplitudes no varan "abruptamente" de posicin n a n+1. Hay una cierta parsimonia en esa distribucin.

Si la pelotita tuviera ms probabilidades de aparecer en la segunda casilla, podramos tener un vector de estado como:

Y si al cabo de un tiempo, la pelotita tuviera ms probabilidades de aparecer cerca de la cuarta casilla, tendramos algo como:

Podemos decir, en el mbito clsico: la pelotita se movi de 2 a 4. Pero vamos a ir aprendiendo que el concepto de posicin y trayectoria clsica se difumina en el mbito cuntico. Si extrapolramos al caso continuo, las amplitudes deberan tender a 0 en los extremos infinitos, para que la sumatoria de ms arriba siga dando 1. Luego de presentar ejemplos en esta serie como: La moneda cuntica La pelotita cuntica Lleg el momento de presentar ms en detalle algunos elementos matemticos que he usado. El tema de este post ser entonces introducir ms formalmente la estructura de espacio vectorial, como se usa en fsica cuntica. Dejar para otro post, fuera de esta serie, el tratamiento de esa esta estructura desde el punto de vista matemtico, estructura muy rica, pero que debe su desarrollo principalmente a su aplicacin temprana en la fsica newtoniana y siguiente. Cundo apareci este tema en esta serie? Desde el principio: cuando describ el experimento mental de una moneda cuntica, y expuse que su estado se puede expresar como combinacin lineal de otros estados. Veamos cmo se liga eso a espacios vectoriales. Llamamos espacio vectorial (hay autores que agregan "lineal") a un conjunto de elementos V:

Llamados vectores, sobre los que existe una operacin de suma:

Operacin binaria que dado dos vectores obtiene otro vector del mismo conjunto: se dice que es una operacin cerrada en V. (Para los que conocen espacios vectoriales en matemticas, les parecer extraa esta notacin que uso: es debida a Dirac, y es la que se usa frecuentemente en fsica cuntica: veremos su extensin a covectores en un prximo post). La adicin de vectores es conmutativa:

La adicin de vectores es asociativa:

Existe un vector:

Tal que su suma con cualquier otro vector, ya sea a izquierda o a derecha, lo deja inalterado:

Para todo vector, hay otro que es su inverso:

Todo esto indica que la suma de vectores forma un grupo conmutativo o abeliano (ver Grupos: definicin y ejemplos) No solamente hay vectores en un espacio vectorial. Tambin hay un conjunto de nmeros K (en trminos ms matemticos K es un cuerpo), llamados escalares. Para nuestra discusin en esta serie, son nmeros complejos. Hay una multiplicacin de escalar por vector, que da otro vector:

Esa multiplicacin cumple que es distributiva con la suma de vectores:

La multiplicacin es distributiva con la suma de escalares:

La multiplicacin de escalares es asociativa:

Se puede mostrar rpidamente que:

Se suele representar a los vectores como flechas:

Vean que en este tipo de representacin las flechas comparten el mismo origen, no son "flechas" distribuidas sobre un espacio, plano o variedad (como sera en el caso de campo vectorial, tambin muy importante en el formulismo y conceptos fsicos). Pero no quisiera insistir mucho en esta representacin, si bien la us en los anteriores posts. Tenemos que ir a acostumbrarnos a: - Los escalares son nmeros complejos, con lo que es fcil visualizar en el diagrama de arriba la multiplicacin por un escalar (un nmero a) no real - Veremos ejemplos muy usados de funciones como vectores, y que en lugar de poder

expresarse en una combinacin lineal de una cantidad finita o an numerable, se arman sobre bases no numerables (imaginen por ahora, una funcin f(x) que dependa de la coordenada x, continua, que va a aparecer ms adelante como "funcin de onda", en lugar de nuestro experimento de la bolita, donde el vector de estado era f(n), con n recorriendo los nmeros de las posibles casillas). Pero no quisiera llegar todava a ese caso, hasta que no avancemos ms en todo esto, hasta que lo "extrao" de la fsica cuntica se nos haga ms "familiar". - Por qu tenemos que recurrir a espacios vectoriales (adelanto: el principio de superposicin) - Por qu los nmeros son complejos (tenemos un largo camino para recorrer ac, siguiendo el camino de Schrodinger) Llegados a este post en esta serie, los vectores que vimos fueron vectores de estado: y vamos a concentrarnos en ellos. En esta nueva notacin, el vector de estado de la moneda cuntica, presentado en Fsica Cuntica (Parte 1) Primer Ejemplo podemos expresarlo como:

Donde |1> sera el vector de estado ceca, y |2> sera el estado de estado cara. Es una combinacin lineal de otros vectores, en este caso, de vectores de base. Pero una cosa que distingui a los vectores de estado de estos vectores de un espacio vectorial, es que tiene "longitud" unitaria. Falta que defina lo que es norma (la "longitud" en trminos matemticos) de un vector. Pero hemos visto que, en fsica cuntica, la norma al cuadrado de un vector de estado da 1. Ahora que estamos armados de esta estructura ms formal, tenemos que estudiar: - Cmo un vector cualquiera, y luego, un vector de estado, cambia en otro, ya sea por el transcurso del tiempo, por el acto de una medida o por cambio en las condiciones del ambiente - Cmo cambia su representacin al cambiar los vectores de base - Definir un producto de vectores (o mejor dicho, de vector con covector) para dar un nmero. Necesitamos, en una teora fsica dar cuenta de cantidades observables, como momento, posicin o cosas parecidas. Fuente principal consultada: captulo 1, Principles of Quantum Mechanics, de R.Shankar, excelente libro, detallado, que usa la notacin de Dirac, y tiene una buena introduccin a todos estos temas. En el anterior post present ms formalmente a los espacios vectoriales, que hemos de alguna forma usado en toda la serie. Pero adems present la notacin de Dirac, donde los vectores aparece como elementos entre | y >, como |V>, |W>.

Pero en fsica, adems de vectores, manejamos nmeros, cantidades de observables. Las operaciones que vimos en espacios vectoriales (suma de vectores, multiplicar un escalar (nmero complejo en nuestro caso) por un vector) siempre nos dan vectores. Cmo aparece una cantidad en este formalismo? Algo ya apareci cuando vimos en La moneda cuntica una definicin de productor interno. Veamos de nuevo el tema, ms en detalle. (Pueden leer tambin Inner product space). Pero antes, y por qu esa notacin de parte de Dirac? por qu no representar simplemente los vectores por letras, sin usar | y >? Veamos la justificacin. En espacios vectoriales, en general (en matemticas, no solamente en fsica), se consideran operaciones (funciones) que dado un vector consiguen un escalar:

Se plantea en particular, el estudio de las funciones que son lineales con los vectores:

Se puede mostrar que esas funciones tambin forman espacio vectorial. Se llama el espacio vectorial dual. Y sus elementos se llaman covectores. Y ac viene algo interesante: se puede asociar a cada vector:

A una de esas funciones covectores, y Dirac la escribe como:

Es decir, por cada vector original, tenemos una funcin covector! No es trivial el tema. Pero cmo obtenemos un nmero? En esta nueva notacin tenemos:

De ah la notacin de Dirac! Vean cmo encajan los <W| con los |V> como si encastraran. De ahora en ms, cada vez que veamos <W|V> eso no es un vector, es una operacin entre covector y vector que produce un nmero. Se podra definir esa operacin de muchas formas. Pero se espera que cumpla con:

Es decir, que la multiplicacin de un covector por su vector produzca un nmero real no negativo. Esto es importante para nuestro inters en la fsica. En general (no siempre) nos interesan obtener valores reales, no complejos, para nuestras mediciones. En la realidad,

aparecen valores reales para los observables. Todo esto es muy lindo, pero muy formal. No tenemos una forma de entender cmo se obtiene un covector desde el vector, y cmo se calcula el producto interno. Eso se ve mejor si consideramos a un vector como combinacin lineal de dos vectores de base, como en nuestro ejemplo de moneda cuntica:

Alguna vez lo representamos grficamente como un vector columna:

(Nota matemtica: si nos pusiramos ms formales, debera poder discutir todo esto sin apelar a una base, y menos a una base finita. Pero ac, en esta serie, me interesa ms aplicar estos conceptos como se manejan en fsica cuntica; dejar para otra serie, el examinar los espacios vectoriales en forma ms abstracta. Recuerdo que la primera vez que me top con los covectores y espacios duales fue en el excelente Algebra Lineal de Larrotonda, editorial Eudeba, que an conservo). Sean los vectores |V> y |W> expresados como combinaciones lineales de una base de dos vectores:

Tomamos como <W| a (vean que tenemos covectores de base, y coeficientes conjugados):

Multiplicamos <W| con |V> y aplicando linealidad:

Uau! Pero ac viene algo ms. Si, como hasta ahora, tomamos vectores de base tales que:

Es decir, son vectores de estado (<V|V>=1) y se dicen que son ortogonales <i|j> =0 para i<>j.

Queda simplificado:

Volvamos a la representacin grficamente. Sean los vectores |V> y |W> en representacin vectores columnas:

Pues bien, el covector <W| es un vector fila, obtenido del original |W> pero con sus coeficientes conjugados (es decir, si c1 = a+ib, su conjugado es a-ib):

Y "definimos" el producto interno de covector <W| y vector |V> como el producto de los vectores:

Que nos da la expresin de arriba:

Este producto produce para <V|V>:

Si nos fijamos en esta "definicin", vemos que tomar el producto interno en sentido inverso da el conjugado del original:

Y ac aparece otra cualidad de la notacin de Dirac. Hasta ahora, habamos manejado coeficientes, amplitudes v1, v2. Se pueden expresar como multiplicacin del vector por los covectores base:

Entonces podemos escribir:

Vean que esta vez las amplitudes, coeficientes los he puesto A LA DERECHA de cada vector base |i> En forma ms genrica, podemos expresar un vector por la suma:

Donde i recorre todos los vectores de base. Cmo expresar el covector como suma de covectores base? As:

Vean que esta vez coloqu las amplitudes A LA IZQUIERDA de los vectores base. Eso permite que esta "pieza" termine hacia la derecha con un <W| (covector) que se puede "enganchar" con un |V> vector. La notacin de Dirac termina siendo un juego de encastre! ;-) Todava nos d ms. Si revisamos todo lo que sabemos, nos da que la multiplicacin de dos vectores se puede expresar como:

Pero como <i,j> = 1 si i=j, =0 si i<>j, simplificamos a:

Dirac dira: hay que considerar el | (barra vertical) como una "abreviatura" de:

Siempre y cuando hayamos elegido vectores de base de estado y ortogonales. Siempre podemos reemplazar la barra vertical por esa expresin sumatoria. Ahora algo importante. Hay algo ms de significado fsico. Hasta ahora, no habamos considerado fsicamente nmeros como <W|V>. Habamos considerado las amplitudes como <1|V> o <2|V> que nos daba la amplitud de encontrar, en una medida, el resultado base 1 o 2 (ceca o cara en nuestro ejemplo de la moneda cuntica). Lleg el momento de crecer, y aprender uno de los postulados que vamos a manejar en fsica cuntica: <W|V> es la amplitud de pasar al estado W estando en el estado V. Hay bastante para discutir sobre eso de "pasar". Pero por ahora basta agregar esa afirmacin. Fsicamente, esa amplitud <W|V> es una caracterstica de la realidad. Y no importa los vectores de base (ortogonales y de estado, eso s) que pongamos, <W|V> nos da el mismo nmero: Para reafirmar lo dicho: Podemos tomar vectores para expresar otros vectores como combinacin lineal de los primeros Si con esos vectores podemos expresar TODOS los vectores, tenemos una base del espacio vectorial (matemticamente, habra que agregar que son linealmente independientes, pero por ahora nos basta) Hasta ahora hemos elegido vectores de base que adems son: Vectores de estado <i|i> =1 Ortogonales <i|j> = 0 si i<>j Y nos interesamos por los vectores de estado. Que dan tambin: <W|V> es la amplitud (NO la probabilidad) de "pasar" del estado V al W Bueno, ha sido bastante por hoy. Ya exploramos un poco cmo obtener cantidades a partir de los vectores. Nos faltan algunas otras formas derivadas de estas. Prximos temas: cmo transformar vectores (por ejemplo, en el tiempo); cmo obtener algn valor til de todo este formulismo. Ah! y por qu el ttulo Bra y Kets para este post? Pues Dirac, ingenioso, nombr <W| como un Bra, y un |V> es un Ket. Entonces <W|V> es un Bra-Ket, que en ingls "bracket" es la combinacin <...>, "poner entre brackets" es algo parecido a "poner entre parntesis", pero en lugar de () los brackets son los <>. Ver Bra-Ket notation. Vean tambin que las amplitudes de los bras van a la izquierda, mientras las amplitudes de los kets van a la

derecha. En matemtica, los coeficientes van generalmente de un solo lado. Pero Dirac quiso usar esta notacin para poder "enganchar" expresin con expresn, como estuvimos viendo. Noten que multiplicar por un escalar a un Ket, y pasarlo al dual, IMPLICA conjugar ese escalar. Esa es la "otra vuelta de tuerca" a recordar. Volvamos al experimento mental de la moneda cuntica. Recordemos, el estado de una moneda cuntica puede expresarse por un vector de estado, que es combinacin lineal de dos vectores de base, que llamamos Ceca y Cara, o con la notacin de Dirac, como |1> y |2>:

Ahora, cuando hay una medida, digamos, cuando sacamos una foto de la moneda (haya o no observador para ver la foto), nuestra moneda cuntica, que estaba en una superposicin de estados, SALTA a uno de los dos estados observables, digamos a cara:

(Nota: los estados de base que estoy usando COINCIDEN con los estados observables, tomando la foto desde arriba; no necesariamente todos los estados de base que usemos tienen que corresponder a estados observables (los resultados posibles de una medida), o tienen que ser ortogonales (su producto interno <1|2> = 0)) Pero que pasa si giramos nuestra cmara a otro lado? Por simplicidad, digamos que la moneda est en el estado "puro" cara respecto del eje horizontal, si giramos la cmara, Qu podemos decir de las fotos que tomamos?

Bueno, ac agrego algo que no les cont, sobre la moneda cuntica: todos los estados que estuve describiendo, se refieren a medidas/tomadas de fotos DESDE ARRIBA. Si giramos la cmara, no tenemos las mismas probabilidades de resultados. Es decir, ahora, si tomamos fotos desde un costado, los estados resultantes son Cara o Ceca ENFRENTADO (perpendiculares) a la lnea que va desde la cmara a la moneda. Es decir, el resultado CARA desde un costado NO es el CARA desde arriba. Pero si un estado de moneda da cara con foto desde ARRIBA, qu podemos esperar de tomar la foto de costado? Dar cara tambin? Pues no. El girar la cmara equivale a girar los vectores de base, y las probabilidades para un mismo estado |V> cambiarn, grficamente:

Uno podra esperar que si giramos la cmara 30 grados, los vectores de base giraran 30 grados. Pues, he aqu parte de la magia cuntica y la aparicin de nuestro primer objeto espinorial (ya definir ms abajo qu es): LOS VECTORES DE BASE NO GIRAN IGUAL (no la misma cantidad de grados) QUE LA CAMARA. Es notable Cmo es eso? Para intentar explicarlo, simplifiquemos el estado inicial y final. Tomemos como estado inicial el estado Cara puro, con Foto tomada desde arriba. Sera en nuestra notacin de Dirac: |v> = 0 |1> + 1 |2> O grficamente:

Cuando giramos la cmara hasta enfocar la moneda desde abajo:

Esperamos OBTERNER EL MISMO estado inicial pero desde otro punto. Esta vez, esperamos obtener un claro resultado CECA, como antes, "desde arriba" esperbamos

obtener un claro resultado CARA. Es lo que esperaramos de un universo simtrico, que no se ve afectado por la rotacin del laboratorio o cmara. Sean los nuevos estados de base |1"> y |2"> para "cara foto desde abajo", y "ceca foto desde abajo". Tendra que darnos el resultado: |v> = 1 |1"> + 0 |2"> Pero entonces, si vamos a hacer esa operacin grficamente, el mismo estado |v> ("cara puro desde arriba"), dara ahora "ceca puro desde abajo", tendramos (vean que no cambio el vector V sino que giro los vectores de base):

Los vectores de base, para ser coherentes con lo que esperamos, se giran solamente 90 grados. Si seguimos girando la cmara 180 grados ms, volvemos a la posicin original, el vector |v> sigue siempre siendo "el mismo", pero nuestros vectores de base son ahora:

Vean que las amplitudes del vector de estado pasaron de ser (0, 1) cuando "foto desde arriba" a (1, 0) cuando "foto desde abajo" y luego a (0, -1) cuando "foto desde arriba" de nuevo. Desde el punto de vista fsico, no podemos distinguir entre el estado de base |-2> y el |2>: lo que importa son el mdulo de sus amplitudes. Cualquier a|2> es indistinguible de -a|2> o de a|-2> o de a|-2> (tomando al coeficiente a como amplitud real o compleja). Queda entonces que un giro de 360 en el universo, gira a la expresin del vector de estado en 180 grados: (0,-1) es el REFLEJO de (0,1). Si quieren verlo de otra forma: todo este juego de rotar el laboratorio 360 grados es equivalente a haber rotado el vector de estado 180 grados, dejando los vectores de base fijos:

No importa entender todo esto ahora. Sirva como preludio a este tipo de magia: algo que gira 360 grados y da algo distinto de su original, se llama, en esta jerga, objeto espinorial. Claro, alguien podra estar impaciente: qu es todo esto de jugar con la moneda cuntica, y todo este pase de magia que parece que hacemos con estos giros? Bueno, ya llegaremos a relacionar todo esto con lo que se descubri en experimentos de la realidad. Por ahora, les adelanto que todo este ejercicio de la moneda cuntica lo baso en el espn de un electrn. Veremos que la experiencia (no el experimento mental) muestra que la medida de ese espn EN UNA DIRECCION slo da o -1/2 (como nuestro cara y ceca). Notablemente, muchos libros de divulgacin no aclaran que los valores posibles son EN UNA DIRECCION. De aqu que esta vez, en este post, me tom el trabajo de describir qu pasa (en mi mundo imaginario mental) cuando giramos el laboratorio y la moneda sigue igual.

Hasta ahora en presentado ejemplos de cmo describir el estado de un sistema fsico usando un vector de estado. He empleado los ejemplos de: La moneda cuntica La pelotita cuntica Y en el anterior post, he explorado cmo ese vector de estado cambia ante un cambio en la base. Pero los fsicos tambin quieren manejar valores, no solamente vectores de estado. Un fsico se pregunta por el valor de la temperatura, la energa, la posicin, el momento, la

velocidad de un sistema X. Pues bien, el formalismo del vector de estado tambin permite obtener valores. Hemos visto que en las descripciones de nuestra moneda cuntica no manejamos "est en cara" o "est en ceca" como valores determinados, sino que manejamos amplitudes y probabilidades de los resultados de una medida (recordando siempre que una medida es un tipo de interaccin del sistema con el resto del universo que no necesariamente implica un aparato de medida o un observador: hay "medidas" clsicas en el centro de una estrella). Para entender cmo los fsicos comienzan a manejar valores, en lugar de probabilidades de "cara" o "ceca", veamos otro ejemplo, similar al de la moneda. Imaginemos un dado cuntico. Para simplificar mis descripciones de vectores, en lugar de usar un dado con posibles resultados 1, 2, 3, 4, 5 o 6, tomemos un dado ms simple: resultados posibles 1,2 o 3. Cada uno de esos valores es posible. Para describir el estado del dado, daremos un vector, con bases |1>, |2>, |3> con coeficientes que son las amplitudes de obtener los resultados 1, 2 o 3:

No podemos manejar: va a dar resultado 1, as simplemente. Pero podemos obtener cada una de las probabilidades. La probabilidad de dar 1, era:

Es decir, multiplicar la amplitud c1 por su conjugado complejo. Entonces, podemos tomar un promedio ponderado por probabilidad del valor ESPERADO de nuestro dado cuntico llamndolo [v] (entre corchetes):

De ahora en ms, usar [x] para el valor esperado x (suma de los valores posibles ponderados por las probabilidades respectivas). Ejemplo, si nuestro vector de estado es:

El valor esperado ser:

Vemos que como el valor 2 tiene la mayor probabilidad, tenemos un valor esperado resultante cercano a 2. Podemos expresar el valor esperado como:

Donde por primera vez aparece lo que vamos a ver que es un operador lineal: A. Cmo se entiende esto? Este post apenas es el comienzo. Si expresamos nuestro clculo del valor esperado en forma vectorial, tenemos:

Donde A ahora es una matriz: los elementos de su diagonal son los valores esperados para los vectores de base |1>, |2>, |3>. Si cambisemos de base, seguramente esa matriz dejara de ser diagonal, pero igualmente seguira calculando el valor esperado de nuestro dado. Por ahora, no vamos a ver qu pasa si cambiamos de base, o qu es exactamente un operador lineal. Antes, quisiera aclarar igual algunos puntos: Primero, una cosa es la matriz de arriba, y otra el operador A. El mismo operador tendr dos matrices asociadas, si tenemos dos bases distintas. Lo mismo pasaba con los vectores |V>. El mismo vector puede tener dos juegos de coeficientes, uno para cada una de dos bases que elijamos. Segundo (y esto me tom un tiempo) los operadores lineales se usan para ms de un propsito en todo este formulismo cuntico. El presentado ac es el uso de operador lineal para valores esperados. Veremos ms adelante que hay operadores para describir la evolucin en el tiempo del vector de estado. Tercero, el operador lineal con matriz unidad para la base elegida, nos da:

Nos da ese valor 1, para cualquier base elegida, por ser vectores de estado. Cuarto, una vez que tenemos [v], podemos comenzar a obtener:

Y en general, obtener cualquier funcin del valor esperado:

Todo a partir del vector de estado. Por ejemplo, al tener una cantidad para manejar, podemos preguntarnos por su evolucin en el tiempo, y por su derivada. El fsico clsico estar contento: puede comenzar a "mapear" esa cosa rara que es el vector de estado, a valores, como la posicin esperada [x], y su velocidad esperada (derivada de [x] respecto al tiempo). Y lo ms notable de los vectores de estado (y de las funciones de estado que veremos ms adelante) es que de la misma entidad (el vector de estado) podemos extraer OTROS valores esperados. Veremos que hay representaciones de estado que permiten obtener el valor esperado de posicin, o de momento, o de energa, etc desde la misma entidad de partida. Eso es lo notable de los vectores y funciones de estado: la cantidad de informacin que nos dan.

Hace ya un tiempo que no escribo en esta serie de posts sobre Fsica Cuntica. Repasemos entonces algunos puntos importantes que hemos visitado. La fsica, sea cuntica o clsica, trata de describir la realidad fsica. La realidad es complicada, intervienen muchas partes. Entonces la fsica toma simplificaciones. Para Newton, ese camino de simplicidad se dio hacia las partculas materiales, y describir el estado de sus propiedades (posicin, momento, energa) y su evolucin en el tiempo. Luego, Lagrange, Legendre, Laplace, Hamilton y muchos otros elaboraron nuevas formulaciones matemticas para describir el estado y evolucin de una partcula material o de un sistema de partculas materiales, cuerpos rgidos, sistemas con ligaduras, etc Estoy comenzado a escribir sobre el tema en Mecnica Clsica (1) Primeros Conceptos. La fsica cuntica tambin se ocupa de estado y evolucin de elementos simples y sistemas de elementos. Slo que la formulacin es distinta. (Nota accesoria: notablemente, an las formulaciones se parecen. Las ondas clsicas aparecen de alguna forma en la formulacin cuntica; los clsicos osciladores armnicos se filtran a cada rato en los modelos cunticos y su historia; hasta los clsicos lagrangianos y hamiltonianos terminan ocupando su lugar en la fsica del siglo XX y actual. Tema a tratar en otros posts: la relacin entre matemticas y fsica). Entonces, en cuntica una partcula libre (digamos un electrn, un fotn, tendremos que discutir y criticar el concepto de partcula ms adelante), o un sistema de partculas ligadas (como el tomo de hidrgeno) se describir en fsica cuntica como teniendo un estado:

Los fsicos fueron descubriendo, desde principios del siglo pasado, caractersticas de este estado. Una muy particular, es que un estado puede ser combinacin de otros dos. Vimos que nuestra moneda cuntica puede tener un estado que es combinacin de otros dos, cara y

ceca. Ver La moneda cuntica. Es el llamado principio de superposicin. Ver que esa superposicin de estado no es solo para cuntica, leer: http://en.wikipedia.org/wiki/Superposition_principle Los fsicos comenzaron a describir este estado con distintas formulaciones. Algunos lo describieron con una funcin de onda, otros con matrices, otros con vectores. En esta serie, adopt la formulacin de vectores, donde el estado de arriba se describe por un vector, en notacin:

Esta notacin, debida a Dirac, la coment en el post Bra y Kets. La superposicin de estados sobre sistemas simples es lineal. Tanto esta linealidad como la superposicin no salen de la galera, sino que es resultado de los fsicos al tratar de modelar y explicar los fenmenos que fueron encontrando, que se apartaban de la fsica clsica. Es un tema pendiente en esta serie: ver algn caso concreto, experimento, que muestre que todo este bagaje de modelos y formulacin sea necesario. El que la superposicin sea lineal justifica que adoptemos la formulacin vectorial, donde podemos escribir que un vector de estado es el resultado de la combinacin lineal de otros vectores:

Una de las sorpresas es que los escalares alfa y beta que puse en esta frmula SON NUMEROS COMPLEJOS. Fue Schrodinger quien se dio cuenta que era inevitable, para explicar los fenmenos conocidos, que se deban emplear nmeros complejos (aunque l lo aplic no sobre la formulacin de vectores, sino sobre la formulacin de funcin de onda). Lo curioso de este estado (y de sus formulaciones, como el vector de estado, o la funcin de estado, o matrices, es que no describe DIRECTAMENTE los valores como posicin, momento. Empezamos a ver cmo obtener algo "concreto", un nmero de algo, a partir de ese estado en el post Valor Esperado. En el ejemplo de combinacin lineal de vectores para representar la superposicin de dos estados, podra haber puesto tres, cuatro o infinitos estados. En el primer ejemplo vimos de describir la moneda cuntica como combinacin de estados cara, ceca. Esos son estados de base, los que aparecen en una interaccin, CUANDO SE FOTOGRAFIA la moneda desde arriba. Este ejemplo inventado corresponde a un ejemplo real, que tenemos que estudiar: el spin del electrn. Temas a repasar, explorar y expandir: estados de base, cmo obtener magnitudes fsicas desde el vector de estado, primeros experimentos.