Lo Decible y Lo Indecible en La Mecanica Cuantica JS Bell PDF

J.S.
BELL
Lo decible y lo indecible
en la mecnica cuntica
en mecnica cuntica
en mecnica cuntica
Recopilacin de artculos sobre fiiosofa cuntica
Alianza
Editorial
Ttulo original: Speakable and unspeakable in quantum rnechanics
@ Cambridge University Press, 1987

@ Ed cast.: Alianza Editorial, S. A-, Madrid, 1990
Calle Miln, 38, 28043 Madrid; telf. 200 00 45
ISBN: 84-2062661-9
Depsito legal: M. 45.863-1990
Fotocomposicin: EFCA, S. A.
Dr. Federico Rubio y Gall, 16. 28039 Madrid
Impreso en Lavel. Los Llanos, nave 6. Humanes (Madrid)
Printed in Spain
Indice
Introduccin ...........................................................................
Lista de artculos sobre filosofa cuntica de J . S. Be11.................
Prlogo ...................................................................................
Agradecimientos ......................................................................
Sobre el problema de las variables ocultas en la mecnica

.
cuantica ...........................................................................
Sobre la paradoja de Einstein-Podolsky-Rosen .................

El aspecto moral de la mecnica cuntica ...........................
Introduccin a la cuestin de las variables ocultas ..............
Sujeto y objeto ................................................................

Sobre la reduccin del paquete de ondas en el modelo de
Coleman-Hepp ...............................................................
8 Indice
Teora de los beables locales ........................................ 89
La localidad en mecnica cuntica: rplica a crticas ........... 104
Cmo ensear la relatividad especial ................................. 109
Experimentos Einstein-Podolsky-Rosen .......................... 126
La teora de la medida de Everett y la onda piloto de

de Broglie ........................................................................ 141
Variables libres y causalidad local ..................................... 149
Fotones de cascada atmica y no localidad cuntica ........... 155
La teora de de Broglie.Bohm. el experimento de la doble

rendija con eleccin retardada y la matriz densidad ........... 163
Mecnica cuntica para cosmlogos .................................. 170
Los calcetines de Bertlmann y la naturaleza de la realidad .. 197
Sobre la imposible onda piloto ......................................... 221
Lo decible y lo indecible en mecnica cuntica .................. 234
Beables para la teora cuntica de campos .......................... 238
20 . Seis mundos posibles de la mecnica cuntica .................... 249
21 . Correlaciones EPR y distribuciones EPW ........................ 267
22 . Hay saltos cunticos? ..................................................... 274

A mis padres
Introduccin
...Y BELL DIO LA CAMPANADA
Einstein deca que la mecnica cuntica no poda ser una teora

-
completa ya que, de serlo, nos veramos abocados a creer en la
*
existencia de una fantasmal accin a distancia, lo cual l pensaba

haber desterrado para siempre de la fsica gracias a su formulacin del
principio de relatividad general. Por otro lado, Bohr se esforzaba en
explicar que la *accin a distanciar que comporta la teora cuntica no
es de naturaleza dinmica y, por lo tanto, no viola el principio de
relatividad. Ahora sabemos que, en esto ltimo, Bohr tena razn;
pero sus argumentos ante los ataques de Einstein no eran excesiva-
mente claros y su idea de la realidad fsica fluctuaba entre un
pragmatismo puramente operacionalista y un idealismo un tanto
vergonzante.
Pero si la mecnica cuntica no fuera completa, jcmo podra
completars se^? (Desde luego, manteniendo tal cual sus aspectos
estadsticos, en los que su poder predictivo y su correccin~son
indiscutibles.) La idea que primero salta a la vista es la de introducir
unas variables, oculrs>>al nivel descriptivo de la mecnica cuntica,
pero que podran, en principio, hacerse manifiestas con el concurso de
una eventual teora ms bsica. La mecnica cuntica tendra enton-
ces el rango de .aproximacin estadstica. a una teora de tipo
determinista y objetivo.
12 Lo decible y lo indecible en mecnica cuntica
Sin embargo esa idea - e l sueo de Einstein- no pareca ser en

modo alguno realizable: von Neumann, en 1932, haba probado un
teorema que exclua la posibilidad de variables ocultas si se mantenan
todos los aspectos puramente estadsticos de la mecnica cuntica (jY
quin iba a poner eso en duda!). Una vez ms en la historia de la
ciencia, el argumento de autoridad se impuso; en esta ocasin de una
manera ciertamente comprensible, toda vez que el prestigio matemti-
co de von Neumann era grande y no lo era menos el xito <<prctico>>
de la mecnica cuntica. De modo que cuando, en 1952, David Bohm
construy de manera explcita un sencillo modelo de variables ocultas
que coincida, en su dominio de aplicacin, con la mecnica cuntica
en todos los aspectos estadsticos de sta, casi nadie se puso nervioso,
y el trabajo de Bohm pas entonces bastante desapercibido. Pero s
hubo unos pocos, los eternos nadadores contracorriente, que no
abandonaron el tema. Entre ellos, algunos aos ms tarde, se encon-
traba nuestro hroe, John Bell, que en 1964-65 aclar -si se me
permite el fcil juego de palabras- .por quin doblaban las campa-
nas* : en otras palabras, puso los puntos sobre las es en lo referente al
debate teoras de variables ocultas versus mecnica cuntica.
En esos aos Be11 public dos trabajos -los primeros del presente
volumen- que han de considerarse ya como verdaderas obras clsicas
de la fsica terica de nuestra poca (aunque el ao de publicacin del
primero en 1966, en realidad se envi a la revista en 1964; las razones
de tal demora en su aparicin no vienen al caso). En el primero se
exponan, con una claridad ciertamente asombrosa, las causas del
e f d l o ~del teorema de von Neumann; lo cual al tiempo explicaba
cmo Bohm haba ~ o d i d osaltrselo olmpicamente al construir su
modelo. Asimismo se ponan en su justo lugar teoremas ms sofistica-
dos, como el de Jauch-Piron y el poderoso, desde el punto de vista
matemtico, de Gleason. En este trabajo se barrunta ya el papel
fundamental que ha de jugar la no-se~arabilidadpara que una teora
de variables ocultas sea estadsticamente anloga a la mecnica cunti-
ca. Sin embargo, el anlisis preciso y detallado de esta cuestin se lleva
a cabo en el segundo artculo, en el que se deducen las hoy universal-
mente famosas .desigualdades de Bell*.
Un conocido fsico terico, Henry P. Stapp, profesor en la
universidad californiana de Berkeley, ha llegado a afirmar que las
desigualdades de Be11 constituyen el hallazgo ms profundo de la
historia de la ciencia (supongo que debe referirse a la ciencia pura).
Ciertamente, esto es bastante exagerado, pero no cabe duda de la
Introduccin 13
importancia de dichas desigualdades. Hasta su formulacin, la cues-

tin de si existe un mundo subcuntico, con las caractersticas de
determinismo y objetividad ausentes en la teora cuntica y del cual
sta de hecho proporcionara una descripcin puramente estadstica,
sola debatirse a niveles peligrosamente prximos a la metafsica.
Be11 llev el debate al terreno de la ciencia positiva: sus desigualdades
son - c o n ciertos perfeccionamientos de tipo t c n i c v suscepti-
bles de verificacin experimental y proporcionan un procedimiento
para distinguir inequvocamente la mecnica cuntica de cualquier
teora de variables ocultas locales (es decir, que cumplan la propiedad
tan anhelada por Einstein y sus seguidores).
En el trabajo que se acaba de citar (como ya se ha dicho, el
segundo de este libro), se consideraba el caso de variables ocultas
perfectamente deterministas. La necesidad de determinismo estricto
se elimina en el trabajo cuarto del presente volumen, en donde se trata
con variables ocultas que pueden poseer un carcter estocstico. Lo
esencial es en definitiva la propiedad de localidad -o, mejor, separa-
bilidad- de tales variables. En resumen: la caracterstica esencial de la
mecnica cuntica es la no-separabilidad, el hecho de que esta teora
contemple la existencia de *misteriosas>>correlaciones a distancia de
una naturaleza absolutamente diferente de las correlaciones usuales o
.clsicas>>.La peculiaridad de las correlaciones cunticas, el ser instan-
tneas y, por lo tanto, no trasmitirse de manera *dinmica>>entre los
sistemas involucrados (y, no obstante, no provenir de propiedades
comunes previas como es el caso en las correlaciones *clsicas>>)
supone un autntico rompecabezas para los interesados en la funda-
mentacin de la teora cuntica. Si se lee con atencin el artculo
decimosexto de los presentados en este volumen se entender bien por
qu. Es dicho artculo, .Los calcetines de Bertlmann y la naturaleza
de la realidad., un exponente muy significativo de la agudeza de
pensamiento y claridad de exposicin de John Bell.
Es indudable -l mismo as lo confiesa- la influencia sobre Be11
de las ideas de Einstein acerca del carcter objetivo de la realidad
fsica. Pero no puede pasar por alto -l menos que nadie- que los
experimentos parecen confirmar el carcter no-separable de dicha
realidad. (Cmo formular entonces una teora anloga a la cuntica en
el aspecto estadstico, pero que no necesite en su fundamentacin del
subjetivismo inherente a la observacin, verdadera piedra angular de
sta ltima? Asegura Be11 en repetidas ocasiones en este libro que la
base de una teora tal fue establecida, hace ms de sesenta aos, por de
Broglie y posteriormente ampliada hasta cierto punto por Bohm: la

llamada *interpretacin de la onda-piloto>>o, tambin, .de la doble
solucin>>.Esta interpretacin se describe en varios lugares del libro,
sobre todo en el captulo (artculo) decimoquinto. En otros dos
artculos, Be11 expone su propia teora de lo que l denomina ~ b e a -
bles>>-en contraposicin a observables-, que, aunque en un estadio
an primitivo, podra proporcionar una alternativa a la teora cuntica
de campos, con idntico poder predictivo .estadstico* que sta, pero
con la ventaja de su formulacin precisa. Sin embargo, aparte la
dificultad de su desarrollo matemtico, tal teora tiene problemas muy
serios en relacin con la relatividad, que el propio Be11 presenta con
toda crudeza (artculos 7 y 19).
Querra ahora hacer un breve comentario sobre el ttulo del libro.
He preferido traducirlo literalmente -Speakable and unspeakabk in
Quantum Mechanics, en ingls- aunque no s si la palabra .decible>>
es muy correcta en espaol (por boca de un experto me he enterado
que puede usarse, sobre todo cuando se hace en contraposicin a
*indecible.); en cualquier caso, con ella se expresa de manera clara la
idea del autor. Idea que se manifiesta a lo largo de toda la obra, pero
que tal vez est bien resumida en el siguiente prrafo del artculo que
da el ttulo al libro (el nmero 18) El "Problema" entonces es ste:
jcmo ha de dividirse el mundo en el aparato decible... sobre el que
podemos hablar y el sistema cuntico indecible sobre el que no
podemos hacerlo?...B. En casi todos los artculos del libro se plantea
este problema de una u otra manera; de hecho, la teora de los beables
antes mencionada trata de resolverlo en el espritu de de Broglie y
Bohm.
Para no hacer demasiado extensa esta introduccin, aadir slo
esto: el lector tiene en sus manos una recopilacin de los trabajos
esenciales de uno de los grandes filsofos cunticos actuales - e n el
sentido tradicionalmente dado a la filosofa natural-. Un fsico
terico que, a la vez que profesional en su mtodo de trabajo, parece
amateur* por su entusiasmo y por su valenta al apartarse de los
senderos trillados y plantearse cuestiones que la mayora de sus
colegas creen, errneamente, ya resueltas por las .autoridades cient-
ficas competentes* o, en trminos del mismo Bell, por d o s padres
fundadores B.
Cuando esta introduccin ya se hallaba en pruebas, me lleg la
noticia del inesperado fallecimiento de John Bell, en Ginebra el
pasado mes de septiembre, a causa de un fulminante ataque cerebral.
Introduccin 15
Con ocasin de tan triste suceso, resultara superfluo el insistir en la

opinin que como cientfico y como persona me mereca John Bell;
creo haberla expresado con suficiente claridad en las lneas preceden-
tes.
Jos L. Snchez Gmez

Catedrtico de Fsica Terica
Universidad Autnoma de Madrid
J. S. BELL: ARTICULOS SOBRE FILOSOFIA
CUANTICA
O n the problem of hidden variables in quantum mechanics.

Reviews of Modern Physics 38 (1966) 447-52.
O n the Einstein-Podolsky-Rosen paradox. Physics 1 (1964) 195-
200.
The moral aspect of quantum mechanics (con M. Nauenberg) In
Preludes in Theoretical Physics, editado por A. De Shalit, H. Fesh-
bach y L. Van Hove. North Holland, Amsterdam (1966), pp. 279-86.
Introduction to the hidden-variable question. Foundations of
Quantum Mechanics. Proceedings of the International School of
Physics Enrico Fermi~,course IL, New York, Academic (1971),
pp. 171-81.
O n the hypothesis that the Schrodinger equation is exact. TH-
1424-CERN octubre 27, 1971. Contribution to the International
Colloquium on Issues in Contemporary Physics and Philosophy of
Science, and their Relevance for our Society, Penn State University,
September, 1971. Reproducido en Epistemological Letters, julio 1978,
pp. 1-28, y aqu en forma revisada como 15. Omitido.
Subject and Object. En The PhysicistJs Conception of Nature
Dordrecht-Holland, D. Reidel (1973), pp. 687-90.
Introduccin 17
O n wave packet reduction in the Coleman-Hepp model. Helveti-

ca Pbysica Acta 48 (1975), 93-8.
The theory of local beables. TH-2053-CERN, 1975 July 28.
Presentado en Sixth GIFT Seminar, Jaca, 2-7 junio 1975, y reproduci-
do en Epistemological Letters, marzo 1976.
Locality in quantum mechanics: reply to critics. Epistemological
Letters, Nov. 1975, pp. 2-6.
How to teach special relativity. Progress in Scientific Culture, Vol.
1, n." 2, verano 1976.
Einstein-Podolsky-Rosen experiments. Proceedings of the Sympo-
sium on Frontier Problems in High Energy Physics, Pisa, junio 1976,
pp. 33-45.
The measurement theory of Everett and de Broglie's pilot wave.
In Quantum Mechanics, Determinism, Causality, and Particles, edita-
do por M. Flato et al. Dordrecht-Holland, D. Reidel, (1976), pp. 11-
77.
Free variables and local causality. Epistemological Letters, febrero
1977.
Atomic-cascade photons and quantum-mechanical nonlocality.

Comments on Atomic and Molecular Physics 9 (1980) pp. 121-6.
Charla invitada en Conference of the European Group for Atomic
spectroscopy, Orsay-Pars, 10-13 julio, 1979.
De Broglie-Bohm, delayed-choice double-slit experiment, and

density matrix. International Journal of Quantum Chemistry: Quan-
tum Chemistry Symposium 14 (1980), 155-9.
Quantum mechanics for cosmologists. In Quantum Grdvity 2,
editores C. Isham, R. Penrose, y D. Sciama. Oxford, Clarendon Press
(1981), pp. 611-37. Versin revisada de <<Onthe hypothesis that the
Schrodinger equation is exact (vase ms arriba).
Bertlmann's socks and the nature of reality. Journal de Physique,

Colloque C2, suppl. al numero 3, tomo 42 (1981), pp. C2 41-61.
O n the impossible pilot wave. Foundations of Physics 12 (1982)'

pp. 989-99.
Speakable and unspeakable in quantum mechanics. Comentarios

introductorios en Naples-Ama& meeting, mayo 7, 1984.
Quantum field theory without observers. Talk at Naples-Amalfi
meeting, mayo 11, 1984. (Versin preliminar de aBeables for quan-
tum field theory*.) Omitido.
Beables for quantum field theory. 1984 agosto 2, CERN-TH.
4035/84.
Six possible worlds of quantum mechanics. Proceedings of the
Nobel Symposium 65: Possible Worlds in Arts and Sciences. Estocol-
mo, agosto 11-15, 1986.
EPR correlations and EPW distributions. En N e w Techniques
and Ideas in Quantum Measurement Theory (1986). New York
Academy of Sciences.
Are there quantum jumps? En Schrodinger. Centenary of a poly-
math (1987). Cambridge University Press.
PROLOGO
Simon Capelin, de Cambridge University Press, sugiri que le

enviase mis artculos sobre filosofa cuntica y le permitiese recopilar-
los en un libro. As lo he hecho. Dichos artculos, del perodo
1964-86, se presentan aqu en el orden en que fueron escritos, al
menos en lo que puedo recordar. Pero ciertamente se no es el orden,
si hay alguno, en el que deberan ser ledos.
Los artculos 18 y 20, *LO decible y lo indecible en la mecnica
cuntica,, y .Seis mundos posibles de la mecnica cuntica~,son
introducciones no-tcnicas a la materia. Se ha intentado que sean
inteligibles para los que no son fsicos. Eso mismo ocurre con la
mayor parte del artculo 16, xLos calcetines de Bertlmann y la
naturaleza de la realidad>>,que trata del problema de la aparente
acci6n a distancia.
Para aquellos que conocen algo el formalismo cuntico, el artculo
3, .Los aspectos morales de la mecnica cuntica., introduce el
infame .problema de la medida>>.Agradezco a Michael Nauenberg,
coautor del artculo, su permiso para incluirlo aqu. Al mismo nivel
aproximadamente, el artculo 17, .Sobre la imposible onda piloto*,
comienza la discusin de las variables ocultas y de las demostra-
ciones de *imposibilidad>>relacionadas.
Discusiones ms elaboradas del <<problemade la medidas aparecen

en el artculo 6, Sobre la reduccin del paquete de ondas en el
modelo de Coleman-Hepp, y en el 15, Mecnica cuntica para
cosmlogos~.Estos artculos muestran mi conviccin de que, a pesar
de las numerosas soluciones del problema a todos los efectos prcti-
cos>>,queda en pie un problema de principio. Este es el de colocar con
~recisinel lmite entre lo aue debe describirse mediante estados
1 I
ondulatorios cunticos por un lado y en trminos clsicos de Bohr

por otro. La eliminacin de este evasivo lmite ha constituido siempre
para mi la mxima atraccin de la descripcin de la <<onda-piloto*.
Desde luego, a pesar de las indecibles <<pruebasde imposibilidad^,
la descripcin de la onda-piloto de de Broglie y Bohm existe. Ms an,
en mi opinin, debera ser expuesta a todos los estudiantes, pues ello
estimula la flexibilidad y precisin de pensamiento. En particular,
ilustra muy explcitamente la intuicin de Bohr sobre que el resultado
de una amedidan no revela en general alguna propiedad preexistente
del sistema, sino que es un producto a la vez del sistema y del
<<aparato>>. Creo que si esto se hubiera apreciado en su totalidad, la
mayora de las apruebas de imposibilidad. y la mayor parte de la
<<lgicacuntica~hubieran resultado intiles. En los artculos 1 y 4, y
tambin en el 17, se eliminan las <<pruebasde imposibilidad*. Exposi-
ciones ms constructivas de varios aspectos de la descripcin de la
<<onda-piloto>> se hallan en los artculos 1, 4, 11, 14, 15, 17 y 19. La
mayor parte de esto es para la mecnica cuntica no relativista, pero el
ltimo artculo, el 19, <<"Beablesnpara la teora cuntica de camposB
discute las extensiones relativistas. Mientras que se obtienen los
resultados usuales para los tests experimentales de la teora de la
relatividad, es de lamentar que aparezca involucrado un sistema de
referencia preferente por detrs de los fenmenos. En conexin con
esto, se ha incluido un artculo, el 9, Cmo ensear la relatividad
especial, aunque en l no se haga particular referencia a la mecnica
cuntica. Creo que puede ser de ayuda en lo concerniente, a un nivel
fundamental, al sistema de referencia preferente del artculo 19.
Muchos estudiantes no caen jams en la cuenta, as me lo parece, de que
esta sencilla actitud, el admitir un sistema especial de referencia que es
experimentalmente inaccesible, es consistente ... si bien poco refinada.
Todo estudio de la teora de la onda-piloto, cuando se considera
ms de una partcula, conduce en seguida a la cuestin de la accin a
distancia, o uno-localidad>>,y a las correlaciones tipo Einstein-
Podolsky-Rosen. Esto se trata brevemente en algunos de los artculos
Prlogo 21
mencionados y constituye el punto principal de la mayor parte del

resto. Sobre esta cuestin, sugiero que incluso los expertos en teora
cuntica deberan empezar con el 16, Los calcetines de Bertlmann y
la naturaleza de la realidad., sin saltarse el material algo ms tcnico
del final. Al repasar lo que tengo publicado sobre el asunto de la
localidad, lamento no haber puesto nunca por escrito la versin del
teorema de la desigualdad de la localidad que he venido usando en
conferencias recientemente. Pero el lector puede reconstruirlo con
facilidad. Empieza haciendo nfasis sobre la necesidad del concepto
de ~beablelocal>>segn las lneas de la introduccin del artculo 7. (Si
se examina la causalidad local en una teora dada, ha de decidirse
cules de las muchas entidades matemticas que aparecen se suponen
reales y estando aqu y no all). Despus se formula la condicin de
localidad ms simple adjuntada al artculo 21 (en lugar de la condicin
ms elaborada del 7). Con un argumento construido segn el presen-
tado en el 7, se llega de nuevo a la factorizacin de la probabilidad. La
desigualdad de Clauser-Holt-Horne-Shimony se obtiene entonces
como en el final del 16.
Mi posicin ante la interpretacin de alos muchos mundos. de
Everett-de Witt, bastante negativa, se expone en artculo 11, <<La
teora de la medida de Everett y la onda piloto de de Broglie* y en el
15, <<Mecnicacuntica para cosmlogos~~. Tambin hay algunas
puntualizaciones en el artculo 20.
Existe mucho solapamiento entre los artculos. Pero el encariiiado
autor es capaz de ver algo distintivo en cada uno. Logr persuadirme
de omitir tan slo un par que fueron ms tarde usados de nuevo con
ligeras modificaciones. Las ltimas versiones se incluyen como artcu-
los 15 y 29.
Para su reproduccin aqu, se han corregido algunas erratas
triviales y las referencias a apreprints. se han sustituido por las
referencias a publicaciones en lo posible.
En los artculos individuales he agradecido a muchos colegas su
ayuda. Sin embargo doy aqu nuevamente mis ms expresivas gracias
a Mary Bell. Al hojear otra vez estos artculos, siento en todos ellos su
presencia.
J. S. Bell, Ginebra, marzo de 1987

AGRADECIMIENTOS
1 O n the problem of hidden variables in quantum theory. Rev.

Mod. Phys. 38 (1966) 447-52. Reproducido con permiso de The
American Physical Society.
2 O n the Einstein-Podolsky-Rosen paradox. Physics 1 (1964) 195-
200. Reproducido con permiso de The American Physical Socie-
tY
3 The moral aspect of quantum mechanics (with M. Nauenberg).
En Preludes in Theoretical Physics, editado por A. De Shalit, H.
Feshbach y L. Van Hove, North Holland, Amsterdam (1966)
279-86. Reproducido con permiso de North-Holland Physics
Publishing, Amsterdam.
4 Introduction to the hidden-variable question. Proceedtngs of the
International School of Physics "Enrico Fermi", course IL: Foun-
dutions of Quantum Mechanics. New York, Academic (1971)
171-81. Reproducido con permiso de Societi Italiana di Fisica.
5 Subject and Object. En The Physicist's Conception of Nature,
editado por J . Mehra. D. Reidel, Dordrecht, Holland (1973)
687-90. Copyright @ 1973 por D. Reidel Publishing Company,
Dordrecht, Holland.
6 O n wave packet reduction in the Coleman-Hepp model. Helve-
tica Physica Acta, 48 (1975) 93-8. Reproducido con permiso de
Birkhauser Verlag, Basel.
The theory of local beables. TH-2053-CERN, 1975 julio 28.
Presentado en el sixth GIFT seminar, Jaca, 2-7 junio 1975, y
reproducido en Epistemological Letters, marzo 1976. Reprodu-
cido con permiso de la Asociacin Ferdinand Gonseth. Este
artculo tambin apareci en Dialectica 39 (1985) 86.
Locality in quantum mechanics: reply to critics. Epistemological
Letters, Nov. 1975,2-6. Reproducido con permiso de la Asocia-
cin Ferdinand Gonseth.
How to teach special relativity. Progress in Scientific Culture,
Vol. 1, n." 2, verano 1976. Reproducido con permiso de Ettore
Majorana Centre.
Einstein-Podolsky-Rosen experiments. Proceedings of the sym-
posimt on Frontier Problems in High Energy Physics. Pisa, junio
1976, 33-45. Reproducido con permiso de Annali della Schola
Normale Superiore di Pisa.
The measurement theory of Everett and de Broglie's pilot wave.
En Quantum Mechanics, Determinism, Causality, and Particles,
editado por M . Flato et al. D. Reidel, Dordrecht, Holland,
(1976) 11-17. Copyright @ 1976 por D. Reidel Publishing Com-
pany, Dordrecht, Holland.
Free variables and local causality. Epistemological Letters, febre-
ro 1977. Reproducido con permiso de Association Ferdinand
Gonseth. Este artculo tambin apareci en Dialectica 39 (1985)
103.
Atomic-cascade photons and quantum-mechanical nonlocality.
Cornrnents on atomic and Moleculav Physics 9 (1980) 121-26.
Charla invitada en el Congreso de European Group for Atomic
spectroscopy, Orsay-Pars, 10-13 julio, 1979. Reproducido con
permiso del autor y editores. Copyright @ Gordon and Breach
Science Publishers, Inc.
De Broglie-Bohm, Delayed-choice double-slit experiment, and
density matrix. Znternational Journal of Quantum Chemisty:
Quantum Chemistry Symposium 14 (1980) 155-59. Copyright
@ 1980John Wiley and Sons. Reproducido con permiso de John
Wiley and Sons, Inc.
Quantum mechanics for cosmologists. En Quantum Gravity 2,
editors C. Isham, R. Penrose, and D. Sciama. Clarendon Press,
Oxford (1981) 611-37. Reproducido con permiso de Oxford
University Press.
Bertlmann's socks and the nature of reality. lourna1 de Physiq~e,
Lo decible y lo indecible en mecnica cuntica
Colloque C2, suppl. al numero 3, tomo 42 (1981) C2 41-61.

Reproducido con permiso de Les Editzons de Pbysique.
17 O n the impossible pilot wave. Foundations of Physics 12 (1982)
989-99. Reproducido con permiso de Plenum Publishing Corpo-
ration.
18 Beables for quantum field theory. 1984 agosto 2, CERN-TI1
4035/84. Reproducido con permiso de Routledge & Kegan Paul.
19 Six possible worlds of quantum mechanics. Proceedings of tbe
N o b k Symposilrm 65: Possible Worlds in Arts and Sciences.
Estocolmo, agosto 11-15, 1986, editado por Sture Alln. Repro-
ducido con permiso de la Fundacin Nobel.
20 EPR correlations and EPW distributions. In N e w Tecbniques
and Ideas in Quanturn Measurement Tbeory (1986). Reproduci-
do con permiso de New York Academy of Sciences.
Captulo 1
SOBRE EL PROBLEMA DE LAS VARIABLES
OCULTAS EN LA MECANICA CUANTICA+
1. Introduccin
El conocimiento del estado cuntico de un sistema implica, en

general, slo restricciones estadsticas sobre los resultados de las
medidas. Parece interesante preguntar si este elemento estadstico
debe considerarse que surge, como en la mecnica estadstica clsica,
debido a que los estados en cuestin son promedios sobre estados
mejor definidos para los que los resultados estaran completamente
determinados de modo individual. Estos hipotticos estados <<sin
dispersin>, vendran especificados no slo por el vector estado
mecanocuntico sino adems por <<variablesocultas>>adicionales;
<<ocultas>>porque si pudieran prepararse estados con valores prescri-
tos de estas variables, entonces la mecnica cuntica sera inadecuada a
nivel observacional.
Ha sido objeto de debate si esta cuestin es verdaderamente
" Trabajo realizado con la ayuda de la Comisin Estadounidense de Energa

Atmica, Stanford Linear Accelerator Center, Stanford University, Stanford, Califor-
nia.
interesante1*2. El presente artculo no contribuye a ese debate. Est

dirigido a los que encuentran interesante dicha cuestin y ms parti-
cularmente a aquellos de entre ellos que piensan que3 .la cuestin
concerniente a la existencia de tales variables ocultas recibi una
temprana y bastante decisiva respuesta en la forma de la prueba de
von Neumann de la imposibilidad matemtica de tales variables en la
teora cuntica*. Se intentar clarificar lo que realmente demostraron
von Neumann y sus continuadores. Esto cubrir, adems del trata-
miento de von Neumann, la versin reciente del trabajo de Jauch y
Piron3 y el resultado ms potente que es consecuencia del trbajo de
Gleason4. Se har hincapi en que esos anlisis dejan intacta la
cuestin real. Se ver, de hecho, que esas demostraciones requieren de
los hipotticos estados sin dispersin no slo que conjuntos apropia-
dos de ellos han de tener todas las propiedades medibles de los estados
cunticos, sino adems algunas otras propiedades. Estas exigencias
adicionales parecen razonables cuando se identifican vagamente resul-
tados de medidas con propiedades de sistemas aislados. Se ve que no
lo son cuando se recuerda con Bohr5 .la imposibilidad de cualquier
distincin neta entre el comportamiento de los objetos atmicos y la
interaccin con los instrumentos de medida que sirven para definir las
condiciones bajo las cuales aparecen los fenmenos..
La conciencia de que la prueba de von Neumann es de relevancia
limitada ha ido ganando terreno desde el trabajo de Bohm de 1952~.
Sin embargo se haila lejos de ser universal. Adems, quien escribe no
ha encontrado en la literatura ningn anlisis adecuado de qu era
incorrecto en dicha prueba7. Como todos los autores de artculos de
revisin no hechos por encargo, l cree poder hacer una nueva
exposicin del tema con una claridad y simplicidad tales que todas las
discusiones previas quedarn eclipsadas.
2. Hiptesis y un ejemplo sencillo
Los autores de las demostraciones que van a revisarse se preocupa-

ron de hacer las mnimas suposiciones posibles acerca de la mecnica
cuntica. Esto es de valor para ciertos propsitos, pero no para el
nuestro. Slo estamos interesados en la posibilidad de variables
ocultas en mecnica cuntica y utilizaremos libremente todas las
notaciones usuales. De este modo las demostraciones se abreviarn
sustancialmente.
Sobre el problema de las variables ocultas en mecnica cuntica 27
Se supone que un sistema mecanocuntico tiene observables

representados por operadores hermticos en un espacio vectorial
complejo. Toda .medida>> de un observable arroja como resultado
uno de los autovalores del operador correspondiente. Los observables
con operadores que conmutan pueden medirse simultneamente8. Un
*estado mecanocuntico se representa mediante un vector en el
espacio lineal de los estados. Para un vector estado q el valor esperado
estadstico de un observable con operador O es el producto interno
(v, OV)W9
La cuestin a tratar es si los estados mecanocunticos pueden ser
considerados como conjuntos de estados que quedan ulteriormente
especificados mediante variables adicionales, de modo que unos valo-
res dados de esas variables junto con el vector estado determinen
precisamente los resultados de medidas individuales. A estos hipotti-
cos estados bien especificados se les llama sin dispersin*.
En la discusin que sigue ser til tener en mente como un
ejemplo sencillo un sistema con un espacio de estados bidimensional.
Para ser especficos, considrese una partcula de espn - f sin
movimiento traslacional. Un estado cuntico se representa mediante
un vector estado de dos componentes, o espinor, V. Los observables
estn representados por matrices hermticas 2 x 2
donde a es un nmero real, B un vector real y o tiene las matrices de

Pauli por componentes; se entiende que a va multiplicando la matriz
por unidad. La medida de un observable da uno de los autovalores
con probabilidades relativas que pueden inferirse de los valores

esperados
Puede dotarse a este sistema de un esquema de variables ocultas

como sigue: los estados sin dispersin se especifican mediante un
nmero real A, en el intervalo - f 6 A S i,junto con el espinor v.
Para describir cmo A determina cul de los autovalores proporciona
la medida, notamos que mediante una rotacin de coordenadas

puede llevarse a la forma
Sean &, By, & las componentes de $ en el nuevo sistema de

+
coordenadas. Entonces la medida de a $ a en el estado especifica-
do por q~ y A tiene ciertamente por resultado el autovalor
donde
El estado mecanocuntico representado por q~ se obtiene mediante

un promedio uniforme sobre A. Esto da el valor esperado
como se requera.
Ha de hacerse nfasis en que al parmetro A no se le atribuye aqu
ningn significado fsico y que no existe pretensin alguna de hacer
una total reinterpretacin de la mecnica cuntica. La nica intencin
es mostrar que al nivel considerado por von Neumann tal reinterpre-
tacin no est excluida. Una teora completa requerira por ejemplo
una descripcin del comportamiento de las variables ocultas durante
el proceso mismo de medida. Con o sin variables ocultas, el anlisis

del proceso de medida presenta dificultades peculiares8 y no entramos
en l ms que lo estrictamente necesario para nuestro muy limitado
propsito.
3. von Neumann
Considrese ahora la demostracin de von Neumann de que los

estados sin dispersin, y as mismo las variables ocultas, son imposi-
bles. Su hiptesis esenciallo es: toda combinacin lineal real de dos
operadores hermticos cualesquiera representa un observable y la
misma combinacin lineal de valores esperados es el valor esperado de
la combinacin. Esto es cierto para los estados cunticos; von Neu-
mann requiere que lo sea tambin para los hipotticos estados sin
dispersin. En el ejemplo bidimensional de la Seccin 2, el valor
esperado ha de ser entonces una funcin lineal de a y p. Pero para un
estado sin dispersin (que no tiene un carcter estadstico) el valor
esperado de un observable ha de ser igual a uno de sus autovalores.
Los autovalores (2) son con seguridad no-lineales en p. Por lo tanto,
los estados sin dispersin son imposibles. Si el espacio tiene ms
dimensiones, siempre podemos considerar un subespacio bidimensio-
nal; as pues la demostracin es completamente general.
La hiptesis esencial puede criticarse del modo siguiente: a prime-
ra vista, la requerida aditividad de los valores esperados parece muy
razonable y es ms bien la no-aditividad de los valores permitidos
(autovalores) la que necesita explicacin. Por supuesto la explicacin
es bien conocida. N o puede hacerse una medida de dos observables
que no conmutan combinando trivialmente los resultados de observa-
ciones separadas sobre los dos trminos; requiere un experimento
completamente distinto. Por ejemplo, la medida de q para una
partcula magntica podra llevarse a cabo con un imn Stern-Gerlach
orientado adecuadamente. La medida de a, requerira una orientacin
+
diferente y la de (o, o,) una tercera. Pero esta explicacin de la
no-aditividad de los valores permitidos estableca tambin la no-
trivialidad de la aditividad de los valores esperados. Esta ltima es una
propiedad muy peculiar de los estados cunticos, que no debe espe-
rarse se cumpla a priori. N o hay razn alguna para demandarlo
individualmente de los hipotticos estados sin dispersin, cuya fun-
cin consiste en reproducir las peculiaridades medibles de la mecnica

cuntica cuando se promedia sobre ellos.
En el trivial ejemplo de la Seccin 2 los estados sin dispersin
(especificados por A) tienen valores esperados aditivos slo para
operadores que conmutan. N o obstante, ellos proporcionan predic-
ciones precisas y lgicamente consistentes de los resultados de todas
las posibles medidas, que al promediarse sobre A resultan completa-
mente equivalentes a las predicciones cunticas. De hecho, para este
caso trivial, la cuestin de las variables ocultas en la manera informal
planteada por von Neumann tiene respuesta afirmativa.
As pues la demostracin formal de von Neumann no justifica su
conclusin informal12: .No es por lo tanto, como frecuentemente se
supone, una cuestin de interpretacin de la mecnica cuntica; el
sistema actual de sta tendra que ser objetivamente falso para que
fuera posible cualquier descripcin de los sistemas elementales distin-
ta de la estadstica.. Las variables ocultas no eran invalidadas por las
predicciones objetivas y medibles de la mecnica cuntica, sino me-
diante la hiptesis arbitraria de una relacin particular (e imposible)
entre los resultados de medidas incompatibles cualquiera de las cuales
podria hacerse en una ocasin dada pero slo una de ellas puede
realmente llevarse a cabo.
4. Jauch y Piron
Jauch y Piron3 han dado una nueva versin del argumento. De

modo anlogo a von Neumann, ellos estn interesados en formas
generalizadas de la mecnica cuntica y no presuponen la usual
conexin de los valores esperados cunticos con vectores estado y
operadores. Nosotros s la suponemos y abreviamos el argumento,
pues aqu slo nos conciernen las posibles interpretaciones de la
mecnica cuntica ordinaria.
Consideremos slo observables representados por operadores de
proyeccin. Los autovalores de estos operadores de proyeccin son O
y 1. Sus valores esperados son iguales a las probabilidades de que 1 y
no O sea el resultado de la medida. Para dos operadores, a y b,
cualesquiera se define un tercero (a n b) como el operador de proyec-
cin sobre la interseccin de los subespacios correspondientes. Los
axiomas esenciales de Jauch y Piron son los siguientes:
(A) Los valores esperados de operadores de proyeccin que

wnmutan son aditivos.
(B) Si, para algn estado y dos proyectores a y b,
( a ) = (b) = 1,
entonces para dicho estado
Jauch y Piron llegan a este axioma (4.O en su numeracin) por

analoga con el clculo de proposiciones en la lgica ordinaria. Los
proyectores son hasta cierto punto anlogos a las proposiciones
lgicas, con el valor permitido 1 correspondiendo a .verdad>>y el O a
*falsedad>>,y la construccin (a n b) a (a ay* b). En lgica tenemos,
por supuesto, que si a es cierta y b es cierta, entonces (a y b) es cierta.
El axioma tiene idntica estructura.
Ahora podemos eliminar rpidamente los estados sin dispersin
considerando un subespacio bidimensional. En ste los operadores de
proyeccinason el cero, el operador unidad y los de la forma
donde a es un vector unitario. En un estado sin dispersin el valor

esperado de un operador debe ser uno de sus autovalores, O y 1 para
los proyectores . Puesto que de (A)
tenemos para los estados sin dispersin bien
(f + + & - u ) = 1 o ( + - + & . a ) = 1.
Sean a y 6 dos vectores unitarios cualesquiera y
a=+&*-o, b=++-$.o,
con los signos escogidos de modo que ( a ) = ( b ) = 1. Entonces (B)

requiere
Pero con a y 8 no colineales, se ve en seguida que
as que
Por lo tanto no puede haber estados sin dispersin.

La objecin a esto es anloga a la de antes. En (B) no estamos
tratando de proposiciones lgicas, sino de medidas que involucran,
por ejemplo, imanes orientados de forma diferente. El axioma se
cumple para los estados cunticos". Sin embargo esto es una propie-
dad muy peculiar de aqullos, en modo alguno una necesidad lgica.
Slo los promedios cunticos sobre estados sin dispersin son los que
necesitan manifestar esta propiedad, como en el ejemplo de la Seccin
2.
J. Gleason
El notable trabajo matemtico de Gleason no estaba explcitamen-

te enfocado hacia el problema de las variables ocultas. Se diriga a
reducir la base axiomtica de la mecnica cuntica. N o obstante, como
aparentemente permite obtener el resultado de von Neumann sin
hfiptesis objetables sobre operadores no conmutativos, debemos sin
duda considerarlo aqu. El corolario relevante del trabajo de Gleason
es que, si la dimensionalidad del espacio de estados es mayor que dos,
el requerimiento de aditividad para los valores esperados de operado-
res conmutativos no puede satisfacerse por los estados sin dispersin.
Primero probaremos esto y despus discutiremos su significacin.
Debera sealarse que Gleason, mediante una argumentacin ms
extensa, obtuvo ms cosas, pero esto es todo lo que nos resulta
esencial aqu.
Basta considerar operadores de proyeccin. Sea P(@)el proyector
sobre el espacio de Hilbert de estados @, Le., actuando sobre cual-

quier vector q
Si un conjunto @i es completo y ortogonal
Puesto que los P(#i) conmutan, entonces por hiptesis
x ( p ( @ i ) ) = 1.
1
Como el valor esperado de un proyector es no-negativo (cada

medida arroja uno de los valores permitidos 3 1) y puesto que dos
vectores ortogonales cualesquiera pueden considerarse como miem-
bros de un conjunto completo, tenemos:
(A) Si con algn vector @, (P(@)) = 1 para un estado dado,
entonces para ese estado (P(q)) = O para cualquier I/J ortogonal a @.
Si q1y % son otra base ortogonal del subespacio generado por
ciertos vectores @1 y G2, entonces de (4)
Como I/J, puede ser cualquier combinacin de @1 y cP2, tenemos:

(B) Si para un estado dado
para algn par de vectores ortogonales, entonces
para todo a y p.
Usaremos ahora (A) y (B) repetidamente para establecer el si-
guiente resultado: sean @ y v cienos vectores tales que para un

estado dado
En ese caso, @ y v no pueden ser arbitrariamente prximos; de

hecho
Para ver esto, normalicemos ~ ly, escribamos @ de la forma
donde '1' es ortogonal a V/J y normalizado y E es un nmero real. Sea

ly' un vector normalizado ortogonal a y y>' (es aqu donde necesi-
tamos al menos tres dimensiones) y entonces a @. Por (A) y (S),
UwJ')) = 0, vw")) = 0.
As pues, por (B) y (6),
donde y es un nmero real cualquiera, y, tambin por (B),
Los vectores entre parntesis en las dos ltimas frmulas son

ortogonales; podemos pues sumarlos, usando de nuevo (B)
( P ( v + E(Y+ Y - ~ ) V ) )= 0.
Ahora si E es menor que i,existen nmeros reales y tales que
Por lo tanto
Sobre el problema de las variables ocultas en mecnica cuntica
Los vectores f q!J" son ortogonales, sumndolos y usando (B)

otra vez
Esto contradice la hiptesis (5). As pues
como se anunciaba en (7).
Considrese ahora la posibilidad de estados sin dispersin. Para

tales estados cada proyector tiene valor esperado bien O bien 1. A
partir de (4) resulta claro que deben darse ambos valores y, puesto que
no existen otros posibles, deben existir pares q, # arbitrariamente
cercanos con diferentes valores esperados O y 1, respectivamente. Pero
acabamos de ver que tales pares no podan estar arbitrariamente
cercanos. Consecuentemente los estados sin dispersin no existen.
El que se deduzca tanto a partir de suposiciones aparentemente
tan inocentes nos lleva a cuestionar su inocencia. Los requisitos
impuestos, satisfechos por los estados cunticos, son razonables para
los estados sin dispersin? Ciertamente no. Considrese la afirmacin
(B). El operador P(a& + BG2) conmuta con P(&) y P(G2) slo si a
es cero. Entonces la medida de P(a#, + /?&) requiere en general un
dispositivo experimental completamente diferente. Podemos pues
rechazar (B) con los argumentos previamente utilizados: relaciona de
manera no trivial los resultados de experimentos que no pueden
realizarse simultneamente; los estados sin dispersin no precisan
tener esta propiedad, basta con que la posean los promedios cunticos
sobre ellos. Cmo es que (B) surga como consecuencia de hiptesis
en las que slo se mencionaban explcitamente operadores conmutati-
vos? EI peligro no estaba en las hiptesis explcitas sino en las
implcitas. Se supona tcitamente que la medida de un observable
debe dar lo mismo independientemente de cules otras medidas
puedan llevarse a cabo simultneamente. As, a la vez que por ejemplo
P(@3)podra medirse ora P(+2) P(W*), donde @* y q2son ortogona-
les a +3, pero no lo son entre s. Estas diferentes posibilidades
requieren dispositivos experimentales diferentes; a priori no existe
ninguna razn para creer que los resultados de medir P($I~)seran los
mismos. El resultado de una observacin puede depender razonable-
mente no slo del estado del sistema (incluyendo las variables ocul-
tas), sino tambin de la disposicin completa del aparato; vase la cita
de Bohr al final de la Seccin 1 .
Para ilustrar estas puntualizaciones, hagamos una descomposicin
de variables ocultas muy artificial pero simple. Si consideramos todos
los observables como funcin de proyectores que conmutan, bastar
con tener en cuenta las medidas de estos ltimos. Sea P,, P2,... el
conjunto de proyectores medidos por un aparato determinado y sean
Al, A2 - A,, A3 - A*,... sus valores esperados para un estado cuntico
dado. Como variable oculta tomamos un nmero real O < A S 1;
especificamos que la medida en un estado con un A dado arroja el
valor 1 para P, si A, - < A S A, y cero si no es as. El estado
cuntico se obtiene mediante un promedio uniforme sobre A. N o
existe contradiccin con el corolario de Gleason, porque el resultado
para un dado P, depende tambin de cmo se elija el resto. Por
supuesto sera una tontera permitir que el resultado fuera afectado
por una mera permutacin de los dems Ps, as que especificamos que
se toma el mismo orden (como quiera se defina) siempre que los Ps
estn en el mismo conjunto. Tras una reflexin aumentar la impre-
sin inicial de artificialidad de esto. Sin embargo, el ejemplo basta
para mostrar que la suposicin implcita en la demostracin de
imposibilidad era esencial para la conclusin de sta. En la Seccin 6,
llevaremos a cabo una descomposicin en variables ocultas ms seria.
6. Localidad y separabilidad
Hasta ahora nos hemos resistido a formular peticiones arbitrarias

sobre los hipotticos estados sin dispersin. N o obstante, adems de
reproducir en promedio la mecnica cuntica, hay caractersticas que
parece razonable desear en un esquema de variables ocultas. Estas
seguramente deberan tener algn significado espacial y deberan
evolucionar con el tiempo segn leyes prescritas. Estos son prejuicios,
pero es justamente esta posibilidad de introducir alguna (preferible-
mente causal) imagen espacio-temporal entre la preparacin de los
estados y la medida sobre ellos lo que hace interesante para los no
sofisticados la bsqueda de las variables ocultas2. Las ideas de espacio,
tiempo y causalidad no son prominentes en el tipo de discusin que
hemos estado considerando anteriormente. Hasta lo que sabe quien

escribe, el ms fructfero intento en esa lnea es el esquema de Bohm
de 1952 para la mecnica ondulatoria elemental. A modo de conclu-
sin, lo expondremos en resumen y haremos hincapi en una curiosa
caracterstica suya.
Considrese por ejemplo un sistema de dos partculas de espn
- +. El estado cuntico se representa por una funcin de ondas,
donde i y j son ndices de espn que suprimiremos. Dicha funcin se

rige por la ecuacin de Schrodinger
donde V es el potencial de interaccin entre las partculas. Por

simplicidad hemos tomado partculas neutras con momentos magn-
ticos y hemos supuesto que un campo magntico externo H represen-
ta los imanes analizadores del espn. Las variables ocultas son enton-
ces los vectores X1 y X2, que dan directamente los resultados de las
medidas de ~osicin.Otras medidas en ltima instancia se reducen a
1
medidas de posicin15.Por ejemplo, medir una componente del espn

significa observar si la partcula emerge con una desviacin hacia
arriba o hacia abajo de un imn Stern-Gerlach. Las variables X1 y X2
se suponen distribuidas en el espacio de configuracin con la densidad
de probabilidad.
apropiada para el estado cuntico. Consistentemente con esto, se

supone que Xl y X2 varan con el tiempo de acuerdo con
La caracterstica curiosa es que las ecuaciones de las trayectorias

(9) para las variables ocultas tienen en general un abultado carcter no
local Si la funcin de ondas es factorizable previamente a que los

campos analizadores se tornen efectivos (estando las partculas muy
separadas entre s)
esta factorizacin se preservar. La ecuacin (9) entonces se reduce a
La ecuacin de Schrodinger (8) tambin se separa y las trayectorias

de X1 y X2 quedan determinadas separadamente por ecuaciones que
involucran H(Xl) y H(Xi), respectivamente. Pero, en general, la
funcin de ondas no puede ser factorizada. La trayectoria de 1
depende entonces de forma complicada de la trayectoria y funcin de
ondas de 2 y, por lo tanto, de los campos analizadores que actan
sobre 2, no lmporta lo remotos que estn de la partcula 1. As pues,
en esta teora existe un mecanismo causal explcito por el cual la
disposicin de una pieza del aparato influye sobre los resultados
obtenidos con una pieza distante. De hecho, la paradoja de Einstein-
Podolsky-Rosen se resuelve de la forma que habra agradado menos a
Einstein (Ref. 2, p. 85).
Con ms generalidad, la descripcin de un sistema dado suminis-
trada por las variables ocultas se hace completamente diferente al
recordar que el mismo ha interactuado indudablemente con otros
muchos sistemas en el pasado y que la funcin de ondas total con toda
seguridad no ser factorizable. El mismo efecto complica la formula-
cin de la teora de la medida mediante variables ocultas, cuando se
desea incluir parte del aparato en el sistema.
Por supuesto, Bohm era muy consciente6 16-18de estos aspectos
de su esquema y les ha prestado mucha atencin. Sin embargo, debe
puntualizarse que, hasta lo que sabe el presente autor, no existe
prueba alguna de que cualquier descripcin de la mecnica cuntica
mediante variables ocultas deba tener este extraordinario carcter19.
Sera interesante, quiz1, el perseguir algunas apruebas de imposibili-
dad. ulteriores, sustituyendo los arbitrarios axiomas objetados ms

m i b a por alguna condicin de localidad, o de separabilidad entre
sistemas distantes.
Agradecimientos
Las primeras ideas de este artculo se concibieron en 1952. Agra-

dezco sinceramente al Dr. F. Mandl las intensas discusiones manteni-
das en esa poca. Desde entonces estoy en deuda con otras muchas
personas, y ltimamente, y muy especialmente, con el Profesor J. M.
Jauch.
Notas y referencias
1 Las siguientes obras contienen discusiones y referencias sobre el problema de las

variables ocultas: L. de Broglie, Physicien et Penseur. Albin Michel, Pars
(1953); W. Heisenberg, en Niels Bohrand the Development of Physics, W . Pauli.
Ed. McGraw-Hill Book Co., Inc., Nueva York, y Pergamon Press, Ltd.,
Londres (1955); Obseniation and Interpretation, S. Korner, Ed. Academic Press
Inc., Nueva York y Butterworths Scientific Publ., Ltd., Londres (1957); N. R.
Hansen. The Concept of Positron. Cambridge University Press, Cambridge,
Inglaterra (1963). Vanse tambin los diversos trabajos de D. Bohm citados ms
abajo y Be11 y Nauenberg8. Sobre el punto de vista de que las variables ocultas
tienen poco inters, vanse especialmente las contribuciones de Rosenfeld a la
primera y tercera de estas referencias, de Pauli a la primera, el artculo de
Heisenberg y muchos pasajes en la obra citada de Hansen.
2 A. Einstein, Philosopher Scientist, P. A. Schilp, Ed. Library of Living Philosop-
hers, Evanston, 111. (1949). Las obras de Einstein aAutobiographica1 Notes y
Reply to Criticsm sugieren que el problema de las variables ocultas tiene cierto
inters.
3 J. M. Jauch y C. Piron, Helv. Phys. Acta 36, 827 (1963).
4 A. M. Gleason, J. Math. & Mech. 6, 885 (1957). Estoy muy agradecido al
profesor Jauch por hacerme notar este trabajo.
5 N . Bohr, en la Ref. 2.
6 D. Bohm, Phys. Rev. 85, 166, 180 (1952).
7 En particular al anlisis de Bohm6 parece faltarle claridad, o al menos precisin.
En l se hace nfasis por completo en el papel del dispositivo experimental. Sin
embargo, parece implicarse (Ref. 6, p. 187) que para rodear el teorema se
requiere la asociacin de las variables ocultas con el aparato as como con el
sistema observado. El. esquema de la Seccin 2 es un contraejemplo de esto.
Adems, se ver en la Seccin 3 que si la hiptesis esencial de aditividad de von
Neumann se aceptara, las variables ocultas no seran tiles independientemente
de dnde se localizaran. Las puntualizaciones ulteriores de Bohm en la Ref. 16

(p. 95) y 17 (p. 358) tampoco son convincentes. Albertson cita obras crticas del
teorema y rebate algunas de ellas (J. Albertson, Am. J. Phys. 29, 478 (1961)).
8 Artculos recientes sobre el proceso de la medida en mecnica cuntica, con
referencias adicionales, son: E. P. Wigner, Am. J. Phys. 31, 6 (1963); A.
Shimony, Am. J. Phys. 31, 755 (1963); J. M. Jauch, Helv. Phys. Acta 37, 293
(1964); B. D'Espagnat, Conceptions de la Physique Contemporaine. Hermann &
Cie., Pars (1965); J. S. Be11 y M. Nauenberg, en Preludes in Theoretical Physics,
in Honor of V. Weisskopf. North-Holland Publishing Company, Amsterdam
(1966).
9 J. von Neumann, Mathematische Grundlagen der Quantenmechanik, Julius
Springer Verlag, Berln (1932) (versin espaola: Fundamentos Matemticos
de la Mecnica Cuntica. Publicaciones del C.S.I.C., Madrid (1949)). (Traduc-
cin inglesa: Princeton University Press, Princeton, N. J. (1955)). Todos los
nmeros de las pginas citadas se refieren a la edicin en ingls. El problema se
formula en el prefacio y en la pg. 209. La demostracin formal ocupa esencial-
mente las pgs. 305-24 y es seguida por varias pginas de comentarios. Una
exposicin de la demostracin en s misma ha sido presentada por J. Albertson
(vase Ref. 7).
10 Contenida en los siguientes apartados del libro de von Neumann: B' (pg. 31 l), 1
(pg. 313) y 11 (pg. 314).
11 Referencia 9, pg. 209.
12 Referencia 9, pg. 325.
13 En el caso bidimensional ( a ) = ( b ) = 1 (para algn estado cuntico), es slo
posible si los dos proyectores son idnticos (a = 6). Entonces a n b = a = b y
( a n b ) = ( a ) = ( 6 ) = 1.
14 El ejemplo ms simple para ilustrar la discusin de la Seccin 5 sera entonces
una partcula de espn 1, postulando una variedad suficiente de interacciones con
campos externos que permita que conjuntos completos arbitrarios de estados de
espn estn separados espacialmente.
15 Hay claramente suficientes experimentos para que sea interesante lo que pueda
realizarse as. N o entraremos en si existen experimentos de otro tipo.
16 D. Bohm, Causality and Chance in Modern Physics. D. Van Nostrand Co. Inc.,
Princeton N. J. (1957).
17 D. Bohm, en Quantum Theory, D. R. Bates, Ed. Academic Press Inc. Nueva
York (1962).
18 D. Bohm y Y. Aharonov, Phys. Rev. 108, 1.070 (1957).
19 Despus de la finalizacin de este trabajo se ha encontrado tal prueba (J. S. Bell,
Physics 1, 195 (1965)).
captulo 2
SOBRE LA PARADOJA DE EINSTEIN-
PODOLSKY-ROSEN"
l . Introduccin
La paradoja de Einstein, Podolsky y os en' se propuso como un

argumento de que la mecnica cuntica no poda ser una teoria
completa, sino que deba ser suplida con variables adicionales. Estas
variables adicionales restauraran la causalidad y localidad en la
teora2. En esta nota se formular matemticamente esa idea y se
mostrar que es incompatible con las predicciones estadsticas de la
mecnica cuntica. Es el requisito de localidad, o ms precisamente el
que el resultado de una medida sobre un sistema no se vea afectado
por operaciones sobre un sistema distante con el cual haya interactua-
d o en el pasado, lo que crea la dificultad esencial. H a habido intentos
de probar que incluso sin tal requisito de se~arabilidado localidad no
es posible ninguna interpretacin de wariables ocultas>>'. Se han
examinado estos intentos en otro lugar y han sido encontrados
defectuosos4. Ms an, ha sido explcitamente construida una inter-
pretacin de variables ocultas de la teoria cuntica elemental5. Esta
* Trabajo financiado parcialmente por la Comisin de Energa Atmica de EE.UU.

Departamento de Fsica, Universidad de Wisconsin, Madison, Wisconsin.
interpretacin particular tiene ciertamente una marcada estructura

no-local. De acuerdo con el resultado que se probar aqu, esto es
caracterstico de cualquier teora de ese tipo que reproduzca con
exactitud las predicciones de la teora cuntica.
2. Formulacin
Con el ejemplo propugnado por Bohm y Aharonov6, la argumen-

tacin de EPR es como sigue. Considrese un par de partculas de
4
espn creadas de algn modo en el estado singlete de espn y que se
mueven libremente segn direcciones opuestas. Pueden hacerse medi-
das, por ejemplo mediante imanes Stern-Gerlach, de proyecciones
escogidas de los espines al y a2. Si midiendo la proyeccin al a,
donde a es algn vector unitario, se obtiene el valor +1, entonces,
segn la mecnica cuntica, la medida de 0 2 a debe arrojar el valor
-1 y viceversa. Ahora hacemos la hiptesis, y sta parece al menos
digna de ser considerada, que si se llevan a cabo dos medidas en
lugares muy distantes entre s la orientacin de un imn no afecta el
resultado obtenido con el otro. Puesto que podemos predecir el
resultado de la medida de cualquier componente de q,se sigue que el
resultado de tal medida ha de estar realmente predeterminado. Como
la funcin de ondas cuntica inicial no determina el resultado de una
medida individual, esta predeterminacin implica la posibilidad de
una especificacin del estado ms completa.
Sean A los parmetros que efectan la mencionada especificacin.
Resulta indiferente para lo que sigue que A denote una sola variable o
un conjunto, o incluso un conjunto de funciones, y que las variables
sean discretas o continuas. N o obstante, escribimos A como si fuera
un solo parmetro continuo. El resultado A de medir al - a viene
entonces determinado por a y A y el resultado B de medir q b en la
misma ocasin viene determinado por b y A, y
La hiptesis esencial2 es que el resultado B para la partcula 2 no

depende del dispositivo a, del imn para la partcula 1, ni el A del b.
Si @(A)es la distribucin de probabilidad de A, entonces los valores
esperados del producto de 10s componentes al a y q . b es
Sobre la paradoja de Einstein-Podolsky-Rosen
r
Esto debe ser igual al valor esperado cuntico, que para el estado
singlete es
(a,-saz. b) = -ao b (3)
Pero demostraremos que esto no es posible.

Algunos preferiran una formulacin en la cual las variables
ocultas se agrupen en dos conjuntos, con A dependiente de uno de
ellos y B del otro; esta posibilidad est contemplada arriba, ya que A
representa cualquier nmero de variables y la dependencia de A y B
con respecto a ellas no est restringida. En una teora fsica completa
del tipo previsto por Einstein, las variables ocultas tendran significa-
do fsico y leyes de movimiento; en ese caso nuestras A pueden
imaginarse como los valores iniciales de dichas variables en algn
instante apropiado.
3. Ilustracin
La prueba del resultado principal es muy simple. N o obstante,

antes de re sentarla un conjunto de ilustraciones puede servir para
ponerla en perspectiva.
Primeramente, no hay ninguna dificultad en dar cuenta de las
medidas del espn de una sola partcula. Supngase una partcula de
espn un medio en un estado de espn puro con una polarizacin dada
por un vector unitario p. Sea la variable oculta (por ejemplo) un
vector unitario 1con distribucin uniforme de probabilidad sobre la
semiesfera 1 p > O. Es~ecifqueseque el resultado de la medida de
una componente a - a es
sign A a', (4)
donde a' es un vector unitario que depende de a y p de un modo a

especificar, y la funcin signo es + 1 - 1 segn sea el signo de su
argumento. De hecho esto deja el resultado indeterminado cuando
A a' = O, pero como la probabilidad de que se d esto es cero no
~rescribiremosnada especial para tal eventualidad. Promediando

sobre A el valor esperado es
donde 8' es el ngulo entre a' y p. Supngase entonces que a' se

obtiene a partir de a mediante una rotacin hacia p hasta
28' - COS e
Jt
donde 8 es el ngulo entre a y p. Entonces obtenemos el resultado

deseado
As pues en este caso simple no hay ninguna dificultad en conside-

rar que el resultado de cualquier medida viene determinado por el
valor de una variable extra y que los aspectos caractersticos de la
mecnica cuntica surgen porque el valor de dicha variable es desco-
nocido en los casos individuales.
En segundo lugar, no hay dificultad en reproducir, en la forma (2),
las nicas caractersticas de (3) empleadas corrientemente en discusio-
nes verbales acerca de este problema:
Por ejemplo, sea A ahora el vector unitario A, con distribucin de

probabilidad uniforme en todas las direcciones y tomemos
A(a, A) = sign a h
B(a, b) = - sign b A
Esto da
Sobre la paradoja de Einstein-Podolsky-Rosen 45
donde 6 es el ngulo entre a y b y la ec. (10) tiene las propiedades de la

(8). Como comparacin, considrese el resultado de una teora modi-
ficada en donde el estado puro singlete cambia en el transcurso del
tiempo a una mezcla istropa de estados producto; esto proporciona
la funcin de correlacin
Probablemente es menos fcil, experimentalmente, distinguir (10)

de (3) que (11) de (3).
Al contrario que (3), la funcin (10) no es estacionaria en el valor
mnimo -1 (para 6 = O). Se ver que esto es caracterstico de las
funciones del tipo (2).
En tercer lugar, finalmente, no hay dificultad en reproducir la
correlacin cuntica (3) si se permite que los resultados A y B
dependan de b y a respectivamente al tiempo que de a y b. Por ejemplo,
sustityase en (9) a por a', obtenida a partir de a por rotacin hacia b
hasta
2
1-- = COS 6,
n
donde 6' es el ngulo entre a' y b. Sin embargo, para valores dados de
las variables, los resultados de las medidas con un imn dependen de
la disposicin del imn distante, que es justo lo que desearamos
evitar.
4. Contradiccin
Probaremos ahora el resultado principal. Puesto que e es una

distribucin de probabilidad normalizada,
y debido a las propiedades (I), P en (2) no puede ser menor que - 1.

Puede llegar a -1 para a = b slo si
excepto en un conjunto de puntos A de probabilidad nula. Aceptando

esto, (2) puede reescribirse como
I
P(a, b) = - dAp(A)A(a, A)A (b, A).
que si c es otro vector unitario
usando (I), de donde
El segundo trmino de la derecha es P(b, c), por lo que
Salvo que P sea constante, el miembro de la derecha es en general

de orden lb - cl para lb - cl pequeo. Entonces P(b, c) no puede ser
estacionaria en el valor mnimo (- 1 en b = c) y no puede ser igual al
valor cuntico (3).
Tampoco la correlacin cuntica (3) puede ser aproximada con
precisin arbitraria por la forma (2). La demostracin formal de esto
puede desarrollarse como sigue. N o nos preocupamos de que la
aproximacin falle en puntos aislados, as que en lugar de (2) y (3)
consideremos las funciones
donde la barra denota el promediar independientemente P ( a f , b') y

Sobre la paradoja de Einstein-Podoisky-Rosen 47
-a' b' sobre los vectores a' y b' dentro de ngulos especificados
pequeos alrededor de a y b. Supngase que para todo a y b la
diferencia est acotada por E :
En dicho caso, se probar que E no puede ser arbitrariamente

pequeo.
Supngase que para cualquier a y b
Entonces de (16)
donde
IA(a,A)Isi ylB(b,A)Isl
De (18) y (19), con a = b

Entonces usando (20)
Ahora de (19) y (21)
IP(a, b) - P(a, c)l 1 + P(b, c) + E + 8

Finalmente, usando (18)
l a - c - a - b l - ~ ( E + O ) S1 - b . c + 2 ( ~ + 6 )
Tmese por ejemplo a c = O, a b = b c = 1/*. Entonces
Por lo tanto, para 6 pequeo y finito, E no puede ser arbitraria-

mente pequeo.
En consecuencia, el valor esperado cuntico no puede ser repre-
sentado, ni exactamente ni con un grado arbitrario de aproximacin,
en la forma de la ecuacin (2).
. Generalizacin
El ejemplo discutido ms arriba tiene la ventaja que requiere poca

imaginacin el concebir que las medidas involucradas como llevadas
realmente a cabo.
De un modo ms formal7, suponiendo que todo operador Herm-
tic0 con un conjunto completo de estados es un nobservable~,el
resultado se extiende fcilmente a otros sistemas. Si los espacios de
Sobre la paradoja de Einstein-Podolsky-Rosen 49
estados de los dos sistemas son de dimensin mayor que 2, podemos

considerar siempre subespacios bidimensionales y, en su producto
directo, definir operadores a, y a2 formalmente anlogos a los
gxeviamente usados y que son cero para los estados fuera del subespa-
cio producto. Entonces para un estado cuntico al menos, el estado
esinglete. en los subespacios combinados, las predicciones estadsti-
cas de la mecnica cuntica resultan incompatibles con una predeter-
minacin separable.
6. Conclusin
En una teora en la que se aaden parmetros a la mecnica

cuntica para determinar los resultados de medidas individuales, sin
cambiar las predicciones estadsticas, debe existir un mecanismo por
el que la colocacin de un aparato de medida pueda influir en el
resultado proporcionado por otro instrumento no importa lo remoto
que se encuentre. Adems, la seal involucrada ha de propagarse
instantneamente, de modo que tal teora no podra ser invariante
Lorentz.
Si las predicciones de la mecnica cuntica tienen una validez
limitada, la situacin es por supuesto diferente. Concebiblemente,
aqullas podran ser aplicadas slo a experimentos en los que los
dispositivos se montan con la suficiente anticipacin como para
permitir que establezcan una relacin mutua por intercambio de
seales con velocidades menores o iguales que la de la luz. En relacin
con esto, experimentos del tipo propuesto por Bohm y Aharonov6, en
los que los montajes se cambian estando las partculas en vuelo,
resultan cruciales.
Agradecimiento
Estoy en deuda con los Drs. M. Bander y J. L. Perring por

discusiones muy tiles sobre este problema. La primera versin de
este artculo se escribi durante una estancia en la Universidad
Brandeis; agradezco a mis colegas all y en la Universidad de Wiscon-
sin por su inters y hospitalidad.
Notas y referencias
1 A. Einstein, N. Rosen y B. Podolsky, Phys. Rev. 47, 777 (1935); vase tambin
N. Bohr, Phys. Rev. 48,696 (1935), W. H. Furry, Phys. Rev 49,393 y 476 (1936)
y D. R. IngIis, Rev. Mod. Phys. 33, 1 (1961).
2 &Pero,en mi opinin, una suposicin ha de mantenerse a toda costa: la situacin
real de hecho del sistema S2 es independiente de lo que se haga con el sistema S,,
el cual est separado espacialmente del anterior. A. Einstein en Albert Einstein,
Philosopher Scientist, editado por P. A. Schilp, p. 85, Library of Living Philoso-
phers, Evanston, Illinois (1949).
3 J. von Neumann, Mathematiscbe Grundlagen der Quanten-mecbanik, Verlag
Julius Springer, Berlin (1932), (Traduccin al ingls: Princeton University Press,
1955; al espaol: Publicaciones del C.S.I.C., 1949) J. M. Jauch y C. Piron,
Helv. Phys. Acta 36, 827 (1963).
4 J. S. Bell, Rev. Mod. Phys. 38, 447 (1966).
5 D. Bohm, Phys. Rev. 85, 166 y 180 (1952).
6 D. Bohm y Y. Aharonov, Phys. Rev. 108, 1.070 (1957).
7 P. A. M. Dirac, Tbe Principies of Quantum Mechanics (3." edicin), p. 37. The
Clarendon Press, Oxford (1947) (Edicin espaola: Editorial Ariel, Barcelona,
1965).
Este artculo ha intentado ser bastante explcito y general en la

cuestin de la localidad, siguiendo lneas slo esbozadas en previas
publicaciones (Refs. 2, 4, 10, 19). En lo que se refiere a la literatura
sobre esta materia, soy particularmente consciente de haberme benefi-
ciado del artculo de Clauser, Horne y Shimony3, en donde se
present el prototipo de (16), y del de Clauser y Horne16. Junto con
un anlisis general de la materia, este ltimo contiene una valiosa
discusin de cun bien puede aplicarse la desigualdad en la prctica; a
l debo en particular el advertir el hecho de que en las desintegracio-
nes a dos cuerpos (en comparacin con las de a tres) las ineficacias
geomtricas bsicas entran en (22) de un modo relativamente inocuo.
Me he beneficiado tambin de muchas discusiones sobre el tema con
el Prof. B. d7Espagnat.
Referencias
N. Bohr, en Albert Einstein, Ed. Schilpp, Tudor (1).

J. S. Bell, Physics 1, 195 (1965).
J. F. Clauser, R. A. Holt, M. A. Horne y A. Shimony, Phys. Rev. Letters 23,880
(1969).
J . S. Bell, en Proceedings of the Int. School of Physics Enrico Fermi, Academic
Press (1971).
R. Friedberg (1969, no publicado) citado en M. Jammer".
E. P. Wigner, Am. J. Phys. 38, 1005 (1970).
B. d'Espagnat, Conceptual Foundations of Quantum Mechamis, Benjamin
(1971).
K. Popper, en Perspectives in Quantum Theory, Eds. W. Yourgrau y A. van der
Merwe, M.I.T. Press (1971).
H. P. Stapp. Phys. Rev. D3, 1303 (1971).
J. S. Bell, Science 177, 880 (1972).
P. M. Pearle, Phys. Rev. D2, 1418 (1970).
J. H. McGuire y E. S. Fry, Phys. Rev. D7, 555 (1972).
J. Freedman y E. P. Wigner, Foundations of Physics 3, 457 (1973).
J. Belinfante, A Survey of Hidden Variable Theories, Pergamon (1973).
V . Capasso, D. Fortunato y F. Selleri, Int. J. Theor. Phys 7, 319 (1973).
J. F. Clauser y M. A. Horne, Phys. Rev. D 10, 526 (1974).
M. Jammer, The Philosophy of Quantum Mechanics, Wiley (1974). Vanse en
particular las referencias a T. D. Lee (pg. 308) y R. Friedberg (pgs. 244, 309,
324).
D. Gutkowski y G. Masotto, Nuovo Cimento 22B, 1921 (1974).
J. S. Bell, en The Physicist's Conception of Nature, Ed. J. Mehra y D. Reidel
(1973).
Teora de los beables locales 103
20 B. dYEspagnat,Phys. Rev. D11, 1424 (1975).

21 G. Corleo, D. Gutkowski, G. Masotto y M. V. Valds, Nuovo Cimento B25,
413 (1975).
22 H. P. Stapp, Nuovo Cimento B29, 270-6 (1975).
23 D. Bohm y B. Hiley, Foundations of Physics 5, 93-109 (1975).
24 A. Baracca, S. Bergia y M. Restignoli, en Conf. on Few Body Problems, Quebec,
Agto. 1974, 68-9. Quebec. Laval Univ. Press (1975).
25 A. Baracca, D. J. Bohm, R. J. Hiley y A. E. G. Stuart, Nuovo Cimento 28B,
453-66 (1975).
26 Para un resumen de los experimentos, vase el artculo nmero 10 del presente
libro.
Captulo 8
LA LOCALIDAD E N MECANICA CUANTICA:
REPLICA A CRITICAS
El editor me ha pedido replique a un artculo, de G. Lochak', que

refuta un teorema mo sobre variables ocultas. Si lo entiendo correcta-
mente, Lochak encuentra que de alguna manera no logr tener en
cuenta el efecto del equipo de medida sobre esas variables. Intentar
explicar por qu no estoy de acuerdo. Aprovechar tambin la
oportunidad para comentar sobre otra refutacin2, por parte de L. de
la Pea, A. M. Cetto y T. A. Brody, y sobre otra ms debida a L. de
Broglie3. Todava otra refutacin, por J. Bub4, del mismo teorema ha
sido refutada a su vez por S. Freedman y E. P. Wigner5.
Recordemos un contexto tpico en el cual este teorema es relevan-
te. Un <<parde partculas de espn +>> se produce en una regin
espacio-temporal 3 y activa unos sistemas de contadores, precedidos
por imanes Stern-Gerlach, en las regiones espacio-temporales 1 y 2.
El sistema en 1 es tal que uno de los dos contadores (*hacia arriba o
hacia abajo>>)registra cada vez que se hace el experimento: corres-
+
pondientemente denotamos aqu el resultado por A (= 1 - 1).
Anlogamente el sistema en 2 es tal que uno de los dos contadores
+
registra cada vez que se hace el experimento, dando B (= 1 - 1 ).
Estamos interesados en las correlaciones entre las cuentas 1 y 2 y
definimos una funcin de correlacin
La localidad en mecnica cuntica: rplica a crticas 105
que es el promedio sobre muchas repeticiones del experimento del

producto de A y B.
Cierto que sera mejor dar una descripcin puramente operacional
y en trminos tecnolgicos macroscpicos del equipo involucrado.
Esto evitara completamente el uso de palabras como espn y
partcula^, anulando as la posibilidad de que alguien se sienta
obligado a formarse una imagen microscpica de lo que sucede. Pero
llevara mucho tiempo el dar tal especificacin puramente tecnolgica.
As, pues, ruego se acepte que las palabras <<partcula*y <espn. se
usan aqu como parte de una taquigrafa convencional, para invocar
sin una larga descripcin explcita la clase de equipo experimental que
entra en juego, y sin compromiso de ningn tipo con descripcin
alguna de lo que realmente origina, si lo hay, que los contadores
entren en operacin.
Supngase que parte de la especificacin del equipo se realiza
mediante dos vectores 5 y b (e. g. las direcciones de ciertos campos
magnticos en 1 y 2). Entonces segn la mecnica cuntica ordinaria
existen situaciones para las que
con buena precisin.

Realmente es esta ltima afirmacin la recusada por de Broglie.
Aunque su artculo tiene por ttulo .Sur la rfutation du thoreme de
Bell~,no concierne de hecho ningn razonamiento mo. El es de la
opinin que la funcin de correlacin (1) sencillamente no puede
darse para separaciones macroscpicas, ni en la naturaleza ni en la
mecnica cuntica comn: Nous chappons complktement ii cette
objection puisque, pour nous, les mesures du spin sur des lectrons
loigns ne sont pas corrles>>".En lo que se refiere a la mecnica
cuntica ordinaria, de Broglie no est aqu de acuerdo con la mayora
de estudiosos de la materia, y no me siento capaz de entender sus
razones para ello. Por lo que a la naturaleza se refiere, tampoco parece
estar de acuerdo con el experimento6.
Investigamos ahora la hiptesis de que el estado final del sistema, en
particular A y B, quedaran totalmente determinados por las ecuacio-
:"Nos libramos completamente de esta objecin ya que, para nosotros, las

medidas del espn sobre electrones alejados no estn correlacionadas. (N. del T.)
nes de alguna teora si se especificaran completamente las condiciones

iniciales. Entonces, a los parmetros como a y b, sujetos a manipula-
cin experimental, aadimos una lista de parmetros <<ocultos,,a.
Podemos considerar que estos ltimos son los valores iniciales (diga-
mos justo despus de la accin de la fuente) de algunas correspondien-
tes variables dinmicas. N o nos interesa lo que les suceda a stas ms
tarde salvo en tanto que entren en los resultados experimentales A y
B. Pero, en tanto en cuanto as lo hagan, tenemos completamente en
cuenta el efecto del equipo de medida permitiendo que A y B depen-
dan no slo de los valores iniciak A de los parmetros ocultos sino
tambin de los parmetros 2 y b, que especifian los dispositivos de
medida:
NO tenernos necesidad de inquirir la naturaleza precisa de esta

dependencia en a y b, ni cmo ella surge, sea por efecto del equipo de
medida sobre las variables ocultas de las que las A son los valores
iniciales, o por cualquier otra causa.
Es posible hallar algunas funciones (2) y ciertas distribuciones de
probabilidad @(A) que reproduzcan la correlacin (l)? S, muchas,
pero ahora aadimos la hiptesis de localidad, es decir, que la
disposicin b de un instrumento particular no tiene ningn efecto
sobre el suceso A en una regin remota y, de modo anlogo, que ii no
lo tiene sobre B:
Con estas formas locales, no es posible hallar unas funciones A y B

y una distribucin de probabilidad que den la correlacin (1). Este
es el teorema. La demostracin no se repetir aqu.
Lochak ilustra el modo en el que el resultado debido a un solo
instrumento A depende de su disposicin ii, permitido por (3), con la
teora de parmetros ocultos de de Broglie. Pienso que esto es muy
instructivo. Pero para el propsito actual lo es ms el caso de dos
aparatos y dos partculas. Se encuentra entonces que en la teora de de
Broglie la dependencia no es del tipo local (3), sino del no-local (2).
He sealado esto en varias ocasiones, en dos de los tres artculos
La localidad en mecnica cuntica: rplica a crticas 1 O7
citados por Lochak y en otros sitios. Quiz Lochak tenga en mente

alguna extensin de la teora de de Broglie, a sistemas de ms de una
partcula, distinta a la directa generalizacin de 3 a 3N dimensiones
que he considerado. Pero si su extensin es local no estar de acuerdo
con la mecnica cuntica, y si lo est no ser local. Esto es lo que dice
el teorema.
La objecin de de la Pea, Cetto y Brody se basa en una
interpretacin errnea de la demostracin del teorema. En el trans-
curso de sta se hace referencia a
as como a
Estos autores dicen: .Claramente, puesto que A, A', B, B' se

evalan todas ellas para el mismo A, han de referirse a cuatro medidas
realizadas sobre el mismo par electrn-positrn. Podemos, por ejem-
plo, suponer que A' se obtiene tras A y B' tras B*. Pero esto no es as
de ningn modo. N o estamos absolutamente interesados en secuen-
cias de medidas sobre una partcula dada, o de pares de medidas sobre
un par de partculas dado. Nos conciernen los experimentos en los
que para cada par el espn de cada partcula slo se mide una vez.
Las cantidades
son simplemente las mismas funciones
con diferentes argumentos.
Referencias
1 G. Lochak, Fundamenta Scientiae (Universit de Strasbourg, 1975), n." 38,

reproducido en Epistemological Letters, pg. 4 1, septiembre 1975.
2 L. de la Pea, A. M. Cetto y T. A. Brody, Nuovo Cimento Letters 5,177 (1972).

3 L. de Broglie, C'R Acad. Sci. Paris 278, B721 (1974).
4 J. Bud, Found. Phys. 3, 29 (1973).
5 S. Freedman y E. Wigner, Found. Phys. 3, 457 (1973).
6 S. J. Freedman y J. F. Clauser, Phys. Rev. Lett. 28,938 (1972). Se da un resumen
en M. Paty, Epistemological Letters, pg. 31, septiembre 1975.
7 J. S. Bell, O n the Hypothesis that the Schrodinger Equation is Exact, CERN
Preprint TH. 1424 (1971).
Captulo 9
C O M O ENSENAR LA RELATIVIDAD
ESPECIAL
Creo desde hace mucho tiempo que, si tuviera la oportunidad de

ensear esta materia, resaltara la continuidad con las ideas anteriores.
Usualmente se hace hincapi en la discontinuidad, en la radical
ruptura con las nociones de espacio y tiempo ms primitivas. Con
frecuencia el resultado es la completa destruccin de la confianza del
estudiante en conceptos perfectamente tiles y bien fundados previa-
mente adquiridos1.
Si duda Vd. de esto, podra tratar de realizar el experimento de
enfrentar a sus estudiantes con la situacin siguiente2: tres pequeas
naves espaciales A, B y C se desplazan libremente en una regin del
espacio muy alejada de cualquier otra materia, sin rotacin y sin
movimiento relativo, con B y C equidistantes de A (Fig. 1).
Tras la recepcin de una seal desde A, se encienden los motores
de B y C y stas aceleran suavemente (Fig. 2).
Supongamos que las naves B y C son idnticas y tienen los mismos
programas de aceleracin. Entonces (como advertira un observador
en A) ellas tendrn en todo momento la misma velocidad, as que
permanecern a una distancia fija entre s. Supongamos que se ata un
hilo frgil a salientes de B y C (Fig. 3). Es justo lo suficiente de largo
para cubrir la distancia inicial requerida; entonces al aumentar las
naves su velocidad llegar a ser demasiado corto, a causa de la

contraccin de Fitzgerald, y deber finalmente romperse. Esto ha de
ocurrir cuando, a una velocidad lo bastante elevada, la prevencin
artificial de la contraccin natural imponga una tensin inaguantable.
Es realmente as? Este viejo ~roblemasali una vez a debate

en la cantina del CERN. Un distinguido fsico experimental rehus
aceptar que el hilo se rompera, y consider mi afirmacin de que
ciertamente lo hara como una interpretacin errnea de la teora de la
relatividad. Decidimos recurrir al arbitraje de la Divisin Terica del
CERN y llevar a cabo un (no muy sistemtico) muestre0 de opinin a
tal fin. De l surgi un consenso claro sobre que el hilo jno se
rompera!
Desde luego muchos de los que dieron esta respuesta equivocada
al principio obtuvieron la respuesta correcta tras reflexin ulterior.
Usualmente se sienten obligados a averiguar cmo aparecera todo
para los observadores B 6 C. Hallan que B, por ejemplo, ve a C
desplazndose cada vez ms y ms atrs, de modo que un trozo de
hilo dado no es capaz ya de cubrir la distancia. Slo despus que han
desarrollado esto, y quiz con una sensacin residual de incomodi-
dad, estas personas aceptan una conclusin que es perfectamente
trivial en trminos de la descripcin de A de las cosas incluyendo la
contraccin de Fitzgerald. Mi impresin es que los poseedores de una
educacin ms clsica, con alguna idea de la argumentacin de
Larmor, Lorentz y Poincar, as como de la de Einstein, tienen un
instinto ms fuerte y mejor basado. Tratar aqu de esbozar una
versih simplificada del enfoque de Larmor-Lorentz-Poincar que
algunos estudiantes podran encontrar til.
Daremos por supuesto cierta familiaridad con las ecuaciones de
Maxwrll, de manera que pueda seguirse el clculo del campo de una
carga puntual mvil, o al menos que el resultado sea aceptado sin
222 Lo decible y, lo indecible en mecnica cuntica
hecho uno de los ms importantes en mi educacin en fsica. Al

discutir sobre cmo podra desarrollarse la fsica, Born escribi: <<Yo
preveo ... que tendremos que sacrificar algunas ideas comunes y usar
mtodos an ms abstractos. N o obstante esto es tan slo una
opinin. Una contribucin ms concreta en esta cuestin la ha hecho
vn Neumann en su brillante libro Mathernatirche Grundlagen der
Quantenrnechanik. El sita la teora sobre una base axiomtica al
deducirla a partir de unos pocos postulados, de carcter muy general
y plausible, acerca de las propiedades de los .valores esperados>>
(medias) y de su representacin mediante smbolos matemticos. El
resultado es que el formalismo de la mecnica cuntica queda unvo-
camente determinado por esos axiomas; en particular, no pueden
introducirse parmetros ocultos con cuya ayuda podra transformarse
la descripcin indeterminista en una determinista. De aqu que si una
futura teora ha de ser determinista, no puede ser una modificacin de
la presente sino que debe ser esencialmente diferente. Cmo podra
hacerse esto sin sacrificar todo un tesoro de resultados bien estableci-
dos es algo que dejo a la preocupacin de los deterministas*.
Tras leer esto, apart la cuestin de mi mente y me ocup de cosas
ms prcticas.
Pero en 1952 vi realizado lo imposible. Estaba en los artculos de
David Bohm5. Bohm mostro explcitamente cmo se podan introdu-
cir parmetros, en la mecnica ondulatoria no relativista, con cuya
ayuda poda transformarse en determinista la descripcin indetermi-
nada. Y, lo que en mi opinin es ms importante, la subjetividad de la
visin ortodoxa, la necesaria referencia al observador, poda ser
eliminada.
Adems, la idea esencial era una ya avanzada por de Broglie6 en
1927, en su descripcin de d a onda piloto.
Pero, entonces, por qu Born no me haba dicho nada de esta
<<onda piloto*, aunque nicamerite hubiera sido para sealar en dnde
estaba equivocada? Por qu no la consider von Neumann? Y ms
extraordinario, por qu la gente sigui produciendo pruebas de
imposibilidad7-12, despus de 1952 y tan recientemente como en
1978" '*? Cuando incluso Pauli15, Rosenfeld16 y Heisenbergl' no
podan presentar una crtica ms devastadora de la versin de Bohm
que tildarla de .metafsica\> e <<ideolgica>>, por qu se ignora la
representacin de la onda piloto en los libros de texto? N o debera
ensearse, no como el nico camino, sino como un antdoto contra la
complacencia prevaleciente, para mostrar que la vaguedad, la subjeti-
y los autovalores correspondientes
0,
definidos por
Oan(4 =
Entonces puede desarrollarse el estado inicial
y la solucin de la ecuacin de Schrodinger es
Es decir, los diversos paquetes de ondas @ se mueven por separa-

do y, tras un tiempo suficientemente largo, cualquiera haya sido
inicialmente el caso, se solapan muy poco. Entonces cualquier resulta-
do probable de una medida de posicin sobre la partcula correspon-
der a un autovalor particular O,, cuya probabilidad de ser obtenido
vendr dada por la norma del correspondiente paquete de ondas @,,
esto es, por el peso del autovector correspondiente en el desarrollo del
estado inicial. Tenemos aqu un modelo de algo parecido a un
experimento de Stern-Gerlach. Convencionalmente se dice que el
proceso amide el observable O con el resultado O,.
Para completar esta descripcin, a la de Broglie y Bohm, aadimos
a la funcin de ondas Y una posicin de la partcula
Si se hace una medida de la posicin en el instante t, el resultado es

X(t), pero incluso aunque no se realice ninguna medida X(t) existe. La
partcula, en esta descripcin, tiene siempre una posicin definida. La
evolucin temporal de la posicin de la partcula viene determinada
Por
extendidos en todo el espacio y partculas localizadas en puntos

concretos. Por supuesto el campo en un punto concreto es lo ms
relevante de inmediato para el movimiento de una determinada
partcula.
Aunque Y es un campo real, no se muestra inmediatamente en el
resultado de una medida individual, sino solamente en la estadstica
de un nmero elevado de tales resultados. Es X, la variable de de
Broglie-Bohm, la que aparece de inmediato cada vez. Que histrica.
mente X sea denominada variable oculta en lugar de serlo Y, es una
muestra de estulticia histrica.
Ntese que desde el presente punto de vista la descripcin del
experimento como <<medida>> del <<observableespn>>O no es afortu-
nada. Nuestra partcula no tiene grados de libertad internos. Est
guiada sin embargo por un campo con muchos componentes, y
cuando ste sufre lo anlogo a la refraccin ptica mltiple, la
partcula es arrastrada por uno u otro camino dependiendo slo de su
posicin inicial. Tenemos aqu una ilustracin muy explcita de la
leccin enseada por Bohr. Los resultados experimentales son pro-
ductos del montaje total, .sistema>> ms .aparato>>, y no han de
considerarse como <<medidas>> de propiedades preexistentes del aiste-
ma por separado.
3. Los agujeros en las redes
Es fcil encontrar buenas razones para que la descripcin de de

Broglie-Bohm no agrade. N i a de Broglie ni a Bohm les gustaba
mucho; para ambos era slo un punto de partida. Tampoco le gustaba
mucho a Einstein. La encontraba <<demasiadobarata, aunque como
seal Born, <<estabamuy en lnea con sus propias ideas>>.Pero guste
o simplemente se tolere, es perfectamente conclusiva como con-
traejemplo de la idea que la vaguedad, la subjetividad o el indetermi-
nismo nos vienen impuestos por los hechos experimentales abarcados
por la mecnica cuntica. Qu es entonces falso en las pruebas de
imposibilidad? Considerar aqu tres de ellas nicamente; las ms
famosas (sin discusin), ms instructivas (en mi opinin) y de ms
reciente publicacin (hasta donde s). Ms, y ms detalles, pueden
encontrarse en otros lugares.
Ser til denotar por
de la extensin original - c o n t ~ a c c i nde Fitzgerald- donde V es la

velocidad del ndeo a lo largo de la rbita en cuestin. Adems, sta
transcurre con un perodo que excede del original en un factor
-dilatacin temporal de J. Larmor (1900)-.
rbita en un tomo y de una fuente que se mueve

en reposo en la direcci6.nz
Si el perodo del sistema en reposo es T, el nmero de revoluciones

durante un tiempo t y con velocidad del protn V(t)es
- q u e es menor que el de un sistema similar en reposo, incluso si el

sistema mvil est inicial y finalmente tambin en reposo y en la
misma posicin-. Este resultado directo del clculo es lo que origina
la nparadoja* de los gemelos (Le Voyageur de Langevin, en francs).
Los resultados obtenidos sugieren que puede ser til describir el
Cmo ensear la relatividad especial 115
sistema mvil en funcin de unas nuevas variables que incorporen los

efectos de Fitzgerald y Larmor:
2' = ( 2 - Z N ( t ) ) d l - c-'V(t)'
X'=X y'=y
t. = [ d d i - c-'V(t)' - C-'V(t)Z1
O
La motivacin para el ltimo trmino en la definicin de t' no es

obvia, sino que surge de un examen ms detallado de la rbita.
Incluyendo este trmino, la rbita
no es meramente circular de perodo T, sino que es arrastrada con

velocidad angular constante (precesin). Es decir, la descripcin de la
rbita del tomo mvil en trminos de las variables acentuadas es
idntica a la de la rbita del tomo estacionario en trminos de las
variables originales.
En lo que respecta al campo electromagntico nos hemos aprove-
chado ya del uso de la variable z' al escribir (1). Siguiendo en esta
direccin, puede introducirse.
E; = (E, + c-'vB,)/V~ - c-*Vl
Se comprueba entonces fcilmente que la expresin del campo de

la carga en movimiento uniforme en trminos de las variables acen-
tuadas es idntica a la del campo de la carga estacionaria en trminos
de las variables originales.
Hemos estado hablando de un tomo acelerado suavemente.
Entonces la velocidad permanece esencialmente constante durante
muchas revoluciones del electrn. Podemos arreglrnoslas para que

durante un intervalo tal se tenga
mediante elecciones adecuadas de los orgenes de z y de t. En ese caso

(9) puede reescribirse como
Esta es, pues, la forma estndar de lo que se llama una transforma-

cin de Lorentz. Que con el uso de tales variables se sea capaz de
describir el tomo mvil mediante unas funciones apropiadas al
tomo estacionario es una ilustracin del siguiente hecho matemtico.
Cuando las ecuaciones de Maxwell
y las de Lorentz
se expresan en trminos de las nuevas variables (11) y (14), tienen

exactamente la misma forma que antes
Cmo ensear la relatividad especial
dp'
= - e(E1 + c-Ir', x
dt'
dr'.
- - - p',vm~ + c-2p'2
dt'
(donde la ltima ecuacin se puede tomar como definicin de p'). Se

dice que tales ecuaciones son invariantes Lorentz. A partir de cual-
quier solucin de las ecuaciones originales, conteniendo ciertas fun-
ciones matemticas (e.g., el campo coulombiano y la rbita circular en
el tomo estacionario), puede construirse una nueva solucin ponien-
do primas en todas las variables y luego eliminando estas primas
mediante las ecuaciones (11) y (14) (que dan, por ejemplo, el campo
aplanado y la rbita elptica del tomo mvil). Adems, a travs de
una extensin trivial del razonamiento, ste se aplica no slo a un
electrn que interacta con un campo electromagntico, sino a cual-
quier nmero de partculas cargadas, cada una de ellas en interaccin
con los campos de las otras. Esto permite una extensin de algunos de
los resultados para un solo tomo descritos ms arriba a sistemas ms
complicados. Dado un estado cualquiera del sistema complicado,
existe un correspondiente estado <<primado>> que se halla en movi-
miento global con respecto al original y exhibe la contraccin de
Fitzgerald y la dilatacin de Larmor. Supngase, por ejemplo, que en
el estado original todas las partculas se encuentran permanentemente
en el interior de una regin limitada por
entonces el correspondiente estado primado tiene por lmites
o a partir de (14) .:2
:' Se ha corregido una errata obvia en la frmula original (N. del T.).
i.e., ellas se mueven con velocidad V y estn ms cercanas una de la

otra por el factor de Fitzgerald.
supngase a continuacin que en el estado original sucede algo
(e.g., pasa un electrn) en un punto x = xl, y = yl, z = zl en el
instante tl y, de nuevo, en el mismo punto en el instante t2. Los
correspondientes sucesos en el estado primado ocurren entonces en
o (resolviendo (14)) en
El lugar de acontecimiento se mueve con velocidad V y el interva-

lo temporal entre los dos sucesos aumenta en el factor de Larmor.
Podemos entonces concluir que un sistema arbitrario puesto en
movimiento mostrar precisamente los efectos Larmor y Fitzgerald?
N o del todo. Deben hacerse dos salvedades.
La primera es que la teora de Maxwell-Lorentz suministra un
modelo muy inadecuado de la materia real, en particular de la materia
slida. N o es posible reproducir la estabilidad emprica de sta en un
modelo clsico. Adems, las cosas van a peor cuando se incluye la
reaccin a la radiacin. En general las cargas mviles radian energa y
momento, y debido a esto existen pequeos trminos extra en la
ecuacin de movimiento. Incluso el electrn en el tomo de hidrge-
no cae entonces en espiral hacia el protn en lugar de permanecer en
una rbita estable. Estos problemas estaban entre los que llevaron a la
sustitucin de la teora clsica por la cuntica. Adems, dentro de la
teora cuntica las interacciones electromagnticas no resultan ser las
nicas. Por ejemplo, el ncleo atmico se mantiene unido debido a
unas muy diferentes interacciones fuertes. N o necesitamos involu-
crarnos en todos esos detalles si suponemos, con Lorentz, que la
teora completa es invariante Lorentz, en el sentido que las ecuaciones
no varan bajo el cambio de variables (14), completada con alguna

generalizacin de (13) para cubrir todas las cantidades de la teora.
Entonces, para cualquier estado existe de nuevo el primado corres-
pondiente, que muestra los efectos Fitzgerald y Larmor.
La segunda salvedad es como sigue. La invariancia Lorentz sola
muestra que para cualquier estado del sistema en reposo existe un
correspondiente estado *primado>, de dicho sistema en movimiento.
Pero no nos dice que si el sistema se pone en movimiento de algn
modo vaya a ir realmente al *primado>>del estado original y no al de
algn otro estado del sistema en reposo. De hecho, generalmente har
esto ltimo. Un sistema puesto brutalmente en movimiento puede
quedar despedazado, o partido, o calentado o quemado. En el caso del
simple tomo clsico, algo similar podra haber ocurrido si el ncleo,
en lugar de moverse suavemente, hubiese sido impulsado violenta-
mente. Los electrones podran haberse quedado atrs. Adems, una
aceleracin dada es suficientemente suave o no dependiendo de la
rbita en cuestin. Un electrn en una rbita pequea, de alta
frecuencia, fuertemente ligada, puede seguir de cerca a un ncleo que
otro electrn en una rbita ms lejana -o en otro tomo- no podra
seguir en absoluto. En consecuencia slo podemos suponer la con-
traccin de Fitzgerald, etc., para un sistema dinmico coherente cuya
configuracin quede determinada esencialmente por fuerzas internas
y venga perturbado slo por fuerzas externas que aceleran globalmen-
te el sistema. Hagmoslo as.
Por ejemplo, en el problema de los cohetes de la introduccin, el
material de los cohetes y el del hilo se contraer. Un hilo lo bastante
fuerte mantendra unidos los cohetes e impondra la contraccin de
-
Fitzgerald a todo el sistema. Pero si los cohetes son demasiado
masivos para ser apreciablemente acelerados por el frgil hilo, ste ha
de romperse cuando la velocidad llegue a ser lo suficientemente
elevada.
Hasta ahora slo hemos discutido de objetos mviles, pero an no
lo hemos hecho de sujetos mviles. La cuestin de los sujetos mviles
no es enteramente acadmica. Completamente aparte de personas en
cohetes, parece razonable considerar como mvil -al menos durante
la mayor parte del ao- la misma tierra, que orbita alrededor del
sol7. El punto importante a sealar en referencia a los observadores
mviles es el siguiente, dada la invariancia Lorentz: las variables con
primas, introdzicidas ms arriba simplemente por conveniencia mate-
matica, son las que adoptara de modo natural un observador" que

se mueve con velocidad constante y se imagine en reposo. Adems,
dicho observador hallara que las leyes fsicas expresadas en tales
trminos son precisamente las que aprendi en reposo (si fue correc-
tamente instruido).
Un observador tal tomara de modo natural como origen de
coordenadas espaciales un punto en reposo respecto a l mismo; lo
que explica el trmino Vt en la relacin
El factor VI - V2/Z se explica por la contraccin de Fitzgerald de

sus reglas. Pero no vera l que sus reglas se contraen segn se
disponen a lo largo del eje z -e incluso que se descontraen al volverse
a colocar segn el eje x-? No, porque tambin se contrae su retina,
as que las mismas clulas reciben la imagen de la regla justamente
como si sta y el observador estuvieran en reposo. Del mismo modo,
no notar que sus relojes atrasan, porque l mismo pensar ms
lentamente. Adems, al imaginarse estar en reposo, no sabr que la luz
lo adelanta, o se dirige hacia l, con velocidades relativas diferentes en
ambos casos c f v. Esto le har equivocarse al sincronizar relojes en
lugares diferentes, de modo que se ve conducido a pensar que
es el tiempo real, pues con esta eleccin la luz parece viajar de nuevo
con velocidad c en cualquier direccin. Esto puede ser comprobado
directamente, y es tambin consecuencia de las ecuaciones de Maxwell
~primadas>>. Al medir el campo elctrico, utilizar una carga test en
reposo con respecto a su equipo, midiendo realmente as una combi-
nacin E y B. Definiendo ambos, E y B, con el requerimiento de dar
lugar a los conocidos efectos sobre las cargas en movimiento, llegar
ms bien a E' y B'. Entonces ser capaz de verificar que las leyes de la
fsica son como l recuerda y, a la vez, confirmar su buen sentido en
las definiciones y procedimientos adoptados. Si algo no sale correcta-
>' El autor, aprovechando que observer (observador) es tambin femenino en

ingls, se refiere aqu a observadoras. Se ha preferido seguir la terminologa convencio-
nal en espaol (N. del T.).
mente, hallar que su aparato comete errores (quizs averiado durante

la aceleracin) y lo reparar.
Nuestro observador mvil O', creyndose en reposo, se imaginar
que es el observador estacionario O el que se mueve. Y las variables de
este ltimo se expresan fcilmente en trminos de las del primero y
viceversa
X = xr y =y'
z' + Vt'
z=vix2
t=
+ Vz'/c2
t'
VCTv
Slo cambia el signo de V. El primero dir que las reglas del
segundo se han contrado, que sus relojes atrasan, y que ste no ha
sincronizado propiamente los relojes en lugares diferentes. Atribuir
el uso por parte del segundo de variables equivocadas a los efectos
tipo Fitzgerald-Larmor-Lorentz-Poincar en su equipo. Los puntos
de vista del primero sern lgicamente consistentes y estarn de
acuerdo con los hechos observables. N o habr manera de que el
segundo le persuada de que est equivocado.
Esto completa la introduccin de lo que se ha llegado a llamar ala
teora especial de la relatividad>>.Surgi a partir del fracaso experi-
mental para detectar cualquier cambio, en las leyes aparentes de la
fsica en los laboratorios terrestres, con la lentamente variable veloci-
dad orbital de la tierra. De especial importancia fue el experimento de
Michelson-Morley, quienes intentaron hallar alguna diferencia en la
velocidad aparente de la luz segn direcciones distintas.
Hemos seguido aqu en gran parte el enfoque de H. A. Lorentz.
Suponiendo las leyes fsicas en trminos de ciertas variables (t, x, y, z),
se lleva a cabo una investigacin acerca de cmo aparecen las cosas
para los observadores que se mueven, con su equipo, en trminos de
dichas variables. Se halla que, si las leyes fsicas son invariantes
Lorentz, tales observadores mviles sern incapaces de detectar su
movimiento. Resulta entonces que no es posible determinar experi-
mentalmente cul, si alguno, de dos sistemas que se mueven unifor-
memente se encuentra realmente en reposo y cul en movimiento.
Todo esto se aplica al movimiento uniforme; la teora <<especial>> no
contempla los observadores acelerados.
El tratamiento de Einstein difiere del de Lorentz en dos grandes

-
aspectos. Hay una diferencia de filosofa y otra de estilo.
La diferencia de filosofa es la siguiente. Puesto que experimental-
mente resulta imposible discernir cul de los dos sistemas que se
mueven uniformemente se halla de hecho en reposo, Einstein juzga
las nociones realmente en reposo y realmente movindose como
carentes de sentido. Para l, slo el movimiento relativo de dos o ms
objetos que se mueven uniformemente es real. Por el contrario,
Lorentz prefera el punto de vista de que existe verdaderamente un
estado real de reposo, definido por el &ter>>,por ms que las leyes de
la fsica conspiren para impedirnos su identificacin experimental-
mente. Ningn hecho de la fsica nos obliga a aceptar una de las
filosofas y no la otra. Y no necesitamos aceptar la filosofa de Lorentz
para adoptar una pedagoga Lorentziana. Su especial mrito consiste
en remachar la leccin de que las leyes de la fsica en cualquier sistema
de referencia dan cuenta de todos los fenmenos, incluyendo las
observaciones de observadores mviles. Y suele resultar ms sencillo
trabajar en un sistema nico que apresurarse a ir tras el objeto mvil
de turno.
La diferencia de estilo es que, en vez de inferir la experiencia de los
observadores en movimiento a partir de leyes conocidas y conjetura-
das de la fsica, Einstein parte de la hiptesis segn la cual stas
aparecern idnticas para todos los observadores en movimiento
uniforme. Esto permite una formulacin muy elegante y concisa de la
teora, como sucede frecuentemente cuando puede hacerse una supo-
sicin grande que cubre otras varias menores. N o se vea aqu ninguna
intencin de expresar reserva alguna respecto al poder y la precisin
del tratamiento de Einstein. Pero en mi opinin hay algo tambin que
debe decirse para llevar estudiantes al camino trazado por Fitzgerald,
Larmor, Lorentz y Poincar8. A veces la ruta ms larga proporciona
ms familiaridad con el pas.
En conexin con este artculo, agradezco sinceramente los con-
sejos de M. Bell, F. Farley, S. Kolbig, H. Wind, A. Zichichi y H.
@veras. Doy especialmente las gracias a H. D. Deas por discusin
temprana de estas ideas.
Cmo ensear la relatividad especial
Notas y referencias
1 Las notas han de ignorarse en una primera lectura.

2 E. Dewan & M. Beran, Am. J. Phys. 27, 517 (1959). A. A. Evett & R. K.
Wansgness, Am. J. Phys. 28, 566 (1960). E. M. Dewan, Am. J. Phys. 31, 383
(1963). A. A. Evett, Am. J. Phys. 40, 1 1 70 (1972).
3 Una aceleracin violenta podra romper el hilo simplemente debido a su propia
inercia cuando las velocidades son an pequeas. Este no es el efecto que
interesa aqu. Con una aceleracin suave, la ruptura aparece cuando se alcanza
una cierta velocidad, funcin del grado que permite el hilo ser estirado ms all
de su longitud natural.
4 Este mtodo de aceleracin, aplicar de algn modo una fuerza al ncleo sin
ningn efecto directo sobre el electrn, no es muy realista. Sin embargo, como
luego se explica, se sigue de la invariancia Lorentz y de las condiciones de
estabilidad que cualquier proceso acelerativo suficientemente suave producir
las mismas contraccin de Fitzgerald y dilatacin de Larmor. Se invita al
estudiante a dar un sentido a esta afirmacin tambin en los casos ms generales
de rbitas que no son circulares y cuando la aceleracin no se encuentra en el
plano de la rbita.
5 Para una fuente de carga Ze los campos son9, en unidades c.g.s.,
donde
Esos son los campos en la posicin r, en un tiempo t causados por una fuente que
en el tiempo retardado
tenia posicin, velocidad y aceleracin
Debido a la aparicin de r en el tiempo retardado (5.2), que a su vez se necesita

para calcular r, estas ecuaciones son menos explcitas de lo que podra haberse
deseado.
Sin embargo, si se empieza con una situacin en la cual la fuente ha estado en
reposo durante algn tiempo, r es justo la distancia instantnea a la fuente. Se
puede guardar traza subsecuente de ello integrando la ecuacin diferencial
d
2 = S-'r . ,;( - [v]) (5.3)
dt
la cual se sigue de
diferenciando con respecto al tiempo, notando que
En el caso particular de movimiento uniforme A = O, las cantidades retardadas

pueden expresarse en trminos de las no retardadas
[A]= A = O I
[VI= v = constante I
siendo la ltima expresin la solucin de
Con estas expresiones (5.1) se reduce a (1).

Para verificar esto para el tomo de hidrgeno ( 2 = 1) con un radio de la rbita
realista, e.g., el radio de Bohr
-
donde a es la constante de estructura fina, 1/137, podra requerirse mucho
tiempo de clculo. La aceleracin ha de ser muy suave, porque las fuerzas
internas son dbiles y porque la rbita se halla cerca de una inestabilidad de
resonancia entera* (en el lenguaje de la teora de los aceleradores de partculas).
-
Tomando un valor de Z ms alto, e.g. Z 70, son posibles aceleraciones mucho
mayores y basta con un modesto tiempo de clculo. La idea de obtener los
efectos Fitzgerald y Larmor en un sistema tal, mediante una integracin directa
de las ecuaciones de movimiento, quizs me surgi de una puntualizacin de J.
Larmorlo.
7 Es concebible que el movimiento de la tierra respecto al sol y el de ste respecto
a cualquier sistema inercia1 que adoptemos pudieran conspirar para hacer que la
tierra estuviera en reposo momentneo. Pero esta situacin no persistira segn
la tierra contina rotando en torno al sol, suponiendo que ste se mueve bastante
uniformemente. Dicho sea de paso, la velocidad orbital de la tierra es alrededor
de 3 km/seg. La velocidad de la superficie de la tierra respecto a su centro,
debida a la rotacin diaria, es alrededor de la centsima parte de la anterior.
8 El nico texto moderno, de entre los que conozco, que esencialmente sigue este
camino, parece ser el de L. Janossy: Theory of Relativity Based on Physical

Reality, Acadmiaia Kiado, Budapest (1971).
Estos campos salen a partir de los potenciales retardados de fuente puntual de
Lienard (1898) y Wiechert (1900). Vase por ejemplo, W. K. H. Panofsky y M.
Phillips: Classical Electricity and Magnetism. Addison-Wesley (1964). Ecs.
20-13, 20-15. Desgraciadamente, para nuestro propsito, este material se suele
presentar en los textos modernos despus de captulos sobre relatividad. Pero la
referencia incidental a la relatividad, que pueda entonces aparecer, puede no
tenerse en consideracin; lo que se tiene entre manos es simplemente el expresar
ciertas soluciones de las ecuaciones de Maxwell.
J. Larmor, Aetber and Matter. Cambridge (1900) p. 179. El ejemplo es utilizado
por Larmor para ilustrar una correspondencia muy general entre sistemas
estacionarios y mviles, basado en lo que actualmente se conoce como invarian-
cia Lorentz de las ecuaciones de Maxwell, que Larmor establece hasta el
segundo orden en vlc. Ntese que no escribe ecuaciones separadas para las
fuentes, como nuestras (3) y (5). El parece tener en mente un modelo en el cual el
movimiento de las singularidades viene de alguna manera dictado por las
ecuaciones del campo, en analoga al movimiento de los vrtices en hidrodin-
mica. Larmor resume sus conclusiones generales en la pg. 176:
deducimos el resultado, correcto hasta segundo orden, que si las fuerzas
internas de un sistema material surgen en su totalidad de acciones electrodinmi-
cas entre los sistemas de electrones que constituyen los tomos, entonces un
efecto de impartir a un sistema material firme una velocidad de traslacin
uniforme es el producir una contraccin uniforme de ste en la direccin del
movimiento, de valor E-'/' 1 - 1/2vZ/CL.Los electrones ocuparn las posi-
ciones que les correspondan en este sistema contrado, pero los desplazamientos
etreos en el espacio en su alrededor no tendrn correspondencia: si (f, g, h) y (a,
b, c) son los del sistema mvil, los desplazamientos elctrico y magntico en los
puntos correspondientes del sistema fijo sern los valores que los vectores
+
tenan en un tiempo const. vx/C2 anterior al instante considerado cuando la
escala temporal se dilata en la proporcin E"',.
El ejemplo especial se describe en la pg. 179:
como una simple ilustracin de la teora molecular general, consideremos el
grupo formado por un par de electrones de signos opuestos describiendo rbitas
circulares estables alrededor uno del otro en un sistems en reposo. (En esta
ilustracin las velocidades orbitales se suponen tan pequeas que la radiacin no
es importante); de la correlacin podemos asegurar que, cuando este par se
mueva a travs del ter con velocidad v en una direccin contenida en el plano de
sus rbitas, estas rbitas relativas al movimiento traslacional se achatarn segn
la direccin de v hasta yna elipticidad 1 - 1/2v2/C2, a1 tiempo que habr un
retardo de fase de primer orden en cada movimiento orbital cuando el electrn
est por delante de la posicin media combinado con una aceleracin cuando
est por detrs, de modo que al final el perodo slo variar en la proporcin
1 + 1/2v2/C2,que es de segundo orden. De un modo anlogo puede especificar-
se la modificacin orbital producida por el movimiento traslacional en el caso
general en que la direccin de dicho movimiento est inclinada respecto al plano
de la rbita; tambin puede extenderse a una molcula ideal constituida por
cualquier sistema orbital de electrones por complejo que sea*.
Creo que puede ser til pedaggicamente empezar con el ejemplo, integrando
las ecuaciones de alguna manera pedestre, a travs de clculo numrico por
ejemplo. El argumento general, al involucrar como lo hace un cambio de
variables, puede (me temo) sacar a la palestra un prematuro filosofar acerca del
espacio y del tiempo.
Ntese que W. Rindler, Am. J. Phys. 38 (1970), 1111, encuentra a Larmor
insuficientemente explcito sobre la dilatacin temporal:
Aparentemente nadie antes que Einstein en 1905 manifest la ms ligera
sospecha de que los relojes en movimiento pudieran atrasar.
Captulo 10
EXPERIMENTOS EINSTEIN-PODOLSKY-
ROSEN
Se me ha invitado a hablar acerca de fundamentos de la mecnica

cuntica>>-jy a un ~ b l i c ocautivo de fsicos de altas energas!-
Cmo puedo esperar mantener la atencin de una gente tan seria a
base de filosofa? Intentar hacerlo concentrndome sobre un rea
donde algunos valerosos experimentadores han puesto recientemente
la filosofa a prueba experimental.
El rea en cuestin es la de Einstein, Podolsky y Rosen1. Vamos a
suponer, por ejemplo2", que un haz de protones de algunos MeV de
energa se hace incidir sobre un blanco de hidrgeno. En ciertas
ocasiones alguno de los protones ser dispersado, originando que un
protn del blanco sufra un retroceso. Supngase (Fig. 1) que se
dispone de contadores telescpicos TI y T2 que registran cuando
protones adecuados se dirigen a contadores distantes C1 y C2. Con
disposiciones ideales el que ambos, T1 y Ti, registren implicar que
C1 y C2 lo hacen tambin ambos tras los apropiados intervalos
temporales. Supngase ahora que Ci y C2 se hallan precedidos por
filtros que dejan pasar partculas de polarizacin dada, digamos
+ r.
aquellas cuya proyeccin del espn sobre el eje z es Entonces uno
o los dos de Cl y C2 deben quedar sin registrar nada. Ciertamente
para protones con una energa adecuada uno y slo uno de tales
contadores marcar registros en casi todas las ocasiones adecuadas

-es decir, en aquellas certificadas como adecuadas por los telescopios
T1 y TZ4-. Esto es debido a que la dispersin protn-protn a gran
ngulo y baja energa, digamos algunos MeV, tiene lugar principal-
mente en onda S. Pero la antisimetra de la funcin de ondas final
requiere entonces el estado antisimtrico singlete de espn. En este
estado, cuando uno de los espines est hacia arriba* el otro se
encuentra .hacia abajo*. Esto se deduce formalmente a partir de los
valores esperados cunticos
r
donde ~ ( 1 y) 9(2) son los operadores componentes del espn de
las partculas. Supngase ahora que las distancias de la fuente a los
contadores son tales que el protn que se dirige a C1 llega a ese
contador antes que el otro protn a Ct. Alguien mirando a C1 no
sabr por anticipado si este contador realizar un registro o no. Pero
una vez que haya notado lo que sucede a Cl en el momento adecuado,
sabr inmediatamente lo que suceder subsecuentemente a CZ>sin
importar lo lejos que ste se encuentre.
FIGURA1. Experimento ideal de dispersin protn-protn.

Experimentos Einstein-Podolsky-Rosen 129
Algunos consideran paradjica esta situacin5. Tal vez hayan, por

ejemplo, llegado a imaginar la mecnica cuntica como algo no
determinista fundamentalmente. En particular pueden haber llegado a
pensar que el resultado de la medida del espn de una partcula no
polarizada (y cada partcula, considerada separadamente, es no polari-
zada aqu) est absolutamente indeterminado hasta que dicha medida
se ha llevado a cabo. Y no obstante he aqu una situacin donde el
resultado de tal medida es conocido de antemano sin duda alguna.
Qued determinado slamente en el instante en el cual la partcula
distante atraves el filtro distante? Pero cmo podra cambiar aqu la
situacin lo que sucede a una gran distancia? N o es ms razonable
suponer que el resultado estaba ya de algn modo predeterminado?
Discutir brevemente tres formas de tratar esta situacin, las
cuales pueden caracterizarse, respectivamente, mediante las tres cues-
tiones siguientes:
Por qu preocuparse?
Pero todo esto no es simplemente fsica clsica?
{Pero es realmente cierto?
;Por qu preocuparse l'
Puede argirse que al tratar de ver ms all de las predicciones

formales de la teora cuntica nos estamos complicando la vida a
nosotros mismos. N o fue precisamente esta la leccin a aprender
antes de que se pudo construir la mecnica cuntica: que es futil tratar
de ver ms all de los fenmenos observados? Adems, de este
ejemplo concreto aprendemos de nuevo que hemos de considerar el
dispositivo experimental en su totalidad. N o debemos tratar de
analizarlo dividindolo en piezas, con cuotas de indeterminacin
localizadas separadamente. Resistiendo el impulso de localizar y
analizar, puede evitarse la molestia mental.
Esta es, segn la entiendo, la postura ortodoxa, formulada por
Bohr6 en su respuesta a Einstein, Podolsky y Rosen. Muchos estn
satisfechos con ella.
iPero todo esto no es simplemente fsica clsica?
En fsica clsica existen ciertamente correlaciones similares, y

nadie se sorprende. Supongamos que saco de mi bolsillo una moneda

y, sin mirarla, soy capaz de cortarla de algn modo por la mitad,
quedando cara y cruz separadas. Supngase entonces que, sin que
nadie la mire todava, las dos piezas diferentes se introducen en los
bolsillos de dos personas que emprenden viajes distintos. El primero
de ellos en mirar, y halle que tiene cara (o cruz), sabr inmediatamente
lo que encontrara el otro subsecuentemente. Son las correlaciones
cunticas algo diferente? Segn Einstein7, no ciertamente, si le he
entendido correctamente. En el ejemplo de la moneda, cara y cruz
fueron siempre cara y cruz, incluso cuando estaban ocultas. La
primera persona que mir fue simplemente la primera en saber lo que
era cada una de las piezas. Pero de hecho todo estaba determinado
desde el momento que se introdujeron las piezas en los bolsillos (e
inclusa antes, en una teora clsica completamente determinista). Por
el hecho de no contener de modo explcito las .variables ocultas* que
presuponen cara o cruz (o arriba o abajo>>),antes de la
observacin, es por lo que la mecnica cuntica hace un misterio de
una situacin perfectamente simple. As, para Einstein8:
El carcter estadstico de la teora presente habra de ser entonces consecuen-

cia de la incompletitud de la descripcin de los sistemas en mecnica cuntica
y no existira ya base alguna para suponer que una futura ... fsica deba basarse
en la estadstica...
Que el aparente indeterminismo de los fenmenos cunticos se

puede simular de forma determinstica es bien conocido por todos los
experimentadores. Es ahora usual, al disear un experimento, cons-
truir un programa Montecarlo para simular con el ordenador el
comportamiento esperado. El funcionamiento del ordenador digital
es completamente determinstico -incluso los as llamados nmeros
ualeatoriow estn previamente determinados-. Cualquiera de esos
programas es efectivamente una teora determinista ad hoc, para un
montaje concreto de los instrumentos, que proporciona iguales pre-
dicciones que la mecnica cuntica.
Es interesante seguir con esto algo ms en el caso citado de las
correlaciones de los contadores. Sean A la variable que toma los
valores f 1 segn que el contador 1 haga o no un registro y B una
variable anloga para la respuesta del contador 2. Supongamos que A
y B quedan determinadas por ciertas variables A, p, v.. .,algunas de las
cuales pueden ser nmeros aleatorios:
Experimentos Einstein-Podolsky-Rosen
Hay infinitas maneras de elegir variables y funciones de modo que

B = - 1 siempre que A = +
1, y viceversa. Se reproducen entonces
las correlaciones cunticas.
Considrese, sin embargo, una variante de este experimento. En
lugar de tener ambos filtros del espn segn la direccin z, los dos
estn girados, para permitir el pasode espines que .apuntan, a otras
direcciones. Supongamos que el filtro asociado al primer contador
apunta segn un cierto vector unitario a y el asociado al segundo lo
hace segn b. Para valores dados de las variables ocultas A, p, v,... la
respuesta A del primer contador puede bien depender ahora de la
orientacin a de su propio filtro. Pero uno no esperara que A
dependiera de la orientacin b del filtro que est distante. Y podra
esperarse que la respuesta B del segundo contador dependiera de la
condicin local b, pero no as de la a, que se refiere a un instrumento
remoto :
Defnase la funcin de correlacin P(a, b) como el valor medio del

producto AB:
donde la barra denota promediar sobre alguna distribucin de las

variables A, ,u, y,. ..
Para esta situacin ms general la prediccin cuntica es
P(a, b) = (singletela o(1)b o(2)lsinglete) = - cos 0 (2)
donde 8 es el ngulo entre a y b. Podemos, mediante algn astuto

esquema de variables A, p, v,... y funciones A, B lograr que el
promedio (1) tenga el valor (2)? La respuesta es <<no..
Supngase, por ejemplo, que hacemos que (1) iguale a (2) para
a = b, Le., 8 = 0.
P(a, b) = - 1 para a = b
Entonces A y B deben tener signos opuestos en todo el espacio de

las A, p, v, ... Considrese ahora lo que sucede si se cambia a hasta un
nuevo valor a'. B (independiente de a por hiptesis) no vara para A,
p, y,. .. dados. Pero A cambiar de signo en ciertos puntos, y esos
+
puntos contribuirn con AB = 1 y no con AB = - 1 al promedio
(1). As que
donde es la ~robabilidadtotal del conjunto de puntos A, p, v,. .. en

los cuales A cambia de signo. Y este conjunto de puntos, donde A
cambia de signo cuando a se convierte en a', no depende en modo
+
alguno de b. Se sigue de (1) y de B = 1 que
As, pues, de todos los ~osiblesvalores b, b = a es en el que P

vara ms deprisa con a. A diferencia de la correlacin cuntica (2), la
cual es estacionaria en O para 0 = O, la correlacin de variables ocultas
(1) debe tener ah un punto de torsin (Fig. 2).
Se podra, desde luego, obtener el resultado cuntico a partir de
una representacin de variables ocultas ms general en la cual A
dependa tanto de b como de a, o B tanto de a como de b:
Pero eso hara que el comportamiento de un contador dependiera

de lo que se haga en un sitio distante. Esto parecera bastante raro con
a y b constantes, pero supongamos ahora que stas son capaces de
variar a lo largo del tiempo; entonces los valores relevantes, segn la
mecnica cuntica, de a y b son los obtenidos cuando las partculas
atraviesan los filtros correspondientes. Supngase por ejemplo que
arreglamos que los pasos de aqullas por stos se realicen simultnea-
mente. Entonces A (o B) habran de depender de b (o a), es decir, del
instrumento distante, instantneamente. La dependencia causal ten-
dra que propagarse ms deprisa que la luz. Por lo tanto, todo esto no
es simplemente como en fsica clsica. Einstein arga que las correla-
ciones EPR se haran inteligibles nicamente completando la descrip-
cin de la mecnica cuntica de una manera clsica. Pero un anlisis
detallado demueitra que toda descripcin clsica de estas correlacio-

nes tiene que contener una fantasmal accin a distancia^^, de esas en
las que Einstein no poda creer:
Pero, en mi opinin, tendramos que mantener firmemente una hiptesis: que

la situacin factual real del sistema S2 es independiente de lo que se haga con
el sistema SI que est separado espacialmente del primero.
Si la naturaleza sigue la mecnica cuntica en esas correlaciones, la

concepcin Einsteniana del mundo es insostenible.
FIGURA
2. Comportamiento de la correlacin P cerca de 8 = O , P = -1.
j Pero es realmente cierto?
Y bien, jsigue la naturaleza la mecnica cuntica en este tipo de

asuntos? Podra argirse que el xito muy general y espectacular de la
mecnica cuntica convierte en intil el hacer experimentos especiales
sobre estas correlaciones. Encontraramos simplemente, despus de
un montn de molestias, que la mecnica cuntica es de nuevo
correcta. Pero tambin puede argirse que el gran xito de la mecnica
cuntica, en tanto en cuanto difiere de la mecnica clsica, se da a
escala microscpica. Aqu, por el contrario, nos interesamos en los
fenmenos cunticos a escala macroscpica.
134 Lo decible y 10 indecible en mecnica cuntica
La inquietud actual para verificar experimentalmente este tipo de

cosas arranca del artculo de Clauser, Holt, Horne y Shimonyl'. A
partir de la representacin bsica (II), stos probaron que
Aqu P es la correlacin de los registros de los contadores antes

definida, a y a' son montaje; alternativos del primer polarizador y b y
b' lo anlogo del segundo. Se ve enseguida que la P cuntica (2), para
a, a', b, b' convenientemente elegidos, viola (3) en un factor que llega
a VZ Es en trminos de esta .desigualdad de la localidad,,, tan
prctica, como se han interpretado los diferentes experimentos.
Desgraciadamente, no es posible por ahora el aproximarse a las
condiciones del experimento crtico ideal. Los contadores reales,
analizadores reales de polarizacin y disposicin geomtrica real son
en conjunto lo bastante ineficientes como para que aparezcan muy
diluidas las correlaciones cunticas. Los contadores sealan ,s, s
muy raramente; usualmente sealan Uno, non y marcan .s, non con
una frecuencia que es slo dbilmente dependiente de las orientacio-
nes de los polarizadores. En estas condiciones
donde 6 es pequeo y depende dbilmente de los-argumentos a, b. La

desigualdad (3) se satisface entonces trivialmente. As, pues, es slo
considerando (en efecto) diversas ineficiencias convencionalmente y
extrapolando as de los resultados reals a los ideales, como pueden
emplearse los diversos experimentos para werificar~la desigualdad.
N o obstante, los resultados son de gran inters. Podran imaginarse
fallos compensados, de la mecnica cuntica de las correlaciones de
espn convencional y de la fenomenologa de los instrumentos con-
vencional, los cuales hicieran irrelevante la realizacin de experimen-
tos. Pero eso parecera una conspiracin extraordinaria.
De entre todos esos experimentos slo uno tiene que ver con la
dispersin pp a baja energa del experimento ideal de ms arriba: el de
Lamehi-Rachti y Mittig en Saclaylz. Se dispersan protones de 14 MeV
de energa a un ngulo de 45" (todo ello en el sistema Lab) y se mide la
correlacin de espn entre los protones dispersados y los de retroceso.
Al no disponer de los filtros ideales s-no de polarizacin del experi-
mento <<gedanken,los autores analizan la polarizacin mediante la
dispersin secundaria en Carbono. N o tienen tampoco los telescopios

Ti y T2 para decirles cundo hay de verdad partculas adecuadas que
se dirigen a los contadores. Esto tambin alarga la extrapolacin del
experimento real al ideal. N o obstante, si hubiera alguna tendencia
para que el estado singlete de espn se disipara de alguna manera al
separarse las partculas macroscpicamente, sta se revelara, ex-
cluyendo la conspiracin, en tal experimento. En los resultados
~reliminaresno aparece ese efecto. Estos se hallan de acuerdo con la
L
mecnica cuntica y en desacuerdo (en el sentido de una cierta

extrapolacin) con la desigualdad de la localidad.
El resto de los experimentos se ha llevado a cabo con pares de
fotones y no con partculas de espn un medio. En la teora, los dos
estados de polarizacin lineal de cada fotn sustituyen a los corres-
pondientes de espn de cada partcula de espn +. Pares de fotones
adecuadamente correlacionados aparecen en la aniquilacin de posi-
trones lentos con electrones. De nuevo no existen filtros de pol&za-
cin muy eficientes. Los experimentadores tienen que recurrir a la
dispersin Compton de los fotones; de acuerdo con la mecnica
cuntica, las correlaciones de polarizacin entonces se traducen en
correlaciones angulares. Tales experimentos se han llevado a cabo en
Columbia13 (Kasday, Ullman y Wu) y Catania" (Faraci, Gutkowski,
Notarrigo- y- Pennisi). El resultado de Columbia est de acuerdo con la
mecnica cuntica y (en el sentido de la extrapolacin) en desacuerdo
con la desigualdad. Lo opuesto se da en el experimento de Catania.
Las causas de la discrepancia entre los dos experimentos no se
conocen, hasta donde yo s.
En contraste con los fotones energticos
- de la aniquilacin de
positrones, para los fotones pticos s se dispone de eficientes filtros
de polarizacin -por ejemplo cristales birrefringentes y <<pilasde
lminas-. Adems en ciertas cascadas atmicas se crean pares de
fotones adecuadamente correlacionadas. Consideremos, por ejemplo,
una cascada de dos fotones en donde los estados atmicos inicial y
final tienen momento angular cero. Cuando los fotones emergen justo
en sentidos opuestos, sus helicidades han de estar correlacionadas de
modo que no haya momento angular neto segn su direccin comn
de movimiento. Hay la correspondiente correlacin de la polarizacin
de los estados lineales. Desgraciadamente los fotones no emergen
siempre en sentidos opuestos, ya que el tomo residual puede adquirir
momento. Entonces, muy frecuentemente un no de un contador no
significa nada respecto a la polarizacin, sino que simplemente quiere
decir que ningn fotn ha seguido ese camino. Tal problema podra
en principio eliminarse mediante unos telescopios adecuados T que
excluyeran los casos sin inters. Sin embargo esto no ha sido posible
en la prctica. La significacin del <<no>>de u> contador resulta adems
disminuida por la muy baja eficiencia de los contadores de fotones.
As pues la realizacin de un sistema que viole, de hecho, la desigual-
dad de la localidad no es por ahora posible. Pero tales experimentos s
verifican si las correlaciones cunticas persisten a distancias macrosc-
picas. Experimentos de este tipo han sido llevados a cabo por Clauser
y Freedman15, en una cascada del Calcio, por Holt y Pipkin16 y por
Clauser17en una cascada del Mercurio y por Fry18 en otra cascada del
Mercurio. Tres de esos cuatro experimentos confirman muy bien la
mecnica cuntica y (en el sentido de alguna extrapolacin) se hallan
significativamente en desacuerdo con la desigualdad de la localidad.
Pero para Holt y Pipkin lo contrario es cierto.-NO se entiende por qu
este experimento se encuentra en desacuerdo con el muy similar de
Clauser.
Ahora bien, estos experimentos no verifican en absoluto lo que se
dijo era la caracterstica ms llamativa de las correlaciones cunticas:
su sola dependencia de las orientaciones instantneas, durante el paso
de las partculas, de los filtros polarizadores. Es por lo tanto de gran
inters que est ahora en realizacin un experimento de cascadas
atmicas en el cual las orientaciones de los polarizadores se cambian
mientras los fotones estn en vuelo. Clauser19 sugiri que esto podra
hacerse mediante el uso de algo as como las clulas de Kerr. Pero
segn Aspect2' tales clulas se calientan muy rpidamente y son de
una transmisin demasiado baja para resultar tiles en la prctica. Su
idea es el sustituir cada combinacin filtro-contador por un par de
tales combinaciones con filtros diferentemente orientados. Piensa que
puede hacer que entre en juego una u otra polarizacin mediante un
dispositivo de conmutacin que es capaz de redirigir el fotn inciden-
te de uno a otro filtro rpidamente. Cree que tal conmutacin puede
llevarse a efecto mediante la generacin de ondas ultrasnicas perma-
nentes en las que el fotn sufre la reflexin Bragg. Si este experimento
da el resultado esperado ello ser una confirmacin de lo que es, a mi
juicio, a la luz del anlisis de la localidad2', una de las predicciones
ms extraordinarias de la teora cuntica.
Creo que las generaciones futuras deberan estar agradecidas a los
que han trado estos asuntos desde el dominio del experimento
agedanken~(ideal) al del experimento real. Adems varios de los
experimentos reales son de gran elegancia. El or sobre ellos (no en los

trminos esquemticos de un terico, sino en los reales de sus autores)
constituye, tomando prestada una frase del profesor Gilberto Bernar-
dini, una experiencia espiritual.
Apndice: Einstein y las variables ocultas
Durante largo tiempo yo haba credo completamente convencio-

nal e incontrovertible considerar a Einstein como un proponente de
las variables ocultas y ~ i e r t a m e n t ecomo
~ ~ *el defensor ms profundo
de las variables ocultas. Y as he apelado en varias ocasiones a su
autoridad para legitimar el inters en esta cuestin. Pero al hacer esto
he sido acusado, por Max Jammer5 en su valioso libro: eThe Philo-
sophy of Quantum Mechanb,, de confundir al pblico:
Una de las fuentes del error de catalogar a Einstein entre los proponentes de
las variables ocultas fue probablemente el muy difundido artculo de J. S.
Bell: On the Einstein-Podolsky-Rosen Paradox, Physics 1; 195-200 (1964),
el cual empezaba con la frase: <<Laparadoja ... fue propuesta como un argu-
mento de que la mecnica cuntica... tendra que ser suplementada por variables
adicionales.... Los comentarios de Einstein en su Reply to Criticisms~(Ref.
4-9, p. 672), citados por Be11 en apoyo de su tesis, no son ciertamente
confesin alguna de ningn tipo de creencia en la necesidad de variables
ocultas.
La puntualizacin de Einstein que yo haba citado deca as:
Pero, en mi opinin, tendramos que mantener firmemente una hiptesis: que

la situacin factual real del sistema S2 es independiente de lo que se haga con
el sistema SI que est separado espacialmente del primero.
El objeto de esta citacin era el recordar el profundo compromiso

de Einstein con el realismo y la localidad, axiomas del artculo de
EPR. Y la cita no era de la pg. 672 de <<Replyto Criticisms>>de
Einstein, sino de la pg. 85 de sus c<AutobiographicalNotes>>en el
mismo volumen23.Pero volviendo a la pg. 672, encuentro lo siguien-
te:
Suponiendo el xito de los esfuerzos para el logro de una descripcin fsica

completa, la teora estadstica cuntica tendra, dentro del marco de la fsica
futura, una posicin aproximadamente anloga a la de la mecnica estadstica

en el marco de la mecnica clsica. Estoy bastante firmemente convencido de
que el desarrollo de la fsica terica tendr que ser de este tipo; pero el camino
ser largo y difcil.
Esto me parece una clara adhesin a lo que usualmente se entiende

por variables ocultas2'.
Otras afirmaciones igual de claras se encuentran fcilmentez5:
Estoy, de hecho, firmemente convencido de que el carcter estadstico en

esencia de la teora cuntica contempornea ha de imputarse al hecho de que
esta (teora) opera con una descripcin incompleta de los sistemas fsicos.
Ms an, el artculo de EPR se titulaba: .Puede Considerarse

completa la Descripcin Mecanocuntica de la Realidad Fsica?>>Y
acababa con:
Mientras que hemos consecuentemente probado que la funcin de ondas no

nos proporciona una descripcin completa de la realidad fsica, dejamos
abierta la cuestin de si existe o no tal descripcin. Creemos, sin embargo,
que una teora de ese tipo es posible.
Me parece entonces fuera de toda disputa que haba al menos un

Einstein, el del artculo de EPR y el volumen de Schilpp, que era
totalmente partidario del punto de vista que la mecnica cuntica era
incompleta y tendra que completarse -lo cual es el programa de las
variables ocultas-. Max Jammer no parece haber encontrado ese
Einstein, pero asegura haber encontrado otro. Como evidencia cita
prrafos de cartas privadas, y tradicin oral, y la conocida adhesin de
Einstein a la teora clsica de campos.
Ahora, al creer en la teora clsica de campos, en Funciones
continuas en el (continuo) cuadridimensional como los conceptos
bsicos de la teora26, no excluye en modo alguno la creencia en
variables ocultas. Antes bien, puede verse como una concepcin
particular de esas variables.
La tradicin oral era que Einstein esperaba que finalmente la
mecnica cuntica entrara en conflicto con el experimento. Pero si tal
esperanza lo fuera a excluir de la lista de proponentes de variables
ocultas, dudo que alguien pudiera pertenecer a ella. Si se compilara tal
lista, creo que en ella estaran los interesados en reproducir experi-
mentalmente los aspectos confirmados de la mecnica cuntica pero
ansiosos de hallar en sus investigaciones alguna pista de dnde habra

de buscarse un experimento crtico. Ciertamente, pocos esperaran la
reivindicacin definitiva de la mecnica cuntica (al nivel estadstico)
tan fuertemente como el mismo Einstein en una ocasin2'; Las
relaciones formales que se dan en esta teora -es decir, su entero
formalismo matemtico- habrn de estar probablemente contenidas,
en forma de inferencias lgicas, en toda teora futura til*.
Las citas de cartas privadas son de reacciones negativas por parte de
Einstein con respecto a las muy particulares variables ocultas de
Bohm de 1952. Este esquema reproduca completamente, y con
bastante trivialidad, la totalidad de la mecnica cuntica no relativista.
Era de gran valor por iluminar ciertos aspectos de la teora y por
poner en perspectiva diversas .pruebas>>acerca de la imposibilidad de
una interpretacin de variables ocultas. Pero el mismo Bohm no la
consideraba como final en modo alguno. Jammer podra haber aadi-
do a sus citas la siguiente, de una cana de Einstein a Born6:
H a notado que Bohm cree (como, por cierto, de Broglie hace 25 aos) que es
capaz de interpretar la teora cuntica en trminos deterministas? Ese camino
me parece a m faciln en demasa.
Sobre lo cual comenta Born:
Aunque esa teora se hallaba completamente en lnea con sus propias ideas ...
As pues, Born haba catalogado tambin a Einstein como propo-

nente de variables ocultas. Creo que estaba en lo cierto.
Notas y referencias
1 A. Einstein, B. Podolsky y N. Rosen, Phys. Rev. 11, 777 (1935).

2 D. Bohm, Quantum Theory, Englewood Cliffe, N . J. (1951).
3 A. Peres y P. Singer, Nuovo Cimento 15,907 (1960); R. Fox, Lettere al Nuovo
Cimento 2, 656 (1971).
4 Se supone que estos telescopios no afectan al espn del protn.
5 M. Jammer, The Philosophy of Quantum Mechanics, Wiley, N . Y . (1974). En los
captulos 6 y 7 se presenta una descripcin muy completa de la historia (y
prehistoria) de la paradoja EPR.
6 N. Bohr, Discusiones con Einstein, en Ref. 23.
7 Apndice.
8 A. Einstein, en Ref. 23, pg. 87.

11 J. F. Clauser, R. A. Holt, M. A. Horne y A. Shimony, Phys. Rev. Lett. 23, 880
(1969).
12 M. Lamehi-Rachti y W. Mittig, Phys. Rev. D14, 2543 (1976).
13 L. R. Kasday, J. D. Ullman y C. S. Wu, Nuovo Cimento 25B, 633 (1975).
14 G. Faracci, D. Gutkowski, S. Notarrigo y A. R. Pennisi, Lettere al Nuovo
Cimento 9, 607 (1974).
15 J. F. Clauser y S. J. Freedman, Phys. Rev. Lett. 28, 938 (1972).
16 F. M. Pipkin, Adv. Atomic and Mol. Phys. 14, 281 (1978).
17 J. F. Clauser, Phys. Rev. Lett. 36, 1223 (1976).
18 E. S. Fry y R. C. Thompson, Phys. Rev. Lett. 37, 465 (1976).
19 Como ha informado A. Shimony, Ref. 22.
20 A. Aspect, Phys. Lett. A54, 117 (1975); Phys. Rev. D14, 1944 (1976).
21 Por simplicidad, en este artculo seguimos la pista a las consecuencias del
determinismo, el cual es requerido por la localidad slo en el caso de correlacio-
nes perfectas. Pero (3) se cumple en una clase mucho ms amplia de teoras,
locales indeterministas. Vase por ejemplo (con las referencias all citadas): J. F.
Clauser y M. Horne, Phys. Rev. DIO, 526 (1974); B. d'Espagnat, Phys. Rev.
D l l , 1424 (1975), y Conceptual Foundations of Quantum Mechanics, Benjamin,
N . Y . (1976); J. S. Bell, The Theovy ofLocal Beables, CERN, T H 2053 (1975),
en Actas del Seminario Internacional del GIFT, Jaca (1975) y Epistemological
Letters (Marzo, 1976).
22 A. Shimony, en Foundations of Quantum Mechanics, B. D'Espagnat Edit.,
Academic Press, Nueva York y Londres (1971), citado con desaprobacin por
M. Jammer, ref. 5.
23 P. A. Schilpp, Ed. Albert Einstein, Philosopher-Scientist, Tudor, N . Y. (1949).
24 La nomenclatura usual, variables ocultas, es bastante poco afortunada. Aquellos
con mentalidad pragmtica bien pueden preguntar por qu preocuparse de
entidades ocultas que no tienen efecto alguno sobre nada. Por supuesto, siempre
que aparece un destello en una pantalla, cada vez que se observa una cosa y no
otra, se revela el valor de una variable oculta. Quiz variables incontroladas
habra sido mejor, pues tales variables, por hiptesis, por ahora, no pueden ser
controladas por nosotros.
25 Ref. 23, pg. 666. Vanse asimismo las observaciones de Einstein en la Introduc-
cin de Louis de Brglie, Physicien et Penseur, Albin Michel, Pars (1953), pg. 5
y las cartas 81, 84, 86, 88, 97, 99, 103, 106, 108, 110, 115 y 116, en Ref. 28.
26 Ref. 23, pg. 675.
27 Ref. 23, pg. 667.
28 M. Born, Ed., The Born-Einstein Letters, pg. 192, Macmillan, Londres (1971).
Captulo 11
LA TEORIA DE LA MEDIDA DE EVERETT Y
LA O N D A PILOTO DE DE BROGLIE
En 1957, H. Everett public un artculo en el cual desarrollaba lo

que pareca ser una radicalmente nueva interpretacin de la mecnica
cuntica1. Su interpretacin ha recibido una creciente atencin
recientemente2. N o cita las ideas de de Broglie treinta aos
anteriores3, ni la intervencin de Bohm4 en la elaboracin de dichas
ideas. N o obstante, se argir aqu que la eliminacin de elementos
arbitrarios e inesenciales de la teora de Everett conduce de vuelta a la
teora de de Broglie y arroja nueva luz sobre los conceptos de ste5.
Everett estaba motivado por la nocin de una teora cuntica de la
gravitacin y cosmologa. En una cosmologa completamente cunti-
ca, una mecnica cuntica del universo entero, la funcin de ondas de
ste no poda interpretarse de la forma usual. Eso es porque esta
interpretacin usual se refiere slo a la estadstica de resultados de
medidas para un observador que interviene desde fuera del sistema
cuntico. Cuando tal sistema es el universo en su totalidad, nada
existe fuera de l. Esta situacin no presenta ninguna dificultad
particular para la filosofa tradicional (o de aCopenhague>>),que
sostiene que una concepcin clsica del mundo macroscpico posee
prioridad lgica sobre la concepcin cuntica del microscpico. El
mundo microscpico se describe mediante las funciones de ondas que
se determinan por fenmenos macroscpicos en dispositivos experi-

mentales y tienen implicaciones sobre ellos. Estos fenmenos macros-
cpicos se describen de modo perfectamente clsico (en el lenguaje de
los cbeable~.~,antes que en el de los <<observables>>, de modo que no
hay ninguna razn para una cadena sin fin de observadores observan-
do observadores observando...). Desde luego no existe un lmite bien
marcado entre lo que ha de tratarse como microscpico y lo que es
macroscpico, y este hecho introduce una vaguedad bsica en la teora
fsica fundamental. N o obstante, esta vaguedad, debido a la inmensa
diferencia de escala entre el nivel atmico en donde los conceptos
cunticos resultan esenciales y el nivel macroscpico en que los
conceptos clsicos son adecuados, es cuantitativamente insignificante
en cualquier situacin contemplada hasta la fecha. As, pues, es
completamente aceptable para muchas personas. N o es entonces
sorprendente que un tradicionalista tan consistente como L. Rosen-
feld haya llegado incluso a sugerir7 que una teora cuntica de la
gravitacin puede resultar innecesaria. Los nicos fenmenos gravita-
cionales que en realidad conocemos pertenecen al nivel macroscpico e
involucran una gran cantidad de tomos. As que slo necesitamos el
concepto de gravitacin a ese nivel clsico, cuyo estatus lgico
separado es en cualquier caso fundamental en el punto de vista
tradicional. Sin embargo, pienso que la mayora de los fsicos contem-
porneos consideraran como provisional cualquier teora puramente
clsica de la gravitacin y sostendran que una teora realmente
adecuada debe ser aplicable, en principio, tambin al nivel microsc-
pico -por ms que all sus efectos sean insignificantemente
pequeos8-. Muchos de esos mismos fsicos contemporneos estn
perfectamente contentos con la vaga divisin del mundo en macrosc-
pico clsico y microscpico cuntico inherente a la teora contempo-
rnea (i.e. tradicional) cuntica. Esta mezcla de preocupacin por un
lado y complacencia por otro no es en mi opinin tan admirable como
la clara y sistemtica complacencia de Rosenfeld.
A Everett no le complaca la gravitacin ni la teora cuntica.
Como preparativo para una sntesis de ambas, trat de interpretar la
nocin de una funcin de ondas del mundo. Este mundo contiene
ciertamente instrumentos que pueden detectar, y registrar de modo
macroscpico, fenmenos microscpicos y de otros tipos. Sea A la
parte registrante, o <<memoria>>, de tal instrumento, o de un grupo de
tales instrumentos, y sea B el resto del mundo. Denotemos las
coordenadas de A por a y las de B por b. Sea @,(a) un conjunto completo
La teora de la medida de Everett y la onda piloto de de Broglie 143
de estados para A. Entonces, la funcin de ondas V(a, b, t )del mundo en

un cierto instante t puede desarrollarse en trminos de las +n:
Nos referiremos a la norma de
como el <<peso>> de #n en ese desarrollo. Por ejemplo, A podra ser una

placa fotogrfica capaz de registrar el paso de una partcula ionizante
en una muestra de puntos ennegrecidos. Las diferentes muestras de
ennegrecimiento corresponden a diferentes estados. Puede entonces
demostrarse9, siguiendo las lneas establecidas hace tiempo por Mott
y Heisenberg, que los iinicos estados Gn con peso apreciable son
aquellos en los que los puntos ennegrecidos forman una secuencia
lineal, en los que los enriegrecimientos de placas vecinas o de partes
diferentes de la misma placa son consistentes entre s, y as sucesiva-
mente. De igual modo Everett, permitiendo que A sea una memoria
ms complicada, como la de un ordenador (o incluso un ser humano),
o una coleccin de tales memorias, prueba que slo tienen peso
apreciable aquellos estados $n en los que las memorias estn de
acuerdo en una historia ms o menos coherente del tipo de aquellas
sobre las que tenemos experiencia. Todo esto no es nuevo ni contro-
vertido. La novedad est en el nfasis hecho sobre los contenidos de
memoria como el material esencial de la fsica y en la interpretacin
que Everett procede a imponer sobre el desarrollo (E).
Un exponente del punto de vista tradicional, si se permitiera
contemplar una funcin de ondas del universo, dira probablemente
lo siguiente. Una vez que se ha formado un registro macroscpico,
estamos tratando de un hecho y no de una ~osibilidady la funcin de
ondas debe ajustarse para tener en cuenta esto. As que de vez en
cuando la funcin de ondas se reduce*
donde (N es un factor de renormalizacin) la suma restringida C ' se

realiza sobre un grupo de estados @, que son uindistinguibles macros-

cpicamente>>.El conjunto completo de estados se divide en una gran
cantidad de dichos grupos, y la reduccin a un grupo en particular
acontece con una probabilidad proporcional a su peso total
P
El no podr decir precisamente cundo o cun frecuentemente

tiene que hacerse esta reduccin, pero analizando ejemplos sera capaz
de mostrar que la ambigedad no tiene en la prctica importancia
cuantitativa. Everett se libra de esta suspensin imprecisamente defi-
nida de la ecuacin lineal de Schrodinger mediante la osada proposi-
cin siguiente: es sencillamente una ilusin que el mundo fsico lleve a
cabo una eleccin particular entre las diferentes posibilidades macros-
cpicas contenidas en el desarrollo; todas se realizan, y la reduccin
de la funcin de ondas no tiene lugar. Parece concebir el mundo como
una multiplicidad de mundos .rama>>,correspondiendo uno de ellos a
cada uno de los trminos #,x,en el desarrollo. Todo observador tiene
representantes en muchos de los mundos, pero el representante en
una rama concreta es consciente slo del correspondiente estado de
memoria @ ., As que recordar una secuencia ms o menos continua
de .sucesos. del pasado, justo como si estuviera viviendo en uno solo
de los mundos .rama>> ms o menos bien definido, y no tendr
ninguna conciencia de las otras ramas. De hecho Everett va ms all y
trata de asociar cada rama particular en el presente con alguna rama
particular en el pasado en una estructura de tipo arbreo, de modo
que cada representante de un observador haya vivido realmente a
travs del pasado que l recuerda en particular. En mi opinin este
intento no se logra9 y va en cualquier caso contra el espritu del nfasis
de Everett en el contenido de la memoria como lo verdaderamente
importante. No tenemos acceso a los recuerdos pretritos, sino
solamente a los presentes. Un recuerdo presente de que se ha hecho
un experimpto correcto ha de asociarse a un recuerdo presente de
haber obtenido un resultado correcto. Si la teora fsica puede rendir
cuenta de tales correlaciones en los recuerdos presentes, ha hecho
bastante -al menos en el espritu de Everett-.
Rechazando el impulso de ignorar la teora de Everett de los
mundos mltiples al considerarla ciencia ficcin, planteamos aqu un
par de cuestiones acerca de ella.
La teora de la medida de Everett y la onda piloto de de Broglie 145
La primera se basa en la siguiente observacin: hay infinitos

desarrollos de tipo E, correspondientes a los infinitos conjuntos
completos en.
(Hay entonces una multiplicidad adicional de mundos
correspondiente a los infinitos modos de realizar el desarrollo, as
como la correspondiente a los infinitos trminos de cada uno de los
desarrollos? Creo (no estoy seguro) que la respuesta es no, y que
Everett limita su interpretacin a un desarrollo particular. Para ver
por qu, supngase por un momento que A es justamente un instru-
mento con dos lecturas 1 y 2, siendo los correspondientes estados el
y &. En lugar de desarrollar en $1 y @2 podramos, como posibilidad
matemtica, desarrollar en
En cada uno de estos estados el marcador del instrumento no toma

un valor definido, y no creo que Everett desee tener ramas de ese tipo
en su universo. Para formalizar su preferencia introduzcamos un
operador R del marcador del instrumento
y operadores Q y P relacionados anlogamente con y @.,'

Entonces podemos decir que la estructura de Everett est fundamen-
tada en un desarrollo donde se diagonalizan marcadores de instru-
mentos R, antes que operadores como Q y P. Esta preferencia por un
conjunto en particular de operadores no viene dictada por la estructu-
ra matemtica de la funcin de ondas q. Se aade justamente (slo de
modo tcito de Everett, y slo por ello, si lo he entendido bien) en
orden a hacer que el modelo refleje la experiencia humana. La
existencia de tal conjunto preferido de variables es uno de los elemen-
tos en la muy estrecha correspondencia entre la teora de Everett y la
de de Broglie -donde desempean un particular papel las posiciones
de las partculas-.
La segunda cuestin surge a partir de la primera: si se ha de dar un
papel tan fundamental a los marcadores de los instrumentos, (no se
nos debera decir ms exactamente lo que es un marcador de instru-
mento, o, verdaderamente, un instrumento, o una unidad de almace-
namiento o en memoria ...? Al dividir el mundo en piezas A y B Everett
sigue una antigua convencin de la teora cuntica de la medida
abstracta; que el mundo se reparte netamente entre tales piezas
-instrumentos y sistemas-. En mi opinin sta es una poco afortu-

nada convencin. El mundo real se compone de electrones y protones
y as sucesivamente, y como resultado los lmites de los objetos
naturales son borrosos, y algunas partculas fronterizas pueden asig-
narse slo dudosamente al objeto o al entorno. Yo creo que la teora
fsica fundamental ha de formularse de modo tal que estas divisiones
artificiales sean manifiestamente inesenciales. En mi opinin Everett
no ha dado tal formulacin; de Broglie s lo ha hecho.
As pues llegamos finalmente a de Broglie. Hace ya tiempo ste se
enfrent con la dualidad bsica de la teora cuntica. La onda matem-
tica para una partcula se extiende en el espacio, pero la experiencia
corpuscular, como un centelleo en una pantalla. Para un sistema
complejo, 11> se extiende sobre el espacio completo de configuracin y
sobre todo n en los desarrollos como (E), pero la experiencia tiene un
carcter articular, del tipo del desarrollo reducido (E'). De Broglie
hizo esta simple y natural sugerencia: la funcin de ondas no es una
descripcin completa de la realidad, sino que debe complementarse
con otras variables. Para una sola partcula, aade a la funcin de
ondas q(r, t) una coordenada de partcula x(t) -la posicin instant-
nea de la partcula localizada en la onda extendida-. Esta cambia con
el tiempo de acuerdo con
En un conjunto de situaciones similares x se distribuye con pesos

Iq(x, t)12dx, situacin que se deriva de (G) para todo tiempo si se da
en un cierto instante. Para construir un modelo del mundo, un mundo
simple consistente en muchas partculas no-relativistas, tenemos slo
que extender estas prescripciones de 3 dimensiones a 3N de ellas,
donde N es el nmero de partculas. En este mundo la funcin de
ondas de N partculas obedece exactamente la ecuacin de Schrodinger
de N cuerpos. N o existe reduccin del paquete de ondasr alguna y
todos los trminos en desarrollo del tipo (E) se retienen indefinida-
mente. N o obstante el mundo tiene una definida configuracin (xl,
x2, x~...) en todo momento, que cambia segn la versin 3N-
dimensional de (G). Este modelo es como el de Everett al utilizar una
funcin de ondas del universo y una ecuacin de Schrodinger exacta,
y al superponer sobre esta funcin de ondas una estructura adicional
La teora de la medida de Everett y la onda piloto de de Broglie 1-47
que involucra un conjunto preferido de variables. Me parece que las

principales diferencias son stas:
(1) Mientras que las variables especiales de Everett son los vaga-
mente antropocntricos marcadores (lecturas) de instrumentos, las de
de Broglie se relacionan con una estructura microscpica supuesta del
mundo. Los aspectos macroscpicos de inters directo para los seres
humanos, como las lecturas de instrumentos, pueden extraerse me-
diante un promedio de un *grosor* adecuado, pero las ambigedades
al hacer esto no se introducen ya en la formulacin fundamental.
(2) Mientras que Everett supone que todas las configuraciones de
sus variables especiales se realizan en cualquier tiempo, cada una en el
universo rama apropiado, el mundo de de Broglie tiene una confi-
guracin particular. N o veo lo que puede conseguirse de til mediante
la supuesta existencia de otras ramas de las cuales no soy consciente.
Pero dejemos que el que encuentre inspiradora esta hiptesis la haga;
sin duda podr hacerla igual de bien en trminos de las x's como en
trminos de las R's.
(3) Mientras que Everett no realiza ningn intento (o slo a
medias alguno) de unir las sucesivas configuraciones del mundo en
trayectorias continuas, de Broglie hace justo esto de una manera
perfectamente determinista (G). Ahora bien estas trayectorias de de
Broglie, aunque (G) pueda tener un aspecto muy inocente en el
espacio de configuracin, son realmente muy peculiares en lo que
respecta la localidad en el espacio tridimensional ordinario. N o
obstante, sabemos por Everett que si estas trayectorias no nos gustan,
podemos dejarlas aparte. Podramos asimismo redistribuir sencilla-
mente la configuracin (xl, x2,...) al azar (con peso (I/J(') de un
instante al siguiente; porque no tenemos acceso alguno al pasado, sino
slo a recuerdos, y estos recuerdos son justamente parte de la
configuracin instantnea del mundo.
lMediante esta sntesis final, omitiendo las trayectorias de de
Broglie y las otras ramas de Everett, se logra una formulacin
satisfactoria de la teora fsica fundamental? 2 0 lo hara mejor alguna
variante basada en la teora relativista de campos? Tiene coherencia
lgica y no necesita suplementar con vagas recetas las ecuaciones
matemticas. Pero no me gusta. De manera emocional, me agradara
tomar ms seriamente el pasado del mundo (y de mi mismo) de lo que
esta teora lo permite. Ms profesionalmente, me siento incmodo
acerca de la posibilidad de incorporar la relatividad de un modo
profundo. N o hay duda que sera posible el incorporar el recuerdo de

un resultado nulo del experimento de Michelson-Morley y as sucesi-
vamente. Pero podra ser la realidad bsica otra cosa que el estado del
mundo, o al menos un recuerdo, extendido en el espacio en un nico
instante d e f i n i e n d o un referencia1 Lorentz preferente? El tratar de
elaborar esto sera intentar compartir mi confusin.
Notas y referencias
1 Everett, H., Rev. Mod. Phys. 29,454 (1957); vase tambin Wheeler J. A., Rev.
Mod. Phys. 29, 463 (1957).
2 Vase por ejemplo:
De Witt, B. S. y otros, en Physics Today 23 (1970), n." 9,30 y 24, n." 4,36 (1971)
y referencias en ellos. Ideas anlogas a las de Everett han sido desarrolladas
tambin por Cooper, L. N. y Van Vechten, D., Am. J. Phys. 37,1212 (1969) y por
L. N. Cooper en su contribucin al simposio de Trieste en honor de P. A. M.
Dirac, septiembre 1972.
3 Para una exposicin sistemtica, vase de Broglie, L., Tentative d'lnterpvtation
Causale et Non-Linaire de la Mcanique Onduhtoire, Gauthier-Villars, Pars
(1956).
4 Bohm, D., Phys,Rev. 85, 166, 180 (1952).
5 Esta tesis ha sido ya presentada en mi contribucin al coloquio internacional
sobre temas de la fsica y filosofa de la ciencia contemporneas, Penn. State
University, septiembre 1971, CERN TH. 1424. Referimos a ese artculo para
ms detalles en varios argumentos, pero se ha aprovechado la oportunidad de
desarrollar aqu algunos puntos slo mencionados entonces.
6 Bell, J. S., Contribucin al simposio de Trieste en honor de P. A. M. Dirac,
CERN TH. 1582, septiembre 1972.
7 Rosenfeld, L., Nucl. Phys. 40, 353 (1963)
G. F. Chew ha sugerido que la interaccin electromagntica debe considerarse
aparte (aunque desde luego no sin cuantizar) por su papel macroscpico en la
observacin (High Energy Physics, Les Houches, 1965, eds. C. de Witt y M.
Jacob).
8 Aparte podra ocurrir que la gravitacin cuntica microscpica fuera cuantitati-
vamente importante, vase la contribucin de A. Salam en el simposio de Trieste
en honor a P. A. M. Dirac.
9 Para detalles consltese el artculo citado en la nota 5.
10 The Physicist's Conception ofiVature, ed. J . Mehra, Reidel (1973).
Captulo 12
VARIABLES LIBRES Y CAUSALIDAD LOCAL
Se ha argido1 que la mecnica cuntica no es localmente causal y

no puede ser inmersa dentro de una teora con causalidad local. Tal
conclusin depende de que ciertos parmetros experimentales, tpica-
mente las orientaciones de filtros de polarizacin, puedan tratarse
como variables libres. En trminos no muy rigurosos, se supone que
un experimentador es del todo libre para escoger entre las varias
posibilidades que ofrece su equipo. Pero esta aparente libertad podra
ser ilusoria. Quiz los parmetros experimentales y los resultados
experimentales son ambos consecuencias de algn mecanismo oculto.
Entonces la aparente no-localidad podra ser simulada.
Esta posibilidad es el punto de partida de un artculo de Clauser,
Horne y Shimony2 (CHS en adelante), que es valioso en particular
por su cuidadosa formulacin matemtica de la hiptesis que excluye
tal conspiracin. En conexin con esto, los autores critican con
severidad mi propia .teora de los beables locales>>'(B en adelante).
Mucho en su crtica es perfectamente justo. En B haba
discontinuidades3 en el argumento, y la hiptesis en cuestin no se
expres en el lugar adecuado, sino ms tarde e inadecuadamente. Sin
embargo, no estoy de acuerdo con CHS en que dicha hiptesis,
formulada cuidadosamente, no sea razonable.
Organizar las presentes puntualizaciones en torno a las tres frases

con que formul a destiempo la hiptesis en B, seccin 8.
I ese ha supztesto que [as disposiciones (montajes) de los instru-

mentos son variables libres en alghn sentido.. .*
Para m esto quiere decir que los valores de tales variables tienen
implicaciones slo en sus conos de luz del futuro. N o son en ningn
sentido un registro de lo que ha ocurrido anteriormente, ni propor-
cionan informacin alguna sobre ello. En particular, no tienen impli-
caciones sobre las variables ocultas en el solape de los conos de luz del
pasado:
Esto, como lo explican CHS, es lo usado en el anlisis matemtico.

El smbolo denota la probabilidad de valores particulares dados
valores particulares a, b, c, donde c cataloga variables no ocultas en el
solape de los conos de luz pasados de ambos instrumentos, y a y b
variables no ocultas en lo restante de dichos conos de luz. Las listas a
y a' se suponen diferentes en el montaje del primer instrumento,
mientras que b y b' lo seran en el del segundo.
Nteses que en lugar de (1) CHS escriben, con toda probabilidad
interpretando los sentidos algo diferentemente
Con mi notacin, donde a y b son largas listas de variables que

describen la situacin fuera del solape, esto sera una condicin
mucho ms fuerte que (1) y no sera en absoluto razonable.
2 C.. .digamos al antojo de los experimentadores ....Y
Aqu yo contemplaba la hiptesis de que los experimentadores

tienen libre albedro. Pero segn CHS no me resultara permisible
justificar la hiptesis de variables libres .con el apoyo de una postura
metafsica no probada y que puede resultar falsa>>.Ya es desgracia
estar atrapado en una postura metafsica! Pero creo que en este asunto
simplemente sigo mi profesin de fsico terico.
Seis mundos posibles de la mecnica cuntica 251
mecnica cuntica a fin de sustituir la mecnica clsica. Por

supuesto se llega a nuestras ideas sobre los electrones en los tomos
slo indirectamente, a partir del comportamiento de piezas de materia
que contienen muchos electrones en muchos tomos. Pero en condi-
ciones extremas las ideas cunticas son esenciales incluso para electro-
nes libres, extrados de tomos, tales como los que crean la imagen en
una pantalla de televisin. Es en este contexto ms simple en el que
aqu introduciremos las ideas cunticas.
. - 1)
En el can de electrones* de un televisor (Fig. . se calienta una
hilo W, mediante el paso de una corriente elctrica, de modo que
algunos electrones .se evaporan.. Estos son atrados hacia una super-
ficie metlica, por un campo elctrico, y algunos de ellos pasan a
travs de un agujero en aqulla, HI. Y algunos de los que atraviesa el
agujero H1 lo hacen tambin por un segundo agujero H2 en una
segunda superficie metlica, para salir finalmente movindose hacia el
centro de una pantalla de cristal G. El impacto de cada electrn sobre
sta produce un pequeo destello luminoso, una aescintilacin>>
(chispa). En un televisor en uso el haz de electrones se redirige,
mediante campos elctricos, a las diversas partes de la pantalla, con
intensidad variable, para construir as una figura completa. Pero
deseamos considerar aqu el comportamiento de los electrones <di-
bres>>y supondremos que entre el segundo hueco H2 y la pantalla G
no hay campos elctricos ni magnticos, o cualquier otro obstculo
para el movimiento <<libre>>.
Considrese la cuestin siguiente: Cmo de precisamente pode-
mos hacer que cada electrn que alcanza la pantalla de vidrio lo haga
exactamente en el centro? Una cosa a evitar, para este fin, es que los
electrones se atropellen entre s. Esto puede hacerse <<pulsando>> (es
decir, aplicando nicamente durante un perodo muy corto) el campo
elctrico que atrae los electrones de W hacia H1 y haciendo H2 muy
pequeo. En tal caso es muy improbable que emerja ms de un
electrn del agujero H1 en una ocasin dada. Entonces podra
razonablemente pensarse que para evitar que una partcula golpee la
pantalla de vidrio lejos del centro bastara hacer asimismo H2 sufi-
cientemente pequeo y central. Hasta cierto punto eso es verdad.
Pero ms all de ese punto se produce una sorpresa. Si se reduce ms
el tamao de los agujeros no se hace ms pequea la imprecisin del
can, sino que sta aumenta. El patrn construido, ~ulsandoel
can muchas veces y registrando fotogrficamente los destellos de
los electrones, es algo como lo que aparece en la fig. 2.
FIGURA2 . Patrn construido por muchos pulsos del can de electrones de lafig. 1.
Los destellos se dispersan sobre una regin que aumenta, en lugar

de disminuir, cuando los agujeros mediante los que tratamos de
determinar la trayectoria del electrn se reduce ms all de una cierta
magnitud.
Todava hay una sorpresa mayor cuando el hueco H2 se sustituye
por dos agujeros bastante juntos, figura 3. En lugar de aadirse las
contribuciones de ambos agujeros, como en la fig. 4, aparece un
.patrn de interferencia., como en la fig. 5. Hay lugares en la pantalla
FIGURA3. Can de electrones con dos agujeros en la segunda pantalla.

Seis mundos posibles de la mecnica cuntica
FIGURA4. Conjetura, en base a la mecnica clsica de partculas, sobre el patrn

construido por muchos pulsos del can de electrones de la fig. 3.
donde no ~ u e d llegar
e ningn electrn, cuando estn abiertos los dos
agujeros, a los que s llegan electrones cuando uno u otro agujero est
abierto. Aunque cada electrn pasa por uno de los dos agujeros (o as
tendemos a pensar) es como si la mera posibilidad de atravesar el otro
influenciara su movimiento impidiendo que vaya en ciertas direccio-
nes. He aqu la primera pista de una cierta rareza en la relacin entre
posibilidad y actualidad en los fenmenos cunticos.
Olvidemos por un momento que los patrones en las figs. 2 y 5
estn construidos a partir de puntos separados (recolectados separa-
damente sobre un cierto perodo de tiempo) y fijmonos nicamente
en la impresin general. Entonces esos patrones recuerdan a los que se
dan en fsica clsica no con partculas sino con ondas. Considrese por
ejemplo un tren regular de ondas sobre la superficie del agua. Cuando
inciden sobre una barrera con un agujero, fig. 6, continan ms o
menos en la misma direccin, en el otro lado, cuando el agujero es
grande frente a la longitud de onda. Pero cuando el agujero es ms
pequeo, divergen tras atravesarlo, fig. 7, y en mayor grado as que el
agujero es menor. Esto se llama adifraccin de ondas. Y cuando la
barrera tiene dos agujeros pequeos, fig. 8, hay lugares detrs de ella
donde la superficie del agua no est perturbada con los dos agujeros
abiertos, pero lo est cuando cualquiera de ellos separadamente est
FIGURA5. Patrn real a partir del can de electrones de la fig. 3 .
abierto. Estos son lugares donde las ondas desde un agujero intentan
elevar la superficie del agua mientras que las ondas procedentes del
otro tratan de bajarla, y viceversa. Esto se llama interferencia de
ondas*.
Volviendo entonces al electrn, no podemos anticipar en qu
punto de la pantalla incidir. Pero parece que los lugares donde es
probable que lo haga son aquellos que pueden ser alcanzados por un
cierto movimiento ondulatorio.
Son las matemticas de este movimiento ondulatorio, que de
alguna manera controla al electrn, lo que se desarrolla de modo
preciso en la mecnica cuntica. Ciertamente la ms simple y natural
de las formas equivalentes en que pueden presentarse la mecnica
cuntica es denominada justamente mecnica ondulatoria~.En el
caso de las ondas de agua es la superficie del agua la que se ondula.
Con ondas sonoras oscila la presin. En fsica clsica se afirmaba
tambin que la luz era un movimiento ondulatorio. En ese caso se era
ya un poco vago acerca de qu es lo que estaba ondulando ... e incluso
sobre si la cuestin tena sentido. En el caso de las ondas de la
mecnica ondulatoria no tenemos ni idea de lo que ondula ... y no
formulamos la pregunta. Lo que tenemos es una receta matemtica
FIGURA 6. Propagacin de ondas a travs de un agujero mucho mayor que la

longitud de onda.
para la propagacin de las ondas, as como la regla que la probabilidad

de que un electrn sea visto en un lugar concreto cuando se busca all
(e.g. introduciendo una pantalla de centelleo) est relacionada con la
intensidad del movimiento ondulatorio en dicho lugar.
En mi opinin, nunca se enfatizar demasiado lo siguiente: cuan-
do desarrollamos un problema en mecnica ondulatoria, por ejemplo
el de qu ocurre en el caso del can de electrones exactamente,
nuestras matemticas tratan enteramente con ondas. N o hay indica-
cin alguna en las matemticas de partculas o de trayectorias de
partculas. Con el can de electrones la onda calculada se extiende
suavemente sobre una porcin extensa de la pantalla. N o hay ninguna
indicacin en las matemticas de que el fenmeno real sea un destello
instantneo en algn punto concreto de esa regin extensa. Y es slo
al aplicar la regla, que relaciona la localizacin probable del destello
con la intensidad de la onda, cuando el indeterminismo entra en
FIGURA7. Propagacin de ondas a travs de un agujero mucho menor que la

longitud de onda.
juego en la teora. La mera matemtica es la continua, determinista,

matemtica clsica... de las ondas clsicas.
Hasta aqu slo el electrn, yendo del agujero H2 a la pantalla de
deteccin G, fue sustituido en las frmulas matemticas por una onda.
Sobre la pantalla G, en particular, no se discuti en absoluto. Se
supuso simplemente que tena la capacidad de producir destellos.
Supngase que deseamos calcular la intensidad, el color o el tamao
del destello (pues no es realmente un punto). Vemos que nuestro
tratamiento previo del can de electrones no es ni completo ni
exacto. Si deseamos decir ms, y ser ms precisos, acerca de su
operacin, entonces debemos ms verlo como constituido por to-
mos, por electrones y ncleos. Hemos de aplicar a esas entidades la
nica mecnica que sabemos aplicable... la mecnica ondulatoria.
Prosiguiendo con esta lnea de pensamiento, nos vemos conducidos,
en la bsqueda de mayor precisin y completitud, a incluir ms y ms
Propagacin de ondas a travs de dos agqeros pequetlos.
del mundo en el <<sistema>> mecanocuntico ondulatorio ... la placa

fotogrfica que registra los destellos, los productos qumicos de
revelado que producen la imagen fotogrfica, el ojo del observador ...
Pero no podemos incluir el entero universo en esta parte ondula-
toria. Pues & onda del mundo no es ms parecida ai mundo que
conocemos que la onda extendida del electrn al pequeo destello en
la pantalla. Tenemos que excluir siempre parte del mundo del sistema
*ondulatorio para describirlo de un modo clsico tipo partcula,
involucrando sucesos definidos y no solamente posibilidades ondula-
torias. El propsito del clculo ondulatorio consiste simplemente en
proporcionar frmulas para las probabilidades de sucesos a ese nivel
clsico.
Por consiguiente en la teora cuntica parece que el mundo debe
dividirse en un sistema cuntico* ondulatorio y un resto que es en
algn sentido clsico. La divisin se hace de uno u otro modo, en una
aplicacin en particular, segn el grado de precisin y completitud
deseado. Es la indispensabilidad y, sobre todo la mudabilidad de tal

divisin, lo que para m constituye la gran sorpresa de la mecnica
cuntica. Ello introduce una ambigedad esencial en una teora fsica
fundamental, aunque sea nicamente a un nivel de precisin y com-
pletitud ms all del requerido en la prctica. Es la tolerancia sobre tal
ambigedad, no meramente de manera provisional sino permanente-
mente, y al nivel ms fundamental, lo que representa la ruptura total
con el ideal clsico. Es esto, antes que el fracaso de cualquier concepto
en particular, como <<partcula.o adeterminismo*. En el resto de este
ensayo pasar brevemente revista a un cierto nmero de visiones del
mundo que han contemplado los fsicos al tratar de asimilar esta
situacin.
Primero, y ante todo, est la visin puramente pragmtica. Cuan-
do exploramos el mundo en regiones remotas de la experiencia
ordinaria, por ejemplo lo muy grande o lo muy pequeo, no tenemos
derecho a esperar que funcionen las nociones familiares. N o tenemos
ningn derecho en insistir en conceptos como estpacio, tiempo, causa-
lidad, o incluso quiz no-ambigedad. N o tenemos ningn derecho a
una imagen clara de lo que suceda a escala atmica. Somos muy
afortunados al poder construir reglas de clculo, las de la mecnica
ondulatoria, que funcionan. Es cierto que en principio existe alguna
ambigedad en la aplicacin de esas reglas, en decidir de qu manera
se divide el mundo entre el sistema cuntico y el <<restoclsico>>.
Pero esto no importa en absoluto en la prctica. Cuando se dude,
extindase el sistema cuntico. Se encuentra entonces que la divisin
puede hacerse de modo que el desplazarla produce muy poca diferen-
cia en las predicciones prcticas. Verdaderamente, buen sentido y
discreccin, nacidos de la experiencia, nos permiten olvidar amplia-
mente, en la mayora de los clculos, los instrumentos de observacin.
Podemos usualmente concentrarnos en un completamente diminuto
<<sistema cuntico* y no obstante acabar con predicciones con sentido
para los experimentadores que han de usar instrumentos macroscpi-
cos. Esta filosofa pragmtica es, creo, consciente o inconscientemente
la filosofa operativa de todos los que trabajan con la teora cuntica
de modo prctico ... cuando trabajan as. Diferimos slo en el grado de
inters o complacencia con que contemplamos ... por as decirlo fuera
de nuestras horas de trabajo ... la ambigedad intrnseca en principio
de la teora.
Niels Bohr, entre los muy grandes de los fsicos tericos, hizo
inmensas contribuciones al desarrollo de la teora cuntica prctica. Y
cuando sta tom una forma definitiva, en los aos posteriores a 1925,
l fue puntero en clasificar la manera en la que habra de aplicarse la
teora para evitar las contradicciones a nivel prctico. Nadie insisti
ms que l en qu parte del mundo (de hecho la mayor parte con
mucho) debe mantenerse fuera del <<sistema cunticm y describirse en
trminos clsicos. Hizo nfasis en aue I
a este nivel clsico estamos
interesados, en lo que referente al presente y pasado, en sucesos
definidos antes que en potencialidades ondulatorias. Y que a este nivel
el lenguaje y lgica ordinarios resultan apropiados. Y que es a
afirmaciones en este lenguaje y lgica ordinarios a lo que debe llevar la
mecnica cuntica, sin importar lo esotrico de la receta para generar
las mencionadas afirmaciones.
Sin embargo l fue ms all del pragmatismo y avanz una
filosofa de lo que hay tras las recetas. Antes que sentirse molesto por
la ambigedad en principio, por lo movible de la divisin entre
<<sistemacuntico. y <<aparatoclsico., sta pareca satisfacerle. Pare-
ca deleitarse en las contradicciones, por ejemplo entre <<onday
partcula, que aparentemente surgen en cualquier intento de ir ms
all del nivel pragmtico. N o para resolver estas contradicciones y
ambigedades, sino para reconciliarnos con ellas, elabor una filoso-
fa que llam <<complementariedad>>. Crea que la complementariedad
era importante no slo para la fsica, sino para la totalidad del
conocimiento humano. El sencillamente inmenso prestigio de Bohr
ha conducido a que se mencione la complementariedad en la mayora
de los textos de teora cuntica; pero usualmente slo en unas cuantas
lneas. Uno est tentado de pensar que los autores no entienden la
filosofa de Bohr lo suficiente para encontrarla til. El mismo Einstein
tena dificultad en llegar a una formulacin clara de lo que Bohr
quera decir. {Qu esperanza hay entonces para el resto de nosotros?
Poco es lo que puedo decir sobre la complementariedad. Pero s hay
algo que quiero mencionar. Me parece que Bohr us esta palabra con
un sentido inverso del usual. Considrese por ejemplo el elefante. Por
delante es cabeza, trompa y dos patas. Por detrs, trasero, cola y otras
dos patas. Por los lados es otra cosa y desde arriba o abajo es de nuevo
diferente. Estas diversas perspectivas son complementarias en el sen-
tido usual de la palabra. Se complementan una a la otra, son consis-
tentes entre s y estn todas englobadas en el concepto unificador
elefante. Mi impresin es que el suponer que Bohr utiliz el
trmino <<complementariedad~> en este sentido ordinario supondra
considerarlo irrelevante y trivializar sus ideas. Antes bien l parece
Lo decible y loindecible en mecnica cuntica
insistir en que en nuestros anlisis debemos usar unos elementos que

se contradicen entre s, que no se suman formando una totalidad o
derivan de sta. Por <complementariedad>> quera decir, me parece, lo
opuesto: contradictoriedad. Bohr pareca gustar de aforismos como:
d o opuesto de una verdad profunda es tambin una verdad profun-
da>>;ala verdad y la claridad son complementarias>>.Quiz le produca
una sutil satisfaccin el usar una palabra familiar con el sentido
opuesto al familiar.
La complementariedad es una de las que podran denominarse
visiones romnticas del mundo inspiradas por la mecnica cuntica.
Hace nfasis en la inusitada naturaleza del mundo cuntico, en lo
inadecuado de las nociones cotidianas y de los conceptos clsicos.
Hace hincapi en cun lejos atrs hemos dejado el materialismo
ingenuo del siglo XIX. Describir otras dos representaciones romnti-
cas, pero prolongar cada una de ellas con nociones no romnticas
relacionadas.
Supngase que aceptamos la insistencia de Bohr en que lo muy
pequeo y lo muy grande deben describirse de muy diferentes
maneras, en trminos cunticos y clsicos respectivamente. Pero
supngase que somos escpticos sobre la posibilidad de que esta
divisin sea precisa y sobre todo de que sea desplazable. (Con
seguridad lo pequeo y lo grande deberan fundirse suavemente? Y
seguramente en una teora fsica fundamental esa fusin debera
describirse no mediante vagas palabras, sino con una matemtica
precisa? Esta matemtica permitira que mientras que los electrones
.gozan
, de la nubosidad de las ondas, las mesas, sillas y nosotros
mismos, as como las manchas negras en placas fotogrficas, estn en
un lugar bien definido y se describen en trminos clsicos>>.El
necesario desarrollo tcnico terico comporta la introduccin de la
llamada no-linealidad, y quiz de la llamada estocasticidad, en la
ecuacin de Schrodinger bsica. H a habido interesantes esfuerzos
pioneros en esta direccin, pero todava sin resultados definitivos.
Este camino adelante posible no es romntico pues requiere labor
matemtica por parte de los fsicos tericos, antes que interpretacin
por parte de los filsofos, y no promete a estos ltimos lecciones de
filosofa.
Existe una alternativa romntica a la idea que se acaba de mencio-
nar. En ella se acepta que la mecnica ondulatoria lineal no es
aplicable a la totalidad del mundo. Se acepta que hay una divisin,
aguda o suave, entre lineal y no-lineal*, entre cuntico y
c clsico^. Pero en vez de colocar esta divisin en algn lugar entre lo

pequeo y lo grande, se la sita entre la materia~(por as decirlo) y la
mente*. Al intentar completar al mximo la descripcin mecano-
cuntica del can de electrones, incluimos primero la pantalla de
centelleo, despus la pelcula fotogrfica, despus los productos qu-
micos de revelado, despus el ojo del experimentador... y despus
(por qu no) su cerebro. Pues el cerebro est hecho de tomos, de
electrones y ncleos, y, entonces, por qu habramos de dudar en
aplicar la mecnica ondulatoria ... al menos si furamos lo bastante
listos para realizar los clculos para un conjunto tan complicado de
tomos. Pero ms all del cerebro est ... la mente. ;Es ciertamente la
mente inmaterial? Con seguridad llegamos a algo aqu que es clara-
mente distinto a la pantalla de vidrio y a la pelcula de gelatina... Es
aqu donde hemos de esperar que sea relevante una matemtica
diferente (si existe en absoluto)? Este punto de vista, que los trminos
clsicos necesarios y la matemtica no-local estn en la mente, ha
sido mantenido especialmente por E. P. Wigner. Y nadie ms elo-
cuentemente que J. A. Wheeler ha propuesto que la mera existencia
del mundo <<material>> puede depender de la participacin de la mente.
N o ha sido posible desgraciadamente desarrollar estas ideas de mane-
ra precisa.
La ltima descripcin no romntica que presentar es la de la
<<ondapiloto>>.Se debe a L. de Broglie (1925) y Bohm (1952).
Mientras que los padres fundadores desfallecieron frente a la cuestin
de Broglie en 1925 propuso la respuesta obvia
N o est claro de la pequeez del destello en la pantalla que

estamos tratando con partculas? Y no est claro, de los patrones de
difraccin e interferencia, que el movimiento de la partcula est
dirigido por una onda? De Broglie mostr en detalle cmo el movi-
miento de una partcula, la cual atraviesa justo uno de los agujeros en
la pantalla, podra ser influido por ondas que se propagan a travs de
ambos agujeros. Y tan influido que la partcula no va adonde se
cancelan las ondas, sino que es atrada hacia donde stas cooperan.
Esta idea me parece tan simple y natural, resolver el dilema onda-
262 Lo decible y la indecible en mecnica cuntica
partcula de una manera tan clara y normal, que es un gran misterio

para m el que fuera ignorada en general. De los padres fundadores,
slo Einstein crea que de Broglie segua el camino correcto. Desani-
mado, de Broglie abandon la descripcin durante muchos aos. La
volvi a considerar slo al ser redescubierta, y ms sistemticamente
presentada, por Bohm, en 1952. En particular Bohm desarroll la
descripcin para muchas partculas en lugar de justo una. La generali-
zacin es directa. En esta descripcin no hay necesidad alguna de
dividir el mundo en partes <&sica>>y ~ c u n t i c apues
~ ; los .trminos
clsicos* necesarios estn ya disponibles para las partculas individua-
les (sus posiciones reales) y tambin para conjuntos macroscpicos de
partculas.
La sntesis de de Broglie-Bohm, de partcula y onda, podra
considerarse como ilustracin precisa de la complementariedad ... si
Bohr hubiera utilizado esta palabra en su acepcin ordinaria. Esta
descripcin combina muy naturalmente la ondulatoriedad de la di-
fraccin de electrones y los patrones de interferencia y 1; pequeez de
los destellos individuales o, ms generalmente, la naturaleza definida
de los sucesos a gran escala. Dicho sea de paso, la descripcin de de
B-B es completamente determinista. La configuracin inicial del
sistema combinado onda-partcula fija por completo el desarrollo
subsiguiente. Que no podamos predecir dnde se producir el deste-
llo de un electrn concreto se debe sencillamente a que no podemos
saberlo todo. Que no nos sea posible disponer el impacto en un lugar
elegido es debido simplemente a que no podemos controlarlo todo.
Llegamos ahora al equivalente romntico de la descripcin de la
onda piloto: la interpretacin de los muchos mundos* o MWI (W,
de world). Seguramente es sta la ms inaudita de todas las ideas
que han surgido en conexin con lo aqu tratado. Su motivacin se
expresa ms fcilmente, me parece, como respuesta a un problema
central del enfoque pragmtico ... la llamada *reduccin del paquete
de ondas. Al discutir el can de electrones, hice nfasis en el
contraste entre la extensin de la onda y la diminutez del destello
individual. Qu sucede con la onda cuando no se produce el deste-
llo? En el enfoque pragmtico simplemente se descartan las partes de
la onda en donde no hay destello ...y esto se hare segn una especie de
regla del pulgar en lugar de mediante matemticas precisas. En la
descripcin de la onda piloto, la onda, aunque influye sobre la
partcula, no es influida por sta. Con o sin destello, la onda sencilla-
mente sigue su evolucin matemtica... incluso donde est vaca
(hablando en trminos no precisos). En la MWI la onda tambin sigue

su camino matemtico, pero se evita la nocin de onda vaca. Y se
evita asegurando que en todos los sitios donde podra producirse un
destello... se produce. Pero cmo puede ser esto as, si con un
electrn vemos con toda seguridad slo un destello, en slo uno de los
lugares posibles? Puede ser jporque el mundo se multiplica! Tras el
destello existen tantos mundos (al menos) como sitios que puedan
destellar. El destello se produce justamente en un sitio en cada
mundo, pero en sitios diferentes en mundos diferentes. El conjunto
de todos los mundos reales se corresponde con el de todas las
posibilidades latentes en la onda. Muy en general, siempre que lo que
pueda suceder sea dudoso, por causa de la incertidumbre cuntica, el
mundo se multiplica de manera que todas las posibilidades se realizan.
Las personas por supuesto se multiplican con el mundo, y las de un
mundo en particular experimentan slo lo que sucede en la rama
correspondiente. Con un electrn, cada uno de nosotros ve slo un
destello.
La MWI fue inventada por H. Everett en 1957 y la han propugna-
do fsicos tan distinguidos como J. A. Wheeler, B. de Witt y S.
Hawking. Parece atraer especialmente a los cosmlogos cunticos,
quienes desean considerar el mundo en su totalidad, y como un nico
sistema cuntico, y por consiguiente se sienten perturbados por el
requisito, en el enfoque pragmtico, de una parte <<clsica>> fuera del
sistema cuntico... esto es, fuera del mundo. Pero este problema est
ya resuelto por la descripcin de la .onda piloto*. Esta no necesita
ninguna parte clsica extra, porque ya al mismo electrn le son
aplicables <<trminosclsicos>>y as lo son a conjuntos grandes de
partculas. Los autores en cuestin probablemente no saban esto;
I
pues la interpretacin de la onda piloto fue relegada al olvido por los

padres fundadores y por los autores de libros de texto.
La MWI se presenta a veces como un ejercicio de desarrollo de la
hiptesis: la funcin de onda lo es todo, nada existe aparte. (Entonces
las partes de la funcin de onda no pueden distinguirse entre s por el
hecho de que correspondan ms a la posibilidad que a la realidad).
Pero los autores estn aqu, en mi opinin, equivocados. La MWI s
aade algo a la funcin de onda. Seal al discutir el can de
electrones que la onda extendida se asemeja muy poco al destello
diminuto. La mera inspeccin de la onda no da ninguna pista sobre
que la realidad experimentada sea un destello ... y no, por ejemplo, un
brillo extenso de un color no predicho. Es decir, la onda extensa no
264 Lo deciblehy lo indecible en mecnica cuntica
fracasa simplemente en especificar una de las posibilidades como la

real ... fracasa en listar las posibilidades. Cuando la MWI postula la
existencia de muchos mundos, en cada uno de los cuales la placa
fotogrfica se ennegrece en una posicin en particular, aade, subrep-
ticiamente, a la funcin de onda, la clasificacin de posibilidades
faltante. Y lo hace de manera imprecisa, pues la nocin de posicin de
una mancha negra (no es un punto matemtico), y ciertamente el
concepto de lectura de cualquier instrumento macroscpico, no es
matemticamente preciso. N o se da ninguna idea de cun profunda-
mente hacia el nivel atmico penetra la divisin del mundo.
Hay entonces seis mundos posibles para escoger, diseados para
acomodar los fenmenos cunticos. Sera posible proyectar hbridos
entre ellos y tal vez otros mundos que son enteramente diferentes. He
tratado de presentarlos con cierta objetividad, como si no considerase
como pura ficcin a uno ms queea otro. Me permito ahora expresar
algunas opiniones personates.
Resulta fcil de entender la atraccin de los tres mundos romnti-
cos para los periodistas, quienes tratan de captar la atencin del
hombre de la calle. LO contrario de una verdad es tambin una
verdad! LOS cientficos dicen que sin la mente no es posible la
materia! Todos los mundos posibles son reales! Y los periodistas
pueden escribir todo eso con buena conciencia, pues verdaderamente
se han dicho cosas as... fuera de las horas de trabajo ... por grandes
fsicos. Por mi parte, nunca me aferr a la complementariedad, y
permanezco descontento respecto a las contradicciones. En lo refe-
rente a la mente, estoy totalmente convencido de que sta goza de un
lugar preeminente en la naturaleza ltima de la realidad. Pero tengo'
muchas dudas sobre que la fsica contempornea haya profundizado-
tanto como para que la idea sea pronto profesionalmente fructfera.
Creo que para nuestra generacin resulta ms provechoso el buscar
los necesarios *trminos clsicos de Bohr en los objetos comunes
macroscpicos que hacerlo en la mente del observador. La 4nterpre-
tacin de los muchos mundosx me parece una hiptesis extravagante
y, sobre todo, extravagantemente vaga. Podra casi despacharla como
tonta. Y no obstante ... puede tener algo caracterstico que decir en
relacin al *puzzle de Einstein, ~ o d o l s ky ~Rosen>>y merecera la
pena, creo, formular alguna versin precisa d i ella para ver si esto es
realmente as. Y la existencia de todos los mundos posibles puede
hacer sentirnos ms confortables acerca de la existencia del nuestro
propio ... el cual parece en cierto modo ser uno altamente improbable.
Las alternativas no romnticas, profesionales, se wendenn mu-

cho menos. La actitud pragmtica, a causa de su gran xito y
continuado aprovechamiento, debe ser tenida en alta estima. Ms an,
me parece que en el transcurso del tiempo puede hallarse que debido
al progreso pragmtico tcnico el <<Problema de la Interpretacin de la
Mecnica Cuntica. haya sido encercado. Y la solucin, invisible
desde delante, pueda verse desde detrs. Por ahora, el problema ah
est, y algunos de nosotros seremos incapaces de resistirnos a prestar-
le atencin. La ecuacin de Schrodinger no lineal me parece ser la
mejor esperanza de una teora formulada con precisin y que est
muy prxima a la versin ortodoxa. Pero mientras que nos las
arreglemos tan bien sin precisin, los pragmticos no van a ayudar a
desarrollarla. La descripcin de la <<ondapiloto. es una reconciliacin
casi trivial de los fenmenos cunticos con los ideales clsicos de la
fsica terica ... un conjunto cerrado de ecuaciones, cuyas soluciones
han de tomarse en serio, y no mutilarse (reducirse) cuando resultan
embarazosas. Sin embargo sera errneo dejar al lector con la impre-
sin de que, con la descripcin de la onda piloto, la teora cuntica
simplemente emerge a la luz del da, con la transparencia del agua
pura. La claridad de este modo de descripcin pone en evidencia la
extraordinaria no-localidad* de la teora cuntica. Pero sa es otra
historia.
(Hasta qu punto son de ficcin estos mundos? Se parecen a la
ficcin literaria en que son invenciones libres de la mente humana. En
fsica terica el inventor sabe a veces desde el principio que la obra es
ficcin; por ejemplo cuando trata de un mundo simplificado en el que
el espacio tiene slo una o dos dimensiones en lugar de tres. Ms
frecuentemente no se sabe hasta despus, cuando la hiptesis ha
resultado falsa, que hay involucrada ficcin. Cuando es serio, cuando
no explora modelos deliberadamente simplificados, el fsico terico
difiere del novelista en que piensa que la historia podra ser a lo mejor
cierta. Quiz exista alguna analoga con el novelista histrico. Si la
accin se desarrolla en 1327, el Papa ha de situarse en Avin, no en
Roma. Las teoras serias de los fsicos tericos no deben contradecir
los hechos experimentales. Si se atribuyen unos pensamientos al papa
Juan XXII, estos deben mantener una razonable coherencia con 10
que se sabe de sus palabras y de sus acciones. Cuando en fsica
inventamos mundos, deberamos tenerlos como continuaciones mate-
mticamente consistentes del mundo visible en el invisible... incluso
cuando est ms all de la capacidad humana el decidir cul, si alguno,
de esos mundos es el verdadero. La ficcin literaria, histrica o de

cualquier otro tipo puede ser (pienso) buena o mala profesionalmente.
Podramos tambin valorar la calidad profesional de nuestros posibles
mundos en fsica. En mi opinin es indudable que la interpretacin de
la onda piloto es, de entre todas las aqu consideradas, la que muestra
mejor artesana. Pero es eso una virtud en nuestra poca?
Captulo 21
CORRELACIONES EPR Y DISTRIBUCIONES
EPW
(Dedicado al Profesor E. P. Wigner)
Se sabe que en el ejemplo de Bohm de correlaciones EPR, el cual

implica partculas con espn, hay una no-localidad irreducible. La
no-localidad no puede eliminarse mediante la introduccin de varia-
bles hipotticas desconocidas para la mecnica cuntica. Qu pasa en
el ejemplo original de EPR con partculas de espn nulo? Veremos
aqu que la distribucin de Wigner en el espacio de fases1 ilumina el
problema.
Desde luego, si se admite la <<medida>>
de <<observables>>arbitrarios
en estados arbitrarios, es fcil mimetizas la situacin EPRB. Se han
dado algunos pasos hacia el realismo en ese sentido3. Consideraremos
aqu un problema menos amplio, restringido a <<medidas>> slo de
posicin, sobre dos partculas sin espn que no interactan en el
espacio libre. EPR consideraron <<medidasude posiciones y tambin
de momentos. Pero la manera ms simple de medir* los momentos
de partculas libres es sencillamente el esperar un tiempo largo y
<<medir. las posiciones. Permitiremos aqu medidas de posicin en
instantes arbitrarios tl y t2 respectivamente sobre las dos ~artculas.
Esto corresponde a .medir>>las combinaciones
en el tiempo cero, donde ml y m2 son las masas y 4 y fl son los

operadores de posicin y de momento. Nos limitaremos aqu a una
dimensin espacial.
Los tiempos tl y t2 desempean el mismo papel aqu que los dos
polarizadores en el ejemplo de EPRB. Se puede entonces imaginar
alguna desigualdad anloga a la de CHHS* que diferencia la
mecnica cuntica de la causalidad local.
La probabilidad cuntica de encontrar, en los instantes tl y t2
respectivamente, las ~artculasen las posiciones q, y q2 respectiva-
mente, es
con
La funcin de onda bitemporal I/J satisface las dos ecuaciones de

Schrodinger
con
Por simplicidad consideremos el caso de masas iguales, usando

unidades tales que
La misma Q, ( 2 ) , puede obtenerse a partir de la distribucin de

Wigner bitemporal correspondiente
donde
Correlaciones EPR y distribuciones EPW
Esto es, W evoluciona exactamente como lo hace una probabilidad

de distribucin para un par de partculas clsicas movindose libre-
mente:
Cuando sucede que W no es negativa en lugar alguno, la evolucin

clsica (7) preserva la no-negatividad. La funcin de onda EPR.
supuesta vlida en tl = t2 = O, da
Esta no es nega:iva en ningn lugar y la funcin evolucionada (7)

tiene la misma propiedad. Por consiguiente en este caso las correlacio-
nes EPR son aquellis entre dos partculas clsicas en movimiento libre
independiente clsico.
Con la funcin de onda (8), entonces, no existe problema de
no-localidad cuando se admite que la descripcin cuntica no es
completa. La distribucin de Wigner proporciona un modelo local
clsico de correlaciones. Puesto que la funcin de Wigner apareci en
1932, esta puntualizacin podra ya haberse hecho en 1935. Quiz se
hizo. Y tal vez se anticip ya que funciones de onda, diferentes de (8),
con funciones de Wigner que son no-negativas, daran lugar a un
mayor problema. Veremos que esto es as.
Considrese por ejemplo la funcin de onda inicial
(q2 - 2a2)e-q21Pa2) (10)
donde
Podra normalizarse incluyendo un factor
Pero anticiparemos de inmediato el lmite b -+m y considerare-

mos slo probabilidades relativas. El elegir la unidad de longitud de
modo que a = 1 nos da como distribucin de Wigner inicial
donde K es una constante sin importancia y
Esta W, (13), es negativa en algunas zonas, por ejemplo en @ = 0,

q = 1). Ya no proporciona un modelo local clsico explcito de las
correlaciones. N o me consta que el que W no sea no-negativa sea una
condicin suficiente en general para una paradoja de localidad. Pero
sucede que (13) implica, a la vez que regiones negativas en la distribu-
cin de Wigner, una violacin de la desigualdad local CHHS.
Para ver esto, calculemos primero la distribucin bitemporal de
probabilidad de posicin, bien a partir de (4), (7) y (13) o de (2) y la
solucin de (3). El resultado es
donde K es una constante irrelevante y

Correlaciones EPR y distribuciones EPW 271
Calclese despus la probabilidad D de que (ql + q&) y

(ql - qd2) tengan signos opuestos:
Considrese finalmente la desigualdad CHHS
donde
E(tl, t2) = ~robabilidadde (+, +) + probabilidad de (-, -)

- probabilidad de (+, -) - probabilidad de (-, +) I
(20)
Usando (21), (19) se convierte en
Con
y suponiendo (en vista de (18))
(22) da (para z positiva)

272 Lo decible y loindecible en mecnica cuntica
Pero esto es violado por (18) cuando r vale alrededor de 1 ms.

Hay un problema real de no-localidad con la funcin de onda (10).
Slo se aadir aqu algo de aepsilnica>>.La hiptesis esencial que
lleva a (19) es (grosso modo) que la medida sobre la partcula 1 es
irrelevante para la (2) y viceversa. Esto se sigue de la causalidad7local si
buscamos las partculas slo en regiones espacio-temporales limitadas
con
as que ambas regiones (26) tienen separaciones gnero-espacio. De-

bemos, sin embargo, hacer L suficientemente grande, frente a b en
( E ) , de modo que sea casi seguro encontrar las partculas en las
regiones en cuestin, pues al pasar de (20) a (21) se supuso que las
cuatro probabilidades en (20) sumaban uno; y a su vez b debe ser
grande en comparacin con a, lo que se us para simplificar los
clculos. As, junto a (27) especificamos
Notas y referencias
1 E. P. Wigner, Phys. Rev. 40, 749 (1932).

2 J. S. Bell, Physics 1, 195 (1965).
3 M. A. Horne y A. Zeilinger, en Symposium on the Foundations of Modern
Physics, Joensuu 1985. Eds. P. Lahti y P. Mittelstaedt, World Sc., Singapur (1985)
y 9 ms abajo.
4 J. F. Clauser, R. A. Holt, M. A. Horne y A. Shimony, Phys. Rev. Lett. 23, 880
(1969).
5 J. F. Clauser y A. Shimony, Rep. Prog. Phys. 41, 1881 (1978).
6 A. Einstein, B. Podolsky y N. Rosen, Phys. Rev. 47, 779 (1935).
7 J. S. Bell, Teora de los beables locales (ensayo 7 de este libro). La nocin de
causalidad local ah presentada involucra una especificacin completa de los
beables en una regin espacio-temporal infinita. La concepcin siguiente es ms
atractiva a este respecto: En una teora localmente-causal, las probabilidades
Correlaciones EPR y distribuciones EPW 2 73
ligadas a valores de beables locales en una regin espacio-temporal, cuando se

especifican los valores de todos los beables locales en una segunda regin que
obstruye completamente el cono de luz pasado de la primera, no se alteran por la
especificacin de valores de beables locales en una tercera regin con separacin
gnero-espacio de las otras dos.
8 La discusin tiene un inters nuevo cuando se da status de beables a las posiciones
q, y q2. Entonces podemos considerar sus valores reales, y no resultados de
medidas*, en tiempos tl y t2 arbitrarios. N o est involucrada ninguna interven-
cin externa de experimentadores con hipottico libre albedro.
9 Vase tambin L. A. Khalfin y B. S. Tsirelson en las Actas de Joensuu (Ref. 3) y
A. M. Cetto, L. de la Pea y E. Santos, Phys. Lett. A113, 304 (1985). Estos
ltimos autores invocan la distribucin de Wigner.
Captulo 22
HAY SALTOS CUANTICOS?
Si hemos de continuar con estos condenados

saltos cunticos, lamento haber estado involu-
crado alguna vez. E. Schrodinger
1. Introduccin
He tomado prestado el ttulo de un artculo caracterstico de

Schrodinger (Schrodinger, 1952). En l se contrasta la suave evolucin
de la funcin de ondas de Schrodinger con el errtico comportamien-
to de la descripcin mediante la que aqulla es usualmente suplemen-
tada, o <<interpretada,en las mentes de la mayora de los fsicos.
Schrodinger objeta particularmente la nocin de estados uestaciona-
riosx y, sobre todo, el asalto cunticox entre esos estados. Considera
estos conceptos como residuos de la vieja teora cuntica de Bohr, de
1913, y sin ninguna razn matemtica que los motive en la nueva
teora de 1926. A l le gustara considerar la funcin de ondas como la
descripcin completa, y determinada completamente por la ecuacin
de Schrodinger, y evolucionando as de modo continuo sin asaltos
cunticos.. Tampoco en su descripcin habra xpartculasx. En una
primera etapa, haba tratado de sustituir las xpartculasx por paquetes
de ondas (Schrodinger, 1926). Pero los paquetes de ondas se difunden.
Y el artculo de 1952 acaba, con aire lastimero, admitiendo que
Schrodinger no ve cmo, por el momento, rendir cuenta de las trazas
de partculas en las cmaras de trazas... ni, ms generalmente, del
aspecto de definicin, de corpuscularidad, del mundo de la experien-
Hay saltos cunticos? 2 75
cia, en contraste con la indefinicin, la ondulatoriedad, de la funcin

de ondas. Es el ~roblemaque haba tenido (Schrodinger, 1935) con su
gato. El crea que ste no poda estar a la vez vivo y muerto; pero la
funcin de ondas no mostraba tal imposicin, superponiendo ambas
posibilidades. O bien la funcin de ondas, dada por la ecuacin de
Schrodinger, no lo es todo, o bien no es cierta.
De estas dos posibilidades, que la funcin de ondas no lo es todo,
o no es cierta, la primera se desarrolla especialmente en la descripcin
de la .onda piloto>>de de Broglie-Bohm. De modo absurdo, tales
teoras se conocen como teoras de variables ocultas. De modo
absurdo, pues no es en la funcin de ondas donde se encuentra una
imagen del mundo visible, y de los resultados de los experimentos,
sino en las variables ocultas>>(i) complementarias. Por supuesto las
variables extra no estn confinadas a la escala macroscpica>> visible;
no sera posible definir de manera precisa tal escala. El aspecto
microscpico^^ de las variables complementarias est ciertamente
oculto para nosotros. Pero admitir cosas no visibles a las criaturas
poco finas que somos es, en mi opinin, mostrar una humildad
decente y no Lstamente una adicin-lamentable a.la metafsica. En
cualquie; casorla ms oculta de todas las variables, en la descripcin de
la onda piloto, es la funcin de ondas, que se nos manifiesta nica-
mente por su influencia sobre las variables complementarias.
Si, con Schrodinger,
- nos oponemos a las variables extra, debemos
permitir que su ecuacin no sea completamente cierta. N o s que l
contemplara esta posibilidad, pero a m me parece ineludible. En
cualquier caso es la lnea que voy a seguir aqu. La idea de un cambio
pequeo en las matemticas de la funcin de ondas, que afectara
levemente a los sistemas pequeos, pero se hara importante para los
grandes, tales como gatos y otros instrumentos cientficos, ha sido
considerada frecuentemente. Creo que una idea reciente (Ghirardi,
Rimini y Weber, 1985), una manera especfica de colapso espontneo
de la funcin de ondas, es particularmente simple y efectiva. La
presentar en lo que sigue. Despus considerar qu tipo de luz arroja
sobre otra de las preocupaciones de Schrodinger. Este fue uno de los
que reaccionaron con ms vigor (Schrodinger, 1935a, b, 1936) al
artculo de Einstein, Podolsky y Rosen (1935). En relacin con lo que
l denomin .embrollo cuntico., y las correlaciones EPR resultan-
tes, ano lo llamara uno sino el rasgo caracterstico de la mecnica
cuntica, lo que fuerza a sta a separarse por completo de la manera
clsica de pensar.
2. Ghirardi, Rimini y Weber
La propuesta de Ghirardi, Rimini y Weber se formula para la

mecnica cuntica no relativista de Schrodinger. La idea es que
aunque una funcin de ondas
evoluciona normalmente segn la ecuacin de Schrodinger, de vez en

cuando da un salto. S, jun salto! Pero veremos que estos saltos de
GRW tienen poco que ver con los que tan fuertemente objetaba
Schrodinger. El nico parecido es que son fortuitos y espontneos. La
probabilidad por unidad de tiempo de un salto GRW es
donde N es el nmero de argumentos r en la funcin de ondas y es

una nueva constante de la naturaleza. El salto es una funcin de
ondas reducida o colapsada
donde r, se recoge al azar de entre los argumentos r. El factor de salto

j est normalizado:
Ghirardi, Rimini y Weber sugieren una gaussiana
j(x) = K exp (- x2/2a2) (5)

donde a es de nuevo una nueva constante de la naturaleza. R es un
factor de renormalizacin
(Hay saltos cunticos? 277
Finalmente el centro del colapso x se escoge al azar con una

distribucin de probabilidad
Para las nuevas constantes de la naturaleza, GRW sugieren como

rdenes de magnitud
z = 1015s = 10' aos

a = 10-~cm.
Una objecin inmediata al colapso espontneo de la funcin de

ondas en este modelo es que no se respeta la simetra o antisimetra
requerida para partculas idnticas. Pero esto se tendr en cuenta
cuando la idea se .desarrolle en el contexto de la teora de campos, con
la reduccin GRW aplicada a las <<variablesde campo>>y no a las
<<posicionesde partculas>>.N o veo por qu esto no sera posible,
aunque pueden surgir nuevos problemas de renormalizacin.
N o hay problemas en tratar el cespm. La funciones de onda 11i y
v' en (3) pueden suponerse portadoras de ndices de espn suprimi-
dos.
Considrese ahora la funcin de ondas
donde L no es muy grande y M es muy muy grande. El primer factor,

+, podra representar un sistema pequeo, por ejemplo un tomo o
una molcula, que est temporalmente aislado del resto del mundo ...
ste ltimo, o parte de l, representado por el segundo factor, X. El
proceso GRW para la funcin de ondas completa implica procesos
GRW independientes para los dos factores. A partir de (8) podemos
olvidar los procesos GRW en el sistema pequeo. Pero en el sistema
grande, con M del orden pongamos de lo2' o mayor, el tiempo medio
previo a un salto es algo as como
O menor.
278 Lo decible y lo itidecible en mecnica cuntica
Considrese una funcin de ondas como
Esto podra representar la consecuencia de una situacin de

.medida cuntica*. Alguna apropiedad>>del sistema pequeo se ha
-
medido mediante interaccin con un instrumento grande, el cual
como resultado se proyecta a uno u otro de los estados x1 o x2,
correspondientes a diferentes posiciones del marcador. Esta diferencia
macroscpica entre x1 y xz implica que, para una gran cantidad de
argumentos r, la multiplicacin por j(x - r) de la funcin de onda
reducir a cero uno u otro de los trminos en (12).
. . En consecuencia en
un tiempo del orden de (1 1) uno de los trminos desaparecer y slo
se propagar el otro. La funcin de onda se liga muy rpidamente a
una u otra de las lecturas del marcador. Adems la probabilidad de
que sobreviva un trmino y no el otro es proporcional a la fraccin de
la norma total que lleve - d e acuerdo con las reglas de la teora
cuntica pragmtica-.
De modo totalmente general cualquier ambigedad embarazosa
en la teora usual es slo momentnea en la teora GRW. El gato no
est a la vez vivo y muerto por ms de un minsculo instante. Nos
podra preocupar quiz si el proceso GRW no va demasiado lejos. En
la teora pragmtica usual la reduccin o wolapso~de la funcin de
onda es-un; operacin realizada por el terico en algn instante
conveniente. Usualmente lo retrasar hasta que la ecuacin de Schro-
dinger haya establecido una diferencia muigrande entre x1 y x2. El
proceso GRW es de la naturaleza y surge tan pronto como la
diferencia entre x1 y x2 es lo bastante elevada. Creo que, con valores
adecuados de las constantes naturales (8, 9), la teora GRW estar no
obstante de acuerdo en la prctica con la teora pragmtica; pero los
estudios sobre modelos seran tiles para afianzar esto.
3. El embrollo cuntico
N o existe nada en esta teora salvo la funcin de onda. Es en sta

donde debemos encontrar una imagen del mundo fsico y, en particu-
lar, de la disposicin de las cosas en el espacio tridimensional ordina-
rio. Pero la funcin de onda en conjunto reside en un espacio mucho
mayor, de 3N dimensiones. N o tiene ningn sentido el requerir la
Hay saltos cunticos? 2 79
amplitud o la fase o cualquier cosa de la funcin de onda en un punto

del espacio ordinario. N o posee nada de esto hasta que se especifica
una multitud de puntos en el espacio tridimensional ordinario. Sin
embargo, los saltos GRW (que son parte de la funcin de onda, no
algo fuera de ella) estn bien localizados en el espacio ordinario. En
verdad cada uno est centrado en un punto concreto (x, t) del
espacio-tiempo. Asi que podemos proponer estos sucesos como la
base de los ebeables locales>>de la teora. Estos constituyen las
imgenes matemticas en la teora de sucesos reales en lugares y
tiempos definidos en el mundo real (en distincin de los muchos
puramente constructos que aparecen en la elaboracin de teoras
fsicas, de cosas que pueden ser reales pero no localizadas y de los
observables de otras formulaciones de la mecnica cuntica, de los
que no se hace aqu uso alguno). Un trozo de materia es entonces una
galaxia de tales sucesos. Como un paralelismo sico-fsico esquemti-
co, podemos suponer que nuestra experiencia personal lo es ms o
menos directamente de sucesos en pedazos concretos de materia,
nuestros cerebros, los cuales sucesos estn a su vez correlacionados
con sucesos en el conjunto de nuestros cuerpos, y estos ltimos lo
estn con los del mundo exterior.
En este artculo se har uso de la nocin de localizacin de sucesos
slo de manera aproximada. Los localizaremos en una u otra de dos
regiones del espacio bien separadas que podemos suponer pcupadas
por dos sistemas asimismo separados entre s.
Sean los argumentos s y r en (12) referidos a los dos lados,
respectivamente, en un dispositivo Einstein-Podoslky-Rosen-Bohm,
con L as como M grandes ahora. Una fuente, que por simplicidad
omitimos del anlisis, emite un par de neutrones (espn +) en el estado
singlete de espn. Estos se mueven a travs de imanes Stern-Gerlach
hacia unos contadores que registran para cada neutrn si ste se ha
desviado hacia .arriba. o hacia *abajo. en el correspondiente imn.
Segn la ecuacin de Schrodinger la funcin de onda resultara como
la de (12), con o 42 correspondiendo a *arriba. o .abajo. en la
izquierda y ~1 o x2 a .abajo. o *arriba* en la derecha. Supngase que
los contadores de la izquierda estn ms cerca de la fuente y, por lo
tanto, registran antes que los de la derecha. Es decir, supngase que
$1 difiere macroscpicamente de $2 antes que x1 de ~ 2 En . tal caso los
saltos GRW a la izquierda reducen la funcin de onda rpidamente a
uno u otro de los dos trminos en (12). Se ha hecho entonces la
eleccin entre x1 y x2, as como entre $1 y &. Los saltos en la
280 Lo decible y lo~indecibleen mecnica cuntica
izquierda son decisivos y los de la derecha no tienen la oportunidad

de serlo.
En todo esto la descripcin de GRW es muy prxima al modo
comn de presentar la mecnica cuntica convencional, con la .medi-
da>>causando el <<colapsode la funcin de onda,, -y con una
.medida>>en algn lugar causando <<colapso>> en todas partes-. Pero
es importante que en la teora GRW todo, incluyendo la amedida>>,
sigue las ecuaciones matemticas de la teora. Esas ecuaciones no son
descartadas de vez en cuando sobre la base de prescripciones suple-
mentarias, imprecisas, verbales.
En esta situacin EPRB, un arriba en la izquierda implica un
subsecuente <<abajo.en la derecha, y viceversa. Desde luego no era la
existencia de correlaciones entre sucesos distantes lo que escandaliz a
EPR y llev a Einstein (Einstein, 1949) a usar la palabra <<paradoja.en
estas circunstancias. En la vida diaria son comunes tales correlaciones.
Si descubro que llevo slo un guante, el izquierdo, puedo entonces
confiadamente predecir que el que qued en casa ser el derecho. N o
hay nada paradjico aqu en la concepcin cotidiana de las cosas. Pero
los guantes han existido durante todo el da, y cada uno de ellos ha
sido siempre el derecho o el izquierdo. La observacin del que he
sacado del bolsillo proporciona informacin sobre el que se ha
quedado en casa, pero no influye sobre ste. Respecto a las correlacio-
nes EPRB, lo que es perturbador acerca de la mecnica cuntica,
especialmente como lo subrayan GRW, es que antes de la primera
medida no existe nada salvo la funcin de onda cuntica -del todo
neutral entre las dos posibilidades-. La decisin entre estas posibili-
dades se hace para los dos sistemas mutuamente distantes slo me-
diante la primera medida sobre uno de ellos. N o es cuestin, si no
existiera nada salvo la funcin de onda, de revelar simplemente una
decisin tomada ya. Era esta fantasmal accin a distancia, la deter-
minacin inmediata de sucesos en un sistema distante, mediante
sucesos en un sistema cercano, lo que escandaliz a EPR. Ellos
concluyeron que la mecnica cuntica debe, en el mejor de los casos,
ser incompleta. Deben existir variables adicionales, no conocidas an
para la mecnica cuntica, en ambos sistemas, las cuales determinen
por anticipado los resultados de los experimentos, y que suceda que se
hayan correlacionado en la fuente -justo como sucede que los
guantes se venden por pares de distinta mano-.
Resulta ahora muy difcil mantener esta esperanza; que la causali-
dad local podra ser restaurada en la mecnica cuntica mediante la
Hay saltos cunticos? 281
adicin de variables complementarias. Las perfectas correlaciones

consideradas realmente por EPR, con polarizadores paralelos en el
dispositivo EPRB, no presentan a este respecto dificultad alguna;
pero las correlaciones imperfectas que implica la mecnica cuntica,
para polarizadores no alineados, resultan ms intratables (Bell, 1981).
La teora GRW no aade variables. Pero, al aadir precisin
matemtica a los saltos en la funcin de onda, simplemente parece
hacer precisa la accin a distancia de la mecnica cuntica ordinaria. El
aspecto ms molesto de esta teora es la aparente dificultad de
reconciliarla con la invariancia Lorentz. Pues en una teora invariante
Lorentz tendemos a creer que <<nadava ms rpido que la luz.. As
pues vayamos ahora a una discusin de la invariancia Lorentz.
4. Invariancia bajo traslaciones temporales relativas
Desde luego no podemos discutir la invariancia Lorentz total en el

contexto del modelo no relativista presentado ms arriba. Pero hay un
residuo, o al menos un anlogo, de la invariancia Lorentz, el cual
puede discutirse en el caso de dos sistemas ampliamente separados.
Considrese la transformacin de Lorentz
z' = y(z - vt), t' = y(t - vz)
con x e y sin cambiar, donde se ha tomado la velocidad de la luz como

unidad y
En el caso de un sistema a una gran distancia, a, del origen, es

conveniente introducir un nuevo origen, de modo que
Entonces (13) se convierte en
zt=-a+y(z+a-vt), tt=y(t-v(z+a)). (16)

Tomando v muy pequea y a muy grande de modo que
va = k
(16) pasa a ser
En el caso de un nico sistema esto nos dice simplemente que ha

de esperarse invariancia respecto a traslaciones en el tiempo. Pero en
el caso de dos sistemas desplazados del origen segn direcciones
opuestas, y entonces con diferentes signos para k, lo que nos dice es
que debemos esperar invariancia con respecto a traslaciones en el
tiempo relativo.
El formalismo de tiempo mltiple, con tiempos independientes
para partculas diferentes, o para puntos distintos del espacio, es una
vieja historia en la teora cuntica relativista. Es menos familiar en el
contexto de la teora no relativista. Sin embargo, se incorpora fcil-
mente en el caso de sistemas que no interactan a nivel de la ecuacin
de Schrodinger. Sean dos sistemas que no interactan con hamiltonia-
nos separados A y B, respectivamente, de modo que el hamiltoniano
total es
Entonces a partir de la funcin de onda ordinaria monotemporal

~ ( t...)
, podemos definir una funcin de onda bitemporal
exp i(t - t')A exp i(t - tt')B Il>(t,...).

Il>(t', t'l...) = (20)
h h
Puesto que A y B conmutan, no es importante el orden relativo de

las exponenciales en (20). (Sin embargo, si. A y B dependen del
tiempo, las dos exponenciales tienen que ser temporalmente ordena-
das por separado, como en (A.5)). La funcin de onda bitemporal
satisface las dos ecuaciones de Schrodinger
hid
-?p(t', tl'...) = A?/@', t",...)
dtl
hid
-y(t', t"...) = Bq(t', t",...)
d t"
Estas ecuaciones son invariantes frente a desplazamientos inde-

pendientes de los orgenes de las dos variables temporales (siempre
que cualquier campo externo dependiente del tiempo en A y B
desplace apropiadamente).
Queda todava por ver si esta invariancia temporal relativa sobre-
vive a la introduccin de los saltos GRW. Lo hace. N o he encontrado
un argumento elegante y los engorrosos que hall los he relegado a un
apndice. A partir de la funcin de onda ordinaria monotemporal
para el tiempo i, se puede construir una funcin de onda bitemporal.
Esta incorpora los saldos del subsistema-1 entre los tiempos i e i' y los
del subsistema-2 entre i e i". En trminos de ella puede encontrarse
una frmula (A.22, A.23) para la probabilidad de saltos subsiguientes
antes de los instantes f y f' en los dos subsistemas respectivamente.
Puede ser interpretada como una forma de suplementar (21, 22)
dando las probabilidades de los saltos en los dos sistemas cuando t' y
t" se avanzan independientemente desde independientes puntos de
partida. N o depende de t' o t" excepto a travs de la funcin de onda
bitemporal (y de cualesquiera campos externos en los hamiltonia-
nos A y B). La invariancia temporal relativa de la teora es entonces
manifiesta.
La reformulacin (A.22, A.23) de la teora tambin puede ser
usada para calcular la estadstica de los saltos en un sistema por
separado, sin tener en cuenta lo que ocurre en el otro. El resultado
(A.24, A.25) no hace referencia al segundo sistema. Los sucesos en un
sistema, considerados separadamente, no dan lugar a inferencia alguna
sobre los sucesos en el otro, ni acerca de los campos externos que
estn operando en ste... ni tan siquiera sobre la mera existencia del
otro sistema. N o hay mensajes en un sistema desde el otro. Las
inexplicables correlaciones de la mecnica cuntica no dan lugar a
seales entre dos sistemas que no interactan. Desde luego, puede, sin
embargo, haber correlaciones (e.g. las de EPRB) y si se da algo sobre
el segundo sistema (e.g. que es el otro lado de un dispositivo EPRB) y
acerca del estado global (e.g. que es el estado singlete EPRB), enton-
ces son posibles las inferencias a partir de sucesos en un sistema (e.g.
(<sdel contador de arribae) sobre sucesos en el otro (e.g. s del
contador de abajo).
Conclusin
Creo que Schrodinger difcilmente podra haber encontrado muy

motivadora la teora GRW segn ha sido expuesta aqu - c o n la
arbitrariedad de la funcin salto y la vaguedad de las nuevas constan-
tes fsicas-. Pero podra haberla visto como una pista de algo bueno
por llegar. Le habra gustado, pienso, que la teora est completamen-
te determinada por las ecuaciones, las cuales no han de dejarse de lado
de vez en cuando. Le habra agradado la completa ausencia de
partculas de la teora y, no obstante, la aparicin de trazas de
partculas>>y en general de la ucorpuscularidad~del mundo, a nivel
macroscpico. Podra no haberse sentido satisfecho con los saltos
GRW, pero le habran desagradado menos que los viejos saltos
cunticos de su poca. Y no se habra sentido molesto en absoluto por
su indeterminismo. Pues tan pronto como en 1922, siguiendo a su
maestro Exner, esperaba que las leyes fundamentales fueran estadsti-
cas en carcter: ...una vez hemos descartado nuestra enraizada
predileccin por la absoluta Causalidad, tendremos xito en superar
las dificultades... (Schrodinger, 1957).
Por lo que a mi respecta, veo el modelo GRW como una buena
ilustracin de cmo la mecnica cuntica, para hacerse racional,
requiere tan slo un cambio muy pequeo (jen algunas medidas!). Y
me siento particularmente impresionado por el hecho de que el
modelo es tan invariante Lorentz como podra ser en la versin no
relativista. Esto aleja el fundamento de mi temor de que cualquier
formulacin exacta de la mecnica cuntica debe estar en conflict con
la invariancia Lorentz fundamental.
Apndice
Sea
P ( f ; x,, n,, t,; ...xl, nl, tl; i)d3xl...d3x,dtl...dt, (A.1)

la probabilidad que haya m saltos entre el instante i y algn instante
posterior f, con el primero en el tiempo ti en el intervalo dtl,
comportando el argumento rSl, y centrado en xl en d3xl; y con el
segundo en el tiempo ti, comportando el argumento rn2,centrado en
xz... y as sucesivamente. Entonces, a partir de las hiptesis bsicas
P = exp ASl'(i - f! (i(E+(f, i)E(f, i)li), (A4
donde N es el a m e r o de partculas. total, li) denota el estado inicial
11) = V(i, rl, r2...) (A.3)
con
En (AS) permitimos que el hamiltoniano pueda depende1 del

tiempo y entonces tenemos un producto ordenado temporalmente.
Ntese la relacin de unitariedad
El U del extremo izquierdo de (A.4) es realmente redundante en

(A.2), debido a (A.7), pero resulta conveniente despus. La exponen-
cial en (A.2) viene de un producto de exponenciales
exp - W(t'- t),
las cuales son las probabilidades de no tener ningn salto en los

intervalos temporales correspondientes. Las frmulas se podran sim-
plificar algo introduciendo operadores de Heisenberg, pero no lo
haremos aqu.
Calculemos a partir de (A.l) - (A.4), para un dado, la distribu-
cin condicional de probabilidad para saltos en el intervalo i' - f
cuando se dan los saltos entre i e i'. Tenemos slo que dividir (A.1)
por la probabilidad de los saltos dados
Lo decible y la indecible en mecnica cuntica
...dtl ...
exp AN(i - i')(RI2d3x1 (AJO
con, a partir de (A.2)
lR12 = (ilE+(i', i)E(i1,i)li).
El resultado puede expresarse en trminos de
(A.10)
cuando notamos la propiedad de factorizacin
E(f, i) = E(f, il)E(i', 2). (A.1 1)
Si renumeramos los saltos en el intervalo reducido tras i', de modo

a empezar otra vez con 1, encontramos de nuevo justamente (A.1) -
(A.4) con i sustituido en todas partes por 2 ' . As que esto era
solamente una verificacin de consistencia bastante elaborada. Pero
las manipulaciones hechas sern tiles para otro propsito en seguida.
Calculemos a hora a partir de (A.l) - (A.4), con f fijo, la
probabilidad P' de saltos especificados slo hasta algn instante
anterior f , independientemente de lo que suceda ms tarde. Para
hacerlo debemos sumar sobre todas las posibilidades en el intervalo
entre f y f . Podra haber O, 1, 2, ... saltos extra en ese intervalo
residual. La probabilidad de los saltos dados en el intervalo reducido
y ninguno en el restante viene directamente dada por (A.2), que
reescribimos como
Xoexp W(i- f )(ilEf (f, i)E(f, i)li) (A.12)
con
Xo = exp AN(f - f). (A.13)
Con un salto extra, EfE en el valor esperado se sustituye por
E+ U+b(n3x)12U E, (A.14)
donde el factor extra U evoluciona el sistema desde el instante f hasta

el t del salto extra (n, x ) . La integracin sobre x, usando (4),sustituye
[j(n, x)I2 por A. El U+U extra desaparece por unitariedad. La suma
sobre n da un factor N y la integracin en el tiempo t da un factor (f -
f ). Entonces la contribucin total de un salto extra a P' es (A.12)con
Xo sustituido por
x, = I w ( f - f ) expM(f' -f). (A.15)
Procediendo de esta manera encontramos para la contribucin a

P' de n saltos extra otra vez (A.11)pero con Xosustituido por
(A.16)
El factor n! surge de la restriccin de la integral temporal mltiple

a su orden cronolgico. Para obtener la P' total hemos de sumar estas
contribuciones de n saltos extra. Esto es fcil, pues
( A .17)
El resultado para P' es justamente ( A . l ) - (A.4)con f sustituido

por f . Esto es nicamente lo esperado, pero unas manipulaciones
similares sern tiles ms abajo.
Supngase ahora que el sistema se divide en dos subsiguientes sin
interaccin, con hamiltonianos respectivos A y B, que conmutan
H=A+B. ( A .1 8 )
Entonces los operadores U factorizan:
U(tf,t ) = V(t', t )W(t', t ) (A.19)
con V y W construidos como U en (A.5), pero con A y B sustituyen-

do H. Puesto que V y W conmutan podemos reunir los factores
referentes a cada subsistema en (A.2),resultando
P = exp AL(i - f i exp AM(i - fi(il~+FG+Gli), (A.20)

donde F y G se construyen como E en (A.4)pero con operadores del
primero y segundo subsistemas, respectivamente. Los enteros L y M

son los a m e r o s de partculas. de los subsistemas:
Hasta este punto los instantes inicial y final i y f eran comunes a

los dos subsistemas. Pero mediante las manipulaciones descritas ms
arriba podemos pasar de i y f a tiempos iniciales posteriores y tiempos
finales anteriores. Adems, puesto que los operadores de evolucin y
salto conmutan entre s y se han reunido en dos factores separados F y
G que conmutan, ello se puede hacer independientemente para los
dos subsistemas. Por lo tanto podemos tomar tiempos iniciales i' e i" y
finales f y f' independientes, respectivamente para ambos subsiste-
mas.
La distribucin de probabilidad resultante, de saltos en los inter-
valos reducidos de tiempo, es
P ( f , f ' ; x,, n,, t ,.. xl, ni, tl; i', i")d3xl ... d3x,dt l...dt,. (A.22)
donde
P = exp AL(? - f ) exp AM(i" - f')(i', i"lF+FG+Gli', 2"). (A.23)
Los saltos y evoluciones antes de i' e i", en los dos subsistemas

respectivamente, se han incorporado al estado inicial li', 2'). Los
saltos y evoluciones en los intervalos reducidos, ir hasta f e i" hasta f',
hacen F y G, como en (A.4).
Ntese por ltimo que si estamos interesados nicamente en lo
que sucede en el subsistema 1, podemos sumar sobre todas las
posibilidades para el segundo sistema de un modo ahora familiar. El
resultado es justamente (A.22), con referencia a saltos en el sistema 1
solamente, y (A.23) sin ningn operador G. Ello es equivalente a
donde la traza es sobre el espacio de estados del sistema 1, y
q = traza2 li', 2') (i', i''1
con la traza sobre el espacio de estados del sistema 2.

i Hay saltos cunticos? 289
Referencias
Bell, J. S. (l98l), J. de Physique 42, c2, 41-61.

Einstein, A. (1949), Reply to criticisms. Albert Einstein Philosopher Scientist (Schilpp, P.
A., ed.). Tudor.
Einstein, A., Podolsky, B. y Rosen, N. (1935) Phys. Rev. 47, 777.
Ghirardi, G. C., Rimini, A. y Weber T. (1986), Phys. Rev. D34, 470.
Schrodinger, E. (1926), Annalen der Physik 79, 489-527.
Schrodinger, E. (1935a), Naturwissenschaften 23, 807-12, 823-8, 844-9.
Schrodinger, E. (1935b), Proc. Carnb. Phil. Soc., 31, 555-63.
Schrodinger, E. (1936), Proc. Camb. Phil. Soc., 32, 446-52.
Schrodinger, E. (1952), Brit. J. Phil. Sc. 3, 109-23, 233-47.
Schrodinger, E. (1957), What is a law of nature? Science T h e o y and Man, pgs. 133-47.
Dover.

Lo Decible y Lo Indecible en La Mecanica Cuantica JS Bell PDF

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Lo Decible y Lo Indecible en La Mecanica Cuantica JS Bell PDF

Uploaded by

Copyright:

Available Formats

J.S.

@ Cambridge University Press, 1987

Sobre el problema de las variables ocultas en la mecnica

Sobre la paradoja de Einstein-Podolsky-Rosen .................

Introduccin a la cuestin de las variables ocultas ..............

Sujeto y objeto ................................................................

Teora de los beables locales ........................................ 89

La localidad en mecnica cuntica: rplica a crticas ........... 104

Cmo ensear la relatividad especial ................................. 109

Experimentos Einstein-Podolsky-Rosen .......................... 126

La teora de la medida de Everett y la onda piloto de

Variables libres y causalidad local ..................................... 149

Fotones de cascada atmica y no localidad cuntica ........... 155

La teora de de Broglie.Bohm. el experimento de la doble

Mecnica cuntica para cosmlogos .................................. 170

Los calcetines de Bertlmann y la naturaleza de la realidad .. 197

Sobre la imposible onda piloto ......................................... 221

Lo decible y lo indecible en mecnica cuntica .................. 234

Beables para la teora cuntica de campos .......................... 238

20 . Seis mundos posibles de la mecnica cuntica .................... 249

21 . Correlaciones EPR y distribuciones EPW ........................ 267

22 . Hay saltos cunticos? ..................................................... 274

Einstein deca que la mecnica cuntica no poda ser una teora

existencia de una fantasmal accin a distancia, lo cual l pensaba

Sin embargo esa idea - e l sueo de Einstein- no pareca ser en

importancia de dichas desigualdades. Hasta su formulacin, la cues-

Broglie y posteriormente ampliada hasta cierto punto por Bohm: la

Con ocasin de tan triste suceso, resultara superfluo el insistir en la

Jos L. Snchez Gmez

O n the problem of hidden variables in quantum mechanics.

O n wave packet reduction in the Coleman-Hepp model. Helveti-

Atomic-cascade photons and quantum-mechanical nonlocality.

De Broglie-Bohm, delayed-choice double-slit experiment, and

Bertlmann's socks and the nature of reality. Journal de Physique,

O n the impossible pilot wave. Foundations of Physics 12 (1982)'

Speakable and unspeakable in quantum mechanics. Comentarios

Simon Capelin, de Cambridge University Press, sugiri que le

Discusiones ms elaboradas del <<problemade la medidas aparecen

ondulatorios cunticos por un lado y en trminos clsicos de Bohr

mencionados y constituye el punto principal de la mayor parte del

J. S. Bell, Ginebra, marzo de 1987

1 O n the problem of hidden variables in quantum theory. Rev.

Colloque C2, suppl. al numero 3, tomo 42 (1981) C2 41-61.

El conocimiento del estado cuntico de un sistema implica, en

" Trabajo realizado con la ayuda de la Comisin Estadounidense de Energa

interesante1*2. El presente artculo no contribuye a ese debate. Est

2. Hiptesis y un ejemplo sencillo

Los autores de las demostraciones que van a revisarse se preocupa-

Se supone que un sistema mecanocuntico tiene observables

donde a es un nmero real, B un vector real y o tiene las matrices de

con probabilidades relativas que pueden inferirse de los valores

Puede dotarse a este sistema de un esquema de variables ocultas

la medida, notamos que mediante una rotacin de coordenadas

Sean &, By, & las componentes de $ en el nuevo sistema de

El estado mecanocuntico representado por q~ se obtiene mediante

el proceso mismo de medida. Con o sin variables ocultas, el anlisis

Considrese ahora la demostracin de von Neumann de que los

cin consiste en reproducir las peculiaridades medibles de la mecnica

Jauch y Piron3 han dado una nueva versin del argumento. De

(A) Los valores esperados de operadores de proyeccin que

entonces para dicho estado

Jauch y Piron llegan a este axioma (4.O en su numeracin) por

donde a es un vector unitario. En un estado sin dispersin el valor