# Bekenstein bound

In physics, the **Bekenstein bound** (named after Jacob Bekenstein) is an upper limit on the thermodynamic entropy *S*, or Shannon entropy *H*, that can be contained within a given finite region of space which has a finite amount of energy—or conversely, the maximal amount of information required to perfectly describe a given physical system down to the quantum level.^{[1]} 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. In computer science this implies that non-finite models such as Turing machines are not realizable as finite devices.

## Equations[edit]

The universal form of the bound was originally found by Jacob Bekenstein in 1981 as the inequality^{[1]}^{[2]}^{[3]}

where *S* is the entropy, *k* is the Boltzmann constant, *R* is the radius of a sphere that can enclose the given system, *E* is the total mass–energy including any rest masses, *ħ* is the reduced Planck constant, and *c* is the speed of light. Note that while gravity plays a significant role in its enforcement, the expression for the bound does not contain the gravitational constant *G*, and so, it ought to apply to quantum field theory in curved spacetime.

In informational terms, the relation between thermodynamic entropy *S* and Shannon entropy *H* is given by^{[citation needed]}

whence

where *H* is the Shannon entropy expressed in number of bits contained in the quantum states in the sphere. The ln 2 factor comes from defining the information as the logarithm to the base 2 of the number of quantum states.^{[4]} Using mass–energy equivalence, the informational limit may be reformulated as

where is the mass (in kg), and is the radius (in meter) of the system.

## Origins[edit]

Bekenstein derived the bound from heuristic arguments involving black 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 the second law of thermodynamics by lowering it into a black hole. In 1995, Ted Jacobson demonstrated that the Einstein field equations (i.e., general relativity) can be derived by assuming that the Bekenstein bound and the laws of thermodynamics are true.^{[5]}^{[6]} 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.^{[2]}^{[3]} ^{[7]}^{[8]}^{[9]}^{[10]}^{[11]}^{[12]}^{[13]}^{[14]}^{[15]}

Suppose we have a black hole of mass and a box of energy outside it of size . The radius of the black hole, goes as and the entropy of the black hole goes as which goes as . If we dump the box into the black hole, the mass of the black hole goes up to , and the entropy goes up by . Since entropy can't decrease, . In order for the box to fit inside the black hole, . If the sizes are comparable, then . Working out the actual coefficients requires a more technical analysis.

## Proof in quantum field theory[edit]

A proof of the Bekenstein bound in the framework of quantum field theory was given in 2008 by Casini.^{[16]} 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 from ultraviolet 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 the vacuum state. For example, given a spatial region , Casini defines the entropy on the left-hand side of the Bekenstein bound as

where is the Von Neumann entropy of the reduced density matrix associated with in the excited state , and is the corresponding Von Neumann entropy for the vacuum state .

On the right-hand side of the Bekenstein bound, a difficult point is to give a rigorous interpretation of the quantity , where is a characteristic length scale of the system and is a characteristic energy. This product has the same units as the generator of a Lorentz boost, and the natural analog of a boost in this situation is the modular Hamiltonian of the vacuum state . 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,

With these definitions, the bound reads

which can be rearranged to give

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

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

This construction allows us to make sense of the Casimir effect^{[17]} where the localized energy density is *lower* than that of the vacuum, i.e. a *negative* localized 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 radiation can be explained by dumping localized negative energy into a black hole.

## Examples[edit]

### Black holes[edit]

It happens that the Bekenstein–Hawking boundary entropy of three-dimensional black holes exactly saturates the bound

where is the Boltzmann constant, *A* is the two-dimensional area of the black hole's event horizon and is the Planck length.

The bound is closely associated with black hole thermodynamics, the holographic principle and the covariant entropy bound of quantum gravity, and can be derived from a conjectured strong form of the latter.^{[citation needed]}

### Human brain[edit]

An average human brain has a mass of 1.5 kg and a volume of 1260 cm^{3}. If the brain is approximated by a sphere, then the radius will be 6.7 cm.

The informational Bekenstein bound will be about 2.6×10^{42} bits and represents the maximal information needed to perfectly recreate an average human brain down to the quantum level. This means that the number of states of the human brain must be less than .^{[citation needed]}

## See also[edit]

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

## References[edit]

- ^
^{a}^{b}Bekenstein, Jacob D. (1981). "Universal upper bound on the entropy-to-energy ratio for bounded systems" (PDF).*Physical Review D*.**23**(2): 287–298. Bibcode:1981PhRvD..23..287B. doi:10.1103/PhysRevD.23.287. S2CID 120643289. - ^
^{a}^{b}Bekenstein, Jacob D. (2005). "How does the Entropy/Information Bound Work?".*Foundations of Physics*.**35**(11): 1805–1823. arXiv:quant-ph/0404042. Bibcode:2005FoPh...35.1805B. doi:10.1007/s10701-005-7350-7. S2CID 118942877. - ^
^{a}^{b}Bekenstein, Jacob (2008). "Bekenstein bound".*Scholarpedia*.**3**(10): 7374. Bibcode:2008SchpJ...3.7374B. doi:10.4249/scholarpedia.7374. **^**Tipler, F. J. (2005). "The structure of the world from pure numbers" (PDF).*Reports on Progress in Physics*.**68**(4): 897–964. arXiv:0704.3276. Bibcode:2005RPPh...68..897T. doi:10.1088/0034-4885/68/4/R04. S2CID 119620977.**^**Jacobson, Ted (1995). "Thermodynamics of Spacetime: The Einstein Equation of State" (PDF).*Physical Review Letters*.**75**(7): 1260–1263. arXiv:gr-qc/9504004. Bibcode:1995PhRvL..75.1260J. CiteSeerX 10.1.1.54.6675. doi:10.1103/PhysRevLett.75.1260. PMID 10060248. S2CID 13223728. Archived from the original (PDF) on 2011-10-01. Retrieved 2010-05-23.**^**Lee Smolin,*Three Roads to Quantum Gravity*(New York, N.Y.: Basic Books, 2002), pp. 173 and 175, ISBN 0-465-07836-2, LCCN 2007-310371.**^**Bousso, Raphael (1999). "Holography in general space-times".*Journal of High Energy Physics*.**1999**(6): 028. arXiv:hep-th/9906022. Bibcode:1999JHEP...06..028B. doi:10.1088/1126-6708/1999/06/028. S2CID 119518763.**^**Bousso, Raphael (1999). "A covariant entropy conjecture".*Journal of High Energy Physics*.**1999**(7): 004. arXiv:hep-th/9905177. Bibcode:1999JHEP...07..004B. doi:10.1088/1126-6708/1999/07/004. S2CID 9545752.**^**Bousso, Raphael (2000). "The holographic principle for general backgrounds".*Classical and Quantum Gravity*.**17**(5): 997–1005. arXiv:hep-th/9911002. Bibcode:2000CQGra..17..997B. doi:10.1088/0264-9381/17/5/309. S2CID 14741276.**^**Bekenstein, Jacob D. (2000). "Holographic bound from second law of thermodynamics".*Physics Letters B*.**481**(2–4): 339–345. arXiv:hep-th/0003058. Bibcode:2000PhLB..481..339B. doi:10.1016/S0370-2693(00)00450-0. S2CID 119427264.**^**Bousso, Raphael (2002). "The holographic principle" (PDF).*Reviews of Modern Physics*.**74**(3): 825–874. arXiv:hep-th/0203101. Bibcode:2002RvMP...74..825B. doi:10.1103/RevModPhys.74.825. S2CID 55096624. Archived from the original (PDF) on 2011-08-12. Retrieved 2010-05-23.**^**Jacob D. Bekenstein, "Information in the Holographic Universe: Theoretical results about black holes suggest that the universe could be like a gigantic hologram",*Scientific American*, Vol. 289, No. 2 (August 2003), pp. 58-65. Mirror link.**^**Bousso, Raphael; Flanagan, Éanna É.; Marolf, Donald (2003). "Simple sufficient conditions for the generalized covariant entropy bound".*Physical Review D*.**68**(6): 064001. arXiv:hep-th/0305149. Bibcode:2003PhRvD..68f4001B. doi:10.1103/PhysRevD.68.064001. S2CID 119049155.**^**Bekenstein, Jacob D. (2004). "Black holes and information theory".*Contemporary Physics*.**45**(1): 31–43. arXiv:quant-ph/0311049. Bibcode:2004ConPh..45...31B. doi:10.1080/00107510310001632523. S2CID 118970250.**^**Tipler, F. J. (2005). "The structure of the world from pure numbers" (PDF).*Reports on Progress in Physics*.**68**(4): 897–964. arXiv:0704.3276. Bibcode:2005RPPh...68..897T. doi:10.1088/0034-4885/68/4/R04. S2CID 119620977.. Tipler gives a number of arguments for maintaining that Bekenstein's original formulation of the bound is the correct form. See in particular the paragraph beginning with "A few points ..." on p. 903 of the*Rep. Prog. Phys.*paper (or p. 9 of the*arXiv*version), and the discussions on the Bekenstein bound that follow throughout the paper.**^**Casini, Horacio (2008). "Relative entropy and the Bekenstein bound".*Classical and Quantum Gravity*.**25**(20): 205021. arXiv:0804.2182. Bibcode:2008CQGra..25t5021C. doi:10.1088/0264-9381/25/20/205021. S2CID 14456556.**^**Bousso, Raphael (2004-02-12). "Bound states and the Bekenstein bound".*Journal of High Energy Physics*.**2004**(2): 025. arXiv:hep-th/0310148. Bibcode:2004JHEP...02..025B. doi:10.1088/1126-6708/2004/02/025. ISSN 1029-8479. S2CID 17662307.

## External links[edit]

- Jacob D. Bekenstein, "Bekenstein bound",
*Scholarpedia*, Vol. 3, No. 10 (2008), p. 7374, doi:10.4249/scholarpedia.7374. - Jacob D. Bekenstein, "Bekenstein-Hawking entropy",
*Scholarpedia*, Vol. 3, No. 10 (2008), p. 7375, doi:10.4249/scholarpedia.7375. - Jacob D. Bekenstein's website at the 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*. Archived from the original on 2021-12-12 – via YouTube.