mathématiques

opérateur trace

Opérateur trace — anatomie d'une formule
5 formules

Description

L'opérateur trace est une fonction mathématique qui prend une matrice carrée et renvoie la somme de ses éléments diagonaux. En physique, il apparaît constamment en mécanique quantique et en mécanique statistique, où il fournit un moyen de calculer les valeurs moyennes et les probabilités à partir des matrices densité. La trace est invariante par changement de base, ce qui signifie qu'elle capture les propriétés intrinsèques d'une application linéaire plutôt que des artefacts d'un système de coordonnées particulier.

Histoire

Le concept de trace remonte au XIXe siècle, avec des utilisations précoces dans la théorie des matrices par des mathématiciens comme Arthur Cayley et James Joseph Sylvester. Son application systématique en physique s'est développée avec l'avènement de la mécanique quantique dans les années 1920.

Comment ça marche

Pour une matrice A de coefficients A_ij, la trace est définie par tr(A) = Σ_i A_ii. Cette somme simple possède des propriétés puissantes : tr(AB) = tr(BA) pour deux matrices quelconques (même si AB et BA peuvent différer), et tr(UAU⁻¹) = tr(A) pour toute matrice inversible U. En mécanique quantique, la valeur moyenne d'une observable O dans un état décrit par la matrice densité ρ est ⟨O⟩ = tr(ρO), et la trace de ρ elle-même est toujours égale à 1 pour un état normalisé.

En pratique

L'opérateur trace est essentiel en informatique quantique pour simuler des circuits quantiques, en physique de la matière condensée pour calculer les fonctions de partition, et en apprentissage automatique pour la factorisation de matrices et la régularisation.

Anecdote

La trace d'une matrice est égale à la somme de ses valeurs propres, comptées avec leur multiplicité, ce qui explique sa présence dans le polynôme caractéristique et dans la définition du déterminant.

Concept graph →

Formules

$$F(U,V) = \frac{1}{N} |\operatorname{Tr}(U^{\dagger}V)|$$
Measure of similarity between two unitary matrices.
Ce qu'il y a dans la formule
UvariableFirst unitary matrix — unitary matrix
VvariableSecond unitary matrix — unitary matrix
NvariableDimension of the Hilbert space — dimension
TropérateurSum of diagonal elements of a matrix — opérateur trace
†opérateurConjugate transpose of a matrix — hermitian conjugate
| |opérateurMagnitude of a complex number — valeur absolue
$$D(\rho \| \sigma) = \mathrm{tr}[\rho (\log \rho - \log \sigma)]$$
Measures distinguishability between two quantum states.
Ce qu'il y a dans la formule
ρvariabledensity operator of the first quantum state — density operator
σvariabledensity operator of the second quantum state — density operator
tropérateursums diagonal elements of an operator in any basis — opérateur trace
logopérateurtakes the operator logarithm, defined via spectral decomposition — matrix logarithm
$$S = -\operatorname{tr}(\rho \ln \rho)$$
Entropy of a quantum system given its density matrix ρ.
Ce qu'il y a dans la formule
Svariablevon Neumann entropy — entropie joule per kelvin
ρvariabledensity matrix of the quantum state — matrice de densité
tropérateursums diagonal elements of a matrix — opérateur trace
lnopérateurtakes the natural logarithm — logarithme naturel
$$\operatorname{Tr}[A\rho]$$
The expectation value of operator A in quantum state ρ.
Ce qu'il y a dans la formule
AvariableOperator whose expectation is taken — operator
ρvariableDensity matrix (quantum state) — matrice de densité
TropérateurComputes the sum of diagonal elements of a matrix — opérateur trace
$$F(\rho, \sigma) = \operatorname{Tr}\sqrt{\sqrt{\rho}\sigma\sqrt{\rho}}$$
Quantum fidelity measures similarity between two quantum states.
Ce qu'il y a dans la formule
FvariableQuantum fidelity between states — fidélité
ρvariableDensity matrix of first quantum state — matrice de densité
σvariableDensity matrix of second quantum state — matrice de densité
TropérateurSum of diagonal elements of a matrix — opérateur trace
√opérateurPrincipal square root of a positive semidefinite matrix — matrix square root

Articles liés · 0

Pas encore d'articles