Path Integral Approach to Input-Output Theory

Cet article présente une formulation par intégrale de chemin de Schwinger-Keldysh de la théorie entrée-sortie qui simplifie l'analyse des systèmes quantiques non linéaires en fournissant un accès direct aux statistiques complètes du champ de sortie, comme démontré par le calcul des statistiques d'un oscillateur de Kerr où le squeezing de sortie est identifié comme la cause d'une réflexion réduite.

L'essentiel

La vue d'ensemble : Écouter l'écho

Imaginez que vous avez un instrument de musique à l'intérieur d'une boîte insonorisée (une cavité). Vous voulez savoir ce que fait l'instrument, mais vous ne pouvez pas ouvrir la boîte. Au lieu de cela, vous écoutez le son qui s'échappe par un petit trou (la sortie).

Dans le monde de la physique quantique, c'est exactement ce que font les scientifiques avec la lumière. Ils envoient un laser dans une toute petite boîte contenant un système quantique (comme un atome ou un cristal spécial) et mesurent la lumière qui rebondit ou s'échappe. C'est ce qu'on appelle la théorie entrée-sortie.

Habituellement, si la boîte contient un système simple et prévisible (comme un miroir standard), il est facile de calculer à quoi ressemblera la lumière de sortie. Mais si le système à l'intérieur est non linéaire — ce qui signifie qu'il se comporte de manière complexe, chaotique ou « capricieuse » (comme une corde de guitare qui change sa propre tension lorsqu'on la pince fort) — les mathématiques deviennent un cauchemar. Les outils traditionnels peinent à prédire ce que fera la lumière de sortie dans ces scénarios complexes.

Le nouvel outil : Un « livre de recettes » pour le chaos

Les auteurs de cet article (Aaron Daniel, Matteo Brunelli, Aashish Clerk et Patrick Potts) ont créé un nouveau « livre de recettes » mathématique pour résoudre ce problème. Ils utilisent une méthode appelée l'intégrale de chemin de Schwinger-Keldysh.

Pensez-y ainsi :

• L'ancienne méthode : Tenter de résoudre un puzzle complexe en examinant chaque pièce individuellement. C'est lent, et si le puzzle devient trop grand (non linéaire), vous restez bloqué.
• La nouvelle méthode : Utiliser une approche « diagrammatique ». Au lieu d'écrire des équations sans fin, les auteurs dessinent des images (des diagrammes) qui représentent comment les particules interagissent. C'est comme utiliser un organigramme pour résoudre un labyrinthe au lieu d'essayer de mémoriser chaque tournant.

Comment cela fonctionne : L'« Ombre » et le « Fantôme »

Pour rendre cela fonctionnel, les auteurs utilisent un tour de passe-passe astucieux impliquant deux types de « champs » (des descriptions mathématiques de la lumière) :

1. Le champ classique : C'est comme le comportement « moyen » de la lumière, la partie que vous pouvez facilement mesurer.
2. Le champ quantique : C'est la partie « fantôme », représentant le bruit quantique étrange et fluctuant qui rend les choses imprévisibles.

En traitant la lumière à l'intérieur de la boîte et la lumière qui s'échappe comme une seule et même histoire connectée, ils peuvent dessiner des diagrammes pour calculer exactement à quoi ressemblera la lumière de sortie, y compris ses propriétés statistiques (à quel point les photons sont « groupés » ou « dispersés »).

La découverte principale : La réflexion « comprimée »

Les auteurs ont testé leur nouvelle méthode sur un système spécifique et délicat appelé oscillateur de Kerr. Imaginez un balançoire qui devient plus rigide plus vous la poussez fort.

Ils ont découvert quelque chose de surprenant concernant la lumière se réfléchissant sur ce système :

• Le mystère : Lorsqu'ils ont mesuré la lumière sortante, la « réflexion » (la quantité de lumière renvoyée) était inférieure à ce qui était attendu.
• L'ancienne explication : Habituellement, si moins de lumière revient, cela signifie que de la lumière a été perdue ou absorbée à l'intérieur de la boîte.
• La nouvelle explication : Les auteurs ont prouvé qu'aucune lumière n'était perdue. Au lieu de cela, la lumière était « comprimée ».

L'analogie : Imaginez un ballon rempli d'air. Si vous serrez le ballon, l'air ne disparaît pas ; il est simplement tassé plus serré dans une forme différente. De même, le système non linéaire à l'intérieur de la boîte n'a pas « mangé » les photons ; il les a réarrangés. La lumière est devenue « comprimée », changeant sa forme statistique de sorte qu'elle semblait moins réfléchissante, même si le nombre total de photons restait le même.

Pourquoi cela compte

1. C'est plus simple : Leur méthode par diagrammes rend le calcul de systèmes quantiques complexes beaucoup plus simple que les méthodes précédentes.
2. C'est précis : Cela fonctionne même lorsque le système est chaud (température finie), ce qui est une condition réelle courante avec laquelle d'autres méthodes ont du mal.
3. Cela révèle des vérités cachées : Cela permet de repérer des effets (comme la compression mentionnée ci-dessus) que les calculs « moyens » standards manqueraient complètement.

Résumé

Cet article présente une nouvelle façon visuelle de faire les mathématiques pour les expériences de lumière quantique. Au lieu de se perdre dans des équations compliquées, les scientifiques peuvent désormais utiliser des diagrammes pour prédire comment des systèmes quantiques complexes et « capricieux » se comporteront. Ils ont utilisé cet outil pour découvrir qu'un type spécifique de système non linéaire ne perd pas de lumière lorsqu'il se réfléchit ; il « comprime» simplement la lumière dans une forme différente, plus difficile à détecter. Cela nous aide à mieux comprendre et contrôler les systèmes quantiques à l'avenir.

Résumé technique

1. Énoncé du problème

La théorie entrée-sortie est une pierre angulaire de l'optique quantique, utilisée pour décrire les systèmes quantiques (comme les cavités) sondés par la lumière. Elle relie la dynamique interne d'un système à la lumière qui y entre et en sort.

• La limitation : Bien que la théorie entrée-sortie standard (basée sur les équations de Langevin quantiques) fonctionne bien pour les systèmes linéaires, elle devient analytiquement ingérable pour les systèmes non linéaires (par exemple, les oscillateurs de Kerr). Le calcul des statistiques du champ de sortie (telles que les fonctions de cohérence $G^{(n)}$) pour les systèmes non linéaires nécessite généralement la résolution de hiérarchies complexes d'équations ou l'utilisation d'équations maîtresses qui ne donnent pas directement les statistiques de sortie.
• Le vide théorique : Il existe un manque de méthodes théoriques systématiques pour calculer les statistiques de la lumière sortant d'une cavité non linéaire, en particulier à température finie. Les méthodes existantes peinent souvent avec les termes croisés entre les champs d'entrée et les modes de la cavité lors du calcul des corrélations d'ordre supérieur.

2. Méthodologie

Les auteurs proposent un cadre novateur combinant la théorie entrée-sortie avec le formalisme intégral de chemin de Schwinger-Keldysh (un outil de la théorie quantique des champs hors équilibre).

• Formalisme central :

  • Au lieu de résoudre les équations de Langevin, les auteurs dérivent un fonctionnel générateur de moments (MGF), $\Lambda_{out}[\chi, \chi']$, pour le champ de sortie $\hat{b}_{out}$.
  • Cela est obtenu en intégrant les degrés de liberté du bain sur l'action totale système-bain, aboutissant à une action effective $S_{out}$ qui ne dépend que des champs du système ($\phi_{cl}, \phi_q$) et des champs sources ($\chi, \chi'$) couplés à la sortie.
  • L'action inclut un terme source spécifique qui garantit que les fonctions de corrélation résultantes sont normalement ordonnées et ordonnées dans le temps, ce qui est crucial pour les statistiques de détection photonique.

• Développement perturbatif :

  • L'action est divisée en une partie gaussienne (cavité linéaire) et une partie d'interaction ($S_{int}$) représentant la non-linéarité (par exemple, le terme de Kerr).
  • Les auteurs effectuent un développement en cumulants du MGF. Cela leur permet de traiter la non-linéarité de manière perturbative.
  • Technique diagrammatique : Ils développent un ensemble de règles diagrammatiques (analogues aux diagrammes de Feynman) pour calculer ces cumulants.
    • Sommets : Représentent l'interaction non linéaire (par exemple, $U \hat{a}^\dagger \hat{a}^\dagger \hat{a} \hat{a}$).
    • Lignes : Représentent les fonctions de Green (Retardées, Avancées, Keldysh) reliant les champs du système.
    • Pattes externes : Les carrés représentent les sources d'entrée ; les demi-cercles représentent les détecteurs de sortie.
    • Règles : Des règles spécifiques de causalité et de connectivité sont établies pour éliminer les termes nuls et simplifier les calculs.

• Somme partielle :

  • Pour aller au-delà de la perturbation d'ordre faible, les auteurs introduisent des techniques de somme partielle.
  • Somme des boucles : Des sous-ensembles infinis de diagrammes de "boucle" (boucles thermiques) sont sommés analytiquement en "habillant" les fonctions de Green, déplaçant efficacement le paramètre de désaccord pour inclure les effets thermiques ($\Delta \to \Delta + 4n_B U$).
  • Lien avec le champ moyen : Ils montrent que la somme de classes spécifiques de diagrammes correspond à une théorie du champ moyen à température finie pour le champ intra-cavité.

3. Contributions clés

1. Accès direct aux statistiques de sortie : Le formalisme fournit une voie directe pour calculer les cumulants du champ de sortie (par exemple, $\langle \hat{b}_{out}^\dagger \hat{b}_{out} \rangle$, $G^{(2)}$) sans avoir besoin de résoudre d'abord la matrice de densité intra-cavité complète pour ensuite la mapper sur la sortie.
2. Cadre unifié pour la non-linéarité : Il fait le pont entre l'optique quantique et la théorie des champs hors équilibre, rendant disponibles des outils puissants tels que les développements diagrammatiques et les techniques de renormalisation pour les problèmes entrée-sortie.
3. Gestion de la température finie : La méthode intègre naturellement les effets de température finie ($n_B \neq 0$) via la fonction de distribution $F = 2n_B + 1$ dans les fonctions de Green de Keldysh, évitant la complexité des équations maîtresses thermiques.
4. Règles diagrammatiques pour la sortie : L'article établit un ensemble complet de règles pour construire et évaluer des diagrammes spécifiquement pour les corrélations du champ de sortie, incluant les facteurs de multiplicité et les contraintes de causalité.

4. Résultats : Application à l'oscillateur de Kerr

Les auteurs appliquent leur formalisme à un oscillateur non linéaire de Kerr piloté de manière cohérente ($H_{int} = U \hat{a}^\dagger \hat{a}^\dagger \hat{a} \hat{a}$).

• Probabilité de réflexion :

  • Ils constatent que le coefficient de réflexion $R$ diminue en raison de la non-linéarité de Kerr.
  • Insight crucial : Cette réduction n'est pas due à une perte de photons (le système est unitaire concernant la conservation du nombre de photons dans le processus de réflexion). Elle résulte plutôt du squeezing (compression) de la lumière de sortie. La non-linéarité redistribue les statistiques photoniques, réduisant l'amplitude cohérente tout en augmentant les fluctuations.
  • La théorie du champ moyen standard échoue à capturer cette réduction de réflexion, prédisant toujours $R=1$, tandis que l'approche diagrammatique prédit correctement $R < 1$.

• Fonctions de cohérence :

  • $G^{(1)}$ (Premier ordre) : La fonction de cohérence du premier ordre montre une décroissance aux temps longs cohérente avec la probabilité de réflexion réduite.
  • $G^{(2)}$ (Second ordre) : La fonction de cohérence du second ordre normalisée $g^{(2)}$ présente un regroupement (bunching) ou un anti-regroupement (anti-bunching) selon le désaccord du pilotage. Le $g^{(2)}$ de sortie se comporte de manière nettement différente du $g^{(2)}$ intra-cavité, soulignant l'importance de calculer directement les statistiques de sortie.

• Spectre de squeezing :

  • La lumière de sortie est comprimée à température nulle. À température finie, ce squeezing est fortement supprimé, un résultat capturé avec précision par l'approche des fonctions de Green habillées.

• Validation :

  • À température nulle, les résultats correspondent aux solutions exactes de la littérature (Réf. [34]).
  • À température finie, les résultats sont mis en regard avec des simulations numériques (utilisant QuantumOptics.jl), montrant un excellent accord.

5. Importance

• Avancement théorique : Ce travail résout une difficulté de longue date en optique quantique : le calcul systématique des statistiques de sortie pour les systèmes pilotés-dissipatifs non linéaires. Il dépasse les limites des équations de Langevin quantiques et des approches standard d'équations maîtresses.
• Utilité pratique : L'approche diagrammatique simplifie des calculs complexes qui nécessiteraient autrement la dérivation de hiérarchies d'équations fastidieuses. La capacité à effectuer des sommes partielles (resommation des boucles) permet de capturer des effets non perturbatifs (comme les décalages de fréquence) même avec un point de départ perturbatif.
• Applicabilité large : Bien que démontré sur un oscillateur de Kerr, le cadre est général. Il peut être étendu aux systèmes à quelques niveaux, aux systèmes de spin, aux degrés de liberté fermioniques, et aux systèmes avec des bains comprimés ou des pilotages paramétriques. Cela est particulièrement pertinent pour le domaine émergent de l'ingénierie des matériaux de cavité, où le couplage lumière-matière est utilisé pour modifier les propriétés des systèmes à plusieurs corps.
• Insight physique : La découverte que la réduction de réflexion dans une cavité non linéaire sans perte est pilotée par le squeezing de sortie plutôt que par une fuite fournit une nouvelle intuition physique pour les phénomènes de QED de cavité non linéaire.

En résumé, l'article établit un cadre robuste d'intégrale de chemin diagrammatique qui unifie la théorie entrée-sortie avec la théorie des champs hors équilibre, permettant le calcul précis et intuitif des statistiques du champ de sortie pour des systèmes quantiques non linéaires complexes à température finie.