No-go Theorem
   HOME

TheInfoList



OR:

In
theoretical physics Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain, and predict List of natural phenomena, natural phenomena. This is in contrast to experimental p ...
, a no-go theorem is a
theorem In mathematics and formal logic, a theorem is a statement (logic), statement that has been Mathematical proof, proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to esta ...
that states that a particular situation is not physically possible. This type of theorem imposes boundaries on certain mathematical or physical possibilities via a
proof by contradiction In 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 pr ...
.


Instances of no-go theorems

Full descriptions of the no-go theorems named below are given in other articles linked to their names. A few of them are broad, general categories under which several theorems fall. Other names are broad and general-sounding but only refer to a single theorem.


Classical electrodynamics

*
Antidynamo theorem In physics and in particular in the theory of magnetism, an antidynamo theorem is one of several results that restrict the type of magnetic fields that may be produced by dynamo action. One notable example is Thomas Cowling's antidynamo theore ...
s are a general category of theorems that restrict the type of
magnetic fields A magnetic field (sometimes called B-field) is a physical field that describes the magnetic influence on moving electric charges, electric currents, and magnetic materials. A moving charge in a magnetic field experiences a force perpendicular ...
that can be produced by
dynamo "Dynamo Electric Machine" (end view, partly section, ) A dynamo is an electrical generator that creates direct current using a commutator. Dynamos employed electromagnets for self-starting by using residual magnetic field left in the iron cores ...
action. *
Earnshaw's theorem Earnshaw's theorem states that a collection of point charges cannot be maintained in a stable stationary equilibrium configuration solely by the electrostatic interaction of the charges. This was first proven by British mathematician Samuel Earns ...
states that a collection of point charges cannot be maintained in a stable stationary
equilibrium Equilibrium may refer to: Film and television * ''Equilibrium'' (film), a 2002 science fiction film * '' The Story of Three Loves'', also known as ''Equilibrium'', a 1953 romantic anthology film * "Equilibrium" (''seaQuest 2032'') * ''Equilibr ...
configuration solely by the
electrostatic Electrostatics is a branch of physics that studies slow-moving or stationary electric charges. Since classical times, it has been known that some materials, such as amber, attract lightweight particles after rubbing. The Greek word (), mean ...
interaction of the charges.


Non-relativistic quantum mechanics and quantum information

*
Bell's theorem Bell's theorem is a term encompassing a number of closely related results in physics, all of which determine that quantum mechanics is incompatible with local hidden-variable theories, given some basic assumptions about the nature of measuremen ...
*
Kochen–Specker theorem In quantum mechanics, the Kochen–Specker (KS) theorem, also known as the Bell–KS theorem, is a "no-go" theorem proved by John S. Bell in 1966 and by Simon B. Kochen and Ernst Specker in 1967. It places certain constraints on the pe ...
* PBR theorem * No-hiding theorem *
No-cloning theorem In physics, the no-cloning theorem states that it is impossible to create an independent and identical copy of an arbitrary unknown quantum state, a statement which has profound implications in the field of quantum computer, quantum computing among ...
*
Quantum no-deleting theorem In physics, the no-deleting theorem of quantum information science, quantum information theory is a no-go theorem which states that, in general, given two copies of some arbitrary quantum state, it is impossible to delete one of the copies. It is a ...
* No-teleportation theorem *
No-broadcast theorem In physics, the no-broadcasting theorem is a result of quantum information theory. In the case of pure quantum states, it is a corollary of the no-cloning theorem. The no-cloning theorem for pure states says that it is impossible to create two c ...
* The no-communication theorem in
quantum information theory Quantum information is the information of the state of a quantum system. It is the basic entity of study in quantum information theory, and can be manipulated using quantum information processing techniques. Quantum information refers to both t ...
gives conditions under which instantaneous transfer of information between two observers is impossible. * No-programming theorem * Von Neumann's no hidden variables proof


Quantum field theory and string theory

* Weinberg–Witten theorem states that massless particles (either composite or elementary) with spin \; J > \tfrac \; cannot carry a Lorentz-covariant current, while massless particles with spin \; J > 1 \; cannot carry a Lorentz-covariant stress-energy. It is usually interpreted to mean that the
graviton In theories of quantum gravity, the graviton is the hypothetical elementary particle that mediates the force of gravitational interaction. There is no complete quantum field theory of gravitons due to an outstanding mathematical problem with re ...
in a relativistic
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
cannot be a composite particle. * Nielsen–Ninomiya theorem limits when it is possible to formulate a
chiral Chirality () is a property of asymmetry important in several branches of science. The word ''chirality'' is derived from the Greek language, Greek (''kheir''), "hand", a familiar chiral object. An object or a system is ''chiral'' if it is dist ...
lattice theory A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bou ...
for
fermions In particle physics, a fermion is a subatomic particle that follows Fermi–Dirac statistics. Fermions have a half-integer spin ( spin , spin , etc.) and obey the Pauli exclusion principle. These particles include all quarks and leptons and ...
. * Haag's theorem states that the interaction picture does not exist in an interacting, relativistic,
quantum field theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines Field theory (physics), field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct phy ...
(QFT). * Hegerfeldt's theorem implies that localizable free particles are incompatible with causality in
relativistic quantum theory In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines field theory and the principle of relativity with ideas behind quantum mechanics. QFT is used in particle physics to construct physical models of subatom ...
. * Coleman–Mandula theorem states that "space-time and internal symmetries cannot be combined in any but a trivial way". *
Haag–Łopuszański–Sohnius theorem In theoretical physics, the Haag–Łopuszański–Sohnius theorem states that if both commutative property, commutating and anticommutative property, anticommutating generator (mathematics), generators are considered, then the only way to nontrivi ...
is a generalisation of the Coleman–Mandula theorem. *
Goddard–Thorn theorem In mathematics, and in particular in the mathematical background of string theory, the Goddard–Thorn theorem (also called the no-ghost theorem) is a theorem describing properties of a functor that quantizes bosonic strings. It is named after ...
* Maldacena–Nunez no-go theorem: any compactification of type IIB string theory on an internal
compact Compact as used in politics may refer broadly to a pact or treaty; in more specific cases it may refer to: * Interstate compact, a type of agreement used by U.S. states * Blood compact, an ancient ritual of the Philippines * Compact government, a t ...
space with no
brane In string theory and related theories (such as supergravity), a brane is a physical object that generalizes the notion of a zero-dimensional point particle, a one-dimensional string, or a two-dimensional membrane to higher-dimensional objec ...
sources will necessarily have a trivial warp factor and trivial
flux Flux describes any effect that appears to pass or travel (whether it actually moves or not) through a surface or substance. Flux is a concept in applied mathematics and vector calculus which has many applications in physics. For transport phe ...
es. * Reeh–Schlieder theorem


General relativity

*
No-hair theorem The no-hair theorem states that all stationary black hole solutions of the Einstein–Maxwell equations of gravitation and electromagnetism in general relativity can be completely characterized by only three independent ''externally'' observabl ...
, black holes are characterized only by mass, charge, and spin


Proof of impossibility

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
there is the concept of
proof of impossibility In mathematics, an impossibility theorem is a theorem that demonstrates a problem or general set of problems cannot be solved. These are also known as proofs of impossibility, negative proofs, or negative results. Impossibility theorems often reso ...
referring to problems impossible to solve. The difference between this impossibility and that of the no-go theorems is that a proof of impossibility states a category of logical proposition that may never be true; a no-go theorem instead presents a sequence of events that may never occur.


See also

*
Arrow's impossibility theorem Arrow's impossibility theorem is a key result in social choice theory showing that no ranked-choice procedure for group decision-making can satisfy the requirements of rational choice. Specifically, Arrow showed no such rule can satisfy the ind ...


References


External links

* * {{DEFAULTSORT:No-Go Theorem Quantum field theory Supersymmetry *