A Bogoliubov-ratio framework for quantum-information diagnostics of time-dependent two-mode Boson Hamiltonian

Sintesi Tecnica: Un Framework basato sul Rapporto di Bogoliubov per la Diagnostica dell'Informazione Quantistica

Definizione del Problema
La dinamica dei sistemi bosonici a due modi dipendenti dal tempo, come quelli che descrivono le perturbazioni cosmologiche primordiali o gli amplificatori parametrici ottici non degeneri, sono convenzionalmente caratterizzate da un'ampiezza di squeezing $r_k(\eta)$ e una fase di squeezing $\phi_k(\eta)$, o equivalentemente da coefficienti di Bogoliubov $\alpha_k(\eta)$ e $\beta_k(\eta)$. Sebbene queste parametrizzazioni siano complete, la loro implementazione diretta in sistemi generici dipendenti dal tempo è spesso laboriosa. Le variabili $r_k$ e $\phi_k$ soddisfano equazioni differenziali non lineari accoppiate, e la fase $\phi_k$ può subire oscillazioni rapide. Inoltre, la valutazione di quantità informazionali (come purezza ed entropia) richiede tipicamente la ricostruzione e la diagonalizzazione della matrice densità ridotta per ogni specifico modello o protocollo di guida. Questo approccio modello per modello oscura la struttura informazionale universale inerente agli stati di coppia a due modi normalizzati e complica il confronto tra diverse realizzazioni fisiche (ad esempio, cosmologiche vs ottiche).

Metodologia
Gli autori propongono un framework compatto e unificato basato sul rapporto di Bogoliubov, definito come $\lambda_k(\eta) \equiv \beta_k(\eta)/\alpha_k(\eta)$, soggetto alla condizione di normalizzazione $|\alpha_k|^2 - |\beta_k|^2 = 1$ e al dominio di convergenza $|\lambda_k| < 1$.

1. Rappresentazione dello Stato: Gli autori stabiliscono che uno stato compresso a due modi generalizzato e normalizzato può essere rappresentato esattamente nella base numerica di coppia $|n, n\rangle$ utilizzando una singola variabile complessa $\lambda_k$:
   $$|\psi_k(\eta)\rangle = \sqrt{1 - |\lambda_k(\eta)|^2} \sum_{n=0}^{\infty} \lambda_k^n(\eta) |n_k, n_{-k}\rangle.$$
   Questa formulazione assorbe le deformazioni a livello di stato (derivanti da coefficienti di Lanczos generalizzati o da specifiche dinamiche di background) direttamente in $\lambda_k$.

2. Riduzione Dinamica: Per un generico Hamiltoniano quadratico a due modi dipendente dal tempo della forma:
   $$\hat{H}_k(\eta) = \omega_k(\eta) (\hat{a}^\dagger_k \hat{a}_k + \hat{a}^\dagger_{-k} \hat{a}_{-k} + 1) + i g_k(\eta) (\hat{a}^\dagger_k \hat{a}^\dagger_{-k} - \hat{a}_k \hat{a}_{-k}),$$
   l'equazione di Schrödinger si riduce a una singola equazione di tipo Riccati chiusa per $\lambda_k$:
   $$\frac{d\lambda_k}{d\eta} = g_k(\eta)(1 - \lambda_k^2) - 2i\omega_k(\eta)\lambda_k.$$
   Qui, $\omega_k$ governa la rotazione di fase libera e $g_k$ controlla la produzione di coppie.

3. Diagnostica Universale: Tracciando il modo partner ($-k$), la fase di $\lambda_k$ scompare. Lo spettro della matrice densità ridotta a un modo è determinato interamente dal modulo al quadrato $q_k(\eta) = |\lambda_k(\eta)|^2$:
   $$p_n(\eta) = [1 - q_k(\eta)] q_k^n(\eta).$$
   Di conseguenza, le metriche informazionali standard (purezza $\mu_k$, entropia lineare $S_{L,k}$, entropia di Rényi-2 $S_{2,k}$ e l'entropia di von Neumann $S_{vN,k}$) sono derivate come funzioni esplicite e model-independent di $q_k$.

Contributi Chiave

• Riduzione delle Variabili: Il framework riduce la descrizione della dinamica di squeezing a due modi da due variabili reali accoppiate ($r_k, \phi_k$) a una singola variabile complessa ($\lambda_k$) governata da un'equazione differenziale del primo ordine.
• Formule Indipendenti dal Modello: Gli autori forniscono formule esplicite per la purezza e le entropie dello stato ridotto che dipendono esclusivamente da $|\lambda_k|^2$. Ciò elimina la necessità di ricostruire o diagonalizzare la matrice densità ridotta per ogni nuovo Hamiltoniano dipendente dal tempo.
• Separazione tra Dinamica e Diagnostica: Il framework fattorizza chiaramente il problema in due fasi:
  1. Dinamica dipendente dal modello: Risolvere l'equazione di Riccati per $\lambda_k$ usando input specifici $\omega_k(\eta)$ e $g_k(\eta)$.
  2. Diagnostica universale: Convertire $|\lambda_k|^2$ in misure informative usando formule fisse e universali.

Risultati
Il framework è dimostrato in due setup non stazionari distinti:

1. Perturbazioni Cosmologiche Primordiali:

   • Gli autori applicano il framework a modi con frequenza effettiva $\omega_k = \sqrt{k^2 + \alpha/\eta^2}$ e accoppiamento $g_k = -1/\eta$.
   • Le soluzioni numeriche mostrano che la rotazione di fase indotta dal background e l'ammorbidimento della frequenza (controllati dal parametro $\nu$) regolano la crescita dello squeezing.
   • Man mano che la frequenza effettiva si ammorbidisce (maggiore $\nu$), la competizione tra rotazione di fase e produzione di coppie si sposta, portando a un $|\lambda_k|$ più grande, una purezza del singolo modo ridotta e entropie aumentate.
   • I risultati chiariscono come la dinamica di background sopprima l'accumulo di squeezing coerente rispetto a un benchmark risonante ideale.

2. Amplificatore Parametrico Non Degenero a Impulso Chirpato:

   • Il framework viene applicato a un sistema con un inviluppo di pompa gaussiano e un detuning (chirp di frequenza) dipendente dal tempo.
   • I risultati catturano l'insorgenza ritardata della produzione di correlazioni (localizzata vicino al centro dell'impulso) e la soppressione dell'accumulo di squeezing dovuta al chirp.
   • A differenza del limite di accoppiamento costante, dove le entropie crescono indefinitamente, la durata finita della pompa e il chirp di frequenza portano a valori di saturazione finiti per la purezza e l'entropia nei tempi tardivi.
   • Il recupero numerico del limite standard $\tanh(\tau)$ per l'accoppiamento risonante costante valida le convenzioni di segno e la normalizzazione della proposta equazione di Riccati.

Significato e Rivendicazioni
Il documento sostiene che questa formulazione del rapporto di Bogoliubov offre uno strumento diagnostico efficiente e standardizzato per una vasta classe di sistemi bosonici quadratici parametricamente guidati. La sua importanza primaria risiede nel:

• Unificazione: Isola il contenuto informativo universale della produzione di coppie a due modi dai meccanismi fisici specifici (espansione cosmologica vs pompaggio ottico) responsabili dell'evoluzione.
• Efficienza Computazionale: Evitando la ricostruzione delle matrici densità ridotte per ogni modello, snellisce il calcolo delle metriche di informazione quantistica.
• Intuizione Fisica: Fornisce un meccanismo chiaro per comprendere come la rotazione di fase indotta dal background e l'ammorbidimento della frequenza regolino la miscelazione dello stato (mixedness) e la crescita dello squeezing.

Gli autori osservano che il framework si applica a qualsiasi sistema in cui lo stato evoluto mantenga una rappresentazione di Bogoliubov di coppia normalizzata generata da un Hamiltoniano quadratico hermitiano. Essi dichiarano esplicitamente che le estensioni a dinamiche genuinamente aperte (ad esempio, evoluzione Lindblad) o interazioni debolmente non gaussiane sono al di fuori dell'ambito del presente lavoro.