Local qubit invariants on quantum computer

Il paper presenta due metodi generali per implementare circuiti quantistici che misurano direttamente invarianti unitari locali su computer quantistici, dimostrandone l'applicazione pratica su tre qubit e su misure di entanglement tramite la piattaforma IBM Quantum.

L'essenziale

Il Titolo: "Come misurare l'entanglement senza toccarlo"

Immagina di avere un gatto di Schrödinger (il famoso gatto che è vivo e morto allo stesso tempo) che vive in una scatola magica. In fisica quantistica, questo gatto può essere "intrecciato" con altri gatti in modi molto strani. Questo intreccio si chiama entanglement.

Il problema è: come fai a sapere quanto sono intrecciati questi gatti senza aprir la scatola e rovinare tutto? Se guardi dentro, il gatto "collassa" e l'incantesimo svanisce.

Gli autori di questo articolo, Szilárd Szalay e Frédéric Holweck, hanno inventato due nuovi trucchi di magia (metodi) per misurare quanto sono intrecciati questi gatti quantistici usando un computer quantistico, senza distruggere il loro stato magico.

---

1. Il Problema: L'Intreccio Invisibile

Nella fisica classica, se hai due oggetti, puoi misurarli separatamente. Nel mondo quantistico, se due particelle sono "entangled", sono come due dadi magici: se lanci uno e esce 6, l'altro fa immediatamente 6, anche se è dall'altra parte dell'universo.

Per descrivere questo intreccio, i fisici usano delle formule matematiche chiamate "invarianti". Sono come delle impronte digitali dell'entanglement. Se cambi la posizione delle particelle o le giri un po' (operazioni locali), queste impronte digitali non cambiano mai. Sono la prova definitiva che l'intreccio esiste.

Il problema è che calcolare queste impronte digitali su un computer normale è lentissimo e difficile. Su un computer quantistico, invece, è possibile farlo direttamente, ma serve un metodo intelligente.

---

2. La Soluzione: Due Metodi Magici

Gli autori propongono due modi per leggere queste impronte digitali. Immagina di voler misurare la "forza" di un nodo fatto con due corde.

Metodo 1: Il Trucco dell'Interferometro (Il Piccolo)

Questo è il metodo più efficiente.

• L'analogia: Immagina di avere una copia perfetta del tuo gatto magico. Prendi il gatto originale e la copia, e fai passare entrambi attraverso un labirinto di specchi (circuiti quantistici).
• Come funziona: Fai "scontrare" le due copie in modo che interferiscano tra loro, come due onde d'acqua che si incontrano. Se le onde sono perfettamente sincronizzate (l'intreccio è forte), vedrai un pattern di interferenza molto chiaro.
• Il risultato: Misurando quanto è "forte" questo pattern (la probabilità che il gatto finisca in un certo stato), ottieni direttamente il valore dell'intreccio.
• Vantaggio: Usa meno "gatti" (qubit) e meno passaggi. È come usare un microscopio leggero invece di un macigno.

Metodo 2: Il Trucco del "Bell" (Il Grande)

Questo metodo è più pesante ma utile se il primo non funziona (ad esempio, se non riesci a creare la copia "specchio" del tuo gatto).

• L'analogia: Qui non usi solo due copie, ma ne usi quattro. Immagina di avere quattro gatti in una stanza. Devi farli ballare una danza molto complessa (porte logiche quantistiche) e poi misurare se si sono "abbracciati" in modo specifico (misurazione di Bell).
• Come funziona: È come se dovessi verificare se due coppie di gemelli sono identiche facendoli ballare tutti insieme. Se la danza è perfetta, tutti i gatti finiranno in una posizione specifica.
• Svantaggio: Richiede più gatti (più qubit) e più passaggi. È come usare un macigno per schiacciare un moscerino: funziona, ma è più rumoroso e meno preciso a causa degli errori dei computer quantistici attuali.

---

3. La Prova: I Gatti di IBM

Gli autori hanno provato i loro trucchi su un vero computer quantistico disponibile online (IBM Quantum). Hanno creato tre tipi di "gatti" (stati quantistici) famosi:

1. Il Separato: Tre gatti che non si conoscono affatto (nessun intreccio).
2. Il W: Tre gatti intrecciati in modo "debole" ma robusto (se ne perdi uno, gli altri due restano legati).
3. Il GHZ: Tre gatti intrecciati in modo "forte" e fragile (se ne perdi uno, tutto il legame crolla).

Cosa è successo?
I computer quantistici attuali sono rumorosi (come una stanza piena di gente che parla mentre cerchi di ascoltare un sussurro).

• Quando hanno misurato i gatti "separati", il computer ha detto "c'è un po' di intreccio" (errore dovuto al rumore), ma il valore era vicino a zero.
• Quando hanno misurato i gatti "GHZ" (massimo intreccio), il computer ha visto un valore molto alto, quasi perfetto.
• Hanno dimostrato che il Metodo 1 (Piccolo) funziona meglio e dà risultati più precisi rispetto al Metodo 2, perché è meno soggetto al "rumore" della stanza.

---

4. Perché è Importante?

Immagina che questi computer quantistici siano delle macchine da corsa appena nate. Prima di poterle usare per gareggiare (fare calcoli utili), dobbiamo sapere quanto sono veloci e affidabili.

Questi metodi sono come un crash test o un tachimetro per i computer quantistici:

• Ci permettono di dire: "Ehi, questo computer è abbastanza buono da gestire l'entanglement?"
• Ci permettono di classificare i tipi di magia quantistica che stiamo creando.
• Funzionano per qualsiasi numero di particelle, non solo per tre.

In Sintesi

Gli autori hanno detto: "Non serve smontare il computer quantistico per capire come funziona. Abbiamo inventato due modi per 'fotografare' l'intreccio quantistico direttamente, usando meno risorse e ottenendo risultati chiari."

Hanno trasformato concetti matematici astratti (come il "determinante di Cayley", che suona come una ricetta di cucina complicata) in circuiti pratici che chiunque può provare su un computer quantistico online oggi stesso. È un passo avanti per trasformare la magia della fisica quantistica in una tecnologia reale.

Sommario tecnico

1. Il Problema

L'entanglement è la forma più notevole di correlazioni non classiche nei sistemi quantistici. Una descrizione completa dell'entanglement di uno stato quantistico può essere ottenuta tramite invarianti locali unitari (LU-invariants). Questi sono quantità che rimangono invariate sotto trasformazioni unitari locali (LU) e sono fondamentali per classificare gli stati entangled (ad esempio, distinguendo le classi SLOCC come GHZ, W o stati separabili).

Il problema affrontato dagli autori è la misurazione diretta di questi invarianti su computer quantistici reali (NISQ - Noisy Intermediate-Scale Quantum).

• I metodi esistenti spesso richiedono:
  • Tomografia completa dello stato: Che scala esponenzialmente con il numero di qubit ($3^n$ misurazioni per $n$ qubit), rendendola impraticabile per sistemi grandi.
  • Metodi ad-hoc o di ottimizzazione: Che richiedono il tracciamento dei coefficienti del vettore di stato o l'ottimizzazione di parametri su molte esecuzioni, risultando complessi e computazionalmente costosi.
• L'obiettivo è sviluppare metodi generali che traducano le contrazioni di indici (definizioni matematiche degli invarianti) direttamente in circuiti quantistici, misurando la probabilità di un risultato specifico per ottenere il valore dell'invariante.

2. Metodologia

Gli autori propongono due metodi generali per implementare circuiti quantistici che misurano direttamente invarianti LU reali e non negativi per sistemi a 2 e 3 qubit. Entrambi i metodi si basano sull'uso di $k/2$ copie dello stato (o istanze dell'oracolo $U_\psi$ che prepara lo stato), dove $k$ è il grado di omogeneità dell'invariante (es. $k=4, 8, 12$).

I Due Metodi Proposti:

1. Metodo 1 (Circuito Minore):

   • Utilizza $nk/4$ qubit (dove $n$ è il numero di qubit del sistema).
   • Impiega una combinazione di $U_\psi$ e le sue trasposte/aggiunte ($U_\psi^T, U_\psi^\dagger$).
   • Si basa su un'interferenza diretta tra lo stato e la sua trasposta/aggiunta.
   • Vantaggio: Richiede meno qubit e meno porte CNOT, offrendo una maggiore precisione e un errore relativo inferiore.
   • Svantaggio: Richiede l'implementazione della trasposta o dell'aggiunta dell'oracolo $U_\psi$, che potrebbe essere difficile in alcuni contesti.

2. Metodo 2 (Circuito Maggiore):

   • Utilizza $nk/2$ qubit (il doppio rispetto al primo metodo).
   • Impiega $k/2$ copie indipendenti dello stato preparate tramite $U_\psi$.
   • Realizza le contrazioni di indici tramite misure di Bell (o equivalentemente, porte Hadamard e CNOT) tra le copie.
   • Vantaggio: Non richiede l'implementazione di $U_\psi^T$ o $U_\psi^\dagger$, utile quando l'oracolo è complesso o "scatola nera".
   • Svantaggio: Circuiti più grandi, più porte CNOT, e una probabilità di successo ridotta da un fattore $1/2$ per ogni contrazione di Bell, portando a un errore relativo più alto.

Invarianti Tratta:

Il lavoro si concentra su invarianti cruciali per 2 e 3 qubit:

• 2 Qubit: Norma al quadrato ($n^4$) e Concordanza al quadrato ($c^2$).
• 3 Qubit:
  • $c_a^2$: Concordanza al quadrato per il taglio $a|bc$ (misura di entanglement bipartito).
  • $\omega^2$: Invariante legato all'entanglement di tipo W.
  • $\tau^2$: Tre-tangle (misura di entanglement residuo GHZ).
  • $g_a^2$: Norme dei tensori covarianti quadratici.

3. Contributi Chiave

• Traduzione Algebrica-Circuitale: Gli autori mappano sistematicamente le contrazioni di indici delle definizioni teoriche degli invarianti (usando i tensori $\delta$ e $\epsilon$) in strutture di circuiti quantistici.
• Generalità: Sebbene dimostrati per 2 e 3 qubit, i metodi sono presentati come generali e applicabili a un numero arbitrario di sottosistemi e dimensioni.
• Scalabilità: A differenza della tomografia completa che scala esponenzialmente, questi metodi scalano linearmente con il grado dell'invariante ($k$), rendendoli molto più efficienti per invarianti di basso grado.
• Implementazione Sperimentale: Dimostrazione pratica delle metodologie sulla piattaforma IBM Quantum (processore ibmq_pittsburgh).

4. Risultati Sperimentali

Gli autori hanno testato i circuiti su tre famiglie di stati a 3 qubit:

1. Stati Separabili/Parzialmente Entangled ($|1|23\rangle$): Stati della forma $\cos(\theta/2)|000\rangle + \sin(\theta/2)|011\rangle$.
2. Stati W ($|W\rangle$): Stati della forma $\cos(\theta/2)|100\rangle + \sin(\theta/2)(|010\rangle + |001\rangle)/\sqrt{2}$.
3. Stati GHZ ($|GHZ\rangle$): Stati della forma $\cos(\theta/2)|000\rangle + \sin(\theta/2)|111\rangle$.

Risultati principali:

• Confronto Teorico-Sperimentale: I valori misurati degli invarianti ($c_a^2, \omega^2, \tau^2$) seguono le curve teoriche attese, confermando la validità dei circuiti.
• Efficienza dei Circuiti: Il Metodo 1 (Circuito Minore) ha dimostrato prestazioni nettamente superiori rispetto al Metodo 2, con errori di misura significativamente più bassi.
• Rumore e Classificazione SLOCC: A causa del rumore nei dispositivi NISQ, la classificazione perfetta delle classi SLOCC (basata su zeri esatti degli invarianti) è difficile. Il rumore tende a spostare gli stati verso la classe GHZ (di misura piena) o a falsare i valori vicini allo zero. Tuttavia, i valori misurati sono sufficienti per quantificare "quanto" uno stato possiede una certa proprietà di entanglement (es. "quanto è W-like").

5. Significato e Implicazioni

• Benchmarking: Questi metodi offrono un nuovo strumento per il benchmarking dei computer quantistici online, permettendo di valutare la fedeltà nella preservazione di specifiche strutture di entanglement.
• Superamento della Tomografia: Dimostrano che è possibile estrarre informazioni globali sull'entanglement senza ricostruire l'intero stato quantistico, superando il collo di bottiglia della tomografia.
• Connessione Teoria-Pratica: Il lavoro collega concetti astratti di geometria algebrica e teoria degli invarianti (come il iperdeterminante di Cayley) con l'esperienza fisica diretta sui processori quantistici attuali.
• Robustezza: Nonostante gli errori inevitabili dei dispositivi NISQ, gli invarianti LU rimangono indicatori significativi della struttura dell'entanglement, permettendo di distinguere tra stati debolmente entangled e stati con entanglement forte di tipo W o GHZ.

In sintesi, il paper fornisce un framework pratico e scalabile per misurare direttamente le proprietà fondamentali dell'entanglement su hardware quantistico reale, offrendo un'alternativa superiore alla tomografia completa per la caratterizzazione degli stati quantistici.