no-go theorem
{{short description|Theorem of physical impossibility}}
{{Distinguish|No-ghost theorem}}
In theoretical physics, a no-go theorem is a theorem 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.{{cite journal |author1=Andrea Oldofredi|title=No-Go Theorems and the Foundations of Quantum Physics |journal=Journal for General Philosophy of Science |volume=49 |issue=3 |pages=355–370 |date=2018 |doi=10.1007/s10838-018-9404-5 |arxiv=1904.10991 }}{{cite journal |author1=Federico Laudisa|title=Against the No-Go Philosophy of Quantum Mechanics |journal=European Journal for Philosophy of Science |volume=4 |issue=1 |pages=1–17 |date=2014 |doi=10.1007/s13194-013-0071-4 |arxiv=1307.3179 }}{{cite journal |author1=Radin Dardashti|title=No-go theorems: What are they good for? |journal=Studies in History and Philosophy of Science |volume=4 |issue=1 |pages=47–55 |date=2021-02-21 |doi=10.1016/j.shpsa.2021.01.005|pmid=33965663 |arxiv=2103.03491 |bibcode=2021SHPSA..86...47D }}
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 theorems are a general category of theorems that restrict the type of magnetic fields that can be produced by dynamo action.
- 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.
= Non-relativistic quantum mechanics and quantum information =
- Bell's theorem
- Kochen–Specker theorem
- PBR theorem
- No-hiding theorem
- No-cloning theorem
- Quantum no-deleting theorem
- No-teleportation theorem
- No-broadcast theorem
- The no-communication theorem in quantum information theory gives conditions under which instantaneous transfer of information between two observers is impossible.
- No-programming theorem{{cite journal |last1=Nielsen |first1=M.A. |last2=Chuang |first2=Isaac L. |date=1997-07-14 |title=Programmable quantum gate arrays |journal=Physical Review Letters |volume=79 |issue=2 |pages=321–324 |doi=10.1103/PhysRevLett.79.321 |arxiv=quant-ph/9703032 |bibcode=1997PhRvL..79..321N |s2cid=119447939 |url=https://link.aps.org/doi/10.1103/PhysRevLett.79.321}}
- 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 cannot carry a Lorentz-covariant current, while massless particles with spin cannot carry a Lorentz-covariant stress-energy. It is usually interpreted to mean that the graviton {{nowrap|()}} in a relativistic quantum field theory cannot be a composite particle.
- Nielsen–Ninomiya theorem limits when it is possible to formulate a chiral lattice theory for fermions.
- Haag's theorem states that the interaction picture does not exist in an interacting, relativistic, quantum field theory (QFT).{{cite journal |last=Haag |first=Rudolf |year=1955 |title=On quantum field theories |journal=Matematisk-fysiske Meddelelser |volume=29 |page=12 |url=http://cdsweb.cern.ch/record/212242/files/p1.pdf}}
- Hegerfeldt's theorem implies that localizable free particles are incompatible with causality in relativistic quantum theory.
- Coleman–Mandula theorem states that "space-time and internal symmetries cannot be combined in any but a trivial way".
- Haag–Łopuszański–Sohnius theorem is a generalisation of the Coleman–Mandula theorem.
- Goddard–Thorn theorem
- Maldacena–Nunez no-go theorem: any compactification of type IIB string theory on an internal compact space with no brane sources will necessarily have a trivial warp factor and trivial fluxes.{{cite book|last1=Becker|first1=K.|author-link1=|last2=Becker|first2=M.|author-link2=Melanie Becker|last3=Schwarz|first3=J.H.|author-link3=John Henry Schwarz|date=2007|title=String Theory and M-Theory|url=|doi=|location=Cambridge|publisher=Cambridge University Press|chapter=10|pages=480–482|isbn=978-0521860697}}
- Reeh–Schlieder theorem
= General relativity =
- No-hair theorem, black holes are characterized only by mass, charge, and spin
Proof of impossibility
{{Main|Proof of impossibility}}
In mathematics there is the concept of proof of impossibility 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
References
{{reflist|25em}}
External links
- {{wikiquote-inline}}
- {{cite journal |arxiv=1406.7239 |doi=10.1088/1367-2630/17/4/043013 |title=Beating no-go theorems by engineering defects in quantum spin models |date=2015 |last1=Sadhukhan |first1=Debasis |last2=Roy |first2=Sudipto Singha |last3=Rakshit |first3=Debraj |last4=Sen(De) |first4=Aditi |last5=Sen |first5=Ujjwal |journal=New Journal of Physics |volume=17 |issue=4 |page=043013 |bibcode=2015NJPh...17d3013S }}
{{DEFAULTSORT:No-Go Theorem}}