Le but de cet article n'est pas de donner une representation fidele de la realite physique de l'univers. On propose de construire des outils permettant de donner une approche geometrique de cet univers. Par exemple, les sections de Dirac donnent un sens a la notion de metrique universelle. On generalise l'integrale de Feynman et on etend cette integrale aux fibres d'etat de l'univers. La quantification de ces fibres d'etat permet de construire les operateurs de Dirac et de Laplace-Beltrami sur l'espace de Bose-Fermi-Fock. L'idee de representer l'univers de Dirac-Einstein comme une singularite d'un multivers, nous amene a definir la notion de densite d'action et, a partir d'une densite, de decouper l'univers par chirurgie de Milnor-Smale. Cette representation definie la notion de passe, present et futur qui est liee a un etat de l'univers. L'axiomatisation quantique des obervables complete cette presentation geometrique.
Le but de cet article n'est pas de donner une representation fidele de la realite physique de l'univers. On propose de construire des outils permettant de donner une approche geometrique de cet univers. Par exemple, les sections de Dirac donnent un sens a la notion de metrique universelle. On generalise l'integrale de Feynman et on etend cette integrale aux fibres d'etat de l'univers. La quantification de ces fibres d'etat permet de construire les operateurs de Dirac et de Laplace-Beltrami sur l'espace de Bose-Fermi-Fock. L'idee de representer l'univers de Dirac-Einstein comme une singularite d'un multivers, nous amene a definir la notion de densite d'action et, a partir d'une densite, de decouper l'univers par chirurgie de Milnor-Smale. Cette representation definie la notion de passe, present et futur qui est liee a un etat de l'univers. L'axiomatisation quantique des obervables complete cette presentation geometrique.
La pensée physique - et, jusqu'à un certain point, la pensée mathématique, du moins géométrique - s'est toujours appuyée sur la notion d'espace, comme par exemple le concept de dimension spatiale qui a donné l'idée de grandeur physique mathématisée. Jusqu'à la théorie de la relativité générale, celle-ci comprise, les conceptions des systèmes physiques et des phénomènes dont ils sont le siège ou l'origine ont été tributaires d'une pensée de l'espace, et ces phénomènes et ces systèmes sont, en général, pensés dans l'espace, même s'ils ont contribué à modifier la pensée de l'espace et s'ils ont obligé à reformuler notre «intuition spatiale». La physique quantique a remis en question cette certitude tranquille en mettant la pensée de l'espace et dans l'espace devant le dilemme suivant : ou bien garder le concept d'espace physique dans le sens précédent qui nous semble naturel et renoncer à l'idée que les «systèmes quantiques» pourraient être représentés directement dans cet espace comme des systèmes dotés de propriétés qui leur soient propres ; ou bien admettre que cela a un sens de parler de systèmes quantiques ayant des propriétés et enlever à l'espace son rôle premier dans la représentation de ces systèmes. En prenant ce second point de vue, on est amené à penser la physique autrement que «dans l'espace» au sens habituel ; et cependant, on a toujours, à un moment ou à un autre, à envisager les systèmes physiques quantiques en référence à cet espace, qui est celui des corps macroscopiques et du cosmos dans son état actuel. Se demander comment une telle pensée est possible amène donc en même temps à s'interroger sur le rapport entre le monde quantique et l'espace physique de notre expérience. Cette interrogation passe par un inventaire des modifications du concept d'espace requises par la description physique des systèmes quantiques. On concluera en évoquant l'idée d'une émergence du concept d'espace à partir des phénomènes quantiques, tant du point de vue épistémologique (émergence d'un certain niveau de réalité à partir de niveaux sous-jacents) que du point de vue cosmogénétique (formation et expansion de l'espace physique des objets macroscopiques).
Les diagrammes sont omniprésents en physique et ont catalysé le progrès à de nombreuses reprises. Des réseaux tensoriels aux circuits quantiques en passant par les diagrammes de Feynman, rares sont les domaines de la physique qui ne font pas appel à un raisonnement informel par l'image. Ces diagrammes représentent les opérations mathématiques sous-jacentes et facilitent l'interprétation physique, mais ne peuvent généralement pas être calculés directement. Dans cette thèse, le ZXH-calcul, un langage graphique basé sur le ZX-calcul, est proposé comme prototype d'un outil de calcul diagrammatique formel pour la physique théorique impliquant le spin. Cela permet d'étendre le calcul ZXH (et plus largement la famille de calculs ZX à laquelle il appartient) au-delà de son domaine traditionnel qui a été largement dominé par l'informatique quantique. Pour ce faire, les réseaux de spin issus de la physique de la matière condensée sont étudiés. Il est également montré comment les réseaux de spins de la forme souvent considérée comme l'espace d'état de la gravité quantique à boucles (LQG) peuvent être diagrammatisés avec les opérateurs qui agissent sur eux.Pour y parvenir, une forme diagrammatique de la théorie des représentations SU(2) est exposée. Un certain nombre de résultats sont ensuite présentés dans la matière condensée. L'état 1D AKLT, un état topologique protégé par symétrie, est exprimé dans le calcul ZXH en développant une représentation des spins supérieurs à 1/2 dans le calcul. En exploitant le pouvoir de simplification des règles du calcul ZXH, on montre comment cette représentation permet de retrouver directement la représentation de l'état AKLT par produit de matrice, l'existence d'états de bord topologiquement protégés et la non-vanie d'un paramètre d'ordre de chaîne. Au-delà de ces propriétés connues, l'approche diagrammatique permet également de dériver analytiquement que la phase de Berry de toute chaîne AKLT 1D de longueur finie est π. En outre, une preuve alternative que l'état AKLT 2D sur un réseau hexagonal peut être réduit à un état de graphe, démontrant qu'il s'agit d'une ressource universelle de calcul quantique. En continuant sur le thème de la matière condensée, on montre ensuite comment on peut construire des phases topologiques d'ordre supérieur en 2D de manière schématique, ce qui est utilisé pour illustrer une transition de phase avec rupture de symétrie.En ce qui concerne la LQG, la première étape est l'analyse des diagrammes de Yutsis, un calcul graphique standard utilisé en chimie quantique et en gravité quantique, qui capture les principales caractéristiques de la théorie des représentations SU(2). Ensuite, on montre comment il s'intègre dans le calcul de binor de Penrose. Les deux sont ensuite subsumés et réécrits en diagrammes ZXH. Dans ce processus, nous montrons comment l'invariance SU(2) des symboles de Wigner peut être prouvée de manière triviale dans le calcul ZXH. En outre, nous montrons comment nous pouvons calculer explicitement les symboles 3jm, 4jm et 6j dans le diagramme. On pense depuis longtemps que la gravité quantique devrait être étroitement liée à la théorie de l'information quantique. Dans cet article, nous présentons une façon de rendre cette connexion exacte, en écrivant les réseaux de spin de la gravité quantique à boucles dans le langage ZX-diagrammatique du calcul quantique. Enfin, après avoir exposé les raisons de considérer les réseaux de spins comme la quantification de l'espace, nous discutons des opérateurs géométriques et, dans des cas spécifiques, nous fournissons des versions diagrammatiques des opérateurs. Plus généralement, ce qui est fait ici montre une voie par laquelle LQG peut être interprété en termes d'information quantique en réécrivant ses états cinématiques comme des réseaux de qubits dans ZXH.
Les développements récents dans le domaine de la connaissance des systèmes quantiques ont amené à considérer comme des faits physiques des énoncés qui paraissaient naguère relever davantage de l’interprétation, avec liberté d’options, voire de la spéculation. De cette nature sont les comportements quantiques de particules individuelles (diffraction, etc.), les oscillations (de neutrinos, etc.), les corrélations quantiques à distance (non-séparabilité locale), la condensation de Bose-Einstein, la possibilité d’isoler les atomes en les refroidissant et, récemment, la décohérence d’états quantiques de superposition en interaction avec l’environnement, qui permet de mieux se représenter le passage du quantique au macroscopique-classique. Le débat sur l’interprétation de la mécanique quantique a insensiblement changé de nature à la faveur de ces développements, en mettant l’accent sur l’« interprétation physique », qui se distingue plus nettement de l’interprétation philosophique qu’aux « beaux jours » des débuts de la mécanique quantique. En particulier, le concept d’état quantique acquiert ainsi indubitablement une signification directement physique, en termes de propriétés d’un système physique pleinement représenté par une superposition linéaire d’états propres et apte à se propager comme tel dans l’espace et dans le temps. La contrepartie de cet état de choses est une extension de sens du concept de grandeur physique et de fonction d’état (physique), qui peuvent ne pas correspondre directement à des valeurs numériques.
Les diagrammes sont omniprésents en physique et ont catalysé le progrès à de nombreuses reprises. Des réseaux tensoriels aux circuits quantiques en passant par les diagrammes de Feynman, rares sont les domaines de la physique qui ne font pas appel à un raisonnement informel par l'image. Ces diagrammes représentent les opérations mathématiques sous-jacentes et facilitent l'interprétation physique, mais ne peuvent généralement pas être calculés directement. Dans cette thèse, le ZXH-calcul, un langage graphique basé sur le ZX-calcul, est proposé comme prototype d'un outil de calcul diagrammatique formel pour la physique théorique impliquant le spin. Cela permet d'étendre le calcul ZXH (et plus largement la famille de calculs ZX à laquelle il appartient) au-delà de son domaine traditionnel qui a été largement dominé par l'informatique quantique. Pour ce faire, les réseaux de spin issus de la physique de la matière condensée sont étudiés. Il est également montré comment les réseaux de spins de la forme souvent considérée comme l'espace d'état de la gravité quantique à boucles (LQG) peuvent être diagrammatisés avec les opérateurs qui agissent sur eux.Pour y parvenir, une forme diagrammatique de la théorie des représentations SU(2) est exposée. Un certain nombre de résultats sont ensuite présentés dans la matière condensée. L'état 1D AKLT, un état topologique protégé par symétrie, est exprimé dans le calcul ZXH en développant une représentation des spins supérieurs à 1/2 dans le calcul. En exploitant le pouvoir de simplification des règles du calcul ZXH, on montre comment cette représentation permet de retrouver directement la représentation de l'état AKLT par produit de matrice, l'existence d'états de bord topologiquement protégés et la non-vanie d'un paramètre d'ordre de chaîne. Au-delà de ces propriétés connues, l'approche diagrammatique permet également de dériver analytiquement que la phase de Berry de toute chaîne AKLT 1D de longueur finie est π. En outre, une preuve alternative que l'état AKLT 2D sur un réseau hexagonal peut être réduit à un état de graphe, démontrant qu'il s'agit d'une ressource universelle de calcul quantique. En continuant sur le thème de la matière condensée, on montre ensuite comment on peut construire des phases topologiques d'ordre supérieur en 2D de manière schématique, ce qui est utilisé pour illustrer une transition de phase avec rupture de symétrie.En ce qui concerne la LQG, la première étape est l'analyse des diagrammes de Yutsis, un calcul graphique standard utilisé en chimie quantique et en gravité quantique, qui capture les principales caractéristiques de la théorie des représentations SU(2). Ensuite, on montre comment il s'intègre dans le calcul de binor de Penrose. Les deux sont ensuite subsumés et réécrits en diagrammes ZXH. Dans ce processus, nous montrons comment l'invariance SU(2) des symboles de Wigner peut être prouvée de manière triviale dans le calcul ZXH. En outre, nous montrons comment nous pouvons calculer explicitement les symboles 3jm, 4jm et 6j dans le diagramme. On pense depuis longtemps que la gravité quantique devrait être étroitement liée à la théorie de l'information quantique. Dans cet article, nous présentons une façon de rendre cette connexion exacte, en écrivant les réseaux de spin de la gravité quantique à boucles dans le langage ZX-diagrammatique du calcul quantique. Enfin, après avoir exposé les raisons de considérer les réseaux de spins comme la quantification de l'espace, nous discutons des opérateurs géométriques et, dans des cas spécifiques, nous fournissons des versions diagrammatiques des opérateurs. Plus généralement, ce qui est fait ici montre une voie par laquelle LQG peut être interprété en termes d'information quantique en réécrivant ses états cinématiques comme des réseaux de qubits dans ZXH.
L'axomatisation quantique ou "∇^{γ}-quantification" est un procédé de quantification des fibrés vectoriels réels ou complexes. On veut réprésenter les états d'un système physique comme les sections d'un fibré hermitien. On est ainsi amené à adapter les postulats de la physique quantique à la théorie des fibrés vectoriels. Le principe de quantification se fait en définissant sur chaque fibre une observable qui varie de façon C^{∞}. En dimension finie, on construit un opérateur, équivalent à l'opérateur hamiltonien, à partir d'une connexion ∇ sur le fibré et d'une section de Dirac γ. L'équation d'état ou équation de Dirac-Einstein est décrite par une équation des sections propres du fibré considéré. Les équations d'évolution du système se font le long d'un champ chronologique. L'espace de base du fibré est, en général, une carte W de l'univers W ou l'univers lui-même. L'espace total est une variété qui peut être de dimension infinie si la fibre est un espace de banach ou de hilbert de dimension infinie.
On révise les prérequis de géométrie différentielle nécessaires à une première approche de la théorie de la quantification géométrique, c'est-à-dire des notions de base en géométrie symplectique, des notions de groupes et d'algèbres de Lie, d'action d'un groupe de Lie, de G-fibré principal, de connexion, de fibré associé et de structure presque-complexe. Ceci mène à une étude plus approfondie des fibrés en droites hermitiens, dont une condition d'existence de fibré préquantique sur une variété symplectique. Avec ces outils en main, nous commençons ensuite l'étude de la quantification géométrique, étape par étape. Nous introduisons la théorie de la préquantification, i.e. la construction des opérateurs associés à des observables classiques et la construction d'un espace de Hilbert. Des problèmes majeurs font surface lors de l'application concrète de la préquantification : les opérateurs ne sont pas ceux attendus par la première quantification et l'espace de Hilbert formé est trop gros. Une première correction, la polarisation, élimine quelques problèmes, mais limite grandement l'ensemble des observables classiques que l'on peut quantifier. Ce mémoire n'est pas un survol complet de la quantification géométrique, et cela n'est pas son but. Il ne couvre ni la correction métaplectique, ni le noyau BKS. Il est un à-côté de lecture pour ceux qui s'introduisent à la quantification géométrique. D'une part, il introduit des concepts de géométrie différentielle pris pour acquis dans (Woodhouse [21]) et (Sniatycki [18]), i.e. G-fibrés principaux et fibrés associés. Enfin, il rajoute des détails à quelques preuves rapides données dans ces deux dernières références.