Es la mecnica cuntica realmente tan rara?

J. Gmez-Camacho Departamento de Fsica Atmica, Molecular y Nuclear, Facultad de Fsica, Universidad de Sevilla, Apartado 1065, 41080 Sevilla, Spain. March 25, 2003

Abstract
Se utiliza el formalismo de la matriz densidad para comparar la mecnica clsica con la mecnica cuntica. En el formalismo de la matriz densidad, se revisan cuestiones problemticas de la mecnica cuntica, como la paradoja del gato de Schrdinger, el problema de la medida, el experimento EPR y las desigualdades de Bell. Se pone de maniesto que la diferencia fundamental entre la mecnica clsica y la cuntica, que es la existencia en esta ltima del entrelazamiento (entanglement).
1 Introduccin

El estudiante de fsica que se encuentra por primera vez con la mecnica cuntica suele sentirse perplejo. Anteriormente, en la fsica clsica, ha tenido que habrselas con conceptos sencillos (posicin, velocidad), o complicados (entropa, campo magntico), que corresponden a magnitudes que pueden medirse, y que sirven para describir el estado de un sistema. Cuando inicia el estudio de la mecnica cuntica, debe aceptar que el estado de un sistema se describe por la funcin de onda, que no puede "medirse", mientras que los resultados de una observacin vienen descritos de forma probabilstica por ciertos operadores actan sobre la funcin de onda. Conforme el estudiante avanza en su formacin, realiza un doctorado, y se convierte en un fsico profesional, en alguna de las mltiples ramas de la fsica cuntica, suele olvidarse de su perplejidad inicial. Si es un fsico terico, calcular niveles de energa, secciones ecaces, o bandas de energa operando con naturalidad con las ecuaciones cunticas correspondientes, sin preocuparse de lo que hacen los operadores de medida sobre sus funciones de onda. Si es un fsico experimental, se preocupar de los detectores, las cadenas electrnicas, las eciencias, las estadsticas de recuento, considerando que las partculas que observa son entes perfectamente denidos, que tienen unas caractersticas, por ejemplo su posicin y su energa, que pueden ser determinadas por la interaccin con los aparatos. Fsicos tericos y experimentales pueden colaborar estrechamente, calculando los primeros probabilidades a partir de la funcin de onda, y midiendo los segundos frecuencias en sus aparatos, sin necesidad de preocuparse sobre qu sucede a la funcin de onda del sistema durante la medida. Podra concluirse de sto que el problema de la medida, y otros problemas conceptuales de la mecnica cuntica, no son importantes, que son simplemente problemas semnticos. No obstante, estos problemas han preocupado a las grandes guras de la fsica cuntica, como Bohr y Einstein, y siguen preocupando a muchos fsicos. Adems, los desarrollos recientes en la criptografa y la computacin cuntica hacen entrever que las "rarezas" de la mecnica cuntica, como el entrelazamiento (entanglement) de los estados cunticos, pueden tener aplicaciones tecnolgicas en un futuro prximo. Este artculo pretende revisar algunas de las rarezas de la mecnica cuantica, en comparacin con la descripcin clsica correspondiente. La herramienta principal para el anlisis de estas cuestiones es la matriz densidad, que se introduce en el captulo 2. Esta herramienta permite que el formalismo de la mecnica clsica y la mecnica cuntica sean anlogos. Con ello pretendemos destacar las diferencias fundamentales entre los tratamientos clsico y cuntico, sin distraernos por las diferencias aparentes que

provienen del lenguaje diferente. En el captulo 3 se trata la paradoja del gato de Schrdinger. En el captulo 4 se trata el problema de la medida. En el captulo 5 se tratan las correlaciones cunticas. El captulo 6 es para resumen y conclusiones.

La matriz densidad.

En mecnica clsica, el movimiento de una partcula puede describirse a travs de su trayectoria. Las ecuaciones del movimiento permiten obtener la posicin y el momento en cada instante de tiempo, a partir de su valor en un instante inicial. No obstante, el conocimiento exacto de la posicin y el momento de una partcula es una abstraccin. En la prctica, siempre existen errores en la determinacin de cualquier magnitud. Por ello, es ms realista describir un sistema clsico en un instante dado por una distribucin probabilstica de sus coordenadas y momentos, que se denomina densidad de espacio fsico, y viene dada por de

c (r, p, t). Esta funcin es positiva para todos los valores de r r y p es la unidad.

p,

y su integral para todos los valores

Debe destacarse que la densidad de espacio fsico es una magnitud que mide nuestro conocimiento del sistema. Por ello, no es sorprendente que, como resultado de una medida, que permita aumentar nuestro conocimiento del sistema, podamos pasar de una matriz densidad a otra ms restrictiva, es decir, que est localizada en una regin ms limitada del espacio fsico. En este sentido, la descripcin ms completa posible de un sistema clsico corresponde a una nica trayectoria clsica, aunque este es siempre un caso ideal, inalcanzable a efectos prcticos. En mecnica cuntica existe una situacin similar. Un sistema puede describirse, en principio, a partir del conocimiento del vector estado

|i(t) >,

o, lo que es equivalente, de la funcin de onda

i (r, t).

No

obstante, ello requiere el conocimiento exacto del sistema. De forma ms general, el sistema se describe como una mezcla estadstica de diferentes funciones de onda, a travs del llamado operador densidad o matriz densidad, que viene dado, en trmino de operadores, por

=
i
o bien, en representacin de coordenadas, por

pi |i(t) >< i(t)|

(1)

(r , r; t) =
i
donde

pi i (r , t)i (r, t) |i(t) >

(2)

pi

caracteriza la probabilidad de que el sistema est en el estado

en un instante inicial

t = t0 .

Las probabilidades

pi

son nmeros positivos cuya suma es la unidad. El caso lmite de un estado

puro surge cuando solamente una de las

pi

es no nula e igual a la unidad. La descripcin ms completa

posible de un sistema cuntico corresponde a un estado puro. Debe destacarse que en el caso de un estado puro,

(r , r; t)

contiene la misma informacin que la

funcin de onda correspondiente, con la excepcin de la fase global de la funcin de onda, que se cancela al evaluar la matriz densidad. En cualquier caso, esa fase global no es observable. Una forma equivalente de expresar la matriz densidad es mediante la transformada de Wigner, que se dene como

W (r, p; t) =

1 2 h

ds exp(ips/ h)(r s/2, r + s/2; t)

(3)

La interpretacin de la transformada de Wigner guarda mucha relacin con la de la densidad en el espacio fsico. Su integral para los valores del momento nos da la distribucin de probabililidad de la posicin, mientras que su integral para los valores de las posicin nos da la distribucin de momentos. A diferencia de la densidad de espacio fsico, la transformada de Wigner no es siempre positiva. Ello nos recuerda que en un sistema cuntico no existe una probabilidad conjunta que tener un momento y una posicin determinados. En mecnica clsica, la densidad de espacio fsico es una funcin denida positiva, que adems puede ser arbitrariamente estrecha, tanto que en el lmite corresponde a una nica trayectoria

clsica. Por el contrario, la representacin de la matriz densidad a travs de la transformada de Wigner ha de ser consistente con el principio de indeterminacin. Por tanto, an en el caso de un estado puro, la distribucin de coordenadas y la de momentos no pueden ser arbitrariamente estrechas. La evolucin de la densidad en el espacio fsico viene determinada por el hamiltoniano de la Ecuacin de Liouville, que puede expresarse en funcin de los corchetes de Poisson

H (r, p) a travs

dc (r, p; t) = {c (r, p; t), H (r, p)} dt i (r, t).

(4)

La evolucin temporal de la matriz densidad viene determinada por la evolucin temporal de los estados Dicha evolucin viene determinada por el conmutador del propio operador densidad con el hamiltoniano, de forma que

d (t) 1 = [ , H ] dt i h
eq. (4) y la evolucin cuntica del operador densidad dada por eq. (5).

(5)

Es destacable la similitud formal entre la evolucin clsica de la densidad en el espacio fsico dada por Finalmente, vamos a considerar cmo se obtiene la descripcin de un sistema a partir descripcin del universo, es decir, del propio sistema ms el ambiente con el que ha podido interactuar. Consideremos primeramente el caso clsico. La densidad de espacio fsico del universo viene dada por donde

(r, p, R, P ; t)
Entonces, la

r, p

son las coordenandas y momentos del sistema y

R, P

son las del ambiente.

densidad de espacio fsico del sistema viene dada por

c s (r, p; t) =

dRdP c (r, p, R, P ; t)

(6)

Consideremos ahora el caso cuntico. El espacio de Hilbert del universo viene dado por el producto del espacio vectorial del sistema por el espacio vectorial del ambiente. El operador densidad del universo

(t)

acta sobre ese espacio producto.

Para reducir dicho operador al espacio de Hilbert del sistema,

hay que sumar los elementos de matriz con respecto a una base completa de estados del ambiente. Esta operacin es la traza con respecto a los estados del ambiente. Por tanto,

s (t) = T ra ( (t))
obtenerse la del sistema como

(7)

Si representamos la matriz densidad del universo mediante la transformada de Wigner del universo, puede

W s (r, p; t) =

dRdP W (r, p, R, P ; t)

(8)

De nuevo es destacable la similitud entre el caso clsico y el cuntico.

No obstante, existe una

diferencia conceptual muy importante. Imaginemos el caso ideal en el que el estado del universo fuera conocido perfectamente, sin ninguna incertidumbre. En el caso clsico, ello implicara que la densidad de espacio fsico correspondera a un producto de funciones

en las coordenadas y momentos del sistema y

el ambiente. Al obtener la densidad de espacio fsico del sistema de nuevo obtendramos funciones

en

las coordenadas del sistema, con lo cual el estado clsico del sistema queda conocido perfectamente. En el caso cuntico, el conocimiento perfecto del universo implica que la matriz densidad corresponde a un estado puro. No obstante, al calcular la traza con respecto a los estados del ambiente, el resultado para la matriz densidad del estado del sistema es en general una mezcla. nicamente si el estado del universo factoriza en un estado del sistema por un estado del ambiente, la matriz densidad del sistema corresponde a un estado puro. No obstante, basta que en cualquier instante anterior haya habido alguna interaccin entre el sistema y el ambiente para que no ocurra esa factorizacin, y los estados del ambiente esten entrelazados (entangled) con los del sistema. Este hecho puede expresarse diciendo que, en mecnica cuntica, el conocimiento ms completo posible del todo no implica el conocimiento ms completo posible de una parte. Debe tenerse en cuenta que, en mecnica cuntica, el conocimiento ms completo posible se reere a que la matriz densidad corresponda a un estado puro.

Es importante destacar que, a no ser que un sistema cuntico haya sido preparado cuidadosamente, no es lcito describirlo mediante un hipottico estado puro. Debe ser descrito por una mezcla, para dar cuenta de todas las posibles interacciones que ha podido sufrir con el ambiente durante su historia. Ello es especialmente importante para sistemas macroscpicos, como detectores y gatos.

El gato de Schrdinger.

La paradoja de gato de Schrdinger es bien conocida, y ha sido ampliamente discutida en muchos textos. No obstante, bien merece una discusin en el contexto de este trabajo: Se coloca en una caja cerrada un nico ncleo radiactivo, un detector, una ampolla de veneno y un gato. Si el ncleo decae, activa el detector, que rompe la ampolla y mata al gato. El experimentador aguarda a que transcurra la semivida del ncleo, y abre la caja. La prediccin de la mecnica cuntica para este experimento es que hay un 50% de probabilidades de encontrar el gato vivo y un 50% de posibilidades de encontarlo muerto. La paradoja surge de cmo, o cundo, se pasa de una descripcin cuntica del sistema a una descripcin clsica y probabilstica. Sin duda, la evolucin del ncleo radiactivo viene descrita por la ecuacin de Schrdinger, de forma que su estado vendr dado por una combinacin lineal del estado inicial (no decado) y los estados del continuo que caracterizan su decaimiento. Suponiendo que tambin podemos describir el resto del sistema (detector, ampolla y gato) por estados cunticos, llegaramos a la conclusin de que el estado completo sera una combinacin lineal de estados en los que el gato est vivo y en los que el gato est muerto. No obstante, no hay ninguna evidencia de que existan gatos en un estado que sea una combinacin lineal de vivo y muerto. La interpretacin de Copenhague de la mecnica cuntica elude la paradoja. Segn esta interpretacin, la mecnica cuntica slo tiene sentido para describir las probabilidades de obtener un resultado de un aparato clsico de medida, en interaccin con un sistema cuntico, pero no para hablar del sistema cuntico en s mismo. Por tanto, hay que denir a priori cul es el aparato clsico de medida, y cul es el sistema cuntico. Siguiendo la ortodoxia de Copenhague, no slo es inadecuado decir que el gato es una combinacin de vivo y muerto, sino incluso que el ncleo est en una combinacin de estado inicial y estados del continuo. En la situacin descrita, los enunciados que se pueden armar dependen de cul se considere como aparato clsico. Si ste es el detector, puede decirse "existe una probabilidad del 50% de que el detector haya disparado". Si el aparato es la ampolla, "existe una probabilidad del 50% de que la ampolla se haya roto". Si el aparato es el gato, "existe una probabilidad del 50% de que el gato haya muerto". Si queremos meter al gato dentro del sistema cuntico, entonces el experimentador pasara a ser el aparato de medida, con lo cual diramos "existe una probabilidad del 50% de que el experimentador vea el gato muerto". La matriz densidad permite claricar la situacin. Puede decirse que el ncleo radiactivo est inicialmente en un estado puro, ya que para ello lo hemos seleccionado cuidadosamente. No obstante, tanto el detector, como el frasco de veneno, como, por supuesto, el gato, no estarn en un estado puro, sino en una mezcla de muchsimos estados. El sistema total (ncleo ms detector ms ampolla ms gato) viene descrito por una matriz densidad

0 = (V ) =
i
donde

pi |N ; V, i >< N ; V, i|
indica que el gato est vivo e

(9)

indica que el ncleo no ha decado,

etiqueta todos los estados

cunticos compatibles con que el gato est vivo. Ntese que el nmero de componentes ser del orden del nmero de Avogadro, y La componente

pi

de su inverso. Ahora dejamos evolucionar el sistema. El ncleo pasa a

un estado que es una combinacin lineal

1/ 2(|N > +|D >),

donde

indica que el ncleo ha decado.

|D >

interacciona con el detector no obstante, interacciona con el detector, haciendo

que el estado producto tiempo de la misma,

est muerto, y donde la fase

|D, V, i > evolucione a un estado exp(ii )|D, M, i >, donde M indica que el gato i est relacionada con el producto de la energa de la interaccin por el dividida por h. La fase i es, en general, un nmero muy grande. Para la deteccin

de una partcula, la energa tpica del pulso de carga producido en el detector puede ser del orden de

106 J , y el tiempo del orden de 106 s, con lo que i es del orden de 1022 . Las distintas componentes i vendran caracterizados por factores exp(i ) que son, en efecto, nmeros aleatorios de mdulo 1. Por
tanto, despus de la interaccin, la matriz densidad viene descrita por

f = 1/2(V ) + 1/2(M ) + e (V, M )

donde

(10)

(M ) e (V, M )

=
i

pi |D, M, i >< D, M, i| 1/2

i

(11)

pi (exp(ii )|D, M, i >< N, V, i| + exp(ii )|N, V, i >< D, M, i|)

(12)

e (V, M ) da cuenta del entrelazamiento entre los estados del ncleo y del gato,

que es caracterstico de la

mecnica cuntica. Este trmino contiene las componentes en las que el ncleo est en una combinacin lineal de estados ligado y decado, y por tanto el gato est en una combinacin de vivo y muerto. No obstante, la aleatoriedad de los factores de fase nos aseguran que la contribucin de estos trminos a cualquier observable que pudiramos medir posteriormente ser nula. Por tanto, la matriz densidad nal es equivalente a

f = 1/2(V ) + 1/2(M )

(13)

La interpretacin de 13 es clara. Tenemos una mezcla estadstica, con probabilidades del 50%, de que el ncleo no haya decado y el gato est vivo, y de que el ncleo haya decado y el gato est muerto. No hay nada paradjico en este resultado. Los trminos que pudieran haber dado lugar a una combinacin lineal de gato vivo y gato muerto provendran de aleatorias.

e (V, M ), pero este trmino se cancela debido a las fases

El problema de la medida.

Una de las cuestiones que causan ms perplejidad a los estudiantes de fsica cuntica es el postulado de la medida, que arma que, como resultado de una medida, la funcin de onda pasa al autoestado correspondiente del operador de medida. El postulado de la medida parece implicar que la funcin de onda de un sistema cuntico tiene dos tipos de evolucin temporal. Mientras no acte sobre l un aparato de medida, la evolucin viene determinada por la ecuacin de Schrdinger, que es una ecuacin determinista. No obstante, cuando acta sobre l un aparato de medida, la funcin de onda se proyecta sobre uno de los autoestados del operador de medida, la que corresponde al autovalor observado. En este caso, la evolucin es no determinista, ya que el sistema puede acabar en uno cualquiera de los autoestados del operador de medida, con una probabilidad que viene dada por el solapamiento de la funcin de onda inicial con dicho autoestado. La matriz densidad permite describir lo que ocurre durante la medida, sin necesidad de recurrir a una evolucin diferente a la de la Ecuacin de Schrdinger. Consideremos un sistema cuntico, que viene descrito por un espacio de Hilbert que tomamos, por simplicidad, de dimensin 2. Sean una matriz densidad, caracterizado por una multitud de estados La posicin inicial del puntero es

{|+ >, | >}

una base de los estados de este espacio. Consideremos un aparato de medida. Este vendr descrito por

|0, i >, |P, i >, |M, i >. M

El primer ndice

indica que el aparato de medida tiene un "puntero", es decir, una variable observable macroscpicamente. con el sistema cuntico. El segundo ndice compatibles con la indicacin del puntero. El sistema completo (aparato ms sistema cuntico), antes de la interaccin con el aparato de medida, podr estar en cualquiera de los estados a

0, y esta puede cambiar a P i caracteriza la

(plus) o a

(minus) cuando se interacciona

multitud de estados del aparato de medida

|+; 0, i > o |; 0, i >, o bien en una combinacin de ellos.

evoluciona a

Durante

la medida, el sistema interacta con el aparato, de forma que el sistema completo evoluciona de

|+; 0, i >

+ exp(ii )|+; P, i >,

mientras que

|; 0, i >

exp(ii )|; M, i >.

Supongamos que, inicialmente, el estado del sistema viene dado por

| >= a|+ > +b| >.

Entonces,

la matriz densidad total del sistema y el aparato parte de una situacin inicial.

0 =
i

pi |; 0, i >< , 0, i|

(14)

La evolucin de esta matriz densidad viene determinada por la evolucin de los estados descrita anteriormente. Debe mencionarse que dicha evolucin est gobernada por la ecuacin de Schrdinger. El resultado nal para la matriz densidad es

f = |a|2 (P ) + |b|2 (M ) + e (P, M )

donde

(15)

(P )

=
i

pi |+; P, i >< +; P, i| pi |; M, i >< ; M, i|

i + pi exp(ii ii )|+; P, i >< , M, i| i

(16)

(M ) = e (P, M ) = ab

(17)

+ + ba exp(ii ii )|; M, i >< +; P, i|

(18)

Por la misma argumentacin del captulo anterior, la suma de muchas contribuciones de fase aleatoria hacen que se cancele la contribucin de

e (P, M )

a cualquier observable. Por tanto, la matriz densidad

nal es equivalente, a todos los efectos, a

f = |a|2 (P ) + |b|2 (M )
Como en el caso del gato de Schrdinger, el resultado es una mezcla estadstica, con probabilidades y y

(19)

|b| , de obtener los estados |+ > M , respectivamente.

| >,

con el aparato de medida indicando en su puntero la

|a|2 seas P

Consideremos ahora el conocimiento del sistema cuntico que puede tener un observador racional. Una vez que observa el aparato de medida, debido a la correlacin que hay entre la lectura del puntero y el estado del sistema, aumenta su conocimiento del sistema, y entonces puede inferir, en funcin del valor de su observacin, si la matriz densidad es

( P )

( M ).

No hay nada paradjico en este resultado. Una

vez que la matriz densidad viene descrita por una mezcla estadstica, tanto en mecnica clsica como en mecnica cuntica podemos aumentar nuestro conocimiento del sistema, y reducir el rango de estados de la matriz densidad a valores ms restringidos. Debe destacarse que, en esta descripcin, la evolucin de los estados del sistema, y la de los estados del aparato de medida, siguen siempre la ecuacin de Schrdinger. La situacin inicial es de un estado puro para el sistema, y de una mezcla para el aparato de medida. Tras la interaccin, la situacin es la de una mezcla de los estados del sistema con el aparato de medida, en la que existe una correlacin entre los estados del sistema y los valores del puntero del aparato de medida. Esta situacin permite que, cuando nuestro conocimiento del sistema se incremente, como resultado de conocer el valor del puntero, podamos restringir la matriz densidad a una de sus componentes, que corresponde a un estado determinado del sistema.

Correlaciones clsicas y correlaciones cunticas

La diferencia ms sutil, y quizs la ms signicativa, entre la mecnica clsica y la cuntica est en la naturaleza de las correlaciones entre los resultados de las medidas realizadas sobre sistemas que estn separados, de forma que la medida que se realiza sobre uno de los sistemas no debiera afectar al otro.

En nuestra experiencia cotidiana, hay muchos ejemplos de correlaciones de este tipo. Espaa observamos que es de da, en Nueva Zelanda ser de noche, y viceversa. es de da, es bastante probable, pero no seguro, que en Italia ser de da.

Cuando en

Cuando en Espaa

Este tipo de correlaciones

pueden describirse en mecnica clsica mediante distribuciones de probabilidad conjuntas (o densidades en el espacio fsico) que se expresan como una suma (o una integral) de contribuciones que pueden expresarse como un producto de distribuciones de probabilidad de cada uno de los sistemas.

(1, 2) =
n

pn (1; n))(2; n)

(20)

Esta expresin, en apariencia muy general, lleva consigo unas restricciones sobre los valores que pueden tomar las probabilidades conjuntas de medidas sobre los sistemas 1 y 2. expresarse en trminos de las desigualdades de Bell. En mecnica cuntica, la matriz densidad de un sistema compuesto no puede expresarse, en general, como (27). Cuando dos sistemas cunticos 1 y 2 han estado alguna vez en interaccin, aunque sea en un parado muy remoto, aparece un trmino asociado al entrelazamiento entre los estados de los sistemas 1 y 2. As, en general, la matriz densidad para un sistema cuntico se expresa como Estas restricciones pueden

(1, 2) =
n
El trmino

pn (1; n))(2; n) + e (1, 2)

(21)

e (1, 2)

es responsable de que las correlaciones en sistemas cunticos puedan violar las de-

sigualdades de Bell. Ntese que si alguno de los sistemas, o los dos, viniera descrito por una mezcla estadstica de muchos estados (si fuera un gato, o un aparato de medida), entonces el trmino de entrelazamiento se cancelara, debido a las fases aleatorias. Por tanto, se obtiene que las correlaciones clsicas, consistentes con las desigualdades de Bell, se pueden obtener de las correlaciones cunticas, ms permisivas, cuando se describe alguno de los sistemas por una matriz densidad que sea una mezcla de muchas componentes.

La paradoja de Einstein, Podolsky y Rosen.

El ataque ms formidable a la interpretacin de Copenhague de la mecnica cuntica proviene de la paradoja de Einstein, Podolsky y Rosen. Aunque la formulacin original era diferente, la descripcin ms clara, debida a Bohm, se formula en trminos de partculas con espn 1/2. Se parte de dos partculas de espn 1/2, cuyos espines se acoplan a espn total cero. El estado de los espines de las partculas es, por tanto,

1 | >= (|1, + > |2, > |1, > |2, + >) 2

instante determinado, se mide la proyeccin del espn de una de las partculas. del su espn. Si se mide la proyeccin de la partcula 1, y resulta partcula 2 resultar

(22)

Las partculas se separan, conservando la misma funcin de onda de espn, de tal manera que, en un Inmediatamente, sin necesidad de realizar ninguna medida sobre la otra partcula, podemos conocer cual va a ser la proyeccin

+1/2,

sabemos que, cuando midamos la

1/2

y viceversa. Este hecho, comprobado experimentalmente en muchos sistemas,

no es en s paradjico.

Hay muchas situaciones clsicas en las que este tipo de correlaciones, o mejor

dicho anticorrelaciones, ocurren. El problema surge en el contexto de la interpretacin de Copenhague. Segn sta, la proyeccin del espn de una partcula no es una realidad objetiva, hasta que no se mida por un aparato. No obstante, en la situacin descrita, podemos prever con certeza el resultado de la medida de la proyeccin del espn de la partcula 2, una vez que hayamos medido la proyeccin de la partcula 1. El argumento de Einstein, Podolsky y Rosen parte de una denicin de realidad que resulta dicil discutir: Si, sin alterar un sistema en forma alguna, podemos predecir con certeza el valor de una cantidad fsica, entonces existe

un elemento de realidad fsica correspondiente a esta cantidad fsica. Segn este argumento, existe un elemento de realidad fsica en la proyeccin del espn de la partcula 2, an cuando ste no se haya medido. En la interpretacin de Copenhague, solamente podra hablarse de realidad cuando se hubiera medido dicha componente. Por tanto, aceptando la denicin EPR de realidad, existe un elemento de realidad fsica que no vendra descrita por la mecnica cuntica, ya que, para esta ltima, la matriz densidad de la partcula 2 viene dada por una mezcla de estados con proyecciones positivas y negativas, mientras que nosotros podemos conocer el valor concreto de la proyeccin del espn de 2, sin ms que observar la partcula 1. Por tanto, la conclusin EPR es que la mecnica cuntica es una descripcin incompleta de la realidad, que debe ser sustituda por una descripcin que armara que la partcula 2 tiene proyeccin del espn es positivo, cuando tuvieramos la certeza de este hecho, al medir la partcula 1. Vamos a describir este hecho haciendo uso de la matriz densidad. Inicialmente, el sistema tiene una matriz densidad dada por

0 (1, 2) = 1/2+ (1) (2) + 1/2 (1)+ (2) + e (1, 2)

donde

(23)

(1) = |1, >< 1, |, (2) = |2, >< 2, |,

and (24)

e (1, 2) = 1/2|1, + >< 1, ||2, >< 2, +| 1/2|1, >< 1, +||2, + >< 2, | 0 (d1),

El sistema interacta con un aparato de medida que acta sobre la proyeccin del espn de la partcula 1. Su estado inicial viene dado por la matriz densidad puede pasar a y tras su interaccin con la partcula 1

(d1).

Utilizando los mismos argumentos utilizados en el punto anterior, despus de la

interaccin pueden ignorarse los trminos de la matriz densidad afectados de fases aleatorias, tenemos que la matriz densidad total tras la interaccin es

f = 1/2+ (1) (2)+ (d1) + 1/2 (1)+ (2) (d1)

(25)

Por tanto, la matriz densidad del sistema completo pasa a ser una mezcla estadstica. Si incrementamos nuestro conocimiento del sistema, mediante la observacin del puntero, podemos deducir si la partcula 1 tiene proyeccin del espn

+1/2,

y por tanto la 2 tiene

1/2,

o bien al contrario.

Dnde ha quedado la "paradoja" EPR en este argumento? Para EPR, la partcula 2, una vez que se encuentra sucientemente separada de la partcula 1, debe poder ser descrita de forma que tenga una proyeccin del espn bien denida. Lo mismo cabe decir de la partcula 1. En el lenguaje de la matriz densidad, ello implica que la matriz densidad del sistema, formado por dos partes separadas espacialmente, debe ser expresable como un producto, o bien una mezcla estadstica de productos, de las matrices densidad de 1 y 2 correspondientes a proyeccin del espn bien denida. Para explicar las anti-correlaciones perfectas entre los resultados de las medidas de 1 y 2, hay que recurrir a la descripcin del sistema completo como una mezcla estadstica de estados con proyeccin del espn bien denida y opuesta para 1 y 2. No obstante, cuando si un sistema est denido por una mezcla estadstica, entonces es que no tenemos un conocimiento completo del sistema. Si lo mejor que nos da la mecnica cuntica para describir un sistema es una mezcla estadstica, entonces la mecnica cuntica es incompleta. Para claricar el concepto de "descripcin incompleta", consideremos un sistema descrito por la matriz densidad

+ + 0 m = 1/2 (1) (2) + 1/2 (1) (2)

(26)

Para este sistema, si realizamos la medida de la proyeccin del espn de la partcula 1, obtenemos en seguida el de la partcula 2, igual que en el caso anterior. De hecho, una vez realizada la medida de la proyeccin del espn de la partcula 1, la matriz densidad del sistema total es la misma que en el caso anterior. No obstante, en este caso, la descripcin del sistema es "incompleta", en el sentido de que la matriz densidad es una mezcla estadstica, y si tuviramos ms informacin, sin actuar sobre el sistema, podramos saber cul de los dos trminos de la expresin describe "realmente" al sistema. Por contra, la matriz densidad descrita por eq. (23) corresponde a un estado puro, y no es reducible a sus trminos sin modicar el sistema.

Ntese que las correlaciones que ocurren en el mundo habitual curresponden a una "descripcin incompleta", en el sentido descrito por 26, (ver, por ejemplo "Bertlmann's socks and the nature of reality", by J.S.Bell). Por tanto, en el debate sobre la teora cuntica, resulta crucial determinar si existe alguna diferencia entre las predicciones experimentales de una matriz densidad como (23), que corresponden a un estado puro, y las que corresponden a (26), que es una mezcla estadstica, y, por tanto, una descripcin incompleta. El experimento EPR no permite distinguir entre estas dos situaciones. La contribucin de John Bell muestra que existen situaciones en las que ello s puede hacerse.

Las desigualdades de Bell

El trabajo de John Bell plantea que existen correlaciones en la mecnica cuntica, entre sistemas separados espacialmente, que no pueden explicarse en trminos de una matriz densidad que sea desarrollable como una mezcla estadstica de matrices densidad factorizadas. Para ello, consideremos la medida de un observable que dependa de un cierto parmetro

a, b

(este puede ser el ngulo de un polarizador). Por

simplicidad, consideramos que el observable puede tomar dos valores,

(por ejemplo, proyecciones

+1/2

1/2 a

del espn con respecto al eje denido por resulte el valor

a).

En ese caso, podemos denir la probabilidad

de que, para un sistema compuesto de dos partes separadas espacialmente, al medir la parte 1 con el parmetro

+,

mientras que al medir la parte 2 con el parmetro

resulte

Esta

probabilidad conjunta, que llamamos y

P (a, b; +, ),

es distinta del producto de las probabilidades indi-

viduales si no hay correlaciones. No obstante, si las correlaciones entre el resultado de la medida de

2 se explican como una mezcla estadstica P (a, b; +, ) tienen fuertes correlaciones.

de productos de matrices densidad de

2,

los valores de

Tomemos un sistema compuesto por dos partes separadas espacialmente. Supongamos que la matriz densidad del sistema compuesto es una suma de productos de matrices densidad de las partes.

0 m =
n

pn 1 (n)2 (n) a
resulte el valor

(27)

La probabilidad de que al medir sobre la parte 1 el observable denido por al medir sobre la parte 2 el observable denido por

+,

y que

resulte

es (28)

P (a, b; +, ) =
n

pn P1 (a, +, n)P2 (b, , n)

Ntese que en el segundo trmino todos los factores de cada sumando son probabilidades, y tienen por tanto un valor positivo entre cero y uno. A partir de esta magnitud, puede denirse la correlacin como

E (a, b)

= P (a, b; +, +) P (a, b; +, ) P (a, b; , +) + P (a, b; , ) =

n

(29) (30)

pn (P1 (a, +, n) P1 (a, , n))(P2 (b, +, n) P2 (b, , n)) a, a

Consideremos ahora las correlaciones entre medidas realizadas con distintos parmetros primera parte y

para la

b, b

para la segunda parte del sistema. Entonces, ha de cumplirse la desigualdad

|E (a, b) E (a, b )| + |E (a , b) E (a , b )| 2
La demostracin de esta desigualdad se basa solamente en el hecho de que

(31)

0 pn 1

|P1 (a, +, n)

P1 (a, , n)| 1.

Aunque esta desigualdad fu formulada por Clauser, Holt, Horne y Shimony, es una Por ello, se conoce como las de-

generalizacin de una expresin obtenida previamente por J.S. Bell. sigualdades de Bell.

Los sistemas clsicos satisfacen la desigualdad de Bell. En ellos, las matrices densidad de sistemas compuestos pueden siempre expresarse como 26, describiendo la matriz densidad de cada subsistema en funcin de las coordenadas y momentos de las partculas correspondientes. Entre los sistemas cunticos

consistentes en partes separadas espacialmente, aquellos cuya matriz densidad sea reducible como (26) satisfarn las desigualdades de Bell. No obstante, aquellos en los que exista entrelazamiento, como (23), pueden no satisfacer las desigualdades de Bell. En concreto, para el experimento pensado de Bohm-EPR, en el que se detecta la proyeccin del espn de dos partculas de espn 1/2 acopladas al estado singlete, la prediccin de la mecnica cuntica es que claramente la desigualdad. Ntese que, incluso en el caso de sistemas cunticos entrelazados, en cuanto una de las partes interacciona con un aparato de medida, segn la expresion 25, el sistema pasa a ser descrito por una mezcla, de tipo 26. Por tanto, el entrelazamiento cuntico es una propiedad sutil que se destruye en cuanto se realiza una medida, o mejor dicho, en cuanto se realiza la interaccin con un sistema complejo descrito por una mezcla estadstica de muchos grados de libertad, que introduce fases aleatorias en la matriz densidad tras la interaccin. Las consecuencias observables del entrelazamiento aparecen cuando comparamos los resultados de medidas diferentes sobre sistema entrelazados idnticos. eje, caracterizado por los ngulos Por ejemplo, el estado singlete descrito en la seccin anterior, puede ser descrito en funcin de las proyecciones a lo largo de cualquier

E (a, b) = cos(a b).

Para

el valor del primer trmino de (31), utilizando los signos superiores, resulta

a = 0, a = 45, b = 90, b = 135, 2 2, con lo que se viola

b.

1 1 |s >= (|b, 1, + > |b, 2, > |b, 1, > |b, 2, + >) = (|b , 1, + > |b , 2, > |b , 1, > |b , 2, + >) 2 2
(32) Cuando la parte 2 interacciona con el aparato de medida caracterizado por el ngulo del espn denidas con respecto al eje ngulo

b, el sistema completo

pasa a venir descrito por una mezcla estadstica en la que las partculas 1 y 2 pasan a tener proyecciones

b.

Sin embargo, si la parte 2 interaccionara con un aparato con

b,

el sistema pasara a ser una mezcla estadstica con proyecciones denidas con respcto a

b.

Por tanto, aunque despus de la medida el sistema pase a ser descrito por una mezcla, dicha mezcla es diferente segn el observable que se mida en la parte 2, y ello produce que se violen las desigualdades de Bell por los sistemas entrelazados.

Resumen y conclusiones.

Es la mecnica cuntica realmente tan rara? La respuesta a esta pregunta es necesariamente subjetiva. Lo que a unos puede parecer raro, puede no serlo para otros. El lector de estas lneas tendr, probablemente, un concepto de raro que no coincidir con el del que las escribe. No obstante, lo que se pretende en estas lneas es mostrar que, cuando se estudian los problemas de la mecnica cuntica con el lenguaje la matriz densidad, no resulta tan rara. El argumento principal de este trabajo es que los sistemas macroscpicos habituales, como gatos y detectores (incluso nosotros mismos) son sistemas cunticos. No obstante, su descripcin debe realizarse mediante una mezcla estadstica de muchos estados cunticos, y no mediante un hipottico estado puro. Ello hace que el entrelazamiento cuntico, que es responsable de las rarezas de la mecnica cuntica, desaparezcan cuando se consideran sistemas macroscpicos. En el caso del gato de Schrdinger, si tenemos en cuanta que el gato (y la cpsula del veneno, y el detector), deben venir descritos inicialmente por una mezcla y no por un estado puro, llegamos a la conclusin que, al nal, siguen descritos por una mezcla, con un 50% de probabilidad de seguir vivo y un 50% de probabilidad de haber muerto. En el problema de la medida, no tenemos que suponer que el estado del sistema "salta" a un autoestado del operador de medida. Simplemente, la situacin inicial, que es un estado puro para el sistema pero una mezcla para el aparato, evoluciona hacia una mezcla en la que existe una correlacin perfecta entre los punteros del aparato y los autoestados del operador de medida. El conocimiento del puntero permite reducir la matriz densidad a la componente que corresponde al autoestado concreto del operador de medida. Las correlaciones cunticas, que llevan a violaciones de las desigualdades de Bell son una consecuencia directa del entrelazamiento cuntico. Estas correlaciones especiales desaparecen cuando se considera un

10

sistemas macroscpicos. En la opinin del autor, lo nico que es realmente raro de la mecnica cuntica es el entrelazamiento cuntico. El entrelazamiento cuntico implica que no pondemos conocer las propiedades de un sistema compuesto estudiando sus partes, ni an cuando estas partes estn completamente separadas. Existen propiedades de las correlaciones de los dos sistemas que no pueden ser descritas en trminos de incertidumbres probabilsticas. No obstante, parece claro que el entrelazamiento, aunque raro, es real, y puede ser utilizado tecnolgicamente, en aplicaciones como la criptografa. Admitido que el entrelazamiento cuntico existe, cabe preguntarse por qu no aparece en nuestro mundo habitual, macroscpico. La respuesta puede darla el formalismo de la matriz densidad. Los objetos macroscpicos, los aparatos de medida, y nosotros mismos, no podemos ser descritos por estados puros, sino por mezclas, en las que la contribucin del entrelazamiento se diluye por una cancelacin de fases aleatorias.

11