On the EPR paradox in systems with finite number of levels (Revised)

Titel: Het EPR-paradox in systemen met een eindig aantal niveaus (Herzien)

Auteur: Henryk Gzyl (Center for Finance, IESA School of Business)

1. Het Probleem: Het EPR-paradox in een Discrete Context

Het artikel heronderzoekt het beroemde Einstein-Podolsky-Rosen (EPR) paradox, oorspronkelijk geformuleerd in 1935 voor continue systemen (zoals impuls en positie), en past dit toe op kwantumsystemen met een eindig aantal energieniveaus (discrete systemen).

• De Kern van het EPR-argument: EPR stelden een systeem voor van twee verstrengelde deeltjes met een behouden totale impuls $S = A_1 + A_2$. Als men de impuls van deeltje 1 ($A_1$) meet, is de impuls van deeltje 2 ($A_2$) met zekerheid bekend ($A_2 = S - A_1$). EPR concludeerden dat dit betekent dat $A_2$ een "element van de werkelijkheid" is zonder dat het is gemeten. Als men vervolgens ook de positie ($B_2$) van deeltje 2 zou kunnen meten, zou dit de onzekerheidsrelatie van Heisenberg schenden, omdat zowel impuls als positie met willekeurige precisie zouden kunnen worden voorspeld.
• Het Doel van het Artikel: Gzyl beoogt te verklaren waarom er in systemen met een eindig aantal niveaus geen paradox bestaat. Het artikel benadrukt dat de schijnbare tegenstrijdigheid voortkomt uit een misverstand over hoe waarschijnlijkheidsverdelingen veranderen na een meting (conditionele waarschijnlijkheid) en de specifieke eigenschappen van discontinue systemen.

2. Methodologie en Wiskundig Kader

Het artikel gebruikt een strikt wiskundig formalisme gebaseerd op lineaire algebra en kwantummechanica in eindig-dimensionale Hilbertruimtes.

• Systeemdefinitie:
  • Twee identieke componenten, elk beschreven door een $N$-dimensionale complexe Hilbertruimte $H_0$.
  • Observabelen $A, B, C$ worden voorgesteld door Hermitische matrices met $N$ verschillende eigenwaarden.
  • De commutatierelatie is gegeven door $[A, B] = iC$ (waarbij $\alpha=1$).
• Totale Systeem: De gezamenlijke ruimte is $H = H_0 \otimes H_0$. De totale observabele is $S = A_1 + A_2$.
• Meting en Projectie:
  • De auteur analyseert de toestand van het systeem na het meten van de totale observabele $S$ (waarde $s$) en vervolgens een observabele $A_1$.
  • Het gebruik van projectie-operatoren $\Pi_k$ om de toestand te projecteren op de eigenruimte van $S$.
  • De nieuwe toestand na meting wordt beschreven als een genormaliseerde orthogonale projectie: $|\Psi_s\rangle = \frac{\Pi_s |\Psi\rangle}{\sqrt{p(s)}}$.
• Verband met Conditionele Waarschijnlijkheid:
  • De kern van de analyse is het interpreteren van de voorspelling in de post-metingstoestand als een kwantume conditionele verwachting.
  • De waarschijnlijkheidsverdeling van $A_1$ gegeven $S=s$ wordt afgeleid uit de gezamenlijke verdeling via conditionering: $q(a_1 | s) = \frac{q(a_1, s-a_1)}{p(s)}$.

3. Belangrijkste Bijdragen en Analyse

A. De Rol van Conditionele Verwachtingen

De auteur toont aan dat de voorspelling van een observabele na een meting niet gebaseerd is op de oorspronkelijke toestand, maar op de conditionele toestand.

• Als $S$ is gemeten met waarde $s$, verandert de waarschijnlijkheidsverdeling van $A_1$ en $A_2$.
• De voorspelde waarde van $A_2$ is dan $s - \langle A_1 \rangle$, en de variantie $\Delta(A_1)$ is gelijk aan $\Delta(A_2)$.
• Er is geen paradox op dit niveau: het meten van $A_1$ geeft volledige informatie over $A_2$, maar dit verandert de toestand van het systeem.

B. De Oplossing voor het EPR-argument (De "Valstrik" van de Onzekerheidsrelatie)

Het artikel lost het EPR-argument op door te laten zien dat de onzekerheidsrelatie in discrete systemen anders werkt dan in continue systemen.

• Stelling 1.1: Voor Hermitische matrices die voldoen aan $[A, B] = iC$, geldt dat de spoor van $C$ nul is ($tr(C)=0$) en dat de verwachtingswaarde $\langle \phi_a, C \phi_a \rangle = 0$ is voor een eigenstaat $\phi_a$ van $A$.
• Gevolg: In een discrete toestand waar $A_2$ exact bekend is (variantie 0), is de verwachtingswaarde van de commutator $C$ in die specifieke toestand ook nul.
• De Onzekerheidsrelatie: De onzekerheidsrelatie luidt $\Delta(A)\Delta(B) \geq \frac{1}{2}|\langle C \rangle|$.
  • In het EPR-argument wordt aangenomen dat $\Delta(A_2)=0$ leidt tot een schending omdat $\Delta(B_2)$ eindig zou moeten zijn.
  • Echter, omdat $\langle C \rangle = 0$ in de post-metingstoestand (waar $A_2$ exact bekend is), wordt de ondergrens van de onzekerheidsrelatie 0.
  • Het is dus wiskundig toegestaan dat $\Delta(A_2) = 0$ terwijl $\Delta(B_2)$ eindig is, zolang het product $\geq 0$ blijft. Er is dus geen schending van de kwantummechanica.

C. Voorbeeld met Pauli-matrices

De auteur illustreert dit met een systeem van twee twee-niveau systemen (qubits) waarbij $A, B, C$ de Pauli-matrices zijn ($\sigma_z, \sigma_x, \sigma_y$).

• Voor de toestand met totale spin $S=0$ (een verstrengelde toestand), wordt berekend dat de variantie van $A$ en $B$ niet nul is.
• Na het meten van $A_1$ en het verkrijgen van een specifieke waarde, wordt de toestand een producttoestand (geen verstrengeling meer).
• In deze nieuwe toestand is $\Delta(A_2) = 0$, maar ook $\langle C_2 \rangle = 0$. De onzekerheidsrelatie blijft geldig omdat de ondergrens 0 is.

4. Resultaten

1. Geen Paradox: Het EPR-paradox is een schijnbaar probleem dat ontstaat door het toepassen van intuïties uit continue systemen op discrete systemen zonder rekening te houden met de eigenschappen van de commutator $C$ in eigenstaten.
2. Verandering van Toestand: Na een meting verandert de kwantumtoestand en de bijbehorende waarschijnlijkheidsverdeling fundamenteel. Voorspellingen zijn altijd conditioneel op de uitgevoerde meting.
3. Kwantum Conditionele Verwachting: De voorspelling in de post-metingstoestand komt exact overeen met de kwantume conditionele verwachting, wat de consistentie van de theorie bevestigt.
4. Vergelijking Continu vs. Discreet:
   • Continu: Als $A$ impuls en $B$ positie is, is $C$ een veelvoud van de eenheidsmatrix. Als $\Delta(A)=0$, moet $\Delta(B)$ oneindig zijn om de onzekerheidsrelatie te voldoen.
   • Discreet: $C$ heeft een spoor van nul. In een toestand waar $\Delta(A)=0$, is $\langle C \rangle = 0$, waardoor de onzekerheidsrelatie geen eis stelt aan de oneindigheid van $\Delta(B)$.

5. Significatie en Conclusie

Het artikel biedt een heldere wiskundige weerlegging van het EPR-argument voor systemen met een eindig aantal niveaus.

• Filosofische Implicatie: Het bevestigt dat "spooky action at a distance" (EPR's bezorgdheid) niet nodig is om de correlaties te verklaren. De correlaties zijn het resultaat van de initiële verstrengeling en de conditionele waarschijnlijkheid die ontstaat na meting.
• Methodologische Waarde: Het artikel benadrukt het belang van het onderscheid tussen experiment (een reeks metingen), meting (het proces) en voorspelling (de theoretische berekening op basis van de huidige kennis).
• Conclusie: De kwantummechanica is consistent. De schijnbare tegenstrijdigheid in het EPR-argument voor discrete systemen verdwijnt volledig wanneer men rekening houdt met het feit dat de verwachtingswaarde van de commutator in de post-metingstoestand verdwijnt, waardoor de onzekerheidsrelatie niet wordt geschonden.

Samenvattend toont Gzyl aan dat de EPR-paradox geen fundamenteel probleem is voor de kwantummechanica, maar eerder een gevolg van een onvolledige analyse van hoe metingen de waarschijnlijkheidsverdelingen en de commutatierelaties in discrete systemen beïnvloeden.