VersinoriginaldelaparadojaEPR

EnestaseccinanalizamoslapropuestaoriginalrealizadaporEinstein
concluyendoquelateoracuntica,deserlocal,seraunarepresentacin
incompletadelarealidadfsica.Porclaridad,separaremoslasdefinicionesdelos
razonamientosposteriores.

Precisionespreliminares

Elementodelarealidadfsica

Sielvalordeunavariablesepuedepredecirconcertezasinafectarelestadodel
sistema,entonceslamismasecorrespondeconunelementodelarealidadfsica.
EPRenfatizanquesteesuncriteriodesuficiencia,nodenecesidad.
Unelementodelarealidadfsicapuedenotenercontraparteenunateora.
EPRilustranlaideaderealidadfsicausandoelejemplodedosobservables
conjugadosdeunapartculaenunadimensin.EligenlaposicinQylacantidad
demovimientoP,demodoque[Q,P]=ihylasobservacionesdeambosestn
ligadasporelPrincipiodeHeisemberg.Unconocimientodeunadeellasimplica
ignoranciasobrelaotra.Silapartculaestenunestadoeip0x/,autoestado
deP,unamedidadecantidaddemovimientoproduceelvalorp0concertezay
noafectaa.Lacantidaddemovimientoesunelementodelarealidadeneste
estado.Porelcontrario,laposicinnoloes,yaqueelresultadodeunamedida
noespredecibleysisemide,elestadoesdestruido.

Teoracompleta
Unateoraescompleta,sitodoelementodelarealidadfsicatienecontraparteen
lateora.

Teoralocal

Sucintamente,unateoralocalesaquellaqueexcluyelaposibilidaddeaccina
distancia.AvecesseenuncialamismaideacomoPrincipiodeLocalidad,
indicando,entrminosrelativistas,quedoseventosconseparacindetipo
espacialnoadmitenconexincausal.
ElPrincipiodeLocalidadesasumidoimplcitamenteen:
Dosalternativasexcluyentes
Einsteinalobservanqueloscriteriosderealidadfsicaycompletitudenunciados
enlaseccinanteriorllevanaunadisyuntivaexcluyenteentredosafirmaciones:

(i)ladescripcindelarealidaddadaporlafuncindeondanoescompleta.
(ii)dosobservablesconjugadosnopuedentenerrealidadsimultneamente.
Siambasfueranciertas,laMecnicaCunticaseraincompleta,comoseintenta
demostrar.Siambasfueranfalsas,sellegaaunacontradiccinconladescripcin
cunticaenelcasodedosobservablesconjugados,comomencionamosenel
ejemplodeunapartcula.SiPyQtienenrealidadsimultneamenteysila
funcindeondadaunadescripcincompletadeesarealidad,entoncesdebe
predecirvaloresconcretosparaambosobservables,locualnoocurre.Porlo
tanto,unayslounadelasafirmacionesanterioresdebeserverdadera.
LaestrategiadeEinsteinesmostrarquedosobservablesconjugadosdeuna
partculaenunestadoenredadopodranperteneceralamismarealidadfsica.
Estoharaque(ii)seafalsoyporlotanto(i)verdaderoylaMecnicaCuntica
seraincompleta.Comoveremos,paraalcanzarestaconclusinsedeslizaenel
razonamientolaexigenciaadicionaldelocalidad.
Dospartculasenunestadocorrelacionado
Parademostrarqueenunateoracunticasuplementadaconlaideadelocalidad
dosobservablesconjugadospodransersimultneamentereales,EPRproceden
entresetapas:
I)Seconsideraunestadodedospartculasyseexpresaenlasrepresentaciones
asociadasadosobservablesconjugadosA1yB1delapartcula1.
SupongamosquelosobservablesA1yB1tienenelsiguienteconjunto1deauto
funcionesyautovalores:
A1u(x1)=aiui(x1)
B1v(x1)=bivi(x1).
Sepuedeexpresarelestadodedospartculasusandolasautofuncionesdel
observableA1,

(x1,x2)=n(x2)un(x1)
n=1

Alternativamente,enlarepresentacinasociadaalobservableB1,

(x1,x2)=n(x2)vn(x1).
n=1

II)Seanalizaenqueestadoquedalapartcula2luegodemedirlosobservables
A1oB1delapartcula1.
1Escribimoslasecuacionesparaelcasodiscreto,nodegenerado,sinprdidade
generalidad.

SisemideA1yseobtieneelautovalorak,entoncesluegodelamedida,

ak
A(x1,x2)k(x2)uk(x1).
Encambio,siseeligemedirelobservableB1,yelresultadoesbr,

br
B(x1,x2)r(x2)vr(x1).

III)Algunosestados,luegodelamedidaquedanenautoestadossimultneosde
dosobservables(A1,A2)o(B1,B2)correspondientesadiferentes
partculas2.Enesecaso,k(x2)seraautofuncindeunobservableA2y
p(x2)seriaautofuncindelobservableB2,conjugadodeA2.Tenemosporlo
tanto,dosconjuntosdeobservablesconjugados:A1,B1paralapartcula1y
A2,B2paralapartcula2.Enestetipodeestadoscorrelacionados,alhaceruna
medidadelobservableA1delapartcula1,elestadoconjuntoresultante

A
esautoestadosimultneodeA1yA2.Portanto,luegodelamedidadeA1resulta
queelvalordeA2espredecibleyesteobservabletienerealidadfsica.
Si,encambio,elegimosmedirelobservableB1delapartcula1,

elobservablequetienerealidadfsicaesB2delapartcula2.

2EPRmuestranqueestoesposibleconsiderandoelejemplodedospartculasen
unestadodescritopor

(x1,x2)=?p(x2)up(x1)dp=?ei(x2L)p/eix1p/dp,

dondeLesunaconstante.Estaexpresineselanlogocontinuodelaec.(2.1).
Sisemide
P1conresultadoesp0,lafuncindeondaresultante,

p0ei(x2x1L)p0/

esautofuncindeP2conautovalorp0.Modernamente,estoesloque
entendemosporunestadoenredado.Siseexpresaenlarepresentacinde
posicin(usandocomoautofuncinladeltadeDirac)sevequelasposicionesde
ambaspartculasestncorrelacionadasenformasimilar.