Interactions between many (initially separate) quantum systems raise the question on how to prepare and how to compute the measurable results of their interaction. When one prepares each system individually and let them interact, one has to tensor multiply their density matrices and apply Hamiltonians on the composite system (i.e. the system which includes all the interacting systems) for definite time intervals. Evaluating the final state of one of the systems after multiple consecutive interactions, requires tracing all other systems out of the composite system, which may grow up to immense dimensions. For computation efficiency during the interaction(s) one may consider only the contemporary interacting partial systems, while tracing out the other non interacting systems. In concrete terms, the type of problems to which we direct this formulation is a ``target'' system interacting {\bf succesively} with ``incident'' systems, where the ``incident'' systems do not mutually interact. For example a two-level atom, interacting succesively with free electrons, or a resonant cavity interacting with radiatively free electrons, or a quantum dot interacting succesively with photons. We refer to a ``system'' as one of the components before interaction, while each interaction creates a ``composite system''. A new interaction of the ``composite system'' with another ``system'' creates a ``larger composite system'', unless we trace out one of the systems before this interaction. The scope of this work is to show that under proper conditions one may add a system to the composite system just before it interacts, and one may trace out this very system after it finishes to interact. We show in this work a mathematical proof of the above property and give a computational example.
- ID de l'article : 2510.10319
- Titre : On the validity of intermediate tracing in multiple quantum interactions
- Auteurs : Reuven Ianconescu, Bin Zhang, Aharon Friedman, Jacob Scheuer, Avraham Gover
- Classification : quant-ph (physique quantique)
- Date de publication : 11 octobre 2025 (prépublication arXiv)
- Lien de l'article : https://arxiv.org/abs/2510.10319
Cet article étudie le problème de l'efficacité computationnelle des interactions entre plusieurs systèmes quantiques initialement indépendants. Lorsque les systèmes interagissent successivement, il est nécessaire de former le produit tensoriel de leurs matrices de densité et d'appliquer l'hamiltonien sur le système composite. L'évaluation de l'état final d'un système après plusieurs interactions successives nécessite de tracer tous les autres systèmes du système composite, ce qui peut entraîner une croissance exponentielle de la dimensionnalité du système. Pour améliorer l'efficacité computationnelle, on peut envisager de conserver uniquement les systèmes participant à l'interaction courante et de tracer les autres systèmes non-interagissants. Cet article traite du problème des interactions successives entre un système « cible » et des systèmes « incidents » (les systèmes incidents n'interagissant pas entre eux), et démontre que, sous des conditions appropriées, on peut ajouter un système au système composite avant son interaction et le tracer après la fin de l'interaction.
- Problème fondamental : La complexité computationnelle des interactions entre systèmes quantiques multiples. Lorsque plusieurs systèmes quantiques interagissent successivement, la dimensionnalité du système composite croît exponentiellement, entraînant des besoins en ressources computationnelles considérables.
- Importance du problème :
- Applications largement répandues en optique quantique, physique des points quantiques, interactions électron-atome, etc.
- Implique les interactions résonantes électron libre-électron lié (FEBERI)
- Excitations optiques induites par faisceau d'électrons et génération d'intrication, recherches de pointe
- Limitations des méthodes existantes :
- Les méthodes traditionnelles nécessitent de maintenir le système composite multi-corps complet
- La complexité computationnelle croît exponentiellement avec le nombre de systèmes
- Les besoins en mémoire peuvent dépasser la capacité de traitement des ordinateurs
- Motivation de la recherche :
- Rechercher une méthode mathématiquement rigoureuse et computationnellement efficace
- Démontrer la validité de l'opération de traçage intermédiaire
- Fournir une base théorique pour la simulation pratique de systèmes quantiques
- Démonstration théorique : Fournir une preuve mathématique rigoureuse de la validité de l'opération de traçage intermédiaire, démontrant que les systèmes n'ont besoin d'exister dans le système composite que pendant leur période d'interaction
- Optimisation de l'efficacité computationnelle : Présenter trois stratégies différentes de gestion des systèmes, dont la stratégie optimale peut améliorer l'efficacité computationnelle de 60%
- Cadre universel : Établir un cadre théorique général applicable à diverses problèmes d'interactions quantiques
- Vérification numérique : Vérifier l'exactitude des prédictions théoriques par des exemples concrets de systèmes à trois qubits
L'objectif de la recherche est de déterminer, dans les interactions successives entre systèmes quantiques multiples, quand ajouter un système au système composite et quand le tracer, afin de maximiser l'efficacité computationnelle tout en maintenant la précision du calcul.
Considérer deux systèmes : le système A (système cible, interagissant avec les systèmes incidents) et le système B (un autre système incident).
La matrice de densité du système A ρA évolue selon l'hamiltonien HA :
dtdρA=i(ρAHA−HAρA)
Lorsque le système B est ajouté, la matrice de densité du système composite est :
ρS=ρA⊗ρB
Les matrices de densité des systèmes individuels peuvent être obtenues par l'opération de trace partielle :
ρA=TrBρS,ρB=TrAρS
Puisque le système B n'interagit pas avec A, on utilise l'hamiltonien :
HS=HA⊗U
où U est l'opérateur identité.
L'équation du mouvement du système composite est :
dtdρS=i[ρS,HS]=i(ρSHS−HSρS)
Par les propriétés du produit tensoriel et l'opération de trace partielle, on peut démontrer que :
- L'évolution du système A n'est pas affectée par la présence du système B
- Le système B reste inchangé : dtdρB=0
- Rigueur mathématique : Fournir une démonstration mathématique complète, plutôt que basée uniquement sur l'intuition ou la vérification numérique
- Universalité : Applicable à diverses scénarios d'interactions quantiques
- Praticité : Guider directement les stratégies de gestion des systèmes dans les calculs pratiques
Utiliser trois qubits (A, B, C) pour la vérification numérique :
- Qubit A : état propre positif de σx
- Qubit B : état propre positif de σy
- Qubit C : état propre positif de σz
Adopter une interaction pure spin-spin : H=σ⋅σ
Utiliser l'équation récursive pour l'évolution temporelle :
ρ(n+1)=ρ(n)+i⋅dt⋅(ρ(n)H−Hρ(n))
- Pas de temps : dt=1×10−4
- Nombre d'étapes d'évolution : 500
- Maintenir en permanence le système complet à trois qubits ρABC
- Toutes les interactions se déroulent dans l'espace à 8 dimensions
- Commencer par construire le système complet
- Tracer les systèmes qui ne participent plus après la première interaction
- La deuxième interaction se déroule dans l'espace à 4 dimensions
- Conserver uniquement les systèmes participant à l'interaction courante
- Les deux interactions se déroulent dans l'espace à 4 dimensions
Les trois stratégies produisent des paramètres d'état quantique final identiques :
Qubit A : r=0.98913, θ=95.072°, ϕ=6.3053°Qubit B : r=0.99507, θ=84.299°, ϕ=89.424°Qubit C : r=0.99399, θ=8.481°, ϕ=−83.706°
- La stratégie 2 améliore l'efficacité de 30% par rapport à la stratégie 1
- La stratégie 3 améliore l'efficacité de 60% par rapport à la stratégie 1
La vérification par analyse de probabilité de mesure a validé la pertinence physique des interactions :
- Première interaction (A-B) : A et B échangent partiellement les caractéristiques de l'état quantique, C reste inchangé
- Deuxième interaction (A-C) : A et C échangent partiellement les caractéristiques de l'état quantique, B reste inchangé
Cet article s'appuie sur les recherches antérieures de l'équipe d'auteurs concernant FEBERI (interactions résonantes électron libre-électron lié), notamment :
- Analyse de l'interaction entre paquets d'ondes quantiques et systèmes à deux niveaux
- Recherche sur l'excitation cohérente multi-électrons
- Origines quantiques des phénomènes d'émission spontanée et de superradiance
- Excitation des modes de galerie induite par faisceau d'électrons
- Sous des conditions appropriées, les systèmes quantiques n'ont besoin d'exister dans le système composite que pendant leur période d'interaction
- On peut ajouter un système avant son interaction et le tracer immédiatement après la fin de l'interaction
- Cette méthode améliore significativement l'efficacité computationnelle tout en maintenant la précision du calcul
Cette théorie a une importance directrice pour les domaines de recherche suivants :
- Interactions multi-électrons-TLS dans les processus FEBERI
- Interactions entre fonctions d'onde d'électrons quantiques et modes de rayonnement
- Analyse de l'évolution des phénomènes de superradiance
- Exige qu'il y ait au maximum un électron dans la région d'interaction pendant le temps d'interaction
- Applicable aux cas où les systèmes incidents n'interagissent pas directement entre eux
- Nécessite que les interactions entre systèmes soient localisées
- Rigueur théorique : Fournir une démonstration mathématique complète avec une base théorique solide
- Valeur pratique : Résoudre directement le problème d'efficacité dans le calcul quantique multi-corps
- Universalité forte : Applicable à diverses scénarios d'interactions quantiques
- Vérification suffisante : Vérifier les prédictions théoriques par des exemples numériques
- Limitations du domaine d'application : Applicable uniquement à des types spécifiques de modèles d'interaction
- Extensibilité aux systèmes complexes : Peut nécessiter une extension supplémentaire pour les réseaux d'interactions plus complexes
- Absence de vérification expérimentale : Manque de vérification expérimentale sur des systèmes quantiques réels
- Contribution théorique : Fournir un outil théorique important pour le calcul quantique multi-corps
- Valeur pratique : Peut améliorer significativement l'efficacité computationnelle des simulations quantiques connexes
- Potentiel de développement : Jeter les bases pour la simulation efficace de systèmes quantiques plus complexes
- Interactions multi-photons-atomes en optique quantique
- Interactions électron-échantillon en microscopie électronique
- Interactions successives entre points quantiques et photons
- Interactions quantiques contrôlables dans les systèmes d'atomes froids
L'article cite 21 références connexes, couvrant principalement :
- Théorie fondamentale de l'excitation optique induite par faisceau d'électrons
- Intrication de photons induite par électrons libres
- Technologie PINEM et tomographie d'état quantique
- Couplage d'électrons aux modes de galerie
- Cohérence quantique et phénomènes de superradiance
Évaluation générale : Cet article est une contribution théorique rigoureuse et pratiquement utile en physique quantique, fournissant une base théorique importante et une méthode pratique pour le calcul efficace des interactions entre systèmes quantiques multiples. Bien que le domaine d'application soit quelque peu limité, il possède une importance directrice significative dans son domaine d'applicabilité.