Efficient Description of Parametric Amplification of Quantum Pulses

Sintesi Tecnica: Descrizione Efficiente dell'Amplificazione Parametrica di Pulsanti Quantistici

Problema
Descrivere l'evoluzione degli stati quantistici bosonici che viaggiano attraverso reti quantistiche aperte è complesso, in particolare quando la radiazione esplora un continuo di modi di frequenza che richiede una descrizione multi-modo. Sebbene le operazioni a singolo modo siano trattabili, l'uscita di un amplificatore parametrico pilotato da un singolo impulso in ingresso è generalmente distribuita in modo entangled su modi che sperimentano diversi gradi di squeezing. I metodi esistenti per calcolare questi stati di uscita, come la decomposizione degli autoeigenmodi di Bogoliubov, possono soffrire di una complessità computazionale comparabile al problema del boson sampling quando lo stato in ingresso non occupa solo pochi autoeigenmodi. Inoltre, gli approcci tradizionali spesso si affidano ad anelli (ancillae) per calcolare l'uscita, il che aumenta inutilmente la dimensionalità dello spazio di Hilbert.

Metodologia
Gli autori presentano un metodo analitico efficiente per determinare lo stato quantistico dei modi di uscita risultanti da un singolo impulso quantistico sottoposto ad amplificazione parametrica. Il nucleo del metodo si basa su una specifica decomposizione della relazione ingresso-uscita derivata dal lavoro di Christiansen et al. [30], il quale stabilisce che un singolo impulso in ingresso $u(\omega)$ contribuisce al massimo a due modi di uscita, $v_1(\omega)$ e $v_2(\omega)$, mentre tutti gli altri modi di uscita contengono solo contributi derivati dal vuoto.

L'approccio proposto diverge dalle tecniche standard disaccoppiando il calcolo della trasformazione del vuoto dalla trasformazione dello stato di ingresso. Il metodo procede in tre fasi:

1. Trasformazione del Vuoto: L'effetto dell'amplificatore parametrico viene prima calcolato sullo stato di vuoto. Ciò produce uno stato di vuoto multi-modo spremuto (squeezed) $|\xi\rangle = \hat{U}|0\rangle$, caratterizzato da una matrice di covarianza e un vettore di spostamento (che è nullo per il vuoto). Questo stato è descritto utilizzando polinomi di Hermite multidimensionali nella base di Fock.
2. Decomposizione dell'Operatore: L'operatore di annichilazione in ingresso $\hat{a}_u$ viene espanso in termini degli operatori di uscita rilevanti $\hat{b}_{v_1}, \hat{b}_{v_1}^\dagger, \hat{b}_{v_2}, \hat{b}_{v_2}^\dagger$. I coefficienti di questa espansione dipendono dalla funzione del modo di ingresso $u(\omega)$ e dai kernel di trasferimento del sistema $F$ e $G$.
3. Ricostruzione dello Stato: Per un arbitrario stato di ingresso definito come $|\psi_u\rangle = f(\hat{a}_u, \hat{a}_u^\dagger)|0\rangle$, il metodo applica la trasformazione unitaria $\hat{U}$ trasformando gli operatori di creazione/annichilazione all'interno della funzione $f$. Nello specifico, $\hat{U}f(\hat{a}_u, \hat{a}_u^\dagger)\hat{U}^\dagger$ diventa $\tilde{f}(\hat{b}_{v_1}, \hat{b}_{v_1}^\dagger, \hat{b}_{v_2}, \hat{b}_{v_2}^\dagger)$. Lo stato di uscita finale si ottiene applicando l'operatore trasformato $\tilde{f}$ allo stato di vuoto spremuto pre-calcolato $|\xi\rangle$.

Questo formalismo evita la necessità di modi ancillari, limitando il calcolo ai modi di uscita fisicamente occupati dal segnale in ingresso, garantendo così l'efficienza computazionale indipendentemente dalla complessità dello stato in ingresso (ad esempio, superposizioni di stati di Fock o stati misti).

Contributi Chiave e Risultati
Il documento fornisce un formalismo generale applicabile a qualsiasi Hamiltoniana quadratica, dimostrato attraverso un modello di oscillatore parametrico ottico (OPO). Gli autori validano il metodo calcolando gli stati di uscita per tre distinti scenari di ingresso:

• Stati Coerenti: Il metodo conferma che uno stato coerente in ingresso occupa un singolo modo di uscita, risultando in uno stato coerente spremuto (squeezed coherent state). Il vettore di spostamento è non nullo, mentre la matrice di covarianza corrisponde a quella del vuoto trasformato.
• Stati di Schrödinger (Cat States): Per gli stati di tipo "cat" (ad esempio, $|\alpha\rangle \pm i|-\alpha\rangle$), il metodo calcola con successo la matrice di densità di uscita nel singolo modo occupato, preservando le caratteristiche non gaussiane dell'ingresso.
• Stati di Fock: Per un ingresso a singolo fotone (o stati di Fock generici), il metodo identifica correttamente che l'uscita popola due modi entangled ($v_1$ e $v_2$). Gli autori calcolano numericamente le funzioni di Wigner per questi modi congiunti, mostrando la distribuzione del carattere non-gaussiano tra i due modi.

Un risultato significativo presentato è la purificazione heralded (annunciata) dello stato di uscita. Rilevando il vuoto nel modo di uscita meno popolato ($v_2$), gli autori dimostrano che lo stato quantistico nel modo primario ($v_1$) diventa significativamente più puro.

• Per un ingresso a singolo fotone, la purezza dell'uscita in $v_1$ aumenta da $\approx 0.75$ (senza heralding) a $\approx 0.97$ rilevando il vuoto in $v_2$ (con una probabilità di successo di $\approx 52\%$).
• Per un ingresso di tipo stato di Schrödinger dispari, la purezza aumenta da $\approx 0.75$ a $\approx 0.93$ (con una probabilità di successo del $\approx 43\%$).
  In entrambi i casi, la negatività della funzione di Wigner è aumentata, indicando una risorsa non-classica più utile.

Significato e Ambito
Il documento sostiene che questo metodo offra un'alternativa computazionalmente efficiente alle tecniche esistenti, sfruttando la specifica decomposizione dei modi della relazione ingresso-uscita. Concentrandosi solo sui modi di uscita fisicamente rilevanti e separando il calcolo dello squeezing del vuoto dalla manipolazione dello stato di ingresso, il metodo previene i problemi di complessità computazionale associati al mescolamento di molti modi.

Gli autori sottolineano che, sebbene l'attuale implementazione si concentri sui modi temporali/spettrali in un OPO, il formalismo è generale. Può essere applicato ad altri sistemi quadratici come gli amplificatori parametrici ottici e gli amplificatori parametrici a onda viaggiante. Inoltre, il framework è estendibile ad altre basi di modi, inclusi i modi spaziali trasversali in sistemi 2D/3D, i modi Laguerre-Gaussian che trasportano momento angolare orbitale e i modi spazio-temporali relativistici. Il lavoro suggerisce anche potenziali estensioni future per includere operazioni non-gaussiane e non-linearità di ordine superiore tramite approssimazioni di cumulante o di campo medio, sebbene queste non siano implementate nello studio corrente.