Modèle des habi
Le modèle standard (SM) prédit l`existence des bosons W et Z, du gluon et des quarks de charme et de dessus et prédit un grand nombre de leurs propriétés avant que ces particules soient observées. Les prédictions ont été confirmées expérimentalement avec une bonne précision. [33] dans le modèle standard, les bosons de jauge sont définis comme des porteurs de force qui médient les interactions fondamentales fortes, faibles et électromagnétiques. La symétrie Poincaré globale est postulée pour toutes les théories relativistes du champ quantique. Il se compose de la symétrie translationnelle familière, de la symétrie rotationnelle et de l`invariance du cadre de référence inertiel au centre de la théorie de la relativité spéciale. La symétrie de jauge locale SU (3) × SU (2) × U (1) est une symétrie interne qui définit essentiellement le modèle standard. En gros, les trois facteurs de la symétrie de la jauge donnent lieu aux trois interactions fondamentales. Les champs tombent dans différentes représentations des différents groupes de symétrie du modèle standard (voir tableau). Après avoir écrit le lagrangien le plus général, on constate que la dynamique dépend de 19 paramètres, dont les valeurs numériques sont établies par expérience.
Les paramètres sont récapitulés dans le tableau (rendu visible en cliquant sur “montrer”) ci-dessus (note: la masse de Higgs est à 6992200272060875000 de 125 GeV, la force d`auto-couplage de Higgs λ ~ 1 ⁄ 8). Il est examiné par le groupe de travail d`examen des modèles de l`EM au printemps tous les trois ans. ABEM utilisera la version 2016 pour développer des examens à partir des examens d`automne 2019. Dans le modèle EM 2016, toutes les modifications résultant du groupe de travail d`examen du modèle de l`EM 2016 sont résumées dans la figure 1. Le prochain examen est prévu pour le printemps 2019. Les versions antérieures du modèle EM sont disponibles en format PDF en cliquant sur les liens ci-dessous. La théorie du modèle en tant que sujet existe depuis environ le milieu du XXe siècle. Cependant, certaines recherches antérieures, en particulier dans la logique mathématique, sont souvent considérées comme un modèle théorique rétrospectif. Le premier résultat significatif dans ce qui est maintenant la théorie du modèle est un cas particulier du théorème de Löwenheim – Skolem, publié par Leopold Löwenheim en 1915. Le théorème de compacité était implicite dans le travail de Thoralf Skolem [3], mais il a été publié pour la première fois en 1930, comme un lemme dans la preuve de Kurt Gödel`s de son théorème d`exhaustivité.
Le théorème de Löwenheim – Skolem et le théorème de compacité ont reçu leurs formes générales respectives en 1936 et 1941 d`Anatoly Maltsev. ABEM utilise actuellement la version 2016 du modèle EM pour développer des examens. Bien que le modèle standard est censé être théoriquement auto-cohérent [2] et a démontré d`énormes succès dans la fourniture de prédictions expérimentales, il laisse certains phénomènes inexpliqués et ne manque pas d`être une théorie complète des fondamentaux Interactions.
