Editing Background independence

{{Short description|Concept of universality in physical science}}
'''Background independence''' is a condition in [[theoretical physics]] that requires the defining equations of a theory to be independent of the actual shape of the [[spacetime]] and the value of various [[field (physics)|field]]s within the spacetime. In particular this means that it must be possible not to refer to a specific [[coordinate system]]—the theory must be [[coordinate-free]]. In addition, the different spacetime configurations (or backgrounds) should be obtained as different solutions of the underlying equations.

==Description==
Background independence is a loosely defined property of a theory of physics. Roughly speaking, it limits the number of mathematical structures used to describe space and time that are put in place "by hand". Instead, these structures are the result of dynamical equations, such as [[Einstein field equations]], so that one can determine from first principles what form they should take. Since the form of the metric determines the result of calculations, a theory with background independence is more predictive than a theory without it, since the theory requires fewer inputs to make its predictions. This is analogous to desiring fewer free parameters in a fundamental theory.

So background independence can be seen as extending the mathematical objects that should be predicted from theory to include not just the parameters, but also geometrical structures. Summarizing this, Rickles writes: "Background structures are contrasted with dynamical ones, and a background independent theory only possesses the latter type—obviously, background dependent theories are those possessing the former type in addition to the latter type."<ref>{{Cite book |doi=10.1016/S1871-1774(08)00007-7 |chapter=Who's Afraid of Background Independence? |title=The Ontology of Spacetime II |series=Philosophy and Foundations of Physics |year=2008 |last1=Rickles |first1=Dean |volume=4 |pages=133–152 |isbn=978-0444532756 |citeseerx=10.1.1.452.2733 }}</ref>

In [[general relativity]], background independence is identified with the property that the metric of spacetime is the solution of a dynamical equation.<ref>{{Cite web |url=http://math.ucr.edu/home/baez/planck/node2.html |first=John C |last=Baez |title=Higher-Dimensional Algebra and Planck-Scale Physics – The Planck Length |date=January 28, 1999 }} Published in {{Cite book |title=Physics Meets Philosophy at the Planck Scale |url=https://archive.org/details/physicsmeetsphil00call |url-access=limited |editor-first1=Craig |editor-last1=Callender |editor-first2=Nick |editor-last2=Huggett |name-list-style=amp |publisher=Cambridge U. Press |year=2001 |pages=[https://archive.org/details/physicsmeetsphil00call/page/n182 172]–195}}</ref> In [[classical mechanics]], this is not the case, the metric is fixed by the physicist to match experimental observations. This is undesirable, since the form of the metric impacts the physical predictions, but is not itself predicted by the theory.

==Manifest background independence==
Manifest background independence is primarily an aesthetic rather than a physical requirement. It is analogous and closely related to requiring in [[differential geometry]] that equations be written in a form that is independent of the choice of charts and coordinate embeddings. If a background-independent formalism is present, it can lead to simpler and more elegant equations. However, there is no physical content in requiring that a theory be '''manifestly background-independent''' – for example, the equations of [[general relativity]] can be rewritten in local coordinates without affecting the physical implications.

Although making a property manifest is only aesthetic, it is a useful tool for making sure the theory actually has that property. For example, if a theory is written in a manifestly Lorentz-invariant way, one can check at every step to be sure that Lorentz invariance is preserved. Making a property manifest also makes it clear whether or not the theory actually has that property. The inability to make classical mechanics manifestly Lorentz-invariant does not reflect a lack of imagination on the part of the theorist, but rather a physical feature of the theory. The same goes for making classical mechanics or [[electromagnetism]] background-independent.

==Theories of quantum gravity==
Because of the speculative nature of quantum-gravity research, there is much debate as to the correct implementation of background independence. Ultimately, the answer is to be decided by experiment, but until experiments can probe quantum-gravity phenomena, physicists have to settle for debate. Below is a brief summary of the two largest quantum-gravity approaches.

Physicists have studied models of 3D quantum gravity, which is a much simpler problem than 4D quantum gravity (this is because in 3D, quantum gravity has no local degrees of freedom). In these models, there are non-zero transition amplitudes between two different topologies,<ref>{{Cite journal |first1=Hiroshi |last1=Ooguri |year=1992 |title=Partition Functions and Topology-Changing Amplitudes in the 3D Lattice Gravity of Ponzano and Regge |journal=Nuclear Physics B |volume=382 |issue=2 |publication-date=September 1992 |pages=276–304 |doi=10.1016/0550-3213(92)90188-H |arxiv=hep-th/9112072 |s2cid=12824742 }}</ref> or in other words, the topology changes. This and other similar results lead physicists to believe that any consistent quantum theory of gravity should include topology change as a dynamical process.

===String theory===
[[String theory]] is usually formulated with [[perturbation theory]] around a fixed background.  While it is possible that the theory defined this way is locally background-invariant, if so, it is not manifest, and it is not clear what the exact meaning is.  One attempt to formulate string theory in a manifestly background-independent fashion is [[string field theory]], but little progress has been made in understanding it.

Another approach is the conjectured, but yet unproven [[AdS/CFT correspondence|AdS/CFT duality]], which is believed to provide a full, non-perturbative definition of string theory in spacetimes with [[anti-de Sitter space|anti-de Sitter]] asymptotics. If so, this could describe a kind of [[superselection|superselection sector]] of the putative background-independent theory. But it would still be restricted to anti-de Sitter space asymptotics, which disagrees with the current observations of our Universe.  A full non-perturbative definition of the theory in arbitrary spacetime backgrounds is still lacking.

Topology change is an established process in [[string theory]].

===Loop quantum gravity===
A very different approach to quantum gravity called [[loop quantum gravity]] is fully non-perturbative and manifestly background-independent: geometric quantities, such as area, are predicted without reference to a background metric or asymptotics (e.g. no need for a background metric or [[anti-de Sitter space|anti-de Sitter]] asymptotics), only a given [[topology]].

==See also==
* [[Causal dynamical triangulation]]
* [[Coordinate-free]]
* [[General covariance]]
* [[Quantum field theory]]

==References==
{{reflist}}

==Further reading==
* {{Cite journal
 |last1=Rozali |first1=M.
 |year=2009
 |title=Comments on Background Independence and Gauge Redundancies
 |journal=[[Advanced Science Letters]]
 |volume=2 |issue=2 |pages=244–250
 |arxiv=0809.3962
 |bibcode=
 |doi=10.1166/asl.2009.1031
|s2cid=119111777
 }}
* {{Cite arXiv
 |last1=Smolin |first1=L.
 |author1-link=Lee Smolin
 |year=2005
 |title=The case for background independence
 |eprint=hep-th/0507235
}}
* {{Cite journal |last1=Colosi |first1=Daniele |last2=Doplicher |first2=Luisa |last3=Fairbairn |first3=Winston |last4=Modesto |first4=Leonardo |last5=Noui |first5=Karim |last6=Rovelli |first6=Carlo |title=Background independence in a nutshell: the dynamics of a tetrahedron |journal=Classical and Quantum Gravity |date=21 July 2005 |volume=22 |issue=14 |pages=2971–2989 |doi=10.1088/0264-9381/22/14/008 |arxiv=gr-qc/0408079 |bibcode=2005CQGra..22.2971C |s2cid=17317614 |citeseerx=10.1.1.339.4684 |osti=20663623 }}
* {{Cite arXiv
 |last1=Witten |first1=E.
 |author1-link=Edward Witten
 |year=1993
 |title=Quantum Background Independence in String Theory
 |eprint=hep-th/9306122
}}
* {{Cite book
 |last=Stachel |first=J.
 |author1-link=John Stachel
 |year=1993
 |chapter=The Meaning of General Covariance: The Hole Story
 |editor-first1=J. |editor-last1=Earman |editor-first2=A. |editor-last2=Janis |editor-first3=G. |editor-last3=Massey |editor-first4=N. |editor-last4=Rescher |name-list-style=amp
 |title=Philosophical Problems of the Internal and External Worlds: Essays on the Philosophy of Adolf Grünbaum
 |pages=129–160
 |publisher=[[University of Pittsburgh Press]]
 |isbn=0822937387
 |chapter-url=https://books.google.com/books?id=1Z3gvTLbQiAC&pg=PA129
}}
* {{Cite book
 |last=Stachel |first=J.
 |year=1994
 |chapter=Changes in the Concepts of Space and Time Brought About by Relativity
 |editor-first1=C. C. |editor-last1=Gould |editor-first2=R. S. |editor-last2=Cohen |name-list-style=amp 
 |title=Artifacts, Representations and Social Practice
 |publisher=[[Kluwer Academic]]
 |isbn=0792324811
 |pages=141–162
 |chapter-url=https://books.google.com/books?id=ro7pCAAAQBAJ&pg=PA141
}}
* {{Cite book
 |last1=Zahar |first1=E.
 |year=1989
 |title=Einstein's Revolution: A Study in Heuristic
 |publisher=[[Open Court Publishing Company]]
 |isbn=0812690664
}}

[[Category:Philosophy of physics]]
[[Category:Theoretical physics]]