Normal-ordered equivalent of the Weyl ordering of $\hat{q}^j \hat{p}^k$

Cet article présente une formule explicite pour l'équivalent normal-ordonné de l'ordre de Weyl de l'opérateur $\hat{q}^j \hat{p}^k$, exprimé en termes des opérateurs de création et d'annihilation, et discute de certaines relations associées.

L'essentiel

Imagine que vous essayez de traduire une recette de cuisine classique (le monde réel) en une recette pour un robot très pointilleux (le monde quantique).

Dans le monde classique, si vous mélangez de la farine ($q$) et du sucre ($p$), l'ordre dans lequel vous les mettez dans le bol n'a pas d'importance : $q \times p$ est la même chose que $p \times q$.

Mais dans le monde quantique, les ingrédients sont des "opérateurs" magiques. Si vous mettez la farine avant le sucre, le robot fait une chose. Si vous mettez le sucre avant la farine, il fait quelque chose de totalement différent ! C'est ce qu'on appelle l'ambiguïté d'ordre. Le problème, c'est que pour faire une bonne traduction (une "quantification"), il faut savoir exactement dans quel ordre mettre les ingrédients.

Le Problème : Trop de choix possibles

L'auteur de cet article, Hendry M. Lim, s'intéresse à un problème précis : comment traduire un mélange de $j$ fois de la farine et $k$ fois de sucre ($q^j p^k$) ?

Il existe plusieurs façons de décider de l'ordre :

1. L'ordre normal : Mettre tout le sucre d'abord, puis toute la farine. (C'est pratique pour mesurer les résultats).
2. L'ordre de Weyl : C'est une méthode très équitable. Imaginez que vous prenez toutes les permutations possibles de vos ingrédients, vous les mélangez dans un grand saladier, et vous en prenez la moyenne. C'est la méthode "Weyl". Elle est très populaire car elle correspond à une représentation mathématique très élégante appelée "représentation de Wigner".

Le défi de l'article est le suivant : Comment transformer cette moyenne équitable (Weyl) en une recette "normale" (tout le sucre avant la farine) ?

La Solution : Une recette mathématique

L'auteur a trouvé une formule magique pour faire cette conversion. Voici comment il y est arrivé, avec une analogie :

1. Les Opérateurs "Ladder" (Échelle) : Au lieu de parler de farine et de sucre, il utilise des outils mathématiques appelés opérateurs de création ($a^\dagger$) et d'annihilation ($a$).

   • Imaginez que $a^\dagger$ est un bouton "Ajouter un grain de sucre".
   • Et que $a$ est un bouton "Retirer un grain de sucre".
   • L'astuce, c'est que ces boutons ne sont pas commutatifs : appuyer sur "Ajouter" puis "Retirer" ne donne pas le même résultat que l'inverse.

2. Le Décompte des Permutations (Le "Forced Ordering") :
   Au lieu de lister chaque permutation une par une (ce qui serait long et fastidieux), l'auteur a inventé une méthode de comptage intelligente. Il imagine qu'il force les ingrédients à changer de place et compte combien de fois chaque combinaison apparaît.

   • C'est comme si vous aviez un tas de cartes avec des signes "+" et "-". Vous devez compter combien de façons vous pouvez les assembler pour obtenir un résultat spécifique.

3. Le Résultat Final (La Formule) :
   L'auteur a réussi à écrire une formule qui prend n'importe quel mélange de farine et de sucre ($q^j p^k$), le transforme en une moyenne équitable (Weyl), puis le convertit immédiatement en une liste ordonnée où tous les boutons "Ajouter" ($a^\dagger$) sont placés avant les boutons "Retirer" ($a$).

   Cette formule utilise des nombres spéciaux (comme les coefficients binomiaux, que vous connaissez peut-être du triangle de Pascal) et des polynômes pour calculer exactement combien de fois chaque combinaison doit apparaître.

Pourquoi est-ce important ?

En physique quantique, on veut souvent prédire ce qui va se passer dans un système (comme un oscillateur ou un atome). Pour faire des calculs précis, il est beaucoup plus facile de travailler avec des ingrédients bien rangés (l'ordre normal) que avec un mélange chaotique.

Cet article fournit donc un dictionnaire de traduction automatique. Si vous avez une équation classique un peu désordonnée, vous pouvez utiliser la formule de l'auteur pour la transformer instantanément en une équation quantique propre et utilisable, sans avoir à faire des heures de calculs à la main pour chaque nouveau cas.

En résumé

• Le problème : Comment passer d'un mélange équitable de quantités quantiques à un ordre bien rangé ?
• La méthode : Utiliser des outils mathématiques (opérateurs de création/annihilation) et compter intelligemment les permutations.
• Le résultat : Une formule claire qui permet de réécrire n'importe quel mélange quantique complexe sous une forme simple et standardisée.

C'est comme si l'auteur avait créé un algorithme qui prend une recette de cuisine chaotique et la réécrit automatiquement dans le format parfait pour que le robot quantique puisse la cuisiner sans erreur !

Résumé technique

1. Problématique

Le papier aborde un problème fondamental en mécanique quantique : l'ambiguïté d'ordre lors de la quantification d'un système dynamique bivarié (défini par la position canonique $q$ et l'impulsion $p$).

• Contexte : En mécanique classique, les variables commutent ($qp = pq$). En mécanique quantique, les opérateurs correspondants $\hat{q}$ et $\hat{p}$ ne commutent pas ($[\hat{q}, \hat{p}] = i\hbar$).
• Le défi : Lorsqu'on cherche à quantifier un terme classique de la forme $q^j p^k$, il existe plusieurs façons d'ordonner les opérateurs ($\hat{q}^j \hat{p}^k$, $\hat{p}^k \hat{q}^j$, ou des combinaisons linéaires).
• L'approche choisie : L'auteur se concentre sur l'ordre de Weyl, qui correspond à la moyenne symétrique de toutes les permutations possibles des opérateurs. Cette approche est cruciale car elle établit la correspondance de Wigner-Weyl, reliant la mécanique quantique à la représentation de l'espace des phases.
• L'objectif : Exprimer l'ordre de Weyl de l'opérateur $\hat{q}^j \hat{p}^k$ non pas en termes de $\hat{q}$ et $\hat{p}$, mais en termes d'opérateurs de création ($\hat{a}^\dagger$) et d'annihilation ($\hat{a}$), puis convertir ce résultat en sa forme normalement ordonnée (où tous les $\hat{a}^\dagger$ précèdent tous les $\hat{a}$).

2. Méthodologie

L'auteur utilise une approche combinatoire directe (« brute force ») couplée à des techniques de sommation mathématique avancées.

• Définition des opérateurs : Introduction des opérateurs d'échelle $\hat{a} = (\hat{q} + i\hat{p})/\sqrt{2\hbar}$ et $\hat{a}^\dagger = (\hat{q} - i\hat{p})/\sqrt{2\hbar}$, satisfaisant $[\hat{a}, \hat{a}^\dagger] = 1$.
• Ordre forcé (Forced Ordering) : Au lieu de sommer sur les ordres distincts (ce qui est complexe car les opérateurs identiques sont indiscernables), l'auteur somme sur les « ordres forcés » $\sigma$. Cela signifie traiter chaque permutation des $j+k$ opérateurs individuels comme distincte, même si certains opérateurs sont identiques.
  • L'opérateur symétrisé est défini comme $\hat{S}_{jk} = \frac{1}{(j+k)!} \sum_{\sigma} (\hat{q}^j \hat{p}^k)_\sigma$.
• Développement algébrique : En substituant $\hat{q}$ et $\hat{p}$ par leurs expressions en fonction de $\hat{a}$ et $\hat{a}^\dagger$, le produit devient une somme de termes de la forme $\hat{a}^\dagger \hat{a}$.
• Analyse combinatoire : Le cœur de la méthode réside dans l'évaluation de la somme sur toutes les permutations $\sigma$ des signes associés aux opérateurs ($+1$ pour $\hat{q}$, $-1$ pour $\hat{p}$). La somme est décomposée en trois facteurs :
  1. $\lambda_{jkuv}$ : Un facteur factoriel lié au nombre de permutations.
  2. $\xi_{jkuv}$ : Un facteur lié aux coefficients, identifié comme provenant de triangles de Pascal échelonnés par des fonctions de Bessel (concatenated Bessel-scaled Pascal triangles).
  3. $\zeta_{jkuv}$ : Une somme de produits de signes, qui se révèle être une convolution de Vandermonde à signes alternés.
• Utilisation de la combinatoire : L'auteur exploite l'identité de la convolution de Vandermonde alternée pour exprimer $\zeta_{jkuv}$ comme le coefficient de $x^{u+v}$ dans le développement du polynôme $(1+x)^j (1-x)^k$.

3. Résultats Principaux

L'article aboutit à une formule explicite pour l'équivalent normalement ordonné de l'ordre de Weyl de $\hat{q}^j \hat{p}^k$.

• Formule Générale :
  L'opérateur $\hat{S}_{jk}$ (ordre de Weyl de $\hat{q}^j \hat{p}^k$) s'écrit :
  $$\hat{S}_{jk} = \sum_{u=0}^{(j+k)/2} \sum_{v=0}^{j+k-2u} h_{jkuv} \, \hat{a}^{\dagger (j+k-2u-v)} \hat{a}^v$$
  où les coefficients $h_{jkuv}$ sont donnés par :
  $$h_{jkuv} = \frac{i^k}{2^{(j+k)/2}} \frac{u!}{2^u} \binom{j+k-u-v}{u} \binom{u+v}{u} \left[ x^{u+v} \right] (1+x)^j (1-x)^k$$
  Ici, $[x^n] P(x)$ désigne le coefficient du terme $x^n$ dans le polynôme $P(x)$.

• Propriétés de Symétrie :
  Les coefficients satisfont des relations de symétrie importantes :

  • $h_{jkuv} = (-1)^k h_{jk u (j+k-2u-v)}$.
  • Si $j$ et $k$ sont impairs, le terme central s'annule pour certaines configurations.
    Ces propriétés garantissent que l'opérateur résultant est hermitien (puisque l'expression classique $q^j p^k$ est réelle), ce qui est une condition nécessaire pour une observable physique.

• Comparaison avec la littérature :
  L'auteur montre que son résultat est cohérent avec les méthodes existantes de Cahill et Glauber (développement des opérateurs bosoniques) et de Blasiak (combinatoire des chaînes de bosons), offrant une expression plus directe pour le cas spécifique de $\hat{q}^j \hat{p}^k$.

4. Contributions Clés

1. Formule explicite : Fourniture d'une formule fermée et calculable pour la conversion de l'ordre de Weyl de $\hat{q}^j \hat{p}^k$ vers l'ordre normal, évitant ainsi le besoin de calculer manuellement les commutateurs pour chaque cas.
2. Approche combinatoire unifiée : Introduction d'une méthode basée sur l'« ordre forcé » et la décomposition en facteurs $\lambda, \xi, \zeta$, reliant la physique quantique à des structures combinatoires spécifiques (triangles de Pascal modifiés, convolution de Vandermonde).
3. Lien avec les polynômes : Identification du coefficient clé comme étant un coefficient de polynôme $(1+x)^j(1-x)^k$, simplifiant considérablement le calcul des termes.

5. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

• Outils pour la dynamique quantique : Il fournit un outil essentiel pour étudier la dynamique de systèmes quantiques non linéaires (comme les oscillateurs de Stuart-Landau ou de Van der Pol quantiques) où les équations du mouvement impliquent des termes d'ordre supérieur en $q$ et $p$.
• Représentation de Wigner : En clarifiant la correspondance entre l'ordre de Weyl (naturel pour la fonction de Wigner) et l'ordre normal (naturel pour les mesures optiques et les états cohérents), ce papier facilite les calculs dans le formalisme de l'espace des phases.
• Efficacité computationnelle : La formule dérivée permet d'éviter les calculs de commutateurs longs et fastidieux, rendant possible l'analyse de systèmes avec des puissances élevées de $j$ et $k$ qui étaient auparavant difficiles à traiter analytiquement.

En résumé, ce papier établit un pont mathématique rigoureux entre les différentes prescriptions d'ordre en mécanique quantique, offrant une solution élégante et généralisable pour la quantification de termes polynomiaux dans l'espace des phases.