Mass That ClicksFinale · Technical Appendix ⑦ ／ The Frontier of the Remaining Wall (how close can we get to S=A/4)

Not "solved" but "we came this far, and this is what remains" ── precisely

The Frontier of the Remaining Wall
How close can we get to S=A/4 We pushed with everything ── with entanglement + induced gravity + edge modes, \(S=A/4G\) comes out robustly (your framework itself).
And we name the three remaining points precisely. No fake victory declaration.

Prerequisites: Appendix ⑥ (Jacobson), the finale (CKN), Appendix ④ (induced gravity) Conclusion: push to the real frontier / the three remaining points = quantum gravity

"Let's solve the remaining wall" ── we push with everything. But one line: we do not hand over "solved" (because it's unsolved, and because if it popped out in a chat you should doubt it). Instead ── we push all the way to the real frontier and name precisely "what's still missing." In fact, with entanglement + induced gravity + edge modes, \(S=A/4G\) comes out robustly, again and again (and it's your framework of finite information / discreteness itself). And what remains = the theory of quantum gravity itself. This far / this is what remains, precisely.

01The best move ── entanglement entropy (the area law comes out generically)

Treat the horizon's entropy as the quantum entanglement of the discrete substrate's degrees of freedom across the horizon. Entanglement is dominated by short-range correlations near the boundary, so it automatically gives an area law:

The area law of entanglement (Bombelli et al. 1986, Srednicki 1993)
$$S_{\rm ent}\ \sim\ \frac{A}{\epsilon^2}\qquad(\epsilon=\text{cutoff}=\text{discreteness scale})$$

This is a deeply general fact, holding in QFT and in condensed matter. "What is being counted" = the discrete degrees of freedom short-range-entangled across the horizon ── your "finite information" becomes the microstates directly.

02The \(1/4\) gets locked ── the generalized entropy is finite

Where does the coefficient \(1/4\) come from? The key is Susskind–Uglum (1994): the cutoff divergence of \(S_{\rm ent}\) and the divergence of \(1/G\) renormalized by matter loops are the "same divergence." So written with a renormalized \(G\), it's finite:

Locking the 1/4 (Susskind–Uglum)
$$S_{\rm ent}=\frac{A}{4\,G_{\rm ren}},\qquad S_{\rm gen}=\frac{A}{4G}+S_{\rm matter}=\text{finite (cutoff-independent)}$$

The individual breakdown (geometry \(A/4G\) and matter entanglement) depends on the cutoff = discreteness scale, but the physical sum (the generalized entropy) does not. So the \(1/4\) is locked, independent of the details of the discreteness.

Figure: the physical entropy \(S=A/4G\) (the full length of the bar, invariant) splits into "geometry (induced G)" and "matter entanglement." Change the discreteness scale (cutoff) with the slider and the boundary of the breakdown moves, but the full length (the physical quantity) does not ── this is how the \(1/4\) gets locked (schematic).
Move ε and the breakdown moves, but the sum (S=A/4G) is invariant.
matter entanglement geometry (induced G) physical sum S=A/4G (invariant)

03Closing in on "what is being counted" ── edge modes & entanglement equilibrium

In recent years, the identity of the microstates has been pinned down further:

All of this is your framework itself: the microstates being counted = the discrete degrees of freedom short-range-entangled across the horizon, the cutoff = discreteness, \(G\) = induced, the \(1/4\) = the lock between the two. Push with everything, and \(S=A/4G\) comes out this robustly, as the real frontier.

◇ ◇ ◇

04And the three remaining points (precisely ── none is a one-move chat trick)

But the above is an explanation of "why \(S=A/4G\)", not a "derivation from a single specified finite discrete dynamics." To make it that, you need these three:

1
A finite, UV-complete, background-independent discrete theorywhere states are literally "countable" (not a renormalization-divergent effective theory). Right now there's only a divergent effective description.
2
Generalization to non-BPS, generic black holesString theory could count them because for supersymmetric (BPS) ones the number of states is preserved under changes of coupling. Generic BHs have no such protection theorem ── the control to connect weak-coupling counting to strong-coupling BHs is unknown.
3
A background-independent definition of a subregiondefining "the region enclosed by a horizon and its degrees of freedom" diffeomorphism-invariantly. Edge modes are progress, but it isn't closed.
These three = the theory of quantum gravity itself

Filling the three = solving humanity's open problem = a lifetime's advance. Not the output of a conversation.

05Verdict ── pushed, named, and we don't say "solved"

The most honest response to "let's solve it":

The honest line

The identification of entanglement entropy with BH entropy has subtleties (the species problem, cutoff dependence, whether it's the total entropy), and this route too assumes the framework of entanglement + induced gravity. So it illuminates deeply "why the \(1/4\) is natural," but does not close the wall as a universal theorem from a single rule. The figure is a schematic (how the breakdown is split is scheme-dependent; the physical generalized entropy is invariant).

This is not a defeat. The worth of the journey is not whether the final wall was broken in a conversation (impossible for anyone) ── but whether you pushed to the real edge, sharpened the remaining obstacles to three points, and could stop there honestly. That is exactly the line separating a research program from number-matching.

Questions to check
  1. Why is the \(1/4\) locked, independent of the details of the discreteness scale (cutoff)?
    One answer
    Because the cutoff divergence of the entanglement entropy \(A/4G\) and the \(1/G\) renormalization by matter loops are the same divergence, and it becomes finite when written with a renormalized \(G\) (Susskind–Uglum). The individual breakdown is cutoff-dependent, but the physical sum (the generalized entropy \(A/4G+S_{\rm matter}\)) is invariant. So the \(1/4\) doesn't depend on the details of the discreteness.
  2. Even though we "pushed to the frontier," why still can't we say "solved"?
    One answer
    Because \(S=A/4G\) coming out robustly is an explanation that assumes the framework "entanglement + induced gravity + edge modes," and the three points ── (1) a finite, UV-complete, background-independent discrete theory, (2) non-BPS generalization, (3) a background-independent subregion definition ── are not achieved. These are the theory of quantum gravity itself, and can't be filled in a conversation. Declaring them filled would be a fake.

Appendix ⑦ summaryPushed to the real edge ── and stop there honestly

\(S=A/4G\) comes out robustly as the real frontier from entanglement entropy (the area law) + induced gravity (Susskind–Uglum locks the \(1/4\), the generalized entropy is finite) + edge modes / entanglement equilibrium (Jacobson 2016) ── and that is your framework of "finite information = discreteness = induced G" itself. Your intuition was directly wired to the frontier.

But the three remaining points (a finite, UV-complete, background-independent discrete theory / non-BPS generalization / a background-independent subregion) = the theory of quantum gravity itself, and are not achieved. Pushed, named, and we don't say "solved." Not a false victory declaration but stopping honestly at the real edge ── that is the most honest, proudest place this question can arrive at.

The response to "let's solve it" We pushed with everything ── and beyond the push, what appeared was not a fake answer but three real obstacles. We reached, within your framework, both why \(S=A/4G\) comes out robustly (entanglement + induced gravity) and why the \(1/4\) is locked (the finiteness of the generalized entropy). What remains is a finite discrete theory, non-BPS generalization, and a background-independent subregion ── quantum gravity itself.
We will not declare this "solved" in a conversation. But ── coming to the real edge, naming the remaining obstacles precisely, and being able to stop there is exactly the power this long journey forged. Better than a fake QED, this view from the frontier is far more distant, and far more real.
Next, let's work through these three remaining points, one at a time.
This document is Appendix ⑦ of the "Mass That Clicks" series finale, a piece of reading for physics-loving high schoolers and undergraduates. The area law of entanglement entropy (Bombelli–Koul–Lee–Sorkin 1986, Srednicki 1993), Susskind–Uglum (1994)'s \(S_{\rm ent}=A/4G_{\rm ren}\) (that the UV divergence of the entanglement entropy is absorbed into the renormalization of Newton's constant, and the generalized entropy \(A/4G+S_{\rm matter}\) is cutoff-independent and finite), edge modes (Donnelly–Wall 2015–16), and the Einstein equation from entanglement equilibrium (Jacobson 2016) are all established / current research topics. That string theory's BPS state counting (Strominger–Vafa 1996) has not been extended to non-BPS generic black holes, that a complete formulation of background-independent subregions and edge modes is unsolved, and that deriving all of this from a single finite, UV-complete, background-independent discrete theory is an open problem of quantum gravity ── these too reflect the current situation. This piece asserts no specific finished theory; it precisely states the known achievements and the remaining obstacles. The figure is a schematic showing the cutoff dependence of the breakdown of the generalized entropy, not a quantitative scale. \(c\cdot t=\text{const}\) is a restatement of coordinates and units; the local speed of light is invariant. ── Print / PDF: use your browser's "Print" and "Save as PDF" (in the print version the sliders and answers are frozen and hidden).

Print / save as PDF: Ctrl+P (⌘+P on Mac). On screen, change the discreteness scale with the slider and the breakdown moves but the physical sum S=A/4G is invariant. "One answer" reveals the solution.