Estimating the best separable approximation of non-pure spin-squeezed states

Probleemstelling

Kwantverstrengeling is een cruciale resource voor kwantuminformatie en een fundamenteel hulpmiddel om complexe veeldeeltjessystemen te begrijpen. Hoewel verstrengeling in zuivere grondtoestanden (bij $T=0$) goed bestudeerd is, vormt de kwantificering van verstrengeling in gemengde toestanden (zoals thermische toestanden bij $T>0$) een aanzienlijke uitdaging.

• Computatiedichtheid: Het bepalen of een gemengde toestand verstrengeld is, is een NP-hard probleem dat snel onoplosbaar wordt naarmate het aantal deeltjes ($N$) toeneemt.
• Beperkingen van bestaande methoden: Bestaande methoden focussen vaak op pure toestanden of gebruiken benaderingen die kwantumsamenhang missen. Hoewel "entanglement witnesses" (verstrengelingsgetuigen) kunnen aantonen dat een toestand verstrengeld is, bieden ze zelden scherpe kwantitatieve ondergrenzen voor verstrengelingsmaatstaven.
• Doel: De auteurs willen een systematische methode ontwikkelen om de afstand van een gegeven gemengde kwantumtoestand tot de verzameling van volledig scheidbare toestanden te schatten. Dit wordt gekwantificeerd via de Beste Scheidbare Benadering (BSA), een verstrengelingsmonotoon dat de minimale "correctie" meet die nodig is om een toestand scheidbaar te maken.

Methodologie

De auteurs combineren twee strategieën om onder- en bovengrenzen voor de BSA te bepalen, specifiek toegepast op collectieve spin-systemen met permutatie- en rotatiesymmetrie (zoals het volledig-gekoppelde XXZ-model).

1. Ondergrenzen via Spin-Squeezing Inequalities (SSIs)

In plaats van te zoeken naar een optimale witness via zware numerieke optimalisatie, gebruiken de auteurs een complete set van Generalized Spin-Squeezing Inequalities (SSIs).

• Compleetheid: Voor grote $N$ vormen deze ongelijkheden (gebaseerd op eerste en tweede momenten van collectieve spin-operatoren) een polytoop in de momentenruimte die volledig wordt opgevuld door scheidbare toestanden. Toestanden buiten deze polytoop zijn per definitie verstrengeld.
• Optimalisatie: De auteurs leiden een gesloten, compacte vorm af voor de optimale spin-squeezing parameter ($\xi_{SS}$) die alle SSIs in één parameter samenvat.
• Koppeling aan BSA: Door deze parameter te normaliseren, kunnen ze een directe ondergrens voor de BSA afleiden zonder een numerieke optimalisatie over een grote set witnesses uit te voeren. De formule luidt:
  $$E_{BSA}(\varrho) \geq -\frac{1}{N_K} \xi_{SS}(\varrho)$$
  waarbij $N_K$ een schalingsfactor is die afhangt van het aantal positieve eigenwaarden van een specifieke matrix $X_\varrho$.

2. Bovengrenzen via een Symmetrie-gebaseerd Iteratief Algoritme

Om een bovengrens te vinden, moet men de dichtstbijzijnde scheidbare toestand vinden. Dit is een convex optimalisatieprobleem.

• Iteratieve Ansatz: Ze gebruiken een iteratief algoritme (gebaseerd op het werk van [102]) dat begint met een scheidbare toestand en deze stap voor stap verbetert door nieuwe producttoestanden toe te voegen die de overlap met de doelttoestand maximaliseren.
• Symmetrie-exploitatie: Een cruciale innovatie is het gebruik van de symmetrieën van het systeem (permutatie-invariantie en rotatie-invariantie rond de z-as). In plaats van te zoeken in de volledige Hilbertruimte, wordt het zoekproces beperkt tot de symmetrische deelruimte.
  • Na elke iteratie wordt de gevonden producttoestand "getwird" (gesymmetriseerd) via een symmetriserende kaart ($P_{PI,z}$).
  • Dit reduceert de effectieve dimensie van het probleem drastisch, waardoor het mogelijk wordt om scheidbare decomposities te vinden voor systemen met $N \approx 10$ qubits, wat veel hoger is dan de huidige limiet van 3-4 qubits voor generieke toestanden.

3. Toepassing op het XXZ-model

De methoden worden toegepast op thermische toestanden van het volledig-gekoppelde XXZ-model (ferromagnetisch en antiferromagnetisch). De auteurs analyseren zowel numerieke resultaten voor eindige $N$ als analytische asymptotische schalingen voor $N \to \infty$.

Belangrijkste Bijdragen

1. Gesloten Ondergrens: Afleiding van een eenvoudige, gesloten-formule ondergrens voor de BSA gebaseerd op de complete set van SSIs. Dit omzeilt de noodzaak van zware numerieke optimalisatie over witnesses.
2. Verbeterde Algoritmes: Ontwikkeling van een iteratief algoritme dat symmetrieën gebruikt om de dichtstbijzijnde scheidbare toestand te vinden, waardoor de schaalbaarheid voor grotere $N$ aanzienlijk verbetert.
3. Kwantificering in Thermische Toestanden: De eerste systematische kwantitatieve studie van verstrengeling in thermische toestanden van spin-systemen die niet beperkt zijn tot de grondtoestand.
4. Analytische Schaling: Afleiding van analytische uitdrukkingen voor de ondergrens van de BSA in de thermodynamische limiet ($N \to \infty$) voor specifieke modellen (zoals het XXX-model).

Resultaten

• Scherpte van de Ondergrens: De ondergrens gebaseerd op SSIs is vaak zeer scherp (tight), vooral bij $T=0$ en bij de temperatuur waarbij verstrengeling verdwijnt. Dit bevestigt dat SSIs een betrouwbare maatstaf zijn voor verstrengeling in deze systemen.
• Verstrengeling in Geordende Fasen: Een opvallende bevinding is dat verstrengeling kan optreden bij niet-nul temperatuur, zelfs in fasen waar de grondtoestand scheidbaar is (bijvoorbeeld in de ferromagnetische fase). Dit suggereert dat verstrengeling een rol speelt in de excitaties en thermische fluctuaties, zelfs als de grondtoestand klassiek lijkt.
• Fase-overgangen: De methode kan kwantitatieve informatie geven over verstrengeling rond kwantumfase-overgangen (QPTs). De ondergrens toont aan dat verstrengeling afneemt naarmate de temperatuur stijgt, maar blijft significant in de buurt van kritieke punten.
• Nauwkeurigheid: Voor kleine systemen (bijv. $N=3$) vallen de onder- en bovengrenzen samen, wat aangeeft dat de exacte BSA wordt gevonden. Voor grotere $N$ blijven de grenzen gescheiden, maar geeft de ondergrens toch een robuuste indicatie van de aanwezigheid en sterkte van verstrengeling.
• Thermische Verstrengeling: In de antiferromagnetische fase wordt verstrengeling waargenomen in thermische mengsels van singlettoestanden en gepolariseerde toestanden.

Significantie en Toekomstperspectief

• Brug tussen Theorie en Experiment: Omdat SSIs alleen afhankelijk zijn van collectieve spin-momenten (die experimenteel meetbaar zijn via susceptibiliteiten en response-functies), biedt deze methode een directe weg om verstrengeling in experimentele systemen (zoals koude atoomgassen) te karakteriseren zonder volledige toestandsreconstructie (tomografie).
• Beyond Ground State Paradigm: Het werk verlegt de focus van de traditionele analyse van grondtoestanden naar gemengde, thermische toestanden. Dit is essentieel voor het begrijpen van realistische kwantumsystemen die nooit perfect geïsoleerd zijn.
• Niet-evenwichtssituaties: De auteurs wijzen erop dat hun methoden ook toepasbaar zijn op niet-evenwichtssituaties (zoals dynamische quenches), wat een nieuwe route opent voor het classificeren van fasen in dynamische systemen.
• Symmetrie-exploitatie: De demonstratie dat het uitbuiten van symmetrieën de complexiteit van het vinden van scheidbare decomposities drastisch verlaagt, is een waardevolle inzicht voor de bredere kwantum-informatiewetenschap.

Kortom, dit artikel biedt een robuust, schaalbaar en experimenteel haalbaar raamwerk voor het kwantificeren van verstrengeling in complexe, gemengde veeldeeltjessystemen, en onthult nieuwe inzichten in het gedrag van verstrengeling bij eindige temperaturen.