{{Hatnote|This article is on dimensional reduction in physics. For the statistics concept, see dimensionality reduction.}} {{More citations needed|date=December 2021}}
In physics, '''dimensional reduction''' refers to the description of a system in ''D'' spacetime dimensions in terms of an exact or effective action in fewer than ''D'' dimensions.
== In field theory == In statistical or quantum field theory, dimensional reduction is the limit of a compactified theory where the size of the compact dimension(s) goes to zero. For a system with ''p'' compact dimensions, the excitations that survive after taking this limit are zero modes that depend on the remaining ''d = D - p'' non-compact coordinates.
For example, consider a periodic compact dimension with period ''L''. Let ''x'' be the coordinate along this dimension. Any field <math>\phi</math> can be described as a sum of the following terms: :<math>\phi_n(x) = A_n \cos \left( \frac{2\pi n x}{L}\right) </math> with <math>A_n</math> a constant. According to quantum mechanics, such a term has momentum <math> nh / L</math> along ''x'', where ''h'' is the Planck constant.<ref>Strictly speaking, <math>\phi_n</math> is a linear combination of two wavefunctions with momentum <math>\pm nh/L</math>.</ref> Therefore, as ''L'' goes to zero, the momentum goes to infinity, and so does the energy, unless <math>n=0</math>: :<math>E_n \, \propto \, \frac{n^2}{L^2}\,.</math> At finite energy ''E'', we can therefore only excite the <math>n=0</math> mode. So in the limit where ''L'' goes to zero, <math>\phi</math> must be a multiple of <math>\phi_0</math>, which doesn't depend on ''x''.
This argument generalizes. The compact dimension imposes specific boundary conditions on all fields, for example periodic boundary conditions in the case of a periodic dimension, and typically Neumann or Dirichlet boundary conditions in other cases. Now suppose the size of the compact dimension is ''L''; then the possible eigenvalues under gradient along this dimension are integer or half-integer multiples of 1/''L'' (depending on the precise boundary conditions). In quantum mechanics this eigenvalue is the momentum of the field, and is therefore related to its energy. As <math>L \rightarrow 0</math> all eigenvalues except zero go to infinity, and so does the energy. Therefore, at this limit, with finite energy, zero is the only possible eigenvalue under gradient along the compact dimension, meaning that nothing depends on this dimension.
This idea applies to thermal quantum field theory, since a thermal system at high temperatures can be thought off as having a compactified circle of radius <math>1/T \rightarrow 0</math>.<ref>{{Cite book |last=Zinn-Justin |first=Jean |title=Quantum field theory and critical phenomena |date=2002 |publisher=Clarendon Press; Oxford University Press |isbn=978-0-19-850923-3 |edition=4th |series=International series of monographs on physics |location=Oxford: New York |pages=885-898}}</ref>
== In disordered systems == Dimensional reduction also refers to a phenomenon in the theory of quenched disordered systems. It was put forward by Amnon Aharony, Yoseph Imry, and Shang-keng Ma, who proved in 1976 that "to all orders in perturbation expansion, the critical exponents in a ''d''-dimensional ({{nowrap|4 < ''d'' < 6}}) system with short-range exchange and a random quenched field are the same as those of a ({{nowrap|''d'' − 2}})-dimensional pure system".<ref>{{cite journal|author=Aharony, A.|author2=Imry, Y.|author3=Ma, S.K.|year=1976|title=Lowering of dimensionality in phase transitions with random fields|journal=Physical Review Letters|volume=37|issue=20|pages=1364–1367|doi=10.1103/PhysRevLett.37.1364|bibcode=1976PhRvL..37.1364A }}</ref> Their arguments indicated that the "Feynman diagrams which give the leading singular behavior for the random case are identically equal, apart from combinatorial factors, to the corresponding Feynman diagrams for the pure case in two fewer dimensions."<ref name="SUSY1984_1">{{cite journal|author=Klein, A.|author-link1=Abel Klein|author2=Landau, L.J.|author3=Perez, J.F.|year=1984|title=Supersymmetry and the Parisi-Sourlas dimensional reduction: a rigorous proof|journal=Communications in Mathematical Physics|volume=94|issue=4|pages=459–482|doi=10.1007/BF01403882|bibcode=1984CMaPh..94..459K |s2cid=120640917|url=http://projecteuclid.org/euclid.cmp/1103941404}}</ref> This dimensional reduction was investigated further in the context of supersymmetric theory of Langevin stochastic differential equations by Giorgio Parisi and Nicolas Sourlas <ref>{{Cite journal|last1=Parisi|first1=G.|last2=Sourlas|first2=N.|date=1979|title=Random Magnetic Fields, Supersymmetry, and Negative Dimensions|journal=Physical Review Letters|volume=43|issue=11|pages=744–745|doi=10.1103/PhysRevLett.43.744|bibcode=1979PhRvL..43..744P}}</ref> who "observed that the most infrared divergent diagrams are those with the maximum number of random source insertions, and, if the other diagrams are neglected, one is left with a diagrammatic expansion for a classical field theory in the presence of random sources ... Parisi and Sourlas explained this dimensional reduction by a hidden supersymmetry."<ref name="SUSY1984_1" />
== See also == * Compactification (physics) * Kaluza–Klein theory * {{section link|String theory|Extra dimensions}} * Supergravity * Quantum gravity * Supersymmetric theory of stochastic dynamics
== References == {{reflist}}
{{DEFAULTSORT:Dimensional Reduction}} Category:String theory Category:Quantum field theory Category:Supersymmetry