Professional Documents
Culture Documents
RESUMEN
La teora cuntica ha generado la mayor crisis del realismo de la historia de la ciencia moderna. Su incuestionable xito predictivo va acompaado de una singular cadena de aspectos extraos, cuando no decididamente paradjicos, que surgen de la llamada interpretacin ortodoxa. En este artculo presento resumidamente los fundamentos del formalismo y
sus consecuencias inmediatas y paso revista a las principales alternativas interpretativas.
Pretendo mostrar que el divorcio entre la teora cuntica y una interpretacin realista del
mundo no es, en absoluto, inevitable.
Quantum theory and its interpretations: A realist philosophical approach Quantum theory
has produced the biggest crisis of realism of the modern history of science. Its unquestionable
predictive success is accompanied by a singular stream of weird aspects, if not definitely
paradoxal, which arise from the so called ortodox interpretation. In this paper, I summarize
the formalism fundamentals and its immediate consequences and I review the main
interpretative alternatives. I intend to show that the divorce between quantum theory and
a realist interpretation of the world is by no mean unavoidable.
02.pmd
41
22/08/2003, 8:30
ABSTRACT
1
K. POPPER, 1982. Quantum Theory and the Schism in Physics. From the Postscript to the
Logic of Scientific Discovery. Ed. W.W. Bartley III. Edicin en espaol: Tecnos, 1992.
02.pmd
42
22/08/2003, 8:30
2
El lector no familiarizado con las cuestiones relativas a los espacios de Hilbert y los
operadores lineales encontrar un breve resumen de lo esencial en el apndice al final de este artculo.
3
Representamos los vectores de H dentro de un semicorchete del tipo |a}. sta es la
notacin habitual de la Teora Cuntica, introducida por Dirac.
4
El vector de estado recibe tambin el nombre de funcin de onda. No hay incompatibilidad con el formalismo del espacio de Hilbert puesto que los conjuntos de funciones (con determinadas propiedades) son espacios de Hilbert.
5
Representamos los operadores con letras cursivas maysculas, como A.
02.pmd
43
22/08/2003, 8:30
por 2p) y i/it es la derivada parcial con respecto al tiempo que representa,
precisamente, la evolucin temporal.
2. Los nicos resultados que pueden obtenerse en la medida de un observable fsico
son los autovalores del operador A asociado a tal observable. El resultado de
la medida no est determinado de antemano, sino que existe una cierta probabilidad de obtener cada uno de los autovalores de A. La probabilidad de
obtener el autovalor ai, es el cuadrado del mdulo del producto escalar del
vector de estado del sistema y el autovector asociado a ai. En otras palabras,
si |Y} es el vector de estado antes de la medida y |yi} es el autovector asociado al autovalor ai, el resultado del producto escalar yi|Y} es un nmero
complejo x=a+ib, el cuadrado de cuyo mdulo, es decir a2+b2, es, oportunamente normalizado, la probabilidad de obtener el resultado ai en la medida.
3. Al realizar una medida sobre el sistema en el instante t, el vector de estado |Y} se
transforma en el autovector asociado al autovalor obtenido en la medida.
Este proceso recibe denominaciones tales como reduccin del paquete de
ondas o colapso del vector de estado.
sta es, en resumen, la esencia del formalismo de la teora cuntica. El anlisis de sus consecuencias est en la base de la discusin suscitada sobre la realidad de
los fenmenos que describe y de los propios entes a los que se aplica. Es necesario
llamar la atencin sobre algunas caractersticas de lo que hemos presentado.
02.pmd
PRINCIPIO DE INCERTIDUMBRE
Una de las primeras consecuencias de la teora es la imposibilidad de determinar simultneamente, para un sistema, valores de observables cuyos operadores
no conmuten. Que dos operadores, A y B no conmuten implica que tienen sistemas
de autoestados diferentes. Si, sobre un sistema fsico, digamos una partcula, realizamos la medida del (observable asociado al) operador A y obtenemos ai, el vector
de estado de la partcula colapsar hacia el autoestado asociado a ai, |yi}. El hecho
de que |yi} no sea autoestado de B implica que el observable asociado a este operador no posee un valor definido en el nuevo estado. Es ms, la medida de B destruira inmediatamente el valor del observable A. Si, despus de medir B, repitiramos
la medida de A, obtendramos un resultado aj, que no tendra por qu coincidir con
el anterior. Por simplicidad nos estamos refiriendo a sistemas de valores propios
discretos. Cuando los valores que pueden resultar de una medida se distribuyen de
manera continua, lo que hemos dicho se traduce en un emborronamiento de los
resultados cuando se miden dos observables cuyos operadores no conmutan. ste es
el caso de la medida simultnea de la posicin y el momento de una partcula sobre
una misma direccin. El anterior salto de un autovector a otro se traduce ahora en
que ambos resultados llevarn asociado un intervalo de posibilidades que no puede
hacerse disminuir arbitrariamente de forma simultnea. En otras palabras, estre-
44
22/08/2003, 8:30
6
Esta similitud, aunque es habitual hacerla, puede dar lugar a confusin. Las propiedades
de un objeto macroscpico, por lo que a rotacin se refiere, no se parecen a las que se derivan del
espn de una partcula. La nica similitud que cabe sealar es que se refiere a una propiedad interna
de la partcula, independiente de su estado de movimiento y de su posicin.
02.pmd
45
22/08/2003, 8:30
SUPERPOSICIN DE ESTADOS
se encontrar con seguridad en uno de los estados |K} o |L}. Pero antes de realizar
la medida, su estado de espn, |s}, no corresponde a ninguna de las dos opciones a
las que cabe asignar la respuesta S o la respuesta NO del detector.
El segundo ejemplo muestra quiz ms claramente el significado de estado
superpuesto. Supongamos que enviamos un fotn contra un espejo semiplateado7 y
que, detrs del espejo, instalamos un detector que sealar S si el fotn incide
sobre l y NO, si no lo hace. Cuando el fotn incide sobre el espejo aparecen dos
estados ortonormales posibles: transmitido, |T}, y reflejado, |R}. Puesto que existe
la misma probabilidad de que el fotn se transmita o se refleje, el vector de estado
del fotn despus de incidir sobre el espejo es |F}=(1/B2)|T}+(1/B2)|R}. Poco
despus, cuando ha transcurrido el tiempo necesario para que el fotn llegue al
detector, si este arroja S, el vector de estado del fotn pasa a ser |T}; si el detector
arroja NO, el vector de estado del fotn pasa a ser |R}. Las probabilidades de uno y
otro resultados son los mdulos al cuadrado de los productos escalares de |F} y los
respectivos autovectores; es decir |{T|F}|2 y |{R|F}|2, respectivamente. En ambos
casos, el resultado es 1/2. El vector |F representa un estado superpuesto. Es decir,
en el contexto del experimento diseado, la posicin del fotn desde que incide en
el espejo hasta que es o no es detectado no tiene ningn valor objetivamente enunciable. Es decir, mientras que despus de haber sido detectado o no detectado se
puede decir que el estado del fotn es |T} o |R}, un instante antes de esa deteccin,
no tiene sentido decir si el estado es uno u otro. No es una limitacin epistmica;
no es que el observador an no ha sido informado. Se trata de que el estado superpuesto del fotn no es un estado propio del observable y, por tanto, no es posible
asociar un valor (S o NO) a la situacin.
El experimento ideal anterior pone claramente de manifiesto otra caracterstica del formalismo. El hecho de que el detector seale S hace que el vector de
estado del fotn salte a |T}. Pero el hecho de que el detector no seale nada (NO),
cuando podra haberlo hecho, hace que el vector de estado salte a |R}, lo que constituye un notable suceso contrafctico.
Los estados superpuestos poseen otras caractersticas notables. Una de ellas,
que deriva de la linealidad de la ecuacin de Schrdinger y de la del hamiltoniano,
es que el estado al que se llega tras la evolucin temporal de un estado superpuesto
es el mismo que se obtendra superponiendo dos autoestados evolucionados. En
otros trminos, si |X}=a|y}+b|n} es el estado (superpuesto) de un sistema y |X},
|y} y |n} son los estados a los que evolucionan |X}, |y} y |n} tras un cierto
intervalo de tiempo, entonces |X}=a|y}+b|n}. Por esto podemos afirmar que la
evolucin de un estado cualquiera |X}, gobernada por la ecuacin de Schrdinger,
es completamente determinista.
7
Al margen de los aspectos tcnicos de su realizacin, un espejo semiplateado proporciona una probabilidad de un 50% de que un fotn que incide sobre l sea reflejado. En caso contrario,
el fotn es transmitido.
02.pmd
46
22/08/2003, 8:30
8
El trmino habitual en ingls es entagled. Usaremos aqu su traduccin literal de estado
enmaraado. Otros trminos que suelen emplearse son correlacionado y entrelazado.
02.pmd
47
22/08/2003, 8:30
DETERMINISMO Y ALEATORIEDAD
una sola partcula elemental; por ejemplo, un electrn. Los espacios de Hilbert
asociados a cada uno son H1 y H2. Consideremos el sistema formado por las dos
partculas. A l ir asociado otro espacio de Hilbert H1,2, que es, precisamente, el
producto directo de H1 y H2. Los vectores de H deben contener informacin sobre
el estado de cada partcula. Como cada partcula puede estar en cualquier estado de
los posibles en sus respectivos espacios de Hilbert, el sistema compuesto deber ser
representado por estados de la forma |Y}|F}, que se refieren al hecho de que la
primera partcula se encuentra en el estado |Y} y la segunda, en el estado |F}. Estos
estados se obtienen, como los de cualquier espacio de Hilbert, mediante combinaciones lineales del tipo
|Y}|F}= Ai ai,j|Yi}|nj}.
Una propiedad importante de estos sistemas es que la evolucin (segn la
ecuacin de Schrdinger) del sistema combinado es la evolucin combinada de los
sistemas individuales. En otros trminos, si al cabo de un cierto tiempo t, |Y} hubiera evolucionado, por s slo y sin interaccin, a |Y} y |F} lo hubiera hecho a
|F}, entonces el sistema compuesto, que se encontraba en el estado |Y}|F}, habr
evolucionado hasta el estado |Y}|F}. Sin embargo, el estado del sistema compuesto tiene entidad propia y corresponde a un vector de H1,2.
Si las dos partculas interaccionan, la independencia de una respecto de la
otra desaparece y las propiedades de cada partcula por separado pierden su sentido.
Un vector del tipo |Y}|F}, que representa un estado cualquiera del sistema, no es
un vector de H1 ni de H2. Al realizar una medida sobre el sistema compuesto,
obtendremos uno de los autovectores del operador utilizado que, en general, tendr
la forma |li}|mj}. De nuevo, este vector es del espacio H1,2 y nada nos dice sobre los
estados de las partculas individuales. Cabe entonces afirmar que, en el caso general, dos partculas cuyos estados estn enmaraados dejan de tener, de forma individual, las propiedades asociadas a ellos.
Veamos un ejemplo significativo: el argumento de incompletud originalmente propuesto por Einstein, Podolsky y Rosen9 (EPR) en 1935, pero segn la
reformulacin realizada por Bohm10 en 1951. Imaginemos una partcula de espn 0
que se desintegra en dos partculas de espn 1/2 y que se alejan en direcciones
opuestas. El estado de espn del sistema formado por las dos partculas es un estado
enmaraado de la forma |s}=|1K}|2L}-|1L}|2K}, donde 1 y 2 se refieren a cada
una de las partculas. El espn del sistema sigue siendo cero, pero es un estado
9
A. EINSTEIN, B. PODOLSKY y N. ROSEN, 1935. Can quantum-mechanical description of
physical reality be considered complete?, Physical Review, serie 2, 47, 777-780. Ms recientemente, en
Quantum theory and measurement, ed. J.A. WHEELER y W.H. ZUREK, Princeton University Press, 1983.
10
D. BOHM, 1951. The paradox of Einstein, Rosen and Podolsky, Quantum Theory, Ch.
22, sect. 15-19. Prentice-Hall, Englewoods-Clifts. Ms recientemente, en Quantum theory and
measurement, ed. J.A. WHEELER y W.H. ZUREK, Princeton University Press, 1983.
02.pmd
48
22/08/2003, 8:30
11
A. ASPECT, J. DALIBARD, G. ROGERS, 1982. Experimental tests of Bells inequalities using
time-varying analyzers. Physical Review Letters, nm. 49, pp. 1.804-1.807.
02.pmd
49
22/08/2003, 8:30
enmaraado. Ahora bien, estas dos partculas pueden alejarse arbitrariamente una
de la otra. Podemos entonces realizar una medida de espn sobre la partcula 1.
Supongamos que obtenemos (el autovalor asociado a) |1K}. Esto desenmaraa el
estado del sistema: automticamente, la partcula 2 pasa al estado |2L}. Lo notable
del caso es que este salto en el estado de la partcula 2 se produce de forma instantnea, independientemente de la distancia a la que se encuentren las dos partculas.
El argumento de EPR era que si, sin realizar ninguna medida sobre la partcula 2,
podemos saber su estado es porque existe un elemento de realidad intrnseca en tal
estado (lo que implica la incompletud de la teora), a menos que se admita la transmisin de informacin instantnea entre las dos partculas a distancias arbitrariamente grandes. Bohm se apoy en esto en el planteamiento de su formulacin
alternativa de variables ocultas, que veremos ms adelante. Sin embargo, es conveniente sealar desde ahora que el comportamiento de estados enmaraados y el
desenmaraamiento a distancias arbitrariamente grandes que hemos descrito ha
sido comprobado en experimentos ms recientes11. Sin embargo, el lmite impuesto
por la teora de la relatividad a la velocidad de transmisin de informacin (la velocidad de la luz) se mantiene a salvo. Si se midiera el espn de la partcula 1, el
resultado no podra correlacionarse con el obtenido en la 2, a menos que el observador en 1 le comunicara al observador en 2 tal resultado, lo que debera hacer mediante otros medios, por ejemplo mediante una seal luminosa, o a menos que el
observador en 1 conociera el estado de su partcula antes de medirlo, lo que est en
contradiccin con el formalismo.
Lo que s implica el colapso del vector de estado de la partcula 2 es que el
proceso es esencialmente no local. Como ambas partculas pueden estar arbitrariamente lejos y como, en rigor, el propio estado de todo el Universo debe considerarse un estado enmaraado, esto implica que la no-localidad debe afectar a todo el
Universo y que la medida del estado de cualquier partcula debe hacer colapsar, de
algn modo, el vector de estado global del Universo.
Volviendo al sistema de dos partculas anterior, es de sealar que, en general, el colapso del vector de estado de la partcula 1 no implica, necesariamente, que
el de la 2 pase a ser uno de los autoestados del mismo observable. Supongamos que,
en lugar de lo supuesto en el caso anterior, el estado enmaraado fuera
|s}=|1K}|2L}+|1K}|2K}-|1L}|2K} y que al medir el estado de la partcula 1, ste
colapsa al |1K}. El estado de la partcula 2 salta entonces al |2L}+|2K}, que es una
superposicin de autoestados. Lo que ha ocurrido es que la partcula 2 recobra su
identidad y que su estado pasa entonces a evolucionar por separado del correspondiente al de la 1.
02.pmd
La ltima cuestin que quiero mencionar respecto a la teora, antes de pasar a una discusin crtica, se refiere al proceso de medida. Hemos visto cmo la
medida de un observable As para una partcula genera el colapso de su vector de
estado. Pero la realizacin de la medida implica el uso de un aparato que ample el
estado de la partcula hasta niveles macroscpicos. Un aparato, por otra parte, que
debe interaccionar con la partcula. Esta interaccin entre aparato de medida y
partcula implica la formacin de un estado enmaraado de ambos, estado que
incluye, dicho sea de paso, a todas las partculas que componen el propio aparato.
Cabe entonces asumir que todo el sistema (partcula medida y todas las partculas
del aparato) est en un estado enmaraado |Y}, que se podr expresar como combinacin lineal de los autovectores de un nuevo operador As,k. Estos vectores forman
un sistema ortonormal completo del espacio de Hilbert producto directo
H=HsH1...Hn, donde Hs es el espacio de Hilbert asociado a la partcula que se
trata de medir y H1,...,Hn son los espacios de Hilbert asociados a las partculas del
aparato de medida. Esto introduce dos dificultades. En primer lugar, el sistema
global (partcula y aparato) se encontrar, inmediatamente despus de la medida,
que no es ms que una interaccin fsica entre sistemas, en una superposicin de los
autoestados de As,k y no en alguno concreto de tales autoestados. Por otra parte, aun
si consiguiramos uno de los autoestados de As,k, tal estado sera enmaraado y no
representara el estado ni de la partcula ni del aparato de medida. Sin embargo, la
teora postula que el resultado de una medida es un autovalor de As y que el estado
final es uno de sus autoestados. Adems, de hecho, es eso lo que observamos: al
medir, el ndice del aparato o la informacin digital que proporciona tiene un valor
concreto; un valor que es, precisamente uno de los autovalores de As.
Todo lo explicado indica un comportamiento ciertamente peculiar de las
cosas e induce a pensar, como muchos autores han hecho, que la teora cuntica es,
de algn modo, incompleta, ya sea porque el vector de estado no contiene una descripcin completa del estado de un sistema, porque la ecuacin de Schrdinger no es
una representacin adecuada o porque el formalismo falla en algn otro lugar. Resulta muy notable el hecho de la coexistencia de dos tipos de evolucin, una determinista
(dada por la ecuacin de Schrdinger) y otra no determinista, que hace acto de presencia, al parecer, cuando un observador consciente decide hacer una medida. Pero
eso no es todo. El proceso de medida conlleva una fuerte inconsistencia interna, que
radica en que el aparato de medida es tambin un sistema fsico. Como tal, debe
evolucionar segn la ecuacin de Schrdinger en sus interacciones habituales con
otros sistemas, incluidas las partculas. Pero debe comportarse como aparato de
medida cuando se est utilizando como tal, comportndose entonces segn las reglas no deterministas de la medida. Muchas de las consecuencias de la teora cuntica
resultan ms o menos sorprendentes. Pero este doble comportamiento de los aparatos de medida, ms que sorprender, supone una manifiesta contradiccin.
A continuacin vamos a presentar una discusin crtica de la llamada interpretacin ortodoxa o de Copenhague de la teora cuntica y a explicar, de manera
resumida varias posibles alternativas a ella.
50
22/08/2003, 8:30
02.pmd
51
22/08/2003, 8:30
posicin, slo tiene sentido cuando se realiza una medida de la partcula con un
aparato diseado para detectar su posicin. Es decir, la posicin es algo que slo
existe en el contexto del aparato y del observador que lo utiliza; no en el contexto de
la partcula. Aplicado al caso de la dualidad onda-corpsculo manifestadas tanto
por fotones como electrones, esta interpretacin se convierte en el principio de
complementariedad: las partculas no poseen ambas propiedades o a veces una y a
veces otra. No poseen ninguna de las dos. Una u otra se manifiestan slo en el
contexto de un proceso de medida adecuado. No existiendo procesos de medida en
que se manifiesten las dos, es imposible que ambas aparezcan juntas.
Heisenberg prefera una variante de este esquema interpretativo segn la
cual el sistema fsico posee un estado definido en cada momento, slo que ese estado no es directamente accesible mediante un proceso de medida. Estas limitaciones, quiz insalvables, del proceso de medida, implican, sin embargo, que la teora
cuntica proporciona una descripcin incompleta de la realidad fsica. A cambio, es
compatible con la existencia de una realidad fsica independiente de la presencia de
observadores y aparatos de medida. Esta interpretacin parece prudente porque
para cualquier vector del espacio de Hilbert existe siempre un operador para el que
es un autovector. Como no tenemos acceso al vector de estado si no lo medimos, no
podemos saber cul es ese operador. Pero el formalismo establece su existencia. En
este sentido, Heisenberg tena razn.
Sin embargo, una cuidadosa mirada pone de manifiesto algunas dificultades. Si nos referimos a la posicin, por ejemplo, de un electrn libre, su evolucin
temporal produce un vector de estado que es una combinacin lineal de infinitos
autoestados del operador posicin, cualquiera que sea el sistema de coordenadas
utilizado para definir el operador. Estos autoestados caracterizan todas las posiciones que el electrn puede ocupar tras una medida, posiciones que presentan una
distribucin continua. Si el electrn est dentro de una caja, al medir su posicin, el
resultado puede ser cualquiera, dentro de la caja. Sin embargo, en general, cuando
no se realiza una medida, lo que el vector de estado dice es que la posicin que
ocupa el electrn (que evoluciona de un modo determinista segn la ecuacin de
Schrdinger) es una superposicin de todas las posiciones, de todos los puntos
espaciales, dentro de la caja. Segn esto, aunque la interpretacin de Heisenberg
pareca razonable, no es eso lo que la teora est representando. Si Heisenberg tuviera razn, habra algo mal en la teora, ms all de una cuestin de limitacin
epistmica de informacin por parte de un observador. La existencia de estados
enmaraados, que no haba sido bien comprendida cuando Heisenberg propuso su
interpretacin, parece indicar tambin que la indefinicin del estado del sistema
entre medidas es algo ms que el resultado de nuestra mera ignorancia.
Volviendo a la interpretacin ortodoxa pura (la que defenda Bohr), hemos visto que una de sus consecuencias es que no cabe ni siquiera hablar de cmo es
un sistema fsico entre medidas, puesto que cualquier respuesta a preguntas de este
tipo slo puede darse en el contexto de una medida. Esto puede resultar chocante
para el sentido comn, habituado a tratar con objetos que estn en sitios concretos
y que se mueven con velocidades, direcciones y sentidos concretos. Sin embargo, no
hay contradiccin formal en ello. El siguiente experimento, tomado de la experien-
52
22/08/2003, 8:30
12
Para adquirir una visin adecuada de lo que la teora cuntica significa, es necesario
evitar analogas basadas en el comportamiento del mundo clsico. Lo nico que pretendo con estos
ejemplos es mostrar que es posible un sistema macroscpico en el que, como ocurre con la moneda,
un observable no tiene ningn valor definido hasta que se le observa y, como en el caso del dado, los
estados de dos observables no tienen valores concretos simultneos. Cualquier extrapolacin de esta
analoga puede producir confusin en lugar de clarificar.
02.pmd
53
22/08/2003, 8:30
como sistema cuntico, que interacta con otros sistemas cunticos segn las leyes
deterministas que gobiernan la evolucin del vector de estado o como sistema clsico, siempre con propiedades observables definidas, pero no determinista.
Cabra pensar que este problema no es sino un caso ms de descripciones
de la naturaleza, una ms perfecta que la otra, pero ambas vlidas cuando la precisin requerida no es muy alta. Es el caso de la Fsica prerelativista y relativista. La
segunda engloba a la primera. En situaciones en que las velocidades y aceleraciones
involucradas son pequeas, las predicciones de ambas son prcticamente indistinguibles. Pero no es sta la situacin de la teora cuntica: si es completa, la superposicin de autoestados debera darse en el mundo macroscpico tambin, como sucedera en el caso del famoso gato de Schrdinger, que trataremos a continuacin.
Y, desde luego, no hay razn para que la teora (siendo completa) no d una descripcin completa del proceso de medida. Adems, un proceso de medida es una
interaccin entre partculas. No hay razones de principio que distingan cundo una
interaccin forma parte o no de un proceso de medida y, por tanto, cundo debe
estar gobernada por la teora cuntica y cundo no.
Ante este estado de cosas, la posicin de muchos fsicos ha sido y es que la
teora cuntica no debe ser tomada en serio por lo que a descripcin realista del
mundo se refiere. La realidad es una cosa, quiz indescriptible. La teora cuntica
slo proporciona una herramienta de clculo, extremadamente precisa, por cierto.
Es una va de escape. Sin embargo, resulta desagradablemente similar a la que sobre
la Astronoma imperaba en la Edad Media: la Astronoma proporcionaba herramientas para calcular la posicin de los planetas, pero no una descripcin de como
se movan los planetas.
SUPERPOSICIN DE ESTADOS MACROSCPICOS
Hemos visto cmo los estados de los sistemas compuestos son vectores de un
espacio de Hilbert construido como producto directo de los espacios de Hilbert asociados a cada partcula y cmo, despus de una interaccin entre las partculas del
sistema compuesto, el estado de ste resulta enmaraado. El estado enmaraado evoluciona como una entidad individual, gobernado por la ecuacin de Schrdinger, y
el estado de cada partcula de las que forman parte del sistema no vuelve a manifestarse hasta que se realiza una medida que afecte slo a esa partcula (lo que, por otra
parte, produce el colapso del vector de estado del resto del sistema). El proceso de
construccin de espacios de Hilbert mediante producto directo de los asociados a
cada partcula no tiene lmite, por lo que se puede llegar al espacio de Hilbert asociado a un sistema macroscpico. Los observables seguirn representados por operadores que tendrn asociados sistemas ortonormales completos de autovectores13. Lo
13
Asumimos, como en el resto del artculo, que no hay degeneracin; es decir, que cada
autovector lleva asociado un autovalor distinto.
02.pmd
54
22/08/2003, 8:30
14
E. SCHRDINGER, 1935. Die gegenwrtige Situation in der Quantenmechanik. Naturwissenchaften, 23, 807-812, 823-828, 844-849.
15
R. PENROSE, 1989. The Emperors New Mind. Oxford University Press, p. 366. Traduccin al espaol: La nueva mente del emperador. Ed. Mondadori, 1991.
02.pmd
55
22/08/2003, 8:30
mismo que para un sistema de pocas partculas, la realizacin de una medida ahora
comporta tambin el colapso del vector de estado y, desde luego, el estado del sistema cuando no se realiza una medida es un estado superpuesto (y enmaraado). Si
esto es cierto, debera ser posible detectar la presencia de estos estados superpuestos
en procesos del mundo macroscpico al que, intuitivamente, estamos habituados.
El clebre experimento mental del gato de Schrdinger14 muestra lo peculiar de una
situacin similar y supone una dificultad realmente seria a la interpretacin ortodoxa de la teora.
Con alguna modificacin, que tomo de Penrose15 y que lo hace ms claro,
el experimento es como sigue. Supongamos que disponemos en una habitacin
cerrada una ampolla con cianuro y una fotoclula con un dispositivo que, en caso
de que la fotoclula detecte la llegada de un fotn, salta y rompe la ampolla permitiendo as que el cianuro se expanda. En un lugar de la habitacin se coloca un
emisor de fotones (una bombilla) que es capaz de emitirlos de uno en uno. En otro
lugar se coloca un espejo semireflectante; es decir, un espejo que, al llegar a l un
fotn, lo deja pasar o lo refleja con una probabilidad de un 50% en cada caso. El
espejo est dispuesto de forma que, si el fotn es reflejado (y slo en este caso),
incidir sobre la fotoclula (lo que desembocar en la rotura de la ampolla). En la
habitacin se introduce un gato (vivo). Se emite un fotn. La pregunta es: qu le
ocurre al gato?
La respuesta que puede resultar obvia tras un razonamiento de tipo clsico es que el gato tiene un 50% de probabilidades de sobrevivir: todo depende de si
el fotn es reflejado o transmitido por el espejo. Pero el contenido de la habitacin
es un sistema cuntico. Por tanto su evolucin temporal debe estar regida por la
ecuacin de Schrdinger y debe ser un proceso determinista hasta que se realice una
medida sobre l. Ese proceso determinista implica lo siguiente. Al principio tenemos un fotn en un determinado estado; cianuro cuyas partculas estn en un determinado estado (dentro de la ampolla, cuyas partculas estn tambin en un determinado estado, cada una); fotoclula, dem; un espejo, dem, y un gato, cuyas
partculas estn en ciertos estados cuya consecuencia es el estado |gato-vivo}. Al
incidir el fotn sobre el espejo, pasa a un estado superpuesto cuyas componentes,
con pesos idnticos, son fotn transmitido y fotn reflejado, que representaremos
por |T} y |R}, respectivamente. Como la ecuacin de Schrdinger es lineal, podemos seguir la evolucin de cada componente por separado. La componente |T}
sigue su curso (que, en este caso, no nos interesa especialmente) y, despus de un
cierto tiempo, evoluciona por s sola a |T}. La componente |R} incide sobre la
fotoclula y pasa al estado |D}, dispara el dispositivo, rompe la ampolla, difunde el
cianuro y concluye en el estado |gato-muerto} para el gato. Prescindiendo, por
simplicidad, de escribir los estados de los dispositivos intermedios (fotoclula, ampolla, etc.) y centrndonos en el fotn y el gato, tenemos la siguiente superposicin
de estados enmaraados:
|H}=|T}|gato-vivo}+|D}|gato-muerto}
02.pmd
56
22/08/2003, 8:30
16
K. POPPER, 1982. Quantum Theory and the Schism in Physics. From the Postscript to the
Logic of Scientific Discovery. Edicin en espaol: Tecnos, 1992
02.pmd
57
22/08/2003, 8:30
17
E.P. WIGNER, 1961. Remarks on the mind-body question. En The scientist speculates.
Ed. I.J. GOOD, Heinemann, Londres.
18
Las fracciones deben ser las probabilidades asociadas a cada autoestado en una medida
realizada sobre el estado superpuesto.
02.pmd
58
22/08/2003, 8:30
19
H. EVERETT, 1957. Relative State formulation of Quantum Mechanics. Reviews of
Modern Physics, 29, pp. 454-462.
02.pmd
59
22/08/2003, 8:30
20
D. BOHM. A suggested interpretation of the quantum theory in terms of Hidden Variables I and II. The Physical Review, vol. 85, pp. 166-179, 180-193.
21
De Broglie haba presentado una versin simplificada de la que habra de ser la interpretacin de Bohm en el congreso de Solvay de 1927. Bohm slo supo de la propuesta de de Broglie
despus de haber formulado su propia interpretacin.
22
J.S. BELL, 1966. On the problem of hidden variables in quantum mechanics. Reviews
in Modern Physics, vol. 38, pp. 447-475. Publicado tambin en J.S. BELL: Speakable and unspeakable
in quantum mechanics, Cambridge University Press, Cambridge, 1987.
23
A. ASPECT, J. DALIBARD, G. ROGERS, 1982. Experimental tests of Bells inequalities
using time-varying analyzers. Physical Review Letters, nm. 49, pp. 1.804-1.807.
02.pmd
60
22/08/2003, 8:30
02.pmd
61
22/08/2003, 8:30
24
G.C. GHIRARDI, A. RIMINI, T. WEBER, 1986. Unified dynamics for microscopic and
macroscopic systems. Physical Review D. nm. 34, pp. 470-491.
02.pmd
62
22/08/2003, 8:30
02.pmd
63
22/08/2003, 8:30
25
R. PENROSE, 1994. Shadows of the Mind. Oxford University Press. Editada en espaol
por Drakontos, 1996, pp. 355 y ss. de la edicin en espaol.
26
R. PENROSE. Shadows of the Mind. Ibid, pp. 361 de la edicin en espaol.
02.pmd
64
22/08/2003, 8:30
En la seccin anterior he presentado las alternativas a la interpretacin ortodoxa de la teora cuntica que me parecen ms atractivas. Como hemos visto, las
propuestas no estn, en modo alguno, completamente establecidas. Sin embargo,
tampoco hay razn slidamente establecida que apoye la interpretacin ortodoxa
en sentido estricto. El apego de muchos fsicos y filsofos a esta interpretacin se
basa en el xito prctico del formalismo. Pero limitarse a este xito implica una
posicin fuertemente instrumentalista que es, cuando menos, prescindible. Desde
luego, las interpretaciones realistas no tienen un apoyo directo por parte de los experimentos. Pero la interpretacin instrumentalista carece igualmente de ese apoyo,
excepto por el hecho trivial de que cualquier explicacin instrumentalista de una
herramienta es vlida dentro del propio marco instrumentalista.
Lo que quiero decir, en definitiva, es que no es cierto que la teora cuntica
muestre un mundo conceptualmente inaccesible al ser humano; un mundo en el que
no quepa preguntarse por la naturaleza real de las cosas; cuyo comportamiento no
sea ms que una eventualidad sujeta al arbitrio del observador. Los contrasentidos en
los que cae la interpretacin ortodoxa (bsicamente del tipo gato de Schrdinger)
y los esquemas de interpretacin alternativa que he mencionado deben ser suficientes para mostrar que la realidad del mundo de ah afuera est ahora tan a salvo como
lo estaba en el contexto de la Fsica clsica. Puede que la naturaleza tenga un comportamiento intrnsecamente probabilista. Pero ese comportamiento, no debido a nuestra ignorancia, es real; forma parte del mundo tal como es, que puede seguir adelante
sin necesidad de mentes conscientes que se pregunten sobre l.
APNDICE: ESPACIO DE HILBERT
Un espacio de Hilbert es un espacio vectorial con ciertas propiedades adicionales. Como aqu no estamos interesados en una presentacin matemticamente formal, vamos simplemente a revisar cules son las propiedades que nos interesan, sin detenernos a discutir si son generales de un espacio vectorial o especficas de
02.pmd
65
22/08/2003, 8:30
INSTRUMENTALISMO EVITABLE
66
22/08/2003, 8:30
una oportuna generalizacin pero que exceden los objetivos de este artculo, resulta fundamental el hecho de que el conjunto de todos los |vi} forman un sistema ortonormal completo de H. Por otra parte, es de sealar que, dado un sistema
ortonormal completo de H, existe un operador cuyos autovectores son los elementos de dicho sistema.
El ltimo concepto que introduciremos es el de operadores conmutantes.
Dos operadores conmutan si el resultado de aplicarlos sucesivamente es el mismo,
independientemente del orden en que se realice esta aplicacin. Matemticamente,
AB|v}=BA|v}. O bien (AB-BA)|v}=|0}, que es lo mismo que escribir (AB-BA)=O,
donde |0} es el vector nulo y O el operador nulo, definido como el que asigna a
cualquier vector el vector nulo. Un resultado de enorme importancia para la teora
cuntica es que los autovectores de dos operadores que conmuten son comunes; o
sea que el sistema ortonormal completo definido por un operador es el mismo para
todos los operadores que conmuten con l y slo para ellos.
02.pmd
67
22/08/2003, 8:30