Quantifying mixed-state entanglement via partial transpose and realignment moments

Technische Samenvatting: Kwantificering van Mixed-State Verstrengeling via Partial Transpose en Realignment Momenten

Probleemstelling
Het kwantificeren van verstrengeling in gemengde kwantum-veel-deeltjessystemen blijft een berucht moeilijk probleem, met name in de context van Noisy Intermediate-Scale Quantum (NISQ) apparaten, waar experimentele ruis de toestanden gemengd maakt. Terwijl pure-state verstrengeling goed wordt gekarakteriseerd door maten zoals de verstrengelings-(Rényi) entropie, stuit het uitbreiden hiervan naar mixed states op aanzienlijke hindernissen. De standaardmetriek, de Partial Transpose (PT) negativiteit (of logaritmische negativiteit), vereist volledige diagonalisatie van de partiële transpose, wat exponentieel kostbaar is. Bovendien vereist de experimentele meting van PT-negativiteit doorgaans volledige toestandstoetomografie. Eerdere inspanningen richtten zich op binaire verstrengelingsdetectie met behulp van lage-orde momenten of positieve kaarten, maar deze missen het kwantitatieve vermogen om de graad van verstrengeling of de verstrengelingsdimensionaliteit in grote, ruisgevoelige systemen te karakteriseren.

Methodologie
De auteurs introduceren families van kwantitatieve verstrengelingsgetuigen (witnesses) die zijn geconstrueerd uit de momenten van de partiële transpose en de realignment-matrix. Deze worden gedefinieerd als:

1. $p_\alpha$-negativiteit ($E_\alpha$): Afgeleid van de PT-momenten $p_\alpha = \text{tr}((\rho^\Gamma)^\alpha)$. Specifiek, $E_\alpha(\rho) = \frac{1}{2-\alpha}[\ln(\tilde{p}_\alpha) + (\alpha-1)S_2(\rho)]$, waarbij $\tilde{p}_\alpha = \text{tr}(|\rho^\Gamma|^\alpha)$ en $S_2$ de 2-Rényi entropie is.
2. $r_\alpha$-negativiteit ($C_\alpha$): Afgeleid van de realignment-momenten $r_\alpha = \text{tr}((R_\rho^\dagger R_\rho)^{\alpha/2})$, waarbij $R_\rho$ de realignment-matrix is.

De auteurs richten zich op het geval $\alpha=4$ ($E_4$ en $C_4$), en demonstreren dat deze grootheden efficiënt gemeten kunnen worden op kwantumhardware met behulp van SWAP-tests of Bell-metingen op een constant aantal kopieën (2 of 4 kopieën), zonder volledige toestandstoetomografie. Het raamwerk wordt uitgebreid naar symmetry-resolved (SR) getuigen, waarbij de dichtheidsmatrix wordt gedecomposed in ladingsectoren (bijv. onder globale $U(1)$ of $\mathbb{Z}_2$ symmetrieën), wat de grenzen aanscherpt en de detectiecapaciteiten verbetert.

De paper ontwikkelt ook efficiënte klassieke algoritmen om deze momenten te berekenen voor Matrix Product States (MPS) en Matrix Product Operators (MPO), waarbij de computationele kosten polynomiaal schalen met de systeemgrootte en de bond-dimensie.

Belangrijkste Bijdragen en Resultaten

1. Kwantitatieve Getuigen en Grenzen:

   • De $p_\alpha$-negativiteit en $r_\alpha$-negativiteit dienen als kwantitatieve getuigen. Voor $\alpha \ge 1$ bieden zij strikte ondergrenzen op de PT-negativiteit ($E$) en de CCNR-negativiteit ($C$), respectievelijk.
   • Cruciaal is dat zij ondergrenzen bieden op de robuustheid van verstrengeling en het Schmidt-getal (verstrengelingsdimensionaliteit).
   • Voor pure toestanden vallen deze getuigen samen met de standaard verstrengelings-Rényi entropieën, waardoor ze effectief worden gegeneraliseerd naar mixed states.

2. Efficiënte Verstrengelings-testen:

   • De auteurs presenteren een efficiënt algoritme om te onderscheiden of een mixed state een lage verstrengeling ($O(\log n)$) of een hoge verstrengeling ($\omega(\log n)$) heeft, mits de staat een begrensde 2-Rényi entropie heeft ($S_2 = O(\log n)$). Dit generaliseert eerdere resultaten die alleen bekend waren voor pure toestanden.
   • Er worden efficiënte algoritmen geleverd om de Schmidt-rang (met 2-kopie metingen) en de operator Schmidt-rang (met 4-kopie metingen) te testen.

3. Certificering van Circuitdiepte:

   • De getuigen maken de robuuste certificering mogelijk van de minimale circuitdiepte die nodig is om een toestand voor te bereiden, zelfs in aanwezigheid van ruis, uitgaande van het scenario dat de eindtoestand zwak gemengd is ($S_2 = O(\log n)$). Dit breidt eerdere ruisloze certificeringsprotocollen uit.

4. Pseudoentanglement en Cryptografie:

   • De paper stelt strikte limieten vast aan pseudoentanglement (het vermogen van toestanden met lage verstrengeling om toestanden met hoge verstrengeling na te bootsen).
   • Er wordt aangetoond dat voor mixed states met lage entropie ($S_2 = O(\log n)$), de pseudoentanglement-kloof fundamenteel beperkt is tot $f(n) = \Theta(n)$ versus $g(n) = \omega(\log n)$.
   • De resultaten impliceren dat entropie een noodzakelijke bron is om verstrengelingsinformatie veilig te verbergen; om de maximale kloof ($g(n)=0$) te bereiken, moet de toestand sterk gemengd zijn ($S_2 = \omega(\log n)$).

5. Verstrengelings-fasediagrammen:

   • De auteurs demonstreren dat het verstrengelings-fasediagram van Haar-random toestanden (bestaande uit PPT, Maximally Entangled, en Entanglement Saturation fasen) volledig kan worden vastgesteld door enkel de $p_4$-negativiteit te berekenen, waarmee de noodzaak voor analytische continuatie van alle PT-momenten wordt omzeild.
   • Dit resultaat is van toepassing op elke toestand die een 4-design is. Verrassend genoeg laten stabilizer-toestanden (die geen 4-design vormen) zien dat zij exact hetzelfde verstrengelings-fasediagram delen als Haar-random toestanden.
   • De $p_4$-negativiteit vangt effectief volume-law verstrengeling op in Haar-random toestanden, zelfs onder exponentieel sterke globale depolariserende ruis.

6. Many-Body Toepassingen:

   • Numerieke resultaten op het Transverse Field Ising Model (TFIM) en het XXZ-model laten zien dat de getuigen, met name de symmetry-resolved versies, effectief verstrengeling detecteren in grondtoestanden onderhevig aan ruis en eindige temperatuur.
   • De SR-getuigen blijken robuuster dan niet-SR getuigen, omdat zij verstrengeling detecteren in regimes waar standaard getuigen falen (bijv. bij gedisconnecteerde partities of nabij kritieke punten).

Betekenis
De paper claimt nieuwe wegen te openen voor het kwantificeren van verstrengeling in grote en ruisgevoelige kwantumsystemen. Door de introductie van $p_\alpha$ en $r_\alpha$ negativiteiten bieden de auteurs een praktisch, experimenteel toegankelijk alternatief voor de PT-negativiteit dat evenveel kwantitatieve kracht behoudt. Het werk overbrugt de kloof tussen pure-state verstrengelingstheorie (via Rényi entropieën) en mixed-state fysica, en biedt instrumenten om verstrengelingsdimensionaliteit te karakteriseren, circuitdiepte te certificeren en de complexiteit van pseudoentanglement te begrijpen. Het vermogen om deze getuigen efficiënt te berekenen via MPS/MPO-algoritmen en te meten via SWAP-tests maakt ze direct implementeerbaar op huidige en nabijejaars kwantumhardware, waarmee wordt voldaan aan de kritieke behoefte aan benchmarking van NISQ-apparaten.