Topological orderIn physics, topological order is a kind of order in the zero-temperature phase of matter (also known as quantum matter). Macroscopically, topological order is defined and described by robust ground state degeneracy and quantized non-Abelian geometric phases of degenerate ground states. Microscopically, topological orders correspond to patterns of long-range quantum entanglement. States with different topological orders (or different patterns of long range entanglements) cannot change into each other without a phase transition.
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.
Tension superficiellevignette|et aux gerridés de se déplacer à la surface d'une mare. La tension superficielle est un phénomène physico-chimique lié aux interactions moléculaires d'un fluide. Elle résulte de l'augmentation de l'énergie à l'interface entre deux fluides. Le système tend vers un équilibre qui correspond à la configuration de plus basse énergie, il modifie donc sa géométrie pour diminuer l'aire de cette interface. La force qui maintient le système dans cette configuration est la tension superficielle.
Surface minimaleEn mathématiques et en physique, une surface minimale est une surface minimisant son aire tout en réalisant une contrainte : un ensemble de points, ou le bord de la surface, est d'avance déterminé. Si un cerceau est retiré d'une bassine d'eau savonneuse, un disque de liquide reste fixé. Un souffle dessus déforme légèrement le disque en une calotte sphérique. Si l'étude fait appel à la mécanique des fluides, le traitement mathématique utilise le langage des surfaces minimales.
Métal de transitionUn métal de transition, ou élément de transition, est, selon la définition de l'IUPAC, « un élément chimique dont les atomes ont une sous-couche électronique d incomplète, ou qui peuvent former des cations dont la sous-couche électronique d est incomplète ». Cette définition correspond à des éléments partageant un ensemble de propriétés communes. Comme tous les métaux, ce sont de bons conducteurs de l'électricité. Ils sont solides dans les conditions normales de température et de pression, avec une masse volumique et une température de fusion élevées.
Électron de valenceUn électron de valence est un électron situé dans la couche de valence d'un atome. Les propriétés physiques d'un élément sont largement déterminées par leur configuration électronique, notamment la configuration de la couche de valence. La présence d'un ou plusieurs électrons de valence joue un rôle important dans cette définition des car elle permet de déterminer la valence . Lorsqu'un atome a une couche de valence incomplète, il peut partager ou donner des électrons de valence avec d'autres atomes pour remplir sa couche externe et former une liaison chimique stable.
Trou d'électronEn physique du solide, un trou d'électron (habituellement appelé tout simplement trou) est l'absence d'un électron dans la bande de valence, qui serait normalement remplie sans le trou. Une bande de valence remplie (ou presque remplie) est une caractéristique des isolants et des semi-conducteurs. Le concept de trou est essentiellement une façon simple d'analyser le mouvement d'un grand nombre d'électrons en traitant cette absence d'électron comme une quasi-particule. Les trous sont dus à l'interaction des électrons avec le réseau cristallin.
Supraconducteur à haute températureUn supraconducteur à haute température (en anglais, high-temperature superconductor : high- ou HTSC) est un matériau présentant une température critique de supraconductivité relativement élevée par rapport aux supraconducteurs conventionnels, c'est-à-dire en général à des températures supérieures à soit . Ce terme désigne en général la famille des matériaux de type cuprate, dont la supraconductivité existe jusqu'à . Mais d'autres familles de supraconducteurs, comme les supraconducteurs à base de fer découverts en 2008, peuvent aussi être désignées par ce même terme.
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
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).
