Hamiltonien en théorie des champsEn physique théorique, la théorie des champs hamiltoniens est analogue à la mécanique hamiltonienne classique, appliquée à la théorie des champs. C'est un formalisme de la théorie classique des champs qui se base sur la théorie lagrangienne des champs. Elle a également des applications dans la théorie quantique des champs. L'hamiltonien, pour un système de particules discrètes, est une fonction qui dépend de leurs coordonnées généralisées et de leurs moments conjugués, et éventuellement du temps.
Porte quantiqueEn informatique quantique, et plus précisément dans le modèle de de calcul, une porte quantique (ou porte logique quantique) est un circuit quantique élémentaire opérant sur un petit nombre de qubits. Les portes quantiques sont les briques de base des circuits quantiques, comme le sont les portes logiques classiques pour des circuits numériques classiques. Contrairement à de nombreuses portes logiques classiques, les portes logiques quantique sont « réversibles ».
Graphe de CayleyEn mathématiques, un graphe de Cayley (du nom d'Arthur Cayley) est un graphe qui encode la structure d'un groupe. C'est un outil important pour l'étude de la combinatoire et de la géométrie des groupes. Étant donné un groupe et une partie génératrice de ce groupe, le graphe de Cayley Cay(G,S) est construit comme suit : À chaque élément de , on associe un sommet . À chaque élément de , on associe une couleur . Pour tout et , on trace une arête orientée de couleur du sommet vers le sommet .
Hamiltonian path problemIn the mathematical field of graph theory the Hamiltonian path problem and the Hamiltonian cycle problem are problems of determining whether a Hamiltonian path (a path in an undirected or directed graph that visits each vertex exactly once) or a Hamiltonian cycle exists in a given graph (whether directed or undirected). Both problems are NP-complete.
Champ de vecteurs hamiltonienEn géométrie différentielle et plus précisément en géométrie symplectique, dans l'étude des variétés symplectiques et des variétés de Poisson, un champ de vecteurs hamiltonien est un champ de vecteurs associé à une fonction réelle différentiable appelée hamiltonien de manière semblable au champ de vecteurs gradient en géométrie riemannienne. Cependant, une des différences fondamentales est que le hamiltonien est constant le long de ses courbes intégrales. Le nom vient du mathématicien et physicien William Rowan Hamilton.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Stockage de l'énergieLe stockage de l'énergie consiste à mettre en réserve une quantité d'énergie provenant d'une source pour une utilisation ultérieure. Il a toujours été utile et pratiqué, pour se prémunir d'une rupture d'un approvisionnement extérieur ou pour stabiliser à l'échelle quotidienne les réseaux électriques, mais il a pris une acuité supplémentaire depuis l'apparition de l'objectif de transition écologique.
Économies d'énergieLes économies d'énergie sont les gains obtenus en réduisant la consommation d'énergie ou les pertes sur l'énergie produite. Les économies d'énergie sont devenues un objectif important des pays fortement consommateurs d'énergie vers la fin du , notamment après le choc pétrolier de 1973 puis à partir des années 1990, afin de répondre à plusieurs inquiétudes : la crainte d'un épuisement des ressources naturelles, particulièrement des combustibles fossiles ; le réchauffement climatique résultant des émissions de gaz à effet de serre ; les problèmes politiques et de sécurité d'approvisionnement dus à l'inégale répartition des ressources sur la planète ; le coût de l'énergie que la combinaison de ces phénomènes peut faire augmenter.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Théorie spectrale des graphesEn mathématiques, la théorie spectrale des graphes s'intéresse aux rapports entre les spectres des différentes matrices que l'on peut associer à un graphe et ses propriétés. C'est une branche de la théorie algébrique des graphes. On s'intéresse en général à la matrice d'adjacence et à la matrice laplacienne normalisée. Soit un graphe , où désigne l'ensemble des sommets et l'ensemble des arêtes. Le graphe possède sommets, notés et arêtes, notées .
Informatique quantiqueL'informatique quantique est le sous-domaine de l'informatique qui traite des calculateurs quantiques et des associés. La notion s'oppose à celle d'informatique dite « classique » n'utilisant que des phénomènes de physique classique, notamment de l'électricité (exemple du transistor) ou de mécanique classique (exemple historique de la machine analytique). En effet, l'informatique quantique utilise également des phénomènes de la mécanique quantique, à savoir l'intrication quantique et la superposition.
Électricité décarbonéeL'électricité décarbonée est une électricité produite à partir d'énergie primaire non-fossile. Autrement dit, l'électricité est d'origine renouvelable ou nucléaire. Cette électricité a l'avantage de ne pas ou peu émettre de dioxyde de carbone (). La capture et séquestration du carbone peut également contribuer à la décarbonation de la production d'électricité. Une énergie est « décarbonée » si elle n’émet pas de dioxyde de carbone (). Dans une acception commune, toutes les énergies renouvelables ainsi que l’énergie nucléaire sont considérées comme décarbonées.
