Espace de Fock

Fonction de Wigner d'un état de Fock avec 5 photons

L'espace de Fock est une construction algébrique utilisée en mécanique quantique pour construire l'espace des états quantiques d'un nombre variable ou inconnu de particules identiques à partir d'une seule particule de l'espace de Hilbert Modèle:Mvar. Il porte le nom de Vladimir A. Fock qui l'a présenté pour la première fois dans son article de 1932 "Konfigurationsraum und zweite Quantelung", traduisible par "espace de configuration et deuxième quantification." Modèle:,

De manière informelle, un espace de Fock est la somme d'un ensemble d'espaces de Hilbert représentant zéro état de particule, un état de particule, deux états de particule, et ainsi de suite. Si les particules identiques sont des bosons, les Modèle:Mvar états de particules sont des vecteurs dans un produit tensoriel symétrisé de Modèle:Mvar espaces de Hilbert à particule unique Modèle:Mvar. Si les particules identiques sont des fermions, les Modèle:Mvar états de particules sont des vecteurs dans un produit tensoriel antisymétrisé Modèle:Mvar espaces de Hilbert à particule unique Modèle:Mvar (Voir respectivement algèbre symétrique et algèbre extérieure). Un état général dans l'espace de Fock est une combinaison linéaire de Modèle:Mvar états de particules, un pour chaque Modèle:Mvar.

Techniquement, l'espace de Fock est (la complétion de l'espace de Hilbert de) la somme directe des tenseurs symétriques ou antisymétriques dans les puissances tensorielles d'un espace de Hilbert à particule unique Modèle:Mvar ,

$$F_{\nu }(H)=\stackrel{‾}{\underset{n=0}{\overset{\mathrm{\infty }}{⨁}}{S}_{\nu }{H}^{\otimes n}}.$$

Ici $S_{\nu }$ est l'⁣opérateur qui symétrise ou antisymétrise un tenseur, selon que l'espace de Hilbert décrit des particules obéissant au bosonique $(\nu =+)$ ou fermionique $(\nu =-)$ statistiques, et le surlignement représente l'achèvement de l'espace. L'espace de Fock bosonique (respectivement fermionique) peut également être construit comme (l'espace de Hilbert complétant) les tenseurs symétriques $F_{+}(H)=\overline{S^{*}H}$ (respectivement tenseurs alternatifs $F_{-}(H)=\overline{{\bigwedge }^{*}H}$). Pour chaque base de Modèle:Mvar, il existe une base naturelle de l'espace de Fock, les états de Fock.

Définition

L'espace de Fock est la somme directe (de Hilbert) des produits tensoriels de copies d'un espace de Hilbert à une seule particule $H$

$F_{\nu }(H)=\underset{n=0}{\overset{\mathrm{\infty }}{⨁}}{S}_{\nu }{H}^{\otimes n}=ℂ\oplus H\oplus \left(S_{\nu }(H\otimes H)\right)\oplus \left(S_{\nu }(H\otimes H\otimes H)\right)\oplus \dots$

Ici $ℂ$, les scalaires complexes, sont constitués des états correspondant à aucune particule, $H$ les états d'une particule, $S_{\nu }(H\otimes H)$ les états de deux particules identiques etc. Un état général en $F_{\nu }(H)$ est donné par

$|\mathrm{\Psi }{⟩}_{\nu }=|{\mathrm{\Psi }}_0{⟩}_{\nu }\oplus |{\mathrm{\Psi }}_1{⟩}_{\nu }\oplus |{\mathrm{\Psi }}_2{⟩}_{\nu }\oplus \dots =a|0⟩\oplus \sum _i{a}_i|{\psi }_i⟩\oplus \sum _{ij}{a}_{ij}|{\psi }_i,{\psi }_j{⟩}_{\nu }\oplus \dots$

où

$|0⟩$ est un vecteur de longueur 1 appelé état de vide et $a\in ℂ$ est un coefficient complexe,

$|{\psi }_i⟩\in H$ est un état dans l'espace de Hilbert à particule unique et $a_i\in ℂ$ est un coefficient complexe,

$|{\psi }_i,{\psi }_j{⟩}_{\nu }=\frac{1}{\sqrt{2}}(|{\psi }_i⟩\otimes |{\psi }_j⟩+\nu |{\psi }_j⟩\otimes |{\psi }_i⟩)\in S_{\nu }(H\otimes H)$, et $a_{ij}=\nu a_{ji}\in ℂ$ est un coefficient complexe,

etc.

La convergence de cette somme infinie est importante si $F_{\nu }(H)$ doit être un espace de Hilbert. Techniquement, nous avons besoin que $F_{\nu }(H)$ soit la complétion spatiale de Hilbert de la somme algébrique directe. Il se compose de tous les tuples infinis $|\mathrm{\Psi }{⟩}_{\nu }=(|{\mathrm{\Psi }}_0{⟩}_{\nu },|{\mathrm{\Psi }}_1{⟩}_{\nu },|{\mathrm{\Psi }}_2{⟩}_{\nu },\dots )$ tel que la norme, définie par le produit scalaire est finie

$$\Vert |\mathrm{\Psi }{⟩}_{\nu }{\Vert }_{\nu }^2=\sum _{n=0}^{\mathrm{\infty }}⟨{\mathrm{\Psi }}_n|{\mathrm{\Psi }}_n{⟩}_{\nu }<\mathrm{\infty }$$

où le $n$ la norme particulaire est définie par

$⟨{\mathrm{\Psi }}_n|{\mathrm{\Psi }}_n{⟩}_{\nu }=\sum _{i_1,\dots i_n,j_1,\dots j_n}{a}_{i_1,\dots ,i_n}^{*}{a}_{j_1,\dots ,j_n}⟨{\psi }_{i_1}|{\psi }_{j_1}⟩\cdots ⟨{\psi }_{i_n}|{\psi }_{j_n}⟩$

c'est-à-dire la restriction de la norme sur le produit tensoriel $H^{\otimes n}$

Pour deux états généraux

$|\mathrm{\Psi }{⟩}_{\nu }=|{\mathrm{\Psi }}_0{⟩}_{\nu }\oplus |{\mathrm{\Psi }}_1{⟩}_{\nu }\oplus |{\mathrm{\Psi }}_2{⟩}_{\nu }\oplus \dots =a|0⟩\oplus \sum _i{a}_i|{\psi }_i⟩\oplus \sum _{ij}{a}_{ij}|{\psi }_i,{\psi }_j{⟩}_{\nu }\oplus \dots$, et

$|\mathrm{\Phi }{⟩}_{\nu }=|{\mathrm{\Phi }}_0{⟩}_{\nu }\oplus |{\mathrm{\Phi }}_1{⟩}_{\nu }\oplus |{\mathrm{\Phi }}_2{⟩}_{\nu }\oplus \dots =b|0⟩\oplus \sum _i{b}_i|{\varphi }_i⟩\oplus \sum _{ij}{b}_{ij}|{\varphi }_i,{\varphi }_j{⟩}_{\nu }\oplus \dots$

le produit intérieur sur $F_{\nu }(H)$ est alors défini comme

$⟨\mathrm{\Psi }|\mathrm{\Phi }{⟩}_{\nu }:=\sum _n⟨{\mathrm{\Psi }}_n|{\mathrm{\Phi }}_n{⟩}_{\nu }=a^{*}b+\sum _{ij}{a}_i^{*}{b}_j⟨{\psi }_i|{\varphi }_j⟩+\sum _{ijkl}{a}_{ij}^{*}{b}_{kl}⟨{\psi }_i|{\varphi }_k⟩⟨{\psi }_j|{\varphi }_l{⟩}_{\nu }+\dots$

où nous utilisons les produits intérieurs sur chacun des espaces de Hilbert à $n$-particules. À noter, en particulier les $n$ les sous-espaces de particules sont orthogonaux pour des $n$ différents.

États du produit, particules indiscernables et base utile pour l'espace de Fock

Un état produit de l'espace de Fock est un état de la forme

$$|\mathrm{\Psi }{⟩}_{\nu }=|{\varphi }_1,{\varphi }_2,\cdots ,{\varphi }_n{⟩}_{\nu }=|{\varphi }_1⟩|{\varphi }_2⟩\cdots |{\varphi }_n⟩$$

qui décrit une collection de $n$ particules, dont l'une a un état quantique ${\varphi }_1$, une autre ${\varphi }_2$ et ainsi de suite jusqu'à la $n$^ème particule, où chaque ${\varphi }_i$ est un état quelconque de l'espace de Hilbert à particule unique $H$. Ici la juxtaposition (écriture des kets de particule unique côte à côte, sans le $\otimes$ ) est la multiplication symétrique (respectivement antisymétrique) dans l'⁣algèbre tensorielle symétrique (respectivement antisymétrique). L'état général dans un espace de Fock est une combinaison linéaire d'états produits. Un état qui ne peut pas être écrit comme une somme convexe d'états produits est appelé un état intriqué.

Quand on parle d'une particule dans l'état ${\varphi }_i$, il faut garder à l'esprit qu'en mécanique quantique des particules identiques sont indiscernables. Dans le même espace de Fock, toutes les particules sont identiques. (Pour décrire de nombreuses espèces de particules, nous prenons le produit tensoriel d'autant d'espaces de Fock différents qu'il y a d'espèces de particules considérées). L'une des caractéristiques les plus puissantes de ce formalisme est que les états sont implicitement correctement symétrisés. Par exemple, si l'état ci-dessus $|\mathrm{\Psi }{⟩}_{-}$ est fermionique, il vaudra 0 si deux (ou plus) des ${\varphi }_i$ sont égaux parce que le produit antisymétrique (extérieur) $|{\varphi }_i⟩|{\varphi }_i⟩=0$. Il s'agit d'une formulation mathématique du principe d'exclusion de Pauli selon lequel deux (ou plus) fermions ne peuvent pas être dans le même état quantique. En fait, chaque fois que les termes d'un produit formel sont linéairement dépendants ; le produit sera nul pour les tenseurs antisymétriques. De plus, le produit des états orthonormés est proprement orthonormé par construction (bien que possiblement nul dans le cas de Fermi, lorsque deux états sont égaux).

Une base utile et pratique pour un espace Fock est la base du nombre d'occupations. Étant donné une base $\{|{\psi }_i⟩{\}}_{i=0,1,2,\dots }$ de $H$, on peut désigner l'état par $n_0$ particules en état $|{\psi }_0⟩$, $n_1$ particules en état $|{\psi }_1⟩$, ..., $n_k$ particules en état $|{\psi }_k⟩$, et aucune particule dans les états restants, en définissant

$$|n_0,n_1,\dots ,n_k{⟩}_{\nu }=|{\psi }_0{⟩}^{n_0}|{\psi }_1{⟩}^{n_1}\cdots |{\psi }_k{⟩}^{n_k},$$

où chacun $n_i$ prend la valeur 0 ou 1 pour les particules fermioniques et 0, 1, 2, ... pour les particules bosoniques. Notez que les zéros à droite peuvent être supprimés sans changer l'état. Un tel état est appelé état de Fock. Quand les $|{\psi }_i⟩$ sont compris comme étant les états stables d'un champ libre, les états de Fock décrivent un assemblage de particules sans interaction en nombre défini. L'état de Fock le plus général est une superposition linéaire d'états purs.

Deux opérateurs de grande importance sont les opérateurs de création et d'annihilation, qui, en agissant sur un état de Fock, ajoutent ou suppriment respectivement une particule dans l'état quantique attribué. Ils sont notés $a^{†}(\varphi )$ pour la création et $a(\varphi )$ pour l'annihilation. Pour créer ("ajouter") une particule, l'état quantique $|\varphi ⟩$ est symétrique ou extérieur- multiplié par $|\varphi ⟩$ ; et respectivement pour annihiler ("supprimer") une particule, un produit intérieur (pair ou impair) est pris avec $⟨\varphi |$, qui est l'adjoint de $a^{†}(\varphi )$. Il est souvent pratique de travailler avec des états de la base de $H$ de sorte que ces opérateurs suppriment et ajoutent exactement une particule dans l'état de base donné. Ces opérateurs servent également de générateurs pour des opérateurs plus généraux agissant sur l'espace de Fock, par exemple l'⁣opérateur nombre donnant le nombre de particules dans un état spécifique $|{\varphi }_i⟩$ est $a^{†}({\varphi }_i)a({\varphi }_i)$.

Interprétation de la fonction d'onde

Souvent l'espace d'une particule $H$ est donné comme $L_2(X,\mu )$, l'espace des fonctions carrées intégrables sur un espace $X$ avec mesure $\mu$ (à proprement parler, les classes d'équivalence de fonctions carrées intégrables où les fonctions sont équivalentes si elles diffèrent sur un ensemble de taille négligeable). L'exemple type est la particule libre avec $H=L_2({ℝ}^3,d^{3}x)$ l'espace des fonctions carrées intégrables sur l'espace à trois dimensions. Les espaces de Fock ont alors une interprétation naturelle en tant que fonctions carrées intégrables symétriques ou antisymétriques comme suit.

Soit $X^0=\{*\}$ et $X^1=X$, $X^2=X\times X$, $X^3=X\times X\times X$ etc.

Considérons l'espace des tuples de points qui est l'⁣union disjointe

$$X^{*}=X^0⨆X^1⨆X^2⨆X^3⨆\cdots .$$

Il a une mesure naturelle ${\mu }^{*}$ tel que ${\mu }^{*}(X^0)=1$ et la restriction de ${\mu }^{*}$ à $X^n$ est ${\mu }^n$. L'espace même Fock $F_{+}(L_2(X,\mu ))$ peut alors être identifié à l'espace des fonctions symétriques dans $L_2(X^{*},{\mu }^{*})$ alors que l'espace impair de Fock $F_{-}(L_2(X,\mu ))$ peut être identifié à l'espace des fonctions antisymétriques. L'identification découle directement de la cartographie isométrique

$L_2(X,\mu {)}^{\otimes n}\to L_2(X^n,{\mu }^n)$

${\psi }_1(x)\otimes \cdots \otimes {\psi }_n(x)\mapsto {\psi }_1(x_1)\cdots {\psi }_n(x_n)$ .

Donnant les fonctions d'onde ${\psi }_1={\psi }_1(x),\dots ,{\psi }_n={\psi }_n(x)$, le déterminant de Slater

$\mathrm{\Psi }(x_1,\dots x_n)=\frac{1}{\sqrt{n!}}\left|\begin{array}{ccc}{\psi }_1(x_1)& \dots & {\psi }_n(x_1)\\ ⋮& & ⋮\\ {\psi }_1(x_n)& \dots & {\psi }_n(x_n)\end{array}\right|$

est une fonction antisymétrique sur $X^n$. Elle peut donc être naturellement interprétée comme un élément du secteur à $n$-particules de l'espace impair de Fock. La normalisation est choisie telle que $\Vert \mathrm{\Psi }\Vert =1$ si les fonctions ${\psi }_1,\dots ,{\psi }_n$ sont orthonormés. Il existe un "permanent de Slater" similaire avec le déterminant remplacé par le permanent qui donne des éléments de $n$-secteur de l'espace Fock pair.

Relation avec l'espace Segal-Bargmann

Définissons l'espace spatial Segal-Bargmann $B_N$ des fonctions holomorphes complexes intégrables au carré par rapport à une mesure gaussienne :

$${ℱ}^2\left({ℂ}^N\right)=\{f:{ℂ}^N\to ℂ\mid \Vert f{\Vert }_{{ℱ}^2({ℂ}^N)}<\mathrm{\infty }\}$$

où

$\Vert f{\Vert }_{{ℱ}^2({ℂ}^N)}:=\underset{{ℂ}^n}{\int }|f(𝐳){|}^2{e}^{-\pi |𝐳{|}^2}d𝐳$ .

Puis définissons un espace $B_{\mathrm{\infty }}$ comme l'union emboîtée des espaces $B_N$ sur les entiers $N\ge 0$. Segal et Bargmann ont montré Modèle:, que $B_{\mathrm{\infty }}$ est isomorphe à un espace bosonique de Fock. Le monôme

$x_1^{n_1}...x_k^{n_k}$

correspond à l'état de Fock

$$|n_0,n_1,\dots ,n_k{⟩}_{\nu }=|{\psi }_0{⟩}^{n_0}|{\psi }_1{⟩}^{n_1}\cdots |{\psi }_k{⟩}^{n_k}.$$

Voir également

• État de Fock
• Algèbre tensorielle
• Espace Fock holomorphe
• Opérateurs de création et d'annihilation
• Déterminant de Slater
• Le théorème de Wick
• Géométrie non commutative
• Ensemble grand-canonique, distribution thermique sur l'espace Fock

Liens externes

• (en) Diagrammes de Feynman et produits de Wick associés à l'espace q-Fock - analyse non commutative, Edward G. Effros et Mihai Popa, Department of Mathematics, UCLA
• R. Geroch, Mathematical Physics, Chicago University Press, chapitre 21.