Temas de Fsica

Informacin, entrelazamiento y relatividad

Ramn Muoz-Tapia y Rolf Tarrach
informacin para recorrer la distancia que separa la causa del efecto cuando stos ocurren en lugares distintos. Veremos que no es as, la informacin no se propaga instantneamente en el marco cuntico y esto es debido a que la informacin es subjetiva, la adquiere el fsico observador en el momento de la medida, y aunque se refiera a un objeto distante, como ocurre cuando hay correlaciones cunticas, la informacin no ha viajado de este objeto distante hasta el observador. Para otro observador, asociado al objeto distante, nada ha cambiado, nada ha aprendido y ninguna informacin le ha llegado instantneamente. La palabra informacin se asocia a veces al concepto significado. La informacin como significado es muy difcil de cuantificar. En el prlogo al libro que contiene el artculo de Shannon publicado un ao antes, Warren Weaver dice lo siguiente: One has a vague feeling that information and meaning may prove to be something like a pair of canonically conjugate variables in quantum theory, they being subject to some joint restriction that condemns a person to sacrifice of the one as he insists of having much of the other [6]1. El concepto de informacin introducido por Shannon es el de medida de la sorpresa. Por ejemplo, si decimos el Sol saldr maana, es una frase con muy poca o nula informacin: no se aprende nada. En cambio, la sentencia el Sol no saldr maana, es muy sorprendente y por lo tanto contiene una gran cantidad de informacin. La medida de la informacin ser, segn ello, una funcin de las probabilidades. Supongamos que cierto suceso S ocurre con probabilidad p(S) y llamemos I(S) al contenido de informacin del suceso S. Qu propiedades debera cumplir I(S)? Los siguientes requisitos son de sentido comn: (i) si un suceso S1 ocurre con menor probabilidad que otro S2 [p(S1) p(S2)] entonces S1 contiene ms informacin (es ms sorprendente) que S2, es decir, I(S1) I(S2); (ii) si S1 y S2 son sucesos independientes [p(S1 S2) = p(S1) p(S2)], la informacin contenida en ambos sucesos debera ser la suma I(S1 S2) = I(S1) + I(S2); y (iii) un suceso cualquiera siempre contiene algo de informacin (salvo que su ocurrencia fuese inevitable) I(S) 0, S. Estas tres propiedades prcticamente determinan que la nica solucin sea I(S) log[p(S)]. La constante de proporcionalidad se puede elegir de forma que I(S) = log2[p(S)]. La unidad de informacin con esta eleccin es el bit. Por ejemplo, si tenemos dos sucesos excluyentes {S1, S2} que pueden ocurrir con la misma probabilidad p(S1) = p(S2) = 1/2, entonces la informacin contenida en cada uno de ellos es un bit, I(S1) = I(S2) = 1. Si el conjunto es de cuatro sucesos equiprobables, cada uno de ellos contiene 2 bits de informacin.
REF Enero-Marzo 2005

La fsica cuntica y la relatividad especial nacieron a principios del siglo pasado, en 1900 de la mano de Max Planck la primera y en 1905 de la mano de Albert Einstein la segunda, para dar respuesta a fenmenos inexplicables en el marco de la fsica clsica. El mismo Einstein sent en 1905 las bases de lo que sera uno de los conceptos ms sutiles y fructferos de la fsica del siglo XX: el fotn o partcula de luz. En 1948, en los laboratorios Bell de la compaa de telfonos de los EEUU, se desarroll la teora de la informacin y de la comunicacin. sta tambin fue la creacin de una sola persona: el matemtico e ingeniero Claude Shannon [1]. La interfertilizacin de estas tres teoras es el tema de este artculo que expondremos intentando seguir una mxima de Einstein: las explicaciones deben ser tan sencillas como sea posible, pero no ms sencillas. Con el paso del tiempo se entendi que la descripcin cuntica de los estados en que se encuentran los sistemas fsicos es la forma matemticamente ms compacta de resumir la informacin que tenemos sobre ellos. Como dijo Rudolf Peierls, In my view the most fundamental statement of quantum mechanics is that the wave function or, more generally the density matrix, represents our knowledge of the system we are trying to describe [2]. La medida cuntica produce, al aumentar o actualizar nuestro conocimiento, una modificacin instantnea de esta descripcin cuntica del estado: el llamado colapso de la funcin de onda. Como las funciones de onda son extensas, su modificacin instantnea podra hacer pensar que la informacin que contienen se propaga instantneamente, ya que la funcin de onda post-medida puede ser no nula donde antes de la medida lo era. El problema se agudiz cuando a partir del trabajo conocido como la paradoja de Einstein, Podolsky y Rosen (EPR) de 1935 [3] se comprendi que las correlaciones cunticas o entrelazamiento, descritas magistralmente ese mismo ao por Erwin Schrdinger [4], permitan modificar instantneamente y a distancia el estado de un sistema fsico con slo medir sobre otro sistema fsico entrelazado con el primero. La teora especial de la relatividad consagr la velocidad de la luz en el vaco, c 300.000 km/s, que tambin es la de todas las ondas electromagnticas, como una velocidad lmite para las partculas materiales y por tanto como la mxima velocidad con la que se puede propagar la energa. Ms tarde, y como le gustaba insistir a Rolf Landauer (information is physical) [5], se entendi que la informacin siempre se propaga sobre un soporte energtico y que por lo tanto tampoco puede hacerlo a velocidad superior a c. Parece pues haber una contradiccin entre la accin a distancia, es decir, instantnea, de la mecnica cuntica y el tiempo finito que, segn la relatividad especial, necesita la
1Ntese

1. Introduccin

2. Informacin

el sutil cambio de artculo en el ttulo del libro [6] respecto al ttulo del trabajo original [1].
http://www.rsef.org

Si los sucesos no son equiprobables, obviamente el contenido de informacin de cada suceso ser diferente. En general estaremos interesados en el promedio de informacin adquirida. La entropa de Shannon es precisamente este promedio y es el concepto fundamental de la teora de la informacin. Especficamente, si los sucesos corresponden a una variable aleatoria X, y los etiquetamos por X = x1, ..., X = xn y a sus correspondientes probabilidades por {p1,..., pn}, la entropa de Shannon es Para hacernos una idea del significado de esta funcin, supongamos que los sucesos corresponden a las diferentes letras {a,b,c,...} de un mensaje (conjunto de letras) que se enva por un cierto canal de transmisin y sabemos que cada letra aparece con cierta probabilidad. La entropa de Shannon H(X) nos da la informacin promedio que se transmite por cada letra que se enva. En el idioma ingls es aproximadamente 1 bit por letra transmitida (un valor parecido es de esperar en castellano). Es fcil ver que el mximo de la entropa de Shannon, H(X), ocurre si todas las probabilidades son iguales p1 = p2 = ... = pn, que para el ingls o castellano correspondera a unos 4.7 bits por letra transmitida. Estos idiomas son redundantes en aproximadamente un 80%. Por eso nos entendemos a pesar de lo mal que hablamos y podemos almacenar y transmitir los textos de forma comprimida, es decir de forma cmprmd. En el caso opuesto, si un suceso tiene probabilidad uno y el resto cero, la entropa de Shannon es cero. En efecto, no hay ninguna sorpresa en el hecho de que ocurra un suceso que sabemos que tiene un 100% de probabilidad de ocurrir.

52

En el marco de la relatividad especial la aceleracin producida por una fuerza constante que acta sobre una partcula de masa no nula tiende hacia cero a medida que la velocidad se acerca a la velocidad de la luz en el vaco, c, y la energa necesaria para alcanzar c se hace infinita. En otras palabras, toda partcula material se propaga con una velocidad inferior a c. Adems esto es as en cualquier sistema de referencia, aunque los valores concretos de la velocidad y energa de la partcula varen de un sistema a otro. Las ondas electromagnticas, por otro lado, se propagan en el vaco a la velocidad c, en todos los sistemas de referencia. Como al transmitir una informacin utilizamos partculas u ondas electromagnticas, se sigue que la informacin, al igual que la energa que transporta la partcula o la onda electromagntica, no puede propagarse a velocidad superior a la de la luz en el vaco. En el marco de la mecnica cuntica las partculas materiales tienen asociada una onda que representa su estado cuntico en el espacio. Las ondas electromagnticas se describen en funcin de los fotones, partculas sin masa que corresponden a los estados de energa mnima, h, de una onda electromagntica de frecuencia , o, como veremos ms adelante, a cualquier superposicin de estos estados de energa bien definida. h es la constante de Planck, cuyo valor es tan pequeo que haran falta ms de 10 trillones de fotones de color amarillo para calentar un gramo de agua un
REF Enero-Marzo 2005

3. Luz e informacin

http://www.rsef.org

grado. Tal como ocurre con las partculas materiales, los estados de fotones suficientemente localizados, llamados pulsos, tambin se representan por una onda en el espacio, que en el vaco se propaga con velocidad c. Si consideramos la propagacin en una sola dimensin, como todas las frecuencias se propagan con la misma velocidad c, la onda no modifica su forma y la velocidad de grupo, que podemos interpretar como la velocidad del mximo de la onda, tambin es c. Cuando consideramos la propagacin de una partcula u onda en un medio, asociarle una velocidad es mucho ms ambiguo que en el caso de una partcula clsica. Esto es debido a que las distintas frecuencias se propagan con distintas velocidades, por lo que la onda cambia de forma. Normalmente es la velocidad de grupo la que tiene las caractersticas de velocidad fsica y en circunstancias normales no supera a c. La informacin contina propagndose a velocidades que no superan a la de la luz en el vaco [7]. Sin embargo, cuando el medio es inusual pueden pasar cosas sorprendentes [8]. As en el ao 2000 Wang, Kuzmich y Dogariu dicen en el resumen de un artculo muy discutido y comentado que publicaron en Nature [9]: ...this means that a light pulse propagating through the atomic vapour cell appears at the exit side so much earlier than if it had propagated the same distance in a vacuum that the peak of the pulse appears to leave the cell before entering it. Los autores afirman que este resultado no viola causalidad ni la relatividad especial, y lo explican como la consecuencia de un fenmeno de interferencia en una regin de dispersin anmala. La explicacin defendida por Charles Bennett, aunque rechazada por los autores, es una ya conocida desde haca tiempo y se basa en una amplificacin de los precursores del pulso (el frente de la onda de pequea amplitud pero que contiene toda la informacin del pulso) [10]. Esta amplificacin es posible gracias a una cesin temporal de energa por parte del medio, que posteriormente recupera cuando llega la parte central del pulso (de gran amplitud). Esto ltimo sucede cuando ya han emergido del medio los precursores amplificados y que tienen todas las caractersticas de la parte central. Como el frente de la onda siempre se propaga a velocidad c, porque contiene las frecuencias ms altas y para stas todo medio es transparente, la informacin nunca se propaga a velocidad superior a c. En las tecnologas de la informacin y comunicacin actuales, la presencia o ausencia de pulsos codifica un bit y la velocidad relevante es la de grupo. Este tipo de lectura del pulso es de grano grueso, ya que no es sensible a la forma del mismo. Nuestro anlisis anterior de la informacin contenida en funciones de onda y pulsos, por el contrario, corresponde a una lectura de grano fino. Al describir detalladamente el pulso intervienen distintas velocidades, y no slo la de grupo, y esto explica las paradojas que aparecen en medios inusuales. Por otro lado, hay muchas velocidades superiores a c. Consideremos un faro que da una vuelta por segundo cuyo haz es un lser que proyecta un punto luminoso sobre una pantalla circular situada a 300.000 km de distancia. El punto luminoso recorrer toda la pantalla en un segundo, desplazndose por lo tanto a una velocidad superior a 6c. Lo que ocurre es que ni la energa ni la informacin se desplazan

Temas de Fsica

tangencialmente, sino que lo hacen radialmente a velocidad c. Y esto es el mensaje de este captulo: la energa y la informacin nunca pueden propagarse a velocidad superior a la de la luz en el vaco; si lo hicieran habra violacin de causalidad, para algunos observadores los efectos ocurriran antes que las causas y deberamos revisar a fondo las ideas ms bsicas de la fsica. Como precisamente dijo Einstein: afirmaciones extraordinarias requieren razones extraordinarias. Estas razones no existen en la actualidad. La descripcin del estado de un sistema fsico en el marco de la mecnica cuntica la denominaremos estado cuntico y es su concepto ms bsico. Un estado cuntico describe lo que conocemos sobre un sistema dado y tiene por ello una componente objetiva y otra subjetiva. De momento nos referiremos a estados puros, aquellos que describen un sistema sobre el que tenemos el mximo conocimiento posible y por lo tanto representan una descripcin completa de l. Queremos dejar claro que siempre que hablemos de estado queremos decir `descripcin del estado del sistema fsico en el marco de la mecnica cuntica y por lo tanto nos declaramos incompetentes para hablar de lo que le ocurre `realmente al sistema fsico. Uno de los aspectos ms importantes de la mecnica cuntica es que estados diferentes no siempre (en realidad casi nunca) son perfectamente distinguibles. Por el contrario, en la mecnica clsica estados diferentes de un sistema son, por definicin, distinguibles. Dos estados son distinguibles si existe una medida que con absoluta certeza nos dice si es uno u otro. Por ejemplo: Polarizacin del fotn: vertical | b u horizontal | . Posicin de un tomo: en x = a, | a , en x = b, | b , en x = c, | c ,... Espn del electrn: hacia arriba | o hacia abajo | . Energa de una molcula: en el estado fundamental | f o en un estado excitado | e1 , | e2 ,... Nmero de fotones: cero |0 , uno |1 , dos |2 ...

Informacin, entrelazamiento y relatividad

matemtico no haya ninguna diferencia con las anteriores. Veamos algunos ejemplos de superposiciones normales:

53

4. Estados puros. Medidas

Los estados cunticos puros son vectores de un espacio de Hilbert. Cuando son istinguibles son ortogonales. La ortogonalidad se representa por b | = 0. La dimensin de este espacio viene dada por el nmero mximo de estados distinguibles, que depende del sistema fsico y de la magnitud fsica considerados, como se ha visto en los ejemplos dados ut supra. En este artculo, para simplificar la exposicin, consideraremos esencialmente la polarizacin de los fotones, que se describe en un espacio de dos dimensiones, aunque una descripcin completa de ellos requiera incluir adems alguna otra magnitud como la posicin, el momento lineal o la energa. En un espacio de Hilbert, si dos estados de un sistema fsico son posibles, tambin es posible cualquier superposicin lineal de los mismos. Este hecho tiene consecuencias importantes. Algunas superposiciones nos parecen normales, porque son fciles de realizar o porque se dan frecuentemente en el microcosmos. En cambio, cuando estas superposiciones ocurren en sistemas de mayor tamao, nos parecen sorprendentes, aunque desde el punto de vista

http://www.rsef.org

La superposicin de estados es la responsable de la no distinguibilidad, que no tiene anlogo clsico. El estado | g = 1/ 2 (| b + | , adecuadamente normalizado g |g = 1, es en parte | b y en parte | . Debido a ello, y como veremos, ninguna medida puede distinguir con certeza |g de | b, ya que no son ortogonales. Antes de continuar nuestra discusin es preciso dar un significado ms preciso de lo que es una medida. Una medida es un interrogatorio al que se somete un sistema fsico. La medida pregunta al sistema en qu estado, de entre un conjunto completo de estados distinguibles (ortogonales), se encuentra. El sistema declarar encontrarse en uno de ellos de acuerdo con una ley de probabilidad. Notemos, no obstante, que el estado en que se encontraba el sistema antes de la medida normalmente no es el que ha manifestado estar. Podemos decir provocativamente que el sistema se encontraba en todos y en ninguno de los estados distinguibles de la medida. La completitud asegura que la suma de probabilidades de los posibles resultados de una medida sea la unidad. Por ejemplo, una medida puede corresponder a la pregunta: el estado es | b o | ? Esta medida la representaremos por . Tambin podemos preguntar el estado es |g
REF Enero-Marzo 2005

Algunos ejemplos sorprendentes: Superposicin de dos estados de un nico ion de berilio 9Be+ de una extensin de unos 7 nm cada uno y separados una distancia de 80 nm, ms de 10 veces la extensin de cada estado individual. Difraccin de molculas complejas debida a que el estado de la molcula es superposicin de estados correspondientes a trayectorias distintas. El grupo de Anton Zeilinger en Viena ha observado experimentalmente la difraccin de molculas enormes como los fulerenos fluorados (60 tomos de carbono y 48 de flor, lo que supone una masa de ms de 1600 tomos de hidrgeno) o incluso molculas biolgicas como la porfirina (que forma parte de la hemoglobina) [12]. Cuando se hacen pasar por una red de difraccin se observan franjas de interferencia, cuya explicacin slo puede ser que cada macromolcula ha pasado a la vez por las distintas rendijas de la red de difraccin. Hay que notar que la distancia entre rendijas es aproximadamente 100 veces el tamao tpico de estas macromolculas.

Polarizacin diagonal, | b + | = | g , o circular, | b + i | = | . Estados de posicin indefinida del tomo de nitrgeno en la molcula NH3, | a + | a . Las dos posiciones corresponden a la situacin del nitrgeno a un lado o a otro del plano que forman los tres tomos de hidrgeno. ste no es mas que el estado fundamental de esta molcula. Espn del electrn en una direccin arbitraria, (, ), cos | + ei sin | . Superposiciones de estados de energa, | f | e . Para el tomo de nitrgeno de la molcula NH3 stas corresponden a estados localizados de posicin. Estado coherente de un lser. Superposicin de 0+1+2+... fotones.

o | h?, en este caso usamos como smbolo para la medida . Para el estado | b una medida dar con el 100% de certeza que es | b. Si medimos dar con 50% de probabilidad |g y con 50% de probabilidad | h, tal y como dice la regla de Born para las probabilidades cunticas:

54

medida. Supongamos que medimos nuestro sistema cuntico con el aparato . Las leyes elementales de la probabilidad dictan que la probabilidad de obtener cada resultado ser

Temas de Fsica

As podemos extender la regla de Born para estados mezcla de la siguiente forma Supongamos que sabemos que el fotn est en | b o | g. Para saber en cual de ambos est realmente, hay que hacer una medida, como por ejemplo . Hemos visto que para | b obtenemos siempre | b, mientras que para | g se obtiene con la misma probabilidad 1/2 los estados | b y | . As, si el resultado es | seguro que el fotn estaba en |g. Por el contrario, si el resultado es | b no podemos conocer el estado inicial del fotn. Es fcil convencerse de que ninguna medida ser capaz de distinguirlos con certeza, incluso si se dispone de varias copias idnticas del sistema. Esta caracterstica cuntica se puede usar para enviar informacin cifrada de forma segura. De hecho ya se han construido prototipos comerciales que realizan esta tarea [13]. Un estado puro describe un sistema cuntico sobre el que tenemos el mximo conocimiento posible. Cuando el conocimiento no es mximo el sistema est descrito por un estado mezcla o matriz densidad, que habitualmente se representa por . Un estado mezcla puede aparecer como consecuencia de nuestra (mayor o menor) ignorancia sobre cmo ha sido preparado el sistema. Tambin puede aparecer cuando de una colectividad de sistemas fsicos idnticos, sobre cuya distribucin de estados tenemos algn (o ningn) conocimiento, extraemos uno cualquiera.2 Un estado representa siempre el conocimiento que tenemos sobre el sistema fsico. Si nos atenemos a esta definicin muchas de las aparentes paradojas de la mecnica cuntica desaparecen, pero habr que abandonar el prejuicio que el estado cuntico es el sistema fsico. Por lo tanto, lo que sabemos sobre la realidad, lo nico que cientficamente importa, es subjetivo en cuanto depende de la informacin de la que dispone el observador. Analicemos la situacin descrita al final de la seccin anterior, donde no sabemos si el estado es | b o | g. Slo sabemos que con probabilidad p1 es el primero y con probabilidad p2 = 1 p1 es el segundo. La descripcin del sistema ha de ser tal que nos permita incluir esta ignorancia. Esto se puede expresar diciendo que la matriz densidad proyecta sobre el espacio de | b con probabilidad p1 y anlogamente para el segundo estado (si hubiese ms posibilidades stas se iran aadiendo). El proyector sobre el espacio de un estado | a es una matriz que se denota por | a a|. As pues el sistema vendr descrito por: Esta descripcin est an ms justificada cuando calculamos las probabilidades de los distintos resultados de una
2En

5. Estados mezcla

si viene dado por (1). Notemos que es una matriz positiva (por lo tanto hermtica) y que tiene traza unidad, tr = 1 (estas dos propiedades son anlogas a las de las leyes de probabilidad). La descripcin del sistema cuntico depende del conocimiento que tengamos sobre l. En el caso que nos ocupa, si no disponemos de ninguna informacin para favorecer que el estado sea | b sobre la opcin |g, es decir, si tenemos completa ignorancia sobre las dos opciones, debemos asignar p1 = p2 = 1/2. Una forma natural de asignar probabilidades en situaciones ms generales donde se tienen ms opciones y alguna informacin parcial viene dada por el principio de Jaynes [14]: las probabilidades han de ser tales que correspondan al mximo de entropa (de Shannon) compatible con la informacin de la que se dispone, es decir al mximo posible de ignorancia a priori. Una misma matriz densidad puede ser descompuesta de muchas formas diferentes, excepto cuando representa un estado puro. Con todas ellas, por la regla de Born, que no sabe de descomposiciones, se obtendrn las mismas probabilidades para cualquier medida. Por lo tanto, las descomposiciones sern totalmente indistinguibles y por ende idnticas. Slo en el caso de conocimiento mximo, es decir para estados puros, la descomposicin es nica (tal y como se poda esperar). Veamos algunos ejemplos para la matriz densidad dada por (1) con p1 = p2 = 1/2. La descomposicin en trminos de dos estados distinguibles, 1 2 = 0, es donde son los valores y estados propios de . Una descomposicin con ms de dos estados podra ser y as se pueden encontrar infinitas descomposiciones del mismo estado cuntico. Desde un punto de vista clsico esta multiplicidad de descomposiciones es sorprendente, ya que se considera siempre que estados diferentes son distinguibles. En el marco de la mecnica cuntica, como toda la informacin est contenida en la matriz densidad , preten-

(1)

REF Enero-Marzo 2005

la siguiente seccin veremos un tercer caso, quizs el ms relevante: cuando se describe una parte de un sistema compuesto.
http://www.rsef.org

der distinguir sus diferentes descomposiciones no es ms que una rmora de nuestro pensamiento clsico. Observemos que en la descomposicin de en estados distinguibles i 0 y 1 + 2 = 1 (esto es debido a que es una matriz positiva con tr = 1). Por lo tanto, los valores i pueden ser interpretados como probabilidades. Adems como los estados |i son distinguibles, el conjunto i corresponde a una ley de probabilidad clsica de la que podemos calcular su entropa de Shannon, que en este caso se denomina entropa de von Neumann, S() = 1 log2 1 2 log2 2. La entropia de von Neumann es el anlogo cuntico de la entropa de Shannon y puede expresarse de forma general independiente de la descomposicin de como Notemos que la afirmacin (relativamente gratuita) que encabeza esta seccin un estado puro es aquel sobre el que tenemos mximo conocimiento est ahora plenamente justificada. La matriz densidad correspondiente a un estado puro slo tiene un valor propio no nulo, y que por lo tanto vale uno. En este caso la entropia de von Neumann es S() = 0, es decir, ignorancia cero. En el otro extremo, un estado sobre el que no tenemos ninguna informacin se describe con una matriz densidad proporcional a la identidad. Para los sistemas de dos niveles discutidos hasta ahora esto significa 1 = 2 = 1/2 y una entropa mxima de S = 1 bit. La entropa de von Neumann al igual que la de Shannon es uno de los conceptos fundamentales de la informacin cuntica. Finalmente, otro aspecto interesante es cmo describen un mismo sistema fsico diferentes observadores, , , ,... que pueden tener diferente informacin sobre el sistema incluso alguno de ellos puede tener informacin mxima. Cada observador describir el sistema con una matriz densidad diferente: , , ,... La pregunta natural que surge en este contexto es: qu tienen en comn todas las descripciones posibles de un mismo sistema cuntico? Es decir, cuan arbitraria es ? La respuesta es bastante intuitiva [15]: los estados mezcla , , ,..., tienen todos ellos al menos una descomposicin en la que aparece un estado puro comn a todas ellas. En particular, es imposible que dos observadores describan el mismo sistema fsico con estados puros diferentes, ya que en ese caso la descomposicin de la matriz densidad es nica. Si lo hicieran, o no son honestos, o tienen datos falseados, o no son buenos cientficos. Los aspectos ms antiintuitivos de la mecnica cuntica aparecen cuando se consideran sistemas con varias partes o subsistemas. En este caso hablaremos de sistemas compuestos. Por ejemplo, supongamos que tenemos dos fotones suficientemente separados en el espacio de forma que un observador slo mide sobre uno de ellos y otro observador sobre el otro. Esta configuracin nos permite etiquetar con los ndices A y B cada uno de los fotones respectivamente. Supongamos que estos dos fotones estn en estados de polarizacin | bA y | bB. Este sistema compuesto se describe con el estado producto | = | bA | bB. Tambin podramos tener un estado producto | bA | B o |gA | B, etc.. Es sabido que los fotones satisfacen la estadstica de Bose-Einstein y por lo tanto su funcin de ondas debera ser

Informacin, entrelazamiento y relatividad

simtrica bajo el intercambio de las magnitudes correspondientes a cada partcula, en este caso las polarizaciones. Esto no ocurre en los dos ltimos ejemplos. Ello, no obstante, no representa un problema, ya que slo tenemos en cuenta la polarizacin y no otras magnitudes, como la posicin, que en este caso se ha substituido por las etiquetas A y B asociadas a los observadores locales y . Una vez marcados los fotones, asocindolos a sus observadores, se pueden tratar como no idnticos. Los estados producto tambin aparecen en la descripcin ntegra de una sola partcula con espn o polarizacin al aadir otras magnitudes. As un fotn polarizado verticalmente y localizado en x = a se describe con | b | a. Es cuando se describen varias partculas idnticas de forma ntegra que se debe tener en cuenta la simetrizacin (o antisimetrizacin si satisfacen la estadstica de Fermi-Dirac) del estado. El principio de superposicin nos dice que si dos estados son posibles, cualquier combinacin lineal ha de ser posible. En particular, puede haber un sistema descrito por el estado puro Es fcil comprobar que | no es estado producto y, por lo tanto, ninguno de los fotones, por muy alejados que estn uno del otro, admite una descripcin completa por separado, es decir, no se puede asociar una polarizacin definida a cada uno de ellos. En estas circunstancias se dice que los fotones estn entrelazados y no admiten una descripcin local completa. Esta caracterstica exclusiva de la mecnica cuntica es consecuencia del hecho que el espacio de Hilbert de sistemas compuestos sea el producto tensorial del espacio de Hilbert de cada parte. En la mecnica clsica los sistemas compuestos se describen en un espacio producto cartesiano de los espacios de fases de cada una de las partes. As la dimensin del espacio crece exponencialmente con el nmero de partes en el caso cuntico y slo linealmente en el clsico. Esta diferencia en el nmero de estados posibles junto a la propiedad de entrelazamiento cuntico es lo que confiere a la mecnica cuntica su potencial computacional [16]. El estado (2) es un buen ejemplo para ilustrar gran parte de las peculiaridades y paradojas que se dan en los sistemas compuestos. Observemos, por ejemplo, que | tambin se puede escribir como Al igual que en el caso de estados mezcla discutidos en la seccin anterior, nuestra mentalidad clsica nos podra inducir a intentar distinguir entre las descripciones (2) y (3). Es un intento vano ya que el estado | es el mismo. Analicemos ahora las medidas locales, es decir, las que se realizan sobre una de las partes, y las consecuencias que de ellas se puedan derivar. Supongamos que el observador realiza una medida local, es decir, sobre la parte A, con un y obtiene el resultado | b. Esto ocurre con una aparato probabilidad del 50%. De la expresin (2) inferimos que si el observador midiese entonces la parte B con el aparato obtendra con certeza | b, aunque , salvo que le haya informado, es ignorante de esta certeza. Si hubiese obteniREF Enero-Marzo 2005

55

(2)

6. Sistemas compuestos. Correlaciones cunticas

(3)

http://www.rsef.org

do | (lo que ocurre con el otro 50% de probabilidad), obtendra | con total certeza. El estado | correlaciona perfectamente los resultados de estas medidas locales. Ntese que las mismas correlaciones entre estas medidas locales se pueden obtener describiendo el sistema compuesto con la matriz densidad que slo contiene correlaciones clsicas. La situacin es ms interesante cuando consideramos otro aparato de medida, por ejemplo . Aqu podemos utilizar la representacin (3), y deducir fcilmente que si obtiene | g para A, obtiene |g para B con certeza, y anlogamente para un resultado en la otra direccin ortogonal. De nuevo, se obtendran los mismos resultados si el sistema compuesto estuviese descrito por el siguiente estado que slo contiene correlaciones clsicas: Como , las dos descripciones en trminos de correlaciones clsicas son incompatibles entre ellas. Los estados entrelazados presentan correlaciones que van ms all de las clsicas y que se denominan correlaciones cunticas. stas se pueden describir mediante conjuntos de correlaciones clsicas, pero que no son compatibles entre s. Cmo describe su fotn un observador local cuando ignora la presencia del otro? El observador puede suponer que el observador ha medido B con el aparato . De la discusin anterior, la descripcin del subsistema A por parte del observador , que desconoce el resultado de la medida de , es El observador tambin podra suponer que ha medido con el aparato . En este caso la descripcin local sera
= = /2, donde g es la matriz Obsrvese, que A A identidad. Para cualquier medida que realizara la descripcin local de A por parte de sera siempre la misma, dada por la matriz densidad A. Como esta descripcin no debe depender de lo que haga , debe ser tambin correcta cuando decide no medir. En el ejemplo estudiado, la matriz densidad A es proporcional a la identidad, y ya hemos visto en la seccin anterior que corresponde a mxima ignorancia, es decir, que la entropa de von Neumann, S( A.), es 1 bit. Por otro lado, el estado inicial | es puro y por lo tanto de entropa nula, S(| |) = 0. Como es de esperar, toda la informacin contenida en las correlaciones cunticas de | se ha perdido irremediablemente al hacer una descripcin local. Esta prdida objetiva de informacin contrasta con la ignorancia subjetiva que contenan las matrices densidad analizadas en la seccin anterior. Sin embargo, la mecnica cuntica trata por igual cualquier tipo de ignorancia, ya que toda la informacin, y slo sta, est contenida en la matriz densidad. La frmula general para describir localmente una A

56

parte A de un sistema compuesto descrito por una matriz densidad y que resume toda la discusin anterior es donde la traza se realiza sobre el subespacio B. La interpretacin es sencilla: ignorar la parte B corresponde a sumar sobre todos los posibles resultados de medidas en B pesados con sus correspondientes probabilidades, y esto equivale a hacer la traza sobre el subespacio B. Otra pregunta interesante es cmo describe un observador el otro subsistema? Antes de medir, el observador describe el subsistema A por la misma expresin (4), que para el estado (2) es Esto se sigue, mutatis mutandis, por un razonamiento anlogo al que ha conducido a (4). Si mide un observable local y obtiene un determinado resultado, automticamente sabe cual es el estado de la parte A. En el caso que mida y obtenga | b, el estado del subsistema A colapsa a | b, por muy separados que estn los dos subsistemas, es decir, Al medir, el observador cambia drsticamente su descripcin de la parte A, que pasa de ser una matriz densidad de mxima entropa (5) a un estado puro (6), que tiene entropa cero. Este colapso instantneo3 y a distancia, sin medir sobre el subsistema, es sorprendente y explica la incomodidad de Einstein (... spooky action at a distance...). La pregunta que nos planteamos ahora es si sirve para transmitir informacin de forma instantnea. Esto, ms que sorprendente, como veremos, sera preocupante. La medida efectuada por , discutida en el prrafo ante . Efectivamente, rior, daba como resultado el estado puro A si el observador midiese con obtendra | b. Esta medida parece proporcionar a informacin sobre el colapso causado por la medida de y, por lo tanto, se podra pensar en la posibilidad de comunicacin superlumnica. As podra transmitir instantneamente un bit de informacin asociando el valor 0 a | b y el 1a | . Obviamente esto no es posible por el carcter aleatorio de los resultados de la medida en B, que hace imposible que cuando quiera enviar el valor 0 el resultado de su medida sea | b con seguridad. De esta forma slo enva ruido, pero no informacin. Lo que s puede controlar es qu medida realiza. Por lo tanto podra asociar 0 a la medida y 1 a la medida . Si pudiese discriminar entre los dos conjuntos de estados {| b, | } (que resultan de la medida en B) y {|g, |h} (que resultan de la medida en B), efectivamente habra transmisin instantnea de un bit de informacin. Pero esto no es posible ya que, como vimos en la seccin anterior, la descripcin local A es independiente de lo que decida hacer . Por ello ninguna medida local de permite adquirir la informacin que pretenda transmitir. (6) (5) (4)

Temas de Fsica

7. Transmisin de informacin. Conclusiones

3Recientemente se ha medido la velocidad a la que se produce el colapso, y se ha obtenido [17] una cota inferior de 1.5 104 c en el sistema de referencia de la radiacin de fondo.

REF Enero-Marzo 2005

http://www.rsef.org

Finalmente discutiremos un mtodo que podra desafiar el lmite relativista de transmisin de informacin: el teletransporte cuntico [18]. No haremos una exposicin detallada del mismo, que requerira mucho ms espacio del que disponemos aqu, pero s presentaremos los aspectos ms relevantes. El teletransporte cuntico permite hacer desaparecer un estado cuntico de un lugar A para hacerlo aparecer en otro arbitrariamente separado del primero B de forma intacta (en condiciones ideales), sin que haya mediado un transporte material del sistema fsico. Para ello, dos observadores, y , han de compartir un estado mximamente entrelazado como (2). El observador realiza una medida conjunta de su parte del estado entrelazado y del que pretende teletransportar y comunica el resultado de su medida a . Con esta informacin puede reconstruir de forma exacta el estado que tena . Este resultado puede parecer turbador, pero no es ms que el reflejo de las propiedades ciertamente antiintuitivas de la mecnica cuntica. El motivo de fondo es el entrelazamiento del estado que comparten los observadores y la no-localidad del mismo. Sin embargo, de nuevo, no hay forma de realizar una transmisin superlumnica: el observador debe comunicar el resultado de su medida a y esta informacin debe viajar con un soporte fsico, y por lo tanto no puede hacerlo a velocidades superiores a la de la luz. Antes de que llegue esta informacin, la descripcin del observador de su estado ser una matriz densidad proporcional a la identidad como (2), es decir, la correspondiente a mxima ignorancia. Slo cuando le llega la informacin de podr reconstruir el estado y completar el fenmeno del teletransporte. Si el marco de la mecnica cuntica hubiese permitido la transmisin instantnea de informacin, sta no hubiese servido de punto de partida para su version relativista, la teora cuntica de campos. La mecnica cuntica, informacin y relatividad se relacionan de tal manera, que ninguna de ellas parece poner en peligro los principios de las otras. Como dice el premio Nobel Stephen Weinberg [19]: la fsica es de una estructura asombrosamente rgida, no se puede alterar una parte sin tener que cambiarlo todo. De momento, no parece que haya motivos para cambiar, y s para seguir explorando las interrelaciones entre estas teoras, que nos estn permitiendo descubrir las posibilidades y las limitacio-

Informacin, entrelazamiento y relatividad

nes de la informacin en la fsica y de la fsica de la informacin. La duda que nos queda es si los rasgos subjetivos de la mecnica cuntica discutidos en este artculo, de connotaciones antropocntricas, impiden que sta sea el punto de partida de una teora final, o si son precisamente estos rasgos los que le permitiran serlo. Agradecemos los valiosos comentarios y sugerencias de nuestros colegas Antonio Acn, Emili Bagan, Albert Bramon, Llus Garrido, David Jou, Llus Masanes, Roman Ors, Josep Taron y Guifr Vidal. Ha sido un placer discutir con ellos sobre muchos aspectos de este artculo.
[1] C.E. SHANNON, A Mathematical Theory of Communication, Bell Systems Technical Journal 27, 379-423, 623-656 (1948). [2] R.E. PEIERLS, In defense of `measurement', Physics World, January 1991. [3] A. EINSTEIN, B. PODOLSKY AND N. ROSEN, Phys. Rev. 46, 777 (1935). [4] E. SCHRDINGER, Naturwissenschaften 23, 807,823 y 844 (1935). [5] R. LANDAUER, Physics Today, p. 23 May 1991; Phys. Lett. A 217, 188 (1996). [6] C.E. SHANNON AND W. WEAVER, The Mathematical Theory of Communication, University of Illinois Press, Urbana 1949. [7] L. BRILLOUIN, Wave propagation and group velocity, Academic Press, New York 1960. [8] R. TARRACH, Velocidades superlumnicas y causalidad, Investiga-cin y Ciencia 241, Octubre 1996. [9] L.J.WANG, A KUZMICH AND A. DOGARIU, Nature 406, 277 (2000). [10] P. W. MILONNI, carta a Physics Today, p. 14 February 2001. [11] C. MONROE et al., Science 272, 1131 (1996). [12] L. HACKERMLLER et al., Phys. Rev. Lett. 91, 090408 (2003). [13] Pueden visitarse las pginas de la compaa suiza Id quantique, http://www.idquantique.com; o la norteamericana MagiQ Technolo-gies, http://www.magiqtech.com. [14] E.T. JAYNES, Phys. Rev. 108, 171 (1957). [15] T.A. BRUN, J. FINKELSTEIN AND N. D. MERMIN, Phys. Rev. A 65, 032315 (2002). [16] C.H. BENNETT AND D.P. DIVINCENZO, Nature 404, 247 (2000). [17] V. SCARANI et al., Phys. Lett. A 276, 1 (2000). [18] C.H. BENNETT et al., Phys. Rev. Lett. 70, 1895 (1993). [19] S. WEINBERG, Dreams of a Final Theory, Pantheon, New York, 1992.

57

Bibliografa

Ramn Muoz-Tapia est en el Grupo de Fsica Terica & IFAE. Facultad de Ciencias. Univ. Autnoma de Barcelona Rolf Tarrach est en el Dpto. dEstructura i Constituents de la Matria, Universidad de Barcelona

Ruido Ambiental por Infraestructuras de Transporte y Urbano (2 Edicin)

Laboratorio de Acstica Aplicada a la Ingeniera Civil LA2IC 25-28 de Abril de 2005 Santiago EXPSITO PAJE

Para ms informacin y antes del 5 de Abril ponerse en contacto con: Secretara de Programa de Postgrado E.T.S. de Ingenieros de Caminos, Canales y Puertos Avda. Camilo Jos Cela, s/n, 13071 Ciudad Real Tel: 926/295498 926/295396; Fax: 926/295488 e-mail: caminos@uclm.es
http://www.rsef.org

REF Enero-Marzo 2005