Teorema de Bell PDF

RevistaMexicana
de Fca29
no. 4 (1983) 619-638
619
EL TEOREMA DE BELL,
LA NO-LOCALIDAD Y
LAS VARIABLES OCULTAS
EN LA MECANICA CUANTICA
H. Arce
Departamento
Apartado
de Fsica.
Postal
Facultad
70-542.
04510
de Ciencias,
- Mxico,
UNAN
D.F.
(recibido octubre 21, 1982; aceptado mayo 17, 1983)
RESUMEN
El teorema de Bell es un intento de probar por reduccin al absurdo la imposibilidad de completar la descripcin cuntica con variables
ocul tas.
En este trabajo se muestra que las variables ocultas no son
esenciales al resultado de Bell, y adems que en las demostraciones tpicas de este teorema est implcita una hiptesis que la mecnica cuntica
no satisface para los casos experimentales propuestos.
ABSTRACT
Bell's theorem is an attempt to prove, by reduction ad absurdum,

the impossibility of completing a quantum-mechanical description of reality by means of hidden variables.
In this paper we show that hidden variables are not essential
to Bell's result, and moreover that in the typical proof of this theorem
there is implicit ao hypothesis which quantum mechanics does not satisfy
for the proposed experimental situati?ns.
620
1.
1. 11 An.teoeden.tu
INTROruCCION
genvu'.u
Dentro del aprendizaje
de algunas ramas de la fsica, el de la
mecnica cuntica (m.c.) es en la mayora de los casos un proceso dogmatizante Y. a menudo, generador de frustraciones
A un nivel intermedio* la experiencia
pendiendo
de la habilidad
como "dualidad
del profesor en la introduccin
onda-partcula",
Al llegar a los cursos avanzados

conceptos
quedarn claros--
que debe aprender

Para ponerlo
para el alumno.
puede parecer mgica,
de-
de conceptos
"colapso de la funcin de arda", etc.

--en los cuales se supone que los nuevos
el estudiante
encuentra
toda una serie de principios
ante sus preguntas
que no admiten explicacin.
en las palabras de F. Dyson(l) citadas por A. Land(2):
"El estudiante
empieza por aprender
las triquiuelas
del oficio ...
Luego comienza a preocuparse
pues no comprende lo que
hace.
De repente
se dice a s mismo 'comprendo
la mecnica
cuntica'.
o ms bien.
'comprendo que no hay nada que comprender'" .
Parte de la responsabilidad
profesores
de las materias
que reflejar
de esta situacin
en cuestin.
la tienen los
Sin embargo. ellos no hacen ms
la posicin que al respecto de la m.c. existe en el medio:
es una teora completa,
a la cual la concepcin
tacin adecuada.
Pero, ~lede darse por terminado
ortodoxa da una interpre-
el debate sobre la interpreta-
cin de la m.c. iniciado por I~isenberg
y Schrodinger
en 1926?(3).
caso de ser as, es el saldo favorable
a la interpretacin
Y en
ortodoxa?
Me parece que es difcil dar una resp.lesta categrica a estas cuestiones,

sobre todo a la luz del teorema de Einstein, Podolsky y Rosen (E_P_R)(4)
sobre la incompletcl de la m.c.
Es claro que la vigencia
plantea
a la enseanza
de dos interpretaciones
de esta clisciplina problemas
~~rgo. el que se tome una u otra interpretacin
II.
sin em-
ilnplica muy diferentes
* Que en la carrera de Fsica de la UNAM corresponde

y
para la m.c.
complicados;
a Fsica Moderna
621
actitudes
fi10s6fic3s
situacin
difcil de obviar.
Sin que sea el objetivo
ante la fsica, por 10 cual me parece que es una
rentes interpretaciones
tes
trabajos
COO1O
al. (7), quisiera
una teora acabada que describe

ortodoxa
experimentales,
este nivel de conochniento,

que convierten
existen
la llegada de informacin
lidad de un conocimiento
los estudiantes
que es imposible
cientfico"
del futuro(9).
ms profundo
filosficas
o
abre la posibi-
en la fsica.
me parece claro que es necesario
la controversia
interpre~~ciones
definitivamente.
a ltimas
fechas
mostrar
posibles,
Uno de los
(han aparecido
en 1982 al menos siete artculos al respecto en el Physical

ters(10,11)) es el teorema de Bell.
Review Let-
dei TeMema de Beil
En el teoremJ de BeU
confluyen
dos problc...
'm3ticas de los funda-
mentos de la m.c.: el E-P-R y la existencia

que completen
de
trascender
de la tclepata(S)
estadstica
que en la m.c. existen varias
'.21 An1eceden.tu
indivi-
En tanto al aceptar a la m.c.
la interpretacin
as como puntos que no han sido aclarados

puntos que ha reavivado
como
sistemas
dando base con esto a poSIcIones
De todo lo anterior
excelen-
limita a la m.c. a la descripcin
considerando
a la m.c. en "sustento
como una teora incompleta,
las dife-
el de Bunge(6) o el de Brody et
hacer notar que --cntre otras caractersticas
la interpretaci6n
los resultados
el discutir
de la m.c., ya que al respecto
el de Ballantine(S).
aquella que la considera

duales--
de este artculo
la descripcin
cuntica.
de variables
Sobre el problema
daremos
algunos antecedentes.
En la m.c. la idea de las v.o. apareci
prana.
(llando Born propuso
de onda, hizo las siguientes
la interpretacin
consideraciones:
ocultas
(v.o.)
de las v.o.*
desde una et;:patem-
est;:dstica de la funcin
"Desde luego, cualquiera
Para precisar los tnninos, hablamos de variables ocultas V', cuando

dada una teora T podemos obtener los valores de las variables de esta
teora, o de funciones de stas, promediando sobre las V'. Es claro
que no podemos conocer las V' en el marco de T(14).
622
que est inconforrnc con estas ideas, es libre de suponer

rmetros adicionales que todava no son introducidos
determinan los resultados individuales,,(12).
No obstante,
ron durante
no pueden
denostracin
existir
a ensambles
a la teora, y que
largo, debido principalmente
bajo de John von Ncumann que demostraba
deran
pa-
las teoras de v.o. para la m.c. no se desarrolla-
un lapso relativamente
obtuvo esta
que existen
su imposibilidad.
como un corolario,
los valores
von Xcumann
en el que se establece
para la m.c. estados de dispersin

en los cuales
a un traque
cero, que correspon-
de las v.o. estaran
fijos.
El punto fue rediscutido por diferentes autores, entre los cuales J.S. Be!! (13) mostr --en base a un modelo de v.o. creado por l-que el trabajo de van Neumann, aunque matemticamente
correcto,
tiene cn-
tre sus postulados uno que no hay por qu exigir a los estados de dispersin cero: que el valor esperado de la suma de dos (o ms) operadores
sea igual a la suma de los valores esperados de cada uno.
Existe adems otra manera de evadir la demostracin de van
Neumann que tiene la ventaja de tomarla en positivo(15).
Consiste en notar que en el corolario que discutimos
las v.o. utilizadas
son determinis-
tas, es decir, aquellas en que la situacin fsica hace fijos los valores
de las v.o.
Desde esta perspectiva
lo que el trabajo de von Neumann es-
tara indicando es que las v.o. en la.m.c. tienen naturaleza

lo cual por otra parte es enteramente
Podra esperarse que una vez eliminada

senta el corolario de van ~cumann,
estara abierta.
1...1.
la posibilidad
la dificultad
que repre-
de las v.o. en la m.c.
realidad no es as. debido al teorema de Bell (16),
las v.o. tendran caractersticas

tradiccin
dispcrsiva,
plausible.
no-locales,
con uno de los postulados
lo cual las pondra en con-
bsicos de la relatividad.
2. TEORE.~\DE BELL
Para el establecimiento
tivo experimental
propuesto
de su teorema, Bell utiliza el disposi-
por Bohm para el E-P-R.
tema de spin cero que decae naturalmente
Pensemos en un sis-
en dos partculas.
En esta si-
623
tuacin podemos medir la proyeccin

tculas
de los srines de c~da una de las par-
(con la ayuda de un aparato Stern-Gerlach
vo) en direcciones
A y B, que convenimos
paralelas
y b.
Bautizamos
valgan ::t1,dependiendo
o antipara1elas
a las direcciones
o algn otro dispositia los resultados
de si las proyecciones
correspondientes
Part.cula
como
son
(Fig. 1).
de
1
-'(1)"--- T
I
t
--
arbitrarias
SPIn cero
medidor
medidor 2-
Fig. 1
Esquema sobresimplificado
del experimento de Bohm para el E-P-R.
Si antes de ~1cer las medidas nosotros quisiramos

no estaramos
predicciones
en condiciones
exactas de eventos
individuales.
pone estudiar qu sucede al canplctar

ocul ta (o conjunto de variables
En h;,sca esto, Be11 pro-
la m.c. introduciendo
una variable
ocul tas) "A", que agreg.'1daa la descrip-
cin anterior de cada sistema, nos determine

Esta ltima proposicin
predecirlas,
de hacerlo, puesto que la m.c. no puede dar
la podemos
el resultado de las medidas.
introducir
en la notacin
substituyen-
do A y B por A(a,A) y B(6,A).

Es importante
esto es, l~e el resultado
suponer que las medidas

A del primer medidor
tienen un carcter
no depende de
13
local,
direc-
624
v que el resultado B del segundo medidor
ci" 6 del segundo,
de la direccin
la demostracin,
del primero.
A esta hiptesis
la llamaremos hiptesis
Planteadas
las hiptesis
ra muchos pares de partculas

recciones
y 6.
que estar
no depende
implcita
en
de localidad.
anteriores,
suponemos
las pro}~cciones
que se miden pa-
de sus spines en las di-
Para manejar los resultados, se obtiene el coeficiente de correlacin
entre
las meJidas
tomadas a las partculas

rimentos
tcnlra
ah
es muy grande y la descripci6n
( A(a,A)B(b,A)o(A)dA
J.
ahora establecer
Yac.
(2.1.1)
relaciones
a,
h y
Con estos coeficientes
A(a,A)B(b,A)O(A)dA
e,
entre los coeficiende tal manera que po-
tomaremos su diferencia:
A(a,A)B(c,A)O(A)dA
1, reescribimos el se~ndo
f A(a,A)B(b,A)B(b,A)B(c,A1o(A)dA
A(a,A)B(c,A)O(A)dA
(2.1.2)
y usando que B'(b,A)
adecuada:
tes, para lo cual medimos proyecciones en
Yab - Yac;
y las medidas
I A(a,A)B(b,A)
Nos planteamos
damos ohtener Yab
lIs
para una serie de N expe-
J=l
Si el runcro de experimentos
ab
Este coeficiente
fonna:
la siguiente
ft
e
toma.das a las partculas
2'5.
trmino como
lo que nos permite cstahlecer que
y ah - y ac ; f A(a,A)B(b,A)
[1 - B(b,A)B(c,A) ]o(A)dA
* Donde p(A) es la distribucin
que obedecen
(2.1.3)
las A'S y r es su espacio.
625
luego, tomando valores absolutos y usando la desigualdad
del tringulo,
esta ltima relacin nos permite plantear que

IYab - Yac
<;
IA(ii,A)B(b,A)
11 -
B(b,A)B(c,A)lp(A)dA
(2. 1 .4)
r
y como A y B valen
:t1, tenemos
IYab - Yac I <; 1 -
B(b,A)B(c,A)p(A)dA
(2.1.5)
r
Ahora debemos convertir
de correlacin.
la ltllna integral en un coeficiente
Para lograr esto recordemos que partlinos de un estado
de spin cero, de tal manera que si mcdtffios

misma direccin para ambas subpartculas,
la proyeccin
del spin en la
los resultados
tendrn signos
o[Xlcstas:
B(b,A)
-A(b,A)
Utilizando
(2.1.6),
(2.1.6)
podemos cambiar
B(b,A)B(c,A)p(A)dA
y llegamos
a la desigualdad
Iy ah -
ac
el
integrando
A(b,A)B(c,A)p(A)dA
de (2.1.5):
(2.1.7)
de Bell:
<; 1 + Y
(2.1.8)
be
Esta fue la prlincra de toda una serie de relaciones que al ser

comparadas
con la m.c. llevaron a contradicciones,
te conduce a refutar la hiptesis de trabajo.

tUno, compararemos
2.2) CompaAaci6n
la desigualdad
cin de onda W.
(2.1.S) con la m.c.
ent.e fa meenea eu~ea
Supongamos
10 cual inmediatamen-
Antes de discutir esto l-
y fa dehiguadad de Be!{
que nuestro sistema fsico es descrito por una fun-
Esto quiere decir que W nos describe un conjunto de sis-
temas (o ensamble) de dos partculas
preparadas en
las mismas condicio-
626
ncs. yal
cual representamos
una propiedad
estadstica
por el ket
Como queremos averiguar
de todo el ensamble,
do del operador correspondiente
buscamos
a esa propiedad.
dor es el producto de las variables

cula 1 en la direccin
l~}.
el valor espera~
En este
de proyeccin
caso el opera.
de spin. para la part-
de la proyeccin del spin de 2 en la direc-
cin h:
Para facilitar
caplanares
el clculo de este coeficiente,
y unitarios,
se representa
que a y b son
supongamos
y adems que a coincide con el eje z, tal como
en la Fig. 2.
,1/
-.---- -<D-
/1'
x
Fig. 2
Ubicacin del sistema de referencia en que se realiza el clculo

de
'(abo
El coeficiente de correlacin
sen
8(~1S lz
Substituyendo
sistL'1na
de dos partculas
spin por las matrices
Nos estamos
onda.
apegando
1fI
quedar como
S2x I~)
cos
8(~ISlz
52
I~)
por la funcin de onda corresp:mdiente

acopladas
adecuadas,
con spin cero,
se obtienen
a la interpretaci6n
a un
y los operadores
los siguientes
estadstica
de
valores:
de la funcin de
627
(~ISlz sS 2x I~)
(~Is1 z sS 2z I~) =-1
de tal manera que el coeficiente

Yab
Si substitullnoS
I-
- cos
Esta desigualdad
queda como
8ah
este resultado
cos
de correlacin
8ah + cos
8ac
en (2.1.8) obtenemos
:s;; 1 - cos
abe
no se cumple para todos los valores de los ngulos.
partirolar
pcxlemosproponer que 8 b
a
representara el arreglo de vectores
Tr/Z, 8
ac
(Fig. 3).
ey
abe
rr/2 -
e,
En
que
Fig. 3
Con esta disposicin vectorial. la desigualdad de Bell se viola

para
8E:
(n ,2n).
Bajo estas condiciones
I cos
la desigualdad
de Be!! quedara como
81 .;; 1 - sen 8
que se viola para 8E(rr,2rr), con lo que hemos llegado a una contradiccin.
Be!1 concluye de esta contradiccin que no se puede completar
la m.C. con variables ocultas locales. As, en caso de existir las va-
628
riables ocultas, deben tener una naturaleza

medidor
dependan
instantneamente
ra a la teoria que las describiese

ciones de LaTen!z.
tal que los resultados
de la posici6n del otro.

a no ser invariante
Se ha generado alguna discusi6n
de un
Esto obliga-
bajo transforma-
en torno a este pun-
" "
"
to (17) ,pero como veremos en I a sIguiente
seCCl"6 TI,esta
no es necesaria
con respecto
a las
contradiccin
porque estas variables
V.O.,
encontrada
3.
por Bell.
TEORIMA DE BELL SIN VARIABLES OCULTAS
Como podr comprobar

hiptesis
explcitamente
ptesis
resultados
coincidan
b) que exista loestadsticamente
el esquema experlinental de Bell, eliminaremos
Supongamos
a una contradiccin,
que se miden las proyecciones
a y al
entonces una coleccin
y en 2 para las direcciones
de 4 resultados
respectivamente.
los valores
individuales;
experimentales
la hi-
para 10 cual
en un trabajo de Peres(18).
las direcciones
1\.
hay tres
en el teorema de Bell: a) La existen-
de v.o., llegando nuevamente
nos apoyaremos
'\ y
105
e) que los resultados
con la m.c.
Utilizando
el lector, en la seccin anterior
formuladas
cia de v.o. que determinen

calidad;
no son el motivo de la
!1, existirn
del spin en 1 para
6 y 6'. Tendremos
que se denotarn
Debido a que los resultados
como A,a
tan s610 16 posibles combinaciones
dos experimentales
(que hemos enlistado
ahora la siguiente
expresin:
Aa "
slo ::oedentomar
en el Apndice).
de resulta-
ConstruYamJs
(3.1.1)
Substituyendo
cualquiera
que la expresin
de las 16 posibles
combinaciones,
encontramos
(3.1.1) tan slo puede valer !2:

(3.1.2)
Ta&lndo valores
absolutos:
2
(3.1.3)
629
y si realizamos
un nmero de experimentos
tal que encontremos
N coleccio-
nes de resultados -cada uno de los OJales etiquetaremos por el ndice

j-
podemos sumarlos:
(3.1.4)
Luego, por la desigualdad

1
del tringulo:
N
,(AaBb.
]""
(3.1.5)
de lo que se concluye que

1
jo'
- L
IN L
j=l
Haciendo
- - L
- L
N jo'
(3.1.6)
N j=l
ahora que N sea muy grande:

(3.1.7)
y colocando
en lugar de las y's los coeficientes
llegamos a una contradiccin,

desigualdad
los mismos
resultados
Sin embargo
mos reconocer
por la m.c.
ya que existen ngulos para los cuales
(3.1.7) no se cumple*,
son la fuente de contradiccin
predichos
la
de donde se infiere que las v.o. no
en el teorema de Bel! pues hemos obtenido
sin apelar a ellas.

nos encontramos
ante una situaci6n
como falsa alguna de las dos hiptesis
en la que debe-
restantes.
Como
existen experimentos que (segn algunos autores) confinnan al coeficiente de correlacin cuntico comouna adecuada descripci6n para este caso,
* Pueden encontrarse desigualdades con cualquier nmero de ngulos mayor

o igual a tres. F. selleri encontr un mtodo para hacerlo(19) que
adems recupera las desigualdades ya encontradas.
630
es comn afirmar que la hiptesis

Esta conclusin
de localidad es falsa *.
es muy fuerte.
1\deITk1sde contradecir
lado de la teora de la relatividad, pone en dificultades

de sistCITk~. bsica para toda la fsica **.
Ante estas dificultades
~~recc claro que ms que intentar eli.
minar hiptesis, se debe estudiar cuidadosamente

teorema.
que existe
una hiptesis
implcita
4.
En
la demostracin de este
Aunque no hemos realizado un anlisis exhaustivo podemos decir

en la demostracin,
da por la m.C. en las condiciones experUncntales
4.1)
un postu-
nuestra noci6n
[J\
que no es ctunpli-
propuestas.
IIIPOTESIS I~IPLICITA
fu demM>Utac..i6n -6-1 va...u:ablu
ocu.Ua6
El sujeto princi~~l del teorema de Be!1 es el coeficiente de

correlacin.
El coeficiente
se construye a partir de las medidas sobre un
experimento que se repite N veces: al decaer el sistema de spin cero, medUnas la proyeccin del spin en una direccin para la partcula t y en
otra para la partcula 2.
U~~ vez obtenidos estos resultados
los multi-
plicamos entre s, y el producto es el primer trmino de nuestro coeficiente de correlacin.
Repetimos este procedimiento
obtenemos N productos que ~s
N veces, con lo cual
y dividimos entre N.
De 10 anterior se advierte que es esencial para el coeficiente

de correlacin que las medidas que se mul tipl iquen entre s vayan aparejadas, esto es, que provengan de la misma pnrtcula de spin cero, lo
cual es natural, pues estamos estudianJo el comportamiento
estadstico
de las proyecciones del spin, medidas en partculas (~e formaban un solo
Esta situacin de no-localidad ha sido discutida en la literatura llevando a desarrollos interesantes(20,21).

** Para ver esto, supongamos que aislamos cierta parte del universo en
donde deseamos hacer experimentos con algunas partculas.
Debido a
que el universo es dinmico, estas partculas interactuaron con otras
en el pasado, de tal manera que si alguien est haciendo experimentos
con esas partculas, debido a la no-localidad, nuestros resultados dependen de ese alguien arbitrariamente
lejano.
631
sistema.
Este hecho es de vital

En la demostracin
final cuatro coeficientes

N
11. 1
N j=1
a, b.
J
J
asociada
1 N
+ N j=1
j=1
Analizando
j.
de la seccin 3, tenemos en la desigualdad
de correlacin:
importancia.
N j=1
el primer coeficiente,
con su correspondiente
En el segundo coeficiente
-- 1
observamos
que cada Aa est
Bb, 10 cual est asegurado por el ndice

nos encontramos tambin que cada Aa est
asociada con su correspoooiente Bb" pero el hecho interesante es que la

Aa del primer coeficiente y la del segundo son necesariamente
la misma,
surnan:lopor sumando (j por j),
ndice, sino
10 cual no tan slo est asegurado por el
porque sin este hecho, no es vlida la relacin (3.1.2) en
la que est basada toda la demostracin.

Luego cada proyeccin
da con dos proyecciones
ron que provenir
proyecci6n
en
para la subpartcula
para la subpartcula
de la misma partcula.
del spin de una partcula
1 est asocia-
2, que necesariamente
tuvie-
Esto es, se debe poder medir la
en dos direcciones
diferentes
al
mismo tiempo. Esta condicin, que llamaron de "medibilidad conjunta"

quienes prnnero la observaron(22), no puede ser asegurada por la m.c.
La hiptesis
que hemos encontrado
es comn a todas las demostraciones

esto revisaremos
discutida
en seguida
la demostraci6n
original
de Peres
Para confirmar
del teorema de Bell
en la secci6n
2*.
En la seccin
2 lo primero que notamos es que el coeficiente
de correlacin
tiene la forma (2.1.1), en la cual se ha introducido
smbolo A para poner de manifiesto
en la demostraci6n
del teorema de Bell.
la hiptesis
de v.o.
el
Esto no altera
Restara, para completar el anlisis de las tres demostraciones tpicas

que del teorema existen, que estudiramos la de Holt y Pipkin(23), pero
el lector interesado puede hacerlo leyendo el articulo que sobre el tema escribieron Brody y de la Pea en 1979(22).
632
la discusin
que hemos realizado
te de correlacin.
al principio
de ~.1 sobre
el coeficien-
Por lo anterior pasaremos directamente
a discutir
la
demostracin.
El primer paso es t~1r

(2.1.1)).
ries
En el laboratorio
experimentales,
de experimentos
en c.
entonces
Sin embargo,
tes.
coeficiente
2.
en el
a en la primera
sino
rior),
pero con el mismo valor
partcula
":os encontrnmos
ii
hacemos una
y el segun~
aparejada
a dos
a decir
que para
pero en este
trabajo
ca-
del
de Bell,
sistema,
detenni-
en el sistema
a A(a,A)
el valor
partcula
2 (debido
dos medidas no es
de la variable
en la segunda,
de una misma partcula
las proyecciones
para
de X ~~ra asegurar
en otra
de conocer
A tiene
en
de
part-
al ante-
la factorizacin
esto ltimo
X, ya que es una variable
ni posibilidad
X.
tomamos las proyec-
2 (que [onnan un par diferente
que la variable
no-
por lo
queda perfectamente
con que no Ixxlcmos hacer
la variable
que no tenemos teora,
del
laboratorio:
X es la misma por venir
luego intent<lmos medir
fonn3 de asegurar
est
la descripcin
de X, A(a,A)
conjunta,
y para c en otra
sobre
en
en
con B(6,X)
tentados
las hiptesis
Lo que asocia
cula
ner control
ac
conjunta,
la medida que realicerros
de mcdibilidad
en la direccin
(2.1.:)).
mJ11cro
YabJ no tiene
(2.1.3))
A(,X)
asocia
X se canpleta
de localidad).
las que 1:1variable

spin cero;
un
proyecciones
sea la misma en ambos coeficien-
la medibilidad
Pasemos a la situacin
ciones
paso (Ee.
De aqu estaramos
y un valor
nada sin que la afecte
la hiptesis
de dos se-
las proyecciones
tenc'lTlOSque la A(,X)
con atencin
intnx:l.ucir
que una vez dado a,
a la hiptesis
(Ec.
ae
ms cuidado.
Observarrlo
tamos que al
realizar
medimos las
en el coeficiente
a que la A(3,\)
suceda debe cumplirse
so hay que tener
rudimos
donde se midiesen
con B(c,X),
en la partcula
que esto
forma,
en el siguiente
Dado que el primer
medidas
y y
ab
que la A(ii,A) en el coeficiente
que obliga
A(,X)
entre y
la pudimos obtener
en los cuales
la misma que la A(3,\)
factorizacin
do asocia
expresin
de otra
N experimentos
Parecera
por qu ser
o dicho
(N Im.ly grande)
a y [l. y otros
la diferencia
esta
oculta
su valor).
el mismo valor
por no te(sobre
la
La nica
para
las dos pa~
633
rejas de medidas es realizarlas

cual 5610 es posible
En cuanto a la situacin
una ). continua
secuencia
sobre la mi~~
parcja de partculas,
si se cumple la condicin
de medibilidad
10
conjunta.
terica es claro que nos bastara considerar
para que la probabilidad
finita de pruebas
de repetir
sea prcticamente
el mismo valor
en una
cero.
5. CONCWSIONES y PERSPECTIVAS
5.1
Ac.eJtca. de. la .6Ww.ci6t1

Desde la aparici6n
fuerzo relativamente
objetivo
expvUmen.t:al
del
teorem..'1 de Bell se ha realizado
linportante para comprobarlo
que se persigue
es discriminar
un es-
experimentalmente.
dad de Be11 o la de la mecnica cuntica,
dando por hecho que el teorema
es correcto
y haciendo
los datos.
Segn Clauser y Shirnony, hasta 1978(24) se realizaron
experimentos
Aspect(11),
El
entre la validez de la desigual-
las modificaciones
necesarias
para el manejo de
nueve
a los que habra que agregar el realizado recientemente

cinco de stos han utilizado
fotones provenientes
exitaci6n de algn gas, tomndose como la propiedad

la polarizaci6n,
que se observa con polarizadores
muy simplificado
de este experimento
de la des-
equivalente
6pticos.
por
al spin,
Un esquema
sera el JTK)stradoen la Fig. 4.

FUENTE
-o-D--o--Q~(;)~D--o-Q-o~
FOTO MULTIPLICADOR
LENTE
POLARIZADOR
MEDIDOR DE COINCIDENCIAS
Y PROCESAMIENTO DE DATOS
Fig. 4
Esquema experimental
merCurio.
para
fotones.
La fuente generalmente
es de
634
Otros cuatro expertmentos

ga provenientes
han utilizado
de la aniquilacin
fotones de alta ener-
positrn-electrn
calculando
su pola-
rizaci6n a partir de las medidas que se hacen sobre la dispersi6n

plstico de centelleo.
protones,
en el que se observa
en
se ha realizarlo un experimento
Por ltUno,
la dispersi6n
con
de stos en lminas de car-
bn.
En cuanto a sus resultados,
ocho de estos experimentos
den con la m.c. y dos con la desigualdad
de Bell.
Sin embargo,
coincicorno he-
en la secci6n 3. las v.o. no son la esencia del resultado
mos mostrado
de Bell, por 10 cual su posible existencia

riores resultados
tan de hiptesis
experimentales.
adicionales
no es afectada
por los ante-
Por otra parte, estos ltUnos
que han recibido
necesi-
severas crticas(2S).
5.21 Conc.l.u.6.ionu
A pesar de su diversidad,
realizado
para comprobar
comn: les resulta

conjunta,
Urrposible tomar en cuenta la hiptesis
pues al medir la polarizacin
direccin,
o la proyeccin
el estado del sistenk~ resulta modificado;
el experimento
propuesto
aparato medidor
do el realizar
que se han
(un Stern-Gcrlach),
de medibilidad
hasta hoy realizados
para
por el campo del
se orienta con ste, perdiendo
otra medida en la misma partcula.
en
del spin en una
en particular,
por Bell al pasar la partcula
cluimos que los experimentos

respecto
todas las experiencias
el teorema de Be11 tienen una caracterstica
senti-
De 10 anterior conson irrelevantes
con
a las v.o. y la no-localidad en la m.c.

Podra argumentar se que el problema es de equipo, y que mien-
tras no se cuente con un aparato capaz de hacer las medidas conjuntas

que se requieren,
el tcorema de Bel1 es un impedimento
localidad en la m.c.
Pero para argumentar
reccin, habra que demostrar
en esta di-
a partir de la propia m.C. que el sistema
fsico que se propone cumple con la condici6n

Esto no se
terico para la
consistentemente
de medibilidad
conjunta.
~l realizado
hasta la fecha.
En re~en,
despus de estudiar con un poco de atencin
rema de Bell, se nota que a pesar de ser matemticamente

conclusiones
que de l se obtienen
correcto,
el teolas
son falsas, debido al poco cuidado
635
que se pone en la discusi6n

5.3)
de su contenido
fsico.
PeMpec.UVM
El aspecto
positivo
del trabajo de Be!1 consiste
tudio ha rJDtivado rn.Jcvosproblemas,

conocllniento de la m.c.
terior llegamos
naturalmente
bilidad conjunta?
cuya soluci6n
Al establecer
profundizar
las conclusiones
a varias preguntas:
Ser posible disenar
en que su esnuestro
de la seccin ano
Jlu significa
la medi-
algn tipo de dispositivos
efectuar ese tipo de medidas en microsistemas?
para
Existen sistemas clsi-
cos en que no sea posible hacer "medidas conjuntas"? Cul es el reflejo

te6rico de la no-medibilidad
focar la solucin
do con ello aspectos
relevantes
sus interpretaciones.
la discusin
en la teora cuntica?
desde diferentes
ngulos.
se puede retomar
de Heisenberg,
en-
enriqueciende
--en este contexto--
o indagar en la natura-
Como eso queda fuera de las posibilidades
lo, slo haremos mencin
Podemos
de la teora. as como la discusin
Por ejemplo,
de las desigLk~ldades
leza del spin.

los vectores
conjunta
a estas preguntas
de dos lineas de trabajo:
de estado de segundo tipo y la bsqueda
de este artcu-
la discusin
sobre
de las caractersti-
cas de la funcin de correlaci6n que cumple con el teorema de Bell.

capasso et al. (26) y a,racca et al. (27) estudiaron la desigualdad de Bell desde un punto de vista formal, aislando
sable de la violacin
ciente de correlacin,
de esta desigualdad.
el elemento
&1 anlisis
respon-
parte del coefi-
que en general puede ser escrito de la siguiente
forma:
(5.3.1)
donde Al es el operador correspondiente

a una observable del subsistema 1
TI
y B es el operador correspondiente
al subsistema 2. Por tratarse de un
sistema de dos partes,
el vector de estado es
I~) = .L . C lJ
.. I~.)I;'>
1
)
1,
correspondiendo
que describe
(5.3.2)
I\~.)
al vector que describe al subsistema 1. y 14j) el

al subsistrnl<'l.2. l~ interesante surge al considerar que
1
636
pueden tenerse dos tipos de vectores
I~),dependiendo
de estado
En
es factorizable como C.C~.
1 J
coeficiente
Cij
ciI mostrar
que el coeficiente
(5.3.1)
C3S0
de si el
de ser as, es 5-
puede escribirse
como
(5.3.3)
teniendo un trmino adicional
si ~o es factorizable:
(5.3.4)
A los vectores de estado en los cuales se puede factorizar

trmino CijO se les conoce como vectores
de estado del primer tipo,
siendo los de segundo tipo en los que no se puede hacer esto.

de la propiedad
rueden obtener
(5.3.3) y de algunas hiptesis

la desigualdad
de BeU,
el
adicionales,
mostrando
A partir
Baracca et al.
adem.1s que algunos vec-
tores de estado de segundo tipo no la cumplen.

Es claro que esta violacin
(5.3.4), con lo cual se identifica
es debida al trmino
de Bell.
que se abre es entender por qu hacen falta vectores

ciertos
sistemas.
diar los procesos de simetrizacin
el elemento al que habra que adjudi-
car desde un punto de vista formal el resultado

do tipo para describir
IT (~ .~.) de
El problema
de estado de segun-
Una va de ataque sera estu-
y antisimetrizacin
de la funcin de
oooa.
El segundo problema
diar los resultados
obtenidos
al que hicimos
referencia
aparece al estu-
por F. se11eri en 1978(19).
Este autor en-
cuentra un procedliniento para generar todas las desigualdades

nocidas,
as como desigualdades
correlacin.
cas geomtricas
Su mtodo
de Be11 co-
con un nmero mayor de coeficientes
le permite encontrar
de
una serie de caractersti-
de la funcin de correlacin
que cumple con la desigual-
dad de Be1l:
1.- Es simtrica
con respecto a
2.- En e = ./2 vale O.

3.- Es antisimtrica con respecto a
o.
e =
n/2.
4.- Es simtrica alrededor de n.

5.- La curva que describe la funcin de correlacin
nunca es
637
mayor que la recta
R(e) -1 [y'(e)
6.- La derivada de la funcin de correlacin
en
es mayor
que 2/ .
Apoyndose
en estas aseveraciones
del plano en la que evolucionara
se puede delimitar
el coeficiente de correlaci6n.
hip6tesis adicionales se :uedenbosquejar algunas grficas,

tra que el trabajo de Selleri
abre algunas posibilidades
la regin
Usando
lo cual mues-
para precisar
el tipo de coeficiente de correlacin que cumple con la desigualdad de

Bell.
AGRADECI~lIENfOS
El autor agradece la paciencia de Toms Brody y Luis de la Pea,

(~econ sus discusiones
le permitieron
la comprensin del tema, as como
los valiosos comentarios de Gustavo ~brtnez y Rafael ~brtnez en la elaboracin
final
del
manuscrito.
APENlJICE
Conjunto
1.2. 3. -
4. 5. 6. 7. 8. -
9. , 0.'1., 2. 13. -
14. 15. 16. -
Aa
/\n ,
Bb
Bb'
.1
+,
+,
+1
+1
+1
+1
+,
-1
-1
-1
-1
-1
+1
+1
+1
+1
-1
-1
+1
+1
-1
-1
+1
+1
-1
-1
+,
+1
+1
-1
+1
-1
+1
-1
+1
-1
+1
-1
+1
-1
+1
-,-,
-1
-,-1
+,
+,
+1
+1
-1
-1
-1
-1
-,
-1
+,
+1
-,-1
-,
+1
-1
638
REFERF.NCIAS
1.- F. Dyson.
2.- A. Land,
5cient. Amer., septiembre de 1958.

Nuevos Fundamentos
de la Mecnica Cuntica.
Tecnos,
Madrid
(1968).
3.- M. Jammer, The Conce tual Develo ment of

4.5.6.-
uantum Mechanics.
Hill,
New York 1966.
A. Einstein,
B. POdolsky y N. Rosen, Phys. Rev.,
L. Ballentine,
Rev. Mod. Phys.,
42 (1970) 35B.
M. Bunge, Am. J. Phys.,
24 (1956)272.
McGraw-
47 (1953)
-
777.
7.- T. Brody. R. Cid, J.l. JTmnez. D. Lev;, J.R. Martinez. P. Pereyra,

B.9.10.-
11.-
R. Rechtman y M. Rosales,
Rev. Mex. Fis.,
25 (1976) E 31.
Sunday Times, 24 de abril
de 1980.
-Le Monde, 24 de octubre
de 1979.
A. Fine, Phys. Rev. Lett.,
48 (19B2) 291; A. Aspect,
P. Gran9ier
y
G. R0ger, Phys. Rev. Lett. ,49
(l9B2) 91; A. Garg y N.O. Mermin,
Phys. Rev. Lett.,
49 (19B2) 901; A. Garg y N.O. Mermin, Phys. Rev.
Lett.,
49 (19B2) 1220; P.H. Eberhard,
Phys. Rev. Lett.,
49 (19B2)
1474; HY. Stapp,
Phys. Rev. Lett.,
44 (l9B2) 1470.
-A. Aspect,
J. Dalibard
y G. Roger, Phys. Rev. Lett.,
49 (19B2) 1B04.
12.- M. Jammer,
13.14.15.16.17.1B.19.20.-
Trieste.
21.22.23.24.-
The Philosophy
27.-
Mechanics,
Wiley-and
Sans Inc .
Italia.
P. Eberhard,
Nuovo Cim., 46B (197B) 392.
T. Brody y L. de la Pena,NUovo
Cim., 54 B (1974) 455.
R. Holt y F. Pipkin,
Harvard Preprint
1T9i3).
J.F. elauser
yA. Shimony, Rep. Prog. Phys.,
41 (l978)
25.- T.W. Marshall,

cia,
26.-
of Quantum
New York (1974).

J. Bell,
Physics,
1 (1964) 195.
E.C. Stern,
Tesis Profesional,
Fac. de Ciencias,
UNAM(1975).
T. Brody, Preprint
IFUNAMBO-IB.
J. Bell,
Rev. Mod. Phys.,
38 (1966) 447.
T. Nordin,
Lund Preprint
(Philosophy
Department)
(1977).
A. Peres,
Amer. J. Phys. 46 (197B) 745.
F. Selleri,
Foud. Phys.,
8(197B)
103.
G. Ghirardi.
Preprint
International
Centre of Theoretical
Phys;cs.
Preprint
Laboratorio
1BBI.
de Quimica-Cuntica.
V. Capasso,
D. Fortunato
y F. Selleri,
Int. J.
319.
A. Baracca,
S. Bergia,
R. Livi y M. Restignoli,
12 (1976) 473.
Theor.
Int.
Pars,
Fran-
(1973)
Phys.,
J.
Theor.
Phys.,

Teorema de Bell PDF

Uploaded by

Document Information

Original Description:

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

Teorema de Bell PDF

Uploaded by

Copyright:

Available Formats

RevistaMexicana

no. 4 (1983) 619-638

(recibido octubre 21, 1982; aceptado mayo 17, 1983)

Bell's theorem is an attempt to prove, by reduction ad absurdum,

Dentro del aprendizaje

de algunas ramas de la fsica, el de la

del profesor en la introduccin

Al llegar a los cursos avanzados

que debe aprender

"colapso de la funcin de arda", etc.

toda una serie de principios

ante sus preguntas

que no admiten explicacin.

en las palabras de F. Dyson(l) citadas por A. Land(2):

Sin embargo. ellos no hacen ms

la posicin que al respecto de la m.c. existe en el medio:

es una teora completa,

ortodoxa da una interpre-

el debate sobre la interpreta-

cin de la m.c. iniciado por I~isenberg

caso de ser as, es el saldo favorable

Me parece que es difcil dar una resp.lesta categrica a estas cuestiones,

de esta clisciplina problemas

~~rgo. el que se tome una u otra interpretacin

ilnplica muy diferentes

* Que en la carrera de Fsica de la UNAM corresponde

ante la fsica, por 10 cual me parece que es una

al. (7), quisiera

una teora acabada que describe

este nivel de conochniento,

me parece claro que es necesario

en 1982 al menos siete artculos al respecto en el Physical

dei TeMema de Beil

mentos de la m.c.: el E-P-R y la existencia

que en la m.c. existen varias

En tanto al aceptar a la m.c.

as como puntos que no han sido aclarados

dando base con esto a poSIcIones

limita a la m.c. a la descripcin

como una teora incompleta,

hacer notar que --cntre otras caractersticas

de la m.c., ya que al respecto

aquella que la considera

(llando Born propuso

de onda, hizo las siguientes

desde una et;:patem-

Para precisar los tnninos, hablamos de variables ocultas V', cuando

que est inconforrnc con estas ideas, es libre de suponer

largo, debido principalmente

bajo de John von Ncumann que demostraba

las teoras de v.o. para la m.c. no se desarrolla-

para la m.c. estados de dispersin

cero, que correspon-

de las v.o. estaran

las v.o. utilizadas

Desde esta perspectiva

lo que el trabajo de von Neumann es-

tara indicando es que las v.o. en la.m.c. tienen naturaleza

Podra esperarse que una vez eliminada

de las v.o. en la m.c.

realidad no es as. debido al teorema de Bell (16),

las v.o. tendran caractersticas