Bekenstein bound

According to the Bekenstein bound, theentropyof ablack holeis proportional to the number ofPlanck areasthat it would take to cover the black hole'sevent horizon.

Inphysics,theBekenstein bound(named afterJacob Bekenstein) is an upper limit on thethermodynamic entropyS,orShannon entropyH,that can be contained within a given finite region of space which has a finite amount of energy—or conversely, the maximum amount of information required to perfectly describe a given physical system down to the quantum level.It implies that the information of a physical system, or the information necessary to perfectly describe that system, must be finite if the region of space and the energy are finite.

Equations

The universal form of the bound was originally found by Jacob Bekenstein in 1981 as theinequality $$S\leq {\frac {2\pi kRE}{\hbar c}},$$ whereSis theentropy,kis theBoltzmann constant,Ris theradiusof aspherethat can enclose the given system,Eis the totalmass–energyincluding anyrest masses,ħis thereduced Planck constant,andcis thespeed of light.Note that while gravity plays a significant role in its enforcement, the expression for the bound does not contain thegravitational constantG,and so, it ought to apply toquantum field theory in curved spacetime.

TheBekenstein–Hawking boundary entropyof three-dimensionalblack holesexactly saturates the bound. TheSchwarzschild radiusis given by $$r_{\rm {s}}={\frac {2GM}{c^{2}}},$$ and so the two-dimensional area of the black hole's event horizon is $$A=4\pi r_{\rm {s}}^{2}={\frac {16\pi G^{2}M^{2}}{c^{4}}},$$ and using thePlanck length $$l_{\rm {P}}^{2}=\hbar G/c^{3},$$ the Bekenstein–Hawking entropy is $$S={\frac {kA}{4\ l_{\rm {P}}^{2}}}={\frac {4\pi kGM^{2}}{\hbar c}}.$$

One interpretation of the bound makes use of themicrocanonicalformula for entropy, $$S=k\log \Omega,$$ where$\Omega$is the number of energyeigenstatesaccessible to the system. This is equivalent to saying that the dimension of theHilbert spacedescribing the system is $$\dim {\mathcal {H}}=\exp \left({\frac {2\pi RE}{\hbar c}}\right).$$

The bound is closely associated withblack hole thermodynamics,theholographic principleand thecovariant entropy boundof quantum gravity, and can be derived from a conjectured strong form of the latter.

Origins

Bekenstein derived the bound from heuristic arguments involvingblack holes.If a system exists that violates the bound, i.e., by having too much entropy, Bekenstein argued that it would be possible to violate thesecond law of thermodynamicsby lowering it into a black hole. In 1995,Ted Jacobsondemonstrated that theEinstein field equations(i.e.,general relativity) can be derived by assuming that the Bekenstein bound and thelaws of thermodynamicsare true.However, while a number of arguments were devised which show that some form of the bound must exist in order for the laws of thermodynamics and general relativity to be mutually consistent, the precise formulation of the bound was a matter of debate until Casini's work in 2008.

The following is a heuristic derivation that shows$S\leq K{\frac {kRE}{\hbar c}}$for some constant$K$.Showing that$K=2\pi$requires a more technical analysis.

Suppose we have a black hole of mass$M$,then theSchwarzschild radiusof the black hole is$R_{bh}\sim {\frac {GM}{c^{2}}}$,and the Bekenstein–Hawking entropy of the black hole is$\sim {\frac {kc^{3}R_{bh}^{2}}{\hbar G}}\sim {\frac {kGM^{2}}{\hbar c}}$.

Now take a box of energy$E$,entropy$S$,and side length$R$.If we throw the box into the black hole, the mass of the black hole goes up to$M+{\frac {E}{c^{2}}}$,and the entropy goes up by${\frac {kGME}{\hbar c^{3}}}$.Since entropy does not decrease,${\frac {kGME}{\hbar c^{3}}}\gtrsim S$.

In order for the box to fit inside the black hole,$R\lesssim {\frac {GM}{c^{2}}}$.If the two are comparable,$R\sim {\frac {GM}{c^{2}}}$,then we have derived the BH bound:$S\lesssim {\frac {kRE}{\hbar c}}$.

Proof in quantum field theory

A proof of the Bekenstein bound in the framework ofquantum field theorywas given in 2008 by Casini.One of the crucial insights of the proof was to find a proper interpretation of the quantities appearing on both sides of the bound.

Naive definitions of entropy and energy density in Quantum Field Theory suffer fromultraviolet divergences.In the case of the Bekenstein bound, ultraviolet divergences can be avoided by taking differences between quantities computed in an excited state and the same quantities computed in thevacuum state.For example, given a spatial region$V$,Casini defines the entropy on the left-hand side of the Bekenstein bound as $$S_{V}=S(\rho _{V})-S(\rho _{V}^{0})=-\mathrm {tr} (\rho _{V}\log \rho _{V})+\mathrm {tr} (\rho _{V}^{0}\log \rho _{V}^{0})$$ where$S(\rho _{V})$is theVon Neumann entropyof thereduced density matrix$\rho _{V}$associated with$V$in the excited state$\rho$,and$S(\rho _{V}^{0})$is the corresponding Von Neumann entropy for the vacuum state$\rho ^{0}$.

On the right-hand side of the Bekenstein bound, a difficult point is to give a rigorous interpretation of the quantity$2\pi RE$,where$R$is a characteristic length scale of the system and$E$is a characteristic energy. This product has the same units as the generator of aLorentz boost,and the natural analog of a boost in this situation is themodular Hamiltonianof the vacuum state$K=-\log \rho _{V}^{0}$.Casini defines the right-hand side of the Bekenstein bound as the difference between the expectation value of the modular Hamiltonian in the excited state and the vacuum state, $$K_{V}=\mathrm {tr} (K\rho _{V})-\mathrm {tr} (K\rho _{V}^{0}).$$

With these definitions, the bound reads $$S_{V}\leq K_{V},$$ which can be rearranged to give $$\mathrm {tr} (\rho _{V}\log \rho _{V})-\mathrm {tr} (\rho _{V}\log \rho _{V}^{0})\geq 0.$$

This is simply the statement of positivity ofquantum relative entropy,which proves the Bekenstein bound.

However, the modular Hamiltonian can only be interpreted as a weighted form of energy forconformal field theories,and when V is a sphere.

This construction allows us to make sense of theCasimir effectwhere the localized energy density islowerthan that of the vacuum, i.e. anegativelocalized energy. The localized entropy of the vacuum is nonzero, and so, the Casimir effect is possible for states with a lower localized entropy than that of the vacuum.Hawking radiationcan be explained by dumping localized negative energy into a black hole.

See also

• Margolus–Levitin theorem
• Landauer's principle
• Bremermann's limit
• Kolmogorov complexity
• Beyond black holes
• Digital physics
• Limits of computation
• Chandrasekhar limit

External links

• Jacob D. Bekenstein,"Bekenstein-Hawking entropy",Scholarpedia,Vol. 3, No. 10 (2008), p. 7375,doi:10.4249/scholarpedia.7375.
• Jacob D. Bekenstein's websiteatthe Racah Institute of Physics,Hebrew University of Jerusalem,which contains a number of articles on the Bekenstein bound.
• O'Dowd, Matt(September 12, 2018)."How Much Information is in the Universe?".PBS Space Time.Archivedfrom the original on 2021-12-12 – viaYouTube.