LHCbLHCb (Large Hadron Collider beauty experiment : Expérience du LHC sur le quark beauté) est une expérience de physique des particules utilisant les collisions de protons produites au collisionneur LHC du CERN (Genève). Ce détecteur est spécialisé dans la physique des saveurs et la recherche de nouvelle physique par des méthodes indirectes comme la mesure de violation de la symétrie CP ou de taux d'embranchement de décroissances rares. Le détecteur LHCb se trouve sur la commune de Ferney-Voltaire en France au point 8 du LHC, à quelques mètres de la frontière suisse.
Violation de CPEn physique des particules, la violation de CP est une violation de la symétrie CP, c'est-à-dire de la combinaison de la symétrie C (symétrie de conjugaison de charge) et de la symétrie P (symétrie de parité). La symétrie CP indique que les lois de la physique devraient être les mêmes si une particule est échangée avec son antiparticule (symétrie C) tandis que ses coordonnées spatiales sont inversées (symétrie P, ou « miroir »).
Asymétrie baryoniqueL'asymétrie baryonique réfère à l'excès de la matière baryonique sur l'antimatière baryonique dans l'univers observable. Bien que plusieurs hypothèses soient émises pour expliquer cet excès, dont la plupart concernent la baryogénèse, aucune d'elles ne fait consensus, et l'asymétrie baryonique demeure l'un des problèmes non résolus de la physique. La plupart des hypothèses formulées à propos de l'asymétrie baryonique impliquent la modification du modèle standard en physique des particules afin de permettre que certaines réactions (surtout celles impliquant l'interaction faible) puissent se réaliser plus facilement que leur contraire.
ProtonLe proton est une particule subatomique portant une charge électrique élémentaire positive. Les protons sont présents dans les noyaux atomiques, généralement liés à des neutrons par l'interaction forte (la seule exception, mais celle du nucléide le plus abondant de l'univers, est le noyau d'hydrogène ordinaire (protiumH), un simple proton). Le nombre de protons d'un noyau est représenté par son numéro atomique Z. Le proton n'est pas une particule élémentaire mais une particule composite.
Baryon LambdaEn physique des particules, les baryons Lambda, notés par la lettre grecque (majuscule), sont des baryons instables constitués de trois quarks : un quark up, un quark down et, soit un quark bottom (c'est alors un baryon 0b), soit un quark charmé (baryon +c), soit un quark étrange (baryon 0, également appelé hypéron ). Le premier baryon Lambda découvert fut le 0 en 1947. Sa durée de vie, quoique très courte, était plus longue que prévu : 10-10 secondes (on s'attendait à une durée de vie mille fois plus courte).
Désintégration du protonEn physique des particules, la désintégration du proton désigne un mode hypothétique de décroissance radioactive dans laquelle le proton se désintègre en des particules subatomiques plus légères, comme le pion neutre et le positron. Il n'existe actuellement aucune preuve expérimentale indiquant que la désintégration du proton se produise ; ce qui place la demi-vie théorique du proton à une valeur supérieure à 10 années. Dans le modèle standard, les protons (un type de baryon), sont théoriquement stables parce que le nombre baryonique est censé se conserver.
Symétrie TNommée ainsi dans le cadre de la physique des particules, on dit qu'une théorie possède la symétrie T, ou encore symétrie par renversement du temps, si elle est invariante sous la transformation d'inversion du temps c'est-à-dire qui effectue le changement suivant sur la coordonnée de temps Alors que la symétrie T semble naturelle en mécanique quantique, elle est néanmoins violée dans le cadre du modèle standard car la symétrie CP est violée alors que par la symétrie CPT obtenue par application simultanée du
TétraquarkEn physique des particules, un tétraquark est un méson exotique composé de quatre quarks. Les tétraquarks peuvent être considérés comme des particules virtuelles, tant leur durée de vie est courte. L'existence des tétraquarks a été prédite théoriquement dans les années 1960 dans le cadre de la chromodynamique quantique. La recherche des tétraquarks (et des pentaquarks) est ensuite devenue un sujet d’étude à part entière en physique expérimentale, et plusieurs tétraquarks ont été produits au LHC, de types cc et cq.
Pentaquarkvignette|Schéma d'un pentaquark générique : quatre quarks et un antiquark (en jaune). Un pentaquark est une particule subatomique composée de cinq quarks qui a été prévue par les théoriciens en 1997. La recherche des pentaquarks (et des tétraquarks) est devenue un sujet d’étude à part entière en physique expérimentale, et plusieurs pentaquarks ont été produits au LHC, de type cqqq. L'existence des pentaquarks fut prédite initialement par Maxim Polyakov, et Victor Petrov de l' en 1997 ; mais leur théorie fut accueillie avec scepticisme.
OptiqueL'optique est la branche de la physique qui traite de la lumière, de son comportement et de ses propriétés, du rayonnement électromagnétique à la vision en passant par les systèmes utilisant ou émettant de la lumière. Du fait de ses propriétés ondulatoires, le domaine de la lumière peut couvrir le lointain UV jusqu'au lointain IR en passant par les longueurs d'onde visibles. Ces propriétés recouvrent alors le domaine des ondes radio, micro-ondes, des rayons X et des radiations électromagnétiques.
LuminositéEn astronomie, la luminosité est la quantité totale d'énergie émise par unité de temps (le flux énergétique), par une étoile, une galaxie, ou n'importe quel autre objet céleste. Elle s'exprime en pratique en luminosité solaire ( = ). Le flux lumineux, qui mesure plus particulièrement l'émission en lumière visible, peut également s'exprimer sur une échelle logarithmique par la magnitude absolue. En astronomie, elle représente la quantité totale d'énergie rayonnée (dans le domaine de l'électromagnétisme) par unité de temps par un astre.
AntiprotonL'antiproton est l'antiparticule du proton. Les antiprotons sont stables, mais ils ont généralement une durée de vie courte, une collision avec un proton ordinaire faisant disparaître les deux particules. L'antiproton est observé pour la première fois en 1955, au cours d'une expérience conduite dans le bevatron du laboratoire national Lawrence-Berkeley, un accélérateur de particules. Quatre ans plus tard, les physiciens américains Emilio Segrè et Owen Chamberlain reçoivent le prix Nobel de physique pour la découverte de cette antiparticule.
B-factoryIn particle physics, a B-factory, or sometimes a beauty factory, is a particle collider experiment designed to produce and detect a large number of B mesons so that their properties and behavior can be measured with small statistical uncertainty. Tau leptons and D mesons are also copiously produced at B-factories. A sort of "prototype" or "precursor" B-factory was the HERA-B experiment at DESY that was planned to study B-meson physics in the 1990–2000s, before the actual B-factories were constructed/operational.
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
Annihilation (physique)En physique, l’annihilation ou anéantissement correspond à la collision entre une particule sous-atomique et son antiparticule respective. Puisque l’énergie et la quantité de mouvement doivent être conservées, les particules ne se muent pas en rien, mais plutôt en nouvelles particules. Les antiparticules possèdent des nombres quantiques exactement opposés à ceux des particules, donc la somme des nombres quantiques du pair égale zéro.
Hadron exotiquevignette|Exemple de pentaquark : quatre quarks, un antiquark (en jaune) et des gluons (ligne ondulées). Les hadrons exotiques sont des particules subatomiques constituées de quarks (et probablement de gluons), mais qui ne s'insèrent pas dans le schéma habituel des hadrons. Bien que sensibles à l'interaction forte, ils ne sont pas prévus par le . Les hadrons exotiques n'ont en effet pas le même contenu en quarks que les hadrons ordinaires : les baryons exotiques ont plus de quarks que les trois qui constituent les baryons ordinaires, et les mésons exotiques n'ont pas un quark et un antiquark comme les mésons ordinaires.
Magnitude absolueEn astronomie, la magnitude absolue indique la luminosité intrinsèque d'un objet céleste, au contraire de la magnitude apparente qui dépend de la distance à l'astre et de l'extinction dans la ligne de visée. Pour un objet situé à l'extérieur du Système solaire, elle est définie par la magnitude apparente qu'aurait cet astre s'il était placé à une distance de référence fixée à 10 parsecs (environ 32,6 années-lumière) en l'absence d'extinction interstellaire.
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Brillance de surfaceEn astronomie, la brillance de surface d'un corps céleste étendu comme une galaxie désigne la densité de flux reçue par unité d'angle solide. Elle est souvent mesurée en magnitude par seconde d'arc au carré (). Certains auteurs donnent aussi cette mesure en employant la minute d'arc. Les unités de la brillance de surface sont alors () La mesure de la brillance de surface dans les longueurs d'onde visible, ou dans l'infrarouge, est la photométrie. Le fond du ciel désigne la brillance de surface du ciel.
