On the structure of low-rank PPT entangled states violating Peres conjecture

In de kwantumwereld kunnen deeltjes zo diep met elkaar verbonden raken dat de toestand van het een de toestand van het ander onmiddellijk beïnvloedt, ongeacht hoe ver ze van elkaar verwijderd zijn. Dit fenomeen, bekend als verstrengeling, was ooit een filosofisch raadsel maar is nu de motor achter opkomende technologieën zoals ultra-veilige communicatie en krachtige nieuwe computers. Niet alle verstrengelde toestanden zijn echter gelijk aan elkaar. Sommige zijn "gebonden" (bound), wat betekent dat ze wel verstrengeld zijn maar zo fragiel dat je er geen nuttig werk uit kunt extraheren, en ze bezitten een specifieke wiskundige eigenschap genaamd een positieve partiële transponering. Decennialang geloofden natuurkundigen dat deze gebonden toestanden te tam waren om ooit de meest dramatische vormen van kwantumvreemdheid te vertonen, zoals het sturen (steering) van de toestand van één deeltje door een ander deeltje te meten, of het schenden van de strikte regels van lokale realiteit, bekend als Bell-niet-lokaliteit. Dit geloof, de Peres-conjectuur genoemd, hield jarenlang stand totdat onderzoekers zeldzame, contra-intuïtieve voorbeelden vonden die de regel braken.

De vraag die overbleef, was of deze regelbrekende toestanden geïsoleerde vreemde eendjes waren of dat ze allemaal een gemeenschappelijk architecturaal blauwdruk deelden. Een belangrijke kandidaat voor een dergelijke blauwdruk was een structuur genaamd een unextendible product basis (onuitbreidbare productbasis), een specifieke rangschikking van kwantumtoestanden die een "gat" in het systeem creëert waar geen enkele eenvoudige, onverstrengelde toestand in past. Onderzoekers vroegen zich af of alle bekende tegenvoorbeelden van de Peres-conjectuur herleid konden worden tot deze enkele structurele oorsprong, misschien slechts bekeken door een andere lens. Een nieuwe studie door Gurvir Singh en Manik Banik onderzoekt deze mogelijkheid door te kijken naar de eenvoudigste, laagste-rang versies van deze toestanden. Zij ontdekten dat het antwoord volledig afhangt van de grootte van het systeem. In een systeem bestaande uit twee drie-niveau deeltjes (qutrits), is het antwoord ja: de vreemde, niet-lokale toestanden stammen inderdaad af van dit gemeenschappelijke blauwdruk. Maar in een systeem van drie twee-niveau deeltjes (qubits), is het antwoord een definitief nee. De onderzoekers bewezen dat de bekende tegenvoorbeelden in het drie-deeltjes systeem structureel verschillend zijn en niet afgeleid kunnen worden van hetzelfde blauwdruk, wat onthult dat de weg naar kwantumvreemdheid diverser is dan voorheen gedacht.

Om de reis van de onderzoekers te begrijpen, moet men eerst het landschap begrijpen dat zij in kaart brengen. Kwantumtoestanden kunnen worden beschouwd als het hebben van een bepaalde "rang", wat ruwweg overeenkomt met de complexiteit of het aantal onafhankelijke manieren waarop het systeem kan worden gerangschikt. De studie richtte zich op de laagst mogelijke rangen, waar de wiskundige beperkingen het strengst zijn, wat het makkelijker maakt om de onderliggende geometrie te zien. Het team onderzocht twee specifieke scenario's. Het eerste scenario betrof twee deeltjes, elk in staat om in drie verschillende toestanden te bestaan, bekend als twee qutrits. Het tweede scenario betrof drie deeltjes, elk in staat tot twee toestanden, bekend als drie qubits. In beide gevallen zochten ze naar toestanden die verstrengeld waren maar toch "gebonden" bleven (positieve partiële transponering) en nog steeds de onmogelijke prestaties van steering of het schenden van Bell-ongelijkheid konden uitvoeren.

In het scenario met de twee qutrits vonden de onderzoekers een prachtige unificatie. Ze demonstreerden dat elke bekende instantie van een rang-vier verstrengelde toestand die de Peres-conjectuur schendt in deze setting, getransformeerd kan worden, via een specif kind van een wiskundige operatie genaamd inverse lokale filtering, naar een toestand die het directe complement is van een unextendible product basis. Dit betekent dat het vreemde, niet-lokale gedrag dat in deze toestanden wordt waargenomen, geen willekeurig ongeluk is, maar geworteld is in de rigide, geometrische structuur van de unextendible product basis. Of de toestand nu wordt gebruikt om steering of Bell-niet-lokaliteit aan te tonen, het behoort tot dezelfde familie van vormen, slechts vanuit een iets andere hoek bekeken. Dit suggereert dat voor dit specifieke type systeem, de unextendible product basis de fundamentele bron is van deze kwantum-anomalieën.

Het verhaal verandert volledig wanneer de onderzoekers hun aandacht richtten op het drie-qubit systeem. Hier stuitten ze op een fundamentele blokkade. Ze stelden eerst vast dat elke rang-vier toestand in dit systeem die verstrengeld is maar positieve partiële transponering heeft over alle mogelijke sneden, separabel is, wat betekent dat het niet echt verstrengeld is op de manier die vereist is om de Peres-conjectuur te breken. Dit dwong hen de zoektocht naar tegenvoorbeelden naar hogere rangen te verplaatsen. Toen ze naar het bekende rang-vier tegenvoorbeeld keken dat een Bell-ongelijkheid schendt, analyseerden ze de geometrische structuur van de "kernel", de wiskundige ruimte die alle toestanden bevat die het systeem niet kan innemen. Ze ontdekten dat deze kernel helemaal geen volledig separabele producttoestanden bevat. In scherp contrast hiermee toonden ze aan dat elke toestand afgeleid van een unextendible product basis in dit systeem exact vier specifieke producttoestanden in zijn kernel moet hebben. Omdat dit aantal een vaste eigenschap is die niet kan worden gewijzigd door lokale filtering-operaties, bewezen de onderzoekers dat het beroemde drie-qubit tegenvoorbeeld onmogelijk afkomstig kan zijn van een unextendible product basis. Het is een structureel uniek entiteit, ongerelateerd aan het blauwdruk dat zo goed werkt voor het twee-qutrit geval.

De investigatie stopte niet bij rang vier. Het team verkende ook toestanden met een hogere rang om te zien of de unextendible product basis ooit een werkelijk complexe, multipartite verstrengelde toestand zou kunnen genereren in het drie-qutrit systeem. Ze analyseerden een specifieke rang-acht toestand die geconstrueerd is uit het complement van een unextendible product basis. Door zorgvuldig de vectoren te bestudelen die de ondersteuning (support) van de toestand vormen, bewezen ze dat de toestand werkelijk multipartite verstrengeld is, wat betekent dat de verstrengeling alle drie de deeltjes betreft op een manier die niet kan worden afgebroken tot simpelere paren. Dit bevestigde dat terwijl het drie-qubit systeem deze unificatie weerstaat, het drie-qutrit systeem een rijke variëteit aan verstrengelde structuren toestaat die gebouwd zijn op de unextendible product basis, inclusief die die volledig positieve partiële transponering en werkelijk multipartite verstrengeld zijn.

De implicaties van deze bevindingen zijn significant voor hoe we de architectuur van de kwantummechanica begrijpen. De studie laat zien dat de relatie tussen de structurele oorsprong van een toestand en het vermogen om niet-klassiek gedrag te vertonen niet universeel is. In de wereld van twee qutrits biedt de unextendible product basis een verenigende verklaring voor waarom bepaalde gebonden toestanden zo vreemd krachtig kunnen zijn. In de wereld van drie qubits zijn de regels echter anders; de beroemde tegenvoorbeelden ontstaan uit een geheel andere structurele oorsprong. Dit suggerekt dat de weg naar kwantum-niet-lokaliteit niet één enkele weg is, maar een netwerk van verschillende paden, elk afhankelijk van de specifieke dimensies van het systeem. De onderzoekers hebben deze paden met precisie in kaart gebracht, waarbij ze lieten zien dat terwijl sommige kwantum-anomalieën een gemeenschappelijke voorouder delen, anderen unieke creaties zijn van hun eigen wiskundige geometrie. Deze helderheid helpt natuurkundigen om te weten waar ze naar nieuwe toestanden moeten zoeken en welke structurele kenmerken ze kunnen verwachten wanneer ze die vinden, waardoor het veld beweegt van een zoektocht naar geïsoleerde voorbeelden naar een dieper begrip van het onderliggende landschap van kwantumverstrengeling.