Using an SU(3)/U(2) Wigner Function to Represent Noisy Spin Ensembles

Titel: Het gebruik van een SU(3)/U(2) Wigner-functie voor het representeren van ruisgevoelige spin-ensembles

1. Het Probleem

De standaard SU(2) Wigner-functie is een krachtig hulpmiddel om kwantumtoestanden van een spin-$J$ te visualiseren als een reëelwaardige functie op het oppervlak van een 2-sfeer. Deze representatie is echter beperkt tot systemen die binnen een enkele SU(2) irreducibele representatie (irrep) blijven, zoals het symmetrische deelruimte van $N$ spin-1/2 deeltjes (waarbij $J = N/2$).

Het fundamentele probleem is dat fysisch relevante ruisbronnen (zoals spontane emissie, depolarisatie en incoherente optische pomping) lokaal zijn. Deze lokale ruis breekt de symmetrie van het totale impulsmoment ($J$) en verplaatst de toestand buiten de initiële irrep naar een ruimte die een exponentiële dimensie heeft (de tensorproductruimte van alle deeltjes).

• De gebruikelijke spin-Wigner-functie faalt hier omdat hij de toestand niet meer kan beschrijven zodra lokale ruis optreedt.
• Een naïeve constructie, waarbij men de Wigner-functie voor elk deeltje apart neemt, leidt tot een parameter-ruimte van $2N$ dimensies, wat onbeheersbaar is voor grote $N$ en geen intuïtieve visualisatie biedt.

2. Methodologie

De auteur lost dit probleem op door de toestand van het ruisgevoelige spin-ensemble te coderen in een SU(3) irreducibele representatie, in plaats van vast te zitten aan SU(2). De kern van de methode bestaat uit de volgende stappen:

• Collectieve State Basis: Het systeem wordt beschreven in de collectieve state basis, die permutatiesymmetrie respecteert. Hoewel lokale ruis de toestand uit de symmetrische deelruimte ($J=N/2$) haalt, blijft de dynamica beperkt tot toestanden die permutatiesymmetrisch zijn. Deze ruimte kan worden beschreven als een directe som van SU(2) irreps met verschillende $J$-waarden.
• Isomorfisme met SU(3): Er wordt een isomorfisme vastgesteld tussen de "gevectoriseerde" collectieve state ruimte (een directe som van SU(2) irreps) en een specifieke SU(3) irrep van het type $(N, 0)$.
  • De SU(3) groep bevat drie SU(2) subgroepen. Door de SU(2) algebra van het collectieve systeem te koppelen aan één van deze subgroepen (namelijk de $\{23\}$-subgroep), kan de volledige ruimte van het ruisgevoelige systeem worden ingebed in de SU(3) irrep.
• Moyal-kwantisatie en SU(3)/U(2): Er wordt een Wigner-functie geconstrueerd voor de SU(3) groep. In tegenstelling tot de volledige SU(3) manifold die 8 parameters vereist, worden fysische beperkingen (geen koppeling tussen irreps met verschillende $J$) gebruikt om de parameter-ruimte te reduceren.
• De Kernel: De kern van de Wigner-functie wordt geconstrueerd met behulp van Stratonovich-Weyl (SW) condities en SU(3) sferische tensoroperatoren. Door de specifieke keuze van de fiduciële toestand (de hoogste gewichtstoestand) en het negeren van onfysische koppelingsoperatoren, reduceert de manifold tot een SU(3)/U(2) ruimte.

3. Belangrijkste Bijdragen en Resultaten

• De "Solid Spin Wigner Function":
  De belangrijkste innovatie is de afleiding van een Wigner-functie die slechts drie reële parameters vereist in plaats van de gebruikelijke twee hoeken voor een sfeer. Deze drie parameters worden geïnterpreteerd als:

  1. Een polair hoek ($\theta$).
  2. Een azimutale hoek ($\phi$).
  3. Een radiale component ($r$).

  Hierdoor kan de Wigner-functie worden gevisualiseerd op een vaste bol (een "solid ball") in plaats van op een holle sfeer. De radiale component $r$ (afgeleid van een hoek $\beta$) geeft informatie over de verdeling van de populatie over de verschillende SU(2) irreps (d.w.z. hoe ver het systeem is gedecohereerd van de maximale spin $J=N/2$).

• Vereenvoudiging van de Kernel:
  De auteur leidt een expliciete uitdrukking af voor de kernel $\hat{\omega}(\theta, \phi, r)$. Deze kernel kan worden geschreven als een som van SU(2) sferische harmonischen en Legendre-polynomen, waarbij de radiale functie $R_{J,k}(r)$ de rol van de derde dimensie speelt. Dit maakt de berekening en visualisatie van ruisgevoelige toestanden veel efficiënter dan eerdere methoden.

• Visualisatie van Ruis:
  De paper presenteert visualisaties van toestanden zoals GHZ-toestanden en Dicke-toestanden onder invloed van atoomverlies.

  • De visualisaties tonen duidelijk hoe ruis de "negativiteit" van de Wigner-functie (een maat voor kwantumeigenschappen) doet afnemen.
  • Men ziet hoe de "lobben" van de Wigner-functie van de polen (zuivere toestanden) naar het centrum van de bol (gemengde toestanden) drijven naarmate de ruis toeneemt.

• Discussie over Negativiteit:
  Er wordt een nuance aangebracht in de interpretatie van negativiteit. Omdat de SU(3) Wigner-functie extra groepswerkingen (die niet fysiek bestaan in het oorspronkelijke lokaal ruisende systeem) veronderstelt, kan de negativiteit in de radiale richting worden veroorzaakt door de wiskundige constructie zelf en niet noodzakelijk door "toegankelijke" kwantumcoherentie. Desondanks verdwijnt de negativiteit voor coherente toestanden naarmate $N$ groeit, wat consistent is met klassiek gedrag.

4. Significatie

• Efficiëntie: Deze methode biedt een manier om grote spin-ensembles onder invloed van lokale ruis te beschrijven met een lineaire schaling in parameters (3 parameters) in plaats van exponentiële schaling.
• Intuïtieve Visualisatie: Het concept van de "solid spin Wigner function" biedt een krachtig visueel hulpmiddel om te begrijpen hoe kwantumtoestanden vervuilen en hoe populatie zich verplaatst tussen verschillende impulsmoment-irreps.
• Toekomstig Onderzoek: De paper suggereert dat andere Lie-algebra's (zoals $so(5)$) mogelijk nog beter geschikt zijn voor specifieke ruiskanalen die impulsmoment met gehele stappen veranderen, in plaats van de half-gehele stappen die in de SU(3) constructie worden gebruikt voor atoomverlies.

Conclusie:
Andrew Kolmer Forbes presenteert een elegante uitbreiding van de Wigner-functie theorie. Door het gebruik van SU(3) symmetrie en een isomorfisme met de collectieve state basis, creëert hij een "solid spin Wigner function". Dit instrument overbrugt de kloof tussen de eenvoudige visualisatie van zuivere spin-toestanden en de complexe realiteit van ruisgevoelige, lokaal gedomineerde kwantumsystemen, waardoor het mogelijk wordt om kwantumdecoherentie in grote ensembles intuïtief te analyseren.