Simplification ou développement contrôlé qui approxime l'opérateur d'évolution temporelle exact ou l'état propagé, incluant des techniques telles que le fractionnement Trotter–Suzuki, l'expansion de Magnus, la série de Dyson, l'approximation adiabatique et les expansions perturbatives dépendantes du temps.

Principe

Remplacer l'exponentielle ordonnée exacte par une suite, une série ou un Hamiltonien effectif sous des conditions où les erreurs de troncature sont bornées et les critères de convergence (petits pas de temps, grands gaps, couplage faible) sont satisfaits ; quantifier l'accumulation d'erreurs et préserver la structure requise lorsqu'il est possible (unitarité à l'ordre considéré).

Démonstration

Fractionnement de Trotter d'ordre deux pour H=A+B : sur un petit pas de temps dt, approximer e^{-i(A+B)dt} ≈ e^{-iA dt/2} e^{-iB dt} e^{-iA dt/2} ; l'approximation adiabatique suit les états propres instantanés lorsque l'Hamiltonien varie lentement par rapport aux gaps, produisant des corrections de phase de Berry.

Mauvaise application

Utiliser une décomposition de Trotter d'ordre faible avec des pas de temps trop grands pour des simulations longues entraînant une croissance séculaire des erreurs ; appliquer l'approximation adiabatique à travers un croisement évité où le gap se ferme, produisant des probabilités de transition qualitativement fausses.

Conséquence

Fournit des algorithmes exploitables avec échélons d'erreur connus, permettant une simulation évolutive et un aperçu analytique ; lorsque les bornes d'erreur sont respectées, les approximations convergent vers l'évolution exacte et permettent une extrapolation contrôlée.

Inversion

La propagation exacte par diagonalisation ou des intégrateurs numériquement exacts supprime l'erreur d'approximation mais peut être infaisable ; les déroulements stochastiques ou méthodes variationnelles offrent des approximations alternatives avec des compromis d'erreur différents.

Limite

Valide seulement sous les hypothèses de l'expansion choisie (propriétés de commutation, petitesse du pas de temps, taille du gap, force de la perturbation) ; des ruptures surviennent pour une dépendance temporelle non analytique, des opérateurs singuliers ou une accumulation d'erreurs à long terme au-delà des bornes.

Tension sémantique

Conflit entre familles d'approximation : les schémas de fractionnement locaux favorisent la factorisation à court terme tandis que les approximations adiabatiques/perturbatives reposent sur un changement lent ou un couplage faible ; les deux revendiquent validité dans des régimes chevauchants mais distincts.

Synthèse

Une Approximation De L'Évolution Temporelle est un remplacement justifié du propagateur exact par une série, un fractionnement ou un générateur effectif contrôlé, avec un comportement d'erreur quantifié et un domaine de validité, choisi pour équilibrer précision et faisabilité informatique ou analytique.