Skip to content

Chapter 7 and GR: Page-time scope, island correspondence, generalized second law - #920

Merged
amaybaum merged 7 commits into
mainfrom
draft/book-ch07-bh-correction
Oct 25, 2026
Merged

Chapter 7 and GR: Page-time scope, island correspondence, generalized second law#920
amaybaum merged 7 commits into
mainfrom
draft/book-ch07-bh-correction

Conversation

@amaybaum

@amaybaum amaybaum commented Oct 25, 2026

Copy link
Copy Markdown
Owner

Head: d4c0a5e971fdc4efcaa6019da807eab745ef13a7, seven commits on main c91bf5dd, to land together:
fa2d150a (book) → 2971b43e (GR) → 9d4ee53a (review nits) → 72d2e6f7 (literature citations) → 8a10b709 (β > 1 as a defined regime) → 6adfff0e (citation scope) → d4c0a5e9 (rebuilt PDFs only).

Changes book/ch07-gravity.md and the matching lines of ch09, ch18, ch19, the glossary and the bibliography, each mirrored in The-Incompleteness-of-Observation-FULL.md; papers/GR.md §7, §7.3 and Appendix A (§A.6, §A.7), refs [59], [60]; verification/coverage/LEDGER.json (the GR:T-a.6 fingerprint); regenerated .tex and rebuilt PDFs.

What it corrects

  1. Page time. The removed claim was that t_P ≈ 0.646 t_evap is independent of the greybody factor. The mode-conservation model assumes β = 1, where β is the radiation's coarse-grained entropy gain per unit of horizon entropy lost. Under dM/dt = −α/M² with constant β, t_P/t_evap = 1 − (β/(1+β))^{3/2} (Page 2013, Eq. (8)); 0.646 is the β = 1 case. For a large Schwarzschild black hole emitting only photons and gravitons at constant α, Page's rates give β ≈ 1.485 and t_P ≈ 0.538 t_evap (Page 2013, Eqs. (2), (8)). β > 1 is stated only for a defined regime (quasi-stationary semiclassical emission from a non-rotating, uncharged hole into empty space; independent thermal-form modes with occupation N = Γ n_th(ω/T_H), 0 < Γ ≤ 1; dS_BH = dE/T_H), citing Page 2005, Eqs. (5)–(10). Agreement with the quantum-extremal-surface Page time is stated as not established.
  2. Islands. The island/cycle correspondence is conjectural in every sentence; "microscopic realization" survives only inside "if the conjectured correspondence holds".
  3. Generalized second law. The former proof invoked CPTP monotonicity for von Neumann entropy, which holds for relative entropy, and GR Theorem A.6 combined incompatible state assumptions. Theorem A.6 is now the valid sector-entropy inequality (product initial state, unitary evolution, subadditivity), and the generalized second law is stated as open, naming the missing identification of horizon entropy with sector entropy. The MOND step cites the Clausius relation, and the area-law row cites the classical area theorem.

No new physical postulate. Information conservation (bijectivity) is kept separate from what the observer can recover. Nothing from #917 is used.

Verification

  • Independent mathematical- and physical-fidelity review, with a focused review of the whole unit: accept at 6adfff0e. The reviewer re-derived the Page-time formula, the β > 1 inequality from the stated hypotheses by two routes (Page 2005 Eqs. (5)–(10) and the GR concavity argument), and the replacement sector-entropy inequality.
  • Literature read in full text: Page 2013 (arXiv:1301.4995v3), Page 2005 (hep-th/0409024v3), Penington 2019 (arXiv:1905.08255), with an independent review of the reading. Zurek 1982 was not obtained and is not cited.
  • .tex files rebuild byte-identically with build.sh. Mirrors are exact (ch07 ↔ FULL.md and the other chapters). The cheap release-gate steps pass; bohr_frequency_probe.py passes.
  • PDFs (d4c0a5e9, PDF files only): rebuilt from 6adfff0e with sh ./build.sh GR and sh ./build.sh --book (XeTeX, TeX Live 2023). No missing glyphs; GR.pdf 86 pages (sha256 7e490630…), book 549 pages (26d926da…). A fresh rebuild reproduces the text exactly; the bytes differ only by the embedded creation date.

Related: #918 (introductory paper), #917 (black-hole audit; not used here).

Generated by Claude Code

claude added 7 commits October 25, 2026 10:29
@claude
book ch07 §7.6: Page time conditional on beta = 1; island corresponde…
fa2d150 
…nce conjectural; GSL open

Page time. The mode-for-mode conservation n_B + n_R = n_B(0) gives the
radiation exactly the state-space entropy the horizon loses (beta = 1), so
t_P = (1 - 2^-3/2) t_evap is independent of the emission coefficient alpha
and of mass, but not of the entropy the radiation carries. For constant beta
under dM/dt = -alpha/M^2: t_P/t_evap = 1 - (beta/(1+beta))^(3/2)
(0.646 at beta = 1, 0.568 at beta = 4/3, the unfiltered-blackbody value).
Semiclassical emission into empty space has beta > 1 for any greybody
factor (per-mode entropy exceeds energy/T_H). The greybody-independence
claim is removed; the 0.646 value is stated as conditional on beta = 1 and
H-scramble. The claim that the Page time and Page entropy match the
QES/island programs is removed: the two Page times coincide only at
beta = 1, so agreement is not established.

Islands. The island / replica-wormhole correspondence is conjectural in
every sentence; "constitutes a microscopic realization" becomes conditional
on the conjecture.

Generalized second law. The "proof" from CPTP monotonicity is replaced:
monotonicity holds for relative entropy, and von Neumann entropy is
non-decreasing for every input only under unital channels. What holds is
the subadditivity bound on the sum of the three sectors' von Neumann
entropies from a product initial state; it becomes the GSL only with an
identification of horizon entropy with the hidden sectors' entropy that the
boundary-mode count does not supply (the Page-curve state has
S(rho_B) ~ min(n_R, n_B) ln q, not n_B sigma). Stated as open. The MOND
step-1 Q/T relation is attributed to the Clausius relation, as in §7.1, and
the summary-table area-law row to the retained classical area theorem.

Mirrored per §A.14/§A.25 in FULL.md, ch09 (table row), ch18, ch19,
glossary. papers/GR.md carries the same claims; it is corrected in the
following commit.

Built: book .tex regenerated with build.sh's pandoc recipe and source
stamp. xelatex is unavailable here, so the book PDF was not rebuilt:
book/The-Incompleteness-of-Observation-FULL.pdf is STALE relative to its
source and must be rebuilt with sh ./build.sh --book before release.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@claude
GR App. A: Page time conditional on beta = 1; island correspondence c…
2971b43 
…onjectural; GSL open

Propagates the book ch07 §7.6 correction (previous commit) to its anchor in
the GR paper, per §A.25.

§A.6: the former Theorem A.6 proof combined a pure tripartite state with
maximally mixed hidden sectors and closed the horizon terms by an
unsupported "mutual information conserved" step; unitality bounds
S(rho_V) only. Theorem A.6 now states what holds (sum of the three
sectors' von Neumann entropies non-decreasing from a product initial
state, for any regrouping of the factors), and the generalized second law
is stated as open: it needs S_BH = S(rho_B), S_dS = S(rho_D), which the
boundary-mode count does not supply (in §A.7, S(rho_B) = S_rad vanishes at
n_R = 0). The unital-channel criterion is stated with both directions.

§A.7: after the evaporation trajectory, the beta-generalization
t_P/t_evap = 1 - (beta/(1+beta))^(3/2), the cancellation of alpha (hence
of the greybody normalization) and M_0, and the per-mode inequality
g(Gamma n) > Gamma n omega/T_H giving beta > 1 for every greybody profile
(beta = 4/3 unfiltered, t_P ~ 0.568 t_evap). Remark (QES + islands): the
quantitative-match, same-Page-time/Page-entropy and "constitutes a
microscopic realization" assertions removed or made conditional on the
conjectured correspondence.

§7 summary (ii)/(iii), §7.3 step 1 (Q/T is the Clausius relation, as the
paper's own epistemic-status note says), App. A intro and the nested-
partition paragraph aligned.

Coverage ledger: GR:T-a.6 fingerprint re-affirmed (d2f6e40dab0088fc ->
fd35b8eacfa217f3, line 799); level GAP and delta "not formalized" remain
accurate for the restated theorem.

Built: GR.tex regenerated with build.sh's pandoc recipe and source stamp.
xelatex is unavailable here, so papers/GR.pdf is STALE relative to its
source and must be rebuilt with sh ./build.sh GR before release.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@claude
ch07 §7.6 / GR App. A: review nits on the Page-time and GSL correction
9d4ee53 
Applies the independent review's F2-F8 to the two preceding commits, which
must land together with this one.

- GR §7.3 epistemic note: the Clausius step cites §3.2 only; §A.6 no
  longer carries it (F2).
- ch07 §7.6: the beta > 1 statement cites [GR Appendix A] (F3); the beta
  paragraph opens "More generally" (F4); full hypotheses stated:
  quasi-stationary semiclassical emission from a non-rotating, uncharged
  hole into empty space, incoming vacuum, independent thermal-form modes,
  dS_BH = dE/T_H (F5). Same hypotheses in GR §A.7, where beta = 4/3 is
  qualified as 3+1-dimensional blackbody emission (mode density ~ omega^2).
- GR §7 (iii): the beta = 1 condition precedes the 0.646 value; GR §A.7
  Page-entropy sentence opens "At beta = 1," (F6).
- GR §A.6: the unital criterion is stated for channels with equal input
  and output dimension (F7).
- ch07 §7.10 table: "classical area theorem (GR horizon dynamics,
  preserved)" (F8).

Mirrored in FULL.md. Coverage ledger: no fingerprint moved.

Built: FULL.tex and GR.tex regenerated with build.sh's pandoc recipe and
source stamp. xelatex is unavailable here, so the book PDF and
papers/GR.pdf remain STALE and must be rebuilt with sh ./build.sh GR and
sh ./build.sh --book before release.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@claude
ch07 §7.6 / GR App. A: cite Page 2005, Page 2013 and Penington 2019
72d2e6f 
Adds the literature confirmed by the full-text check, at the sites that
already state the results:

- beta > 1 for every greybody profile (semiclassical emission into empty
  space) is Page 2005, New J. Phys. 7, 203, Eqs. (5)-(10): cited at ch07
  §7.6 and GR §A.7. GR keeps the concavity argument as a different lower
  bound reaching the same per-mode inequality.
- The general-beta Page-time formula is Page 2013, JCAP 09 (2013) 028,
  Eq. (8): cited where the formula is displayed (ch07 §7.6, GR §A.7).
  Page's value for a large Schwarzschild hole emitting only photons and
  gravitons at constant alpha, beta ~ 1.485 and t_P ~ 0.538 t_evap
  (Eqs. (2), (8)), is stated beside the beta = 4/3 example.
- The QES Page-time sentence cites Penington 2019, §2 (GR ref. [41]).

Bibliography: GR refs [59] Page 2005 and [60] Page 2013; book
bibliography (gravitational section) Page 2005, Page 2013, Penington 2019,
mirrored in FULL.md. Coverage ledger: no fingerprint moved.

Built: FULL.tex and GR.tex regenerated with build.sh's pandoc recipe and
source stamp. xelatex is unavailable here, so the book PDF and
papers/GR.pdf remain STALE and must be rebuilt with sh ./build.sh GR and
sh ./build.sh --book before release.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@claude
ch07 §7.6 / GR §A.7: state beta > 1 as a property of a defined regime
8a10b70 
Every occurrence of beta > 1 now names its regime in the same sentence or
back-refers to it explicitly: the quasi-stationary semiclassical regime of
a non-rotating, uncharged black hole emitting free fields into empty space
(incoming vacuum), outgoing modes in independent thermal-form states with
greybody factors 0 < Gamma <= 1, and dS_BH = dE/T_H (Page 2005,
Eqs. (5)-(10)). Sites: ch07 §7.6 (three), GR §A.7 and its QES remark,
ch18 §18.5 and ch19 (back-references to ch07 §7.6), mirrored in FULL.md.

Coverage ledger: no fingerprint moved.

Built: FULL.tex and GR.tex regenerated with build.sh's pandoc recipe and
source stamp. xelatex is unavailable here, so the book PDF and
papers/GR.pdf remain STALE and must be rebuilt with sh ./build.sh GR and
sh ./build.sh --book before release.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@claude
ch07 §7.6 / GR §A.7: scope the Penington citation to the QES setting
6adfff0 
Review A3-2. Penington 2019 §2 states S_rad > (A0 - A)/4G in an
AdS-plus-reservoir setting, not the Schwarzschild regime defined in the
text, so it is cited for the QES setting only: ch07 §7.6 "(Page 2005; for
the QES setting, Penington 2019, §2)", GR remark "([59]; for the QES
setting, [41], §2)". ch07 reads "beta > 1 holds", and its regime list
names the occupation N = Gamma n_th(omega/T_H) as GR §A.7 does. Mirrored
in FULL.md. Coverage ledger: no fingerprint moved.

Built: FULL.tex and GR.tex regenerated with build.sh's pandoc recipe and
source stamp. xelatex is unavailable here, so the book PDF and
papers/GR.pdf remain STALE and must be rebuilt with sh ./build.sh GR and
sh ./build.sh --book before release.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@claude
GR and book PDFs rebuilt from 6adfff0
d4c0a5e 
papers/GR.pdf and book/The-Incompleteness-of-Observation-FULL.pdf are
rebuilt with `sh ./build.sh GR` and `sh ./build.sh --book` from the source
at 6adfff0 (XeTeX, TeX Live 2023; pandoc
3.1.3). Both builds report no missing glyphs and leave the committed .tex
byte-identical. GR.pdf: 86 pages, sha256
7e49063062a923616f559d12cfd3d2673d0aeee801bd90dfa2faa8b71afca3d3.
FULL.pdf: 549 pages, sha256
26d926dae60a2ea9e14e111b2c6e110ed12707a527da36f928b58c49bf8e05d3.
No source, .tex or other file changes.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
@amaybaum amaybaum mentioned this pull request Oct 25, 2026
Merged
@amaybaum
amaybaum marked this pull request as ready for review October 25, 2026 15:06
@amaybaum
amaybaum merged commit c37700a into main Oct 25, 2026
26 checks passed
@amaybaum
amaybaum deleted the draft/book-ch07-bh-correction branch October 25, 2026 15:06
amaybaum pushed a commit that referenced this pull request Oct 25, 2026
@claude
Merge main c37700a (#920) into the D-gauge migration
65a8b40 
Brings the Chapter 7 / GR correction (#920) into #921. The Markdown
sources merge without conflict: #920 edits GR §7, §7.3 and App. A and
book ch07, ch09, ch18, ch19, glossary and bibliography; #921 edits GR
lines 180/182, book App. B (B.1, B.7) and ch03. For GR.md and FULL.md the
merged file differs from main by exactly #921's diff and from 0707ddb by
exactly #920's diff.

The generated GR.tex and FULL.tex conflicted and are regenerated from the
merged sources with build.sh (pandoc 3.1.3, unicode-fix header,
source-sha256 stamps match). GR.pdf and the book PDF are taken from main
and are stale relative to the merged sources; the next commit rebuilds
them.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
amaybaum pushed a commit that referenced this pull request Oct 25, 2026
@claude
GR and book PDFs rebuilt from the merge 65a8b40
7a12fdb 
papers/GR.pdf and book/The-Incompleteness-of-Observation-FULL.pdf are
rebuilt with `sh ./build.sh GR` and `sh ./build.sh --book` from the
sources at 65a8b40 (XeTeX, TeX Live 2023; pandoc 3.1.3). No missing glyphs.
GR.pdf 86 pages, sha256 fde4a0e21dbfcaab7d9b6793441a83588911ad41d199195a425492dfdb36f339.
Book 552 pages (547 at c91bf5d, +2 from #920, +3 from #921), sha256
997b23da06ee486cdbf0e8532f86f4f30564c9dd406804261e6940bb4d372b7f.
Both builds leave the committed .tex files byte-identical.
No source, .tex or other file changes.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_013T6pfKuv5mi3MXtKjH2tZb
amaybaum added a commit that referenced this pull request Oct 25, 2026
@amaybaum
Merge #921: Book B.7 D-gauge classification from GR §3.3; GR §3.3 bro…
1448c94 
…ught into agreement

Merges the reviewed unit c91bf5d..7a12fdb: D-gauge migration (accept at 41844e9), reconciliation with #920 (65a8b40, review accept), PDFs rebuilt from the merge (7a12fdb). Exact-head CI green; trial merge with facb46a adds exactly the reviewed nine-file diff.
@amaybaum amaybaum mentioned this pull request Oct 25, 2026
Merged
amaybaum added a commit that referenced this pull request Oct 25, 2026
@amaybaum
Merge #922: Main §1.5 foundational equivalence S ⟺ D and the S_imp_D …
8dc36d5 
…statement

Merges the reviewed seven-commit unit c91bf5d..e470204 (final review ACCEPT at 1614aa5; e470204 rebuilds Main.pdf only). Exact-head CI run 40203372647 green; trial merge with 1448c94 carries exactly the reviewed changes (census an exact union with #920/#921).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@amaybaum @claude