Separable stateIn quantum mechanics, separable states are quantum states belonging to a composite space that can be factored into individual states belonging to separate subspaces. A state is said to be entangled if it is not separable. In general, determining if a state is separable is not straightforward and the problem is classed as NP-hard. Consider first composite states with two degrees of freedom, referred to as bipartite states. By a postulate of quantum mechanics these can be described as vectors in the tensor product space .
Sphère de Blochvignette|droite|L'état d'un système à deux niveaux, tel qu'un spin 1/2 ou plus généralement un qubit, peut être représenté par un point sur une sphère. La sphère de Bloch, du nom du physicien et mathématicien Félix Bloch, ou sphère de Poincaré (comme cas d'application de celle-ci), est une représentation géométrique d'un état pur d'un système quantique à deux niveaux ; c'est donc, entre autres, une représentation d'un qubit. Il est possible de généraliser la construction de cette sphère à un système à niveaux.
Abstract rewriting systemIn mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviated ARS) is a formalism that captures the quintessential notion and properties of rewriting systems. In its simplest form, an ARS is simply a set (of "objects") together with a binary relation, traditionally denoted with ; this definition can be further refined if we index (label) subsets of the binary relation.
Immirzi parameterThe Immirzi parameter (also known as the Barbero–Immirzi parameter) is a numerical coefficient appearing in loop quantum gravity (LQG), a nonperturbative theory of quantum gravity. The Immirzi parameter measures the size of the quantum of area in Planck units. As a result, its value is currently fixed by matching the semiclassical black hole entropy, as calculated by Stephen Hawking, and the counting of microstates in loop quantum gravity.
Eugene WignerEugene Paul Wigner (en hongrois Wigner Jenő Pál, prononcé ; – ) est un physicien théoricien hongrois naturalisé américain. En 1963, Wigner, Maria Goeppert-Mayer et Hans Daniel Jensen partagèrent le prix Nobel de physique pour leur travail sur l'explication de la structure du noyau atomique et son développement de la théorie de mécanique quantique concernant la nature du proton et du neutron. vignette|gauche|Werner Heisenberg et Eugene Wigner en 1928.
Espace projectif de HilbertL'espace projectif de Hilbert, en mathématiques et en mécanique quantique, est un espace projectif d'un espace de Hilbert complexe. Noté P(H), il est le jeu de classes d'équivalences de vecteurs v de H, avec v ≠ 0, qui sont tels que : v ~ w quand v = λw Avec λ un scalaire, c'est-à-dire un nombre complexe non nul. Les classes d'équivalences pour « ~ » sont également appelées rayons projectifs. C'est la construction habituelle d'un espace projectif, appliquée à un espace de Hilbert.
David HilbertDavid Hilbert, né en 1862 à Königsberg et mort en 1943 à Göttingen, est un mathématicien allemand. Il est souvent considéré comme un des plus grands mathématiciens du . Il a créé ou développé un large éventail d'idées fondamentales, que ce soit la théorie des invariants, l'axiomatisation de la géométrie ou les fondements de l'analyse fonctionnelle (avec les espaces de Hilbert). L'un des exemples les mieux connus de sa position de chef de file est sa présentation, en 1900, de ses fameux problèmes qui ont durablement influencé les recherches mathématiques du .
Confluence (informatique)vignette|Le nom « confluence » est le même que celui utilisé en géographie : deux cours d'eau se rejoignent. En mathématiques, ou en informatique, la confluence d'une relation binaire est définie comme la propriété suivante : Pour tous éléments tels que et , il existe un élément tel que et . La confluence est équivalente à la propriété de Church-Rosser. La confluence locale est une propriété plus faible que la confluence, utile pour les systèmes de réécriture. Elle est définie par : Pour tous éléments tels que et , il existe un élément tel que et .
Rendez-vous spatialthumb|Rendez-vous spatial entre les vaisseaux Gemini 6A et Gemini 7 Un rendez-vous spatial, en astronautique, est une rencontre organisée dans l'espace entre engins spatiaux, ou entre un engin spatial et un objet céleste à une vitesse relative nulle ou très faible. S'il s'agit d'un rendez-vous entre deux engins spatiaux habités et que ceux-ci s'amarrent l'un à l'autre, il peut y avoir mise en communication entre les espaces pressurisés ce qui nécessite de disposer d'un système de sas étanche.
