Evaporating black holes coupled to a thermal bath

We study the doubly holographic model of [1] in the situation where a black hole in two-dimensional JT gravity theory is coupled to an auxiliary bath system at arbitrary finite temperature. Depending on the initial temperature of the black hole relative to the bath temperature, the black hole can lose mass by emitting Hawking radiation, stay in equilibrium with the bath or gain mass by absorbing thermal radiation from the bath. In all of these scenarios, a unitary Page curve is obtained by applying the usual prescription for holographic entanglement entropy and identifying the quantum extremal surface for the generalized entropy, using both analytical and numeric calculations. As the application of the entanglement wedge reconstruction, we further investigate the reconstruction of the black hole interior from a subsystem containing the Hawking radiation. We examine the roles of the Hawking radiation and also the purification of the thermal bath in this reconstruction.


Introduction
In the past year, new models of black hole evaporation [1][2][3] have given fresh insight into one of the longest-standing puzzles in quantum gravity, the black hole evaporation paradox [4][5][6][7][8][9][10]. The black hole information paradox is essentially the problem that in Hawking's famous calculation, black hole evaporation appears non-unitary, in conflict with the standard rules of quantum mechanics. A black hole may be formed in the collapse of a pure quantum state, however, the evaporation process appears to leave only thermal Hawking radiation in a mixed state. That is, quantum information seems to be destroyed by this process. The newly constructed models, however, have convincingly demonstrated JHEP01(2021)065 for the first time the entropy decreases after the Page time and unitarity is maintained in quantum gravity. Although the models are semiclassical, they exhibit novel saddle points, first observed in [2,3], which take into account large corrections from quantum fields and produce a Page curve consistent with unitary evaporation. This result represents the first major progress toward resolving the famous paradox in many years.
The model of Almheiri, Engelhardt, Marolf and Maxfield [3] examines black holes in two-dimensional Jackiw-Teitelboim (JT) gravity theory coupled to conformal matter. Later, Almheiri, Mahajan, Maldacena and Zhao [1] made a small but important modification: instead of only assuming conformal symmetry for the bulk matter, they also assume that the matter theory is holographic. In this paper, we will use the initials of the original paper (AEMM) to denote the original model, and the initials of both papers combined (AEM 4 Z) to denote the model with holographic matter.
We now give a brief description of the setup for both models. One begins with a two-sided equilibrium black hole, which is a solution of JT gravity coupled to a CFT in two-dimensional anti-de Sitter (AdS 2 ) spacetime. The black hole is allowed to evaporate by changing the asymptotic boundary conditions with a 'joining quench' to a nongravitational region containing the same CFT. That is, at time zero, the asymptotic boundary on one side is joined to a semi-infinite interval [0, ∞). The conformal matter in the latter space acts as an auxiliary bath system, which absorbs the Hawking radiation emitted from the evaporating black hole. The dynamics of this model can be solved analytically, including the gravitational backreaction and the von Neumann entropy of the Hawking radiation. One can study the entropy of the black hole or its complementary subsystem (containing the Hawking radiation) as a function of time, using the Engelhardt-Wall prescription [11] (see also [12]) for calculating von Neumann entropy -a generalization of the Hubeny-Ryu-Rangamani-Takayanagi (HRT) prescription [13,14] to incorporate quantum corrections. The important distinction between the HRT prescription and the Engelhardt-Wall prescription is that the former computes entropy using codimension-two surfaces with stationary areas, whereas the latter asks us to instead find minimal values of the generalized entropy, 1 defined by That is, to leading order in G N , this quantity is simply the area A, 2 but the functional receives a quantum correction S out given by the entropy of quantum fields of the spatial region outside the surface. The surface which extremizes S gen is referred to as the quantum extremal surface (QES). In the AEM 4 Z model, the calculation of the generalized entropy is purely geometric using holography. That is, assuming the bath system is described by a holographic CFT 2 , S out can be found using the HRT prescription in the AdS 3 dual, while the Bekenstein-Hawking term becomes an additional boundary contribution (from the JT gravity) for HRT surfaces ending in the gravitational region, i.e. on the Planck branesee [16,17] for further discussion. 1 Counterterms are required to render this quantity finite. For a thorough discussion of how the renormalization of entropy works, see the appendix of [15] for example. 2 Note that in the following we examine two-dimensional JT gravity where the Bekenstein-Hawking contribution is replaced by φ/(4GN ), where φ denotes the value of the dilaton evaluated on the QES.

JHEP01(2021)065
Using this approach, at early times, the entropy of the Hawking radiation grows in a manner consistent with Hawking's original calculation of information loss. However, later in the evolution, a new class of extremal surfaces appears and the QES computing the entropy switches to this new class. These new surfaces, which lie close to the black hole's horizon, exist and dominate the values of the generalized entropy S gen due to large entropy gradients that come from the contribution of Hawking radiation at late times. With the QES approaching the horizon at late times, the result is a phase transition in the entropy, producing a downward-sloping Page curve consistent with unitary evolution towards a pure state. Recovering a unitary Page curve for old black holes is a major step towards resolving the information paradox. It indicates that the semiclassical gravity path integral knows more about unitarity than previously believed.
This result is surprising from the perspective of the two-dimensional theory. In particular, the above phase transition indicates that at late times, the standard calculation of the von Neumann entropy of the Hawking radiation is incorrect because of gravitational effects. Instead, one must modify the usual prescription for computing the entropy with the so-called 'island formula' [1], which accounts for the contributions of quantum extremal islands (QEIs). The QEIs are gravitational regions that may contribute to reducing the (entanglement) entropy of a non-gravitational region by creating new stationary points for the generalized entropy, i.e. the sum of the gravitational and matter entropies. In particular, for a QEI, a change in area from perturbing the boundary of a QEI is exactly compensated for with an equal and opposite change in the entropy of the quantum fields inside the island. The HRT prescription in the three-dimensional bulk theory implies that the correct generalized entropy in the two-dimensional theory should be computed by including these islands, whenever they exist, to the entangling region, if doing so results in a smaller entropy. In the present context, the phase transition where the QEIs appear corresponds to the time when the thermal bath encodes (part of) the black hole interior, a manifestation of the ER = EPR principle [18]. See [16,17,[19][20][21][22][23][24][25][26][27][28][29][30][31][32][33][34][35] for recent explorations on the island formula in different black hole geometries and [33,[36][37][38][39][40][41][42][43][44][45][46][47][48] for more associated studies on information paradox and Page curve from various aspects.
These models are clearly rich with new physics, and with fascinating implications for quantum gravity. The present work furthers the direction of our earlier work [20] exploring these models. There, we initiated a study of the flow of quantum information during black hole evaporation. In this earlier work, and indeed in most of the literature on these models, the AdS black hole evaporates completely due to the coupling to a bath system prepared at zero temperature. In this paper, we study the dynamics of coupling the initial equilibrium black hole to a bath BCFT which is initially in a finite non-zero temperature state instead. Similar situations were studied in [19,28], but we do not make the assumption that the black hole and bath are initially at the same temperature. We study the resulting dynamics numerically and analytically.
As in [19], we find that the quantum extremal surfaces can lie outside the black hole horizon, and correspondingly the QEIs can include part of the exterior of the black hole. For thermal baths with a temperature around the same temperature as the initial black hole, the late time QES is already outside the horizon around the Page time. On the JHEP01(2021)065 other hand, with arbitrary bath temperatures, the late time QES are initially inside of the event horizon and eventually cross the event horizon, remaining outside for the rest of the equilibration process.
Similar to our analysis in our previous work [20], we compute the Page curve for the dynamic black hole coupled with a thermal bath at arbitrary temperatures or equivalently, that of the complementary subsystem to the black hole, i.e. the QM L together with (parts of) the bath and its purification. Taking the bath to be at finite temperature changes the flow of quantum information in important ways. The bath has its own purification and thus must be accounted for in the computation of the generalized entropy. We study the role of the purification in altering the flow of quantum information as the black hole and bath exchange radiation.
In section 2, we review the AEM 4 Z model and set up the model for a black hole in contact with an auxiliary bath at finite temperature, finding the generalized entanglement entropy of various different intervals during the equilibration process. The equilibrium case, i.e. the black hole temperature immediately after the quench matches that of the bath, is analyzed in section 3, and we find the constraints for finite bath intervals, together with QM L , to recover the black hole interior. Interestingly, the purification of the bath is essential for the reconstruction of the black hole interior. The case of general temperatures is studied in section 4, and the results smoothly interpolate between the evaporating case of [1,3,20] and the equilibrium case in section 3.

Background and setup
The AEM 4 Z model [1] has three holographic descriptions -see figure 1. The boundary perspective describes the system as two quantum mechanical systems QM L + QM R in a thermofield double (TFD) state which is connected to a bath via a quantum quench. In the present analysis, the bath consists of two copies of a two-dimensional holographic CFT on a half-line, which is initially prepared in an independent TFD state, with a temperature T b . After the quench, the system evolves towards a new equilibrium between the quantum mechanical and bath systems, during which three different phases are distinguished by the position of the quantum extremal surface. The TFD in QM L + QM R is dual to a two-dimensional black hole in JT gravity, and this gravitational region also supports the same holographic CFT matter as appears in the bath. The third description replaces the holographic CFT with a three-dimensional AdS bulk and in particular, the TFD is replaced by a AdS 3 black hole geometry. From this bulk perspective, the joining quench [49,50] connecting the systems has a holographic description as an end-of-the-world brane pinching off the AdS 2 /bath boundary and falling into AdS 3 spacetime. 3 3 We would like to point out that the roles of the end-of-the-world branes and Planck brane are quite different. The latter supports the JT gravity (as well as the holographic CFT) and plays a crucial role in the appearance of the island phase. The interested reader is referred to references [16,17] for a detailed discussion of the explicit construction from the viewpoint of bulk spacetime, including the renormalization on the brane theory. The end-of-the-world branes appear in the AdS3 bulk construction since the twodimensional dual theory is a boundary CFT living on the upper-half-plane (viewed in the appropriate conformal frame) [51,52]. The details of the bulk dynamics of these branes through the joining quench is described in [49,50]. In the AEM 4 Z model, the holographic principle is invoked twice, resulting in three different pictures of the same physical system. In our present analysis of this model, we include a thermal bath at finite temperature. In the top picture (a), there are two quantum mechanical systems (QM L and QM R ), as well as a two copies of the field theory (CFT 2 ) on a half-line (dashed and dotted). Both of the quantum mechanical and field theory systems are prepared in independent thermofield double states. The middle picture (b) introduces the two-dimensional holographic geometry (JT gravity) dual to the entangled state of QM L and QM R . This gravitating region also supports the same CFT 2 that appears in the bath region. The last picture (c) contains the doublyholographic description, where the holographic CFT is replaced by an AdS 3 bulk, and in particular, the thermofield double is replaced by a bulk region with the geometry of an AdS 3 black hole.

JHEP01(2021)065
The three phases of the equilibration process are illustrated in figure 2. The QES remains at the bifurcation surface during the quench phase. At the transition to the scrambling phase, the QES shifts outwards by a very small distance. The generalized entropy in these two phases increases, consistent with the original information loss calculations. However, at the Page transition, the QES is instead located at a new minimum outside of the infalling shock. The generalized entropy at the Page transition then begins to asymptote towards the expected entropy of a black hole in equilibrium with the bath, completing a correct Page curve of the equilibration process. In the example shown in figure 2, the temperature of the bath is less than that of the black hole so the entropy decreases in the late time phase, similarly to the evaporating black hole. Note that a bath with temperature greater than that of the black hole instead heats up the black hole, giving a Page curve as in figure 11.
The central quantity necessary for studying the Page curve and the behaviour of the extremal surface throughout the equilibration process is the generalized entanglement entropy S gen . Similar to previous work in the evaporating AdS 2 black hole in JT gravity [3], we break the process of calculating the generalized entropy into three steps: 4 JHEP01(2021)065 Figure 2. A cartoon illustration of the three phases for the entanglement entropy of QM R or of QM L , (a semi-infinite interval in) the thermal bath, and the (entire) bath purifier, after the quench where QM R is connected to the bath. The darker colors indicate the true generalized entropy, while the lighter colors indicate the general shape of each of the branches slightly beyond the regime where it provides the minimal value for the generalized entropy. Below the plot is a sketch of the shape of the extremal HRT surfaces in AdS 3 which contribute to the generalized entropy in each phase.
• Calculating the von Neumann entropy of the CFT matter S vN • Calculating the backreaction of the quench onto the dilaton φ Conveniently, these steps are very similar to the evaporating models in [1,3,20], the only change coming from the details of the time reparametrization function in eq. (2.29) and the extra conformal transformation in eq. (2.18) required to map the vacuum on upper half plane to our quenched system. We now proceed to carry out each one of these steps in the rest of this section.

Entropy of holographic CFT 2
To calculate the von Neumann entropy of the CFT matter, we proceed in a similar way to previous work on evaporating models [1,3,20] and map the corresponding quantum state to the vacuum of the CFT on the upper half plane by a local Weyl rescaling and a coordinate transformation. The details of the required coordinate transformation will be explained in section 2.3, but for now, we simply specify that we will be working in Poincaré coordinates for the AdS 2 spacetime and in flat coordinates for the bath The two spaces are glued together at one-dimensional boundary with σ = − , s = f , where corresponds to the UV cutoff in the dual boundary theory, and f is the coordinate reparametrization function x = f (y), given below in eq. (2.29). 5 In the rest of the paper, we simply set L AdS = 1.
The CFT matter state can then be mapped to the CFT vacuum via the local Weyl rescaling where To begin, one can consider the von Neumann entropy of a finite interval with one end-point being the boundary of the BCFT and the other (z,z) residing in the interior. Equivalently, this is the entropy for the semi-infinite interval beginning at (z,z) and extending to infinity. This can be calculated using twist operator one-point functions in the upper half plane, but by the method of images, the latter resembles a two-point function of a CFT on the entire plane. Correspondingly, the von Neumann entropy resembles that of an interval with length −i(z −z): where log g is the Affleck-Ludwig boundary entropy [53]. The entanglement entropy of an interval in a two-dimensional CFT in the presence of a conformal boundary at z −z = 0 is [54][55][56][57] is the conformally invariant cross ratio and G(η) is an undetermined function that depends on the theory and boundary conditions. The G(η) function has two limits that can be determined by either a bulk OPE or an operator-boundary expansion: G(η → 1) = 1 from the OPE limit, and G(η → 0) = g 2 from the operatorboundary expansion.
In the following, we adopt the holographic framework describing boundary conformal field theory (BCFT) [51,52]. In this setup, the JT gravity plus bath system lives on the boundary of an AdS 3 geometry. From this bulk perspective, the boundary defect at the moment of quenching anchors an end-of-the-world (ETW) brane hanging into the holographic JHEP01(2021)065 direction. After the quench, the ETW brane detaches from the asymptotic boundary falls off into the bulk. For this system, the entanglement entropy is determined using the Ryu-Takayanagi prescription [58], i.e. for a two-dimensional CFT on the asymptotic AdS boundary, the entanglement entropy is simply given by evaluating the bulk length of the corresponding geodesics connecting the end-points on the boundary, with the added possibility of having geodesics ending at the ETW brane. In the z coordinates, this corresponds to evaluating the length of the geodesics connecting the end-points in a flat asymptotic boundary of AdS 3 with the possibility of having geodesics ending at a flat ETW brane intersecting the asymptotic boundary at z −z = 0 at an angle determined by the boundary entropy log g. In this case, eq. (2.6) reduces to the following simple form where η * = 1 1+g 12/c is the value of the conformal cross ratio at which the transition between HRT surfaces occur. Let us note that with the simple choice g = 1 (i.e. log g = 0 and a tensionless ETW brane), the latter simplifies to η * = 1/2. Equivalently, the G(η) function for a holographic BCFT is given by It is straightforward to verify that G(η → 1) = 1 and G(η → 0) = g 2 . For simplicity, we take the case of zero boundary entropy g = 1 (and η * = 1/2) in the following. As was noted in [20], for a general g, the quench to scrambling phase transition gets shifted, while the Page transition remains unaffected. The von Neumann entropies in eqs. (2.5) and (2.7) correspond to intervals of the vacuum of the BCFT. To find the von Neumann entropies of the CFT matter in our black hole thermalization model, we simply have to include the effect of the local Weyl transformation in eq. (2.3). Under a Weyl transformation g µν → Ω −2 g µν , the transformation of twist operators induces the following transformation on entropy: The above transformation may be interpreted as resulting from the rescaling of UV cutoffs with respect to which the entropy is defined.

Jackiw-Teitelboim gravity
The brane perspective of the AEM 4 Z model -see figure 1b -describes the system as a black hole in two-dimensional JT theory coupled to holographic conformal matter which is connected to a bath with a joining quench, and allowed to evaporate. We refer the reader to [3] for a more detailed discussion of this description. In this subsection, we summarize the essential parts of our analysis.

JHEP01(2021)065
The dynamics of the black hole and CFT matter are governed by the action (2.10) where is a topological term which provides a large constant contribution S 0 = φ 0 4G N to the entropy of the black hole. The last term in eq. (2.10) is the action of the holographic CFT matter to which JT gravity is coupled.
The dilaton equation of motion imposes the geometry to be locally AdS 2 with radius L AdS , as described by the metric in eq. (2.1). The metric equations of motion give the coupling of the dilaton to the CFT stress tensor Before the quench, the CFT matter is in the vacuum of the generator of t translations (see eq. 6 however, this can also be seen as a TFD state for the generator of u translations (see eq. (2.2)). Here we have continued the y coordinates into a Rindler patch of AdS 2 with The dilaton profile is given by After the quench, the dilaton receives a contribution from the back-reaction of the matter stress tensor where accounts for the matter back-reaction and k = cG N 3φr controls the strength of the backreaction, which we take to be very small. The dilaton profile in eqs. (2.14) and (2.15) give the leading contribution to the generalized entanglement entropy. The details of the dilaton profile after the quench in eq. (2.15) and the resulting generalized entropy are calculated in section 2.3. 6 In principle, we should have one non-zero component T But this extra term can be absorbed by shifting the value of the dilaton field asφ = φ− cG N 3 -see discussion in [16,17]. So we simply ignore the trace anomaly in the following.  Figure 3. The Penrose diagram for the AdS 2 black hole coupled with a thermal bath and its purification in flat spacetime at time u = 0. The (thick) pink lines are the shock waves propagating into the gravitating and bath regions, which are generated by this joining quench. The bifurcation surface of the initial equilibrium black hole is indicated by the red dot. The new horizon is indicated by the black dashed line, i.e. y + = ∞. Note that only the blue and red shaded regions are covered by the y ± ,ỹ ± coordinates, respectively. The evolution of quantum extremal surface in three phases is presented by the corresponding colored curves, as indicated in figure 2.

Coupling to a thermal bath
The setup which we wish to consider is very similar to the one constructed in [3]: a twosided AdS 2 black hole prepared at some temperature T 0 coupled by a joining quench to a bath consisting of a CFT on a half-line. Again, the key difference will be that our bath will be at some finite temperature T b , rather than zero temperature as in [3]. The corresponding Penrose diagram is shown in figure 3. Up until an initial time, we imagine two decoupled systems. Firstly, we have the AdS 2 black hole solution 7 of JT gravity with the metric and dilaton profile in eqs. (2.1) and (2.14), respectively. This gravitating region also supports the same two-dimensional CFT as appears in the bath region. The right side of this black hole will have a boundary given by an IR cutoff introduced by the JT boundary particle. Additionally, we have a separate bath system supporting an identical CFT 2 (but in a different state), prepared on a half-line σ = y − −y + 2 > − on the flat spacetime (2.2). The boundaries in the two systems initially impose reflecting boundary conditions. But, at some initial time u = t = 0, we perform a joining quench. This is done by identifying 7 Note that an appropriate choice of coordinates, e.g., those spanning the trajectory of the JT boundary particle, furnishes a pure AdS2 with Rindler horizons -we are treating the AdS2 spacetime as a black hole in the usual sense for JT gravity [59][60][61]. JHEP01(2021)065 σ = − in the bath with the AdS 2 IR cutoff surface, allowing CFT matter to flow freely across the now transparent division between the AdS 2 and bath systems. The details of this gluing are specified by the trajectory t = f (u) -that is, we identify the time parameter of the AdS 2 boundary with the time coordinate of the bath. Further demanding that the induced metrics along the AdS 2 and bath boundaries match to leading order in , we have along the gluing. For convenience, we shall further extend the above equality to hold everywhere, so that we may alternatively describe patches of AdS 2 and the bath using either x ± or y ± coordinates. Later in this section, we will determine the trajectory t = f (u) of the JT boundary particle by tracking the exchange of energy between the AdS 2 and bath systems. While we have described the physical evolution of the system above, it is practically useful also to consider a Euclidean preparation of the CFT state at u = t = 0. Thus, we imagine preparing the CFT in a Hartle-Hawking state on the JT black hole with a path integral over Euclidean AdS 2 (with an appropriate dilaton profile). Similarly, we prepare the CFT in the bath (and the purifying copy) in a thermofield state with a path integral on Euclidean half-spaces. (The details will be elaborated below.) Both systems have reflecting boundary conditions, except in an infinitesimal neighborhood of iu = it = 0, where the two spacetimes are joined. The size of this neighborhood provides a regulator for the shock energy E S produced by the joining quench -recall that stripping the vacuum entanglement along an entangling surface (in this case, the point at the AdS-bath boundary) produces an infinite amount of energy. This construction produces the CFT state at u = t = 0, from which analytic continuation provides the correct Lorentzian evolution according to the joined Hamiltonian. We note that this joined evolution, obtained by analytic continuation, does not match the physical decoupled evolution of the AdS and bath systems to the past of the point of the joining quench. In particular, we expect the time-reversal symmetry of the Euclidean path integral to carry over to Lorentzian time upon analytic continuation; in contrast, the physical Lorentzian evolution is manifestly not time-reversal symmetric due to the change in boundary conditions at the quench. However, results obtained by analytic continuation will be adequate for our purposes as we are primarily interested in the Lorentzian physics beyond the past light-cone of the quench point where the AdS 2 and bath boundaries are joined.
Our point of departure from [3,20] lies with the generalization to thermal baths prepared at finite temperature. To put the bath at a finite temperature T b , we take the Euclidean y coordinates for the bath and 8 identify y ∼ y + i T b . We still take the bath to be the half-space y+ȳ 2 ≤ . As expected for a thermal state, this results in a non-zero stress 8 Note that this identification makes T b the temperature associated with the unit time-like vector in the geometry dydȳ, as opposed to the physical geometry In the doubly holographic language of figure 1c, the former is the CFT metric of the asymptotic boundary of AdS3 while the latter is the induced metric on a cutoff surface which becomes the asymptotic boundary in the → 0 limit. Similarly, in (2.13), T0 describes a temperature with respect to the parametric time u = y + +y − 2 of the boundary particle, which does not correspond to a unit vector in the AdS2 geometry (2.1).

JHEP01(2021)065
tensor expectation value in y coordinates. Although the x coordinates of AdS 2 are stitched to the y coordinates of the bath (i.e. x = f (y)), it will nonetheless be convenient in the following to introduce a conformal transformation after which the stress tensor becomes trivial. This can be achieved by transforming the thermal half-cylinder, with coordinates y, to the left half-plane, 9 with coordinates Y , via This is simply the composition of an exponential map y = e 2πT b y taking the thermal halfcylinder to a unit disk, and a Mobius map Y = 1 y +1 pushing a point on the boundary of the disk to ∞.
It will be useful, e.g., to make use of the entropy formula (2.9), to write down another map which maps the joint system of AdS, with Poincare coordinates x, and the bath, with Euclidean coordinates y or equivalently the coordinates Y found above, to the upper half plane, with coordinates z,z. Just prior to coupling the AdS and bath systems, the AdS system is in the Hartle-Hawking state with vanishing stress tensor in x coordinates. Meanwhile, by construction, the stress tensor of the bath vanishes upon conformal transformation to Y coordinates. Finally, the stress tensor in the half-plane with coordinates z must also vanish. By demanding that the conformal anomalies of the map from x and Y to z vanish respectively in AdS and the bath, together with boundary conditions, fixes this map. Following [3], we choose boundary conditions such that the AdS 2 space is mapped to the region (0, iz 0 ) and the bath to (iz 0 , i∞). The map is piecewise-Mobius: The discontinuity at z = z 0 produces the shock wave contributions to the stress tensor . (2.20) In the limit E S → ∞ (i.e. −iz 0 → 0), the map (2.19) becomes (2.21) 9 Strictly speaking, we should take the bath to be the half-space y+ȳ 2 ≤ and (2.18) would map this region to the plane minus a large disk in the right half-plane. Similarly, Euclidean preparation of the AdS2 system, in the x,x coordinates analytically continued from (2.13), does not occur on a full Euclidean Poincaré AdS2, but rather on a large disk-like subregion. Note that the stress tensor still vanishes in these subregions of the dY dȲ and 2dxdx x+x geometries, since a flat disk (or its complement) is related to a flat half-plane by a Mobius transformation. (The rescaling of dxdx by the Poincaré Weyl factor 2 x+x does not introduce an extra anomalous contribution to the stress tensor.)

JHEP01(2021)065
The next step is to determine f by demanding the conservation of energy between the AdS and bath systems [3,60]: From the conformal anomaly associated with the Weyl transformation (2.21), i.e.
{z, x} , (2.23) we can find that the stress tensor in AdS region satisfies 10 For completeness, from eq. (2.21), we also write the stress tensor in the bath region: As mentioned below eq. (2.19), the δ-function contributions in eqs. (2.24) and (2.26) may be interpreted as the positive-energy shockwaves produced by the quench. The Schwarzian terms have a similar simple interpretation: T x − x − ∼ − c 24π {y − , x − } < 0 describes a negative energy flux from the bath experienced by the black hole, while T y + y + ∼ − c 24π {x + , y + } > 0 describes a positive energy flux from the black hole experienced by the bath. Considering for simplicity the T b = 0 case, note that the quanta described by these fluxes are the result of vacuum fluctuations in their native geometries. In particular, on the initial time slice, these quanta register as vanishing stress-energy, which is to be expected in the Hartle-Hawking vacuum of AdS 2 and the flat half-space vacuum. It is only when these quanta cross over the AdS 2 -bath interface that they register as non-vanishing stress energy. Finally, in the case of nonvanishing bath temperature T b > 0, the last terms in eqs. (2.24) and (2.26) can be interpreted as the contribution to the stress-energy of the bath's thermal radiation.
To determine the f function, we next note that the ADM energy of the AdS 2 JT system can also be expressed in terms of the Schwarzian of f , we have, from solving eq. (2.22), the Schwarzian equation

JHEP01(2021)065
From initial conditions f (0) = 0, f (0) = 1, f (0) = 0, we can solve this differential equation to obtain the map between y and x: 11 The above function is also well-defined and always real for complex a, i.e. T 1 < T b . Given the map (2.21) and the function f , we may compute the von Neumann entropy of various intervals in the AdS-bath system by applying the transformation rule (2.9) to the formulas (2.5) or (2.6) for entropy of intervals in a half-plane.
First, we divide the spacetime of interest into four regions according to (2.31) Applying the entropy transformation rule (2.9) to eq. (2.5) with these Weyl factors and the form (2.21) of the map, we obtain the following formulas for the von Neumann entropy computed with a single twist operator at x ± : (2.32) Note that in the pre-shock cases, we recover the expected entropy formulas in AdS and a thermal half-line. In particular, if we take y − −y + 2 → σ IR for some IR cutoff σ IR , we get the entropy of the whole thermal half-line: Of course, these three terms are interpreted as: the boundary entropy, the thermal entropy of the CFT at temperature T b , and the log divergent contribution associated with the endpoint of the interval.

JHEP01(2021)065
We obtain entropy formulas derived from two-point function by transforming eq. (2.6): where the cross-ratio is determined by 1 , x ± 2 ∈ I, II . (2.35) Note that this agrees with eq. (3.30) of [3] in the limit when T b → 0 and the x ± 1 endpoint is taken to the AdS-bath boundary. With the holographic formula (2.8) for G, the pre-shock cases of (2.34) with x ± 1 ∈ II become 12 (2.36)

Thermal equilibrium
From eq. (2.28), we see that the main effect of a finite temperature T b > 0 for the bath is that the black hole does not evaporate completely, but rather equilibriates with the bath.

JHEP01(2021)065
That is, it tends towards a stationary black hole with temperature T b , for which According to the position of endpoints x 1 , x 2 , the entanglement entropy based on two-point function reads for x ± 1 ∈ I and also

JHEP01(2021)065
when x 1 ∈ II. As noted below eq. (2.32), the before-shock single-twist entropy formulas are the standard ones in AdS and the thermal half-line, which are invariant under translations in time u = y + +y − 2 . For the thermal case at hand, the two-twist formulas, with both twists inserted to the future of the shock, are also time-translation invariant. This can be made manifest by writing those cases of (3.5) in y ± coordinates: . These properties will be helpful in finding the late-time QES. Indeed, eq. (3.6) is the same entropy formula as for an eternally-coupled black hole and bath system, as studied in [19]. For simplicity, we shall take g = 1 and η * = 1/2 in the following sections.
In the following sections, we apply the RT formula to the calculation of entropy for various subregions in the full system consisting of QM L , QM R , the thermal bath, and an auxiliary system purifying the bath. We begin in section 3.1 by considering the entropy of QM L , the bath system, and the purifier, recovering the Page curve, discussed previously in section 2 and illustrated in figure 2 -the corresponding bulk RT surfaces are also shown in figure 4a. Next, in section 3.2, we trace out the majority of the bath, as shown in figure 4b, finding that only a finite bath interval of some minimal length is required to recover the black hole interior. Finally, in section 3.3, we evaluate the importance of the bath's purifier. In particular, we find that if the purifier is completely traced out, as shown figure 4c, the black hole interior can no longer be recovered, regardless of the size of the bath interval that one can access; at the very least, a finite interval of the purifier is required, as shown in figures 4d and 5.

Semi-infinite interval of the bath
First, we consider the evolution of (generalized) entropy for the subsystem consisting of QM L , a semi-infinite interval of the bath with endpoint x ± 1 after the shock, and the purifier of the bath. The corresponding HRT surfaces and the time evolution are illustrated in figure 2, and we shall find three phases for the generalized entropy, corresponding to different portions of a Page curve. Note that, tracing out the purifier would also produce an infinite thermal entropy for the semi-infinite bath interval, i.e. the infinite entanglement entropy between the semi-infinite interval and the purifier.
Initially, in the quench phase, the QES in the gravitating region simply sits at the bifurcation surface of the original eternal black hole geometry, The corresponding generalized entropy is obtained by sum the Bekenstein-Hawking entropy . Competing channels computing the generalized entropy of various subsystems (solid red) and the corresponding bulk RT surfaces (dashed red) and entanglement wedges (light red). In each case, the R-channel where the black hole interior is recoverable or reconstructable is shown on the left. On the right, we show the N-channel where the interior is non-recoverable or nonreconstructable. The corresponding generalized entropies for these channels are denoted S R and S N , respectively. In the top row (a), we consider the generalized entropy of QM L , the thermal bath, and the bath's purifier. In row (b), we keep only a finite interval [σ 1 , σ 2 ] of the bath. In row (c), we further trace out the purifier. Finally, in row (d), we include a finite interval [0,σ 3 ] of the purifier. Note that in this last case, we can also varyũ 3 , the time slice of the purifier interval, and we find the minimalσ 3 depends onũ 3 -see section 3.3. and the von Neumann entropy (3.4) evaluated holographically with endpoints x ± 1 and x ± QES , which picks out the η < η * = 1/2 channel: with S 1pt (AdS) and S 1pt (x ± 1 ) given by eq. (2.32). Note that, in the η < η * channel, the von Neumann entropy (3.4) (and more generally eq. (2.36)) has no dependence on x ± 2 ; this justifies a posteriori choosing the QES to simply be the classical one at the bifurcation point. This was also the case in the zero-temperature bath case [20].

JHEP01(2021)065
Transitioning to the scrambling phase, the QES jumps from the bifurcation point to another saddle of generalized entropy, which is still located before the shock but now with η > η * = 1/2. Since the x ± 2 dependence of eq. (3.4) (and more generally eq. (2.36)) in this channel is also identical to the zero temperature case [20], we obtain the same QES: Evaluating eq. (3.4) for this QES, one finds Comparing eq. (3.12) with the η < η * channel of eq. (3.4), we find that the quench-toscrambling transition occurs at the same point as in the zero-temperature bath case: Note that this is essentially the instant at which the bifurcation point (3.7) reaches η = η * = 1/2. At later times, eq. (3.12) exhibits a growth linear in the physical time u = We note that this growth has a rate double that of the zero-temperature bath case. Physically, this can be explained by the fact that, in addition to absorbing radiation from the AdS black hole, the semi-infinite interval of the bath is also sending radiation into the black hole which itself (and the purifier of the bath) purifies. Finally, there is a transition to the late-time phase, with the QES jumping to a saddle point after the shock in AdS. As noted around eq. (3.6), the relevant post-shock two-point entropy formula is the same as if the black hole and bath were eternally coupled. Since the after-shock AdS geometry is also the same as for an eternal black hole, the late-time generalized entropy is identical to the eternally coupled case studied in [19]. This matching with the eternally-coupled case suggests that, by the Page time, the black hole and bath have reached equilibrium.
As in the eternally-coupled case, time translation invariance (in u) simplifies the determination of the QES. In particular, the QES must be on the same time-slice as
As an aside, time translation invariance permits a natural measure of proper distance between the QES and the horizon along a constant time slice. Using eq. (3.18), we have in units of L AdS : from which we see that the QES is an order k/T 1 proper distance outside the horizon. 13 Using the location of the QES given by eqs. (3.16) and (3.18), we can evaluate the generalized entropy of the late time phase. Again, by similarity to the eternally coupled case, this is a constant: Interestingly, the above von Neumann part of the generalized entropy matches the entropy obtained from placing a twist operator at a large separation σ 1 from the boundary of a thermal half-line (see eq. (2.33)) plus S 1pt (AdS). Comparing with the generalized entropy given by eq. (3.14) for the scrambling phase, we see that the transition between the scrambling and late time phases occurs when y + 1 hits a Page time of For later use, we note that more exact formulas may be obtained in the late time phase in the simple case where x ± 1 is placed on the boundary of AdS 2 , i.e. we consider the entanglement wedge of QM L plus the entire bath and its purifier. As previous works [3,20], we can ignore the correction from the position of the cut-off surface and set With this simplification, one can exactly solve, in x ± coordinates, the equations

22)
13 By measuring the distance (3.19) between the QES and the horizon along a constant Killing time slice, we have implicitly extended the after-shock geometry to before the shock. The bifurcation surface of the final stationary black hole does not actually exist in the physical spacetime.

JHEP01(2021)065
obtained from minimization of the late-time generalized entropy. These admit two trivial solutions x ± QES = ± 1 πT 1 and two non-trivial ones. Because of the constraints x + QES > x − QES > 0, the only relevant solution for the position of QES reads As a consistency check, we can use the time map t = 1 πT 1 tanh(πT 1 u) and find our solution (3.23) for QES satisfies eq. (3.16): Noting that the above solution of QES is not always physical, we need to impose the restrictions on parameters k, t as which implies t is extremely near t ∞ , i.e. late time phase. 14 Moreover, it is direct to show x ± QES (t ∞ ) = t ∞ = 1 πT 1 and the simple monotonic behavior due to the fact from which we verify that the QES is located outside the horizon, as described around eq. (3.19). (Note that any apparent spatial motion of the QES is purely an artifact of the choice of coordinates here -due to time translation invariance in u, the QES is spatially stationary in σ = y − −y + 2 , as indicated in eq. (3.18).) So this is the first difference with the case under zero temperature bath where the QES is located inside the horizon. With the exact solution, one can obtain the generalized entropy where the first term is the thermal entropy of a one-sided black hole with temperature T 1 and the second term describes the von Neumann entropy of bulk matter with the same temperature. It is obvious that the above generalized entropy is exactly a constant, indicating this is a thermal equilibrium state.

Finite interval of the bath
In this section, we consider the question of whether the interior of the black hole can be recovered by a finite-sized interval in the bath, together with QM L and the bath's purifier. We shall write the endpoints of the finite bath interval as y ± To begin, we consider the case where we have access to the entire purifier for the thermal bath -this is illustrated in figure 4a. (In section 3.3, we shall see that the purifier is crucial for recovering the black hole interior.) To stand a chance of recovering the black hole interior, we take y + 1 ≥ y + Page , with y + Page given in eq. (3.21). We also take y ± 2 to be in the bath to the future of the shock, as we will see that this is sufficient to recover the black hole interior.
The two competing channels of generalized entropy in the holographic limit, corresponding to recoverability and non-recoverability of the black hole interior, are 15 where S gen i , S i denote generalized and von Neumann entropies calculated with a single twist operator at x ± i , while S gen i−j , S i−j denote generalized and von Neumann entropies of the interval with endpoints x ± i , x ± j . Further, subscripts QES, QES and IR denote the late-time QES associated to y ± 1 , the (original) bifurcation point, and the IR point at σ = y − −y + 2 = σ IR , respectively. Recall that the entropy S 1 2 -line of the thermal half-line is given in eq. (2.33). The entropy S 2−IR , like S 1 2 -line , is IR divergent as σ IR → ∞; below, these divergences cancel in the differences of the entropies in the distinct channels.
To determine whether the black hole interior is recoverable, we ask whether S R < S N , or equivalently, where we have used eq. (3.20) to approximate S gen QES−1 , eq. (3.9) for the one-point generalized entropy at the bifurcation point, and eq. (2.33) for the entropy of the thermal half-line. The remaining entropies were obtained from the appropriate cases in eqs. (3.5) and (3.4). (Recall we are taking here y ± 2 to the future of the shock.) Since we have y ± 1 , y − 2 1 πT 1 , we may use the following approximations, (3.30) 15 There is in fact another channel where the black hole interior is recoverable, S gen QES−1 + S2 + S 1 2 -line , but comparison of this with S N in eq. (3.28) reduces to a problem where the purifier of the bath has been traced out -we deal with this case later in this section.

JHEP01(2021)065
In this limit of large y ± 1 , y − 2 1 πT 1 , the r.h.s. of eq. (3.29) becomes Hence, the recoverability of the black hole interior is equivalent to Comparing terms in eqs. (3.21) and (3.32) leading order in k, note that ∆ turn ≈ y + Page /2.

Importance of the bath's purifier
As hinted earlier, the purifier of the bath is crucial to the reconstruction of the black hole interior. Let us briefly attempt a similar calculation to the above, now additionally tracing out this purifier. The generalized entropy for QM L and an interval of the bath from y ± 1 to y ± 2 then has the competing channels -see figure 4 as illustrated in figure 4c. Now, we take y ± 2 to the past of the shock, since we shall momentarily show that, even as the interval is extended by taking arbitrarily large, the N-channel with entropy S N will nonetheless remain favorable. 16 (3.34) Using again the y ± 1 , y − 2 1 πT 1 approximations (3.30), we find .
On the r.h.s. , the first three terms sum to a large positive number (note that the third term, though negative, scales like the logarithm of the first term). Moreover, the logarithm of the last term is bounded from below by log π. It follows that S R > S N . We thus conclude that when the purifier of the bath is traced out, no matter how large an interval of the bath one has access to, the N-channel is favorable and the black hole interior cannot be recovered. A natural follow-up question is whether the black hole interior can be recovered when one can only access a finite portion of the bath's purifier at various times. We shall take the joint system of the bath and its purifier to be in a thermofield double state. Furthermore, we introduce a new set of coordinatesỹ ± =ũ ±σ for the purifier of the bath, whereũ and σ are analogous to the u and σ coordinates of the bath. These coordinates for the purifier are related to the coordinates we have been using thus far by Note that while πT 1 Y ± ∈ (−1, 1) provides a coordinate chart which includes the bath, the coordinate chart of (πT 1 Y ± ) −1 ∈ (−1, 1) includes the purifier of the bath. Moreover, we have so that there is no additional Weyl transformation that must be applied to our entropy formulas when endpoints are moved from the bath to its purifier. We may then repeat the analysis of section 3.2, now pushing the IR endpoint to a pointỹ ± 3 in the bath's purifier. That is, we consider whether the black hole interior can be recovered from QM L , an interval of the bath with endpoints y ± 1 = u ∓ σ 1 and y ± 2 = u ∓ σ 2 , and an interval of the bath's purifier stretching from an endpointỹ ± 3 =ũ 3 ±σ 3 to the JHEP01(2021)065 boundaryσ = 0 -see figure 5. In general, we shall find that the size of the purifier interval required to recover the black hole interior will depend on the timeũ 3 at which the interval is selected. From sections 3.1 and 3.2, we see that, to have a chance of recovering the black hole interior, we should take y + 1 > y + Page and σ 2 − σ 1 > ∆ turn with y + Page and ∆ turn given in (3.21) and (3.32). For simplicity, we take y ± 2 to the future of the shock. The relevant generalized entropies for the R-and N-channels are, as illustrated in figure 4d. Relating to the problem treated in section 3.2, whereỹ ± 3 is pushed to the IR, in comparing S R and S N , we have the extra contribution .
Applying the approximation (3.30) for x − 2 , we find that the condition S R ≤ S N for the recoverability of the black hole interior translates to The r.h.s. , giving the maximal separation of (x − 3 ) −1 from past null infinity line (x − ) −1 = πT 1 of the bath's purifier, is largest when (x + 3 ) −1 sits on the future null infinity line (x + ) −1 = −πT 1 . Here, We see that even this is exponentially suppressed (note u − σ 2 + 2σ 1 + 2∆ turn ≥ 2∆ turn with ∆ turn given in (3.32)). In contrast, with appropriate σ 2 − σ 1 > ∆ turn , (x + 3 ) −1 can be pushed far from the future null infinity value −πT 1 ; the largest separation is achieved when (x − 3 ) −1 sits on past null infinity: It is also instructive to consider the condition (3.41) in terms of the spatial interval lengthσ 3 taken in the purifier. As we elaborate below, due to the step-like nature of the tanh function in f , the constraint (3.41) becomes a piece-wise linear constraint onσ 3 as a function ofũ 3 with interpolation between the pieces on scales of order πT −1 1 .

JHEP01(2021)065
Let us consider first the case σ 2 − σ 1 − ∆ turn (4πT 1 ) −1 . Then, both (3.42) and (3.43) are small so that we are in the regime Note that the bounds given by the r.h.s. 's of (3.42) and (3.43) are complementary in the following sense: if πT 1 −(x − 3 ) −1 is much smaller than the r.h.s. of (3.42), then (3.41) reduces to the constraint that πT 1 + (x + 3 ) −1 is less than approximately the r.h.s. of (3.43); on the other hand, if πT 1 + (x + 3 ) −1 is much smaller than the r.h.s. of (3.43), then (3.41) reduces to πT 1 − x − 3 being smaller than approximately the r.h.s. of (3.42). Considering (3.44) and (3.45), the interpolation between these two cases occurs on scales of order (πT 1 ) −1 iñ y ± 3 . We thus find a piecewise null phase boundary forỹ ± 3 : with interpolation between the pieces occurring on scales of order (πT 1 ) −1 inũ 3 . We see that as σ 2 − σ 1 approaches the minimum interval length ∆ turn of the bath required for recovery of the black hole interior,σ 3 diverges logarithmically. Next, we consider the case where σ 2 − σ 1 − ∆ turn (4πT 1 ) −1 . Now, the r.h.s. of (3.43) need not be small, opening the possibility for a new regime where with interpolation on the thermal scale. 17 We see that the intermediate case gives the smallest possible region of the purifier needed for reconstruction of the black hole interior. 17 Eq. (3.49) can be condensed into , which is similar to the general T b result in eq. (4.123) with δσ2 → σ2 − σ1 − ∆turn and T b = T eff = T1. As noted around (4.123), the assumptions leading to the general result are more constraining. For the blue and green bath intervals illustrated in the left panel of figure 5, the approximate phase boundary (3.49) is highlighted respectively in light blue and light green in the right panel of figure 5 and examples of minimal-length purifier intervals are shown in opaque blue and green. The blue case illustrates the phase boundary given by (3.49) for a bath interval just large enough for (3.49) to be valid (as opposed to (3.46)) -in this limit, the intermediate piece of (3.49) vanishes. The green case, on the other hand, has a much larger bath interval. As illustrated in figure 5, (3.49) has the interpretation of giving the interval of the purifier needed to capture quanta entangled with out-going thermal bath radiation emitted between times y − = 0 and y − = y − 2 . When the bath interval length σ 2 − σ 1 is barely a few thermal lengths greater than the critical value ∆ turn (blue case), nearly all of these quanta must be accessible in the purifier. For much longer bath intervals (green case), fewer purifier quanta are necessary. We shall comment further on this in section 5.

Taking black holes from the fridge to the oven
In the previous section, we analyzed the two-dimensional black hole coupled to a bath system with temperature T b = T 1 , which together formed a system in thermal equilibrium as soon as the Page time was reached. Compared to the results from the evaporating black hole with zero temperature, e.g., [1,3,20], we found qualitatively different behavior in the evolution of the generalized entropy -and, of course, the role of purification of the bath. In this section, we consider coupling the black hole with temperature T 1 after the shock is absorbed into a thermal bath with a general temperature T b . The black hole and bath evolve to reach an equilibrium where the black hole temperature matches T b . However, the black hole will decrease or increase in size (and entropy) depending on whether T b < T 1 or T b > T 1 . The evolution of the (effective) black hole temperature is shown in eq. (6) for several cases.
As was explained in section 2.3, the Schwarzian equation (2.28) can be solved for arbitrary bath temperature to find the time-map function f (u) in eq. (2.29) which reduces JHEP01 (2021)065 to the T b = 0 result of [3] by taking ν = 0. 18 Taking the limit ku → ∞, one can also define the end of the proper time which is also the final position of the QES, i.e. x ± QES | u→∞ = t ∞ . We now stress some important facts about the above map function from coordinate time t to proper (physical) time u. First, the function f (u, T b ) is well defined and real for T b ≤ T 1 and also T b ≥ T 1 . Secondly, it is also invariant under the following rescaling In other words, the independent dimensionless parameters in the model are besides of φr G N . We simply take the radius of AdS as the standard scale by choosing L AdS = 1 and all other parameters can be considered to be normalized by T 1 . From an energetic point of view, it is clear that T b = T 1 is a critical temperature for the thermal bath, where the black hole will neither lose nor absorb energy. From the energy flow equation (2.27) and Schwarzian equation (2.28), we can define an effective temperature which parametrizes the ADM mass of the dynamical black hole at time u by Recalling the energy flux (2.24) on the physical boundary x − ≈ t, i.e.
we can explain the above three terms as the contributions from the shock wave, thermal radiation from the coupled bath system at temperature T b , and Hawking radiation escaped from the dynamical black hole. As expected, we can also understand the effective temperature as the measure for the temperature of Hawking radiation at time u. For later use, we also show the numerical plot for the time evolution of effective temperature with various T b in figure 6. 18 We note that for numerical purposes, the following form of the time-map function , is easier to deal with than the expression in eq. (2.29). Note that similar expressions appear in [28].

JHEP01(2021)065
For T b < T 1 , the black hole loses energy via the absorption of Hawking radiation by the bath and evaporates to a smaller black hole with lower temperature T b , which is similar to the model with T b = 0 as described in [1,3,20]. Conversely, a black hole coupled with a higher temperature bath T b > T 1 absorbs radiation from the bath and approaches another equilibrium state with temperature T b when ku 1. In both cases, for ku → ∞, the system is thermalized and shows similar qualitative features to the equilibrium case T b = T 1 . In summary, we have the three different dynamical behaviors in the two-dimensional gravity setup: an evaporating black hole when T b < T 1 ; a growing black hole when T b > T 1 ; and equilibrium when T b = T 1 . Note that these outcomes are independent of the temperature of the original black hole, i.e. T 0 .
However, diving into the details of the QES and the flow of information, we will see there are different critical temperatures determining the position of the QES relative to the final event horizon, as will be explained in section 4.1.3. For this analysis, we approximate the equations for the generalized entropy and find the approximate solutions for QES. Making a small k expansion with fixed ku, one can find the following approximation of f (u): 19 which reduces to the equilibrium case with f (u) = 1 πT 1 tanh (πT 1 u) after taking T b = T 1 . Hence the above simplified form approximates the map-function f (u) even for T b ≥ T 1 . From the asymptotic expansion in eq. (4.7), one can also obtain the approximation for the upper bound of physical time Let us remark that one can further derive several simpler and useful approximations (4.10) which will be used many times in the following analysis. It is also easy to find that all the above approximations reduce to the same forms used in [3,20] upon taking T b = 0. The above approximations are still complicated due to the appearance of T eff (u, T b ), we 19 In order to do this analytically, we first note the series expansions of Bessel functions [62] Kν (νz) ∼ ν→∞ π 2ν (4.7) -29 - can further simplify the above results if we focus on times at the order of the Page time by taking the early-time limit ku 1 (linear region). 20 In the linear regime, the effective temperature T eff ∼ T 1 and we find the following linear approximations

JHEP01(2021)065
where the leading-order contributions are not sensitive to the temperature of the bath T b because the black hole does not evaporate very much in this phase. We are also interested in the late-time region with e ku 1 where we need the following approximations 21 (4.12) Lastly, we note that the coefficient of the linear term changes to 2πT b whereas, which is expected because the temperature of the black hole at late time (e ku 1) is close to T b . Instead of analytical approximations, we also performed numerical calculations for all the results as the double-check for these approximations in the following analysis. For convenient comparisons with the results at T b = 0, all numerical plots are done by choosing the numerical parameters listed in table 1, which are the same as those chosen in [20].

QES and Page curve
In the following section, we first consider the generalized entropy of the subsystem QM R , which is the same with that of subsystem consisting of QM L , the thermal half-line and another half-line containing the purification. That is, we would like to find the position of the QES, i.e. x ± QES , in the late-time phase when we anchor the endpoint x ± 1 on the boundary between AdS and flat spacetime. The generalized entropy reads 13) 20 In the later, we will find that our most analytical approximations (at leading order) in the linear region present linear behaviors in time. One can consider some transition point ku ∼ 1 # as the endpoint for the linear region. 21 Note that the ku → ∞ and the T b → 0 limits of eq. (4.7) do not commute.

JHEP01(2021)065
with the integral term defined as (4.14) In order to minimize the generalized entropy, we need to solve the differential equations ∂ ± S gen = 0. Explicitly, we have To solve these equations, we will need the approximation for the time-map function f (u) in eq. (4.8) (and it's subsequent limits in eqs. (4.10), (4.11) and (4.12)), but we still need to carefully deal with the integral term that originates from the backreaction of the dilaton in the JT gravity. From the late time limit of eq. (4.15) we find which is the leading-order contribution to the integral at late times because the position of QES should be located near t ∞ , i.e. x + QES ∼ t ∞ ∼ t ∼ x − QES . As before, we start from considering the generalized entropy of the subsystem consisting of QM L and the whole bath (with its purification) by taking x 1 on the conformal boundary of AdS where we ignored the correction at the order O( f (u)). 22

Turn on the temperature of bath
From the intuition derived from studying the T b = 0 case in refs. [3,20], we expect the position of the QES after the Page time to satisfy We will therefore solve the extremal equations (4.15) by expanding around t ∞ . With the help of the approximations in eqs. (4.10), we can approximate the integral .
(4.19) 22 Recall the point on AdS boundary at proper time u is defined by t = f (u) = dt . (4.20) However, it is not easy to perform the above integral of t due to the appearance of time u. Instead, we apply the middle value theorem and find where v QES ∈ 0, y − QES is referred to as the middle value for the t integral from 0 to x − QES . Similarly, we can obtain the other integral I where we have ignored the first integral at the order O((x + QES − t ∞ ) 2 ), used mean value theorem for the second integral again with the same middle value v QES as before and considered the third integral as a function of x − QES with its Taylor expansion around . (4.23) Although we can not decide the middle value for any y − QES , it is easy to find T eff (v QES ) ∼ T 1 at the linear region with ku 1. Combining our assumptions (4.18) and the approximations of the integrals in eqs. (4.19) and (4.22), we can approximate the equations for QES by much simpler forms where we have defined 25) and only keep the leading-order contributions. The non-negative coefficient Γ eff approaches zero as the black hole reaches thermal equilibrium with the bath. For later use, we also present the numerical plot for Γ eff for various temperature in figure 9.
With the above equations, it is straightforward to find the solutions, i.e. the location of QES .
and further simplify the position of the QES to where the second term can be understood as the Hadyen-Preskill time, as will be explained later. It is noted that the time scale u HP is not constant in general because the black hole is also dynamical. For T b = 0, the solutions reduce to which is in agreement with the results of [3]. 23 Similarly to the zero temperature bath case, the QES moves towards the horizon at x + = t ∞ . However, we want to stress the importance 23 Here we explicitly write the right side as a function of time u which should be understood as the leading-order contribution. To be more precise, we can also use e

JHEP01(2021)065
of the role of the non-zero factor Γ eff that captures the speedup of the equilibration process because the thermal bath also emits radiation to the AdS region when T b = 0. Furthermore, we can also compare our new solutions with the explicit and linear solution found in [20]. Focusing on the Page transition within the linear region, we can further simplify the results for the position of QES and explicitly obtain where we can rewrite the time delay as the Hadyen-Preskill time in linear region. It is also easy to check that the above results are reduced to the linear results presented in [20] by setting T b = 0, i.e. Γ eff = 1.
After finding the position of the QES, we are able to consider the evolution of the generalized entropy (4.13). The generalized entropy is dominated by the classical area term from the dilaton which is approximated by the value of dilaton on the horizon at x + QES = t ∞ . Recall that Γ eff (y − QES ) is given in eq. (4.25). Comparing the area term (without divergences associated with short range entanglement) with the time delay in position of QES, i.e. eq. (4.28), we can rewrite the time shift as where we have restored the extremal entropy S 0 ≡ φ 0 4G N (see (2.10)) in the complete entropy S(u) of our dynamical black hole. Here we can explain the entropy S(u) as the density of state at time u and take S 0 as the ground state entropy associated with the value φ 0 . As discussed in [3], the time delay u HP appearing in y − QES can be understood as the Hayden-Preskill time.

Page transition
The subleading term of the generalized entropy is the bulk entropy which remains constant in the linear region with ku 1. As expected, it also reproduces the results in [20] after fixing T b = 0. In order to derive the Page time, we can also explicitly write generalized entropy at late time phase in the linear region which displays linear decrease (increase) of the generalized entropy after the Page transition for T b < T 1 (T b > T 1 ). Given the fact that the time delay u HP is a constant when T b = T 1 , it is obvious that the entropy S gen,late also reduces to a constant when T b = T 1 (see eq. (4.28)), which is the same as the result derived in eq. (3.27) for the equilibrium case. Shortly before the Page time, we can obtain the generalized entropy in the scrambling

JHEP01(2021)065
phase with 1 πT 1 u and ku 1 by where we put all other contributions in S Bulk into κ which approaches a constant when t = f (u) → t ∞ . 24 The leading-order terms of the generalized entropy in the scrambling phase (4.37) are a constant related to the entropy of the original black hole and two linearly increasing terms, i.e. 2kπ(T 1 + T b ), due to the entanglement of radiation escaping from the non-zero temperature bath and black hole, respectively. Because the temperature of black hole is approaching T b , we will show later that the linear increase is replaced by 2kπ(T 1 + T 1 ) term. 25 As a result, the generalized entropy at the scrambling phase increases indefinitely while that of the late time phase asymptotes to the entropy of a black hole with temperature T b , we expect there is a phase transition (Page transition) between them when S gen,scrambling = S gen,linear . This transition occurs at the Page time which decreases with the increase of T b for T b < T 1 , reaches a minimum at T b = T 1 and then increases for larger T b . In contrast, the generalized entropy at the Page time increases with the increase of T b . These linear behaviors are explicitly shown in the figure 7.
As a comparison, we represent the Page transition at linear region with T b ≥ T 1 . Lastly, we add that the expressions for the Page time in eq. (4.38) and the Page entropy in eq. (4.39) diverge for T b → 3T 1 . This is an artifact of approximating the coefficient Γ eff defined in eq. (4.25) by . However, if we include the subleading terms in Γ eff , we find that both of these quantities remain finite. We return to discuss this point in section 4.1.4.

Approach equilibrium
For the equilibrium situation studied in [19], the QES sat outside of the horizon, and resulting in part of the quantum extremal island being located outside the black hole. The same behaviour was found in section 3 -see eq. (3.18) -where the bath temperature 24 The analysis for the scrambling phase is similar to that in [20]. See the section 2.2.2 for more details. 25 Technically, this is due to the approximations for matches that of the black hole after it has absorbed the shockwave. Therefore in the present case where the two temperatures do not match, we still expect that as the black hole approaches its final equilibrium, i.e. in the late time phase with T eff ≈ T b , the QES will move outside of horizon at some critical temperature. 26 Ultimately, we wish to track the position of the QES for a black hole as a function of boundary time u starting with a temperature T 1 and the bath at some fixed temperature T b . However, the analysis is simplified by asking how with fixed u and T 1 , the position of the QES moves as we vary the bath temperature T b . With this approach, we can find different phases according to the position of QES as a function of the boundary time u • On the horizon: where the critical temperatures T c 1 (u) and T c 2 (u) will be derived in the following -see eq. (4.45).
If we extend the position (4.26) of the QES to the equilibrium case with Γ eff = 0, we find the QES is located on the horizon at x + = t ∞ , which is not what we found in section 3. Recalling the simplified solutions for QES (4.24), it is obvious that the non-negative term on the right-hand side, i.e.
implies we always have x + QES ≥ t ∞ . The solution to this puzzle is simple: all the approximations used in the previous analysis for the QES are based on the assumptions in 26 Similar behaviour was found in [28].

JHEP01(2021)065
eq. (4.18), which are invalid when T b is extremely near T 1 . Technically speaking, it is traced back to the fact that Γ eff = 1 − T b T eff 2 around this narrow region suppresses the leading-order contribution. In order to find the critical temperature for the transition of QES, we need to track the (some) sub-leading contributions which compete with the leading-order terms when Γ eff ∼ k. Although it is not easy to perform the integral I to next order, we can determine these corrections by perturbing from the equilibrium case at In other words, we can approach the critical temperature from regular T b and from T 1 = T b and look for all necessary corrections.
Instead of directly solving the QES equations for the equilibrium case, we can approximate the two equations (3.22) with x ± 1 = t by and where the leading-order contribution

QES
(positive) vanishes and we have to keep the next order correction t − x + QES (negative). The fact that the sub-leading term has the opposite sign to the (almost vanishing) leading term is what positions the QES outside the horizon, in contrast with the cases when T b is not perturbatively close to T 1 . From this lesson, we also need to keep that correction for Γ ∼ k where the leading order is competing with the sub-leading order. Adding this correction to (4.24), we need to correct the right side of the second equation by and arrive at 2 which now agrees with the results of section 3.
Comparing with the results of section 3, we can interpret the Γ term as a correction from equilibrium results, which is reinforced by the fact that Γ approaches zero as the which define a small region of temperatures where the QES is located outside the horizon. Lastly, we mention that since T eff approaches T b as the system thermalizes, even when T b is far from T 1 , the QES will eventually cross the event horizon for late enough times. This is to be expected since, as we claimed before, for ku → ∞, the system behaves as the equilibrium case studied in section 3. Indeed, when the QES is located outside the event horizon. By these times, the effective temperature is very close to the bath temperature T eff ≈ T b 1 ± 2k πT 1 , where the sign is determined by whether T b is greater or smaller than T 1 , and the correction parameter Γ eff ≈ 2k πT 1 is perturbatively small. For bath temperatures that are very close to T 1 , the QES is already outside of the event horizon by the Page time in eq. (4.38).

Overheated black holes
In the previous subsections, we derived the leading order expressions of the position of QES and discussed the importance of the subleading corrections when the bath temperature approaches T 1 with Γ ∼ k ∼ 0 because x + QES − t ∞ changes its sign after the transition point at T c 1 and T c 2 . Although we claim our previous approximations apply for arbitrary temperatures, it is obvious that our solution (4.26) appears singular at Γ = 4 and further it appears the sign of x + QES − t ∞ changes. It may appear that we have to consider next order corrections at another "critical temperature", i.e.
However, this is incorrect. The next order of correction can not help to solve this problem.
Aside from x + QES , the solutions for y − QES , x − QES (see eqs. (4.26) and (4.28)) show more problems because they are not well-defined when Γ ≥ 4. At linear order, the generalized entropy in the late-time phase of the overheated black holes increases very rapidly, as can be seen by the coefficient of the linear term (see (4.36)) This rate of increase in generalized entropy may appears larger than that in the scrambling phase where the speed is dominated by linear term (see (4.37)) where one contribution of (2kπT b u) comes from the radiation from bath and the other (2kπT 1 u and 2kπT b u) from the black hole (for which T eff ∼ T 1 at early times and T eff ∼ T b for late times). One may wonder whether that means we can find a critical temperature T c above which a Page transition doesn't occur because the generalized entropy in late-time phase increases faster than that from the scrambling phase. The answer is again no. All of the above questions or puzzles are actually due to the invalidity of the leadingorder contributions in the linear region for overheated black holes. Our complete solutions are valid for arbitrary temperatures T b outside of the critical region close to T 1 discussed in the previous section where subleading terms become important. One key ingredient to JHEP01(2021)065 consider is that Γ eff approaches zero with time, see the figure 9. For example, we always have Γ eff (T b = 3T 1 ) < 4 for u > 0. So there is no such new critical temperature at T b = 3T 1 . Another important fact is the delay of Page time with an increase of |T b − T 1 |. Compared to the Page time at T b = T 1 , the Page time with T b > # T 1 is pushed to a later time that guarantees we have Γ eff (u = u Page ) < 4. One might also wonder whether this time delay is really physical and why we should have a restriction on the initial time for the solutions at late-phase. Let's remark this restriction is reminiscent of what we have seen in the zero bath-temperature case and also the equilibrium case. More explicitly, the equilibrium case also presents this similar restriction on time u, i.e. the inequality (3.25). The final ingredient that prevents the late time solutions in eq. (4.26) from becoming singular is the high bath-temperature itself because it creates a new and large coefficient T 2 b /T 2 1 that enhances the next-order corrections to the linear region. For example, we can see those effects from the expansion of Γ eff , i.e.
where the second order correction cannot be simply ignored for large T b /T 1 . To verify that there is no divergence, we show the Page transition using numerics for the "critical temperature" T b = 3T 1 in figure 10. We also compare the position of the QES using our approximation (4.26) with numerical results and they fit well as for the small T b cases.

Page curve and thermalization
So far, we have focused on the evolution of the generalized entropy of the evaporating black hole up to times comparable with the Page time. As we will now show, we can also use the position of the QES in eq. (4.26), to find a full Page curve from u = 0 to the late time regime with e ku 1. The expected behavior of the generalized entropy S gen,late at late times is that the subleading corrections slow down the linear decrease (T b < T 1 ) or increase (T b > T 1 ) of the generalized entropy, which will eventually approach a constant S gen,late (T b ) corresponding to the entropy of a black hole with temperature T b , as derived in eq. (3.27). However, we cannot simply substitute solution into the definition of generalized entropy to derive its time evolution due to the absence of approximation for the middle value v QES at late times.
Instead of considering the generalized entropy itself, we can take the time derivative of S gen,late u, x + QES , x − QES as defined in (4.13)  Figure 11. The schematic diagram for Page curve of black hole coupled with a thermal bath at different temperatures. The red, black, and blue solid lines show the Page curve for a growing black hole with T b > T 1 , an external black hole at equilibrium status with T b = T 1 , and an evaporating black hole with T b < T 1 , respectively. The corresponding dashed lines present the generalized entropy at the late-time region, whose behavior is dominated by the linear term 4πT b ku as discussed around (4.50).
from the definition of QES. The time derivative in eq. (4.52) can be further simplified by taking the limits Taking a linear approximation of eq. (4.55) agrees with the results found in the previous section -see eq. (4.36). Furthermore, since T eff approaches T b for late times (e ku 1) the time derivative obviously decays to zero in this limit, implying the generalized entropy in the late-time region is indeed approaching a constant. We can then rewrite our generalized entropy at time u in late time phase in integral form

JHEP01(2021)065
where the start point is the generalized entropy at Page time S gen (u Page ) that has been derived at (4.39) in the linear region. Fortunately, the above integral is fully analytical and can be performed to yield (4.57) The dominant term is nothing but the black hole entropy with temperature T eff , i.e. (4.58) and the extra contributions from the leading order of the bulk entropy are all encoded in the value at Page time. Finally, combining with the generalized entropy at scrambling phase we found the expected Page curve by taking eq. (4.57) as the generalized entropy for the late-time phase. After quench-phase, the generalized entropy is decided by that in the scrambling phase and then jumps to the late-time phase after Page time. Finally, we remark that the generalized entropy at scrambling phase S gen,scrambling represents the fine-graining entropy because its increase is dominated by the increase of entanglement entropy from these thermal radiations emitting from the thermal bath and black hole itself. Whereas, the generalized entropy at the late-time phase obviously denotes the coarse-graining entropy, i.e. the area of the dynamical black hole, as shown in (4.58). As a summary, we show a diagram to presents the information about Page curve derived in the last several subsections in figure 11. In this subsection, we focused on the QES and generalized entropy of the subsystem consisting of QM L , the complete thermal bath, and its purification. Similar to the analysis in section 3.1 for T 1 = T b (see section 3.1 in [20] for the case with zero bath temperature), we can consider a smaller subsystem by cutting a bath interval [0, σ 1 ], corresponding to shifting the anchor point x ± 1 away from AdS 2 boundary into the bath with choosing y ± 1 = u ∓ σ 1 . However, it is not easy to perturbatively solve the QES in general because our order assumption (4.18) may break. Instead, we can begin with assuming another order condition Naively, the above condition requires that we do not put the anchor point near the shock wave in order to guarantee In other words, we can generalize the approximations in this subsection to the case with x 1 near AdS 2 boundary. In most places, we only need to change u, t to u−σ 1 , x + 1 . Finally, one can obtain the corresponding QES as

JHEP01(2021)065
from which we can find the y − QES is shifted in the way of Further, it is consistent with our numerical results and also the zero bath temperature case which is studied in section 3.1 of [20].

Simpler derivation of QES
In the above, we followed the analysis in [3,20] to derive the position of QES as shown in eq. (4.26). However, there is one undetermined middle value v QES appearing in many expressions due to integral over the dilaton profile (2.14). Comparing the results in eqs. (4.58) and (4.33), one finds the identify where corrections of order k are ignored. With the above approximation, we can simplify our results, e.g., by using T eff (y − QES ) rather than v QES . To confirm our result, we can derive the position of QES in a more direct way. It is based on the observation in [28,63] that the dilaton profile can be expressed without any integrals as 27 when the components of the stress tensor, T x + x + and T x + x − vanish. Correspondingly, we can rewrite the solution (4.15) from extremizing the generalized entropy as (4.65) Noting the small k expansion leads to the approximation f (y) ≈ 2πT eff (y) (t ∞ − f (y)) and our ordering condition (4.18), it is straightforward to find the derivatives of dilaton are approximated by , (4.66) 27 We thank Tim Hollowood and Prem Kumar for bringing this simple result to our attention. This expression is also discussed in detail in section 3.9 in their recent paper [28].

JHEP01(2021)065
where we note the fact that T eff (y) = ∂ y T eff (y) = −k 2T eff . Combining the above expressions with the approximations for the bulk entropy at x ± 1 = t, one can find the QES is determined by which is exactly equivalent to our result in eq. (4.24) after substituting eq. (4.63). Finally, we can find the position of QES as which is the same as (4.26). One can also easily find an approximation for dilaton profile where we ignored the derivative term T eff (y − QES ) as being order k.

Information flow
In the previous section, we studied the generalized entropy of QM L plus the whole bath and its purification. (Of course, since the entire system is in a pure state, we could also think of this more simply as the entropy of QM R .) In this section, we chop parts of the (purified) bath and discuss which intervals, together with QM L , are essential to having the ability to recover the information in the interior of the black hole. In contrast to the semi-infinite interval case studied in the previous section where the bulk entropy is described by the two-point function on the UHP, the generalized entropy instead has one more endpoint, i.e. x ± 2 (or y ± 2 = u ∓ σ 2 ) as the right end-point of the finite bath interval which can be used with QM L to recover the black hole interior. According to the position of x ± 2 after or before the shock, we can divide the generalized entropy into two cases.
We begin by examining the case where the end-point x ± 2 is located after the shock, i.e.
Similarly to the equilibrium case studied in section 3, we have two competing channels. The N-channel (where the black hole interior is non-recoverable) has the QES at the bifurcation point x ± QES = ± 1 πT 0 , and the generalized entropy for this channel showing in figure 4c is given by

JHEP01(2021)065
where φ QES = 2πT 0φr . When this channel is preferred, the entanglement wedge of the bath interval plus QM L does not contain the interior of the black hole. The R-channel (where the interior is recoverable) instead has the QES at the same location as the latetime phase QES. Correspondingly, the generalized entropy for this R-channel corresponding to figure 4c reads Evidently, when the R-channel is preferred, the entanglement wedge of the corresponding bath region plus the QM L system includes the interior of the black hole. To find the transition where the bath interval (plus QM L ) is able to reconstruct the black hole interior, we require i.e.
where we rewrite the left side as the simple part because S gen,late with σ 1 = 0 has been discussed in the last section. We will focus on analyzing the left-hand side of eq. (4.73) in the following calculations. When the right end-point y + 2 ≤ 0 is before the shock, we have two similar competing channels for the generalized entropy and also The condition for the bath interval to have ability to reconstruct the interior of black hole when the right end-point is located before the shock is then given by (4.77) Lastly, we remark that the N-channel and R-channel show the same divergence 2k log 1 2 , so the AdS cutoff is exactly canceled in the comparison and does not play an important role in the following calculations.

Regularization of shock wave
Before we discuss the condition for the finite bath-interval plus QM L (as shown in the figure 4c) to reconstruct the black hole interior, we can roughly estimate the region for y 2 that makes the above equalities hold by looking at the divergence structure of S N − S R with endpoint y 2 at special points. We will encounter an apparent paradox that will require a careful regularization for the region of the shock wave with the help of parameter E s /c.
Explicitly, we can take the endpoint y 2 to the IR cut-off, i.e. the limit σ 2 → ∞. It not hard to find the two competing channels show similar divergence for thermal bath with nonzero T b . However, with the bath at zero temperature, the

JHEP01(2021)065
divergence takes a different form in these two channels where is some finite length-scale. This difference in the divergence structure makes the R-channel preferred when y 2 is around the IR cut-off in the bath and guarantees the purification of the thermal bath is not necessary for the interior reconstruction. Now let us consider the limit of taking y 2 near the shock wave at σ shock = u, i.e. y + = 0. We have to consider approaching the shock from the region before the shock or after the shock. Under the limit y + 2 → 0 − , one can find which implies the N-channel is preferred (log(−y + 2 ) → −∞) 28 when y + 2 < 0 is located in the region around the shock. On the other hand, the limit y + 2 → 0 + (or x + 2 → 0 + ) leads us to where¯ is some finite length-scale.For the zero bath temperature case, the divergence structure is the same. 29 From the simple lesson coming from these divergences, it is obvious that the R-channel is preferred when y + 2 is located in the region near the shock but after the shock wave. This region for y 2 which allows the bath interval plus QM L to recover the interior of the black hole is shown in the left diagram in figure 12. This conclusion meets an obvious paradox because we can contain a larger part of the bath by moving the right end-point of the interval from the after-shock region to the pre-shock region. The above analysis implies that adding more bath interval surprisingly makes one lose the ability to recover the black hole interior. However, the above paradox appears just because we consider the shock-wave as a line located at σ shock = u. More precisely, the generalized entropy for the R and N-channel around the shock wave is disconnected. In order to solve this problem, we have to regularize the region of the shock wave and simultaneously make the generalized entropy a continuous 28 Taken at face value, the generalized entropy in the N-channel becomes negative for sufficiently small |y + 2 |. This is another hint that the shockwave needs to be regularized. 29 The 1 πT b in the last logarithm is replaced by some finite length scale˜ when T b = 0.

JHEP01(2021)065
function. In other words, we need to consider the entropy from one-point and two-point functions before-shock y + 2 < 0 after shock y + 2 > 0 S 12 log 12πEs The identifications S 2,before (y + 2 → −0) = S 2,after (y + 2 → +0) , S 12,before (y + 2 → −0) = S 12,after (y + 2 → +0) , fixes the two boundaries of shock-wave region as (4.83) Recalling the property of f (u) such as f (0) = 1, x = f (y) ∼ 0 ∼ y, we can take the energy of shock wave E s as a regulator and regularize the shock wave as a small region defined by which is independent of the temperature of bath as expected.
After identifying this small region as the shock-wave, we can take out this part from the bath interval and then make the generalized entropy connected when we move the endpoint y 2 from the after-shock region to the pre-shock region. The connectivity guarantees that we do not have the paradox about the ability of bath interval to recover the information of the black hole interior anymore. More explicitly, we will discuss this problem in detail in the next subsections.

Need for the purification
The conditions for a finite bath interval plus QM L in a zero temperature bath to reconstruct the interior of the black hole were discussed in [20]. Moreover, we found in section 3 that the equilibrium case with T b = T 1 , even the whole semi-infinite bath interval with QM L does not contain the appropriate information to reconstruct the interior of the black hole. Rather we had to also include its purification (or at least a portion of the latter). In the previous section, we have seen the difference in divergence structure between a nonzero temperature bath and that with zero temperature when y 2 approaches the IR cut-off between the bath and its purification. The smaller divergence of the leading term (4.78) in a zero-temperature bath guarantees we can use the whole bath interval y 2 → ∞ with JHEP01(2021)065 QM L to reconstruct the interior of the black hole. Obviously, this is expected because this subsystem as one part of the bipartite pure system will be able to reconstruct its complementary part, i.e. the black hole interior, after Page transition. A natural question is whether all bath intervals with non-zero temperature T b require a part of the purification in order to reconstruct the black hole interior. In this subsection, we show that only the bath interval with a temperature higher than the critical temperature T p in eq. (4.91) requires its purification.
To this end, we consider large bath intervals by putting the left end-point after the shock and the right end-point before the shock and focus on the inequality in eq. (4.77). The left-hand side of the inequality monotonically increases with y + 1 = u − σ 1 (u ≥ u Page ) and the right-hand side decreases, so the weakest condition for that inequality is choosing σ 1 = 0, i.e. anchoring the initial point of bath interval at AdS boundary, which satisfies our physical expectation. Let's move on to the condition for y + 2 by considering figure 4c and the corresponding conditions in eq. (4.77), i.e.

2k log
which implies the maximum of the left-hand side in above inequality is the value at the limit σ 2 → ∞. As expected, the weakest condition for the bath interval plus QM L to have enough information about the black hole interior is if we consider the entirety of the bath with σ 1 = 0 and σ 2 → ∞. The condition to recover the interior of the black hole is then given by It is useful to notice that the right-hand side decreases with time u and the left-hand side increases for T b < T 1 and decreases for T b > T 1 . 30 As a result, the inequality cannot hold for T b > T 1 because the maximum of the left-hand side is bounded by 2k log 12Est∞ . This implies that in the setup where the bath heats up the black hole (T b > T 1 ), the bath and QM L systems are never able to reconstruct the black hole interior. We now focus on the evaporating black hole model (T b < T 1 ) and take the late-time approximation (4.12) at e ku 1 for which the l.h.s. gives a constant (4.88) 30 It is easy to show that from the approximation (4.11) and (4.12) because the dominated term for involve from 2kπT1u to 2kπT b u.

JHEP01(2021)065
Correspondingly, the r.h.s. reaches its minimum at the same late-time limit The inequality from generalized entropy in eq. (4.87) then yields the condition for the temperature of bath Finally, we can find the critical temperature of bath is which defines the lowest bath temperature for which the purification of the bath is needed to reconstruct the interior of the black hole. It is interesting to note that the critical temperature is also near T 1 due to the ansatz T 0 ∼ T 1 . However, it is different from the critical temperatures T c 1 and T c 2 in eq. (4.45) because the former depends on T 0 , the temperature of original black hole, while T c 1 and T c 2 are independent of T 0 . To summarize, a bath with a temperature T b < T p admits finite bath intervals plus QM L to reconstruct the interior of the black hole. When the temperature of the bath increases beyond T p , even the whole semi-infinite bath interval plus QM L does not have enough information for interior reconstruction if part of the purification is not included. Lastly, we can also change the left end-point σ 1 rather than taking it to the AdS boundary (σ 1 → 0) and do a similar late-time approximation to obtain the constrains on bath temperature. As expected, we find a stronger condition and get a smaller critical temperature for the reconstruction of information in black hole. We should also note the chopping off too much of the bath interval by taking the initial point from σ 1 = 0 to a finite one also may make the thermal bath interval plus QM L lose essential information to reconstruct the black hole interior if σ 1 is too large. The size of the bath interval we can ignore is also restricted by where we have assumed the bath temperature is not too small.

Finite Bath interval
In this subsection, we will assume the bath temperature is lower than the critical T p and discuss how much bath interval needed in order to reconstruct the black hole interior and in particular, what is the closest we can bring the right end-point σ 2 to the AdS boundary and still reconstruct the black hole interior. The two competing channels are described in JHEP01(2021)065 figure 4c.This analysis can be understood as an extension of the late-time protocol of [20] to the thermal bath model. Let's first assume we only need the bath interval after the shock to which the radiation of black hole escapes. Taking the time slice at u after the Page time and putting the left end-point of the bath interval at the AdS boundary (σ 1 = 0), the bath interval we are looking for satisfies eq. (4.73) which imposes a constrain on the size of the bath interval, i.e. the value of σ 2 (u). Assuming we can have πT 1 y + 2 1 (or f (y + 2 ) ≈ t ∞ ) and still stay at the linear-region with ku < 1, we can recall the approximation again (4.95) Then the above inequality leads us to or equivalently which constrains the size of the bath interval able to reconstruct the black hole interior. By setting T b = 0, we recover the results reported in [20] (see eq. (3.61) and eq. (3.62)). It is also clear that the thermal bath with T b T 1 obviously breaks the that inequality, implying we cannot find a bath interval with only QM L able to recover the information in the black hole. This conclusion is consistent with that found in the previous subsection. However, we also want to stress the validity of the condition (4.97). One can find the critical value around the Page time is not physical, i.e. πT 1 as a solution around Page time. However, the value is so small that it is actually located in the shock-wave region. As a result, it means we cannot find a bath interval able to reconstruct the black hole interior with only the region after the shock wave at the Page time. One can look at the eq. (3.59) in [20] as an example of this. The calculation is similar and we do not repeat it here because the value of small y + 2 in that region is not really physical after the regularization of the shock-wave. After the Page time, the critical y + 2 will exponentially increase and move quickly to the linear region as shown in eq. (4.97). The allowed region for the endpoint of y + 2 is shown in the right plot in figure 12.
Taking the lesson from the zero-temperature case, we can expect that the linear growth of y + 2 is suppressed with the time evolution and finally y + 2 (u) will approach a null surface. In order to show that explicitly, we should take the late-time (e ku 1) approximation in eq. (4.12) and use the following approximations where we also keep the second-order contribution e −ky + 2 /2 because the condition e ky + 2 1 is not guaranteed. Combining all these approximations, the condition (4.94) becomes (4.100) When T b = 0, we get the final null surface for critical y + 2 as which agrees with the result in [20]. For non-zero T b , the analytical solution is written as where X represents the right side in (4.100) and W (z) is the Lambert W-function or product logarithm defined by z = W (z)e W (z) . As a summary, the time dependence of y + 2 (u) is shown in the right plot in figure 12. It is clear that the constant ∆y 2 indicates how much early radiation is not necessary in the reconstruction of black hole interior. Lastly, we show the numerical plot for position of the final null surface as a function of T b /T 1 in figure 13. As expected, it decays with the increase of T b and stops at a point extremely near T 1 because the value at is smaller than zero.

The role of purification
In the previous subsection, we focused on a finite bath interval with the bath temperature lower than the critical temperature T p derived in eq. (4.91) because we wanted to omit the purification of the bath itself. To reconstruct the black hole interior at higher bath temperatures, i.e. to observe a Page transition, we need to include (a portion of) the purification. For simplicity, we take one endpoint of the finite bath interval on AdS boundary with σ 1 = 0 and ask how large the bath interval [0, σ 2 ] needs to be to reconstruct the black hole interior. Concretely, we consider the purified bath interval with temperature T b > 0 and discuss the condition for QM L , a finite bath interval [0, σ 2 ] (where partial Hawking radiations reside) and the full purification to reconstruct the interior of the black hole. 31 31 The T b → 0 limit has some subtleties here. The "purification" of the bath with zero temperature is a pure state coupled to the bath system by direct product. Thus, the purification of the bath does not help with interior reconstruction because it is a fully unentangled region and the corresponding R-channel is defined by S R = S gen QES−1 + S2 + S 1 2 -line , which cannot be derived from (4.103) by taking the limit T b → 0. The reason is that, for T b = 0, the holographic (3D) spacetime for bath interval and its purification is

JHEP01(2021)065
Similar to the equilibrium case shown in eq. (3.28), the two competing channels showing to figure 4b are defined as where the condition for reconstruction is decided by S N − S R ≥ 0. Most pieces in the above two equations have been discussed in the last subsection (see eqs. (4.70) and (4.71)) in details except for (4.104) In the limit σ IR → ∞, we can rewrite that extra term as (4.105) where we pick up a time slice after the Page transition, the first two terms denoting the thermal entropy of a half-line can compensate the same divergence appearing in S 1 2 -line and the last term is the same as the one-point function contribution S 2 appearing in the case without purification, i.e. eq. (4.71). Physically, we can explain the third term 2πT b y − 2 as the entanglement from the thermal radiation generated by the thermal bath. That extra term is traced back to the inclusion of the purification and the negative sign reflects the fact that the bath interval is entangled with its purification. As a result, we can expect the introduction of purification can help fulfill the condition for reconstruction as we will show below.
First, let's work on the simple linear region with ku 1. Adding the new contributions (4.104) in eq. (4.94) and taking the linear approximations in eq. (4.95) again, the condition S N − S R ≥ 0 can be rewritten as a restriction on the length of the finite bath interval ∆σ = σ 2 , i.e.
where we also have assumed πT 1 y + 2 1 (or f (y + 2 ) ≈ t ∞ ). Comparing to the finite bath interval without purification, i.e. eq. (4.96), we see that introducing the purification decreases the minimal length of the necessary bath interval for reconstructing the interior defined by two separated regions rather than a smooth and connected spacetime, as in the T b = 0 case, where the entanglement between two regions glues the spacetime. However, note that the naive T b → 0 limit would leave one IR divergent term since S N − S R ∼ c 6 logl σ IR .

JHEP01(2021)065
late-time approximation with e ku 1 on S N − S R ≥ 0 and derive the constraint (4.111) As expected, it returns to the result shown in eq. (3.32) for the equilibrium case by setting T b = T 1 . As a final remark, we point out that the minimum of the dimensionless length scale k∆σ turn (at leading-order) is realized at the near-equilibrium case with T b = T 1 2 T 1 T 0 − 1 . A simple numerical plot is also shown in the right figure 13. The interesting feature we want to highlight is that when the black hole is evaporating, we need more bath interval to recover the interior of the black hole, while a thermalized black hole requires less bath interval in which less of the outgoing Hawking radiation is located.
In the above, we have seen how including the entire purification of the thermal bath allows for the reconstruction of the black hole interior. The next natural question is how much of purifier is really necessary for this reconstruction, as was considered in section 3.3 for the equilibrium case. In order to investigate that question, we consider a subsystem with QM L , a bath interval [0, σ 2 ] and a finite interval [0,σ 3 ] in the purification (on the time sliceũ 3 ). As shown in figure 4d, the generalized entropy for the two competing channels are defined as where the three endpoints are taken as a point on the AdS boundary with y ± 1 = u (i.e. σ 1 = 0), the bath point y ± 2 = u ∓ σ 2 in the region II and the point withỹ ± 3 =ũ 3 ±σ 3 in the purification region, respectively. As before, the two terms S gen QES−1 , S gen QES + S 1−2 are given by eqs. (4.71) and (4.70), respectively. We only need to consider two new ingredients, i.e. (4.113) which can be derived from the counterparts with point y ± 3 in the region IV by the map πT bỹ First of all, it is easy to find that we can retrieve the results in the last subsection (see (4.104)) where we include the full purification region, by pushing the third pointσ 3 to the IR cut-off surface withσ 3 → σ IR ∼ +∞ (i.e. approaching the null surface in the spacetime of bath's purifier). More explicitly, we can define the difference due to the finiteσ 3 , i.e.
(4.114) as ∆S NR-NR . Equipped with the above difference for the two configurations in figures 4c and 4d , we can discuss the result of cutting part of the purification in the reconstruction. Noting that the dependence onσ 3 only appears on ∆S NR-NR , one can easily find the JHEP01(2021)065 due to the simple facts that coth x ≥ 1 for x ≥ 0 and | tanh x| ≤ 1. The above positive derivative shows that S N − S R monotonically increases with the increase of σ 2 , implying that it is easier to reconstruct the black hole interior by including a larger interval in the bath. We can then rewrite the condition for this subsystem to reconstruct the black hole interior as where (S N − S R ) σ 3 →∞ is positive if and if the condition in eq. (4.96) or (4.111) is satisfied. Because the maximum of ∆S NR-NR is defined asσ 3 → ∞ and is zero, we always have ∆S NR-NR < 0 for a finiteσ 3 , indicating that we need to include more bath interval than the critical length σ * 2 (u) (derived in eq. (4.96) or (4.111)) in order to make the channel with a finite portion of the purification recoverable. Recalling the σ 2 -dependence of (4.107), we can find the following decomposition (4.117) where we ignored the extra terms without dependence on σ 2 ,σ 3 . Then we can simply take the results in the above subsection to derive the necessary conditions for σ 2 andσ 3 . However, it is more convenient to define the length of the finite bath interval beyond the critical value as 32 δσ 2 = σ 2 − σ * 2 (u) , (4.118) which helps us to show the effect of including more bath interval and cutting part of the bath purifier. It is straightforward to rewrite the necessary condition (4.116) to support the recoverable channel for the linear region (ku 1) as by noting the approximation (4.95) and its result ( Noticing the other approximation (4.12) and the simple relation (S N − S R ) σ 3 →∞ = 2cπ 3 πT b δσ 2 in the late-time region, one can find the condition for reconstructing the interior of black hole reads (4.121) Then it is easy to find that the r.h.s. of the above equation can be reduced to four cases where one of them vanishes, implying we need to consider the regime with 2π(T 1 +T b )δσ 2 1, and other three cases at late-time region retrieve the results derived in (3.49). Finally, we also comment the above linear dependence would like appear for the time region between the two limits due to the complicate dependence of entropy on σ 2 . However, if we only focus on a small perturbation with δσ 2 /σ * 2 1, (T eff + T b )δσ 2 1, we can calculate the derivate of (S N − S R ) σ 3 →∞ with respect to σ 2 and find the following expected result where the two terms on the r.h.s. describe the entropy of radiation located on the small region [σ * 2 , σ 2 ] and emitted from the black hole and the thermal bath, respectively. Starting from the subsystem with QM L , bath interval with the critical bath length σ * 2 and all purification, the above inequalities in eqs. (4.121) and (4.122) tell us how much bath interval we need to include if we want to exclude part of the purification inσ = [σ 3 ,σ IR ]. Needless to say, we can interpret these inequalities in the opposite way, e.g., 33 Then we can learn how much bath's purifier is necessary for reconstruction for a fixed bath interval [0, σ 2 ] plus QM L . In particular, we specify an interval in the purifier by both its lengthσ 3 and the time sliceũ 3 on which it is placed in the spacetime of purification region. First, we observe from (4.123) if |ũ 3 | is very large both of the two expressions with absolute values on the right-hand side would be very large. That is, for very large |ũ 3 |, we would need a large interval in the purifier withσ 3 ∼ |ũ 3 | to recover the black hole interior. Varying over the time sliceũ 3 , we find that the "optimal purifier" with smallest length is determined bỹ

JHEP01(2021)065
present results are analogous to those illustrated for the equilibrium case in figure 5. That is, from eq. (4.124), the optimal purifier lies anywhere on a band of time slices centered at u 3 = −y − 2 /2 and with width ∆ũ 3 = In this band, the length of the purifier interval is given by the expression above. Therefore when δσ 2 /σ 2 is small, the optimal purifier is simply an interval of lengthσ 3 = y − 2 /2 on the time sliceũ 3 = −y − 2 /2. In this subsection, we have discussed the necessity of the thermal bath's purification when the bath temperature is beyond the critical temperature and also the constrain on the length of the bath interval and its purifier. To complete the explorations on the role of purification, the last question we ask is what is the minimal length of the bath's purifier. Of course, we have shown it is zero when T b ≤ T p . For a bath system with higher temperature, it is natural to expect that the length of the bath's purifier is minimal when the entire bath interval is included in the subsystem for reconstruction. Making some more efforts, one can find that expectation is true by showing ∂ σ 1 (S N − S R ) ≤ 0 and ∂ σ 2 (S N − S R ) ≥ 0. It means that the best for reconstruction is including all the bath interval with σ ∈ [0, σ IR ]. In the limit σ 2 → σ IR ∼ +∞, one can read the entropy two completing channels as where the entropy for the two-point function S 1−IR is defined in (4.74) with taking σ 1 = 0, σ 2 = σ IR and the last new ingredient S 3−IR is derived as Similar to the calculations for critical temperature, one can find the condition S N − S R is rewritten as where we can easily see that more purification interval is more helpful for the reconstruction. Taking σ 1 = 0 and late-time limit e ku 1, we can finally find the minimal purifier is constrained bỹ which is irrelevant to the choice ofũ 3 . And note that the r.h.s. is positive when T b T p as we illustrated around (4.91).

Summary and discussion
In this paper, we continued our investigation [20] of the AEM 4 Z model [1,3] describing a joining quench in a doubly-holographic framework. The most interesting questions concern the two-dimensional dynamics describing black hole evaporation (or growth). Invoking

JHEP01(2021)065
holographic duality (twice), the generalized entropy becomes purely geometric and its evaluation is tractable in this dynamical setup. In the three-dimensional holographic dual, the black hole geometry contains a Planck brane where Jackiw-Teitelboim gravity is localized. At finite temperature, there is a new ingredient: a horizon in the three-dimensional bulk, beyond which the second asymptotic boundary purifies the two-dimensional thermal state in the bath. Despite this difference, we have shown that the Page curve still exhibits three distinct phases (quench, scrambling, and late-time equilibration), as in the zero-temperature case. However, there are several new qualitative features in both the scrambling and late-time phase.
As in the zero temperature case, the quantum extremal surface remains at the bifurcation point in the initial quench phase and then jumps out from the original horizon in the scrambling phase where the generalized entropy shows a(n almost) linear increase with the physical time. From the first holographic level, the increase in entropy is due to the two-way exchange of quanta between the bath and black hole, which is why the linear increase is proportional to T 1 + T b . From the perspective of the doubly holographic model, the increase in generalized entropy is related to the end-of-the-world brane falling deeper into the bulk towards the horizon of the three-dimensional black hole.
After the Page time, the system enters the late-time phase in which the black hole approaches an equilibrium state with the black hole. However, the evolution of the black hole is determined by the temperature of the thermal bath. For a bath with a temperature which matches that of the post-quench black hole T b = T 1 , this equilibration is immediate and the generalized entropy is constant throughout this phase. For a lower temperature bath with T b < T 1 , the black hole evaporates and loses some of its mass, similar to the zero temperature case in [1,3,20]. Since the black hole not only emits Hawking radiation but also receives the thermal radiation from the bath, the black hole can also grow when the bath temperature satisfies T b > T 1 . At the extremely late time, the system will finally equilibrate with the bath temperature, and the entanglement entropy approaches its equilibrium value. Figure 11 illustrates these three possible scenarios.
We also found that the position of the late-time extremal surface relative to the event horizon of the black hole depends on the temperature of the bath. In the evaporating black hole models (with a bath at zero temperature) of [1,3,20], the late-time extremal surface lies inside the horizon -in fact, it lies inside the horizon throughout the entire evolution of the black hole. Correspondingly, the information of the region outside of the black hole could not be reconstructed by QM L + bath. On the other hand, in the equilibrium configuration studied in [19], the extremal surface is located outside of the event horizon. The equilibrium case studied in section 3 reproduces this behavior with the QES located outside the event horizon -see eq. (3.18). Hence in these cases, the information just outside of the event horizon could be reconstructed by QM L + bath after the Page time. Moreover, at any temperature, the black hole eventually equilibrates with the bath, and the system is qualitatively similar to the equilibrium case. Indeed, for any temperature, after a time of ku ≥ log 1 − , the QES is already outside of the event horizon at the Page time. One may ask why the behaviour of our black holes where only one side is in equilibrium with the bath matches that of the eternal two-sided black holes studied in [19], where there is an equilibrium with a thermal bath on both sides. However, this is relatively obvious from the holographic perspective since the HRT surfaces are really probing identical portions of the three-dimensional bulk geometry in the island phase for both cases.
As noted above, the appearance of QES outside of the horizon was first found in [19] for an eternal AdS 2 black hole coupled with a thermal bath. This same behavior was also seen in higher dimensional holographic systems [17,36]. A similar phenomenon is also found at black holes in asymptotically flat spacetime, e.g., [23,27]. A dynamical QES crossing the horizon (similar to our present results) was also found for an evaporating black hole in JT gravity [28]. As discussed around eq. (3.19), while the QES may extend outside of the horizon, it is never very far from the horizon. These results may imply that we should consider some quantum corrections to the event horizon in order to extend the boundary of the interior of black hole, e.g., taking the stretched horizon [64] as a surrogate for the event horizon. Then the QES can be seen to stay outside the classical event horizon but inside the stretched horizon [23]. However, let us add that in the higher dimensional holographic systems studied in [16,17], this effect can be understood in terms of entanglement wedge nesting [65,66] After deriving the Page curve with three phases as shown in figure 11, we further focused on investigating the ability of various subsystems consisting of QM L and different parts of the bath interval to reconstruct the black hole interior -see figure 4 for the competing channels for every case. As we first demonstrated in the equilibrium case of section 3, the reconstruction of black hole interior always requires at least part of the purification of the bath. Of course, the key difference from the scenario with the evaporating black hole coupled to a zero temperature bath [1,3,20] is that our bath here begins in a mixed state before the quench whereas in the previous studies the bath begins in a pure state (i.e. the CFT vacuum). Hence, part of the purification of the bath becomes essential for interior reconstruction when the bath temperature is higher than the critical temperature T p ∼ 1 2 (T 1 + T 0 ) T 1 , as given in eq. (4.91). This requirement arises for two reasons: first, the thermal bath radiation in the interval containing the Hawking radiation must be purified to distill information about the black hole interior. Second, after the quench, thermal radiation from the bath falls into the black hole entangling the black hole interior with radiation in the purifier. That is, part of the entanglement initially shared between the bath and its purifier is transferred to the black hole interior and the purifier. So information about the black hole interior is spread to the purification although, of course, none of the Hawking radiation enters this region.
A simple example where the importance of the purifier was seen was the case where the black hole and the bath were in equilibrium, i.e. with T b = T 1 > T p . In this case, the reconstruction of the black hole interior with QM L , a finite bath interval [σ 1 , σ 2 ] at some time u, and a restricted portion [0,σ 3 ] of the purifier at another timeũ 3 was considered JHEP01(2021)065 in section 3.3. There, the bound (3.49) on the purifier interval sizeσ 3 necessary for reconstruction can be given a physical interpretation in figure 5 as the requirement that [0,σ 3 ] captures purifier quanta entangled with out-going thermal bath radiation in 0 < y − < y − 2 , shown in red in the left panel of figure 5. Given the thermofield double preparation of the bath and purifier, the relevant purifier quanta are those marked by dashed wavy lines in the right panel of figure 5. The bound (3.49) then corresponds to the minimal interval in the purifier which captures these quanta. Namely, if the bath interval has a length that is only above-critical by a few thermal lengths, then the requisite purifier interval must capture essentially all of the quanta marked in the right panel of figure 5, e.g., see the blue interval. If the bath interval exceeds the critical length with a large margin σ 2 − σ 1 − ∆ turn , then the amount of the marked quanta that must be captured by the purifier interval is reduced proportionately, e.g., see the green interval. This discussion, however, leaves open the question of why the 0 < y − < y − 2 section of bath thermal radiation is important to begin with. One might argue that the bath radiation in y − 1 < y − < y − 2 obfuscates the Hawking radiation captured by the bath interval [σ 1 , σ 2 ], so that purifying this section of bath thermal radiation is beneficial. One may also argue that 0 < y − < y − QES contains thermal bath radiation eaten by the quantum extremal island, so its purifier would contain information about the island. But, it also seems that the bath radiation in the in-between range y − QES < y − < y − 1 is not pertinent. In particular, if one is free to discard the purifier quanta for this radiation, then it should be possible to reduce the interval length of [0,σ 3 ] beyond what is allowed by (3.49) in some cases where σ 2 − σ 1 exceeds ∆ turn by many thermal lengths.
One may ask why the previous effects are not always important. That is, why is there a critical bath temperature T p below which no portion of the purifier is needed to recover the black hole interior. Certainly, there are many physical effects that come into play here, e.g., the redundancy of the encoding of the black hole interior in the Hawking radiation [20], but remarkably the critical temperature T p can be derived with the following simple intuitive argument: 34 Recall that in the usual black hole evaporation (with T b = 0), the Page phase arises when the naive entropy of the Hawking radiation exceeds the Bekenstein-Hawking entropy of the black hole. Of course, we now understand that this conflict is resolved by the formation of a quantum extremal island, and hence a portion of the black hole interior is reconstructable in this phase. When the black hole is coupled to a finite temperature bath, the appearance of the critical temperature T p indicates that islands form for lower bath temperatures but not for higher temperatures, when keeping track of modes in the mixed state of the bath (along with QM L ). But in turn, we can understand this as indicating that for T b < T p , one reaches an inconsistency where the naive entropy of the bath (including the Hawking radiation and also QM L ) exceeds the entropy of the black hole and the bath purifier. But no such inconsistency arises for T b > T p . Examining this latter perspective in more detail below then allows us to derive the critical temperature T p .
That is, we consider the necessity of islands at late times in the evolution of the system. First, we observe that the (coarse-grained) Bekenstein-Hawking entropy provides a bound

JHEP01(2021)065
Now combining eqs. (5.5) and (5.6), we find at late times Finally, combining eqs. (5.3) and (5.4) together with eq. (5.7), we find that our assumption of no islands leads to where we recognize the r.h.s. as the expression (4.91) for T p . Thus, T p corresponds to the bath temperature above which the inequality (5.2) can be satisfied at late times without introducing any island. Conversely, to satisfy the entropy bound (5.2) for T b < T p , an island must be introduced at sufficiently late times and as a result, the black hole interior may be reconstructed from QM L and the bath alone, without the bath's purifier. Alternatively, for T b > T p , reconstructing the black hole interior requires additional information from the purification. This argument provides further intuition for understanding the critical temperature T p than perhaps offered by the initial calculations leading up to (4.91) in section 4.2.2. Furthermore, for the lower bath temperatures T b < T p , we found that with the subsystem comprising only QM L and a finite bath interval, as shown in figure 4c, it is possible to reconstruct the black hole interior in section 4.2.3. The length of the minimal bath interval for reconstruction increases with the physical time and approaches a linear increase as shown in eqs. (4.96) and (4.102), and as summarized in figure 12. After including the purification in the subsystem as presented in figures 4b and 4d, we considered the reconstruction of the black hole interior in section 4.2.4 with a general bath temperature T b , i.e. interior reconstruction also becomes possible for T b > T p . We first found that the black hole interior is reconstructable with any bath interval above the shock-wave with a length larger than ∆ turn ∼ T 1 −T 0 4kT 1 , given in eq. (3.32) for the equilibrium case. For the evaporating and thermalized black hole, the interval length required for interior reconstruction increases with time as shown in (4.108). Since late time behavior should be similar to the equilibrium case, one finds as expected, the minimal interval length for late times asymptotes to a finite constant which is defined as ∆σ turn in eq. (4.111). The two above results are illustrated in figure 14.
Recent explorations on QES and Page curves inspire the island formula for the quantum systems coupled to gravity [1]. Although we do not explicitly apply the island formula in our analysis, it is clear that the island region emerges in the recoverable channel, as shown in figure 4. Without knowledge of the island formula, we can also derive the same results and desired Page curve because we can apply the RT formula in the doubly holographic models. In other words, RT formula knows about the existence of the island. On the other hand, it is also possible to get the right answer by noting the entropy of a subsystem in a pure state equals the entropy of its complementary part. For example, we can easily find JHEP01(2021)065 that the entropy of QM R after Page transition is defined by S QES−1 with y 1 on the AdS boundary. Taking the pure state as the whole system, we simply know S QES−1 also defines the generalized entropy of QM L , entire bath interval, and its purification (see figure 4a ), which implies the Page curve for that subsystem. However, this approach does not work for mixed states because the entropy of a subsystem in a mixed state generally does not agree with the entropy of its complementary part. Let's construct a mixed state as an example by tracing out the bath's purification. Then the complementary subsystem of QM R consists of QM L and only the entire bath interval. Correspondingly, the generalized entropy of this complementary system is defined by the minimal entropy between the two channels (see figure 4c with σ 2 → σ IR ) It is obvious that neither of the above two terms equals the entropy of QM R , i.e. S gen QES−1 . More importantly, we have shown S N is always preferred when T b T p , which indicates the entanglement wedge of the corresponding subsystem with QM L and any thermal bath interval does not contain the island region.
As a final remark, let us comment on an important lesson from our results for the reconstruction of the black hole interior. It is obvious that the emitted Hawking radiation carries out information about the black hole. Although all the Hawking radiation is only stored in the finite interval [0, σ shock (u)), our studies on the reconstruction for a black hole coupled to a finite temperature bath indicate that the information describing the black hole interior is not contained solely within this part of the bath (along with QM L ). Rather we see that in this situation, the black hole and Hawking radiation (i.e. [0, σ shock (u)), the bath region) are entangled with a complicated environment comprising QM L , the remaining bath interval and the bath purifier, and hence the information about the black hole interior is distributed in a complicated way over the whole system. Of course, as identified above, the new physical mechanism contributing to the information flow in the present situation is the incoming radiation falling from the bath onto the black hole, which entangles the black hole interior with the purifier (and possibly distant regions in the finite temperature bath). For example, we found that when the bath temperature satisfies T b > T p , reconstruction always needs the purification even if we already have all of the Hawking radiation and QM L . On the other hand, we also found that the QM L plus only a smaller bath interval [0, σ 2 (u)] with e πT 1 (u−u Page ) 1 and σ 2 < σ shock (u) is also sufficient to recover the information of the black hole interior when T b < T p in section 4.2.3 (see the right panel of figure 12). This means that we actually do not require all of the Hawking radiation. The information inherited in the ignorable (early-time) Hawking radiation located at [σ 2 , σ shock ] is shared by other parts of the system. This reflects the redundancy of the encoding of the black hole interior in the Hawking radiation discussed in [20].

JHEP01(2021)065
Jingxiang Wu and Beni Yoshida for useful comments and discussions. Research at Perimeter Institute is supported in part by the Government of Canada through the Department of Innovation, Science and Economic Development Canada and by the Province of Ontario through the Ministry of Colleges and Universities. HZC is supported by the Province of Ontario and the University of Waterloo through an Ontario Graduate Scholarship. RCM is also supported in part by a Discovery Grant from the Natural Sciences and Engineering Research Council of Canada. JH is also supported by the Natural Sciences and Engineering Research Council of Canada through a Postgraduate Doctoral Scholarship. RCM also received funding from the BMO Financial Group. RCM and ZF also received funding from the Simons Foundation through the "It from Qubit" collaboration.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.