Matrice de DiracLes matrices de Dirac sont des matrices qui furent introduites par Paul Dirac, lors de la recherche d'une équation d'onde relativiste de l'électron. Le pendant relativiste de l'équation de Schrödinger est l'équation de Klein-Gordon. Celle-ci décrit des particules de spin 0 et ne convient pas pour les électrons qui sont de spin 1/2. Dirac essaya alors de trouver une équation linéaire comme celle de Schrödinger sous la forme : où est une fonction d'onde vectorielle, la masse de la particule, l'hamiltonien, sont respectivement un vecteur de matrices hermitiques et une matrice hermitique, et i désigne l'unité imaginaire.
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 »).
Symétrie Cvignette|upright=1.3|Illusion de symétrie : le reflet de l'ombre de la lampe (sous l'effet du flash de l'appareil photo) semble être le reflet de celle-ci ! En physique des particules, la conjugaison de charge, ou transformation de charge, ou inversion de charge est possiblement observable en ce qui concerne l'électromagnétisme, la gravité, et l'interaction forte. En revanche, la « Symétrie C » (symétrie de charge) n'est pas observée « dans le tableau » de l'interaction faible. C(x)= -x. C(e+)= e-. C(e-)= e+.
Code stabilisateurUn code stabilisateur est un code quantique autocorrecteur qui protège k qubits en les encodant dans n qubits (avec nécessairement ). La mise en œuvre d'ordinateurs quantiques se heurte aux difficultés introduites par la présence de bruits, d'origine externe ou interne au système quantique construit, et qui perturbent les distributions probabilistes des états intriqués mesurés en fin de calcul.
Parité (physique)La symétrie P ou parité, appelée aussi inversion de l'espace, est une opération au cours de laquelle le vecteur position subit le changement suivant : ou encore, pour les trois coordonnées cartésiennes En mécanique quantique, les fonctions d'onde qui sont inchangées par l'opération de parité sont dites fonctions paires, tandis que celles qui changent de signe sous la même transformation sont dites fonctions impaires. L'électrodynamique quantique et la chromodynamique quantique possèdent la symétrie P.
Code de HammingUn code de Hamming est un code correcteur linéaire. Il permet la détection et la correction automatique d'une erreur si elle ne porte que sur une lettre du message. Un code de Hamming est parfait : pour une longueur de code donnée il n'existe pas d'autre code plus compact ayant la même capacité de correction. En ce sens son rendement est maximal. Il existe une famille de codes de Hamming ; le plus célèbre et le plus simple après le code de répétition binaire de dimension trois et de longueur un est sans doute le code binaire de paramètres [7,4,3].
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Codes de parité à faible densitéDans la théorie de l'information, un contrôle de parité de faible densité LDPC est un code linéaire correcteur d'erreur, permettant la transmission d'information sur un canal de transmission bruité. LDPC est construit en utilisant un graphe biparti clairsemé. Les codes LDPC ont une capacité approchant la limite théorique. À l'aide de techniques itératives de propagation d'information sur la donnée transmise et à décoder, les codes LDPC peuvent être décodés en un temps proportionnel à leur longueur de bloc.
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.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
