Nel mondo quantistico, l'informazione è conservata in stati delicati che sono notoriamente difficili da misurare. Gli scienziati hanno spesso bisogno di dare un'occhiata a un sistema quantistico per vedere cosa sta facendo, ma l'atto di guardare modifica il sistema, e farlo ripetutamente richiede enormi quantità di tempo e risorse. Per risolvere questo problema, i ricercatori hanno sviluppato una tecnica chiamata tomografia d'ombra (shadow tomography), che mira a apprendere molte diverse proprietà di uno stato quantistico utilizzando il minor numero possibile di copie di quello stato. L'efficienza di questo processo dipende pesantemente da come le proprietà misurate interagiscono tra loro. Alcune proprietà possono essere misurate insieme senza conflitto, mentre altre si scontrano, costringendo lo sperimentatore a sceglierne una o l'altra. Per gestire ciò, gli scienziati utilizzano una mappa matematica chiamata grafo di anticommutazione, dove i punti rappresentano le proprietà e le linee collegano quelle che non possono essere misurate simultaneamente. La complessità di questa mappa determina quanti campioni sono necessari per ottenere un quadro chiaro. Una recente ipotesi suggeriva che, se le proprietà misurate fossero state abbastanza forti da essere facilmente rilevate, la mappa che le connette sarebbe diventata naturalmente abbastanza semplice da gestire efficientemente, indipendentemente da quanto cresce il sistema.

Questo articolo, tuttavia, dimostra che questa speranzosa ipotesi è errata. Gli autori, Jędrzej Stempin, Santiago Llorens e Felix Huber, hanno costruito una specifica famiglia di stati quantistici e misurazioni che dimostrano che la relazione tra la forza della misurazione e la complessità della mappa non è così permissiva come precedentemente pensato. Hanno dimostrato che è possibile creare uno scenario in cui le misurazioni siano forti e distinte, eppure la mappa sottostante dei loro conflitti rimanga ostinatamente complessa, sfidando i limiti previsti. Il loro lavoro non significa che la misurazione quantistica efficiente sia impossibile, ma smantella una specifica scorciatoia matematica che molti ricercatori avevano sperato garantisse tale efficienza. Dimostrando che un certo limite costante non esiste per tutti i possibili stati quantistici, hanno chiuso la porta a un particolare percorso verso la misurazione ultra-efficiente, costringendo il campo a cercare soluzioni diverse.

La storia inizia con un'osservazione semplice su come si comportano le proprietà quantistiche. Immaginate una collezione di interruttori che possono essere accesi o spenti. In un sistema quantistico, questi interrutti sono chiamati osservabili di Pauli e rappresentano diversi modi per sondare lo stato del sistema. Alcuni di questi interruttori possono essere azionati insieme senza interferire, mentre altri sono mutuamente esclusivi; azionarne uno disturba istantaneamente il risultato dell'altro. Per misurare un grande insieme di questi interruttori in modo efficiente, gli scienziati raggruppano quelli compatibili. Più piccoli sono i gruppi necessari, meno copie dello stato quantistico sono richieste per ottenere dati accurati. La difficoltà di questo raggruppamento è misurata da un numero noto come numero cromatico frazionario, che conta essenzialmente quanti gruppi distinti sono necessari per coprire tutti gli interruttori senza conflitti.

Pochi anni fa, un gruppo di ricercatori ha proposto una congettura che sarebbe stata una grande svolta. Suggerivano che, se si guardassero solo gli interruttori abbastanza "forti" da essere chiaramente uditi — ovvero che avessero un segnale forte nello stato quantistico — la loro mappa di conflitto sarebbe diventata automaticamente semplice. Nello specifico, credevano che all'aumentare della forza del segnale richiesto, il numero di gruppi necessari per misurarli sarebbe diminuito in modo prevedibile e gestibile. Se fosse stato vero, ciò avrebbe implicato che per ogni insieme di interessanti proprietà quantistiche, esiste un metodo di misurazione "triplamente efficiente", che richiede solo un numero costante di copie dello stato indipendentemente dalle dimensioni del sistema. Questa idea era così convincente da diventare un principio guida per la progettazione di futuri algoritmi quantistici.

Gli autori di questo articolo hanno deciso di testare i limiti di questa idea costruendo un controesempio. Sono partiti da una forma specifica nota in matematica come anti-eptagono, una struttura a sette punte simile a una stella, dove le connessioni tra i punti rappresentano i conflitti. Hanno scoperto un insieme di sette interruttori quantistici che corrispondevano perfettamente a questa forma. Misurando questi interruttori in uno stato quantistico specifico, hanno scoperto che gli interruttori erano tutti ugualmente forti, ma la struttura dei loro conflitti era abbastanza complessa che il numero di gruppi necessari per misurarli era leggermente superiore a quanto consentito dalla congettura. Il rapporto tra la complessità e la forza del segnale era appena sopra il limite teorico, ma solo di un margine minimo.

Per trasformare questo minuscolo margine in una prova definitiva, i ricercatori hanno utilizzato una tecnica chiamata amplificazione. Hanno preso il loro sistema a sette interruttori e lo hanno combinato ripetutamente con se stesso, creando un sistema molto più grande in cui il modello originale veniva ripetuto continuamente. In questo nuovo, massiccio sistema, la forza del segnale degli interruttori cresceva esponenzialmente, ma la complessità della mappa dei conflitti cresceva ancora più velocemente. Ad ogni passaggio di questa amplificazione, il divario tra la forza del segnale e la complessità si ampliava. Alla fine, hanno dimostrato che per un sistema sufficientemente grande, il numero di gruppi necessari per misurare gli interruttori diventava così elevato che nessuna regola fissa avrebbe mai potuto contenerlo. Il prodotto della complessità e del quadrato della forza del segnale cresceva senza limiti, dimostrando che non esiste una costante universale capace di limitare la difficoltà del compito.

I ricercatori non si sono fermati a questo specifico esempio. Hanno sviluppato una regola più generale basata su una proprietà dei grafi chiamata indice di commutatività, che misura quanto bene un insieme di proprietà possa essere allineato con uno stato quantistico. Hanno dimostrato che qualsiasi grafo in cui questo indice è maggiore della dimensione del più grande gruppo di proprietà non conflittuali può essere utilizzato per creare un controesempio simile. Poiché tali grafi esistono, il fallimento della congettura non è un caso fortuito di una singola forma, ma una caratteristica fondamentale del panorama matematico delle misurazioni quantistiche. Ciò significa che la speranza di una formula semplice e universale per prevedere l'efficienza della misurazione basata esclusivamente sulla forza del segnale è svanita.

Nonostante questo risultato negativo, l'articolo non dichiara la fine della misurazione quantistica efficiente. Gli autori chiariscono che, sebbene la specifica congettura sia falsa, ciò non esclude l'esistenza di protocolli efficienti per tutti i casi. Significa semplicemente che la relazione tra la forza del segnale e la difficoltà di misurazione è più sfumata di quanto la congettura consentisse. La porta rimane aperta per altri metodi per raggiungere l'efficienza, forse trovando modi diversi per raggruppare gli interruttori o accettando che alcuni set di proprietà richiederanno sempre più risorse di altri. Il lavoro funge da necessaria correzione, assicurando che la ricerca futura sia costruita su una base che riconosca la vera complessità del mondo quantistico piuttosto che su una speranza eccessivamente semplificata.

In definitiva, l'articolo fornisce un confine chiaro per ciò che è possibile nella tomografia d'ombra quantistica. Dimostra che la natura non sempre coopera con le previsioni matematiche più ottimistiche. Costruendo una famiglia di stati in cui la difficoltà di misurazione cresce più velocemente della forza del segnale, gli autori hanno costretto la comunità scientifica a raffinare la propria comprensione di come l'informazione quantistica possa essere estratta. Il viaggio da una speranzosa congettura a un rigoroso controesempio evidenzia l'importanza di testare anche le idee più eleganti contro la dura realtà della prova matematica. Il risultato è un quadro più onesto, sebbene più complicato, delle risorse necessarie per comprendere il mondo quantistico.