Annales De L Institut Henri Poincare-physique Theorique

A representation independent propagator. I: Compact Lie groups

Wolfgang A. Tomé

Published Jan 1, 1995• 0 citations

Abstract

L'expression conventionnelle des propagateurs sous forme d'integrales de chemin depend de la representation choisie. Plutot que d'adapter chaque propagateur a la representation choisie, nous montrons que pour un groupe de Lie compact il est possible de definir un propagateur independant des representations. Pour un ensemble de variables cinematiques donne, ce propagateur est une fonction unique independante d'un choix de vecteur fiduciel, qui cependant, propage correctement chaque element de la representation d'etats coherent associee a ces variables cinematiques. Bien que l'espace des configurations soit courbe en general, l'integrale de chemin dans l'espace des phases latticiel pour ce propagateur independant de la representation, a une forme appropriee a un espace plat. Afin d'illustrer cette theorie, nous donnons une construction explicite de ce propagateur pour le groupe de Lie SU(2).

Related papers

CLASSICAL LIMIT OF THE REPRESENTATION INDEPENDENT PROPAGATOR

WORLD SCIENTIFIC eBooksMar 1, 19980 citations

Etude d'une mécanique stochastique dans l'espace des phases

O Cohendet

Dans l'optique de la mecanique stochastique, une formulation probabiliste de la mecanique quantique dans l'espace des phases est proposee. Notre approche utilise la fonction de wigner qui offre, dans un cadre general, une description d'un systeme quantique dans l'espace des phases. Alors que la mecanique stochastique ne considere que les etats purs du systeme, les proprietes de la fonction introduite par wigner nous permettent de traiter les etats de melange aussi bien que les etats purs. Apres avoir precise, en premiere partie, les proprietes essentielles de cette fonction et rappele son lien avec les operateurs de weyl, nous donnons dans une deuxieme partie une analyse heuristique de la mecanique quantique en terme de fluide. L'interpretation habituelle de la fonction de wigner comme etant une densite dans l'espace des phases, nous amene a considerer le cas d'un systeme soumis a l'action d'une force derivant d'un potentiel qui est la transformee de fourier d'une mesure bornee. Nous montrons que l'on peut alors envisager la fonction de wigner comme une difference de deux fonctions positives telles qu'a chacune de ces fonctions soit associe un processus de markov. Notre conception de fluide quantique consiste a interpreter ces deux fonctions comme etant les densites d'un fluide compose de deux types de particules differents mais dans lequel seule la difference de ces densites est observee. L'evolution de chaque type de particule est alors donnee par le processus de markov associe. Dans le cas particulier ou l'espace de hilbert du systeme est de dimension finie, une telle construction de processus peut alors rigoureusement etre effectuee. Cette etude est realisee dans une troisieme partie ou la dimension n de l'espace de hilbert est supposee impaire. La raison d'un tel choix est due au fait que le groupe des residus modulo n, que nous utilisons, possede dans ce cas une racine carree. Nous construisons, en premier lieu, une theorie des operateurs de weyl et des fonctions de wigner discretises. En augmentant l'espace des phases discretise d'une variable dichotomique egale a +1 ou -1, nous prouvons l'existence d'un processus de markov evoluant dans cet espace, tel que la fonction de wigner soit egale a la valeur moyenne partielle de cette variable dichotomique. Dans un article ecrit en collaboration avec p. Combe, m. Sirugue et m. Sirugue-collin, nous montcrons que ce formalisme peut etre applique a l'etude d'un spin entier. Enfin, en appendice, nous donnons les proprietes des processus de markov qui sont utiles a notre expose

Jan 1, 19871 citation

The SU(1, 1) propagator as a path integral over noncompact groups

Georg Junker, M. Böhm

Physics Letters ASep 1, 198630 citations

Excited States in U(1)2+1 Lattice Gauge Theory and Level Spacing Statistics in Classical Chaos

Ahmad Hosseinizadeh

Cette thèse est organisé en deux parties. Dans la première partie nous nous adressons à un problème vieux dans la théorie de jauge - le calcul du spectre et des fonctions d'onde. La stratégie que nous proposons est de construire une base d'états stochastiques de liens de Bargmann, construite à partir d'une distribution physique de densité de probabilité. Par la suite, nous calculons les amplitudes de transition entre ces états par une approche analytique, en utilisant des intégrales de chemin standards ainsi que la théorie des groupes. Également, nous calculons numériquement matrices symétrique et hermitienne des amplitudes de transition, via une méthode Monte Carlo avec échantillonnage pondéré. De chaque matrice, nous trouvons les valeurs propres et les vecteurs propres. En appliquant cette méthode â la théorie de jauge U(l) en deux dimensions spatiales, nous essayons d'extraire et de présenter le spectre et les fonctions d'onde de cette théorie pour des grilles de petite taille. En outre, nous essayons de faire quelques ajustement dynamique des fenêtres de spectres d'énergie et les fonctions d'onde. Ces fenêtres sont outiles de vérifier visuellement la validité de l'hamiltonien Monte Carlo, et de calculer observables physiques. Dans la deuxième partie nous étudions le comportement chaotique de deux systèmes de billard classiques, par la théorie des matrices aléatoires. Nous considérons un gaz périodique de Lorentz à deux dimensions dans des régimes de horizon fini et horizon infini. Nous construisons quelques matrices de longueurs de trajectoires de un particule mobile dans ce système, et réalisons des études des spectres de ces matrices par l'analyse numérique. Par le calcul numérique des distributions d'espacement de niveaux et rigidité spectral, nous constatons la statistique des espacements de niveaux suggère un comportement universel. Nous étudions également un tel comportement pour un système optique chaotique. En tant que quasi-système de potentiel, ses fluctuations dans l'espacement de ses niveaux suivent aussi un comportement GOE, ce qui est une signature d'universalité. Dans cette partie nous étudions également les propriétés de diffusion du gaz de Lorentz, par la longueur des trajectoires. En calculant la variance de ce quantité, nous montrons que dans le cas d'horizons finis, la variance de longueurs est linéaire par rapport au nombre de collisions de la particule dans le billard. Cette linéarité permet de définir un coefficient de diffusion pour le gaz de Lorentz, et dans un schéma général, elle est compatible avec les résultats obtenus par d'autres méthodes.

Jan 1, 20100 citations

Representations of Some Lie Algebras

Ravinder Rupchand Puri

Springer series in optical sciences/SPringer series in optical sciencesJan 1, 20011 citation

Towards a Curry-Howard Correspondence for Quantum Computation

Kostia Chardonnet

Dans cette thèse, nous nous intéressons au développement d'une correspondance de Curry-Howard pour l'informatique quantique, permettant de représenter des types quantiques et le flot de contrôle quantique. Dans le modèle standard de l'informatique quantique, un ordinateur classique est lié à un coprocesseur quantique. L'ordinateur classique peut alors envoyer des instructions pour allouer, mettre à jour ou lire des registres quantiques. Les programmes exécutés par le coprocesseur sont représentés par un circuit quantique : une séquence d'instructions qui applique des opérations unitaires aux registres quantiques. Bien que le modèle soit universel, dans le sens où il peut représenter n'importe quelles opérations unitaire, il reste limité : il lui manque une représentation correcte du flot d'exécution non causal. Normalement, pour représenter le branchement, on peut utiliser un système de type contenant un coproduit, permettant le choix entre deux exécutions possibles, mais les circuits quantiques ne contiennent que des qubits et leurs tenseurs. D'autre part, les types sont fortement liés à la logique à travers la correspondance Curry-Howard qui stipule que les types de programmes correspondent aux formules et les programmes aux preuves, tandis que l'évaluation du programme correspond à la simplification de la preuve correspondante. Bien que cette correspondance ait été étendue à des cas multiples en informatique classique, elle n'a pas encore émergée dans l'informatique quantique. Pour résoudre ces problèmes, nous suivons deux approches différentes : la première, par le développement d'un langage de programmation linéaire et réversible, capturant un sous-ensemble de l'informatique quantique, ainsi qu'une correspondance Curry-Howard avec la logique µMALL. Le langage existe en deux versions : l'une représentant des fonctions réversibles et totales, tandis que l'autre peut représenter des fonctions partielles. Les deux versions sont accompagnées d'un résultat d'expressivité : dans la première, nous pouvons capturer l'ensemble des fonctions primitive récursives, tandis que dans la deuxième, nous montrons comment capturer n'importe quelle Machine de Turing. La deuxième approche suit le développement d'une sémantique à base de jetons, inspirée de la géométrie de l'interaction de Girard, pour des langages graphique pour le calcul quantique. Dans cette approche, une sémantique à base de jetons a été donnée pour le ZX-Calcul : un langage graphique pour l'informatique quantique capable de représenter n'importe quel opérateur linéaire. Nous montrons comment cette nouvelle sémantique correspond à la sémantique dénotationnelle standard. Nous étendons ensuite le ZX-Calcul avec un coproduit et un tenseur explicite dans le développement du Many-Worlds Calcul. Ce nouveau langage est accompagné sémantique dénotationnelle et une théorie équationnelle qui est logiquement correcte et complète. Nous montrons comment le contrôle quantique peut être représenté dans ce système. Enfin, le langage de programmation est modifié dans le cas quantique pur et nous utilisons le Many-Worlds Calculus comme un modèle dénotationnel pour ce nouveau langage de programmation.

Jan 9, 20233 citations