Filtre coupe-bandeUn filtre coupe-bande aussi appelé filtre réjecteur de bande ou filtre cloche est un filtre empêchant le passage d'une partie des fréquences. Il est composé d'un filtre passe-haut et d'un filtre passe-bas dont les fréquences de coupure sont souvent proches mais différentes, la fréquence de coupure du filtre passe-bas est systématiquement inférieure à la fréquence de coupure du filtre passe-haut.
Expérience d'AspectEn mécanique quantique, l'expérience d'Aspect est la première expérience montrant la violation des inégalités de Bell, établissant un résultat irréfutable en vue de la validation du phénomène d'intrication quantique et des hypothèses de non-localité. Elle apporte ainsi une réponse expérimentale au paradoxe EPR proposé une cinquantaine d'années plus tôt par Albert Einstein, Boris Podolsky et Nathan Rosen. Cette expérience a été réalisée par le physicien français Alain Aspect à l'Institut d'Optique à Orsay entre 1980 et 1982.
État liéEn physique, un état lié est un composé de deux ou plusieurs blocs constitutifs (particules ou solides) qui se comportent comme un seul objet. En mécanique quantique (où le nombre de particules est conservé), un état lié est un état dans l'espace de Hilbert qui correspond à deux ou plusieurs particules dont l'énergie d'interaction est négative, et ainsi ces particules ne peuvent être séparées sans un apport d'énergie. Le spectre énergétique d'un état lié est discret, contrairement au spectre continu des particules isolées.
Expérience de la gomme quantique à choix retardéL’expérience de la gomme quantique à choix retardé est une expérience de mécanique quantique qui constitue une extension de celle d'Alain Aspect et des fentes de Young en y introduisant ce qui semble être une rétroaction implicite dans le temps. Proposée en 1982 par Marlan Scully et Kai Drühl, une version de cette expérience a été réalisée en 1998 par l'équipe de Yanhua Shih (université du Maryland aux États-Unis), et une présentation pédagogique par la chaîne PBS en a été diffusée en 2016.
Fuzzball (théorie des cordes)284px|vignette|droite|Selon la théorie, les fuzzballs, tout comme les trous noirs classiques, déforment l'espace-temps et courbent la lumière. Ici, le bord de la tache noire centrale, l'horizon des événements, correspond non seulement à la surface où sa vitesse de libération est égale à la vitesse de la lumière mais aussi la surface physique de la fuzzball. (Vue d'artiste.
Logique temporelle linéaireEn logique, la logique temporelle linéaire (LTL) est une logique temporelle modale avec des modalités se référant au temps. En LTL, on peut coder des formules sur l'avenir d'un chemin infini dans un système de transitions, par exemple une condition finira par être vraie, une condition sera vraie jusqu'à ce qu'une autre devienne vraie, etc. Cette logique est plus faible que la logique CTL*, qui permet d'exprimer des conditions sur des ramifications de chemins et pas seulement sur un seul chemin.
Niveau d'énergieUn niveau d'énergie est une quantité utilisée pour décrire les systèmes en mécanique quantique et par extension dans la physique en général, sachant que, s'il y a bien quantification de l'énergie, à un niveau d'énergie donné correspond un « état du système » donné ; à moins que le niveau d'énergie soit dit « dégénéré ». La notion de niveau d'énergie a été proposée en 1913 par le physicien danois Niels Bohr.
Étoile à neutronsthumb|300px|RX J1856.5-3754, une étoile à neutrons isolée proche du Système solaire, dont l'émission de surface est vue par le télescope spatial Hubble. Une étoile à neutrons est un astre principalement composé de neutrons maintenus ensemble par les forces de gravitation. De tels objets sont le résidu compact issu de l'effondrement gravitationnel du cœur de certaines étoiles massives lorsque celles-ci ont épuisé leur combustible nucléaire. Une étoile à neutrons peut présenter différents aspects.
Logique temporelleLa logique temporelle est une branche de la logique mathématique et plus précisément de la logique modale, qui est formalisée de plusieurs manières. La caractéristique commune de ces formalisations réside en l'ajout de modalités (autrement dit de « transformateurs de prédicats ») liées au temps ; par exemple, une formule typique de la logique modale est la formule , qui se lit : « la formule est satisfaite jusqu'à ce que la formule le soit » et qui signifie que l'on cherche à garantir qu'une certaine propriété (ici ) est satisfaite pendant tout le temps qui court avant qu'une autre formule (ici ) le soit.
