<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article PUBLIC "-//ES//DTD journal article DTD version 5.7.0//EN//XML" "art570.dtd" [<!ENTITY gr1 SYSTEM "gr1" NDATA IMAGE><!ENTITY gr2 SYSTEM "gr2" NDATA IMAGE><!ENTITY fx1 SYSTEM "fx1" NDATA IMAGE><!ENTITY fx2 SYSTEM "fx2" NDATA IMAGE><!ENTITY fx3 SYSTEM "fx3" NDATA IMAGE>]><article xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:sa="http://www.elsevier.com/xml/common/struct-aff/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" docsubtype="rev" xml:lang="en"><item-info><jid>PLB</jid><aid>140981</aid><ce:article-number>140981</ce:article-number><ce:pii>S0370-2693(26)00831-2</ce:pii><ce:doi>10.1016/j.physletb.2026.140981</ce:doi><ce:copyright type="unknown" year="2026"/></item-info><ce:floats><ce:figure id="fig0001"><ce:label>Fig. 1</ce:label><ce:caption id="cap0001"><ce:simple-para id="sp0001">Radiation entropy <ce:italic>S</ce:italic><ce:inf>rad</ce:inf>(<ce:italic>t, N</ce:italic>)/<ce:italic>N</ce:italic> as a function of rescaled time <ce:italic>t</ce:italic>/<ce:italic>t</ce:italic><ce:inf>Page</ce:inf> for different values of the Bekenstein–Hawking entropy <ce:italic>N</ce:italic>. The dashed black curve shows the large-<ce:italic>N</ce:italic> result (sharp kink at <mml:math altimg="si1.svg"><mml:mrow><mml:mi>t</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub></mml:mrow></mml:math>). Coloured curves show the finite-<ce:italic>N</ce:italic> prediction from <ce:cross-ref id="crf0001" refid="eq0029">Eq. (29)</ce:cross-ref>: the kink is progressively smoothed as <ce:italic>N</ce:italic> decreases. All curves were computed analytically using the log-sum-exp formula with <mml:math altimg="si2.svg"><mml:mrow><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math>.</ce:simple-para></ce:caption><ce:link id="celink0001" locator="gr1" xlink:type="simple" xlink:role="http://data.elsevier.com/vocabulary/ElsevierContentTypes/23.4" xlink:href="pii:S0370269326008312/gr1"/></ce:figure><ce:figure id="fig0002"><ce:label>Fig. 2</ce:label><ce:caption id="cap0002"><ce:simple-para id="sp0002">Entanglement entropy (in nats) from the random unitary circuit simulation with <mml:math altimg="si3.svg"><mml:mrow><mml:msub><mml:mi>n</mml:mi><mml:mi>q</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>6</mml:mn></mml:mrow></mml:math> qubits (40 steps, 1 realisation shown). The simulation begins in a product state |0⟩<ce:sup>⊗6</ce:sup> and evolves under Haar-random unitaries. After a brief equilibration the entropy saturates near the Page value <mml:math altimg="si4.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Page</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:msub><mml:mi>n</mml:mi><mml:mi>q</mml:mi></mml:msub><mml:mn>2</mml:mn></mml:mfrac><mml:mi>log</mml:mi><mml:mn>2</mml:mn><mml:mo>≈</mml:mo><mml:mn>2.08</mml:mn></mml:mrow></mml:math> nats (dashed red), confirming that the finite system never exceeds this bound. The uncorrected Hawking entropy (dotted orange) grows unboundedly, illustrating the information paradox. The saturation at finite <ce:italic>N</ce:italic> is the key finite-dimensional effect captured by our analytic formula.</ce:simple-para></ce:caption><ce:link id="celink0002" locator="gr2" xlink:type="simple" xlink:role="http://data.elsevier.com/vocabulary/ElsevierContentTypes/23.4" xlink:href="pii:S0370269326008312/gr2"/></ce:figure><ce:figure id="fig0003"><ce:label>Algorithm 1</ce:label><ce:caption id="cap0003"><ce:simple-para id="sp0003">Finite-<ce:italic>N</ce:italic> page curve simulation via random unitary circuits.</ce:simple-para></ce:caption><ce:link id="celink0003" locator="fx3" xlink:type="simple" xlink:role="http://data.elsevier.com/vocabulary/ElsevierContentTypes/23.4" xlink:href="pii:S0370269326008312/fx3"/></ce:figure><ce:table id="tbl0001" rowsep="0" colsep="0" frame="topbot"><ce:label>Table 1</ce:label><ce:caption id="cap0004"><ce:simple-para id="sp0004">Summary of parameters and results for the random unitary simulation.</ce:simple-para></ce:caption><tgroup cols="5"><colspec colnum="1" colname="col1" align="left"/><colspec colnum="2" colname="col2" align="left"/><colspec colnum="3" colname="col3" align="left"/><colspec colnum="4" colname="col4" align="left"/><colspec colnum="5" colname="col5" align="left"/><thead><row rowsep="1"><entry align="left" valign="top">Parameter</entry><entry align="left" valign="top"><mml:math altimg="si5.svg"><mml:mrow><mml:msub><mml:mi>n</mml:mi><mml:mi>q</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>4</mml:mn></mml:mrow></mml:math></entry><entry align="left" valign="top"><mml:math altimg="si3.svg"><mml:mrow><mml:msub><mml:mi>n</mml:mi><mml:mi>q</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>6</mml:mn></mml:mrow></mml:math></entry><entry align="left" valign="top"><mml:math altimg="si6.svg"><mml:mrow><mml:msub><mml:mi>n</mml:mi><mml:mi>q</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>8</mml:mn></mml:mrow></mml:math></entry><entry align="left" valign="top"><mml:math altimg="si7.svg"><mml:mrow><mml:msub><mml:mi>n</mml:mi><mml:mi>q</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>10</mml:mn></mml:mrow></mml:math></entry></row></thead><tbody><row><entry valign="top" align="left">Hilbert space dim <ce:italic>d</ce:italic></entry><entry valign="top" align="left">16</entry><entry valign="top" align="left">64</entry><entry valign="top" align="left">256</entry><entry valign="top" align="left">1024</entry></row><row><entry valign="top" align="left"><mml:math altimg="si8.svg"><mml:mrow><mml:msub><mml:mi>N</mml:mi><mml:mtext>eff</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:msub><mml:mi>n</mml:mi><mml:mi>q</mml:mi></mml:msub><mml:mn>2</mml:mn></mml:mfrac><mml:mi>log</mml:mi><mml:mn>2</mml:mn></mml:mrow></mml:math></entry><entry valign="top" align="left">1.386</entry><entry valign="top" align="left">2.079</entry><entry valign="top" align="left">2.773</entry><entry valign="top" align="left">3.466</entry></row><row><entry valign="top" align="left"><ce:italic>S</ce:italic><ce:inf>Page</ce:inf> (nats)</entry><entry valign="top" align="left">1.386</entry><entry valign="top" align="left">2.079</entry><entry valign="top" align="left">2.773</entry><entry valign="top" align="left">3.466</entry></row><row><entry valign="top" align="left"><ce:italic>α</ce:italic>(<ce:italic>N</ce:italic><ce:inf>eff</ce:inf>)</entry><entry valign="top" align="left">0.250</entry><entry valign="top" align="left">0.182</entry><entry valign="top" align="left">0.150</entry><entry valign="top" align="left">0.128</entry></row><row><entry valign="top" align="left">Δ<ce:italic>t</ce:italic><ce:inf>smooth</ce:inf> (steps)</entry><entry valign="top" align="left">4.0</entry><entry valign="top" align="left">5.5</entry><entry valign="top" align="left">6.7</entry><entry valign="top" align="left">7.8</entry></row></tbody></tgroup></ce:table></ce:floats><head><ce:dochead id="dh1"><ce:textfn id="textfn0001">Review</ce:textfn></ce:dochead><ce:title id="ct0001">Non-perturbative transitions in the island formula: A finite-<ce:italic>N</ce:italic> resolution of the page curve kink</ce:title><ce:short-title id="stitle0010">Non-perturbative transitions in the island formula: A finite-<ce:italic>N</ce:italic> resolution of the page curve kink</ce:short-title><ce:author-group id="aut0001"><ce:author id="au0001" author-id="S0370269326008312-1d7b9ce9b9f109915e3f8e55c41c41d2" orcid="0009-0000-3801-3833"><ce:given-name>Snigdha</ce:given-name><ce:surname>Saha</ce:surname><ce:e-address type="email" xlink:href="mailto:Snigdhasaha2938@gmail.com" id="ead0001">Snigdhasaha2938@gmail.com</ce:e-address></ce:author><ce:affiliation id="aff0001" affiliation-id="S0370269326008312-31ba32a97ab97490f212069a02d1eb8d"><ce:textfn id="textfn0002">Independent resarcher, Bangladesh</ce:textfn><sa:affiliation><sa:organization>Independent resarcher</sa:organization> <sa:country iso3166-1-alpha-3="BGD">Bangladesh</sa:country></sa:affiliation><ce:source-text id="st0001">Independent resarcher, Bangladesh</ce:source-text></ce:affiliation></ce:author-group><ce:miscellaneous id="m0001">Editor: G. Mandal</ce:miscellaneous><ce:abstract id="abs0001" class="author"><ce:section-title id="sctt0001">Abstract</ce:section-title><ce:abstract-sec id="abssec0001"><ce:simple-para id="sp0005">The island formula, derived from replica wormhole saddles in the gravitational path integral, successfully reproduces the unitary Page curve for black hole radiation entropy in the large-<ce:italic>N</ce:italic> (large central charge) limit. However, the resulting entropy profile contains an unphysical sharp kink at the Page time <ce:italic>t</ce:italic><ce:inf>Page</ce:inf>—a mathematical artefact of the <ce:italic>min</ce:italic> operation that dominates in that limit. Any finite quantum system must exhibit a smooth, analytic transition. In this paper we work within Jackiw–Teitelboim (JT) gravity coupled to a holographic CFT bath and derive systematically the leading finite-<ce:italic>N</ce:italic> correction to the radiation entropy,<ce:display><ce:formula id="ueq0001"><mml:math altimg="si9.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>,</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">+</mml:mo><mml:mi>δ</mml:mi><mml:mi>S</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>,</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:mspace width="2.em"/><mml:mi>δ</mml:mi><mml:mi>S</mml:mi><mml:mo>∼</mml:mo><mml:mi mathvariant="script">O</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">(</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>BH</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo stretchy="true">)</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>originating from non-perturbative interference between the Hawking and replica wormhole saddles. Using a soft-mode resummation of the gravitational path integral we show that these corrections replace the sharp kink with a log-sum-exp interpolation controlled by 1/<ce:italic>N</ce:italic>. We further study an interference term arising when both saddles contribute at comparable weight, providing the first analytic description of a smooth cross-over in the island formula. Our predictions are confirmed by a random-unitary-circuit simulation of an <ce:italic>n</ce:italic>-qubit Page transition and by direct numerical evaluation of the partition function in a matrix-model truncation of JT gravity. The results imply that information begins to leak gradually from the black hole interior long before <ce:italic>t</ce:italic><ce:inf>Page</ce:inf>, consistent with unitarity but without invoking a firewall.</ce:simple-para></ce:abstract-sec></ce:abstract><ce:keywords id="keys0001" class="keyword"><ce:section-title id="sctt0002">Keywords</ce:section-title><ce:keyword id="key0001"><ce:text id="txt0001">Black hole information paradox</ce:text></ce:keyword><ce:keyword id="key0002"><ce:text id="txt0002">Island formula</ce:text></ce:keyword><ce:keyword id="key0003"><ce:text id="txt0003">Replica wormholes</ce:text></ce:keyword><ce:keyword id="key0004"><ce:text id="txt0004">Finite-<ce:italic>N</ce:italic> corrections</ce:text></ce:keyword><ce:keyword id="key0005"><ce:text id="txt0005">Page curve</ce:text></ce:keyword><ce:keyword id="key0006"><ce:text id="txt0006">JT gravity</ce:text></ce:keyword></ce:keywords><ce:data-availability id="da01"><ce:section-title id="sctt0003">Data availability</ce:section-title><ce:para id="p0001">Data will be made available on request.</ce:para></ce:data-availability></head><body><ce:sections><ce:section id="sec0001" view="all" role="introduction"><ce:label>1</ce:label><ce:section-title id="sctt0004">Introduction</ce:section-title><ce:para id="p0002">The question of whether black hole evaporation is a unitary process has occupied theoretical physicists for five decades <ce:cross-ref id="crf0002" refid="bib0001">[1]</ce:cross-ref>. Hawking’s semiclassical calculation showed that the radiation emitted by a black hole is thermal: the reduced density matrix of the radiation is a Gibbs state, implying that the von Neumann entropy <mml:math altimg="si10.svg"><mml:mrow><mml:mi>S</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:mtext>Tr</mml:mtext><mml:mo>(</mml:mo><mml:mi>ρ</mml:mi><mml:mi>log</mml:mi><mml:mi>ρ</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math> grows monotonically without bound <ce:cross-refs id="crfs0001" refid="bib0001 bib0002">[1,2]</ce:cross-refs>. This behaviour directly contradicts the Page curve <ce:cross-refs id="crfs0002" refid="bib0003 bib0004">[3,4]</ce:cross-refs>, which stipulates that the radiation entropy of a unitary evaporation process must mirror the black hole entropy—rising until the Page time and falling thereafter.</ce:para><ce:section id="sec0002" view="all"><ce:label>1.1</ce:label><ce:section-title id="sctt0005">The emergence of the island formula</ce:section-title><ce:para id="p0003">A major breakthrough arrived when Almheiri, Mahajan, Maldacena, and Zhao <ce:cross-ref id="crf0003" refid="bib0005">[5]</ce:cross-ref> and, independently, Penington <ce:cross-ref id="crf0004" refid="bib0006">[6]</ce:cross-ref> showed that gravitational effects—specifically <ce:italic>replica wormhole</ce:italic> saddle-point contributions to the gravitational path integral—could correct the Hawking entropy calculation and reproduce a Page curve consistent with unitarity. This led to the <ce:italic>island formula</ce:italic> <ce:cross-ref id="crf0005" refid="bib0007">[7]</ce:cross-ref>:<ce:display><ce:formula id="eq0001"><ce:label>(1)</ce:label><mml:math altimg="si11.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:munder><mml:mi>min</mml:mi><mml:mi mathvariant="script">I</mml:mi></mml:munder><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:mfrac><mml:mrow><mml:mtext>Area</mml:mtext><mml:mo>(</mml:mo><mml:mi>∂</mml:mi><mml:mi mathvariant="script">I</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mn>4</mml:mn><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mo linebreak="badbreak">+</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>QFT</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mtext>rad</mml:mtext><mml:mo>∪</mml:mo><mml:mi mathvariant="script">I</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo stretchy="true">]</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where the minimisation is over all candidate island regions <mml:math altimg="si12.svg"><mml:mi mathvariant="script">I</mml:mi></mml:math> in the black hole interior, <mml:math altimg="si13.svg"><mml:mrow><mml:mi>∂</mml:mi><mml:mi mathvariant="script">I</mml:mi></mml:mrow></mml:math> denotes the boundary of <mml:math altimg="si12.svg"><mml:mi mathvariant="script">I</mml:mi></mml:math> (the <ce:italic>quantum extremal surface</ce:italic>), and <ce:italic>S</ce:italic><ce:inf>QFT</ce:inf> is the entanglement entropy of quantum fields on the region <mml:math altimg="si14.svg"><mml:mrow><mml:mtext>rad</mml:mtext><mml:mo>∪</mml:mo><mml:mi mathvariant="script">I</mml:mi></mml:mrow></mml:math>. At early times the no-island saddle dominates, giving Hawking’s growing entropy. At late times the island saddle dominates, giving a decreasing entropy that mirrors the Bekenstein–Hawking entropy of the shrinking black hole.</ce:para></ce:section><ce:section id="sec0003" view="all"><ce:label>1.2</ce:label><ce:section-title id="sctt0006">The kink problem and research gap</ce:section-title><ce:para id="p0004">The island formula as written in <ce:cross-ref id="crf0006" refid="eq0001">Eq. (1)</ce:cross-ref> involves an explicit <ce:italic>min</ce:italic> function. In the large-<ce:italic>N</ce:italic> (or equivalently large central charge <ce:italic>c</ce:italic> → ∞) limit the two saddles are sharply separated in weight, and the partition function is dominated by precisely one saddle at any given time. The resulting Page curve therefore has a sharp kink at <mml:math altimg="si1.svg"><mml:mrow><mml:mi>t</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub></mml:mrow></mml:math>—a <ce:italic>C</ce:italic><ce:sup>0</ce:sup> but not <ce:italic>C</ce:italic><ce:sup>1</ce:sup> transition. This is <ce:italic>mathematically</ce:italic> the origin of the kink: it is not physical, but rather an artefact of the saddle-point approximation.</ce:para><ce:para id="p0005">From the perspective of a finite quantum system with Hilbert space dimension <ce:italic>e<ce:sup>N</ce:sup></ce:italic> (where <ce:italic>N</ce:italic> is the Bekenstein–Hawking entropy in appropriate units), the true entropy curve must be:<ce:list id="lst0001"><ce:list-item id="lstitem0010"><ce:label>(i)</ce:label><ce:para id="p0006"><ce:italic>Smooth</ce:italic>: the von Neumann entropy of any finite quantum system is an analytic function of time whenever the Hamiltonian is time-independent or adiabatically varying.</ce:para></ce:list-item><ce:list-item id="lstitem0011"><ce:label>(ii)</ce:label><ce:para id="p0007"><ce:italic>Bounded</ce:italic>: <mml:math altimg="si15.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub><mml:mo>≤</mml:mo><mml:mi>log</mml:mi><mml:mi>dim</mml:mi><mml:msub><mml:mi mathvariant="script">H</mml:mi><mml:mtext>rad</mml:mtext></mml:msub></mml:mrow></mml:math>, which saturates only for a maximally mixed state.</ce:para></ce:list-item><ce:list-item id="lstitem0012"><ce:label>(iii)</ce:label><ce:para id="p0008"><ce:italic>Monotone-bounded</ce:italic>: after the Page time the entropy is not strictly decreasing; fluctuations of order <mml:math altimg="si16.svg"><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:mo>/</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math> persist.</ce:para></ce:list-item></ce:list></ce:para><ce:para id="p0009">None of these properties are captured by the large-<ce:italic>N</ce:italic> island formula. The present paper addresses this gap.</ce:para></ce:section><ce:section id="sec0004" view="all"><ce:label>1.3</ce:label><ce:section-title id="sctt0007">Main results and outline</ce:section-title><ce:para id="p0010">Our principal results are as follows:<ce:list id="lst0004"><ce:list-item id="lstitem0001"><ce:label>•</ce:label><ce:para id="p0011">We derive the <ce:italic>finite-N corrected radiation entropy</ce:italic> in JT gravity, showing that the Hawking and island saddles are joined by a smooth log-sum-exp interpolation with width <mml:math altimg="si17.svg"><mml:mrow><mml:mstyle mathvariant="normal"><mml:mi>Δ</mml:mi></mml:mstyle><mml:mi>t</mml:mi><mml:mo>∼</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="goodbreak">/</mml:mo><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mspace width="0.16em"/><mml:msub><mml:mover accent="true"><mml:mi>S</mml:mi><mml:mo>˙</mml:mo></mml:mover><mml:mtext>BH</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:math>.</ce:para></ce:list-item><ce:list-item id="lstitem0002"><ce:label>•</ce:label><ce:para id="p0012">We identify a novel <ce:italic>saddle interference term δS</ce:italic><ce:inf>int</ce:inf> that is exponentially small in <ce:italic>N</ce:italic> individually but becomes the leading correction near the Page time.</ce:para></ce:list-item><ce:list-item id="lstitem0003"><ce:label>•</ce:label><ce:para id="p0013">We demonstrate via a random-unitary-circuit simulation that the finite-<ce:italic>N</ce:italic> curve matches our analytic prediction with no free parameters (after rescaling).</ce:para></ce:list-item><ce:list-item id="lstitem0004"><ce:label>•</ce:label><ce:para id="p0014">We show that the smooth transition implies gradual information leakage beginning at <ce:italic>t</ce:italic> ≪ <ce:italic>t</ce:italic><ce:inf>Page</ce:inf>, consistent with unitarity and with a smooth horizon (no firewall).</ce:para></ce:list-item></ce:list></ce:para><ce:para id="p0015">The paper is organised as follows. <ce:cross-ref id="crf0007" refid="sec0005">Secion 2</ce:cross-ref> sets up the JT gravity model. <ce:cross-ref id="crf0008" refid="sec0009">Secion 3</ce:cross-ref> derives the replica partition function and its saddles. <ce:cross-ref id="crf0009" refid="sec0014">Secion 4</ce:cross-ref> derives the finite-<ce:italic>N</ce:italic> correction. <ce:cross-ref id="crf0010" refid="sec0018">Secion 5</ce:cross-ref> presents numerical results. <ce:cross-ref id="crf0011" refid="sec0023">Secion 6</ce:cross-ref> discusses physical implications, and <ce:cross-ref id="crf0012" refid="sec0030">Secion 8</ce:cross-ref> concludes.</ce:para></ce:section></ce:section><ce:section id="sec0005" view="all"><ce:label>2</ce:label><ce:section-title id="sctt0008">Theoretical framework: JT gravity and the evaporating black hole</ce:section-title><ce:section id="sec0006" view="all"><ce:label>2.1</ce:label><ce:section-title id="sctt0009">JT gravity action</ce:section-title><ce:para id="p0016">We work with Jackiw–Teitelboim gravity in two spacetime dimensions coupled to a holographic CFT with central charge <ce:italic>c</ce:italic> <ce:cross-refs id="crfs0003" refid="bib0007 bib0008 bib0009">[7–9]</ce:cross-refs>. The Lorentzian JT action is<ce:display><ce:formula id="eq0002"><ce:label>(2)</ce:label><mml:math altimg="si18.svg"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:msub><mml:mi>I</mml:mi><mml:mtext>JT</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo></mml:mrow></mml:mtd><mml:mtd columnalign="left"><mml:mrow><mml:mfrac><mml:msub><mml:mi>ϕ</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mrow><mml:mn>16</mml:mn><mml:mi>π</mml:mi><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mspace width="-0.16em"/><mml:msub><mml:mo>∫</mml:mo><mml:mi mathvariant="script">M</mml:mi></mml:msub><mml:mi>R</mml:mi><mml:mo linebreak="goodbreak">+</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mn>16</mml:mn><mml:mi>π</mml:mi><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mspace width="-0.16em"/><mml:msub><mml:mo>∫</mml:mo><mml:mi mathvariant="script">M</mml:mi></mml:msub><mml:mi>ϕ</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>R</mml:mi><mml:mo linebreak="badbreak">+</mml:mo><mml:mn>2</mml:mn><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">+</mml:mo><mml:mfrac><mml:msub><mml:mi>ϕ</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mrow><mml:mn>8</mml:mn><mml:mi>π</mml:mi><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mspace width="-0.16em"/><mml:msub><mml:mo>∫</mml:mo><mml:mrow><mml:mi>∂</mml:mi><mml:mi mathvariant="script">M</mml:mi></mml:mrow></mml:msub><mml:mi>K</mml:mi></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd/><mml:mtd columnalign="left"><mml:mrow><mml:mspace width="1em"/><mml:mo linebreak="goodbreak">+</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mn>8</mml:mn><mml:mi>π</mml:mi><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mspace width="-0.16em"/><mml:msub><mml:mo>∫</mml:mo><mml:mrow><mml:mi>∂</mml:mi><mml:mi mathvariant="script">M</mml:mi></mml:mrow></mml:msub><mml:mi>ϕ</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>K</mml:mi><mml:mo linebreak="badbreak">−</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></ce:formula></ce:display>where <ce:italic>ϕ</ce:italic> is the dilaton field, <ce:italic>ϕ</ce:italic><ce:inf>0</ce:inf> is its extremal value, <ce:italic>R</ce:italic> is the Ricci scalar, and <ce:italic>K</ce:italic> is the extrinsic curvature of the boundary <mml:math altimg="si19.svg"><mml:mrow><mml:mi>∂</mml:mi><mml:mi mathvariant="script">M</mml:mi></mml:mrow></mml:math>. The Euclidean path integral is<ce:display><ce:formula id="eq0003"><ce:label>(3)</ce:label><mml:math altimg="si20.svg"><mml:mrow><mml:mi>Z</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>∫</mml:mo><mml:mi mathvariant="script">D</mml:mi><mml:mi>g</mml:mi><mml:mspace width="0.16em"/><mml:mi mathvariant="script">D</mml:mi><mml:mi>ϕ</mml:mi><mml:mspace width="0.28em"/><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>I</mml:mi><mml:mi>E</mml:mi></mml:msub><mml:mrow><mml:mo>[</mml:mo><mml:mi>g</mml:mi><mml:mo>,</mml:mo><mml:mi>ϕ</mml:mi><mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where <ce:italic>I<ce:inf>E</ce:inf></ce:italic> is the Euclidean continuation of <ce:cross-ref id="crf0013" refid="eq0002">Eq. (2)</ce:cross-ref>.</ce:para><ce:para id="p0017">On-shell, the bulk equations of motion set <mml:math altimg="si21.svg"><mml:mrow><mml:mi>R</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:math>, fixing the metric to be locally AdS<ce:inf>2</ce:inf>. The only remaining dynamical degree of freedom is the boundary dilaton value <mml:math altimg="si22.svg"><mml:mrow><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>b</mml:mi></mml:msub><mml:msub><mml:mrow><mml:mo>=</mml:mo><mml:mi>ϕ</mml:mi><mml:mo>|</mml:mo></mml:mrow><mml:mi>∂</mml:mi></mml:msub></mml:mrow></mml:math>, which in the Schwarzian description satisfies<ce:display><ce:formula id="eq0004"><ce:label>(4)</ce:label><mml:math altimg="si23.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Schw</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:mfrac><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>r</mml:mi></mml:msub><mml:mrow><mml:mn>16</mml:mn><mml:mi>π</mml:mi><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mspace width="-0.16em"/><mml:msubsup><mml:mo>∫</mml:mo><mml:mn>0</mml:mn><mml:mi>β</mml:mi></mml:msubsup><mml:mspace width="-0.16em"/><mml:mi>d</mml:mi><mml:mi>τ</mml:mi><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:mrow><mml:mo>{</mml:mo><mml:mi>f</mml:mi><mml:mo>,</mml:mo><mml:mi>τ</mml:mi><mml:mo>}</mml:mo></mml:mrow><mml:mo linebreak="badbreak">+</mml:mo><mml:mfrac><mml:mrow><mml:mn>2</mml:mn><mml:msup><mml:mi>π</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:msup><mml:mi>β</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:mfrac><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:msup><mml:mi>f</mml:mi><mml:mo>′</mml:mo></mml:msup><mml:mo>)</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup><mml:mo stretchy="true">]</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where {<ce:italic>f, τ</ce:italic>} denotes the Schwarzian derivative and <ce:italic>ϕ<ce:inf>r</ce:inf></ce:italic> is the renormalised dilaton coupling.</ce:para></ce:section><ce:section id="sec0007" view="all"><ce:label>2.2</ce:label><ce:section-title id="sctt0010">Black hole thermodynamics in JT gravity</ce:section-title><ce:para id="p0018">The Bekenstein–Hawking entropy and temperature of the JT black hole are<ce:display><ce:formula id="eq0005"><ce:label>(5)</ce:label><mml:math altimg="si24.svg"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:msub><mml:mi>S</mml:mi><mml:mtext>BH</mml:mtext></mml:msub></mml:mtd><mml:mtd columnalign="left"><mml:mrow><mml:mo>=</mml:mo><mml:mfrac><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>h</mml:mi></mml:msub><mml:mrow><mml:mn>4</mml:mn><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:msub><mml:mi>ϕ</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mrow><mml:mn>4</mml:mn><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">+</mml:mo><mml:mn>2</mml:mn><mml:msup><mml:mi>π</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>r</mml:mi></mml:msub><mml:mi>T</mml:mi><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></ce:formula></ce:display><ce:display><ce:formula id="eq0006"><ce:label>(6)</ce:label><mml:math altimg="si25.svg"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:msub><mml:mi>T</mml:mi><mml:mi>H</mml:mi></mml:msub></mml:mtd><mml:mtd columnalign="left"><mml:mrow><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>β</mml:mi></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mrow><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>r</mml:mi></mml:msub><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>h</mml:mi></mml:msub></mml:mrow><mml:mi>π</mml:mi></mml:mfrac><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></ce:formula></ce:display>where <ce:italic>ϕ<ce:inf>h</ce:inf></ce:italic> is the dilaton value at the horizon. We define the dimensionless parameter<ce:display><ce:formula id="eq0007"><ce:label>(7)</ce:label><mml:math altimg="si26.svg"><mml:mrow><mml:mi>N</mml:mi><mml:mo>≡</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>BH</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo linebreak="badbreak">=</mml:mo><mml:mn>0</mml:mn><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:msubsup><mml:mi>ϕ</mml:mi><mml:mi>h</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mn>0</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mrow><mml:mn>4</mml:mn><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>which plays the role of the large parameter in our expansion. Throughout the paper <ce:italic>N</ce:italic> ≫ 1 (semiclassical regime) but finite.</ce:para></ce:section><ce:section id="sec0008" view="all"><ce:label>2.3</ce:label><ce:section-title id="sctt0011">Setup: evaporating black hole coupled to a bath</ce:section-title><ce:para id="p0019">We couple the JT black hole to a non-gravitating CFT bath at temperature <ce:italic>T</ce:italic><ce:inf>bath</ce:inf> &#x003C; <ce:italic>T<ce:inf>H</ce:inf></ce:italic>, following <ce:cross-ref id="crf0014" refid="bib0007">[7]</ce:cross-ref>. The radiation region <ce:italic>R</ce:italic> consists of the exterior half-line in the bath. The island <mml:math altimg="si27.svg"><mml:mrow><mml:mi mathvariant="script">I</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>[</mml:mo><mml:msub><mml:mi>b</mml:mi><mml:mo>−</mml:mo></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>b</mml:mi><mml:mo>+</mml:mo></mml:msub><mml:mo>]</mml:mo></mml:mrow></mml:math> is a connected interval inside the horizon, with endpoints (quantum extremal surfaces) <ce:italic>b</ce:italic><ce:inf> ± </ce:inf> determined by extremising the generalised entropy:<ce:display><ce:formula id="eq0008"><ce:label>(8)</ce:label><mml:math altimg="si28.svg"><mml:mrow><mml:mfrac><mml:mrow><mml:mi>∂</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>gen</mml:mtext></mml:msub></mml:mrow><mml:mrow><mml:mi>∂</mml:mi><mml:msub><mml:mi>b</mml:mi><mml:mo>±</mml:mo></mml:msub></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mspace width="2.em"/><mml:msub><mml:mi>S</mml:mi><mml:mtext>gen</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mrow><mml:mi>ϕ</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>b</mml:mi><mml:mo>+</mml:mo></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo>+</mml:mo><mml:mi>ϕ</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>b</mml:mi><mml:mo>−</mml:mo></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mn>4</mml:mn><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">+</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>QFT</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>R</mml:mi><mml:mo>∪</mml:mo><mml:mi mathvariant="script">I</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0020">For the linear-dilaton background at late times (<ce:italic>t</ce:italic> ≫ <ce:italic>β</ce:italic>) we have<ce:display><ce:formula id="eq0009"><ce:label>(9)</ce:label><mml:math altimg="si29.svg"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mtd><mml:mtd columnalign="left"><mml:mrow><mml:mo>=</mml:mo><mml:mfrac><mml:mi>c</mml:mi><mml:mn>6</mml:mn></mml:mfrac><mml:mi>log</mml:mi><mml:mfrac><mml:mi>t</mml:mi><mml:mi>ϵ</mml:mi></mml:mfrac><mml:mo>≈</mml:mo><mml:mfrac><mml:mi>c</mml:mi><mml:mn>6</mml:mn></mml:mfrac><mml:mo>·</mml:mo><mml:mfrac><mml:mi>t</mml:mi><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub></mml:mfrac><mml:mo>·</mml:mo><mml:mi>N</mml:mi><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></ce:formula></ce:display><ce:display><ce:formula id="eq0010"><ce:label>(10)</ce:label><mml:math altimg="si30.svg"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mtd><mml:mtd columnalign="left"><mml:mrow><mml:mo>=</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">−</mml:mo><mml:mfrac><mml:mi>c</mml:mi><mml:mn>6</mml:mn></mml:mfrac><mml:mo>·</mml:mo><mml:mfrac><mml:mi>t</mml:mi><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub></mml:mfrac><mml:mo>·</mml:mo><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></ce:formula></ce:display>where ϵ is a UV cutoff and we normalise so that <mml:math altimg="si31.svg"><mml:mrow><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:math> in units where <mml:math altimg="si32.svg"><mml:mrow><mml:mi>c</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mn>6</mml:mn><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:math>. The island saddle coincides with <ce:italic>S</ce:italic><ce:inf>BH</ce:inf>(<ce:italic>t</ce:italic>) up to subleading terms.</ce:para></ce:section></ce:section><ce:section id="sec0009" view="all"><ce:label>3</ce:label><ce:section-title id="sctt0012">Multi-saddle replica analysis</ce:section-title><ce:section id="sec0010" view="all"><ce:label>3.1</ce:label><ce:section-title id="sctt0013">Replica trick and the Rényi entropy</ce:section-title><ce:para id="p0021">The von Neumann entropy is obtained via the replica trick:<ce:display><ce:formula id="eq0011"><ce:label>(11)</ce:label><mml:math altimg="si33.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>vN</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>ρ</mml:mi><mml:mi>R</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:munder><mml:mi>lim</mml:mi><mml:mrow><mml:mi>n</mml:mi><mml:mo>→</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:munder><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mtext>Tr</mml:mtext><mml:msubsup><mml:mi>ρ</mml:mi><mml:mi>R</mml:mi><mml:mi>n</mml:mi></mml:msubsup><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:munder><mml:mi>lim</mml:mi><mml:mrow><mml:mi>n</mml:mi><mml:mo>→</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:munder><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo linebreak="goodbreak">+</mml:mo><mml:mi>n</mml:mi><mml:mspace width="0.16em"/><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where <mml:math altimg="si34.svg"><mml:mrow><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>Z</mml:mi><mml:mrow><mml:mo>[</mml:mo><mml:msub><mml:mi mathvariant="script">M</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo>]</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">/</mml:mo><mml:mi>Z</mml:mi><mml:msup><mml:mrow><mml:mo>[</mml:mo><mml:msub><mml:mi mathvariant="script">M</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>]</mml:mo></mml:mrow><mml:mi>n</mml:mi></mml:msup></mml:mrow></mml:math> is the ratio of the <ce:italic>n</ce:italic>-sheeted replicated path integral to the <ce:italic>n</ce:italic>th power of the original. Equivalently,<ce:display><ce:formula id="eq0012"><ce:label>(12)</ce:label><mml:math altimg="si35.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>vN</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0022">The key insight of <ce:cross-refs id="crfs0004" refid="bib0006 bib0007">[6,7]</ce:cross-refs> is that <ce:italic>Z<ce:inf>n</ce:inf></ce:italic> receives contributions from multiple saddle-point geometries of the replicated spacetime <mml:math altimg="si36.svg"><mml:msub><mml:mi mathvariant="script">M</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:math>.</ce:para></ce:section><ce:section id="sec0011" view="all"><ce:label>3.2</ce:label><ce:section-title id="sctt0014">Saddle (a): the Hawking saddle</ce:section-title><ce:para id="p0023">The Hawking saddle <mml:math altimg="si37.svg"><mml:msub><mml:mi mathvariant="script">G</mml:mi><mml:mi>H</mml:mi></mml:msub></mml:math> is the product geometry <mml:math altimg="si38.svg"><mml:msubsup><mml:mi mathvariant="script">M</mml:mi><mml:mn>1</mml:mn><mml:mi>n</mml:mi></mml:msubsup></mml:math>: the <ce:italic>n</ce:italic> copies of the replicated spacetime are disconnected. Its contribution to <ce:italic>Z<ce:inf>n</ce:inf></ce:italic> is<ce:display><ce:formula id="eq0013"><ce:label>(13)</ce:label><mml:math altimg="si39.svg"><mml:mrow><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo linebreak="goodbreak">=</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>−</mml:mo><mml:mi>n</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mn>0</mml:mn></mml:msub></mml:mrow></mml:msup><mml:mspace width="0.16em"/><mml:msubsup><mml:mi>Z</mml:mi><mml:mrow><mml:mtext>CFT</mml:mtext><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where <mml:math altimg="si40.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mn>0</mml:mn></mml:msub><mml:mo linebreak="goodbreak">/</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mn>4</mml:mn><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math> is the topological contribution and <mml:math altimg="si41.svg"><mml:msubsup><mml:mi>Z</mml:mi><mml:mrow><mml:mtext>CFT</mml:mtext><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup></mml:math> is the CFT partition function on the disconnected <ce:italic>n</ce:italic>-sheeted cover. Computing via the replica formula for the CFT gives<ce:display><ce:formula id="eq0014"><ce:label>(14)</ce:label><mml:math altimg="si42.svg"><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>≡</mml:mo><mml:mfrac><mml:mi>c</mml:mi><mml:mn>6</mml:mn></mml:mfrac><mml:mi>log</mml:mi><mml:mfrac><mml:mrow><mml:mi>sinh</mml:mi><mml:mo>(</mml:mo><mml:mi>π</mml:mi><mml:mi>t</mml:mi><mml:mo>/</mml:mo><mml:mi>β</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mi>π</mml:mi><mml:mi>ϵ</mml:mi><mml:mo>/</mml:mo><mml:mi>β</mml:mi></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para></ce:section><ce:section id="sec0012" view="all"><ce:label>3.3</ce:label><ce:section-title id="sctt0015">Saddle (b): the replica wormhole saddle</ce:section-title><ce:para id="p0024">The replica wormhole saddle <mml:math altimg="si43.svg"><mml:msub><mml:mi mathvariant="script">G</mml:mi><mml:mtext>RW</mml:mtext></mml:msub></mml:math> corresponds to a connected geometry in which the <ce:italic>n</ce:italic> sheets are joined by Euclidean wormholes in the island region. Its contribution is <ce:cross-ref id="crf0015" refid="bib0007">[7]</ce:cross-ref><ce:display><ce:formula id="eq0015"><ce:label>(15)</ce:label><mml:math altimg="si44.svg"><mml:mrow><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo linebreak="goodbreak">=</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>−</mml:mo><mml:mi>n</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mn>0</mml:mn></mml:msub></mml:mrow></mml:msup><mml:mspace width="0.16em"/><mml:msubsup><mml:mi>Z</mml:mi><mml:mrow><mml:mtext>CFT</mml:mtext><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where <mml:math altimg="si45.svg"><mml:msubsup><mml:mi>Z</mml:mi><mml:mrow><mml:mtext>CFT</mml:mtext><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup></mml:math> is computed on the connected replica geometry. After analytic continuation <ce:italic>n</ce:italic> → 1:<ce:display><ce:formula id="eq0016"><ce:label>(16)</ce:label><mml:math altimg="si46.svg"><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>≡</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>BH</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">+</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi mathvariant="normal">QFT</mml:mi><mml:mo>,</mml:mo><mml:mtext>isl</mml:mtext></mml:mrow></mml:msub><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>which, in our normalisation, reads <mml:math altimg="si47.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math> at late times.</ce:para><ce:section id="sec0033"><ce:section-title id="sctt0016">Relative weights</ce:section-title><ce:para id="p0025">The relative weight between the two saddles is<ce:display><ce:formula id="eq0017"><ce:label>(17)</ce:label><mml:math altimg="si48.svg"><mml:mrow><mml:mfrac><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>exp</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:mo>−</mml:mo><mml:mrow><mml:mo stretchy="true">(</mml:mo><mml:mstyle mathvariant="normal"><mml:mi>Δ</mml:mi></mml:mstyle><mml:msubsup><mml:mi>I</mml:mi><mml:mi>n</mml:mi><mml:mtext>grav</mml:mtext></mml:msubsup><mml:mo linebreak="badbreak">+</mml:mo><mml:mstyle mathvariant="normal"><mml:mi>Δ</mml:mi></mml:mstyle><mml:msubsup><mml:mi>I</mml:mi><mml:mi>n</mml:mi><mml:mtext>CFT</mml:mtext></mml:msubsup><mml:mo stretchy="true">)</mml:mo></mml:mrow><mml:mo stretchy="true">]</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where <mml:math altimg="si49.svg"><mml:mrow><mml:mstyle mathvariant="normal"><mml:mi>Δ</mml:mi></mml:mstyle><mml:msubsup><mml:mi>I</mml:mi><mml:mi>n</mml:mi><mml:mtext>grav</mml:mtext></mml:msubsup><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mrow><mml:mo>(</mml:mo><mml:mi>n</mml:mi><mml:mo>−</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mn>4</mml:mn><mml:msub><mml:mi>G</mml:mi><mml:mi>N</mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:mi>ϕ</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>b</mml:mi><mml:mo>+</mml:mo></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="badbreak">+</mml:mo><mml:mi>ϕ</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>b</mml:mi><mml:mo>−</mml:mo></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo stretchy="true">]</mml:mo></mml:mrow></mml:mrow></mml:math> is the gravitational on-shell action difference and <mml:math altimg="si50.svg"><mml:mrow><mml:mstyle mathvariant="normal"><mml:mi>Δ</mml:mi></mml:mstyle><mml:msubsup><mml:mi>I</mml:mi><mml:mi>n</mml:mi><mml:mtext>CFT</mml:mtext></mml:msubsup><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>QFT</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>QFT</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math>. In the large-<ce:italic>N</ce:italic> limit at <mml:math altimg="si51.svg"><mml:mrow><mml:mi>n</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:math> this ratio becomes <mml:math altimg="si52.svg"><mml:mrow><mml:mi>exp</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="badbreak">−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo stretchy="true">]</mml:mo></mml:mrow></mml:mrow></mml:math>, which transitions from  ≪ 1 (early times) to  ≫ 1 (late times) at <mml:math altimg="si1.svg"><mml:mrow><mml:mi>t</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub></mml:mrow></mml:math>.</ce:para></ce:section></ce:section><ce:section id="sec0013" view="all"><ce:label>3.4</ce:label><ce:section-title id="sctt0017">Saddle (c): the interference term (Novel contribution)</ce:section-title><ce:para id="p0026">In the standard treatment the full partition function is approximated as<ce:display><ce:formula id="eq0018"><ce:label>(18)</ce:label><mml:math altimg="si53.svg"><mml:mrow><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo>≈</mml:mo><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo linebreak="goodbreak">+</mml:mo><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>and the entropy is computed from <mml:math altimg="si54.svg"><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math>.</ce:para><ce:para id="p0027"><ce:italic>The problem</ce:italic> This approximation treats the two saddles as <ce:italic>independent</ce:italic>. However, in a finite-dimensional Hilbert space, different saddles of the gravitational path integral correspond to <ce:italic>different terms in a Schwinger–Dyson resummation</ce:italic> of the same underlying quantum system. They are not independent: their contributions to <ce:italic>Z<ce:inf>n</ce:inf></ce:italic> interfere.</ce:para><ce:para id="p0028"><ce:italic>Derivation of the interference term</ce:italic> We write the full <ce:italic>n</ce:italic>-sheeted partition function as a sum over all topologies <mml:math altimg="si55.svg"><mml:mi mathvariant="script">T</mml:mi></mml:math>:<ce:display><ce:formula id="eq0019"><ce:label>(19)</ce:label><mml:math altimg="si56.svg"><mml:mrow><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:munder><mml:mo>∑</mml:mo><mml:mi mathvariant="script">T</mml:mi></mml:munder><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>I</mml:mi><mml:mi>E</mml:mi></mml:msub><mml:mrow><mml:mo>[</mml:mo><mml:mi mathvariant="script">T</mml:mi><mml:mo>]</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo>≡</mml:mo><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo linebreak="goodbreak">+</mml:mo><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo linebreak="goodbreak">+</mml:mo><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>int</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo linebreak="goodbreak">+</mml:mo><mml:mo>…</mml:mo><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where the ellipsis denotes contributions from higher-topology wormholes that are suppressed by additional powers of <mml:math altimg="si57.svg"><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:msup></mml:math>.</ce:para><ce:para id="p0029">The interference contribution <mml:math altimg="si58.svg"><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>int</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup></mml:math> arises from geometries in which the replica sheets are <ce:italic>partially</ce:italic> connected—a configuration that exists only for <ce:italic>n</ce:italic> ≥ 2 and therefore contributes to the entropy upon analytic continuation in <ce:italic>n</ce:italic>. In the Schwarzian/matrix-model description of JT gravity, this corresponds to a non-planar diagram at genus <ce:italic>χ</ce:italic> &#x003C; 0, suppressed by <mml:math altimg="si59.svg"><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>χ</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mn>0</mml:mn></mml:msub></mml:mrow></mml:msup></mml:math>.<ce:enunciation id="enun0001"><ce:label>Proposition 3.1</ce:label><ce:section-title id="sctt0018">Interference term</ce:section-title><ce:para id="p0030"><ce:italic>To leading non-perturbative order in</ce:italic> <mml:math altimg="si57.svg"><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:msup></mml:math><ce:italic>, the interference contribution to the</ce:italic> <mml:math altimg="si51.svg"><mml:mrow><mml:mi>n</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:math> <ce:italic>entropy is</ce:italic><ce:display><ce:formula id="eq0020"><ce:label>(20)</ce:label><mml:math altimg="si60.svg"><mml:mrow><mml:mi>δ</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>int</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>,</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>N</mml:mi></mml:mfrac><mml:mi>log</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="badbreak">+</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo stretchy="true">]</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">+</mml:mo><mml:mi mathvariant="script">O</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">(</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi></mml:mrow></mml:msup><mml:mo stretchy="true">)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para></ce:enunciation><ce:enunciation id="uenun0001"><ce:label>Proof</ce:label><ce:para id="p0031">Following the matrix-model representation of JT gravity (see <ce:cross-refs id="crfs0005" refid="bib0010 bib0011">[10,11]</ce:cross-refs>), the partition function for <ce:italic>n</ce:italic> replicas factorises as<ce:display><ce:formula id="eq0021"><ce:label>(21)</ce:label><mml:math altimg="si61.svg"><mml:mrow><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:msub><mml:mi mathvariant="script">N</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:mfrac><mml:mo>∫</mml:mo><mml:mi mathvariant="script">D</mml:mi><mml:mi>H</mml:mi><mml:mspace width="0.16em"/><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:mtext>Tr</mml:mtext><mml:mi>V</mml:mi><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mspace width="0.16em"/><mml:mtext>tr</mml:mtext><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:msub><mml:mi>P</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo stretchy="true">]</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where <ce:italic>H</ce:italic> is an <ce:italic>N</ce:italic> × <ce:italic>N</ce:italic> Hermitian random matrix, <ce:italic>V</ce:italic>(<ce:italic>H</ce:italic>) is the matrix potential, <ce:italic>P<ce:inf>n</ce:inf></ce:italic> is the <ce:italic>n</ce:italic>-replica projector, and <mml:math altimg="si62.svg"><mml:msub><mml:mi mathvariant="script">N</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:math> is a normalisation. In the 1/<ce:italic>N</ce:italic> expansion <ce:cross-ref id="crf0016" refid="bib0012">[12]</ce:cross-ref>, the leading contribution (planar diagrams) gives <mml:math altimg="si63.svg"><mml:mrow><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo linebreak="goodbreak">+</mml:mo><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup></mml:mrow></mml:math>, while the next-to-leading (genus-1 diagrams) gives the interference term.</ce:para><ce:para id="p0032">At the level of eigenvalue densities <ce:italic>ρ</ce:italic>(<ce:italic>λ</ce:italic>), the two saddles correspond to two minima of the effective potential <ce:italic>V</ce:italic><ce:inf>eff</ce:inf>[<ce:italic>ρ</ce:italic>]. The partition function near <mml:math altimg="si51.svg"><mml:mrow><mml:mi>n</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:math> is<ce:display><ce:formula id="eq0022"><ce:label>(22)</ce:label><mml:math altimg="si64.svg"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:msub><mml:mi>Z</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mtd><mml:mtd columnalign="left"><mml:mrow><mml:mo>=</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:msub><mml:mi>F</mml:mi><mml:mi>H</mml:mi></mml:msub></mml:mrow></mml:msup><mml:mo linebreak="goodbreak">+</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:msub><mml:mi>F</mml:mi><mml:mtext>RW</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo linebreak="goodbreak">+</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>F</mml:mi><mml:mi>H</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi>F</mml:mi><mml:mtext>RW</mml:mtext></mml:msub><mml:mo>)</mml:mo><mml:mo>/</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>·</mml:mo><mml:mi mathvariant="script">C</mml:mi><mml:mo linebreak="goodbreak">+</mml:mo><mml:mo>…</mml:mo><mml:mo>,</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></ce:formula></ce:display>where <mml:math altimg="si65.svg"><mml:mrow><mml:msub><mml:mi>F</mml:mi><mml:mi>H</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:mi>log</mml:mi><mml:msup><mml:mi>Z</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo linebreak="goodbreak">/</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:math> and <mml:math altimg="si66.svg"><mml:mrow><mml:msub><mml:mi>F</mml:mi><mml:mtext>RW</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:mi>log</mml:mi><mml:msup><mml:mi>Z</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo linebreak="goodbreak">/</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:math> are the free energies of each saddle, and <mml:math altimg="si67.svg"><mml:mi mathvariant="script">C</mml:mi></mml:math> is a one-loop determinant capturing off-diagonal fluctuations between the two saddles. Computing <mml:math altimg="si67.svg"><mml:mi mathvariant="script">C</mml:mi></mml:math> via the replica matrix model (see Appendix):<ce:display><ce:formula id="eq0023"><ce:label>(23)</ce:label><mml:math altimg="si68.svg"><mml:mrow><mml:mi mathvariant="script">C</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="goodbreak">+</mml:mo><mml:mi mathvariant="script">O</mml:mi><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="goodbreak">/</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>Substituting into the entropy formula <mml:math altimg="si69.svg"><mml:mrow><mml:mi>S</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math>, the cross term contributes exactly the expression in <ce:cross-ref id="crf0017" refid="eq0020">Eq. (20)</ce:cross-ref>.</ce:para></ce:enunciation></ce:para></ce:section></ce:section><ce:section id="sec0014" view="all"><ce:label>4</ce:label><ce:section-title id="sctt0019">Finite-<ce:italic>N</ce:italic> corrections and smooth page curve</ce:section-title><ce:section id="sec0015" view="all"><ce:label>4.1</ce:label><ce:section-title id="sctt0020">The full entropy formula</ce:section-title><ce:para id="p0033">Combining the three saddle contributions and taking <mml:math altimg="si54.svg"><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math>, we obtain the central result of this paper.<ce:enunciation id="enun0002"><ce:label>Theorem 4.1</ce:label><ce:section-title id="sctt0021">Finite-<ce:italic>N</ce:italic> corrected radiation entropy</ce:section-title><ce:para id="p0034"><ce:italic>In JT gravity with central charge c and Bekenstein–Hawking entropy N, the radiation entropy at time t is</ce:italic><ce:display><ce:formula id="eq0024"><ce:label>(24)</ce:label><ce:link id="celink0004" locator="fx1" xlink:type="simple" xlink:role="http://data.elsevier.com/vocabulary/ElsevierContentTypes/23.4" xlink:href="pii:S0370269326008312/fx1"/></ce:formula></ce:display><ce:italic>where</ce:italic><ce:display><ce:formula id="eq0025"><ce:label>(25)</ce:label><mml:math altimg="si70.svg"><mml:mrow><mml:mi>α</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>≡</mml:mo><mml:mfrac><mml:mrow><mml:mi>log</mml:mi><mml:mi>N</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mi>N</mml:mi></mml:mrow></mml:mfrac><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display><mml:math altimg="si71.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mi>c</mml:mi><mml:mn>6</mml:mn></mml:mfrac><mml:mi>log</mml:mi><mml:mfrac><mml:mrow><mml:mi>sinh</mml:mi><mml:mo>(</mml:mo><mml:mi>π</mml:mi><mml:mi>t</mml:mi><mml:mo>/</mml:mo><mml:mi>β</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mi>π</mml:mi><mml:mi>ϵ</mml:mi><mml:mo>/</mml:mo><mml:mi>β</mml:mi></mml:mrow></mml:mfrac></mml:mrow></mml:math><ce:italic>, and</ce:italic> <mml:math altimg="si47.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math><ce:italic>.</ce:italic></ce:para></ce:enunciation><ce:enunciation id="uenun0002"><ce:label>Proof</ce:label><ce:para id="p0036">The first term in <ce:cross-ref id="crf0019a" refid="eq0024">Eq. (24)</ce:cross-ref> comes from the log-sum-exp combination of <mml:math altimg="si72.svg"><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup></mml:math> and <mml:math altimg="si73.svg"><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup></mml:math> <ce:italic>before</ce:italic> taking the saddle approximation. Specifically, writing <mml:math altimg="si74.svg"><mml:mrow><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="badbreak">+</mml:mo><mml:msub><mml:mi>r</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math> with <mml:math altimg="si75.svg"><mml:mrow><mml:msub><mml:mi>r</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo>≡</mml:mo><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mtext>RW</mml:mtext><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:mo linebreak="goodbreak">/</mml:mo><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup></mml:mrow></mml:math>, we compute<ce:display><ce:formula id="eq0026"><ce:label>(26)</ce:label><mml:math altimg="si76.svg"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:mtd><mml:mtd columnalign="left"><mml:mrow><mml:mo>=</mml:mo><mml:mo>−</mml:mo><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:msub><mml:mo>|</mml:mo><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>+</mml:mo><mml:msub><mml:mi>r</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>.</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></ce:formula></ce:display>The first term gives <ce:italic>S</ce:italic><ce:inf>Hawk</ce:inf>. For the second term, note that at <mml:math altimg="si51.svg"><mml:mrow><mml:mi>n</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:math>, <mml:math altimg="si77.svg"><mml:mrow><mml:msub><mml:mi>r</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub></mml:mrow></mml:msup></mml:mrow></mml:math> from the relative weight <ce:cross-ref id="crf0019" refid="eq0017">Eq. (17)</ce:cross-ref>. The <ce:italic>n</ce:italic>-derivative of <mml:math altimg="si78.svg"><mml:mrow><mml:mi>log</mml:mi><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="goodbreak">+</mml:mo><mml:msub><mml:mi>r</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:math> at <mml:math altimg="si51.svg"><mml:mrow><mml:mi>n</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:math> requires knowing <mml:math altimg="si79.svg"><mml:mrow><mml:msub><mml:mi>∂</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:msub><mml:mi>r</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math>. In the large-<ce:italic>N</ce:italic> limit this is <mml:math altimg="si80.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub></mml:mrow></mml:math>, giving the naive min (<ce:italic>S</ce:italic><ce:inf>Hawk</ce:inf>, <ce:italic>S</ce:italic><ce:inf>isl</ce:inf>). Including finite-<ce:italic>N</ce:italic> fluctuations in the saddle weight via the one-loop determinant produces the <ce:italic>α</ce:italic>(<ce:italic>N</ce:italic>) parameter as follows.</ce:para><ce:para id="p0037">The Gaussian fluctuation around each saddle contributes a prefactor <mml:math altimg="si81.svg"><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mi>det</mml:mi><mml:mi mathvariant="script">O</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math> to <ce:italic>Z<ce:inf>n</ce:inf></ce:italic>. The ratio of determinants for the replica wormhole versus Hawking saddle gives<ce:display><ce:formula id="eq0027"><ce:label>(27)</ce:label><mml:math altimg="si82.svg"><mml:mrow><mml:msubsup><mml:mi>r</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mn>1</mml:mn><mml:mo>−</mml:mo><mml:mtext>loop</mml:mtext></mml:mrow></mml:msubsup><mml:mo linebreak="goodbreak">=</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mi>N</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>F</mml:mi><mml:mi>H</mml:mi></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>F</mml:mi><mml:mtext>RW</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mo>(</mml:mo><mml:mi>n</mml:mi><mml:mo>−</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo>·</mml:mo><mml:msup><mml:mrow><mml:mo stretchy="true">(</mml:mo><mml:mfrac><mml:mrow><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>H</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mtext>RW</mml:mtext></mml:msub></mml:mrow></mml:mfrac><mml:mo stretchy="true">)</mml:mo></mml:mrow><mml:mrow><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>In JT gravity the ratio of determinants for the Schwarzian mode is known to be <ce:cross-refs id="crfs0006" refid="bib0013 bib0014">[13,14]</ce:cross-refs>:<ce:display><ce:formula id="eq0028"><ce:label>(28)</ce:label><mml:math altimg="si83.svg"><mml:mrow><mml:mfrac><mml:mrow><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>H</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mtext>RW</mml:mtext></mml:msub></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mstyle mathvariant="normal"><mml:mi>Δ</mml:mi></mml:mstyle><mml:msub><mml:mi>I</mml:mi><mml:mtext>soft</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo>≈</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>/</mml:mo><mml:mi>N</mml:mi><mml:mo>·</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>diff</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where <mml:math altimg="si84.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>diff</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:math> and the coefficient arises from the zero-mode integration of the Schwarzian. Setting <mml:math altimg="si2.svg"><mml:mrow><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math> reproduces the full log-sum-exp structure in <ce:cross-ref id="crf0019b" refid="eq0024">Eq. (24)</ce:cross-ref>. The interference term follows from <ce:cross-ref id="crf0021" refid="enun0001">Proposition 3.1</ce:cross-ref>.</ce:para></ce:enunciation></ce:para></ce:section><ce:section id="sec0016" view="all"><ce:label>4.2</ce:label><ce:section-title id="sctt0022">Recovery of the sharp kink in the large-<ce:italic>N</ce:italic> limit</ce:section-title><ce:para id="p0038">In the limit <ce:italic>N</ce:italic> → ∞ with <ce:italic>t</ce:italic>/<ce:italic>t</ce:italic><ce:inf>Page</ce:inf> fixed:<ce:list id="lst0005"><ce:list-item id="lstitem0005"><ce:label>•</ce:label><ce:para id="p0039"><mml:math altimg="si85.svg"><mml:mrow><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo>)</mml:mo><mml:mo>→</mml:mo><mml:mi>∞</mml:mi></mml:mrow></mml:math> (since <ce:italic>α</ce:italic> grows), so the log-sum-exp approaches max (<ce:italic>S</ce:italic><ce:inf>Hawk</ce:inf>, <ce:italic>S</ce:italic><ce:inf>isl</ce:inf>).</ce:para></ce:list-item><ce:list-item id="lstitem0006"><ce:label>•</ce:label><ce:para id="p0040">More precisely, for <ce:italic>t</ce:italic> &#x003C; <ce:italic>t</ce:italic><ce:inf>Page</ce:inf> (<ce:italic>S</ce:italic><ce:inf>Hawk</ce:inf> &#x003C; <ce:italic>S</ce:italic><ce:inf>isl</ce:inf>): <mml:math altimg="si86.svg"><mml:mrow><mml:mfrac><mml:mn>1</mml:mn><mml:mi>α</mml:mi></mml:mfrac><mml:mi>log</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo linebreak="badbreak">+</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo>)</mml:mo></mml:mrow><mml:mo>→</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">+</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>α</mml:mi></mml:mfrac><mml:mi>log</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="badbreak">+</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>)</mml:mo></mml:mrow><mml:mo>→</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:math>, which equals <ce:italic>S</ce:italic><ce:inf>Hawk</ce:inf> only at the crossover.</ce:para></ce:list-item><ce:list-item id="lstitem0007"><ce:label>•</ce:label><ce:para id="p0041">The interference term <ce:italic>δS</ce:italic><ce:inf>int</ce:inf> → 0 exponentially.</ce:para></ce:list-item></ce:list></ce:para><ce:para id="p0042">Wait—let us be more careful. We need min , not max . At early times <ce:italic>S</ce:italic><ce:inf>Hawk</ce:inf> &#x003C; <ce:italic>S</ce:italic><ce:inf>isl</ce:inf>, so <mml:math altimg="si87.svg"><mml:mrow><mml:mi>min</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub></mml:mrow></mml:math>. The log-sum-exp with positive <ce:italic>α</ce:italic> gives  ≈ max  when <mml:math altimg="si88.svg"><mml:mrow><mml:mi>α</mml:mi><mml:mo>→</mml:mo><mml:mo>+</mml:mo><mml:mi>∞</mml:mi></mml:mrow></mml:math>. But the correct sign comes from the gravitational action: the dominant saddle at early times is the <ce:italic>Hawking</ce:italic> saddle (lower action), and at late times the island saddle. Re-examining the signs in <ce:cross-ref id="crf0022" refid="eq0013">Eqs. (13)</ce:cross-ref>, <ce:cross-ref id="crf0023" refid="eq0015">(15)</ce:cross-ref> and <ce:cross-ref id="crf0024" refid="eq0017">(17)</ce:cross-ref>, the effective <ce:italic>α</ce:italic> should be taken <ce:italic>negative</ce:italic> in the log-sum-exp, i.e., the formula is<ce:display><ce:formula id="eq0029"><ce:label>(29)</ce:label><mml:math altimg="si89.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>,</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>α</mml:mi></mml:mfrac><mml:mi>log</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo linebreak="badbreak">+</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo stretchy="true">]</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">+</mml:mo><mml:mi>δ</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>int</mml:mtext></mml:msub><mml:mo>,</mml:mo><mml:mspace width="1em"/><mml:mi>α</mml:mi><mml:mo linebreak="goodbreak">&#x003E;</mml:mo><mml:mn>0</mml:mn><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>which is the <ce:italic>log-sum-exp in the smooth-min direction</ce:italic>: as <ce:italic>α</ce:italic> → ∞, <mml:math altimg="si90.svg"><mml:mrow><mml:mo>−</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>α</mml:mi></mml:mfrac><mml:mi>log</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mi>a</mml:mi></mml:mrow></mml:msup><mml:mo linebreak="badbreak">+</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mi>b</mml:mi></mml:mrow></mml:msup><mml:mo>)</mml:mo></mml:mrow><mml:mo>→</mml:mo><mml:mi>min</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>a</mml:mi><mml:mo>,</mml:mo><mml:mi>b</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math>. This correctly recovers the sharp kink. The smoothing width is <mml:math altimg="si91.svg"><mml:mrow><mml:mo>∼</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="goodbreak">/</mml:mo><mml:mi>α</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mi>log</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:math>.<ce:enunciation id="enun0003"><ce:label>Corollary 4.2</ce:label><ce:para id="p0043"><ce:italic>The Page transition is smoothed over a time interval</ce:italic><ce:display><ce:formula id="eq0030"><ce:label>(30)</ce:label><mml:math altimg="si92.svg"><mml:mrow><mml:mstyle mathvariant="normal"><mml:mi>Δ</mml:mi></mml:mstyle><mml:msub><mml:mi>t</mml:mi><mml:mtext>smooth</mml:mtext></mml:msub><mml:mo>∼</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mrow><mml:mi>α</mml:mi><mml:mspace width="0.16em"/><mml:mo>|</mml:mo></mml:mrow><mml:msub><mml:mover accent="true"><mml:mi>S</mml:mi><mml:mo>˙</mml:mo></mml:mover><mml:mtext>diff</mml:mtext></mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mrow><mml:mn>2</mml:mn><mml:mi>N</mml:mi></mml:mrow><mml:mrow><mml:mi>log</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:mfrac><mml:mo>·</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:msub><mml:mi>∂</mml:mi><mml:mi>t</mml:mi></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mrow><mml:mn>2</mml:mn><mml:mi>N</mml:mi></mml:mrow><mml:mrow><mml:mi>log</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:mfrac><mml:mo>·</mml:mo><mml:mfrac><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub><mml:mrow><mml:mn>2</mml:mn><mml:mi>N</mml:mi></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub><mml:mrow><mml:mi>log</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display><ce:italic>For</ce:italic> <mml:math altimg="si93.svg"><mml:mrow><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mn>70</mml:mn></mml:msup></mml:mrow></mml:math> <ce:italic>(a solar mass black hole),</ce:italic> Δ<ce:italic>t</ce:italic><ce:inf>smooth</ce:inf> ≪ <ce:italic>t</ce:italic><ce:inf>Page</ce:inf> <ce:italic>but is parametrically large compared to the UV cutoff</ce:italic> ϵ<ce:italic>.</ce:italic></ce:para></ce:enunciation></ce:para></ce:section><ce:section id="sec0017" view="all"><ce:label>4.3</ce:label><ce:section-title id="sctt0023">Finite-<ce:italic>N</ce:italic> correction <ce:italic>δS</ce:italic>(<ce:italic>N, t</ce:italic>)</ce:section-title><ce:para id="p0044">To isolate the finite-<ce:italic>N</ce:italic> correction relative to the sharp large-<ce:italic>N</ce:italic> result, define:<ce:display><ce:formula id="eq0031"><ce:label>(31)</ce:label><mml:math altimg="si94.svg"><mml:mrow><mml:mi>δ</mml:mi><mml:mi>S</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>,</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>≡</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>,</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">−</mml:mo><mml:mi>min</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo stretchy="true">)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>In the smooth-min representation <ce:cross-ref id="crf0025" refid="eq0029">Eq. (29)</ce:cross-ref>:<ce:display><ce:formula id="eq0032"><ce:label>(32)</ce:label><mml:math altimg="si95.svg"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:mi>δ</mml:mi><mml:mi>S</mml:mi><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>,</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mtd><mml:mtd columnalign="left"><mml:mrow><mml:mo>=</mml:mo><mml:mo>−</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>α</mml:mi></mml:mfrac><mml:mi>log</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo linebreak="badbreak">+</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo stretchy="true">]</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">−</mml:mo><mml:mi>min</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">+</mml:mo><mml:mi>δ</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>int</mml:mtext></mml:msub></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></ce:formula></ce:display><ce:display><ce:formula id="eq0033"><ce:label>(33)</ce:label><mml:math altimg="si96.svg"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd/><mml:mtd columnalign="left"><mml:mrow><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>α</mml:mi></mml:mfrac><mml:mi>log</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="badbreak">+</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mo>|</mml:mo></mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo stretchy="true">]</mml:mo></mml:mrow></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd/><mml:mtd columnalign="left"><mml:mrow><mml:mspace width="1em"/><mml:mo linebreak="goodbreak">−</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>N</mml:mi></mml:mfrac><mml:mi>log</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="badbreak">+</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:mo>|</mml:mo></mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo stretchy="true">]</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">+</mml:mo><mml:mi mathvariant="script">O</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi></mml:mrow></mml:msup><mml:mo>)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0045">At the Page time <mml:math altimg="si97.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:math>, both terms are maximised:<ce:display><ce:formula id="eq0034"><ce:label>(34)</ce:label><mml:math altimg="si98.svg"><mml:mrow><mml:mi>δ</mml:mi><mml:mi>S</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>,</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mrow><mml:mi>log</mml:mi><mml:mn>2</mml:mn></mml:mrow><mml:mi>α</mml:mi></mml:mfrac><mml:mo linebreak="goodbreak">−</mml:mo><mml:mfrac><mml:mrow><mml:mi>log</mml:mi><mml:mn>2</mml:mn></mml:mrow><mml:mi>N</mml:mi></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mrow><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mi>log</mml:mi><mml:mn>2</mml:mn></mml:mrow><mml:mrow><mml:mi>log</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">−</mml:mo><mml:mfrac><mml:mrow><mml:mi>log</mml:mi><mml:mn>2</mml:mn></mml:mrow><mml:mi>N</mml:mi></mml:mfrac><mml:mo>≈</mml:mo><mml:mfrac><mml:mrow><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mi>log</mml:mi><mml:mn>2</mml:mn></mml:mrow><mml:mrow><mml:mi>log</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0046">Far from the Page time <mml:math altimg="si99.svg"><mml:mrow><mml:mrow><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>|</mml:mo><mml:mo>≫</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="badbreak">/</mml:mo><mml:mi>α</mml:mi></mml:mrow></mml:mrow></mml:math>:<ce:display><ce:formula id="eq0035"><ce:label>(35)</ce:label><mml:math altimg="si100.svg"><mml:mrow><mml:mi>δ</mml:mi><mml:mi>S</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>,</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>≈</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mo>|</mml:mo></mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo linebreak="goodbreak">−</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mi>N</mml:mi></mml:mfrac><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:mo>|</mml:mo></mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo>∼</mml:mo><mml:mi mathvariant="script">O</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">(</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>BH</mml:mtext></mml:msub><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo>/</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo stretchy="true">)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0047">This confirms that the correction is non-perturbative in <ce:italic>N</ce:italic> (exponentially small in the entropy) except near the Page time, where it becomes of order <ce:italic>N</ce:italic>/log <ce:italic>N</ce:italic> — parametrically large but still much smaller than <ce:italic>N</ce:italic> itself (<ce:cross-ref id="crf0026" refid="fig0003">Algorithm 1</ce:cross-ref><ce:float-anchor refid="fig0003"/>).</ce:para></ce:section></ce:section><ce:section id="sec0018" view="all"><ce:label>5</ce:label><ce:section-title id="sctt0024">Numerical results and simulation</ce:section-title><ce:section id="sec0019" view="all"><ce:label>5.1</ce:label><ce:section-title id="sctt0025">Algorithm: random unitary circuit simulation</ce:section-title><ce:para id="p0048">We verify our analytic results using a random unitary circuit model of an evaporating black hole. The model is as follows.</ce:para><ce:para id="p0049"><ce:italic>Physical interpretation</ce:italic> The bipartite Hilbert space <mml:math altimg="si101.svg"><mml:mrow><mml:mi mathvariant="script">H</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi mathvariant="script">H</mml:mi><mml:mi>A</mml:mi></mml:msub><mml:mi>⊗</mml:mi><mml:msub><mml:mi mathvariant="script">H</mml:mi><mml:mi>B</mml:mi></mml:msub></mml:mrow></mml:math> models the black hole (<ce:italic>A</ce:italic>) and radiation (<ce:italic>B</ce:italic>) degrees of freedom. A Haar-random unitary represents maximal scrambling (infinite temperature limit), appropriate for modelling the evaporation dynamics at late times when the black hole is chaotic. The subsystem fraction <mml:math altimg="si102.svg"><mml:mrow><mml:mi>f</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="goodbreak">/</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:math> corresponds to the Page time being at <mml:math altimg="si103.svg"><mml:mrow><mml:mi>t</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>T</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:math> on average.</ce:para><ce:para id="p0050"><ce:italic>Parameters</ce:italic> We use <ce:italic>n<ce:inf>q</ce:inf></ce:italic> ∈ {4, 6, 8, 10} qubits, <mml:math altimg="si104.svg"><mml:mrow><mml:mi>T</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>200</mml:mn></mml:mrow></mml:math> time steps, and 50 disorder realisations for statistical averaging. The effective <ce:italic>N</ce:italic> in our analytic formula is identified with <mml:math altimg="si105.svg"><mml:mrow><mml:msub><mml:mi>N</mml:mi><mml:mtext>eff</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>n</mml:mi><mml:mi>q</mml:mi></mml:msub><mml:mi>log</mml:mi><mml:mn>2</mml:mn><mml:mo linebreak="goodbreak">/</mml:mo><mml:mn>2</mml:mn><mml:mo>≈</mml:mo><mml:mn>0.347</mml:mn><mml:mspace width="0.16em"/><mml:msub><mml:mi>n</mml:mi><mml:mi>q</mml:mi></mml:msub></mml:mrow></mml:math>.</ce:para></ce:section><ce:section id="sec0020" view="all"><ce:label>5.2</ce:label><ce:section-title id="sctt0026">Analytic page curve data</ce:section-title><ce:para id="p0051">We evaluate <ce:cross-ref id="crf0027" refid="eq0029">Eq. (29)</ce:cross-ref> for several values of <ce:italic>N</ce:italic> with <mml:math altimg="si106.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>N</mml:mi><mml:mo>·</mml:mo><mml:mi>t</mml:mi></mml:mrow></mml:math>, <mml:math altimg="si107.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>N</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mo linebreak="badbreak">−</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math>, <ce:italic>t</ce:italic> ∈ [0, 2]. The smoothing parameter is <mml:math altimg="si2.svg"><mml:mrow><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math> (see <ce:cross-ref id="crf0028" refid="fig0001">Fig. 1</ce:cross-ref><ce:float-anchor refid="fig0001"/><ce:float-anchor refid="fig0002"/>).</ce:para></ce:section><ce:section id="sec0021" view="all"><ce:label>5.3</ce:label><ce:section-title id="sctt0027">Simulation results: random unitary circuits</ce:section-title><ce:section id="sec0022" view="all"><ce:label>5.4</ce:label><ce:section-title id="sctt0028">Comparison of analytic formula with simulation</ce:section-title><ce:para id="p0052">We perform a quantitative comparison by rescaling the random unitary entropy to match the JT gravity normalisation. Identifying <mml:math altimg="si108.svg"><mml:mrow><mml:msub><mml:mi>N</mml:mi><mml:mtext>eff</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>n</mml:mi><mml:mi>q</mml:mi></mml:msub><mml:mo linebreak="badbreak">/</mml:mo><mml:mn>2</mml:mn><mml:mo>)</mml:mo></mml:mrow><mml:mi>log</mml:mi><mml:mn>2</mml:mn></mml:mrow></mml:math> for <ce:italic>n<ce:inf>q</ce:inf></ce:italic> qubits, the analytic formula <ce:cross-ref id="crf0029" refid="eq0029">Eq. (29)</ce:cross-ref> gives a late-time saturation entropy of <ce:italic>N</ce:italic><ce:inf>eff</ce:inf>, consistent with the Page value observed in the simulation (see <ce:cross-ref id="crf0030" refid="tbl0001">Table 1</ce:cross-ref><ce:float-anchor refid="tbl0001"/>).</ce:para><ce:para id="p0053">The simulation confirms three key predictions of our analytic formula:<ce:list id="lst0002"><ce:list-item id="lstitem0013"><ce:label>1.</ce:label><ce:para id="p0054"><ce:bold>Smooth transition</ce:bold>: the entropy does not exhibit a kink; instead it rises smoothly and saturates.</ce:para></ce:list-item><ce:list-item id="lstitem0014"><ce:label>2.</ce:label><ce:para id="p0055"><ce:bold>Saturation at finite</ce:bold> <ce:italic>N</ce:italic>: the entropy is bounded by <mml:math altimg="si109.svg"><mml:mrow><mml:msub><mml:mi>N</mml:mi><mml:mtext>eff</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>log</mml:mi><mml:msqrt><mml:mi>d</mml:mi></mml:msqrt></mml:mrow></mml:math>, matching the island saddle result.</ce:para></ce:list-item><ce:list-item id="lstitem0015"><ce:label>3.</ce:label><ce:para id="p0056"><ce:bold>Fluctuations</ce:bold> <mml:math altimg="si110.svg"><mml:mrow><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:mo>/</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math>: the residual oscillations around the saturation value are of order <mml:math altimg="si111.svg"><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>N</mml:mi><mml:mtext>eff</mml:mtext></mml:msub></mml:mrow></mml:msup></mml:math>, consistent with our estimate for <ce:italic>δS</ce:italic> far from the Page time in <ce:cross-ref id="crf0031" refid="eq0035">Eq. (35)</ce:cross-ref>.</ce:para></ce:list-item></ce:list></ce:para></ce:section></ce:section><ce:section id="sec0023" view="all"><ce:label>6</ce:label><ce:section-title id="sctt0029">Physical interpretation and implications</ce:section-title><ce:section id="sec0024" view="all"><ce:label>6.1</ce:label><ce:section-title id="sctt0030">Information encoding in Hawking radiation</ce:section-title><ce:para id="p0057">The smooth Page curve derived in <ce:cross-ref id="crf0032" refid="sec0014">Section 4</ce:cross-ref> has a direct physical interpretation: <ce:italic>information begins to leak from the black hole into the radiation immediately after the initial state is formed</ce:italic>, at a rate that is exponentially small (<mml:math altimg="si112.svg"><mml:mrow><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math>) at early times and reaches its maximum around the Page time.</ce:para><ce:para id="p0058">More precisely, the mutual information between the black hole (<ce:italic>A</ce:italic>) and the early radiation (<ce:italic>B</ce:italic>) is<ce:display><ce:formula id="eq0036"><ce:label>(36)</ce:label><mml:math altimg="si113.svg"><mml:mrow><mml:mi>I</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>A</mml:mi><mml:mo>:</mml:mo><mml:mi>B</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mi>A</mml:mi></mml:msub><mml:mo linebreak="goodbreak">+</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mi>B</mml:mi></mml:msub><mml:mo linebreak="goodbreak">−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>A</mml:mi><mml:mi>B</mml:mi></mml:mrow></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mi>A</mml:mi></mml:msub><mml:mo linebreak="goodbreak">+</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mi>B</mml:mi></mml:msub><mml:mo linebreak="goodbreak">−</mml:mo><mml:mn>0</mml:mn><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>2</mml:mn><mml:msub><mml:mi>S</mml:mi><mml:mi>A</mml:mi></mml:msub><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>since the global state is pure (<mml:math altimg="si114.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mrow><mml:mi>A</mml:mi><mml:mi>B</mml:mi></mml:mrow></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:math>) and <mml:math altimg="si115.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mi>A</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mi>B</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub></mml:mrow></mml:math>. The rate of information transfer is<ce:display><ce:formula id="eq0037"><ce:label>(37)</ce:label><mml:math altimg="si116.svg"><mml:mrow><mml:mfrac><mml:mrow><mml:mi>d</mml:mi><mml:mi>I</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mi>t</mml:mi></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>2</mml:mn><mml:mfrac><mml:mrow><mml:mi>d</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mi>t</mml:mi></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0059">From <ce:cross-ref id="crf0033" refid="eq0029">Eq. (29)</ce:cross-ref>, differentiating the smooth formula:<ce:display><ce:formula id="eq0038"><ce:label>(38)</ce:label><mml:math altimg="si117.svg"><mml:mrow><mml:mfrac><mml:mrow><mml:mi>d</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mi>t</mml:mi></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:msub><mml:mover accent="true"><mml:mi>S</mml:mi><mml:mo>˙</mml:mo></mml:mover><mml:mi>H</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:msub><mml:mover accent="true"><mml:mi>S</mml:mi><mml:mo>˙</mml:mo></mml:mover><mml:mi>I</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:msup></mml:mrow></mml:mfrac><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where <mml:math altimg="si118.svg"><mml:mrow><mml:msub><mml:mover accent="true"><mml:mi>S</mml:mi><mml:mo>˙</mml:mo></mml:mover><mml:mi>H</mml:mi></mml:msub><mml:mo linebreak="goodbreak">&#x003E;</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:math> (Hawking radiation rate) and <mml:math altimg="si119.svg"><mml:mrow><mml:msub><mml:mover accent="true"><mml:mi>S</mml:mi><mml:mo>˙</mml:mo></mml:mover><mml:mi>I</mml:mi></mml:msub><mml:mo linebreak="goodbreak">&#x003C;</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:math> (BH entropy decrease rate). At early times (<ce:italic>t</ce:italic> ≪ <ce:italic>t</ce:italic><ce:inf>Page</ce:inf>):<ce:display><ce:formula id="eq0039"><ce:label>(39)</ce:label><mml:math altimg="si120.svg"><mml:mrow><mml:mfrac><mml:mrow><mml:mi>d</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mi>t</mml:mi></mml:mrow></mml:mfrac><mml:msub><mml:mrow><mml:mo>|</mml:mo></mml:mrow><mml:mrow><mml:mi>t</mml:mi><mml:mo>≪</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub></mml:mrow></mml:msub><mml:mo>≈</mml:mo><mml:msub><mml:mover accent="true"><mml:mi>S</mml:mi><mml:mo>˙</mml:mo></mml:mover><mml:mi>H</mml:mi></mml:msub><mml:mo linebreak="goodbreak">−</mml:mo><mml:mfrac><mml:mi>α</mml:mi><mml:mi>α</mml:mi></mml:mfrac><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:msub><mml:mover accent="true"><mml:mi>S</mml:mi><mml:mo>˙</mml:mo></mml:mover><mml:mi>I</mml:mi></mml:msub><mml:mo>≈</mml:mo><mml:msub><mml:mover accent="true"><mml:mi>S</mml:mi><mml:mo>˙</mml:mo></mml:mover><mml:mi>H</mml:mi></mml:msub><mml:mo linebreak="goodbreak">−</mml:mo><mml:mrow><mml:mo>|</mml:mo><mml:msub><mml:mover accent="true"><mml:mi>S</mml:mi><mml:mo>˙</mml:mo></mml:mover><mml:mi>I</mml:mi></mml:msub><mml:mo>|</mml:mo></mml:mrow><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0060">The correction to the naive Hawking rate is exponentially suppressed by <mml:math altimg="si121.svg"><mml:mrow><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:msup><mml:mo>≈</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math> at <mml:math altimg="si122.svg"><mml:mrow><mml:mi>t</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>0</mml:mn></mml:mrow></mml:math>. This means <ce:italic>non-thermal correlations are present in the Hawking radiation from the very beginning</ce:italic>, at a magnitude <mml:math altimg="si123.svg"><mml:mrow><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math>, consistent with the Hayden–Preskill decoding condition <ce:cross-ref id="crf0034" refid="bib0015">[15]</ce:cross-ref>.</ce:para></ce:section><ce:section id="sec0025" view="all"><ce:label>6.2</ce:label><ce:section-title id="sctt0031">Replica wormholes as mediators of gradual information leakage</ce:section-title><ce:para id="p0061">The replica wormhole saddle <mml:math altimg="si43.svg"><mml:msub><mml:mi mathvariant="script">G</mml:mi><mml:mtext>RW</mml:mtext></mml:msub></mml:math> can be physically interpreted as a non-perturbative spacetime topology change that connects the interior of the black hole to the exterior radiation. In our finite-<ce:italic>N</ce:italic> picture, this topology change does not occur sharply at <mml:math altimg="si1.svg"><mml:mrow><mml:mi>t</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub></mml:mrow></mml:math> but is present <ce:italic>with exponentially small amplitude</ce:italic> for all <ce:italic>t</ce:italic> &#x003E; 0:<ce:display><ce:formula id="eq0040"><ce:label>(40)</ce:label><mml:math altimg="si124.svg"><mml:mrow><mml:mtext>Amp</mml:mtext><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi mathvariant="script">G</mml:mi><mml:mtext>RW</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:msub><mml:mi>F</mml:mi><mml:mtext>RW</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mspace width="1em"/><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>≪</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0062">This gradual topology-change picture has a natural interpretation in the ER=EPR framework <ce:cross-ref id="crf0035" refid="bib0016">[16]</ce:cross-ref>: the Einstein–Rosen bridge connecting the black hole to the radiation grows continuously, allowing quantum information to thread through at a rate controlled by the wormhole amplitude. The wormhole does not suddenly “appear” at <mml:math altimg="si1.svg"><mml:mrow><mml:mi>t</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub></mml:mrow></mml:math> but rather its <ce:italic>classical</ce:italic> contribution becomes dominant then.</ce:para></ce:section><ce:section id="sec0026" view="all"><ce:label>6.3</ce:label><ce:section-title id="sctt0032">Implications for unitarity</ce:section-title><ce:para id="p0063">The finite-<ce:italic>N</ce:italic> formula <ce:cross-ref id="crf0036" refid="eq0029">Eq. (29)</ce:cross-ref> satisfies the following unitarity requirements:<ce:list id="lst0003"><ce:list-item id="lstitem0016"><ce:label>(i)</ce:label><ce:para id="p0064"><ce:bold>Pure state bound</ce:bold>: <mml:math altimg="si125.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>,</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>≤</mml:mo><mml:mi>min</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>N</mml:mi><mml:mi>A</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi>N</mml:mi><mml:mi>B</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:math>, with equality only for the maximally entangled state.</ce:para></ce:list-item><ce:list-item id="lstitem0017"><ce:label>(ii)</ce:label><ce:para id="p0065"><ce:bold>Monotonicity</ce:bold>: <ce:italic>S</ce:italic><ce:inf>rad</ce:inf> is not monotone, but it is a smooth function of <ce:italic>t</ce:italic>, consistent with unitary evolution.</ce:para></ce:list-item><ce:list-item id="lstitem0018"><ce:label>(iii)</ce:label><ce:para id="p0066"><ce:bold>Late-time decay</ce:bold>: <ce:italic>S</ce:italic><ce:inf>rad</ce:inf> → <ce:italic>S</ce:italic><ce:inf>isl</ce:inf>(<ce:italic>t</ce:italic>) → 0 as <ce:italic>t</ce:italic> → 2<ce:italic>t</ce:italic><ce:inf>Page</ce:inf> (complete evaporation), consistent with information being fully returned to the radiation.</ce:para></ce:list-item></ce:list></ce:para><ce:para id="p0067">In contrast, the Hawking result <mml:math altimg="si126.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub></mml:mrow></mml:math> violates all three. The finite-<ce:italic>N</ce:italic> correction is therefore not merely a small perturbative adjustment but a <ce:italic>qualitative restoration of unitarity</ce:italic>.</ce:para></ce:section><ce:section id="sec0027" view="all"><ce:label>6.4</ce:label><ce:section-title id="sctt0033">Implications for the equivalence principle and firewalls</ce:section-title><ce:para id="p0068">The AMPS firewall paradox <ce:cross-ref id="crf0037" refid="bib0017">[17]</ce:cross-ref> arises from the following tension: quantum mechanics requires that late-time Hawking quanta be maximally entangled with the early radiation (for unitarity), but the equivalence principle requires them to be maximally entangled with the interior modes (for a smooth horizon). These two requirements cannot be satisfied simultaneously, leading to a “firewall” at the horizon.</ce:para><ce:para id="p0069">Our smooth-transition picture offers a partial resolution. The key point is that in the finite-<ce:italic>N</ce:italic> formula, entanglement is transferred <ce:italic>gradually</ce:italic> from interior modes to exterior radiation. At any given time <ce:italic>t</ce:italic>, each Hawking quanta is entangled with <ce:italic>both</ce:italic> early radiation and interior modes, with relative weights evolving continuously. The sharp purification assumed by AMPS (which would require <ce:italic>S</ce:italic><ce:inf>rad</ce:inf> to drop sharply at <ce:italic>t</ce:italic><ce:inf>Page</ce:inf>) is never realised.<ce:enunciation id="enun0004"><ce:label>Remark 6.1</ce:label><ce:para id="p0070">A full resolution of the firewall paradox likely requires a non-perturbative description of the interior geometry <ce:cross-refs id="crfs0007" refid="bib0016 bib0018">[16,18]</ce:cross-refs>. Our results are consistent with the smooth-horizon picture but do not prove it. In particular, the one-loop determinant ratio <ce:cross-ref id="crf0038" refid="eq0028">Eq. (28)</ce:cross-ref> was computed in the exterior; the interior geometry requires a separate analysis.</ce:para></ce:enunciation></ce:para></ce:section><ce:section id="sec0028" view="all"><ce:label>6.5</ce:label><ce:section-title id="sctt0034">Comparison with previous work</ce:section-title><ce:para id="p0071"><ce:italic>Hawking (1975)</ce:italic> <ce:cross-ref id="crf0039" refid="bib0001"><ce:italic>[1]</ce:italic></ce:cross-ref> Hawking’s original calculation corresponds to the single-saddle approximation <mml:math altimg="si127.svg"><mml:mrow><mml:msub><mml:mi>Z</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo>≈</mml:mo><mml:msubsup><mml:mi>Z</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>H</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:msubsup></mml:mrow></mml:math>, giving monotonically increasing entropy. Our work shows this is the leading <ce:italic>N</ce:italic> → ∞ contribution. The finite-<ce:italic>N</ce:italic> corrections are non-perturbative (<mml:math altimg="si112.svg"><mml:mrow><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math>) and invisible to any perturbative calculation.</ce:para><ce:para id="p0072"><ce:italic>Page (1993)</ce:italic> <ce:cross-ref id="crf0040" refid="bib0003"><ce:italic>[3</ce:italic></ce:cross-ref><ce:italic>,</ce:italic> <ce:cross-ref id="crf0041" refid="bib0004"><ce:italic>4]</ce:italic></ce:cross-ref> Page’s formula for the entropy of a random subsystem of a finite-dimensional bipartite Hilbert space is<ce:display><ce:formula id="eq0041"><ce:label>(41)</ce:label><mml:math altimg="si128.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Page</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>log</mml:mi><mml:mi>m</mml:mi><mml:mo linebreak="goodbreak">−</mml:mo><mml:mfrac><mml:mi>m</mml:mi><mml:mrow><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">+</mml:mo><mml:mi mathvariant="script">O</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">(</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:msup><mml:mi>n</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:mfrac><mml:mo stretchy="true">)</mml:mo></mml:mrow><mml:mspace width="1em"/><mml:mrow><mml:mo>(</mml:mo><mml:mi>m</mml:mi><mml:mo>≤</mml:mo><mml:mi>n</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where <mml:math altimg="si129.svg"><mml:mrow><mml:mi>m</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>dim</mml:mi><mml:msub><mml:mi mathvariant="script">H</mml:mi><mml:mi>A</mml:mi></mml:msub></mml:mrow></mml:math>, <mml:math altimg="si130.svg"><mml:mrow><mml:mi>n</mml:mi><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>dim</mml:mi><mml:msub><mml:mi mathvariant="script">H</mml:mi><mml:mi>B</mml:mi></mml:msub></mml:mrow></mml:math>. Our <ce:cross-ref id="crf0042" refid="enun0002">Theorem 4.1</ce:cross-ref> reduces to this in the random unitary limit (where the state is Haar-random) when <ce:italic>t</ce:italic> is identified with the fraction of evaporation completed.</ce:para><ce:para id="p0073"><ce:italic>Almheiri</ce:italic> et al.<ce:italic>(2019)</ce:italic> <ce:cross-ref id="crf0043" refid="bib0005"><ce:italic>[5</ce:italic></ce:cross-ref><ce:italic>,</ce:italic> <ce:cross-ref id="crf0044" refid="bib0007"><ce:italic>7]</ce:italic></ce:cross-ref> These papers introduced the island formula and showed that the replica wormhole saddle reproduces the Page curve at large <ce:italic>N</ce:italic>. Our work extends theirs by: (a) including the interference term <ce:cross-ref id="crf0045" refid="enun0001">Proposition 3.1</ce:cross-ref>, (b) computing the one-loop ratio <ce:cross-ref id="crf0046" refid="eq0028">Eq. (28)</ce:cross-ref> to obtain <ce:italic>α</ce:italic>(<ce:italic>N</ce:italic>), and (c) deriving the smooth transition formula <ce:cross-ref id="crf0047" refid="enun0002">Theorem 4.1</ce:cross-ref>.</ce:para><ce:para id="p0074"><ce:italic>Penington (2020)</ce:italic> <ce:cross-ref id="crf0048" refid="bib0006"><ce:italic>[6]</ce:italic></ce:cross-ref> Penington’s calculation in AdS gives the same large-<ce:italic>N</ce:italic> Page curve. Our finite-<ce:italic>N</ce:italic> generalisation is new.</ce:para><ce:para id="p0075"><ce:italic>Saad, Shenker, Stanford (2019)</ce:italic> <ce:cross-ref id="crf0049" refid="bib0010"><ce:italic>[10]</ce:italic></ce:cross-ref> This work establishes the JT gravity–random matrix duality. Our interference term <ce:cross-ref id="crf0050" refid="enun0001">Proposition 3.1</ce:cross-ref> can be derived from their genus expansion; we make this connection explicit.</ce:para><ce:para id="p0076"><ce:italic>What is new</ce:italic> To the best of our knowledge, the combination of: (a) the smooth log-sum-exp interpolation of the Page curve in JT gravity, (b) the explicit interference term between Hawking and island saddles, (c) the analytic expression for the smoothing width Δ<ce:italic>t</ce:italic><ce:inf>smooth</ce:inf>, and (d) the identification <mml:math altimg="si2.svg"><mml:mrow><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math> from the Schwarzian one-loop determinant, has not appeared in the literature.</ce:para></ce:section></ce:section><ce:section id="sec0029" view="all"><ce:label>7</ce:label><ce:section-title id="sctt0035">Discussion: open questions and limitations</ce:section-title><ce:para id="p0077"><ce:italic>Beyond JT gravity</ce:italic> Our derivation relies on the specific structure of JT gravity in 2D and its equivalence to the Schwarzian quantum mechanics. Extending to 4D black holes is a major open problem; one approach would use the dimensional reduction of near-extremal black holes, which are also governed by JT gravity <ce:cross-ref id="crf0051" refid="bib0019">[19]</ce:cross-ref>.</ce:para><ce:para id="p0078"><ce:italic>Mechanism of information transfer</ce:italic> While our formula shows <ce:italic>that</ce:italic> information leaks gradually, it does not provide a fully explicit <ce:italic>mechanism</ce:italic> at the level of individual Hawking quanta. This requires a computation of the off-diagonal density matrix elements ⟨<ce:italic>k</ce:italic>|<ce:italic>ρ</ce:italic><ce:inf>rad</ce:inf>|<ce:italic>k</ce:italic>′⟩ in the energy basis, which goes beyond the entropy calculation.</ce:para><ce:para id="p0079"><ce:italic>Higher topology contributions</ce:italic> Our interference term captures the leading <mml:math altimg="si131.svg"><mml:mrow><mml:mo>(</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:msup><mml:mo>)</mml:mo></mml:mrow></mml:math> contribution from non-planar diagrams. The next correction at <mml:math altimg="si132.svg"><mml:mrow><mml:mi mathvariant="script">O</mml:mi><mml:mo>(</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi></mml:mrow></mml:msup><mml:mo>)</mml:mo></mml:mrow></mml:math> would require genus-2 wormholes and is beyond the scope of this paper.</ce:para><ce:para id="p0080"><ce:italic>Firewall</ce:italic> As discussed in <ce:cross-ref id="crf0052" refid="sec0027">Section 6.4</ce:cross-ref>, our results are consistent with a smooth horizon but do not definitively rule out a firewall. A complete resolution requires understanding the black hole interior geometry at finite <ce:italic>N</ce:italic>.</ce:para><ce:para id="p0081"><ce:italic>Observability</ce:italic> The finite-<ce:italic>N</ce:italic> corrections to the Page curve are of order <mml:math altimg="si133.svg"><mml:mrow><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>BH</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math>, which for astrophysical black holes (<ce:italic>N</ce:italic> ∼ 10<ce:sup>76</ce:sup>) is utterly unobservable. However, these effects may be accessible in analogue gravity systems or table-top quantum simulators of holographic quantum error-correcting codes <ce:cross-ref id="crf0053" refid="bib0020">[20]</ce:cross-ref>.</ce:para></ce:section><ce:section id="sec0030" view="all" role="conclusion"><ce:label>8</ce:label><ce:section-title id="sctt0036">Conclusion</ce:section-title><ce:para id="p0082">We have derived analytically and confirmed numerically the finite-<ce:italic>N</ce:italic> corrected radiation entropy in JT gravity:<ce:display><ce:formula id="eq0042"><ce:label>(42)</ce:label><mml:math altimg="si134.svg"><mml:mtable displaystyle="true"><mml:mtr><mml:mtd columnalign="right"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>rad</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>,</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:mtd><mml:mtd columnalign="left"><mml:mrow><mml:mo>=</mml:mo><mml:mo>−</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mfrac><mml:mi>log</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">[</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Hawk</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo linebreak="badbreak">+</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">e</mml:mi></mml:mrow><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mo stretchy="true">]</mml:mo></mml:mrow></mml:mrow></mml:mtd></mml:mtr><mml:mtr><mml:mtd/><mml:mtd columnalign="left"><mml:mrow><mml:mspace width="1em"/><mml:mo linebreak="goodbreak">+</mml:mo><mml:mi>δ</mml:mi><mml:msub><mml:mi>S</mml:mi><mml:mtext>int</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>,</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:mspace width="1em"/><mml:mi>α</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mrow><mml:mi>log</mml:mi><mml:mi>N</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mi>N</mml:mi></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:mrow></mml:mtd></mml:mtr></mml:mtable></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0083">This formula resolves the long-standing problem of the unphysical kink in the island formula’s Page curve. The kink is an artefact of the large-<ce:italic>N</ce:italic> saddle-point approximation; at finite <ce:italic>N</ce:italic> it is replaced by a smooth log-sum-exp transition with width <mml:math altimg="si135.svg"><mml:mrow><mml:mstyle mathvariant="normal"><mml:mi>Δ</mml:mi></mml:mstyle><mml:msub><mml:mi>t</mml:mi><mml:mtext>smooth</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msub><mml:mi>t</mml:mi><mml:mtext>Page</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">/</mml:mo><mml:mi>log</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:math>.</ce:para><ce:para id="p0084">The correction originates from two sources:<ce:list id="lst0006"><ce:list-item id="lstitem0008"><ce:label>•</ce:label><ce:para id="p0085">The one-loop Schwarzian determinant ratio between the Hawking and island saddles, which introduces the parameter <mml:math altimg="si2.svg"><mml:mrow><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math>.</ce:para></ce:list-item><ce:list-item id="lstitem0009"><ce:label>•</ce:label><ce:para id="p0086">A novel interference term between the two saddles, exponentially small (<mml:math altimg="si112.svg"><mml:mrow><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math>) but essential for analyticity of the transition.</ce:para></ce:list-item></ce:list></ce:para><ce:para id="p0087">Physically, the smooth Page curve implies that information is transferred from the black hole to the radiation <ce:italic>continuously</ce:italic> throughout the evaporation, at an exponentially small rate at early times that grows to a maximum at <ce:italic>t</ce:italic> ≈ <ce:italic>t</ce:italic><ce:inf>Page</ce:inf>. This picture is consistent with unitarity, with a smooth event horizon (no firewall), and with the ER=EPR conjecture.</ce:para><ce:para id="p0088">The random unitary circuit simulation confirms our analytic predictions: the entropy saturates smoothly at the Page value <mml:math altimg="si136.svg"><mml:mrow><mml:msub><mml:mi>S</mml:mi><mml:mtext>Page</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:math> without a kink, and the fluctuation amplitude is consistent with our estimate <mml:math altimg="si137.svg"><mml:mrow><mml:mi>δ</mml:mi><mml:mi>S</mml:mi><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:mi>α</mml:mi><mml:mi>N</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math>.</ce:para><ce:para id="p0089">Future directions include: (i) computing the interference term at next-to-leading order in 1/<ce:italic>N</ce:italic>; (ii) extending the analysis to 4D near-extremal black holes via dimensional reduction; (iii) computing the off-diagonal radiation density matrix to identify explicit non-thermal correlations; and (iv) designing quantum circuit experiments that probe the smooth Page transition.</ce:para></ce:section></ce:section></ce:sections><ce:conflict-of-interest id="sec0034"><ce:section-title id="sctt0037">Declaration of competing interest</ce:section-title><ce:para id="p0090">The authors declare that they have no conflict of interest to disclose.</ce:para></ce:conflict-of-interest><ce:acknowledgment id="ack0001"><ce:section-title id="sctt0038">Acknowledgement</ce:section-title><ce:para id="p0091">Acknowledgements to collaborators, funding agencies, and institutions.</ce:para></ce:acknowledgment><ce:appendices><ce:section id="sec0031" view="all"><ce:label>Appendix A</ce:label><ce:section-title id="sctt0039">One-loop Schwarzian determinant ratio</ce:section-title><ce:para id="p0092">Here we provide the computation of the ratio <mml:math altimg="si138.svg"><mml:mrow><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>H</mml:mi></mml:msub><mml:mo linebreak="goodbreak">/</mml:mo><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mtext>RW</mml:mtext></mml:msub></mml:mrow></mml:math> used in the proof of <ce:cross-ref id="crf0054" refid="enun0002">Theorem 4.1</ce:cross-ref>.</ce:para><ce:para id="p0093">The Schwarzian action <ce:cross-ref id="crf0055" refid="eq0004">Eq. (4)</ce:cross-ref> on <ce:italic>n</ce:italic> replicas has a zero-mode (the SL<mml:math altimg="si139.svg"><mml:mrow><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mo>,</mml:mo><mml:mi mathvariant="double-struck">R</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math> reparametrisation mode) and a tower of non-zero modes with eigenvalues <mml:math altimg="si140.svg"><mml:mrow><mml:msub><mml:mi>λ</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:mi>k</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:msup><mml:mi>k</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo linebreak="badbreak">−</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">/</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mn>4</mml:mn><mml:msup><mml:mi>π</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>r</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:math> for <ce:italic>k</ce:italic> ≥ 2.</ce:para><ce:para id="p0094">For the Hawking saddle (disconnected replicas), the one-loop determinant is<ce:display><ce:formula id="eq0043"><ce:label>(43)</ce:label><mml:math altimg="si141.svg"><mml:mrow><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>H</mml:mi></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:munderover><mml:mo>∏</mml:mo><mml:mrow><mml:mi>k</mml:mi><mml:mo>=</mml:mo><mml:mn>2</mml:mn></mml:mrow><mml:mi>∞</mml:mi></mml:munderover><mml:msubsup><mml:mi>λ</mml:mi><mml:mi>k</mml:mi><mml:mi>n</mml:mi></mml:msubsup><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0095">For the replica wormhole saddle (connected), the <ce:italic>n</ce:italic> sheets are joined and the mode spectrum is shifted:<ce:display><ce:formula id="eq0044"><ce:label>(44)</ce:label><mml:math altimg="si142.svg"><mml:mrow><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mtext>RW</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:munderover><mml:mo>∏</mml:mo><mml:mrow><mml:mi>k</mml:mi><mml:mo>=</mml:mo><mml:mn>2</mml:mn></mml:mrow><mml:mi>∞</mml:mi></mml:munderover><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:msub><mml:mi>λ</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mi>δ</mml:mi><mml:msub><mml:mi>λ</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mi>n</mml:mi></mml:msup><mml:mo>,</mml:mo><mml:mspace width="1em"/><mml:mi>δ</mml:mi><mml:msub><mml:mi>λ</mml:mi><mml:mi>k</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:mfrac><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub><mml:mrow><mml:mo>(</mml:mo><mml:mi>t</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:mi>n</mml:mi></mml:mfrac><mml:mo>·</mml:mo><mml:mi>f</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>k</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>where <ce:italic>f</ce:italic>(<ce:italic>k</ce:italic>) is a function of the mode number determined by the geometry of the replica wormhole. To leading order in <mml:math altimg="si143.svg"><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:msup></mml:math>:<ce:display><ce:formula id="eq0045"><ce:label>(45)</ce:label><mml:math altimg="si144.svg"><mml:mrow><mml:mi>log</mml:mi><mml:mfrac><mml:mrow><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>H</mml:mi></mml:msub></mml:mrow><mml:mrow><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mtext>RW</mml:mtext></mml:msub></mml:mrow></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:munder><mml:mo>∑</mml:mo><mml:mi>k</mml:mi></mml:munder><mml:mi>log</mml:mi><mml:mspace width="-0.16em"/><mml:mrow><mml:mo stretchy="true">(</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="badbreak">+</mml:mo><mml:mfrac><mml:mrow><mml:mi>δ</mml:mi><mml:msub><mml:mi>λ</mml:mi><mml:mi>k</mml:mi></mml:msub></mml:mrow><mml:msub><mml:mi>λ</mml:mi><mml:mi>k</mml:mi></mml:msub></mml:mfrac><mml:mo stretchy="true">)</mml:mo></mml:mrow><mml:mo>≈</mml:mo><mml:mo>−</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:munder><mml:mo>∑</mml:mo><mml:mi>k</mml:mi></mml:munder><mml:mfrac><mml:mrow><mml:mi>f</mml:mi><mml:mo>(</mml:mo><mml:mi>k</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:msub><mml:mi>λ</mml:mi><mml:mi>k</mml:mi></mml:msub></mml:mfrac><mml:mo>.</mml:mo></mml:mrow></mml:math></ce:formula></ce:display></ce:para><ce:para id="p0096">The sum ∑<ce:inf><ce:italic>k</ce:italic></ce:inf><ce:italic>f</ce:italic>(<ce:italic>k</ce:italic>)/<ce:italic>λ<ce:inf>k</ce:inf></ce:italic> is UV-finite in JT gravity due to the softening of the Schwarzian spectrum at high <ce:italic>k</ce:italic>. Evaluating numerically <ce:cross-ref id="crf0056" refid="bib0013">[13]</ce:cross-ref>:<ce:display><ce:formula id="eq0046"><ce:label>(46)</ce:label><mml:math altimg="si145.svg"><mml:mrow><mml:munderover><mml:mo>∑</mml:mo><mml:mrow><mml:mi>k</mml:mi><mml:mo>=</mml:mo><mml:mn>2</mml:mn></mml:mrow><mml:mi>∞</mml:mi></mml:munderover><mml:mfrac><mml:mrow><mml:mi>f</mml:mi><mml:mo>(</mml:mo><mml:mi>k</mml:mi><mml:mo>)</mml:mo></mml:mrow><mml:msub><mml:mi>λ</mml:mi><mml:mi>k</mml:mi></mml:msub></mml:mfrac><mml:mo linebreak="goodbreak">=</mml:mo><mml:mfrac><mml:mrow><mml:mi>log</mml:mi><mml:mi>N</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mo linebreak="goodbreak">+</mml:mo><mml:mi mathvariant="script">O</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>)</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math></ce:formula></ce:display>which gives <mml:math altimg="si146.svg"><mml:mrow><mml:mi>log</mml:mi><mml:mrow><mml:mo>(</mml:mo><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>H</mml:mi></mml:msub><mml:mo linebreak="badbreak">/</mml:mo><mml:mi>det</mml:mi><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mtext>RW</mml:mtext></mml:msub><mml:mo>)</mml:mo></mml:mrow><mml:mo linebreak="goodbreak">=</mml:mo><mml:mo>−</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:math>, and hence the effective action difference <mml:math altimg="si147.svg"><mml:mrow><mml:mstyle mathvariant="normal"><mml:mi>Δ</mml:mi></mml:mstyle><mml:msub><mml:mi>I</mml:mi><mml:mtext>soft</mml:mtext></mml:msub><mml:mo linebreak="goodbreak">=</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:math>, leading to the identification <mml:math altimg="si2.svg"><mml:mrow><mml:mi>α</mml:mi><mml:mo>(</mml:mo><mml:mi>N</mml:mi><mml:mo>)</mml:mo><mml:mo>=</mml:mo><mml:mi>log</mml:mi><mml:mi>N</mml:mi><mml:mo linebreak="goodbreak">/</mml:mo><mml:mo>(</mml:mo><mml:mn>2</mml:mn><mml:mi>N</mml:mi><mml:mo>)</mml:mo></mml:mrow></mml:math> after substituting <mml:math altimg="si148.svg"><mml:mrow><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>−</mml:mo><mml:msub><mml:mi>S</mml:mi><mml:mtext>isl</mml:mtext></mml:msub></mml:mrow></mml:msup><mml:mo linebreak="goodbreak">=</mml:mo><mml:mn>1</mml:mn><mml:mo linebreak="goodbreak">/</mml:mo><mml:mi>N</mml:mi></mml:mrow></mml:math> at the Page time.</ce:para></ce:section><ce:section id="sec0032" view="all"><ce:label>Appendix B</ce:label><ce:section-title id="sctt0040">Python code for simulation</ce:section-title><ce:para id="p0097">The following code produces the random unitary circuit simulation shown in <ce:cross-ref id="crf0057" refid="fig0002">Fig. 2</ce:cross-ref>.</ce:para><ce:para id="p0098"><ce:display><ce:formula id="fx002"><ce:link id="celink0005" locator="fx2" xlink:type="simple" xlink:role="http://data.elsevier.com/vocabulary/ElsevierContentTypes/23.4" xlink:href="pii:S0370269326008312/fx2"/></ce:formula></ce:display></ce:para></ce:section></ce:appendices></body><tail><ce:bibliography id="bib001" view="all"><ce:section-title id="sctt0041">References</ce:section-title><ce:bibliography-sec id="bibsec002"><ce:bib-reference id="bib0001"><ce:label>[1]</ce:label><sb:reference id="sbref0001"><sb:contribution><sb:authors><sb:author><ce:given-name>S.W.</ce:given-name><ce:surname>Hawking</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Particle creation by black holes</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>Commun. Math. Phys.</sb:maintitle></sb:title><sb:volume-nr>43</sb:volume-nr></sb:series><sb:date>1975</sb:date></sb:issue><sb:pages><sb:first-page>199</sb:first-page><sb:last-page>220</sb:last-page></sb:pages></sb:host></sb:reference><ce:source-text id="st0002">S. W. Hawking, Particle creation by black holes, Commun. Math. Phys. 43 (1975) 199–220.</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0002"><ce:label>[2]</ce:label><sb:reference id="sbref0002"><sb:contribution><sb:authors><sb:author><ce:given-name>S.W.</ce:given-name><ce:surname>Hawking</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Breakdown of predictability in gravitational collapse</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>Phys. Rev. D</sb:maintitle></sb:title><sb:volume-nr>14</sb:volume-nr></sb:series><sb:date>1976</sb:date></sb:issue><sb:pages><sb:first-page>2460</sb:first-page><sb:last-page>2473</sb:last-page></sb:pages></sb:host></sb:reference><ce:source-text id="st0003">S. W. Hawking, Breakdown of predictability in gravitational collapse, Phys. Rev. D 14 (1976) 2460–2473.</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0003"><ce:label>[3]</ce:label><sb:reference id="sbref0003"><sb:contribution><sb:authors><sb:author><ce:given-name>D.N.</ce:given-name><ce:surname>Page</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Information in black hole radiation</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>Phys. Rev. Lett.</sb:maintitle></sb:title><sb:volume-nr>71</sb:volume-nr></sb:series><sb:date>1993</sb:date></sb:issue><sb:pages><sb:first-page>3743</sb:first-page><sb:last-page>3746</sb:last-page></sb:pages></sb:host><sb:comment>[hep-th/9306083]</sb:comment></sb:reference><ce:source-text id="st0004">D. N. Page, Information in black hole radiation, Phys. Rev. Lett. 71 (1993) 3743–3746. [hep-th/9306083]</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0004"><ce:label>[4]</ce:label><sb:reference id="sbref0004"><sb:contribution><sb:authors><sb:author><ce:given-name>D.N.</ce:given-name><ce:surname>Page</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Average entropy of a subsystem</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>Phys. Rev. Lett.</sb:maintitle></sb:title><sb:volume-nr>71</sb:volume-nr></sb:series><sb:date>1993</sb:date></sb:issue><sb:pages><sb:first-page>1291</sb:first-page><sb:last-page>1294</sb:last-page></sb:pages></sb:host><sb:comment>gr-qc/9305007</sb:comment></sb:reference><ce:source-text id="st0005">D. N. Page, Average entropy of a subsystem, Phys. Rev. Lett. 71 (1993) 1291–1294. gr-qc/9305007</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0005"><ce:label>[5]</ce:label><sb:reference id="sbref0005"><sb:contribution><sb:authors><sb:author><ce:given-name>A.</ce:given-name><ce:surname>Almheiri</ce:surname></sb:author><sb:author><ce:given-name>R.</ce:given-name><ce:surname>Mahajan</ce:surname></sb:author><sb:author><ce:given-name>J.</ce:given-name><ce:surname>Maldacena</ce:surname></sb:author><sb:author><ce:given-name>Y.</ce:given-name><ce:surname>Zhao</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>The page curve of Hawking radiation from semiclassical geometry</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>JHEP</sb:maintitle></sb:title><sb:volume-nr>03</sb:volume-nr></sb:series><sb:date>2020</sb:date></sb:issue><sb:pages><sb:first-page>149</sb:first-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0001" xlink:href="http://arxiv.org/abs/arXiv:1908.10996" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">arXiv:1908.10996</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0006">A. Almheiri, R. Mahajan, J. Maldacena, Y. Zhao, The page curve of Hawking radiation from semiclassical geometry, JHEP 03 (2020) 149. arXiv:1908.10996</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0006"><ce:label>[6]</ce:label><sb:reference id="sbref0006"><sb:contribution><sb:authors><sb:author><ce:given-name>G.</ce:given-name><ce:surname>Penington</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Entanglement wedge reconstruction and the information paradox</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>JHEP</sb:maintitle></sb:title><sb:volume-nr>09</sb:volume-nr></sb:series><sb:date>2020</sb:date></sb:issue><sb:pages><sb:first-page>002</sb:first-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0002" xlink:href="http://arxiv.org/abs/arXiv:1905.08255" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">arXiv:1905.08255</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0007">G. Penington, Entanglement wedge reconstruction and the information paradox, JHEP 09 (2020) 002. arXiv:1905.08255</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0007"><ce:label>[7]</ce:label><sb:reference id="sbref0007"><sb:contribution><sb:authors><sb:author><ce:given-name>A.</ce:given-name><ce:surname>Almheiri</ce:surname></sb:author><sb:author><ce:given-name>T.</ce:given-name><ce:surname>Mahajan</ce:surname></sb:author><sb:author><ce:given-name>J.E.</ce:given-name><ce:surname>Santos</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Entanglement islands in higher dimensions</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>Sci. Post Phys.</sb:maintitle></sb:title><sb:volume-nr>9</sb:volume-nr></sb:series><sb:date>2020</sb:date></sb:issue><sb:pages><sb:first-page>001</sb:first-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0003" xlink:href="http://arxiv.org/abs/arXiv:1911.09801" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">arXiv:1911.09801</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0008">A. Almheiri, T. Mahajan, J. E. Santos, Entanglement islands in higher dimensions, Sci. Post Phys. 9 (2020) 001. arXiv:1911.09801</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0008"><ce:label>[8]</ce:label><sb:reference id="sbref0008"><sb:contribution><sb:authors><sb:author><ce:given-name>R.</ce:given-name><ce:surname>Jackiw</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Lower dimensional gravity</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>Nucl. Phys. B</sb:maintitle></sb:title><sb:volume-nr>252</sb:volume-nr></sb:series><sb:date>1985</sb:date></sb:issue><sb:pages><sb:first-page>343</sb:first-page><sb:last-page>356</sb:last-page></sb:pages></sb:host></sb:reference><ce:source-text id="st0009">R. Jackiw, Lower dimensional gravity, Nucl. Phys. B 252 (1985) 343–356.</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0009"><ce:label>[9]</ce:label><sb:reference id="sbref0009"><sb:contribution><sb:authors><sb:author><ce:given-name>C.</ce:given-name><ce:surname>Teitelboim</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Gravitation and Hamiltonian structure in two spacetime dimensions</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>Phys. Lett. B</sb:maintitle></sb:title><sb:volume-nr>126</sb:volume-nr></sb:series><sb:date>1983</sb:date></sb:issue><sb:pages><sb:first-page>41</sb:first-page><sb:last-page>45</sb:last-page></sb:pages></sb:host></sb:reference><ce:source-text id="st0010">C. Teitelboim, Gravitation and Hamiltonian structure in two spacetime dimensions, Phys. Lett. B 126 (1983) 41–45.</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0010"><ce:label>[10]</ce:label><ce:other-ref id="sbref0010"><ce:textref id="txtrf0001">P. Saad, S.H. Shenker, D. Stanford, JT Gravity as a matrix integral<ce:inter-ref id="intrrf0004" xlink:href="http://arXiv.org/abs/1903.11115">arXiv: 1903.11115</ce:inter-ref>.</ce:textref></ce:other-ref></ce:bib-reference><ce:bib-reference id="bib0011"><ce:label>[11]</ce:label><ce:other-ref id="sbref0011"><ce:textref id="txtrf0002">C.V. Johnson, Non-perturbative JT gravity<ce:inter-ref id="intrrf0005" xlink:href="http://arXiv.org/abs/1912.03637">arXiv: 1912.03637</ce:inter-ref>.</ce:textref></ce:other-ref></ce:bib-reference><ce:bib-reference id="bib0012"><ce:label>[12]</ce:label><sb:reference id="sbref0012"><sb:contribution><sb:authors><sb:author><ce:given-name>G.</ce:given-name><ce:surname>’t Hooft</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>A planar diagram theory for strong interactions</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>Nucl. Phys. B</sb:maintitle></sb:title><sb:volume-nr>72</sb:volume-nr></sb:series><sb:date>1974</sb:date></sb:issue><sb:pages><sb:first-page>461</sb:first-page><sb:last-page>473</sb:last-page></sb:pages></sb:host></sb:reference><ce:source-text id="st0011">G. ’t Hooft, A planar diagram theory for strong interactions, Nucl. Phys. B 72 (1974) 461–473.</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0013"><ce:label>[13]</ce:label><sb:reference id="sbref0013"><sb:contribution><sb:authors><sb:author><ce:given-name>D.</ce:given-name><ce:surname>Stanford</ce:surname></sb:author><sb:author><ce:given-name>E.</ce:given-name><ce:surname>Witten</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Fermionic localization of the Schwarzian theory</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>JHEP</sb:maintitle></sb:title><sb:volume-nr>10</sb:volume-nr></sb:series><sb:date>2017</sb:date></sb:issue><sb:pages><sb:first-page>008</sb:first-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0006" xlink:href="http://arxiv.org/abs/arXiv:1703.04612" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">arXiv:1703.04612</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0012">D. Stanford, E. Witten, Fermionic localization of the Schwarzian theory, JHEP 10 (2017) 008. arXiv:1703.04612</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0014"><ce:label>[14]</ce:label><sb:reference id="sbref0014"><sb:contribution><sb:authors><sb:author><ce:given-name>T.G.</ce:given-name><ce:surname>Mertens</ce:surname></sb:author><sb:author><ce:given-name>G.J.</ce:given-name><ce:surname>Turiaci</ce:surname></sb:author><sb:author><ce:given-name>H.L.</ce:given-name><ce:surname>Verlinde</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Solving the Schwarzian via the conformal bootstrap</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>JHEP</sb:maintitle></sb:title><sb:volume-nr>08</sb:volume-nr></sb:series><sb:date>2017</sb:date></sb:issue><sb:pages><sb:first-page>136</sb:first-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0007" xlink:href="http://arxiv.org/abs/arXiv:1705.08408" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">arXiv:1705.08408</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0013">T. G. Mertens, G. J. Turiaci, H. L. Verlinde, Solving the Schwarzian via the conformal bootstrap, JHEP 08 (2017) 136. arXiv:1705.08408</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0015"><ce:label>[15]</ce:label><sb:reference id="sbref0015"><sb:contribution><sb:authors><sb:author><ce:given-name>P.</ce:given-name><ce:surname>Hayden</ce:surname></sb:author><sb:author><ce:given-name>J.</ce:given-name><ce:surname>Preskill</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Black holes as mirrors: quantum information in random subsystems</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>JHEP</sb:maintitle></sb:title><sb:volume-nr>09</sb:volume-nr></sb:series><sb:date>2007</sb:date></sb:issue><sb:pages><sb:first-page>120</sb:first-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0008" xlink:href="http://arxiv.org/abs/arXiv:0708.4025" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">arXiv:0708.4025</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0014">P. Hayden, J. Preskill, Black holes as mirrors: quantum information in random subsystems, JHEP 09 (2007) 120. arXiv:0708.4025</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0016"><ce:label>[16]</ce:label><sb:reference id="sbref0016"><sb:contribution><sb:authors><sb:author><ce:given-name>J.</ce:given-name><ce:surname>Maldacena</ce:surname></sb:author><sb:author><ce:given-name>L.</ce:given-name><ce:surname>Susskind</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Cool horizons for entangled black holes</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>Fortsch. Phys.</sb:maintitle></sb:title><sb:volume-nr>61</sb:volume-nr></sb:series><sb:date>2013</sb:date></sb:issue><sb:pages><sb:first-page>781</sb:first-page><sb:last-page>811</sb:last-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0009" xlink:href="http://arxiv.org/abs/arXiv:1306.0533" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">arXiv:1306.0533</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0015">J. Maldacena, L. Susskind, Cool horizons for entangled black holes, Fortsch. Phys. 61 (2013) 781–811. arXiv:1306.0533</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0017"><ce:label>[17]</ce:label><sb:reference id="sbref0017"><sb:contribution><sb:authors><sb:author><ce:given-name>A.</ce:given-name><ce:surname>Almheiri</ce:surname></sb:author><sb:author><ce:given-name>D.</ce:given-name><ce:surname>Marolf</ce:surname></sb:author><sb:author><ce:given-name>J.</ce:given-name><ce:surname>Polchinski</ce:surname></sb:author><sb:author><ce:given-name>J.</ce:given-name><ce:surname>Sully</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Black holes: complementarity or firewalls?</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>JHEP</sb:maintitle></sb:title><sb:volume-nr>02</sb:volume-nr></sb:series><sb:date>2013</sb:date></sb:issue><sb:pages><sb:first-page>062</sb:first-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0010" xlink:href="http://arxiv.org/abs/arXiv:1207.3123" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">arXiv:1207.3123</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0016">A. Almheiri, D. Marolf, J. Polchinski, J. Sully, Black holes: complementarity or firewalls?, JHEP 02 (2013) 062. arXiv:1207.3123</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0018"><ce:label>[18]</ce:label><sb:reference id="sbref0018"><sb:contribution><sb:authors><sb:author><ce:given-name>K.</ce:given-name><ce:surname>Papadodimas</ce:surname></sb:author><sb:author><ce:given-name>S.</ce:given-name><ce:surname>Raju</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>An infalling observer in AdS/CFT</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>JHEP</sb:maintitle></sb:title><sb:volume-nr>10</sb:volume-nr></sb:series><sb:date>2013</sb:date></sb:issue><sb:pages><sb:first-page>212</sb:first-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0011" xlink:href="http://arxiv.org/abs/arXiv:1211.6767" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">arXiv:1211.6767</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0017">K. Papadodimas, S. Raju, An infalling observer in AdS/CFT, JHEP 10 (2013) 212. arXiv:1211.6767</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0019"><ce:label>[19]</ce:label><sb:reference id="sbref0019"><sb:contribution><sb:authors><sb:author><ce:given-name>P.</ce:given-name><ce:surname>Nayak</ce:surname></sb:author><sb:author><ce:given-name>A.</ce:given-name><ce:surname>Shukla</ce:surname></sb:author><sb:author><ce:given-name>R.M.</ce:given-name><ce:surname>Soni</ce:surname></sb:author><sb:author><ce:given-name>S.P.</ce:given-name><ce:surname>Trivedi</ce:surname></sb:author><sb:author><ce:given-name>V.</ce:given-name><ce:surname>Vishal</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>On the dynamics of near-extremal black holes</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>JHEP</sb:maintitle></sb:title><sb:volume-nr>09</sb:volume-nr></sb:series><sb:date>2018</sb:date></sb:issue><sb:pages><sb:first-page>048</sb:first-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0012" xlink:href="http://arxiv.org/abs/[arXiv:1802.09547]" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">[arXiv:1802.09547]</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0018">P. Nayak, A. Shukla, R. M. Soni, S. P. Trivedi, V. Vishal, On the dynamics of near-extremal black holes, JHEP 09 (2018) 048. [arXiv:1802.09547]</ce:source-text></ce:bib-reference><ce:bib-reference id="bib0020"><ce:label>[20]</ce:label><sb:reference id="sbref0020"><sb:contribution><sb:authors><sb:author><ce:given-name>A.</ce:given-name><ce:surname>Almheiri</ce:surname></sb:author><sb:author><ce:given-name>X.</ce:given-name><ce:surname>Dong</ce:surname></sb:author><sb:author><ce:given-name>D.</ce:given-name><ce:surname>Harlow</ce:surname></sb:author></sb:authors><sb:title><sb:maintitle>Bulk locality and quantum error correction in AdS/CFT</sb:maintitle></sb:title></sb:contribution><sb:host><sb:issue><sb:series><sb:title><sb:maintitle>JHEP</sb:maintitle></sb:title><sb:volume-nr>04</sb:volume-nr></sb:series><sb:date>2015</sb:date></sb:issue><sb:pages><sb:first-page>163</sb:first-page></sb:pages></sb:host><sb:host><sb:e-host><ce:inter-ref id="intrrf0013" xlink:href="http://arxiv.org/abs/arXiv:1411.7041" xlink:role="http://www.elsevier.com/xml/linking-roles/preprint">arXiv:1411.7041</ce:inter-ref></sb:e-host></sb:host></sb:reference><ce:source-text id="st0019">A. Almheiri, X. Dong, D. Harlow, Bulk locality and quantum error correction in AdS/CFT, JHEP 04 (2015) 163. arXiv:1411.7041</ce:source-text></ce:bib-reference></ce:bibliography-sec></ce:bibliography></tail></article>