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

Nel mondo quantistico, le particelle possono diventare così profondamente legate che lo stato di una influenza istantaneamente lo stato dell'altra, indipendentemente dalla distanza che le separa. Questo fenomeno, noto come entanglement, un tempo era un enigma filosofico, ma ora è il motore dietro tecnologie emergenti come la comunicazione ultra-sicura e i nuovi potenti computer. Tuttavia, non tutti gli stati entangled sono creati uguali. Alcuni sono "vincolati" (bound), il che significa che sono entangled ma così fragili da non permettere l'estrazione di lavoro utile, e possiedono una specifica proprietà matematica chiamata trasposta parziale positiva. Per decenni, i fisici hanno creduto che questi stati vincolati fossero troppo docili per mostrare mai le forme più drammatiche della stranezza quantistica, come l'indirizzamento (steering) dello stato di una particella misurando un'altra, o la violazione delle rigide regole della realtà locale note come non località di Bell. Questa credenza, chiamata congettura di Peres, è rimasta in piedi per anni finché i ricercatori non hanno iniziato a trovare rari e controintuitivi esempi che infrangevano la regola.

La domanda che rimaneva era se questi stati che infrangevano la regola fossero anomalie isolate o se condividessero tutti un comune schema architettonico. Un principale candidato per tale schema era una struttura chiamata base di prodotti inestendibile (unextendible product basis), una specifica disposizione di stati quantistici che crea un "buco" nel sistema dove nessun semplice stato non entangled può entrare. I ricercatori si sono chiesti se tutti i noti controesempi alla congettura di Peres potessero essere ricondotti a questo singolo origine strutturale, forse solo visto attraverso una lente diversa. Un nuovo studio di Gurvir Singh e Manik Banik indaga questa possibilità osservando le versioni più semplici e a basso rango di questi stati. Hanno scoperto che la risposta dipende interamente dalle dimensioni del sistema. In un sistema composto da due particelle a tre livelli, la risposta è sì: gli stati strani e non locali derivano effettivamente da questo comune schema. Ma in un sistema di tre particelle a due livelli, la risposta è un no definitivo. I ricercatori hanno dimostrato che i celebri controesempi nel sistema a tre particelle sono strutturalmente distinti e non possono essere derivati dallo stesso schema, rivelando che il percorso verso la stranezza quantistica è più diversificato di quanto precedentemente pensato.

Per comprendere il viaggio dei ricercatori, occorre prima afferrare il paesaggio che stanno mappando. Gli stati quantistici possono essere pensati come aventi un certo "rango", che corrisponde approssimativamente alla complessità o al numero di modi indipendenti in cui il sistema può essere disposto. Lo studio si è concentrato sui ranghi più bassi possibili, dove i vincoli matematici sono più stretti, rendendo più facile vedere la geometria sottostante. Il team ha esaminato due scenari specifici. Il primo coinvolgeva due particelle, ciascuna capace di esistere in tre stati distinti, noti come due qutrit. Il secondo coinvolgeva tre particelle, ciascuna capace di due stati, noti come tre qubit. In entrambi i casi, hanno cercato stati che fossero entangled ma rimanessero "vincolati" (trasposta parziale positiva) e potessero comunque compiere le imprese impossibili dello steering o della violazione delle disuguaglianze di Bell.

Nello scenario dei due qutrit, i ricercatori hanno trovato una bellissima unificazione. Hanno dimostrato che ogni esempio noto di uno stato entangled di rango quattro che viola la congettura di Peres in questo contesto può essere trasformato, attraverso un tipo specifico di operazione matematica chiamata filtraggio locale invertibile, in uno stato che è il complemento diretto di una base di prodotti inestendibile. Ciò significa che il comportamento strano e non locale osservato in questi stati non è un incidente casuale, ma è radicato nella rigida struttura geometrica della base di prodotti inestendibile. Che lo stato sia usato per dimostrare lo steering o la non località di Bell, appartiene alla stessa famiglia di forme, solo vista da un angolo leggermente diverso. Questo suggerisce che, per questo specifico tipo di sistema, la base di prodotti inestendibile è la fonte fondamentale di queste anomalie quantistiche.

La storia cambia completamente quando i ricercatori hanno spostato la loro attenzione sul sistema a tre qubit. Qui, hanno incontrato un blocco fondamentale. Hanno prima stabilito che qualsiasi stato di rango quattro in questo sistema che sia entangled ma con trasposta parziale positiva attraverso tutti i possibili tagli, deve essere separabile, ovvero non è realmente entangled nel modo richiesto per infrangere la congettura di Peres. Ciò ha costretto la ricerca verso ranghi superiori. Quando hanno esaminato il noto controesempio di rango quattro che viola una disuguaglianza di Bell, hanno analizzato la struttura geometrica del suo "kernel", lo spazio matematico che contiene tutti gli stati che il sistema non può occupare. Hanno scoperto che questo kernel non contiene affatto stati di prodotto completamente separabili. Al contrario, hanno dimostrato che qualsiasi stato derivato da una base di prodotti inestendibile in questo sistema deve avere esattamente quattro stati di prodotto specifici nel suo kernel. Poiché questo numero è una proprietà fissa che non può essere cambiata dalle operazioni di filtraggio locale, i ricercatori hanno dimostrato che il celebre controesempio a tre qubit non può possibilmente provenire da una base di prodotti inestendibile. È un'entità strutturalmente unica, non correlata allo schema che funziona così bene per il caso dei due qutrit.

L'indagine non si è fermata al rango quattro. Il team ha anche esplorato stati di rango superiore per vedere se la base di prodotti inestendibile potesse mai generare uno stato entangled multipartito veramente complesso nel sistema a tre qutrit. Hanno analizzato uno specifico stato di rango otto costruito dal complemento di una base di prodotti inestendibile. Esaminando attentamente i vettori che compongono il supporto dello stato, hanno dimostrato che lo stato è realmente multipartite entangled, il che significa che l'entanglement coinvolge tutte e tre le particelle in un modo che non può essere scomposto in coppie più semplici. Questo ha confermato che, mentre il sistema a tre qubit resiste a questa unificazione, il sistema a tre qutrit permette una ricca varietà di strutture entangled costruite sulla base di prodotti inestendibile, incluse quelle che sono completamente a trasposta parziale positiva e realmente multipartite entangled.

Le implicazioni di queste scoperte sono significative per la nostra comprensione dell'architettura della meccanica quantistica. Lo studio mostra che la relazione tra l'origine strutturale di uno stato e la sua capacità di esibire un comportamento non classico non è universale. Nel mondo dei due qutrit, la base di prodotti inestendibile fornisce una spiegazione unificante del perché certi stati vincolati possano essere così stranamente potenti. Nel mondo dei tre qubit, tuttavia, le regole sono diverse; i celebri controesempi derivano da un'origine strutturale completamente diversa. Ciò suggerisce che il percorso verso la non località quantistica non è una singola strada, ma una rete di percorsi distinti, ciascuno dipendente dalle dimensioni specifiche del sistema. I ricercatori hanno mappato questi percorsi con precisione, mostrando che mentre alcune anomalie quantistiche condividono un antenato comune, altre sono creazioni uniche della propria geometria matematica. Questa chiarezza aiuta i fisici a sapere dove cercare nuovi stati e quali caratteristiche strutturali aspettarsi quando li trovano, spostando il campo dalla ricerca di esempi isolati a una comprensione più profonda del paesaggio sottostante dell'entanglement quantistico.