The Signal
I ricercatori estendono i test di Bell per certificare gli operatori di Majorana
Patryk Michalski e i coautori propongono disuguaglianze di Bell che, a determinate condizioni matematiche, possono certificare gli operatori di Majorana in modo indipendente dai dispositivi. Il metodo teorico individua anche un’ambiguità le
Quantum.world Team · Scritto con l’IA · verificato ·
Una disuguaglianza di Bell costruita per misure anticommutanti
Un nuovo quadro teorico usa le correlazioni dei test di Bell per certificare gli operatori di Majorana senza basarsi su una descrizione dettagliata dei dispositivi di misura. In un articolo pubblicato su npj Quantum Information, Patryk Michalski, Arturo Konderak, Wojciech Bruzda e Remigiusz Augusiak costruiscono una famiglia di disuguaglianze di Bell i cui limiti quantistici possono essere calcolati analiticamente.
Le disuguaglianze sono costruite a partire da matrici con righe ortogonali a coppie e colonne normalizzate, che gli autori chiamano matrici ROCN, dall’inglese «row-orthogonal, column-normalized». La costruzione estende le disuguaglianze di Clauser–Horne–Shimony–Holt (CHSH) e le disuguaglianze eleganti di Gisin a insiemi di misure binarie che possono contenere molte osservabili anticommutanti a coppie. Nella descrizione quantistica, queste osservabili forniscono una rappresentazione matematica degli operatori di Majorana.
«Sotto opportune ipotesi, le nostre disuguaglianze consentono anche la certificazione indipendente dai dispositivi dei fermioni di Majorana, intesi come realizzazioni su più qubit dei generatori dell’algebra di Clifford.»
Patryk Michalski, Arturo Konderak, Wojciech Bruzda e Remigiusz Augusiak, autori dell’articolo
Che cosa può certificare il test
La certificazione indipendente dai dispositivi deduce le proprietà di uno stato quantistico e delle misure effettuate su di esso dalle correlazioni osservate, anziché affidarsi a un modello dettagliato dei dispositivi. In questo caso, il test proposto coinvolge due osservatori separati, che scelgono tra misure binarie e confrontano i risultati mediante una disuguaglianza di Bell. Una violazione sufficientemente forte può vincolare gli operatori di misura sottostanti a rispettare le relazioni di anticommutazione associate all’algebra di Clifford.
Il risultato dipende da una condizione matematica: perché la violazione massima permetta il self-testing della strategia bersaglio, una matrice formata dai coefficienti della disuguaglianza deve avere rango di colonna pieno. Se la condizione è soddisfatta, le correlazioni possono certificare la struttura degli operatori, a meno delle equivalenze ammesse dal risultato di self-testing. La conclusione dell’articolo è quindi subordinata alle correlazioni misurate e alle ipotesi del protocollo: non si tratta di un test valido indistintamente per qualsiasi dispositivo descritto come un sistema di Majorana.
La trasposizione parziale aggiunge un’equivalenza
Gli autori individuano anche un’ambiguità che le definizioni standard di self-testing non contemplano pienamente. In alcuni casi, applicare la trasposizione parziale allo stato condiviso e alle misure lascia invariate tutte le correlazioni osservate. La certificazione deve tenere conto di questa trasformazione insieme a equivalenze già note, come le isometrie locali e la trasposizione.
Questa precisazione è importante perché la certificazione indipendente dai dispositivi identifica una realizzazione quantistica solo a meno delle trasformazioni che lasciano invariate le evidenze. Secondo l’articolo, omettere la trasposizione parziale dalla definizione può rendere incompleta l’affermazione di self-testing per le osservabili di Clifford studiate.
Un protocollo teorico, non una dimostrazione su un dispositivo
Il lavoro fornisce un quadro matematico per il test: non riporta un esperimento su un dispositivo a semiconduttore, non dimostra l’esistenza di un modo zero di Majorana e non certifica un processore quantistico commerciale. Il risultato centrale riguarda gli operatori di Majorana come realizzazioni su più qubit dei generatori dell’algebra di Clifford, non la conferma diretta che un determinato materiale ospiti quasiparticelle topologiche.
L’articolo non stabilisce neppure che il test sia già tollerante alle imperfezioni attese nelle misure di laboratorio: il risultato di self-testing è legato alla violazione massima delle disuguaglianze costruite. Il prossimo ostacolo concreto è trasformare questa esatta condizione matematica in una certificazione utile quando le correlazioni osservate si discostano dal valore ideale.