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 70-542. Facultad 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.

INTROruCCION

1. 11 An.teoeden.tu

genvu'.u de algunas ramas de la fsica, el de la para el alumno. puede parecer mgica, de conceptos

Dentro del aprendizaje

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 conceptos onda-partcula", de-

del profesor en la introduccin

"colapso de la funcin de arda", etc. --en los cuales se supone que los nuevos encuentra ante sus preguntas que no admiten explicacin.

Al llegar a los cursos avanzados quedarn claros-que debe aprender Para ponerlo

el estudiante

toda una serie de principios

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

la tienen los

en cuestin.

Sin embargo. ellos no hacen ms ortodoxa da una interpre-

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

es una teora completa,

tacin adecuada. Pero, ~lede darse por terminado cin de la m.c. iniciado por I~isenberg caso de ser as, es el saldo favorable

el debate sobre la interpretaen 1926?(3). ortodoxa? Y en

y Schrodinger

a la interpretacin

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 para la m.c. sin em-

de esta clisciplina problemas

complicados;

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

ilnplica muy diferentes

* Que en la carrera de Fsica de la UNAM corresponde

y II.

a Fsica Moderna

621

actitudes situacin

fi10s6fic3s

ante la fsica, por 10 cual me parece que es una de este artculo el discutir existen las difeexcelencomo individe

difcil de obviar. Sin que sea el objetivo

COO1O

rentes interpretaciones
tes trabajos

de la m.c., ya que al respecto

el de Ballantine(S).

el de Bunge(6) o el de Brody et

al. (7), quisiera duales--

hacer notar que --cntre otras caractersticas una teora acabada que describe ortodoxa considerando

aquella que la considera la interpretaci6n los resultados

que convierten

sistemas

limita a la m.c. a la descripcin que es imposible trascender

experimentales,

este nivel de conochniento, la llegada de informacin como una teora incompleta, lidad de un conocimiento los estudiantes

dando base con esto a poSIcIones

cientfico"

filosficas
o

a la m.c. en "sustento

de la tclepata(S)

del futuro(9). ms profundo

En tanto al aceptar a la m.c. estadstica abre la posibimostrar posibles, a

la interpretacin

en la fsica. interpre~~ciones fechas

De todo lo anterior

me parece claro que es necesario definitivamente. a ltimas

que en la m.c. existen varias la controversia

as como puntos que no han sido aclarados puntos que ha reavivado

Uno de los (han aparecido Review Let-

en 1982 al menos siete artculos al respecto en el Physical ters(10,11)) es el teorema de Bell.

'.21 An1eceden.tu

dei TeMema de Beil confluyen dos problc... 'm3ticas de los fundade variables ocultas (v.o.) Sobre el problema de las v.o.*

En el teoremJ de BeU que completen daremos prana. la descripcin

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

algunos antecedentes. En la m.c. la idea de las v.o. apareci (llando Born propuso la interpretacin consideraciones:

desde una et;:patem-

est;:dst ica de la funcin "Desde luego, cualquiera

de onda, hizo las siguientes

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
obtuvo esta

que existen

pa-

a la teora, y que

las teoras de v.o. para la m.c. no se desarrollalargo, debido principalmente su imposibilidad. a un traque

un lapso relativamente
denostracin

bajo de John von Ncumann que demostraba no pueden deran existir

von Xcumann

como un corolario,

en el que se establece

para la m.c. estados de dispersin en los cuales los valores

cero, que corresponfijos.

a ensambles

de las v.o. estaran

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 cntre 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 de las v.o. Desde esta perspectiva las v.o. utilizadas son deterministas, es decir, aquellas en que la situacin fsica hace fijos los valores lo que el trabajo de von Neumann esdispcrsiva, que repreplausible. la dificultad de las v.o. en la m.c. tara indicando es que las v.o. en la.m.c. tienen naturaleza lo cual por otra parte es enteramente senta el corolario de van ~cumann, estara abierta. tradiccin
1...1.

Podra esperarse que una vez eliminada la posibilidad no-locales,

realidad no es as. debido al teorema de Bell (16), lo cual las pondra en conbsicos de la relatividad.

las v.o. tendran caractersticas

con uno de los postulados

2. TEORE.~\DE BELL

Para el establecimiento tivo experimental propuesto

de su teorema, Bell utiliza el disposiPensemos en un sisEn esta sien dos partculas.

por Bohm para el E-P-R.

tema de spin cero que decae naturalmente

623

tuacin podemos medir la proyeccin tculas vo) en direcciones paralelas arbitrarias

de los srines de c~da una de las paro algn otro dispositia los resultados como son Bautizamos

(con la ayuda de un aparato Stern-Gerlach

y b.

A y B, que convenimos

valgan ::t1, dependiendo a las direcciones

de si las proyecciones correspondientes

o antipara1elas

(Fig. 1).

t
-medidor
Fig. 1

1 -'(1)"--- T
I
SPIn cero

Part.cula

de

1
medidor 2-

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.

predecirlas,

de hacerlo, puesto que la m.c. no puede dar En h;,sca esto, Be11 prouna variable la m.c. introduciendo

pone estudiar qu sucede al canplctar ocul ta (o conjunto de variables Esta ltima proposicin Es importante esto es, l~e el resultado

ocul tas) "A", que agreg.'1daa la descripel resultado de las medidas. en la notacin substituyenlocal, introducir

cin anterior de cada sistema, nos determine la podemos do A y B por A(a,A) y B(6,A).

suponer que las medidas A del primer medidor

tienen un carcter no depende de

13

direc-

624

ci" 6 del segundo, de la direccin

la demostracin,

v que el resultado B del segundo medidor A esta hiptesis anteriores, que estar suponemos
de localidad.

no depende implcita en

del primero.

la llamaremos hiptesis

Planteadas

las hiptesis

que se miden pa-

ra muchos pares de partculas recciones y 6.

las pro}~cciones

de sus spines en las di-

Para manejar los resultados, se obtiene el coeficiente de correlacin entre las meJidas toma.das a las partculas lIs
y las medidas

tomadas a las partculas

rimentos tcnlra

2'5.

la siguiente

Este coeficiente fonna:

para una serie de N expe-

ft
e ~

I A(a,A)B(b,A)
J=l

Si el runcro de experimentos

es muy grande y la descripci6n

adecuada:
(2.1.1)

ab

ah

( A(a,A)B(b,A)o(A)dA

J.

r ahora establecer relaciones entre los coeficiende tal manera que po-

Nos planteamos damos ohtener Yab

Yab - Yac;
y

tes, para lo cual medimos proyecciones en Yac.

a,

h y

e,

Con estos coeficientes

tomaremos su diferencia:
(2.1.2)

A(a,A)B(b,A)O(A)dA

1
r

A(a,A)B(c,A)O(A)dA
trmino como

y usando que B'(b,A)

1, reescribimos el se~ndo

A(a,A)B(c,A)O(A)dA

f A(a,A)B(b,A)B(b,A)B(c,A1o(A)dA
r

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

(2.1.3)

* Donde p(A) es la distribucin

que obedecen

las A'S y r es su espacio.

625

luego, tomando valores absolutos y usando la desigualdad esta ltima relacin nos permite plantear que
IYab - Yac

del tringulo,

<;

f
r

IA(ii,A)B(b,A)

11 -

B(b,A)B(c,A)lp(A)dA

(2. 1 .4)

y como A y B valen

:t1, tenemos

IYab - Yac I <; 1 -

f
r

B(b,A)B(c,A)p(A)dA

(2.1.5)

Ahora debemos convertir de correlacin.

la ltllna integral en un coeficiente la proyeccin los resultados del spin en la tendrn signos

Para lograr esto recordemos que partlinos de un estado

de spin cero, de tal manera que si mcdtffios misma direccin para ambas subpartculas,
o[Xlcstas: B(b,A) Utilizando -A(b,A) (2.1.6),

(2.1.6) podemos cambiar el integrando de (2.1.5):

y llegamos

B(b,A)B(c,A)p(A)dA

A(b,A)B(c,A)p(A)dA

(2.1.7)

a la desigualdad

de Bell: (2.1.8)

Iy ah -

ac

<; 1 + Y

be

Esta fue la prlincra de toda una serie de relaciones que al ser comparadas con la m.c. llevaron a contradicciones, la desigualdad 10 cual inmediatamente conduce a refutar la hiptesis de trabajo. tUno, compararemos 2.2) CompaAaci6n Antes de discutir esto l-

(2.1.S) con la m.c. y fa dehiguadad de Be!{

ent.e fa meenea eu~ea

Supongamos
cin de onda W.

que nuestro sistema fsico es descrito por una funpreparadas en las mismas condicio-

Esto quiere decir que W nos describe un conjunto de sis-

temas (o ensamble) de dos partculas

626

ncs. yal

cual representamos estadstica

por el ket

l~}.

Como queremos averiguar buscamos el valor espera~

caso el opera. En este

una propiedad

de todo el ensamble,
a esa propiedad.

do del operador correspondiente

dor es el producto de las variables cula 1 en la direccin cin h:

de proyeccin

de spin. para la part-

de la proyeccin del spin de 2 en la direc-

Para facilitar caplanares se representa

el clculo de este coeficiente, en la Fig. 2.

supongamos

que a y b son

y unitarios,

y adems que a coincide con el eje z, tal como

-.---- -<D/1'
quedar como

,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
1fI

S2x I~)

cos

8(~IS lz

52

I~)
a un
de

Substituyendo
sistL'1na

por la funcin de onda corresp:mdiente

acopladas con spin cero, se obtienen los siguientes

de dos partculas

y los operadores valores:

spin por las matrices

adecuadas,

Nos estamos onda.

apegando

a la interpretaci6n

estadstica

de la funcin de

627

(~ISlz sS 2x I~)

(~Is1 z sS 2z I~) =-1

de correlacin queda como

de tal manera que el coeficiente

Yab
= - cos

8ah

Si substitullnoS

este resultado
8ah + cos 8ac

en (2.1.8) obtenemos

I-

cos

:s;; 1 - cos

abe

Esta desigualdad

no se cumple para todos los valores de los ngulos.

=

En que

partirolar pcxlemosproponer que 8 b a representara el arreglo de vectores

Tr/Z, 8 ac (Fig. 3).

ey

abe

rr/2 -

e,

Fig. 3

Con esta disposicin vectorial. la desigualdad de Bell se viola

para
8E:

(n ,2n).

Bajo estas condiciones

la desigualdad

de Be!! quedara como

I cos

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. con respecto contradiccin a las

tal que los resultados

de un

de la posici6n del otro. a no ser invariante

Esto obliga-

bajo transforma-

Se ha generado alguna discusi6n

V.O.,

en torno a este pun-

" " "6 " to (17) ,pero como veremos en I a sIguiente seCCl TI,esta no es necesaria

porque estas variables por Bell.

no son el motivo de la

encontrada
3.

TEORIMA DE BELL SIN VARIABLES OCULTAS

Como podr comprobar hiptesis calidad; explcitamente cia de v.o. que determinen con la m.c. Utilizando ptesis nos apoyaremos las direcciones '\ y

el lector, en la seccin anterior resultados individuales; coincidan

hay tres

formuladas
105

en el teorema de Bell: a) La existenb) que exista loestadsticamente la hi-

e) que los resultados

experimentales

el esquema experlinental de Bell, eliminaremos a una contradiccin,

de v.o., llegando nuevamente Supongamos

para 10 cual

en un trabajo de Peres(18). que se miden las proyecciones

J

del spin en 1 para

a y al

y en 2 para las direcciones de 4 resultados

6 y 6'. Tendremos
como A, a Aa " slo ::oedentomar de resultaConstruYamJs

entonces una coleccin

que se denotarn

1\.

respectivamente. !1, existirn

Debido a que los resultados en el Apndice).

los valores

tan s610 16 posibles combinaciones

dos experimentales ahora la siguiente

(que hemos enlistado expresin:

(3.1.1)

Substituyendo

cualquiera

de las 16 posibles

combinaciones,

encontramos

que la expresin

(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

del tringulo:

N
]""

,(AaBb.
]

(3.1.5)

de lo que se concluye que

IN L

- L
N
jo'

j=l

- L N jo'

- - L

(3.1.6)

N j=l

Haciendo

ahora que N sea muy grande:

(3.1.7)

y colocando

en lugar de las y's los coeficientes (3.1.7) no se cumple*, resultados Sin embargo

predichos

por la m.c. la

llegamos a una contradiccin, desigualdad los mismos son la fuente de contradiccin

ya que existen ngulos para los cuales

de donde se infiere que las v.o. no

en el teorema de Bel! pues hemos obtenido ante una situaci6n en la que debeComo

sin apelar a ellas. nos encontramos restantes.

mos reconocer

como falsa alguna de las dos hiptesis

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 *. 1\deITk1se contradecir d un postunuestra noci6n

es muy fuerte.

lado de la teora de la relatividad, pone en dificultades de sistCITk~. bsica para toda la fsica **. Ante estas dificultades teorema.
que existe

~~recc claro que ms que intentar eli. la demostracin de este

que no es ctunpli-

minar hiptesis, se debe estudiar cuidadosamente

una hiptesis implcita

Aunque no hemos realizado un anlisis exhaustivo podemos decir

en la demostracin,

da por la m.C. en las condiciones experUncntales

4.
[J\

propuestas.

IIIPOTESIS I~IPLICITA ocu.Ua6

4.1)

En

fu demM>Utac..i6n -6-1 va...u:ablu

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. ciente de correlacin. U~~ vez obtenidos estos resultados los multiplicamos entre s, y el producto es el primer trmino de nuestro coefiRepetimos este procedimiento N veces, con lo cual obtenemos N productos que ~s 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

importancia.

de la seccin 3, tenemos en la desigualdad

final cuatro coeficientes

de correlacin:
1 N + N j=1

11. 1
N j=1

a, b. J J

j=1

-- 1

N j=1

Analizando asociada
j.

el primer coeficiente,

observamos

que cada Aa est

con su correspondiente

En el segundo coeficiente

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

en

la que est basada toda la demostracin. Luego cada proyeccin da con dos proyecciones ron que provenir proyecci6n

para la subpartcula

1 est asociatuvieal

para la subpartcula

2, que necesariamente diferentes

de la misma partcula.

Esto es, se debe poder medir la

del spin de una partcula

en dos direcciones

mismo tiempo. Esta condicin, que llamaron de "medibilidad conjunta" quienes prnnero la observaron(22), no puede ser asegurada por la m.c. La hiptesis esto revisaremos discutida que hemos encontrado la demostraci6n en la demostraci6n original de Peres es comn a todas las demostraciones en seguida 2*. en la secci6n del teorema de Bell. Para confirmar

del teorema de Bell

En la seccin de correlacin

2 lo primero que notamos es que el coeficiente el la hiptesis de v.o. Esto no altera

tiene la forma (2.1.1), en la cual se ha introducido

smbolo A para poner de manifiesto

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

al principio

de ~.1 sobre

el coeficien-

te de correlacin.
demostracin.

Por lo anterior pasaremos directamente la diferencia

expresin forma,

a discutir
y y

la

El primer paso es t~1r

(2.1.1)). ries En el laboratorio o dicho esta experimentales,

entre y

ab

ae

(Ec.
de dos semJ11cro

la pudimos obtener rudimos realizar un

de otra

N en

de experimentos a y [l. y otros en c. Parecera

(N Im.ly grande)
N experimentos

en los cuales

medimos las

proyecciones en

donde se midiesen

las proyecciones

ii

entonces

que la A(ii,A) en el coeficiente en el coeficiente y ac .

YabJ no tiene

por qu ser

la misma que la A(3,\)

Sin embargo, factorizacin tes. que obliga

en el siguiente a que la A(3,\) coeficiente

paso (Ee.

(2.1.3))

hacemos una

sea la misma en ambos coeficienA(,X) con B(6,X) est y el segun~ a dos que para ca-

Dado que el primer A(,X)

asocia

do asocia medidas que esto

con B(c,X), 2.

tenc'lTlOS que la A(,X) De aqu estaramos la medibilidad

aparejada a decir

en la partcula

tentados conjunta,

suceda debe cumplirse ms cuidado.

pero en este

so hay que tener

Observarrlo tamos que al

con atencin

las hiptesis

del

trabajo del

de Bell,

no-

intnx:l.ucir

X se canpleta

la descripcin

sistema,

por lo detenni-

que una vez dado a,

y un valor

de X, A(a,A)

queda perfectamente en el sistema

nada sin que la afecte a la hiptesis la hiptesis

la medida que realicerros Lo que asocia conjunta, en el sino

2 (debido

de localidad). de mcdibilidad

a A(a,A) el valor

dos medidas no es de la variable X.

Pasemos a la situacin ciones en la direccin

laboratorio: partcula y

tomamos las proyec-

a en la primera

en la segunda,

en de part-

las que 1:1variable spin cero; cula rior), (2.1.:)). ner control

X es la misma por venir

de una misma partcula para

luego intent<lmos medir partcula

las proyecciones

en otra

y para c en otra

2 (que [onnan un par diferente de X ~~ra asegurar la factorizacin esto ltimo oculta

al ante-

pero con el mismo valor

":os encontrnmos

con que no Ixxlcmos hacer

por no te(sobre La nica la

sobre

la variable

X, ya que es una variable de conocer

que no tenemos teora, fonn3 de asegurar

ni posibilidad

su valor). para

que la variable

A tiene

el mismo valor

las dos pa~

633

rejas de medidas es realizarlas cual 5610 es posible

una ). continua

sobre la mi~~

parcja de partculas, de medibilidad

10

si se cumple la condicin

conjunta.
en una

En cuanto a la situacin secuencia

terica es claro que nos bastara considerar

de repetir el mismo valor

para que la probabilidad

finita de pruebas

sea prcticamente

cero.

5. CONCWSIONES y PERSPECTIVAS 5.1 Ac.eJtca. de. la .6Ww.ci6t1 Desde la aparici6n

expvUmen.t:al
del

teorem..'1 de Bell se ha realizado

un es-

fuerzo relativamente objetivo

linportante para comprobarlo es discriminar

las modificaciones

experimentalmente.

El

que se persigue
y haciendo

entre la validez de la desigualdando por hecho que el teorema necesarias para el manejo de

dad de Be11 o la de la mecnica cuntica, es correcto

los datos. experimentos Aspect(11),

Segn Clauser y Shirnony, hasta 1978(24) se realizaron cinco de stos han utilizado fotones provenientes equivalente 6pticos.

nueve por

a los que habra que agregar el realizado recientemente

de la desal spin, Un esquema

exitaci6n de algn gas, tomndose como la propiedad la polarizaci6n, muy simplificado que se observa con polarizadores de este experimento

sera el JTK)stradoen la Fig. 4.

FUENTE

-o-D--o--Q~(;)~D--o- -oQ
~ 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 de la aniquilacin Por ltUno,

han utilizado

fotones de alta enercalculando su polaen con

positrn-electrn

rizaci6n a partir de las medidas que se hacen sobre la dispersi6n plstico de centelleo. protones,
bn.

se ha realizarlo un experimento

en el que se observa

la dispersi6n

de stos en lminas de carcoincicorno he-

En cuanto a sus resultados, mos mostrado

ocho de estos experimentos de Bell. Sin embargo,

den con la m.c. y dos con la desigualdad de Bell, por 10 cual su posible existencia riores resultados tan de hiptesis experimentales. adicionales

en la secci6n 3. las v.o. no son la esencia del resultado no es afectada por los antenecesiPor otra parte, estos ltUnos

que han recibido

severas crticas(2S).

5.21 Conc.l.u.6.ionu A pesar de su diversidad, realizado conjunta, direccin, para comprobar comn: les resulta todas las experiencias que se han en de medibilidad del spin en una para senticon por el campo del

el teorema de Be11 tienen una caracterstica o la proyeccin

Urrposible tomar en cuenta la hiptesis

pues al medir la polarizacin propuesto

el estado del sistenk~ resulta modificado; (un Stern-Gcrlach),

en particular,

el experimento aparato medidor do el realizar respecto

por Bell al pasar la partcula

se orienta con ste, perdiendo son irrelevantes

otra medida en la misma partcula. hasta hoy realizados

De 10 anterior con-

cluimos que los experimentos

a las v.o. y la no-localidad en la m.c. Podra argumentar se que el problema es de equipo, y que mienel tcorema de Bel1 es un impedimento Pero para argumentar terico para la en esta diconjunta. el teolas

tras no se cuente con un aparato capaz de hacer las medidas conjuntas que se requieren, localidad en la m.c. consistentemente de medibilidad

reccin, habra que demostrar Esto no se

a partir de la propia m.C. que el sistema

fsico que se propone cumple con la condici6n

~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,

son falsas, debido al poco cuidado

635

que se pone en la discusi6n

5.3) PeMpec.UVM

de su contenido

fsico.

El aspecto

positivo

del trabajo de Be!1 consiste cuya soluci6n las conclusiones

en que su esnuestro la medipara

tudio ha rJDtivado rn.Jcvosproblemas, conocllniento de la m.c. terior llegamos bilidad conjunta? naturalmente

profundizar Jlu significa

Al establecer

de la seccin ano

a varias preguntas:

Ser posible disenar

algn tipo de dispositivos

efectuar ese tipo de medidas en microsistemas? te6rico de la no-medibilidad focar la solucin do con ello aspectos sus interpretaciones. la discusin leza del spin. los vectores conjunta

Existen sistemas clsiPodemos de en-

cos en que no sea posible hacer "medidas conjuntas"? Cul es el reflejo en la teora cuntica? desde diferentes se puede retomar de Heisenberg, ngulos. a estas preguntas relevantes Por ejemplo, enriquecien-

de la teora. as como la discusin

--en este contexto-de este artcusobre

de las desigLk~ldades

o indagar en la naturala discusin

Como eso queda fuera de las posibilidades de dos lineas de trabajo:

lo, slo haremos mencin

de estado de segundo tipo y la bsqueda

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, forma:
(5.3.1)

el elemento

respon-

de esta desigualdad.

&1 anlisis

parte del coefi-

que en general puede ser escrito de la siguiente

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
(5.3.2)

I~) = .L . C lJ I~.)I;'> .. 1 )
1,

correspondiendo que describe

al vector que describe al subsistema 1. y 14j) el al subsistrnl<'l.. l~ interesante surge al considerar que 2
1

I\~.)

636

pueden tenerse dos tipos de vectores coeficiente ciI mostrar

de estado

I~),dependiendo
C3S0

de si el

Cij

es factorizable como C.C~. En 1 J

(5.3.1)

de ser as, es 5como (5.3.3)

que el coeficiente

puede escribirse

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 la propiedad rueden obtener de estado del primer tipo, siendo los de segundo tipo en los que no se puede hacer esto. (5.3.3) y de algunas hiptesis la desigualdad de BeU, mostrando adicionales,

el

A partir

Baracca et al.

adem.1s que algunos vecIT (~ .~.) de

1

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.
J

el elemento al que habra que adjudiEl problema de estado de segunde la funcin de aparece al estuEste autor ende Be11 code

car desde un punto de vista formal el resultado do tipo para describir ciertos sistemas.

que se abre es entender por qu hacen falta vectores diar los procesos de simetrizacin y antisimetrizacin

Una va de ataque sera estu-

oooa.
El segundo problema diar los resultados nocidas, obtenidos al que hicimos referencia por F. se11eri en 1978(19). cuentra un procedliniento para generar todas las desigualdades as como desigualdades Su mtodo correlacin. cas geomtricas dad de Be1l: 1.- Es simtrica con respecto a le permite encontrar

con un nmero mayor de coeficientes

una serie de caracterstique cumple con la desigual-

de la funcin de correlacin

o. e =
n/2. nunca es

2.- En e = ./2 vale O. 3.- Es antisimtrica con respecto a

4.- Es simtrica alrededor de n. 5.- La curva que describe la funcin de correlacin

637

mayor que la recta

R(e) -1 [y'(e)

e
en

6.- La derivada de la funcin de correlacin que 2/ . Apoyndose en estas aseveraciones

es mayor la regin Usando

se puede delimitar

del plano en la que evolucionara

tra que el trabajo de Selleri

el coeficiente de correlaci6n.

hip6tesis adicionales se :uedenbosquejar algunas grficas,

abre algunas posibilidades

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, (~e con sus discusiones
boracin final del

le permitieron

la comprensin del tema, as como

los valiosos comentarios de Gustavo ~brtnez y Rafael ~brtnez en la elamanuscrito.

APENlJICE /\n ,

Conjunto 1.2. 3. -

Aa

Bb

Bb'

4. 5. 6. 7. 8. -

9. , 0.'1., 2. 13. -

.1 +, +, +1 +1 +1 +1 +, -1 -1 -1 -1 -1
-1

+1 +1 +1 +1 -1 -1

-, -1

14. 15. 16. -

-, -,

+, +, +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,

(1968).

5cient. Amer., septiembre de 1958. Nuevos Fundamentos de la Mecnica Cuntica.

Tecnos,

Madrid McGraw-

3.- M. Jammer, The Conce tual Develo ment of

4.5.6.-

uantum Mechanics.
47 (1953) -

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.

777.

7.- T. Brody. R. Cid, J.l. JTmnez. D. Lev;, J.R. Martinez. P. Pereyra,

B.9.10.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.

11.-

12.- M. Jammer,
13.14.15.16.17.1B.19.20.21.22.23.24.-

The Philosophy

of Quantum

Mechanics,

Wiley-and

Sans Inc .

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.

Trieste.

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)

1BBI.

25.- T.W. Marshall, cia,

26.27.-

Preprint

Laboratorio

de Quimica-Cuntica.
Theor. Int.

Pars,
Phys.,

Fran(1973) Phys.,

V. Capasso, D. Fortunato y F. Selleri, Int. J. 319. A. Baracca, S. Bergia, R. Livi y M. Restignoli, 12 (1976) 473.

J.

Theor.