Preparation-Space Diagnostics and Logical Information Loss in a Driven Kerr-Cat Qubit

Sintesi Tecnica: Diagnostica dello Spazio di Preparazione e Perdita di Informazione Logica in un Qubit Kerr-Cat Pilotato

Enunciato del Problema
I qubit Kerr-cat codificano l'informazione logica nelle due buche di un oscillatore non lineare pilotato parametricamente. Sebbene gli errori di bit-flip siano esponenzialmente soppressi durante l'idling, le operazioni di gate richiedono la deformazione transitoria del potenziale a doppia buca, il che può spingere lo stato attraverso la barriera tra le buche. La sfida centrale affrontata è identificare quali stati quantistici iniziali (preparazioni) sono vulnerabili a un determinato impulso di gate e determinare come i diagnostici di trasporto classico nello spazio delle fasi si relazionino con la risultante perdita di informazione logica quantistica. Nello specifico, il documento indaga se il meccanismo a "tornello" (turnstile) del trasporto classico — dove un impulso scinde la separatrice e trasporta le traiettorie attraverso la superficie divisoria — predice accuratamente l'esito quantistico, e come il profilo temporale dell'impulso (ad esempio, un quench improvviso rispetto a una rampa fluida) influenzi la preservazione del bit logico.

Metodologia
Lo studio impiega un framework comparativo su un comune "spazio di preparazione", definito come un disco bidimensionale di stati coerenti $|\alpha_0\rangle$ centrato sulla buca destra.

1. Modelli:
   • Classico: La dinamica mean-field è governata da una coppia di equazioni differenziali ordinarie dissipative nel piano di fase $(x, y)$, derivate dal valore di aspettazione dell'operatore di annichilazione. Il sistema include una non linearità Kerr, un pump parametrico a due fotoni e perdita di singolo fotone.
   • Quantistico: Il sistema è modellato tramite l'equazione master di Lindblad per l'operatore di densità $\rho$, incorporando lo stesso Hamiltoniano e un dissipatore di singolo fotone. È stata simulata anche la dissipazione a due fotoni ingegnerizzata per testare la stabilizzazione.
2. Diagnostici:
   • Campi Classici: La sensibilità a tempo finito (norma spettrale del Jacobiano della mappa delle traiettorie) e il descrittore di Lagrange (lunghezza dell'arco della traiettoria) sono calcolati su una griglia di preparazione.
   • Campi Quantistici: L'occupazione del semipiano sinistro $P_{left}(T)$ (probabilità di trovare l'oscillatore nella buca sinistra) e l'eco di Loschmidt (fedeltà tra le evoluzioni con impulso e in idle) sono calcolati.
   • Metriche del Bit Logico: La distanza di traccia $D_{tr}$ tra i due input logici ($|\pm \alpha_{cat}\rangle$) è calcolata per misurare la distinguibilità logica, distinta dal trasporto spaziale.
   • Diagnostico Esplorativo: L'OTOC (Out-of-Time-Order Correlator) indotto dal gate viene testato come potenziale ponte tra la sensibilità classica e la crescita dell'operatore quantistico.
3. Variazione del Protocollo: Lo studio varia l'ampiezza dell'impulso, la larghezza e il profilo temporale (confrontando un "quench" dove l'integrazione inizia al picco dell'impulso rispetto a una "rampa fluida" gaussiana completa). Varia inoltre la dimensione del cat (numero medio di fotoni) e i tassi di dissipazione.

Contributi Chiave e Risultati

• Dipendenza del Protocollo dall'Erasure Logica: Il risultato più significativo è che la perdita di informazione logica dipende criticamente dall'intero protocollo temporale, non solo dalla forza dell'impulso. Un quench improvviso (iniziare l'integrazione al picco dell'impulso) causa il collasso della distanza di traccia logica vicino allo zero ($D_{tr} \approx 0.013$), indicando l'erasure del bit in un mix incoerente. Al contrario, una rampa fluida con la stessa ampiezza di picco preserva ampiamente il bit ($D_{tr} \approx 0.32$, mantenendo circa il 46% della distinguibilità in idle).
• Corrispondenza Classico-Quantistica:
  • Tracciamento Spaziale: Il campo di occupazione sinistra quantistica $P_{left}$ segue il pattern di trasporto classico (leak vs safe) con una correlazione di $r \approx +0.61$ sotto il quench. Tuttavia, il modello classico predice bit-flip deterministici, mentre il sistema quantistico esibisce delocalizzazione (scrambling) senza necessariamente invertire il bit in senso classico.
  • Cresta di Sensibilità: Il campo di sensibilità a tempo finito classico localizza robustamente il confine di trasporto (la "cresta" coincide con il confine leak/safe al 99° percentile). Tuttavia, è un scarso predittore di quali preparazioni specifiche subiscano leak quando l'insieme dei leak è una vasta regione di bulk, poiché il bulk ha una bassa sensibilità.
  • Fallimento dell'OTOC: L'OTOC indotto dal gate si allinea con il campo di sensibilità classico solo transitoriamente durante la fase centrale dell'impulso ($r \approx +0.97$). Alla fine dell'impulso, questa corrispondenza collassa ($r \approx 0.09$) a causa della crescita polinomiale dell'OTOC di background che sovrasta il segnale del gate. Il documento registra questo come un risultato negativo per l'uso dell'OTOC come ponte robusto alla sensibilità classica in questo regime.
• L'Eco di Loschmidt come Preavviso: L'eco di Loschmidt, valutato vicino alla fine dell'impulso, funge da forte predittore dell'esito quantistico finale nel regime di quench ($r \approx -0.94$ con $P_{left}$). Esso anticipa efficacemente lo scrambling logico prima del tempo di readout finale.
• Stabilizzazione e Dimensione del Cat:
  • Dissipazione Ingegnerizzata: L'introduzione della dissipazione a due fotoni ingegnerizzata porta la frazione di leak classico a zero. Tuttavia, il sistema quantistico perde ancora fino al 47% della sua popolazione "which-well" per le preparazioni più vulnerabili, dimostrando che il modello classico sottostima l'errore logico in presenza di perdita di coppia.
  • Dimensione del Cat: All'aumentare della dimensione del cat (rendendo il sistema più semiclassico), l'erasure indotta dal quench si indebolisce e il sistema vira verso un trasporto classico deterministico (bit-flip piuttosto che erasure).

Significato e Rivendicazioni
Il documento sostiene che il meccanismo a "tornello" del trasporto nello spazio delle fasi classico fornisce una mappa spaziale di vulnerabilità, ma fallisce nel predire l'entità della perdita di informazione logica o la sopravvivenza del bit. La conclusione centrale è che la preservazione del bit logico è un fenomeno dipendente dal protocollo: una rampa fluida può sopprimere l'erasure logica anche quando la geometria del trasporto classico suggerisce una significativa vulnerabilità.

Gli autori sottolineano che i diagnostici classici (sensibilità, frazione di leak) sono insufficienti per il design dei gate nel regime di forte pilotaggio perché non riescono a catturare la transizione dal trasporto coerente allo scrambling incoerente. L'eco di Loschmidt è identificato come un necessario diagnostico quantistico per predire gli esiti logici nel regime di quench. Lo studio nota esplicitamente che la distinzione "quench-versus-smooth" è multiparametrica (coinvolgendo il tasso di rampa, il tempo di permanenza e l'area integrata) e che nessun singolo parametro scalare (come l'ampiezza o la soglia di Melnikov) organizza la fenomenologia sotto forte pilotaggio. Il lavoro serve come validazione rigorosa dei limiti dei modelli mean-field per il design di gate Kerr-cat e evidenzia la necessità di simulazioni quantistiche a sistema aperto complete per valutare la fedeltà logica.