How many systems can be dephased before the quantum switch becomes causally definite?

Sintesi Tecnica: Quanti Sistemi Possono Essere Dephasati Prima che l'Interruttore Quantistico Diventi Causalmente Definito?

Enunciato del Problema
I processi quantistici con ordine causale indefinito (non separabilità causale) offrono vantaggi rispetto ai circuiti quantistici standard con strutture causali fisse. Una domanda fondamentale nelle basi della meccanica quantistica e nell'elaborazione dell'informazione è determinare la soglia di "quantisticità" necessaria per sostenere la non separabilità causale. Nello specifico, questo lavoro indaga quanto una decoerenza (dephasing) un processo possa tollerare prima di perdere il suo ordine causale indefinito e diventare causalmente separabile. Mentre risultati precedenti hanno stabilito che i processi bipartiti completamente dephasati senza sistemi globali di passato/futuro sono causalmente separabili, il comportamento dei processi con sistemi globali di passato ($P$) e futuro ($F$), in particolare l'interruttore quantistico, sotto dephasing parziale rimaneva una questione aperta.

Metodologia
Gli autori utilizzano il framework delle matrici di processo, che descrive trasformazioni quantistiche di ordine superiore senza presupporre un ordine causale fisso. Lo studio si concentra su due classi specifiche di processi:

1. Circuiti Quantistici con Controllo Quantistico (QC-QC): Processi in cui l'ordine causale è controllato coerentemente da un sistema quantistico (ad esempio, l'interruttore quantistico).
2. Circuiti Quantistici con Controllo Classico (QC-CC): Processi in cui l'ordine causale è determinato da informazioni classiche, i quali sono noti per essere causalmente separabili.

La metodologia centrale consiste nell'applicare mappe di dephasing ($\Delta_S$) a specifici sottosistemi (sistemi di input, output, passato e futuro) di una matrice di processo $W$. Il dephasing rende un sistema efficacemente classico in una base fissa. Gli autori analizzano matematicamente se la matrice di processo dephasata risultante possa ancora essere decomposta nella forma di un QC-QC (mantenendo la non separabilità) o se collassi in un QC-CC (diventando separabile).

L'analisi è condotta in due regimi:

• Caso Bipartito ($N=2$): Indagine su processi con due parti ($A$ e $B$) e sistemi globali di passato/futuro.
• Caso Multipartito ($N \geq 3$): Restrizione dell'analisi alla sottoclasse motivata fisicamente dei QC-QC.

Contributi e Risultati Chiave

1. Processi Bipartiti con Passato e Futuro Globali
Il lavoro stabilisce condizioni precise sotto le quali un processo bipartito diventa causalmente separabile:

• Sufficienza del Dephasing Totale o della Coerenza Solo nel Futuro: Se tutti i sistemi sono dephasati, o se solo il sistema globale di futuro ($F$) rimane coerente (mentre $P$, $A_{in}$, $A_{out}$, $B_{in}$, $B_{out}$ sono dephasati), il processo diventa causalmente separabile (nello specifico, un QC-CC).
• Necessità della Coerenza Non-Futura: Al contrario, se qualsiasi singolo sistema diverso dal sistema di futuro rimane non dephasato (coerente), esistono processi (costruiti a partire dall'interruttore quantistico) che mantengono la non separabilità causale.
  • Gli autori forniscono costruzioni esplicite (Fig. 2) che dimostrano che l'indefinitezza causale sopravvive anche quando tutti i sistemi tranne uno sono completamente dephasati, a condizione che il sistema coerente rimanente non sia il sistema di futuro. Gli esempi includono scenari in cui rimane coerente solo il sistema di controllo del passato, l'input di una singola parte, o l'output di una singola parte.

2. QC-QC Multipartiti
I risultati per il caso bipartito sono generalizzati ai QC-QC $N$-partiti:

• Se tutti i sistemi sono dephasati, o se solo il sistema di futuro $F$ viene lasciato coerente, qualsiasi QC-QC $N$-partito diventa causalmente separabile.
• Se tutti i sistemi tranne uno (che non è $F$) sono dephasati, la non separabilità causale può persistere.
• Questo implica che è possibile costruire "Circuiti Classici con Controllo Quantistico" (CC-QC) — processi che agiscono su operazioni classiche (slot aperti classici) che tuttavia esibiscono non separabilità causale, a condizione che esista un passato aperto coerente.

3. Dimostrazioni Matematiche
Il nucleo tecnico del lavoro comprende dimostrazioni rigorose che mostrano come il dephasing di specifici sottosistemi costringa la matrice di processo a soddisfare i vincoli lineari e di semidefinitezza positiva dei QC-CC.

• Appendice II: Dimostra che qualsiasi processo bipartito con $P$, $A_{in}$ e $B_{in}$ dephasati è un QC-QC. Inoltre, se tutti i sistemi tranne $F$ sono dephasati, è un QC-CC.
• Appendice III: Utilizza l'induzione per dimostrare che per i QC-QC $N$-partiti, il dephasing completo (tranne eventualmente $F$) riduce il processo a un QC-CC.
• Appendice IV: Fornisce costruzioni esplicite di matrici di processo per interruttori quantistici parzialmente dephasati ($W_1, W_2, W_3$) e verifica tramite programmazione semidefinita che essi non sono QC-CC, confermando così la loro non separabilità causale.

Significato e Affermazioni
Il lavoro afferma di risolvere la questione aperta riguardante la robustezza della non separabilità causale contro il dephasing nei processi con sistemi globali di passato e futuro. Il significato principale risiede nel dimostrare che la non separabilità causale è notevolmente robusta alla decoerenza.

Gli autori sottolineano che l'ordine causale indefinito non richiede che tutti i sistemi siano quantistici; può persistere anche quando la maggior parte dei gradi di libertà del sistema è efficacemente classica. Nello specifico, l'esistenza di un singolo sistema coerente (escluso il futuro) è sufficiente a sostenere la non separabilità causale nell'interruttore quantistico. Questa scoperta affina la comprensione delle risorse richieste per l'ordine causale indefinito, suggerendo che la "quantisticità" del meccanismo di controllo (spesso i sistemi di controllo del passato o interni) è il fattore critico, piuttosto che la coerenza degli slot operativi stessi. I risultati chiariscono inoltre il confine tra QC-QC e QC-CC in presenza di decoerenza, mostrando che la distinzione svanisce solo quando il futuro è l'unico sistema coerente rimanente o quando tutti i sistemi sono classici.