Abstract
The black hole information loss paradox has long been one of the most studied and fascinating aspects of black hole physics. In its latest incarnation, it takes the form of the firewall paradox. In this paper, we first give a conceptually oriented presentation of the paradox, based on the notion of causal structure. We then suggest a possible strategy for its resolutions and see that the core idea behind it is that there are connections that are non local for semiclassical physics which have nonetheless to be taken into account when studying black holes. We see how to concretely implement this strategy in some physical models connected to the ER=EPR conjecture.
Introduction
Throughout the years, black holes have proven to be one of the primary sources for clues towards a better understanding of the principles underlying a putative theory of Quantum Gravity (QG). In particular, Hawking’s calculation of black hole radiation [23], and the subsequent development of the debate around the Black Hole Information Paradox (BHIP) and the Page Time Paradox (PTP) have played a pivotal role in clarifying their farreaching impact on our understanding of physics. While black holes have been the ideal playground for studying many technical problems regarding quantum field theory in curved spacetime and semiclassical gravity, they play an even more critical role as catalysts for a better conceptual understanding of QG. For example, Hawking believed that BHIP showed that QG must be nonunitary [23], while AMPS believe that it shows that the equivalence principle is violated at the horizon [6].
Philosophers did not ignore the importance of the conceptual study of black holes. Works of this type are [43] and [8]. However, both articles deal with variations of BHIP and PTP, which revolve around Hawking’s original idea that black hole physics might be nonunitary (and ways to avoid this conclusion). Nevertheless, most contemporary highenergy physicists are not usually concerned with the unitarity of black hole physics (which especially among string theorists is taken to follow from the AdS/CFT duality [7, 27], where unitarity is a standard feature of the boundary CFT), but rather with the structure of the interior of the black hole. The firewall paradox, also known as the AMPS paradox from the initials of its authors [6], plays a central role. Our goal as philosophers of physics is to study the conceptual foundations of the firewall paradox and to explore how dropping an implicit assumption on the structure of spacetime, what we call spacetime distinctness, resolves it. In particular, we highlight, by looking at concrete physical examples, how recent discussions regarding the resolution of the firewall paradox [2,3,4, 24, 26, 33,34,35] appear to rely crucially on this strategy. We do not claim, of course, that our discussion is in any way exhaustive of the possible solutions to the firewall paradox.^{Footnote 1} We are also bracketing, for this paper, the various philosophical issues related to the proper definition and understanding of black holes [9].
To clarify the AMPS paradox’s conceptual structure and its resolution, we rely on the notion of causal structures which we develop in Section 2. The upshot of our analysis is that the firewall paradox crucially depends on the assumption that relativistic locality, i.e. that only causal curves can carry causal influences, broadly understood in term of counterfactually robust correlations, is preserved in QG and that a natural way to resolve the paradox is to drop this assumption.
This work is of interest to both physicists and philosophers working on the foundations of black holes and QG. The conceptual insights provided by our analysis both serve to elucidate the philosophical foundations of the topic and help researchers in this field gain a better appreciation of the tools they are using. This way, we bridge the gap between the two communities, furthering the study of black holes as both a technical and conceptual topic.
The paper is structured as follows: in Section 2, we introduce the basic notion that we use throughout the rest of the paper to extract the firewall paradox’s conceptual content: causal structures. In Section 3, we give a conceptually oriented introduction to the firewall paradox and study it in terms of causal structures. In Section 4, we study some concrete physical models connected to the ER=EPR conjecture and at the core of recent discussions of the firewall paradox, and clarify that they solve the paradox precisely by dropping spacetime distinctness. Section 5 then concludes.
Causal Structures
We begin by introducing the notion that we employ throughout this article to analyze the firewall paradox:

(CS) Causal Structure: given a theory T, we say that the causal structure according to the theory T is given by a set of spacetime regions/objects (with their physical state) and a relation R which determines if two objects/regions of spacetime can or cannot be causally related.
To start, let us observe that when we talk about causal connections, this is done mostly for ease of exposition. By causality, we only mean that there are robust counterfactual connections between entities. No more robust notion of causality is assumed. The reader who prefers a stronger notion of causality is free to substitute for our talk of causality talk of robust counterfactual connections.^{Footnote 2}
To get a feel for this notion, let us use it in the case of General Relativity (GR). Here, the theory T is just GR, and the objects of the theory are spacetime points.^{Footnote 3} To capture the causal structure of the theory, then, we can define a relation R_{LC} of being connectable by a causal curve. This relation obtains between two spacetime points p and q if and only if a causal curve can connect them. Observe that this relation captures GR’s locality properties since it entails that only spacetime points connectable by a causal curve can be in causal contact.
Moreover, entanglement relations, since they define robust counterfactual connections, as observed in [29], also define a causal structure. In this case, the background theory would be QM or QFT, and the objects would be quantum systems. The relation defining the causal structure would then be R_{E}, i.e. being entangled with, obtaining between two quantum systems A and B if and only if they are entangled.
Black Hole Paradoxes
In this section, we start by briefly reviewing various paradoxes regarding black holes to provide background for our subsequent discussion of firewalls.^{Footnote 4} In particular, we follow [43] in distinguishing between two main paradoxes: BHIP (Section 3.1) and PTP (Section 3.2). Then we introduce the firewall paradox (Section 3.3) and discuss its interpretation in terms of causal structures (Section 3.4).
Black Hole Information Paradox
BHIP concerns the nonunitarity of the complete evaporation of a black hole.^{Footnote 5} Consider an evaporating black hole as in Fig. 1. We can distinguish three regions in the diagram: (I) the preformation region, i.e. the collapse of a star into a black hole; (II) the evaporation region, i.e. the region in which the black hole starts evaporating due to the emission of Hawking quanta; (III) the postevaporation region, i.e. the region in which the black hole has evaporated. Hawking showed that the quantum state outside the black hole in the region (II) is in a mixed state, i.e. that the state is perfectly thermal [23]. In other words, the quantum state of the Hawking radiation is determined only by macroscopic properties of the evaporating black hole, i.e. its mass, charge and angular momentum. In turn, Hawking radiation being exactly thermal also means that we cannot retrodict the state of the star collapsing into the black hole. The information encoded in this state should then be stored elsewhere, and the only possibility is the interior of the black hole.^{Footnote 6} Nevertheless, since the black hole eventually completely evaporates, this is only possible in region (II). Indeed, there are no slices in region (III) from which we can retrodict the state of the collapsing star, and thus there cannot be unitary evolution from the region (I) + (II) to region (III). It is a controversial issue whether one should take BHIP as an argument for the nonunitarity of black hole evaporation [30, 41, 42] or as a true paradox. However, we do not take a specific stance on this issue since nothing in this article depends upon it.
Page Time Paradox
Page presents a different paradox which applies long before the evaporation time [32].^{Footnote 7} Consider the black hole to be a thermodynamic system in a pure state, which we describe via a microcanonical ensemble, i.e. an ensemble whose (thermodynamic) entropy S_{MC}, where MC stands for microcanonical, is given by:
where \(\mathcal H\left [E(t)\right ]\) is the Hilbert space of the system at some time t and energy E(t).^{Footnote 8} Moreover, given a composite quantum system, define the von Neumann entropy^{Footnote 9} of one of its subsystems as
where ρ is the reduced density matrix of that subsystem.
Since the black hole was in a pure state before evaporation, then by unitarity at any time t after the evaporation started the composite system of the black hole and the Hawking radiation should be in a pure state. If one thinks of the radiation and the black hole as subsystems, then their Von Neumann entropies give the amount of entanglement between them and must be the same. We thus simply speak of S_{V N}. In particular, S_{V N} increases with the emission of Hawking quanta entangled with the interior. Moreover, we assume that each Hawking quantum is entangled with an interior mode, to maintain the black hole plus radiation system in a pure state. Therefore, if black hole evaporation is unitary, S_{MC} bounds S_{V N}, since S_{MC} is proportional to the dimension of the Hilbert space of the black hole (1), and there cannot be more interior modes that the dimensionality of the black hole’s Hilbert space. We call this bound the Page bound:
The black hole cools down through evaporation and loses energy emitting Hawking quanta in a perfectly mixed state, which means that the microcanonical entropy S_{MC} decreases over time. On the other hand, S_{V N} increases with the number of emitted Hawking quanta, since each Hawking quanta is entangled with an interior mode.^{Footnote 10} Therefore there must be a time t_{P}, called the Page time, at which the bound (3) saturates, which means that all interior modes are entangled with a Hawking quantum. The Page time t_{P} is also when the microcanonical entropy of the radiation becomes bigger than the microcanonical entropy of the black hole. The resulting curve, which initially grows with S_{V N} and then decreases with S_{MC}, is the Page curve (see Fig. 2).
Consequently, since after t_{P} there cannot be enough interior modes to keep the composite system of black hole and radiation in a pure state, one would expect the violation of the bound (3) and the nonunitarity of the evaporation process. The way to avoid this conclusion is for the latetime Hawking radiation^{Footnote 11} not to be entangled with an interior mode, but with something else. The only possibility is that it is entangled with the earlytime radiation, i.e. the Hawking radiation emitted at times t < t_{P}. In this way, the early radiation purifies the late, keeping the state of the black hole plus radiation system pure. Moreover, the entanglement entropy of the Hawking radiation decreases after t_{P}, respecting the bound (3). The entanglement between early and late radiation implies that the Hawking radiation is not perfectly thermal, since there are nontrivial correlations among its constituents. Nevertheless, Hawking showed that the radiation is perfectly thermal. Therefore we have a contradiction. This is the nature of PTP: the inconsistency between the prediction of naive^{Footnote 12} semiclassical gravity (Hawking’s calculation) and black hole statistical mechanics (the entropy bound (3)). PTP occurs long before the evaporation time. Indeed, it occurs at the Page time t_{p}, approximately half of the evaporation time for a Schwarzschild black hole.
A resolution of PTP is offered by the AdS/CFT correspondence, within which one can show that the prediction of black hole statistical mechanics is the correct one.^{Footnote 13} Thus black hole entropy follows the Page curve, grows with time until t_{P} and decreases afterwards, and the bound (3) is not violated.^{Footnote 14}
The Firewall Paradox
While the discussion around PTP has centred around arguments in favour or against the unitarity of black hole physics, said (non) unitarity is not exhaustive of the range of possible black hole paradoxes. In particular, in this section, we describe the firewall paradox developed in [6] (henceforth we refer to the authors of this article as AMPS), which threatens the possibility of constructing a consistent theory of the interior. To start, let us follow AMPS in taking the following four postulates (originally formulated in [40] and widely accepted among highenergy physicists^{Footnote 15}) to be reasonable assumptions that any theory of black holes should satisfy:
 Postulate 1:

The process of formation and evaporation of a black hole, as viewed by a distant observer, can be described by a unitary Smatrix encoding the evolution from infalling matter to outgoing Hawkinglike radiation.
 Postulate 2:

Outside the stretched horizon^{Footnote 16} of a massive black hole, physics can be described to a good approximation by a set of semiclassical field equations.
 Postulate 3:

To a distant observer, a black hole appears to be a quantum system with discrete energy levels. The dimension of the subspace of states describing a black hole of mass M is the exponential of the Bekenstein entropy S_{MC}.
 Postulate 4:

A freely falling observer experiences nothing out of the ordinary when crossing the horizon until the singularity is approached. Another way to say this is that no observer ever detects a violation of the known laws of physics.
AMPS showed that these four postulates are inconsistent. Indeed, take an evaporating black hole, fix a spatial hypersurface at time t > t_{p}, and consider its Hawking radiation. Divide the black hole plus radiation system into three subsystems: early radiation E, late radiation L and the interior partners to the late radiation B. As we have seen in the previous section, the fact that the Hawking radiation is in a pure state means that the late radiation L and the early radiation E should be entangled. Indeed, a subsystem of a bipartite system in a pure state is maximally entangled with its counterpart. Therefore, since the combined system of early and late radiation is pure (a consequence of Postulate 1), then the early radiation and the late radiation should be maximally entangled. Moreover, if there is no drama at the horizon (Postulate 4), the late radiation L is fully entangled with the modes behind the horizon B. Indeed, for an infalling observer, the geometry near the horizon can be locally identified with a Rindler horizon via a coordinate transformation:
which turns the Schwarzschild metric into
the metric corresponding to Rindler spacetime.^{Footnote 17} Fields in the left Rindler wedge are maximally entangled with fields in the right Rindler wedge. Therefore a mode L outside the horizon must be maximally entangled with a mode B inside the horizon. Thus the composite system, made of E, L and B, has two features: L is maximally entangled with both E and B.
However, a fundamental property of entangled systems is what in quantum information is called the monogamy of entanglement: a quantum system can be maximally entangled with only one quantum system at a time. Equivalently, monogamy of entanglement says that there is an upper bound on the independent degrees of freedom with which a given quantum system can be entangled, given by the number of independent degrees of freedom of the quantum system itself. Thus the four postulates are in contradiction with the monogamy of entanglement. This contradiction is known as the firewall paradox.^{Footnote 18} AMPS proposed that L and B are not entangled, but are instead in a product state. Since L and B being in a product state means that close to the horizon Rindler space is not a good model for spacetime, the assumption that an observer does not see anything out of the ordinary there [Postulate 4] is not reliable. Indeed, if there is no entanglement between L and B, B is not entangled with anything. On the other hand, L is still entangled with E, which purifies it. Therefore the state of B is characterized by its reduced density matrix, which is thermal.^{Footnote 19} The thermal nature of B leads to a high concentration of energy at the horizon, which can be suggestively described as a wall of fire, hence the notion of the firewall.
The existence of firewalls implies that a nontrivial theory of the interior is impossible since the interior would always be characterized by the same thermal state, i.e. the firewall. As such, no interesting theory of the black hole interior would be possible in the presence of firewalls.
AMPS and Causal Structures
Let us now clarify where the tension lies in the firewall argument of AMPS. The standard formulation of the paradox is useful in showing the incompatibility of the four postulates. What remains unclear is where precisely the conflict giving rise to the incompatibility between relativity and quantum theory lies. To make clear what is the conceptual origin of this conflict, we make use of the notion of causal structure.
Beyond the four postulates listed, the fact that B and E are separate systems plays a fundamental role in the paradox. For black holes, the distinctness between B and E is justified because B lies behind the horizon of the black hole. B is thus causally isolated from L and E since, within the fixed spatial hypersurface at 2 time t > t_{p} used to formulate the AMPS paradox, the exterior and interior of the black hole are spacelike separated.^{Footnote 20} However, this is not an assumption as innocent as it might sound: it is equivalent to the claim that relativistic notions of separability and locality, based on spacelike and causal connections, are retained in the regime of QG. Let us focus on this point, as it will be crucial in the rest of this paper.
As we have mentioned, to ensure the violation of monogamy, and thus the firewall paradox, one has to regard B and E as distinct systems, where by distinct we mean that their degrees of freedom are independent. This fact follows from monogamy of entanglement giving an upper bound on the number of independent degrees of freedom with which a certain quantum system, in our case L, can be entangled. Indeed, (i) we know that B and E are spacelike related since, at fixed t, one is in the interior and the other in the exterior of the black hole. Furthermore, (ii) from the study of QFT (and in particular of Algebraic QFT^{Footnote 21}) we have come to accept that if two algebras of observables^{Footnote 22} are mutually commutative, then they represent two distinct systems,^{Footnote 23} since, when this is the case, their degrees of freedom are completely independent. From the axiom of microcausality, (iii) we have that the algebras of observables connected to two spacelike related regions must commute, i.e. \(\left [\mathfrak {N}(\mathcal X),\mathfrak {N}(\mathcal X^{\prime })\right ]=0\), where \(\mathfrak {N}(\mathcal X)\) and \(\mathfrak {N}(\mathcal X^{\prime })\) are the algebras of observables associated to two spacelike related regions \(\mathcal X\) and \(\mathcal X^{\prime }\). Thus, from (i)(ii)(iii), the two systems must be distinct.
Note however that the microcausality axiom encodes the locality properties of classical relativistic spacetime since it relies explicitly on the notion of spacelike separation, which we have no guarantee will be retained at the level of quantum spacetime. Thus we have to assume that this notion of locality, developed for relativistic spacetimes, can be extended seamlessly beyond GR. If this were not the case, then B and E might not be distinct at the quantum level, opening the door to resolving the paradox by observing that there is no violation of monogamy since B and E are not distinct systems which implies that their degrees of freedom are not independent and that L is entangled with fewer degrees of freedom than those manifest in the semiclassical description (more on this in Section 4).
We have thus seen that to the four postulates above, AMPS (implicitly) add a fifth one:
 (SD) :

Spacetime Distinctness: spacelike separated systems are distinct, i.e. mutually commuting.
With this in mind, we can then reformulate the paradoxical conclusion of AMPS as follows: in a black hole spacetime, we have three subsystems L, B and E, such that B and L are distinct systems, i.e. \(\mathfrak {N}(B)\) commutes with \(\mathfrak {N}(L)\), and they violate the monogamy principle, i.e. L is maximally entangled with both B and E.
To better keep track of the various moving parts of the AMPS argument, and to elucidate its conceptual content, let us recall the definition of causal structure:
 (CS) :

Causal Structure: given a theory T, we say that the causal structure according to the theory T is given by a set of spacetime regions/objects (with their physical state) and a relation R which determines if two objects/regions of spacetime can or cannot be causally related.
To recast the AMPS paradox in terms of causal structures, let us take as our objects quantum systems and let us consider two different relations, which define two different causal structures. One is the relation R_{LC} of being connectable by a causal curve that we have encountered in Section 2, which defines what we call the causal structure of spacetime. The other is the relation R_{ME} of being maximally entangled, which defines what we call the causal structure of entanglement, and is a slight restriction of the relation R_{E} seen in Section 2. The core claim of AMPS is then that, under the four postulates detailed in Section 3.3, there are three quantum systems L, B and E such that R_{ME}(L, B) and R_{ME}(L, E), and B and E are distinct, which follows from ¬R_{LC}(B, E), i.e. B and E are spacelike related. Our four assumptions (supplemented with spacetime distinctness) are then in violation of the monogamy of entanglement (see Fig. 3). In other words, combining the causal structure of spacetime and entanglement by simply superimposing them leads to a contradiction. To resolve this paradox, one has three possibilities:

(i) accept ¬R_{ME}(L, B), i.e. L and B are not entangled. This is AMPS’ answer and implies a firewall at the horizon.

(ii) accept ¬R_{ME}(L, E), i.e. L and E are not entangled. This answer is equivalent to Hawking’s calculation and implies the nonunitarity of black hole evaporation.

(iii) accept that B and E are not distinct. This answer implies, as we see in Section 4, the modification of the causal structure of spacetime.
The solution that we study in this paper is (iii). Let us briefly remark why we think it is more promising than (i) and (ii). First of all, (i) entails the violation of the equivalence principle of GR since it implies that freely falling observers do not experience the gravitational vacuum at the horizon but instead meet the firewall. Since the equivalence principle is one of the fundamental insights of GR, one should be careful about renouncing it. As regards (ii), there is a violation of unitarity. However, the nonunitarity in Hawking’s calculation comes from Plank scale effects which take place at the end of the evaporation process. On the other hand, the AMPS paradox occurs long before this time, when semiclassical gravity and effective field theory are still approximately valid descriptions. As such, it is unclear how this violation of unitarity might arise in this context. Moreover, as we have observed at the end of Section 3.2, unitarity seems to be a core aspect of quantum theory and to be retained in quantum gravity, at least insofar as one can trust arguments based on the AdS/CFT correspondence. As such, both (i) and (ii) seem to imply the violation of well justified, though not immune from revision, principles. On the other hand, (iii) would imply, as we remarked above, that the relativistic notion of locality does not apply to quantum spacetime.^{Footnote 24} However, the justification for thinking this seems to be shakier than the other principles discussed. To our knowledge, there is no explicit argument in defence of this claim. As such, we take it that before accepting (i) or (ii), one should at least test the viability of (iii), as it requires milder revisions to the fundamental principles of physics than its alternatives.
Observe that the causal structure formulation allows us to clarify the dependence of the paradox on a precise notion of when two systems are distinct, something that is not evident from the formulation of AMPS. Furthermore, this way of expressing the paradox allows us to connect explicitly with previous discussions on the supposed nonlocal character of entanglement [25, 29]. This feature is traditionally associated with having spacelike separated systems which are however entangled. In the language of causal structures, this means that for two quantum systems A and B, it can be the case that R_{ME}(A, B) while ¬R_{LC}(A, B). While this connection has been the source of many conceptual puzzles, results such as the no signalling theorem and discussions such as that of [25] have convinced philosophers and physicists alike that entanglement cannot violate locality in any observable way. Since entanglement does not violate locality, one might naively expect that the two causal structures can be combined by superimposing them without modifying one or the other. What AMPS show is that this expectation cannot survive in the context of quantum black holes. While the single entanglement connections between pairs of spacelike separated quantum systems are not problematic, the overall pattern of spacetime and entanglement connections remains incompatible. Indeed, one can generate situations, such as that of AMPS, where there are three or more distinct^{Footnote 25} maximally entangled quantum systems, something which should not be possible according to the rules of quantum entanglement.
Entanglement and spacetime structures are not compatible, despite the careful considerations that led some to think they were. We lacked the theoretical tools to capture the consequences of this incompatibility, theoretical tools that were finally developed in the study of quantum black holes, and put to use by AMPS. Understanding the extent of this incompatibility, and showing how to overcome it, is the task of any resolution of the firewall paradox.
No Firewall on the Horizon
In this section, we analyze route (iii)’s resolution of the firewall paradox. Before delving deeper into this topic, however, it is useful to recall the basic setup of Section 3. First of all, we have begun in Sections 3.1 and 3.2 by reviewing the two central paradoxes in black hole physics: BHIP and PTP. In particular, PTP shows the incompatibility of unitary evaporation, as encoded in the Page curve of the black hole entropy, with Hawking’s original description of black hole radiation [23]. We have also seen that AdS/CFT has been argued to show that unitary evaporation ultimately is the correct option. However, as shown in [6], unitarity is still not sufficient to give a consistent description of black holes and, in particular, of the interior. Indeed, one runs into the firewall paradox (Section 3.3): from four reasonable postulates, one can derive a situation violating the monogamy of entanglement. Furthermore, we have proposed to study the conceptual structure of the firewall paradox in terms of causal structures (Section 3.4). In this framework, the paradox arises as an incompatibility between the causal structures of entanglement and spacetime. In particular, we have seen that a fundamental ingredient for the paradox to arise is (SD), which is equivalent to the claim that the spacetime causal structure of GR is imported in the final theory of QG.
While AMPS have suggested that one should resolve the paradox by positing that the infalling observer encounters a firewall of high energy quanta at the horizon, retaining (SD) at the cost of the equivalence principle, such a way to resolve the paradox is not the only one possible. In particular, we have argued in Section 3.4 that dropping (SD) is a viable approach to resolving the paradox. In this section, we are going to introduce some concrete physical models which are at the centre of recent discussions among physicists regarding the resolution of the firewall paradox [2,3,4, 24, 26, 33,34,35] and argue that they avoid the paradox by instantiating the violation of (SD). This analysis serves to show that these various approaches all share the same basic conceptual strategy and to better appreciate its implications. These models have been constructed in the context of AdS/CFT^{Footnote 26} and, in particular, they are instances of the ER=EPR conjecture [26].^{Footnote 27} However, let us stress that these models do not strictly depend on the conjecture’s truth but rather provide evidence for it since they can be constructed (somewhat) independently of ER=EPR. Ultimately we will see that the nonlocal connections characteristic of the ER=EPR conjecture, and concretely instantiated in these models, engineer the violation of (SD) in which we are interested. Thus how ER=EPR avoids the firewall paradox is a paradigmatic instance of route (iii)’s strategy for resolving the paradox. Insofar as the reader is sanguine regarding the prospects of ER=EPR, our discussion provides evidence that the paradox’s solution lies in the violation of (SD). For the reader to be more sceptical about the prospects of these approaches, we show that the violation of (SD) resolves the paradox in certain specific models and clarify what this resolution implies while leaving open if the same strategy applies to more general cases.
We proceed in Section 4.1 by discussing the instructive, though not realistic, case of the eternal AdS black hole where we can see how ER=EPR undermines (SD) fundamental to the AMPS paradox. In Section 4.2, we then move to the case directly relevant to the AMPS paradox, that of an evaporating black hole formed from gravitational collapse.^{Footnote 28}
Eternal Black Holes
Let us start from the case of eternal AdS black holes, following the treatment of [26]. While these are not the evaporating black holes generated from gravitational collapse, for which the AMPS paradox applies, they can still be instrumental in testing and developing ideas regarding black holes’ structure. In particular, the purpose of starting from the case of a twosided black hole^{Footnote 29} is that it serves a useful pedagogical role since it allows to phrase various questions regarding the interior structure of black holes to a level of precision hard to attain in the context of standard, evaporating, onesided black holes.^{Footnote 30} It is thus useful to start from this most basic case.
Eternal AdS black holes are holographically dual to a couple of entangled CFTs (called the left and right CFT depending on which of the two exterior regions of the AdS black hole they describe) in the socalled thermofield double state:
where E_{j} are the energy levels of the CFT and β = 1/T, where T is the temperature of the black hole, j〉_{L} and j〉_{R} are states in the left and right CFT. The core of ER=EPR is the conjectured equivalence between entangled systems and wormhole geometries, i.e. that between any two entangled quantum systems there is a wormhole, possibly of Planckian size.^{Footnote 31}
The eternal AdS black hole has a dual interpretation: we can either understand it as a system made of two entangled black holes or as two black holes connected by a wormhole. This dual way of looking at eternal AdS black holes is at the heart of the ER=EPR proposal. Indeed, the eternal AdS black hole is a particularly special case of the ER=EPR conjecture, in the sense that we do not need to modify the classical geometry of the black hole to get ER=EPR. As it were, the wormhole is already there in the eternal AdS black hole. In particular, no quantum wormhole is needed to verify the conjecture in this case, only classical geometry, making the subsequent discussion much easier. The basic lessons that we learn in this case, however, carry over also to the more realistic cases that we treat later, where no such convenient semiclassical picture is available. The semiclassical features of the eternal AdS black hole are at the heart of how ER=EPR solves the AMPS paradox. To see why let us start by constructing a firewall like situation in the context of the eternal AdS black hole (Fig. 4). We start at time t by taking a pair of entangled qubits A and B, on the right side of the twosided eternal black hole, with A behind the black hole horizon and B outside the horizon. Let us now apply a CPT transformation^{Footnote 32} to A. Since this transformation is a symmetry, sends t into − t, and exchanges left and right, we get a qubit \(A^{\prime }\), equivalent to A, at time − t in the left exterior region of the black hole. Furthermore, it is clear from the Penrose diagram, that we can evolve \(A^{\prime }\) into A with the bulk equations of motion. Let us write this as \(A^{\prime } \rightarrow A\). In particular, \(A^{\prime }\) is entangled with B since we just applied a CPT transformation to A, and A is entangled with B. Since A is a qubit, it has three components A_{i} where i = 1,2,3, which are Pauli matrices. We thus have that:
Since, however, by forwards time evolution with the bulk equations of motion, we have that \(A^{\prime }\) evolves in A, we can also write:
To arrive at this result, we have relied on the fact that we can view the eternal AdS black hole as a wormhole connecting two horizons. A crucial step was the forwards time evolution of \(A^{\prime }\) in A, relying on \(A^{\prime }\) passing through the wormhole, as evident in Fig. 4. However, we also know that we can regard the eternal AdS black hole as two entangled black holes, which means that we can evolve qubits in the left exterior (dual to the left CFT) independently from the right exterior (dual to the right CFT) since these are just two disconnected spacetimes. In particular, if we evolve \(A^{\prime }\) forwards in time up to time t, with the left CFT Hamiltonian, we obtain the qubit \(A^{\prime \prime }\), which is naturally understood as the holographic dual to a qubit living on the left horizon.^{Footnote 33} Since \(A^{\prime \prime }\) is just the product of evolving forwards in time \(A^{\prime }\), it carries the same information (in the sense that they are related by a unitary operator, the left CFT Hamiltonian). In particular, it is entangled with B, giving us a firewall like situation. At t, we have a qubit B entangled with a qubit in the interior (A) and a distant, far away qubit (\(A^{\prime \prime }\)). Here B is equivalent to L in our formulation of AMPS while A is equivalent to B, and \(A^{\prime \prime }\) to E (remember Fig. 3). It would thus seem that we have here too a violation of the monogamy of entanglement. However, we can immediately see the resolution of this apparent paradox. Since \(A^{\prime \prime }\) follows from applying the left CFT Hamiltonian to \(A^{\prime }\), and \(A^{\prime } \rightarrow A\), we can also write \(A^{\prime \prime } \rightarrow A\).^{Footnote 34} But then we can substitute \(A^{\prime \prime }\) for \(A^{\prime }\) in (8), giving us:
Equation (9) resolves the apparent violation of monogamy that we have engineered since it tells us that A and \(A^{\prime \prime }\) are not independent qubits (since they do not commute). As such, it is not the case that B is maximally entangled with two different systems, leading to a violation of the monogamy of entanglement. Since A and \(A^{\prime \prime }\) are not distinct systems, B is entangled with only one system, represented by both A and \(A^{\prime \prime }\), in a fundamentally nonlocal manner. The mistake in the reasoning which led us to an apparent violation of monogamy was the (background) assumption of (SD), which told us that two spacelike separated systems must commute, and thus be distinct. Since A and \(A^{\prime \prime }\) are spacelike separated, it was only natural to assume that they were two different, distinct systems. What our analysis shows is that, in the context of the eternal AdS black hole where ER=EPR is already a feature of the semiclassical geometry, the assumption of (SD) falls apart, which is the essence of (iii)’s resolution of the AMPS paradox. Even spacelike separated, distant objects can still nonetheless depend on each other, and thus not be distinct objects after all.^{Footnote 35}
This analysis is best understood in the language of causal structures (CS). In Section 3.4, we have seen that the monogamy paradox can be recast as the mismatch between the causal structure of spacetime and the causal structure of entanglement. Since R_{ME}(A, B) and \(R_{ME}(A^{\prime \prime },B)\) while \(\neg R_{LC}(A^{\prime \prime },A)\), which, by (SD), implies that \(A^{\prime \prime }\) and A are distinct systems, we come to the conclusion that B is maximally entangled with two distinct systems, violating monogamy. The way ER=EPR allows us to resolve the paradox, in the context of the eternal AdS black hole, is by defining a more general causal structure, characterized by the relation R_{WH} of being non trivially connected, which obtains if and only if two entities A and B can non trivially influence each other. A nontrivial influence is manifested by the presence of counterfactually robust correlations between A and B. We call this the generalized causal structure.
Observe that it is always the case that we can embed the causal structure of spacetime and entanglement in the generalized causal structure, by observing that both R_{ME} and R_{LC} are supposed to produce robust counterfactual correlations. However, and here lies causal structures’ usefulness in understanding the ER=EPR resolution of AMPS, in certain situations such an embedding is not an isomorphism, i.e. there are systems connected by R_{WH} which are connected neither by R_{ME} nor R_{LC}. Indeed, in the eternal black hole in AdS, the wormhole connects the left and right exterior, making it possible to have a nontrivial connection between A and \(A^{\prime \prime }\), despite their not being entangled and being spacelike related. Indeed, it is this nontrivial connection, captured by R_{WH}, which leads to the violation of (SD), as per (iii).
The eternal AdS black hole serves as a simple motivating case to understand how violations of (SD) naturally emerge in the study of black holes. We can now move on, in the next section, to the study of evaporating black holes formed from gravitational collapse. Let us, however, remark once more the most critical intuition underlying the ER=EPR conjecture: it is the idea that the overall structure of spacetime, as it emerges from QG, is much more complicated than its naive semiclassical description would lead us to believe. There are many more connections that are not accounted for by merely thinking in terms of causal curves, and these connections are central to a proper understanding of black holes. Furthermore, while in some lucky cases (such as the eternal AdS black hole) we can understand these connections in geometrical terms as wormhole geometries, in other cases this is not possible. Instead, we have to resort to the more general idea of there being connections absent in the semiclassical description, imaginatively called planckian or quantum wormholes in [26]. These nonlocal (from the perspective of semiclassical spacetime) connections are the heart of the ER=EPR conjecture and lie at the core of the constructions described here.
Evaporating Black Holes from Gravitational Collapse
In this section, we study the firewall paradox in a situation where the black hole is formed from gravitational collapse and can evaporate, a problem studied extensively in [35].
As we already said, the black hole in AdS spacetime considered in Section 4.1 is not evaporating, since it has reflecting boundary conditions, and cannot give a real example of the firewall paradox. Indeed, the conformal boundary of AdS reflects the Hawking quanta into the black hole, reaching thermal equilibrium since the number of emitted and reflected quanta compensate (see Fig. 5).
A strategy one can consider to build an evaporating black hole is the following: take a black hole formed from collapse and place it into a spacetime whose boundary is not completely reflecting, i.e. in a spacetime that permits some Hawking quanta to escape outside the AdS boundary. In this case, the emitted Hawking radiation will be larger than the Hawking radiation coming back into the black hole, since some of the radiation has escaped outside the boundary. The black hole, then, slowly evaporates. The more radiation we permit to escape from AdS, the faster the black hole evaporates. This procedure can be made precise within the context of AdS/CFT by coupling the boundary CFT to an auxiliary reservoir \(\mathcal H_{rad}\), using absorbing boundary conditions. Furthermore, we assume that \(\mathcal H_{rad}\) is a large holographic system, which allows the (holographic) encoding of the Hawking radiation into \(\mathcal H_{rad}\) (see Fig. 6).
How can we incorporate H_{rad}, and thus the escaping Hawking radiation, into the analysis of Section 4.1? Take for instance a quantum of late Hawking radiation L, which, after the Page time, is entangled with some interior modes B and with the early Hawking radiation E, thus having a monogamy problem. As in the twosided black hole case of Section 4.1, where the interior mode A was encoded in the left CFT, the interior mode B is encoded in the boundary theory. In particular, for onesided evaporating black holes, the mode B is encoded in \(\mathcal H_{rad}\).^{Footnote 36} Before the Page time t_{p}, \(\mathcal H_{rad}\) encodes only the early Hawking radiation that escapes from the boundary of AdS. After the Page time, t_{p}, \(\mathcal H_{rad}\) also encodes B, despite it being in the interior and thus unable to reach the boundary. This fact signals the breakdown of the semiclassical picture since we have two spacelike separated systems B and E, which live in the same CFT \(\mathcal H_{rad}\). Thus, there is no problem for the late Hawking radiation L to be entangled with both the interior mode B and \(\mathcal H_{rad}\) (which encodes the escaped early radiation E), since, as in the case of the eternal AdS black hole, the first statement implies the second one. Since the interior mode B is encoded in \(\mathcal H_{rad}\), entanglement with B implies entanglement with a mode in \(\mathcal H_{rad}\). Equivalently, (SD) is violated since we have two spacelike separated systems, one inside and one outside the black hole, B and \(\mathcal H_{rad}\) (which encodes E) which are nonetheless not distinct systems. Their not being distinct is a consequence of the fact that B is encoded in \(\mathcal H_{rad}\), which equivalently means that B is a part of \(\mathcal H_{rad}\). Thus, the two systems cannot be distinct.
From the perspective of causal structures, we can analyze this situation in the same way in which we have studied the eternal AdS black hole of Section 4.1. The paradox is that it seems to be the case that R_{ME}(L, B) and R_{ME}(L, E), while ¬R_{LC}(E, B), which by (SD) implies that B and E are two distinct systems, violating monogamy. However, as we have seen in this section, although E and B are spacelike separated, they are not distinct. Indeed, after t_{p}, B is holographically encoded in \(\mathcal H_{rad}\) and therefore connected with E. This new connection can be encoded via R_{WH} and corresponds to a connection which is captured neither by R_{LC} nor by R_{ME}. Again, the generalized causal structure (defined via R_{WH}) captures the structure of the black hole that goes beyond the semiclassical approximation, which relies only on R_{LC} and R_{ME}. In particular, R_{WH} encodes those connections which show that the two systems B and E which, from the perspective of the causal structure of spacetime and entanglement, are distinct and separated, are interdependent and connected, thus violating (SD).
Furthermore, this is again the same intuition of ER=EPR, that the semiclassical picture of spacetime crucially fails in the context of black holes in taking into account nonlocal connections that are neither causal curves nor entanglement relations. One of the main advantages of the causal structure approach is that we can naturally show the underlying strategy behind the different proposals for resolving the AMPS paradox that we have studied thus far.
Conclusions
In this paper, we have seen how the AMPS paradox appears to threaten the consistency of black hole physics and how dropping the implicit assumption of spacetime distinctness allows us to overcome it. The core of our work is the notion of causal structure. In particular, this notion helped us in highlighting the role of (SD) and in making explicit the link between various strategies for constructing the interior of the black hole, as explained in Sections 4.1 and 4.2. Furthermore, causal structures make clear the sense in which ER=EPRlike connections imply a violation of semiclassical locality.
Interestingly enough (SD) being violated seems reminiscent of the basic idea of black hole complementarity [40], i.e. the idea that the interior and the exterior are two noncommuting descriptions of the same physics. It would then seem that the models that we have analyzed provide a precise incarnation of black hole complementarity by instantiating the violation of (SD). However, understanding the connection between (SD) and black hole complementarity, and how the ideas of this paper can help black hole complementarity out of the disrepute in which many philosophers of physics hold it is beyond the scope of this paper and will be left for future works.
Furthermore, it is far from clear that the nonlocality involved in the constructions we have studied is not problematic. A task of extreme importance is understanding whether this nonlocality leaks in the low energy regime [28]. Moreover, it is also essential to understand what it means for locality to be emergent.
Most importantly, we have limited ourselves in this work to the AMPS paradox. However, AMPS is not the only paradox involved in constructing the interior of the black hole. Most notably, in the context of AdS/CFT, we have not discussed the AMPSS paradox [5]^{Footnote 37} and related problems in the field of holographic interior reconstruction [21]. We have also not sufficiently compared dropping (SD) with the firewall solution of the paradox. Both these topics will be addressed in two follow up papers.
Notes
 1.
 2.
Note however that, for our discussion, one should use robust counterfactual connections when defining causal structures; otherwise entanglement would not fall under this notion.
 3.
Note that it is not apparent how to interpret GR. For ease of exposition, we speak explicitly of spacetime points. Nonetheless, it should be possible to carry over this discussion for more refined approaches to GR’s ontology.
 4.
For background material on black hole physics see [20].
 5.
See [8].
 6.
Understanding the meaning of information in BHIP is certainly important. However, we bracket this issue since nothing of what we are going to say hinges on it.
 7.
See [43] for a detailed philosophical discussion.
 8.
For a review of quantum statistical mechanics see [31].
 9.
Also known as finegrained entropy or entanglement entropy. We use these terms interchangeably in what follows.
 10.
Moreover, also the microcanonical entropy of the Hawking radiation increases with time since its microcanonical entropy is proportional to the number of Hawking quanta.
 11.
In what follows the words late and early refer respectively to radiation emitted after and before the Page time t_{P}.
 12.
Here by naive we simply mean the picture of quantum fields living on the smooth Lorentzian manifold of GR, as used in [23].
 13.
For a defence of this conclusion see [43]. In particular, assuming that the correspondence is valid, black hole physics can be shown to be unitary, implying that Hawking radiation cannot be thermal.
 14.
 15.
At least among physicists in the string theory community. Note that these postulates were originally defined in the context of black hole complementarity. However, they are not strictly tied to this specific proposal. Rather, they are taken to be definitive of what a sensible theory of black hole physics should look like.
 16.
An horizon at a distance of a Planck length from the true event horizon. It is timelike.
 17.
Note that, here, \(d\tilde x^{2} = d\tilde {x_{1}^{2}}+ d\tilde {x_{2}^{2}}\), where x_{1} = 2M𝜃 and x_{2} = 2Mϕ.
 18.
An equivalent formulation of the paradox is as a violation of strong subadditivity of entanglement entropy, i.e. S_{AB} + S_{BC} ≥ S_{B} + S_{ABC}.
 19.
The thermal nature of the state of B is because, since we want the entangled and nonentangled descriptions to be locally indistinguishable, to describe the state of B we use the reduced density matrix of the maximally entangled state of the composite system of B and L. It is a wellknown fact that the reduced density matrix of a subsystem of a maximally entangled system is completely thermal.
 20.
Even if one were to consider an observer who takes E and L and jumps into the black hole meeting B, thus making E and B not spacelike separated, it is still the case that the distinctness of E and B, and thus the AMPS paradox, is grounded in their being spacelike separated before the observer jumping in. Thus, in what follows, we will not consider this situation and stick to the more general formulation of the paradox outlined above.
 21.
 22.
Note that its algebra of observables identifies a system.
 23.
Though see [11] for some subtleties about this claim.
 24.
Note that, while they both imply some violation of relativistic locality, this approach differs significantly from that of Giddings [14, 15]. Indeed, Giddings’s approach implies the existence of nonlocal interactions at the level of semiclassical, effective field theory, something which is not implied by (iii) which only requires that at the quantum gravitational level, but not necessarily at the semiclassical level, B and E cannot be treated as distinct systems. This difference is particularly clear in the language of causal structures since Giddings’s proposal would imply the acceptance of R_{LC}(B, E), i.e. B and E being causally connectable, which is not necessary for (iii). Indeed, in order to ensure the violation of (SD) it is crucial that B and E are spacelike related, and thus ¬R_{LC}(B, E). As a matter of fact, as observed in [20], Giddings’s proposal is better characterized as a type of firewall, though from our classification it appears to be somewhat different from the firewall proposed in AMPS. Moreover, Giddings’s proposal seems to imply either the violation of the laws of black hole thermodynamics [5] or modifications of the Schwarzschild geometry away from the horizon [16, 17], both consequences which are not shared by (iii).
 25.
Which, as we have observed at the beginning of this section, is justified in terms of their being spacelike separated.
 26.
Note that, in what follows, we only use AdS/CFT as a mathematical tool to construct specific physical models. In particular, we do not discuss any of the philosophical issues connected to holographic dualities [10].
 27.
 28.
 29.
By a twosided black hole we mean a physical system with two event horizons. As such, a twosided black hole has two exterior regions, usually called the left and the right exterior. Eternal AdS black holes are twosided black holes.
 30.
By a onesided black hole we mean a physical system with one event horizon. As such, a onesided black hole has only one exterior region.
 31.
Susskind distinguishes between a modest and an ambitious version of the conjecture [39]. Modest ER=EPR is supposed to apply only to entangled black holes, while ambitious ER=EPR applies to any entangled systems. In this paper, we are concerned only with the modest version since we only talk about black holes.
 32.
CPT here stands for charge, parity and time reversal. CPT transformations are among the fundamental symmetries of quantum systems, such as the one we are considering here.
 33.
To be precise, the left stretched horizon, though this is not relevant to the present discussion.
 34.
Intuitively, we can understand this as first evolving backwards in time from \(A^{\prime \prime }\) to \(A^{\prime }\) with the left CFT Hamiltonian, and then forwards in time from \(A^{\prime }\) to A with the bulk equations of motion.
 35.
It would be an interesting project to better understand how the notions of distinctness and dependence that we use here can be related to the notions of distinctness and dependence analyzed in [37] in the framework of metaphysical grounding. Such a project, however, goes beyond the scope of the present paper.
 36.
 37.
Here AMPSS refers to a second black hole paradox, distinct from the AMPS paradox introduced in [6]. We will discuss the AMPSS paradox in a followup paper.
References
 1.
Almheiri, A.: Holographic quantum error correction and the projected black hole interior (2018)
 2.
Almheiri, A., Engelhardt, N., Marolf, D., Maxfield, H.: The entropy of bulk quantum fields and the entanglement wedge of an evaporating black hole. JHEP 12, 063 (2019). https://doi.org/10.1007/JHEP12(2019)063
 3.
Almheiri, A., Hartman, T., Maldacena, J., Shaghoulian, E., Tajdini, A.: Replica Wormholes and the Entropy of Hawking Radiation. JHEP 05, 013 (2020). https://doi.org/10.1007/JHEP05(2020)013
 4.
Almheiri, A., Mahajan, R., Maldacena, J., Zhao, Y.: The Page curve of Hawking radiation from semiclassical geometry. JHEP 03, 149 (2020). https://doi.org/10.1007/JHEP03(2020)149
 5.
Almheiri, A., Marolf, D., Polchinski, J., Stanford, D., Sully, J.: An Apologia for Firewalls. JHEP 09, 018 (2013). https://doi.org/10.1007/JHEP09(2013)018
 6.
Almheiri, A., Marolf, D., Polchinski, J., Sully, J.: Black holes: complementarity or firewalls? J. High Energy Phys. 2013(2), 062 (2013). https://doi.org/10.1007/jhep02(2013)062
 7.
Ammon, M., Erdmenger, J.: Gauge/Gravity Duality: Foundations and Applications, 1st edn. Cambridge University Press, USA (2015)
 8.
Belot, G., Earman, J., Ruetsche, L.: The hawking information loss paradox: The anatomy of a controversy. Br. J. Philos. Sci. 50(2), 189–229 (1999). http://www.jstor.org/stable/40072220
 9.
Curiel, E.: The many definitions of a black hole. Nature Astron. 3 (1), 27–34 (2019). https://doi.org/10.1038/s4155001806021
 10.
De Haro, S., Mayerson, D. R., Butterfield, J. N.: Conceptual aspects of gauge/gravity duality. Found. Phys. 46(11), 1381–1425 (2016). https://doi.org/10.1007/s1070101600374
 11.
Earman, J., Valente, G.: Relativistic causality in algebraic quantum field theory. Int. Stud. Philos. Sci. 28(1), 1–48 (2014). https://doi.org/10.1080/02698595.2014.915652
 12.
Einstein, A., Podolsky, B., Rosen, N.: Can quantummechanical description of physical reality be considered complete? Phys. Rev. 47, 777–780 (1935). https://doi.org/10.1103/PhysRev.47.777
 13.
Einstein, A., Rosen, N.: The particle problem in the general theory of relativity. Phys. Rev. 48, 73–77 (1935). https://doi.org/10.1103/PhysRev.48.73
 14.
Giddings, S. B.: Nonviolent information transfer from black holes: A field theory parametrization. Phys. Rev. D 88(2), 024018 (2013). https://doi.org/10.1103/PhysRevD.88.024018
 15.
Giddings, S. B.: Nonviolent nonlocality. Phys. Rev. D 88, 064023 (2013). https://doi.org/10.1103/PhysRevD.88.064023
 16.
Giddings, S. B.: Statistical physics of black holes as quantummechanical systems. Phys. Rev. D 88, 104013 (2013). https://doi.org/10.1103/PhysRevD.88.104013
 17.
Giddings, S. B.: Possible observational windows for quantum effects from black holes. Phys. Rev. D 90(12), 124033 (2014). https://doi.org/10.1103/PhysRevD.90.124033
 18.
Haag, R.: Local quantum physics: Fields, particles, algebras. Springer Science & Business Media (2012)
 19.
Halvorson, H.: Algebraic quantum field theory. In: Earman, J., Butterfield, J. (eds.) Handbook of Philosophy of Physics, pp 731–922. Elsevier (2007)
 20.
Harlow, D.: Jerusalem lectures on black holes and quantum information. Rev. Mod. Phys. 88, 015002 (2016). https://doi.org/10.1103/RevModPhys.88.015002
 21.
Harlow, D.: TASI lectures on the emergence of bulk physics in AdS/CFT. PoS TASI2017, 002 (2018). https://doi.org/10.22323/1.305.0002
 22.
Harlow, D., Hayden, P.: Quantum computation vs. firewalls. J. High Energy Phys. 2013(6), 085 (2013). https://doi.org/10.1007/jhep06(2013)085
 23.
Hawking, S.W.: Breakdown of predictability in gravitational collapse. Phys. Rev. D 14, 2460–2473 (1976). https://doi.org/10.1103/PhysRevD.14.2460
 24.
Hayden, P., Penington, G.: Learning the alphabits of black holes. JHEP 12, 007 (2019). https://doi.org/10.1007/JHEP12(2019)007
 25.
Jarrett, J. P.: On the physical significance of the locality conditions in the bell arguments. Noûs 18(4), 569–589 (1984)
 26.
Maldacena, J., Susskind, L.: Cool horizons for entangled black holes. Fortsch. Phys. 61, 781–811 (2013). https://doi.org/10.1002/prop.201300020
 27.
Maldacena, J. M.: The Large N limit of superconformal field theories and supergravity. Int. J. Theor. Phys. 38, 1113–1133 (1999). https://doi.org/10.1023/A:1026654312961
 28.
Marolf, D., Polchinski, J.: Violations of the Born rule in cool statedependent horizons. JHEP 01, 008 (2016). https://doi.org/10.1007/JHEP01(2016)008
 29.
Maudlin, T.: Quantum NonLocality and Relativity: Metaphysical Intimations of Modern Physics. Blackwell (1994)
 30.
Maudlin, T.: (Information) Paradox Lost. https://arxiv.org/pdf/1705.03541.pdf. Last accessed 16092020 (2017)
 31.
Mussardo, G.: Statistical field theory: an introduction to exactly solved models in statistical physics. Oxford University Press (2010)
 32.
Page, D.N.: Information in black hole radiation. Phys. Rev. Lett. 71(23), 3743–3746 (1993). https://doi.org/10.1103/physrevlett.71.3743
 33.
Papadodimas, K., Raju, S.: An Infalling Observer in AdS/CFT. JHEP 10, 212 (2013). https://doi.org/10.1007/JHEP10(2013)212
 34.
Papadodimas, K., Raju, S.: Remarks on the necessity and implications of statedependence in the black hole interior. Phys. Rev. D 93, 084049 (2016). https://doi.org/10.1103/PhysRevD.93.084049
 35.
Penington, G.: Entanglement wedge reconstruction and the information paradox (2019)
 36.
Rovelli, C.: The subtle unphysical hypothesis of the firewall theorem. Entropy 21(9), 839 (2019). https://doi.org/10.3390/e21090839
 37.
Schaffer, J.: Grounding in the image of causation. Philos. Stud. 173 (1), 49–100 (2016). https://doi.org/10.1007/s1109801404381
 38.
Susskind, L.: The black hole war: My battle with Stephen Hawking to make the world safe for quantum mechanics. Little, Brown. https://books.google.it/books?id=f3_rnRVxGIsC (2008)
 39.
Susskind, L.: Copenhagen vs Everett, Teleportation, and ER=EPR. Fortsch. Phys. 64(67), 551–564 (2016). https://doi.org/10.1002/prop.201600036
 40.
Susskind, L., Thorlacius, L., Uglum, J.: The stretched horizon and black hole complementarity. Phys. Rev. D 48(8), 3743–3761 (1993). https://doi.org/10.1103/physrevd.48.3743
 41.
Unruh, W. G., Wald, R. M.: On evolution laws taking pure states to mixed states in quantum field theory. Phys. Rev. D 52, 2176–2182 (1995). https://doi.org/10.1103/PhysRevD.52.2176
 42.
Unruh, W. G., Wald, R. M.: Information loss. Rept. Prog. Phys. 80(9), 092002 (2017). https://doi.org/10.1088/13616633/aa778e
 43.
Wallace, D.: Why black hole information loss is paradoxical. In: Huggett, N., Matsubara, K., Wüthrich, C. (eds.) Beyond Spacetime. https://doi.org/10.1017/9781108655705.013, pp 209–236, Cambridge University Press (2020)
Acknowledgements
For helpful comment on an a earlier draft we would like to thank Alberto Corti, Vincenzo Fano, Christian Wüthrich, and the audience of the workshop A New Perspective on the Paradoxes of Modern Physics.
Funding
Open access funding provided by Università degli Studi di Urbino Carlo Bo within the CRUICARE Agreement. No funds, grants, or other support was received.
Author information
Affiliations
Contributions
Both authors contributed to the conception of the paper. Both authors wrote the first draft of the manuscript. Both authors commented on previous versions of the manuscript. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of Interests
The authors have no relevant financial or nonfinancial interests to disclose.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cinti, E., Sanchioni, M. The Devil in the (Implicit) Details. Int J Theor Phys 60, 3234–3253 (2021). https://doi.org/10.1007/s10773021049011
Received:
Accepted:
Published:
Issue Date:
Keywords
 ER=EPR
 Quantum gravity
 Black holes
 Philosophy of physics
 Causal structure
 Firewall paradox