arxiv: v2 [hepth] 7 Dec 2013

 Frederick Lester
 8 months ago
 Views:
Transcription
1 New Concepts for Old Black Holes arxiv: v2 [hepth] 7 Dec 2013 Leonard Susskind Stanford Institute for Theoretical Physics and Department of Physics, Stanford University, Stanford, CA , USA Abstract It has been argued that the AMPS paradox implies catastrophic breakdown of the equivalence principle in the neighborhood of a black hole horizon, or even the nonexistence of any spacetime at all behind the horizon. Maldacena and the author suggested a different resolution of the paradox based on the close relationship between EinsteinRosen bridges and EinsteinPodolskyRosen entanglement. In this paper the new mechanisms required by the proposal are reviewed: the ER=EPR connection: precursors: timefolds: and the black hole interior as a faulttolerant, negative information message. Along the way a model of an ADS black hole as a single longstring is explained, and used to clarify the relation between Wilson loops and precursors.
2 Contents 1 Introduction 1 2 Original AMPS and ER=EPR Does A = R B? Precursors and Timefolds Timefolds and Bulk Geometry Timefolds and Alice s Signal to Bob A Paradox Gauge Invariance of A A Gauge Theory Example Young Black Holes Does the CFT Know What Lies Behind the Horizon? Black Holes as Messages Easy and Hard Operators Messages, Reference Systems, and Codes Negative Bits Correspondence with Black Hole The SelfHealing Properties of the Horizon FaultTolerant Encoding of the Interior Partial Scrambling State Dependence Easy and Hard in the Lab Strings and Qubits Conclusion 50 7 Added Comment on Nonlinearity 53 1 Introduction My view is that the AMPS(S) paradoxes are quite real and imply the possibility of genuinely new phenomena behind the horizon. But one should not be so quick to give up 1
3 complementarity, which is nothing but a restatement of the equivalence principle and the unitarity of quantum mechanics. I will take it that firewalls, although possible under certain circumstances, are not inevitable, and that subtle new concepts will allow us to reconcile the existence of a conventional horizon with the principle of information conservation. The question is what new ideas have to be invoked to establish this? The new concepts that will be reviewed and explained in this paper are: the ER=EPR connection of [4]: precursor operators: timefolds: and, the black hole interior as a faulttolerant message. None of these are completely new; they were all implicitly or explicitly used in [4] and two of them appeared earlier in [5] and [6]. However they are being used in a context which is speculative with no comprehensive framework to back them up. In their defense, they are the least crazy thing I can think of. 2 Original AMPS and ER=EPR The original BraunsteinMathurAMPS argument [2][1][3] states that if a black hole is maximally entangled with a second distant system then the entanglement between the zone or atmosphere of the black hole, and the interior degrees of freedom of that black hole, must be disrupted. Since that entanglement is necessary for the smoothness of the horizon in the infalling frame, there must be a firewall at the horizon. The distant system could be the black hole s own radiation after the Page time; a distant gas cloud; or another black hole. 1). Figure 1: A portion of the Penrose diagram of a Schwarzschild black hole showing a pair of entangled modes A and B. 2
4 For example let B be an outgoing fieldmode in the zone 1 of the black hole, and let A be its partner mode behind the horizon 2 (See figure 1.) If the horizon is smooth then B and A must be maximally entangled. But after the Page time B will be maximally entangled with a subsystem in the radiation called R B. Monogamy of entanglement precludes such double entanglement. AMPS argue that the simplest resolution of the paradox is that a firewall must replace the smooth horizon. In the argument the radiation could be replaced by any distant system that the black hole may be highly entangled with including a second black hole. In [4] the original AMPS argument was challenged by a specific counterexample called the laboratory model. The laboratory model is essentially the eternal twosided ADS black Figure 2: The eternal ADS black hole is really two entangled black holes on entirely separate spaces. The entanglement is represented by and EinsteinRosen bridge. hole [7] describing two maximally entangled black holes on entirely disconnected spaces (See figure 2). For the sake of definiteness, when it matters I will assume that the size of the black holes is the ADS radius, the entropy is N 2, and the temperature equals the inverse ADS scale. Equivalently, the system is just above the HawkingPage transition. The two black holes can be thought of as being separated by an infinite distance so that 1 The zone is the region between the stretched horizon and the photon sphere which for a Schwarzschild black hole is at r = 3MG. 2 For simplicity the modes will often be described as qubits. The three qubit operators σ +, σ, σ z represent the creation, annihilation, and occupationnumber operators. In the notation of AMPSAMPSS the modes B and A are called b and b. 3
5 they do not interact at all. One may think of one side call it the right side as containing the black hole that Bob has access to. The left side represents the distant system that Bob s black hole is entangled with. In other words it replaces the early Hawking radiation in the AMPS argument. The Penrose diagram for the eternal black hole is shown in figure 3. Figure 3: The eternal black hole is really two entangled but noninteracting black holes. The black hole on the right side has paired exterior and interior modes B, A. A signal can be sent from A to A. The operator A is a very nonlocal precursor obtained by time evolution from A. The fact that the Penrose diagram is connected by an EinsteinRosen bridge does not represent either interaction or a finite separation between the black holes. It represents the entanglement between them [8]. Alice controls the left CFT. I ll assume that she has a quantum computer which is powerful enough to apply any unitary operator, no matter how complicated, to the left CFT in an arbitrarily short time. Alice s powers may seem excessive [9], but I will play by the rules of AMPS in which any experiment is possible so long as it does not conflict with the principles of quantum mechanics. At time t = 0 the two CFT s are set up in the thermofielddouble state describing two entangled black holes. It is generally agreed that such black holes have smooth horizons. Thus despite satisfying the conditions for the AMPS argument, there are no firewalls for this system. One thing is clear from this example: the assumption that the interior of a black hole must be constructed from degrees of freedom physically close to the black hole cannot be correct [10]. In [11] it was pointed out that this proximity postulate was an underlying assumption of the AMPS paradox. In the laboratory model the proximity 4
6 postulate is maximally violated; the construction of the interior of Bob s black hole is in terms of degrees of freedom that, at least in part, are in the infinitely distant left side. The geometry shown in figure 3 is eternaltothepast as well as to the future. For our purposes we will assume that the lower half of the diagram is a fiction, useful for describing the way that Alice set up the initial state at t = 0. This is depicted in figure 4. The initial Figure 4: The earlier half of the eternal black hole history can be thought of as fictitious. The black hole is created at time 0 in the state that would have resulted from the earlier history. If there is no operator A activated in the fictitious past then the state is the Thermofield double state. state associated with figure 4 without the blue diagonal line is the thermofielddouble state or equivalently, the Hartle Hawking state. If an operator such a A acts before t = 0 [8][13] then it represents a particular perturbation on the initial state in the bulk. For the most part we can just pretend the earlier half of the diagram exists, but in some contexts it will be important to consider it fictional. By contrast with A, the operator A is defined in the future of t = 0 and represents something that Alice can actually measure. It was suggested in [4] that the mechanism for encoding the interior of one ADS black hole in terms of its distant entangled partner is similar to the A = R B proposal for a very old evaporating black hole [11] (Warning! see however Section 2.2). A = R B gets around the double entanglement by postulating that the interior degrees of freedom are encoded in a subsystem R B of the radiation degrees of freedom. If A = R B then there is no double entanglement: B is entangled with both A and R B because A and R B are the same thing. As we will see in section 2.2 the identification of A and R B is not consistent and will lead 5
7 to serious contradictions. Nevertheless let s follow the logic of A = R B. The AMPS argument against A = R B is very simple. Alice measuring 3 a component of the qubit R B will necessarily disturb the mode A and create a particle just behind the black hole horizon. Bob falling into the black hole will be hit by the particle. That in itself is not a problem; Alice simply did something that created a particle in a particular mode, and Bob detected it. ( Incidently, this example illustrates the importance for AMPS of assuming that Alice can carry out arbitrarily complex operations measuring R B is expected to be extremely difficult [9].) But AMPS argues that Alice s experiment, which took place in the extremely distant early radiation, could not possibly have affected the black hole interior. It was too far away. Thus the particle that Bob experiences must have been there whether or not Alice acted on R B. By the same argument there must have been a particle in every mode of the zone. Those particles comprise the firewall. The mechanism that [4] invoked to refute this argument in the laboratory model is ER=EPR [4]. Despite being infinitely separated in external space, as a consequence of the EinsteinPodolskyRosen entanglement the two black holes are connected by an Einstein Rosen bridge. If Alice disturbs the second black hole a particle may indeed be sent to the interior of Bob s black hole; not through the external space, but through the Einstein Rosen bridge as in figure 3. Similarly, according to [4], ER=EPR asserts that a black hole is connected to its own radiation by a bridge and that disturbing R B sends a particle to Bob through the bridge. From inspection of figure 3 we see that there is a way of sending a signal from the left side at A to the region just behind Bob s horizon. By activating an operator at A Alice can populate the mode A so that Bob experiences a particle in that mode. That is not surprising since A is in the causal past of A. The operator A is not the analog of R B for the two sided laboratory case. The analog 3 The terms measuring and applying an operator have different meanings. For simplicity suppose the operator Q is a component of a qubit and is therefore both hermitian and unitary. For Alice to apply Q means that she interacts with the system so that Ψ Q Ψ. To measure Q she needs a second apparatussystem that becomes entangled with Q. For example Ψ, Q 2 Ψ, Q Ψ, 2 2 where 0, 1, and 2, are states of the apparatus. For most purposes in this paper the difference is not important. 6
8 of R B is an operator A in the leftside CFT, but which Alice can measure at a much later time than A. A is defined in such a way that it has the same effect as A. More precisely A is defined so that if it acts at a certain later time (than A ) its action is to produce exactly the same final state as the action of A would produce, if it acted at the earlier time. We define the left and right side time evolution operators by U L = e ih Lt U R = e ih Rt (2.1) where t (t t ) is the time between A and A and H L, H R are the left and right CFT Hamiltonians. We can define A by, A = U L A U L (2.2) The role of A is similar to the role of R B in the evaporating case. If Alice measuring or acting with A creates a particle at A, it does not follow that the particle would have been there if Alice had not acted. The hypothetical particle was created by Alice, and arrived at A through the EinsteinRosen bridge. For the moment we will accept that Alice s measurement of A does in fact create such a particle, but later in Sections 2.7 and 4.9 arguments will be made that a new kind of ambiguity manifests itself in quantum gravity. Note that nothing in the above violates the nontraversability of the EinsteinRosen bridge; Bob can only receive the particle after he has crossed the horizon of his black hole. Nontraversability is absolutely guaranteed by the fact that the two CFT s do not interact. 2.1 Does A = R B? Although it doesn t matter for the argument above, A = R B must not be taken as an operator equivalence. All sorts of mischief will follow from taking it literally. The same is true of A = A. We will concentrate on the laboratory case but the evaporating black hole is similar. Assume for the moment that A = A is an operatoridentity relating a bulk operator A associated with Bob s black hole, to a leftside CFT operator A. Suppose that Bob throws some particles into his black hole which were aimed to collide at A and perturb it. 7
9 If A = A is an operator identity, Bob would have succeeded in sending a signal to the left side, from outside his black hole on the right side. This violates the nontraversable property of EinsteinRosen bridges. A is just A written in terms of operators at a later time, so one can ask if the identification of A with A is universally correct. It is not hard to see why it cannot be. Consider the propagation of a wave from A to A. It passes through the black hole geometry on both sides and in the process will get scattered. Some of the wave from A will get scattered back to the left boundary. This is enough to preclude an exact identification. More to the point, the fact that Bob, on the right side, can send in particles which disturb A means that it has dependence on the right side as well as the left side. From the discovery of a particle in the A mode one cannot conclude that it came from A ; it may have originated from matter that fell in from the right side. A formal identification of A with R B does not make sense. Nevertheless the idea that by measuring A Alice can send a signal to the interior of Bob s black hole seems correct. The Penrose diagram 3 for the Thermofield Double state, obviously allows a particle to be sent from A to A with significant probability. Since operating with A at the later time has the same effect as operating with A at the earlier time, it follows that measuring or acting with A can send a signal to A. In [4] instead of writing R B = A, A = A or A = A, the notation R B A A A A A (2.3) was advocated, indicating that the left side determines A through bulk evolution. Two important things can be seen from this example. The first part of the AMPS argument is correct: measuring or disturbing R B or A can send a disturbance to Bob just behind the horizon of his black hole. The second part is wrong. There is no implication that the particle would appear at A if Alice had not acted with A. Therefore there is no need for a firewall. 8
10 To understanding the ER=EPR connection better we need to know more about the mechanism that allows Alice to send her message. This involves two somewhat unfamiliar concepts: precursors and timefolds. 2.2 Precursors and Timefolds Precursors were introduced in [5] as highly nonlocal CFT operators that contain information about events which eventually will manifest themselves as local boundary excitations. More generally any nonlocal operator which acts at one time, to simulate the effect of a local operator acting at a different time (later or earlier), will be referred to as a precursor. Consider a quantum system with Hamiltonian H. We will work in the Schrodinger picture. Suppose the evolution of the system is perturbed by applying an operator X at time t = 0. Let us ask if there is an operator that we can apply at a later time t > 0 which gives rise to the same state that would have resulted from applying X at t = 0. For example suppose that Alice had intended to apply X at t = 0, but forgot to do so. She wishes to correct her mistake by applying Y at a later time t. What operator should she apply? The answer is the precursor 4 Y defined by, Y = e iht Xe iht (2.4) or using the notation U(t) = e iht, Y = U(t)XU (t) (2.5) Pictorially we can represent the insertion of Y as in figure 5. The operator Y is called a precursor of X and the diagram representing it in figure 5 is a timefold. We can consider a very simple example of a free onedimensional particle with Hamiltonian H = p 2 /2. Let x represent the position of the particle. The precursor of x is y = e i p2 2 t x e i p2 2 t = x pt (2.6) Generally calculating a precursor of a given operator is computationally extremely difficult, especially if the system is chaotic and the time interval t is comparable to the scrambling 4 I originally planned to call Y a postcursor in this case since it acts later than X. However, in the interests of minimizing new terminology I will call all such operators precursors, regardless of the sign of t. 9
11 Figure 5: A precursor Y is constructed by propagating back to an earlier local operator X. The diagram is a timefold. If the precursor is applied at one time the later effect is the same as if X had acted at the earlier time. time [14] or longer. As an example consider a box of interacting particles and let X represent the position of one of the particles. After a short period of time during which the particle scatters a few times the precursor becomes much too complicated to write down. But nevertheless it is well defined. The action of precursors can be described by a path integral procedure that involves a timefold. Suppose the initial state is given at a time t i and final state at t f. The precursor acts at time t with t i < t < t f. ψ f = U(t t i ) Y U(t f t) ψ i (2.7) We may replace this by ψ f = U(t t i ) U(t)XU (t) U(t f t) ψ i = U(t t i ) U(t)XU( t) U(t f t) ψ i (2.8) The entire evolution can be described by a single path integral where, during the downward part of the evolution the Hamiltonian is reversed in sign as in figure 6. The periods 10
12 indicated by upward arrows are governed by the usual Hamiltonian, but during the interval with a downward arrow the Hamiltonian has the opposite sign. Figure 6: Precursors can be calculated by path integration. During the portion of the path with the downward arrow the sign of the Lagrangian is changed. To give a graphic example consider a closed system containing Professor Strangebody s cat. Strangebody has insisted that his assistant Miss Goody kill the cat by shooting a bullet (acting with the unitary operator X). Goody fools Strangebody by waiting a few years longer than the cat s lifespan and then acts with the precursor Y. When Strangebody later looks in the box he congratulates Goody for carrying out the mission successfully. The cat of course did not experience the unpleasantness during her lifetime. Or so Goody believes. We will see that the truth is much more subtle. 2.3 Timefolds and Bulk Geometry Let s use a timefold to define a CFT operator (in a onesided theory) that can act at t = 0 to create a particle in the bulk of ADS. Such an operator clearly has to be a nonlocal CFT construction. Let O be a local boundary operator dual to some bulk operator such as the dilaton. The precursor U(t)OU (t) (2.9) 11
13 acting at t = 0 creates the same state as acting with O at time t. It creates a dilaton in the bulk, propagating inward from the boundary, as shown in figure 7. Figure 7: A boundary source acts at time t and creates a particle. At time 0 the particle is in the bulk. The precursor, indicated by the red arrow, creates the particle already in the bulk, but the point of creation is ambiguous. The question is exactly when the particle is created; in other words, on what spacelike surface does the particle materialize when 2.9 acts? The precursor acted in the CFT at t = 0 but that does not uniquely specify a timeslice through the bulk. To understand this better we recall that the bulk dual of a CFT wave function at time t is a Wheeler DeWitt wave function. The WDW wave function describes the history of a region consisting of all spacelike surfaces that end on the boundary at the time t. Now consider the WDW history associated with a wave function at a slightly negative time as in figure 8. Since the precursor has not acted yet, the wave function is exactly the same as it would have been if no particle had been injected. Therefore the history must not contain the particle. On the other hand, if we consider the wave function for slightly positive time, the precursor would have acted, and the corresponding history must contain the particle. This is shown in figure 9. The problem is obvious. The two histories do not agree in the overlap region. We can either accept a degree of ambiguity in when the particle was created, or we can can view the process as a folded geometry (figure 10). In the folded description the particle is created at a specific point on the boundary along the fold. If 12
14 Figure 8: The WDW history for a slightly negative time is shown in yellow. Since the precursor has not yet acted the history must be consistent with no particle. Figure 9: The WDW history for a slightly positive time. The precursor has acted so the history must contain the particle. one accepts the fold as a legitimate bulk geometry there is no ambiguity about where it is created. Notice that all times between t and 0 are represented by three separate instants in the timefold. 13
15 Figure 10: In the timefold picture the particle is uniquely created on the boundary at a specific time in the fold. The blue and pink regions are the two pieces of the fold. In the pink region the timetime component of the vierbein changes sign. In the ADSCFT context the timefold can be defined by altering the boundary Hamiltonian in a time dependent way. Suppose the usual Hamiltonian of the CFT is H. Multiplying H by a positive function f(t) is equivalent to a coordinate change t t where f(t) = dt dt. It may also be defined by altering the boundary conditions on the metric, or more conveniently, the timetime component of the vierbein e 0 0. The timefold is a generalization defined by allowing f(t) and e 0 0 to become negative. For example they may be chosen to be 1 over some interval. This is equivalent to changing the sign of the boundary CFT hamiltonian over the same interval. How the change of Hamiltonian extrapolates to a change in the bulk geometry is presumably determined by bulk equations. For a geometry that has a timelike Killing vector it is just a matter of extrapolating the timefold along constant time surfaces orthogonal to the Killing vector. During the first half of the fold e 0 0 is negative, and then flips sign in the second half of the fold. Now let s return to Strangebody and Goody. Drawn as a timefold the history is more complicated then what Goody thought. Figure 11 shows the folded history of Strangbody s experiment. Initially, the cat was alive until it died a natural death just before Goody acted with the precursor at t = 0. Strangebody had instructed Goody to shoot at time 14
16 Figure 11: Strangebody s experiment. The brown vertical cats are alive and the horizontal white ones are dead. The blue line represents the bullet in the timefold region. t, but she didn t do it. However inside the timefolded region the cat is resurrected and then shot before the timefold ends. Acting with the precursor created two versions of history, one in which the cat died of natural causes, and one in which it was shot. Notice that this ambiguity has nothing to do with branching of the wave function of the manyworld type. This type of ambiguity seems to be the cause of some of the confusion about black hole interiors. 15
17 2.4 Timefolds and Alice s Signal to Bob The simplest example of a timefold is to insert the unit operator into a time evolution in the form U(t)U( t) or U(t)U (t). In ordinary quantum mechanics this is a completely trivial operation. However, timefolds become interesting when there are dual descriptions of the same quantum system. In that case one half of the timefold may be described in one description and the other in the dual description. They are particularly interesting in situations with horizons. For example the excursion into the past may be expressed in the boundarylanguage of the dual CFT, and the return evolution in the language of the infalling frame. Let us return to the laboratory model and the operators A, A, and A. It is obvious from figure 3 that a signal can be sent from A to A through the EinsteinRosen bridge. This is unsurprising since A is in the causal past of A. On the other hand sending a signal from A to A looks very doubtful if one supposes that A is a localized operator with support in the upper left corner of the diagram. However, from 2.2 one sees that A is a precursor obtained from A by a timefold. It is constructed so that if it acts on the left CFT at the later time in figure 3, the effect is identical to that of A at the earlier time. A useful way to think about it is to envision the first half of the precursor the pastdirected half as occurring in the leftboundary CFT: the second futuredirected half as occurring in the bulk, and sending the signal to A as in figure 12. Thus the effect of Alice operating with A is the same as if she had (but Figure 12: The timefold from A to A and back, can be described in two halves; one in the boundary theory and one in the bulk theory. didn t ) apply A earlier. Figure 3 is misleading because A is very far from being a local 16
18 CFT operator or a bulk operator localized near the left boundary. One may also ask what the bulk geometry induced by acting with A looks like. The best answer is that the backreaction induces a timefold [6]. Since the left side has a Killing vector the timefold can be extrapolated into the bulk along constant time surfaces as in figure s 13. Figure 13: A timefold constructed from the leftside Hamiltonian. It is clear that a message can be sent to the region behind Bob s horizon. From the figure one can see that a message can be sent to A by acting with A. 2.5 A Paradox Precursors, timefolds, and EinsteinRosen bridges lead to puzzling paradoxes that suggest a new form of uncertainty behind horizons. Consider the process illustrated in figure 12. The quantum state of the two uncoupled CFT s is a function of twofingered time, t L on the left side and t R on the right side: Ψ(t L, t R ). The gravitydual of the wave function is a WheelerDeWitt history for the bulk region containing all spacelike surfaces that end on the boundaries at (t L, t R ). Figure 14 shows such a region. 17
19 Figure 14: A boundary wave function is dual to a WheelerDeWitt bulk history. The yellow region is foliated by spacelike surfaces that and at specific times on the boundaries. Now let us reconsider the experiment in which Alice acts on the state with A, and Bob jumps into the rightside black hole in time to receive the particle from A. We can choose two WDW histories as in figures 15. In both versions Bob s trip into the black hole is contained within the yellow region. In the first version the time on the left side is chosen before Alice measures A. In that case the state of the two CFT s is exactly the same as it would have been had Alice not measured A. Therefore the history should not contain a particle propagating from Alice to Bob. On the other hand, in the second version the CFT state on the left is defined after A has acted, and therefore should be exactly as if A had acted. In this history Bob gets hit by a particle. In the timefolded history in figure 13 one sees that there is more than one Alice. On the first sheet (behind the others) Alice has not acted with A so she has every reason to believe that Bob will not detect a particle. On the third sheet (in front), Alice believes she has acted with A. Accordingly she believes Bob will get the message. This seems to be more Alice s problem than Bob s. The diagram seems to unambiguously say that Bob gets the message. The ambiguity goes away if Alice, after measuring A, takes the result to Bob just before he falls in, or better yet jumps in herself as in figure 16. In that case the state of the system in either case contains information about the measurement. Therefore a particle should be found at A as Alice expects. What should we make of this ambiguity? Is it a contradiction or just a very unfamiliar new manifestation of quantum gravity? One possible answer is that A cannot be measured by Alice; that the powers needed to do the experiment are unphysical. For example, 18
20 Figure 15: Two WDW histories containing Bob. The left history contains the measurement of A and the right history does not. Figure 16: Alice carries the result of her measurement to Bob s black hole and jumps in to check whether there is a particle at A. HarlowHayden computational complexity constraints [9] could be invoked to disallow measurement of R B before the black hole has evaporated. In the laboratory model there is no similar constraint since the measurement of A can be done in polynomial time. Another possible answer is that the ambiguity represents a serious contradiction which proves the firewall hypothesis. The third answer is that behindthehorizon physics is very unfamiliar and this is just a new kind of uncertainty that we will get used to. Personally I like the last answer best. 19
21 3 Gauge Invariance of A 3.1 A Gauge Theory Example We would like to know whether, and in what sense, observations behind the horizon are encoded in the exterior description, by which I mean the Smatrix, or in the case of ADS, a dual gauge theory. Consider the case of a onesided ADS black hole. For definiteness the black hole could be formed by activating sources on the boundary as in figure 17. Figure 17: Penrose diagram for a onesided ADS black hole created by a shock wave from the boundary. AMPSS argue that the modes A behind the horizon cannot exist as operators in the CFT. The argument is based on a contradiction that was exposed in [15]. The contradiction is between the canonical commutation relations [A, A + ] = 1 (3.10) and the spectrum of states of a onesided ADS black hole. A possible interpretation is that the interior geometry of a black hole does not exist. A somewhat weaker conclusion is that the black hole interior, although it exists, cannot be described by the degrees of freedom of the CFT. I will argue against both these conclusions. The contradiction found by AMPSS will be explained after a digression about gauge theories. In theories with gauge invariance there are generally fields whose properties 20
22 conflict with the spectrum of physical states. I ll review familiar example which has some similarities to our problem. Consider quantum electrodynamics on a spatial sphere of unit volume. The charged fields ψ satisfy anticommutation relations similar to 3.10, {ψ, ψ + } = 1 (3.11) This implies that the charge increases and decreases by one unit when ψ acts. However, on a compact space the total charge must be zero. Thus the charged operators must annihilate every physical state, which of course is inconsistent with the commutation relations. Returning to the AMPSS contradiction, the operators A create and annihilate particles behind the horizon. If the black hole is older than the scrambling time it will be in equilibrium. The geometry will have a timelike Killing vector and a conserved Killing energy. Moreover, the Killing energy is negative for the behindthehorizon quanta described by A. This means that the creation operators A + decrease the energy of a black hole, and as AMPSS noticed, also decreases the entropy 5 ; acting with A + must contract the number of states. In fact A + has to annihilate about half the states; a conclusion which is inconsistent with the commutation relations This is similar to the electromagnetic case in which ψ annihilates all states. I believe there are two ways to deal with this paradox. One way is to accept the gauge dependence of the modes and construct a formal theory of negative information degrees of freedom. I will discuss this further in Section 4.3. The other way is to redefine the modes in a more operational way so that they are gauge invariant. The electromagnetic puzzle can be resolved by adding a single unphysical degree of freedom corresponding to a uniform background charge density. Instead of defining the charge density to be i 2 [ψ ψ] we add an additional spatially constant component Q where Q is an integer valued operator. In addition we introduce unitary raising and lowering operators e ±iθ satisfying, e iθ Qe iθ = Q + 1 e iθ Qe iθ = Q 1 (3.12) 5 See Section 4.3 for an explanation of the negative information carried by A. 21
23 Then one defines the operators χ = ψe iθ χ = ψ e iθ (3.13) which satisfy canonical anticommutation relations {χ, χ + } = 1 (3.14) From that point we quantize in the usual way except the the charge density has the extra term Q. The operators Q and e iθ are not physical degrees of freedom. However they cancel out of any gauge invariant matrix element. In particular they cancel out of any amplitude between states in the zero charge sector. The lesson is not that the theory does not exist; it is that in order to represent the canonical commutation relations, one must add unphysical degrees of freedom that do not act in the physical Hilbert space. Let us consider a related but different question in flatspace electrodynamics with bosonic charged fields. How does one measure a charged field φ? The answer of course is that the phase of φ is not gauge invariant and therefore not observable. Measuring the phase requires an interaction that changes the conjugate variable; namely the charge. In other words measuring φ must involve interactions that violate charge conservation. However, it was understood long ago [16] that it is possible to measure the phase of φ relative to the phase of some charge reservoir. For example, the phase can be measured relative to the phase of a nearby superconductor. If the phase conjugate to the charge of the superconductor is θ then φe iθ is an observable. Thus a measurement of φ requires an apparatus that includes such a reservoir. What does this have to do with the modes A? The relevant gauge symmetry is time translation symmetry. The conserved quantity is energy: the conjugate variable is time: and the analog of the charge reservoir is a clock. The need for a physical clock to define observables is familiar from the timeless Wheeler DeWitt formalism. The purpose of the clock is to activate Bob s measuring apparatus at the appropriate time to measure the mode A. Suppose Bob wants to measure A at a given proper time after he jumps into the black hole from the boundary of ADS. He requires a clock to keep 22
24 track of his time relative to clocks at infinity. The clock must have an energy uncertainty, and if we assume its energy is positive it must have a positive average energy. By the uncertainty principle, that energy must be of order the characteristic energy scale of A which is equal to the inverse distance to the horizon. It is easy to show that this implies that the energy brought in by the clock is greater than the negative energy of the A mode. Thus, the observable gauge invariant operator, constructed out of A and the clock, always has positive energy. One way to see that the gauge invariant version of A has positive energy is to write the contribution of A + to the observable field operator as A = e iωt A +. (3.15) To make this gauge invariant we replace e iωt by e iωtc where t c is the dynamical clock variable. The clock time t c does not commute with the Hamiltonian; in particular with the clock Hamiltonian, which is part of the full Hamiltonian. In fact e iωtc increases the energy by the same amount as A + decreases it. There is another way to see that Bob needs a clock to measure A. We could consider the case of Rindler space where Bob jumps into the vacuum, and attempts to measure a fieldfluctuation averaged over a spacetime region of some size. For example, he might want to measure an electricfield vacuum fluctuation. He takes a tiny dipole with him; perhaps a molecule with an electric dipole moment in its ground state. When the molecule gets to the fluctuation it is excited by the electric field and Bob may read off information about the field from the effect on the dipole. However this won t work. If the dipole is in its ground state it continually interacts with the vacuum fluctuations. The vacuum fluctuations are absorbed into the structure of the molecular ground state and into renormalizing the parameters of the molecule. The resulting ground state is stationary and does not suddenly get excited by a vacuum fluctuation. Bob needs to carry a clock with him, and at just the moment when he wants to measure the field, have his apparatus activate the dipole. The initial dipole moment may be set to zero, and at the appropriate time the apparatus separates the charges and activates the apparatus. This allows Bob to read off the electric field at the time and place of his choice. Another way to accomplish the same thing is to shoot two neutral particle to the target location as in figure 19. In this case the clock is the distance between the particles: when it goes to zero the apparatus is activated. When they collide the particles produce a 23
25 Figure 18: A particle interacting with vacuum fluctuations. The vacuum fluctuations can be absorbed into the structure of the particle. Figure 19: The mode A can be measured by colliding two particles at the site of A. The incoming particles are neutral and the outgoing are an oppositely charged pair. By observing the pair one measures the vacuum fluctuation in the electromagnetic field at A. plusminus pair of electric charges. The electric field acts on the pair, and from the final momenta of the pair Bob reads off information about the electric field. The magnetic field can be measured in a similar way and an appropriate combination of the two would allow a particular mode to be measured. But the actual operators that are being measured are a complex combination of the field and the clock degree of freedom. Now we can ask about the encoding of A modes in the boundary CFT. It should be obvious that only the gauge invariant versions of the A are physical and can be encoded in the physical degrees of freedom of the CFT. The argument also tells us that gauge invariant observables should be defined by reference to the operational procedures that actually measure them, and must include the apparatuses that do the measuring, such as clocks or particles. In fact the example given 24
26 illustrates that the real observable associated with A is not some field that has propagated up from the left through transplanckian modes, but rather an observable of a scattering process involving subplanckian particles, introduced from the right side. The A modes welling up from transplanckian modes have no life of their own 6. What they represent when they interact with infalling matter is the radiative corrections to the systems that fall into the black hole within a scrambling time of A. Formally, the nongaugeinvariant operators A can be run back along a path parallel to the horizon. At some point they will enter the interior stretched horizon as shown in figure 20. The time that A runs into the yellow region in figure 20 is of order the scrambling Figure 20: The yellow region of the Penrose diagram shows the interior and exterior stretched horizon. The exterior stretched horizon is the usual place where the local temperature becomes Planck or string scale. The interior stretched horizon is its reflection behind the horizon. The mode A can be traced back until it enters the interior stretched horizon at which point it becomes Planckian. time t at which point it enters the transplanckian region. Going further back the mode will be squeezed into a distances much less than Plancklength from the horizon. Let us ask whether we can make this backward extension of A gauge invariant. It is obvious that a clock which can resolve the stretched horizon must measure times on shorter scales than the Planck time, and therefore carry energy greater than the Planck energy. In fact if we go backward from A just two scrambling times, the clock must have energy greater than the black hole mass. The back reaction would take us far out of the Hilbert space of the black hole, and there would be no sense in which the original mode was close to the horizon. Evidently A cannot be run backward in a gauge invariant manner for 6 Eva Silverstein has emphasized this same point. In her language the mode A represents particles which are created by natural processes. 25
27 more than the scrambling time scale. Therefore, in the onesided case no gauge invariant information can originate from transplanckian past history of the mode A. The twosided case of the laboratory model is different. In figure 3 the backward extension of A traces to A. A is a low energy operator on the left side. No additional clocks, other than those at the boundary, are needed to define it gauge invariantly. The upshot is that AMPSS is correct [15][17] that the naive A modes carry negative energy and cannot be realized in the physical Hilbert space of the onesided CFT. Moreover gauge invariant versions of them cannot be run back for more than a scrambling time. But this does not imply that there is no black hole interior. It implies that the gauge invariant degrees of freedom behind the horizon represent low energy matter that came across the horizon less than a scrambling time earlier. The effects of the A, B modes on the infalling matter is equivalent to radiative corrections. 3.2 Young Black Holes The arguments give above were for relatively old onesided black holes. The situation for young black holes is somewhat different. Consider a onesided black hole younger than the scrambling time. In that case the A modes may be defined in a gauge invariant manner. In figure 21 the mode A is defined by Figure 21: In the case of a young black hole the mode A can be defined gauge invariantly by raytracing it back to the boundary. There is no real distinction between modes propagating up from the lowerleft and things thrown in from the right. 26
28 running it back along the lightlike trajectory to the boundary or to past lightlike infinity in the asymptotically flat case. First of all the AMPSS argument about negative energy does not apply before the scrambling time. During the young phase the black hole is not in equilibrium and there is no approximate timelike killing vector. The quanta of A do not carry negative energy so there is no clash between the commutation relations of A and the energy spectrum. The clash only occurs after the scrambling when the black hole has settled down to its equilibrium state. Note that in the young case there is no clear difference between entering the black hole from the right and propagating up from the far left. More on this in Section Does the CFT Know What Lies Behind the Horizon? Polchinski and Bousso have both raised the question: Does the dual CFT (Or the S matrix in the flatspace case) contain the information as to the fate of a system behind the horizon? They formulate it this way: Suppose Heisenberg s cat ( in his sealed box) falls through the horizon of a black hole. Is there an operator in the CFT dual description whose measurement would reveal whether the cat is still alive two seconds after falling through? The best way to answer this question is to consider a specific map between the interior and the exterior. The pullback pushforward map [18] may or may not be useful for old black holes, but it is straightforward for the observables of a very young black hole (younger than the scrambling time). This should be good enough to answer the question posed above. The map is based on the idea that the region behind the horizon is in the future of the exterior of the black hole. Figure 22 illustrates the sense in which this is true for the flat space case. The pullback procedure takes a low energy observable behind the horizon and solves for it in terms of earlier exterior degrees of freedom in the remote past. It is then pushed forward using the Smatrix, or in case of gaugegravity duality by using the gauge theory equations of motion. The pullback pushforward is a special case of a timefold in which half the fold takes place in the infalling frame and half in the exterior frame. Consider an experiment behind the horizon such as measuring X by means of a scattering operation in which particles come in from the outside and interact at X. Is there an operator in the Hawking radiation (or near the boundary of ADS) which can be measured and will tell us the result of the experiment behind the horizon? Ordinary causality tells 27
29 Figure 22: The region behind the horizon is to the future of the exterior. The purple dot indicates an observable behind the horizon. By using the low energy equations of motion in the infalling frame the observable can be expressed in terms of operators at past lightlike and timelike infinity. This is the pullback half of the construction. The pushforward is accomplished by conjugating with the Smatrix. us that the answer is no. But that s not the end of the story. The pullback pushforward allows us to relate the interior observables to exterior operators in the Hawking radiation. We begin the mapping procedure by running the observable X back to past infinity. X in = U XU (3.16) where U is the low energy evolution operator that runs back to past infinity in the bulk theory. The tilde indicates that the operator is defined as either an operator on past lightlike infinity or as an operator in the dual CFT in ADS/CFT. Next run the operator forward using the S matrix to obtain X out X out = S X in S = (S U)X(U S) (3.17) In the case of ADS we could run the operator up to time zero if we preferred and define an operator 28
30 X(0) = V X in V = (V U)X(U V ) (3.18) where V is an evolution operator in the dual CFT in the gauge/gravity dual case. The question is in what sense X has the same information as X? The answer is that the probabilities for different outcomes are the same for both. To say it differently, the expectation values of all functions of X are the same as those of X out. But does measuring X actually tell us what happened behind the horizon? The answer is no as can seen from the example of the free particle in Section 4.1. Consider the probability to observe a particular value of x if it is measured at time t = 0. The answer is exactly the same as the probability to measure the x pt at time t. But it is not right to say that measuring x pt at time t tells you what the result of measuring x at time t. In fact a measurement at t would disturb the system and interfere with the experiment at time 0. The only correct statement is that the probability to get a given value x 0 if you measure x at time 0 is the same as the probability to get x 0 if you measure x pt at time t. In other words the mapping of operators from one time to another preserves the statistics. The same is true for measuring X or X. For example a measurement of X(0) has the same probability distribution as a measurement of X behind the horizon. But the measurement of X(0) disturbs the interior measurement of X. It is best to not think of the region behind the horizon as literally part of the CFT. Instead, the CFT is a machine for constructing initial conditions on the light like horizon from CFT data, which can be continued behind the horizon. In this way of thinking the region behind the horizon is to the future of everything directly described by the CFT 7. To put it another way, the spacetime dual to the CFT is not geodesically complete. The horizon is the bulk representation of gaugetheory time t = ; and the firewall question is about the consistency of completing the spacetime using bulk equations of motion. One last point about pullback pushforward: it has been argued that it cannot make sense for black holes older than the scrambling time. The reason involves the pullback through the yellow region in figure 20; the running of A all the way back involves ultra 7 This point was emphasized to me on several occasions by Juan Maldacena. 29
31 transplanckian physics. But if there is no gauge invariant information in the trans Plankian extension of A, then the only gauge invariant information is what entered from the right side within a scrambling time of A. The exception to this is information that entered through an EinsteinRosen bridge, and which can be traced back to low energy degrees of freedom at the other and of the bridge. The pullback may have to include extrapolation through the bridge in the case that the black hole is maximally entangled with a distant system. 4 Black Holes as Messages 4.1 Easy and Hard Operators The AMPSS commutator argument is another paradox that may have a lot to teach us [15]. In particular it leads to a very interesting perspective on the meaning of the black hole interior; namely, the interior as a faulttolerant quantum message. The original purpose of the argument was to refute A = R B which in any case cannot be literally correct. But AMPSS leads to another puzzle about the difference between easy and hard operators. Let E represent an operator acting on a single localized radiation mode 8 of the Hawking radiation. E can stand for a number of things, but here we take it to mean easy as in easy to measure. By contrast R B is a hard 9 operator, thoroughly delocalized and composed of all the early radiation modes. It is quite possible that R B is so hard to measure that it would take an exponentially long time [9], but for now that complication will be ignored. Given that the black hole and its radiation are in a scrambled state, AMPSS show that any Equbit fails to commute with every R B qubit, and that the commutators are of order 1. Thus, according to AMPSS, measuring or acting with any E will disturb R B, and therefore send a particle to A. Moreover disturbing any E will corrupt every A and therefore create a firewall. Measuring an E can be as simple as having a single Hawking photon scatter off a dust particle. The counterargument [19][20] is that acting with E only changes the identification of the system that purifies B. No local operation performed on a subsystem can change its entanglement entropy with the complementary subsystem. Thus if E is measured then the 8 We model the modes by qubits. In AMPSS [15] the notation for such modes is e. 9 The term hard in some contexts means high energy as in hard Xrays. In this paper hard refers to the difficulty of measurement and not the energy. 30
32 definition of R B becomes modified by the interaction. The new R B includes the degrees of freedom that became entangled with the radiation when E was measured. According to this view measuring E only readjusts the code, but does not send messages to the interior of the black hole. On the other hand measuring R B is somehow different since it would send a signal to the interior of the black hole (subject to the ambiguities of Section 3). This is unsettling because R B is made of easy operators, albeit a great many of them. One can resolve the problem of easy operators by saying that they alter the code; and one can solve the problem of hard operators by saying they create particles behind Bob s horizon. The hard thing is to resolve both in a consistent way. It is critical for unraveling the AMPSS commutator paradox to identify a clear mathematical criterion that distinguishes hard and easy operators. The following sections are an attempt to do so. It is obviously incomplete. 4.2 Messages, Reference Systems, and Codes NOTE ADDED TO V.2 After posting the original version of this article I have begun to doubt that error correctability is the right way to distinguish easy and hard. The conjecture on page 41 gives a sufficient condition for an operator to be easy but it does not give a sharp criterion for when it is hard. I don t think error correctability is the essence of the problem. I described a more interesting set of criteria in [34]. According to this paper the distinction is more a matter of chaos and complexity than correctability. The implications of [34] are that hard operators are a lot harder than error (un)correctability would imply. What follows is the original version based on error correction. I have left it in place because I think most of the ideas may be of some value. In [4] (see also [19]) it was speculated that the difference between hard and easy operators is similar to the difference between correctable and uncorrectable errors in the encoding of a message 10. I will expand on this idea. Let s begin with some general concepts about encoding quantum messages. I will make use of four systems of qubits, A, N, B, and C. 10 It is not necessary that there be someone to do the error correcting. I am using error correctability as a mathematical property which may be used to distinguish hard and easy. 31
33 The system A contains k qubits and it represents the original message before being encoded in a bigger system. N is a much bigger system containing N >> k qubits. Initially it is in some fixed initializer state N 0. The initializer state is independent of the message. For definiteness we can take it to be N 0 = , (4.1) but any state will do. A and N will be tensored together to form a (k + N)qubit code system C. The code system will be scrambled to make the code faulttolerant. B is isomorphic to A and also consists of k qubits. It is called the reference system and will be defined shortly. What exactly is meant by a quantum message? A k qubit message is just a state of k qubits. In other words it is a vector in the space of states of the system A, m. To encode the state in a fault tolerant manner we combine A with N to form the code C. The initial state of the code is a product state: m N 0. (4.2) The message at this stage is no more faulttolerant than it was to begin with; the loss of any qubit of A is not recoverable. The message can be made faulttolerant by scrambling the code system. This is done by applying a scrambler a random unitary operator U scr to the entire code system A N. m N 0 U scr m N 0 (4.3) The original message is now embedded in the code in a manner extremely difficult to extract, but also very fault tolerant. One can accidentally flip or even lose a large number of qubits and still recover the message with high fidelity. 32
34 Another concept of importance is the reference system B. The reference system enables us to go beyond encoding a particular message. It allows us to encode all possible kqubit messages simultaneously. Before scrambling, each qubit A is partnered with a reference qubit B to form a Bell pair, The qubit A may be called the purification of B, meaning that the A, B subsystem is in a pure state. The initial state of the entire system is Ψ 0 = N 0 ( ) k (4.4) Any particular message can be recovered by projecting onto a state of the reference system. Once the initial state 4.4 has been set up, we can make the encoding faulttolerant by again scrambling the code system C with the scrambler U scr. Ψ = U scr Ψ 0 = U scr { N 0 ( ) k} (4.5) The scrambler U scr acts only on the A, N system. On B it acts as the identity. The entire encoding operation is indicated in the circuit diagram 23 What makes the code faulttolerant is that one can erase rather large number of qubits and still preserve the almost exact maximal entanglement between B and the code. In other words a large number of qubits can be traced over, and there will still be a purification of any Bqubit in the remaining code subsystem. The method of encoding that I described is conventional: a message of size k is scrambled into a system of size N to produce a code of size (N + k). However this is not what is required to describe the evolution of black holes. What we need is a procedure which begins with a kqubit and a system of N qubits to produce a code comprised of (N k) qubits. It is as though the message were counted as having k qubits. In that way, when the k reference qubits are added, the total qubit count does not increase. An increasing qubit count makes sense as a very young black hole undergoes its first episode of scrambling. During that phase new degrees of freedom are being liberated and the entropy increases from the relatively small value of the infalling matter to the much 33
35 Figure 23: Encoding a message in C. The set of messages A are entangled with the reference system B. Then A is combined with a much larger system N and scrambled by U scr. larger Bekenstein Hawking entropy. But for a black hole that has already scrambled, the qubit count is basically constant if we include both the black hole and its Hawking radiation 11. To model this we will have to formally count the message qubits as carrying negative information after the scrambling time Negative Bits In order to describe black holes after the scrambling time we will need a modified encoding procedure in which the kqubit message is encoded in a code of size N k instead of N +k. For N >> k there is plenty of available code space but it s not obvious how to accomplish the goal. In particular, a mapping from the Hilbert space of N + k qubits to a state of N k qubits cannot be done by a unitary mapping. If the mapping is not unitary there is no obvious reason why the message qubits will be encoded faithfully in the final code. 11 There is a small increase of entropy as the black hole radiates [21]. It can be taken into account but I will ignore it here. 34
36 The procedure can be accomplished using a rectangular 2 N+k 2 N k scrambling matrix, defined in terms of a related square 2 N 2 N matrix. To do this we just transfer k qubits from the initial to the final state according to the scheme shown in figure 24. Figure 24: Defining a 2 N+k 2 N k matrix in terms of a unitary 2 N 2 N matrix by crossing legs from the initial to the final state. To illustrate for the case k = 2 we take a 2 N 2 N square matrix and rewrite it as a rectangular 2 N+k 2 N k matrix. For the case of N = 4 and k = 2 it would look like this: U i 1i 2 j 1 j 2 j 3 j 4 j 5 j 6 = i 3 i 4 U i 1i 2 i 3 i 4 j 1 j 2 j 3 j 4 T i3 j 5 T i4 j 6 (4.6) where T is the antiunitary operator which reverses the sign of all Pauli matrices. The first k indecies of the initial state have been shifted to the final state to make a rectangular 2 N+k 2 N k matrix. This is another example of a timefold. Once we have the 2 N+k 2 N k 35
37 matrix we can use it along with the reference system to construct a mapping from N qubits to a system of k reference qubits combined with N k code qubits. This is shown in figure 25 Figure 25: A mapping from N qubits to a system of k reference qubits combined with N k code qubits. The procedure allows us to formally count message qubits as if they were negative. When the A, B entangled pairs are created, they count as a total of zero qubits. Scrambling the message with the N initial qubits results in a code of N k qubits and k reference qubits. The reference qubits are purified by the code so that the message is encoded faithfully and faulttolerantly. The formal trick of counting the message qubits as negative can be compared with the discussion in Section 3. How do we know that the kqubit message is encoded faithfully in the (N k)qubit code, given that the nonsquare matrix is not a unitary mapping? The answer is that if the 2 N 2 N unitary matrix is a random scrambler, then by Page s argument [22] one can be sure that at the end, the k qubits of the reference system are almost maximally entangled with the code. There is however a difference between the encoding procedure in equations where the Aqubits are counted as positive. In that case, by construction, the reference qubits are exactly maximally entangled with the code. The encoding defined by figure 25, in which the Amodes are counted negatively, gives almost maximal entanglement, accurate to exponentially small errors. In the first type of traditional encoding, the faithfulness (as opposed to the faulttolerance) of the code does not require scrambling. It only requires unitarity. In the 36
38 second type of encoding where the code size is (N k) scrambling is essential to both the approximate faithfulness of the code and the faulttolerance. 4.3 Correspondence with Black Hole Let s these ideas to an old black hole; one which has evaporated far past the Page time, but which is still large enough to be classical. The correspondence is as follows: The zone of the black hole is the reference system B. Its entropy is k. The Hawking radiation together with the stretched horizon comprise the code system, consisting of N k qubits. The interior of the black hole is not represented by an independent set of degrees of freedom. It is represented by the message A, which after scrambling is mixed into the code. A scrambled message of this type is faulttolerant for a wide class of errors, but is also extremely difficult to decode. The initializer state of N 0 can be anything; 4.1 was just an example. I will come back to its interpretation shortly. The circuit in figure 23 is not intended to represent the entire history of the black hole but only one step describing the momentary encoding of the interior in the code. The history from birth to evaporation can be described by the sequence of scrambling processes shown in figure 26 left side. At any time the code contains the stretched horizon degrees of freedom (vertical blue lines) and the radiation (slanted lines to the upper right. The zonemodes and their partners are labeled B and A. For old black holes the code is mostly radiation. The first scrambling process after the collapse process increases the qubit count and may be described by the unitary process in in equations But after that the qubit count should not increase which means that the process of figure 25, with its negative qubits, should be used. The right side of figure 26 shows the diagram redrawn with the timefolds undone so that each box is a square unitary scrambling matrix. From this version it follows that each B mode is almost maximally entangled with the code consisting of the stretched horizon and radiation. The maximal entanglement is not exact but is correct to exponential accuracy. This follows from the properties of scrambled systems [22]. In the earliest scrambling episode the message qubits are counted positively since the qubit count should be increasing rapidly. (Compare with the discussion of young black 37
39 Figure 26: The circuit on the left illustrates a simplified history of an evaporating black hole divided into scramblingtime intervals. Every scrambling time new paired A, B qubits are introduced. The old reference qubits fall back to the stretched horizon where they are recycled in the later scrambler. A number of quanta are radiated to the right at every stage as Hawking radiation. The right figure shows an equivalent diagram with the timefolds undone. holes in Section 3.2.) Once the black hole is scrambled each new message must be counted as having negative qubits using the device of 4.6. In this way the qubit count of zone plus code can be kept constant. Introducing negative qubits in this way is the origin of the apparent AMPSS contradiction in Section 3. One may ask why go to all the trouble of introducing a timefold in figure 26? The answer is in order to construct Amodes, which once they cross behind the horizon describe the interior. The A modes do not have a life of their own, and we see this especially vividly in the construction involving timefolds The SelfHealing Properties of the Horizon Suppose that some event occurs in which environmental degrees of freedom suddenly interact with a large fraction of the code qubits. This is schematically shown in figure 27. Under certain circumstances this may produce particles in one or more interior modes by sending signals through the EinsteinRosen bridge connecting the old black hole to its 38
40 Figure 27: A large fraction of the radiation is suddenly scattered by an environment. The scattered code qubits are not lost; they are transferred to the environment. The black hole zone remains maximally entangled with the code. Hawking radiation (figure 28). In principle a dangerous firewall could be created for Bob. The EinsteinRosen bridge connecting a black hole to its own Hawking radia Figure 28: tion. It is not clear what the criteria are for this to take place, but let s assume that it does happen. The question is whether the event permanently scars the interior of the black hole? First of all, note that there is no way to undo the entanglement between the black hole and the environment without having them come in direct contact. This means that there is always a code system available. Consider the circuits in figures Within a scrambling time of the corrupting 39
41 event a new system of Bell pairs A, B will be introduced. Initially, when the pairs are first introduced the code will not be faulttolerant since erasing A leaves B with no purification. But the next round of scrambling will mix A into the code and it will become encoded faulttolerantly. By this process the faulttolerant code, and the reference system, will be renewed at each stage. Assuming that this is sufficient for a smooth horizon, we may describe this as the selfhealing property of the black hole interior. The time scale for the healing is the scrambling time ( about a millisecond for a solar mass black hole). Note that contrary to AMPSS, scrambling is not something which destroys the smooth horizon. To the contrary, scrambling continually renews the horizon. A particular example of a disturbance is a background which creates a timedependent Hamiltonian acting on the radiation. If the time dependence takes place on a time scale shorter than the scrambling time, and if it affects more than half the radiation modes, then it may send a temporary firewall to Bob. But if the dependence is adiabatic over a time much greater than the scrambling time, the continual self healing will insure that Bob does not experience any drama as he enters the horizon. The healing of the interior of the black hole has a very simple conventional explanation. The particles that were created by the disruptive event, and which passed through the EinsteinRosen bridge, will fall into the singularity within a scrambling time. 4.4 FaultTolerant Encoding of the Interior The state 4.4 is schematically illustrated in figure 29. It is obviously not faulttolerant as it is; the loss of any Aqubit is unrecoverable. But after U scr acts the code C becomes faulttolerant. Suppose that before scrambling some agent secretly measured a 1qubit operator of one of k messagequbits, thereby disturbing it. There is no way to correct the error without knowing what operator acted, and on which qubit. However, the situation is very different after scrambling. A corrupted qubit can be detected and corrected. Up to a point this is true for multiple site errors as long as they do not involve too many qubits. When the number exceeds the tolerance limit, the errors become uncorrectable. The transition from correctable to uncorrectable is sharp and closely related to Page s transition for the information is subsystems [22]. Consider a qubit B in the reference system. Because of the properties of scrambled systems, it is guaranteed that the density matrix of B is maximally mixed and that there 40
42 Figure 29: Illustration of Ψ 0. The red dots connected by blue lines represent Bell pairs and the green dots represent qubits in an initialized state N 0. In the next step the qubits on the right side are scrambled. is a purification of B in C. We can think of this purification as the new version of A. Now imagine erasing a particular qubit C from the code. Mathematically that means tracing over C to produce a density matrix for the entire remaining system. Relative to the message qubit A, the code is fault tolerant for errors that occur on the qubit C, if after erasing C there is still a purification of B in the remaining code system. Typically after erasing C the purification of B will be exact up to errors exponentially small in the number of qubits of the code. The special properties of scrambled states insure that a scrambled code is fault tolerant for all A and C. A further generalization is to consider all measurements on a particular set of code qubits {C}. Again, the code is faulttolerant for messagequbit A if, after erasing {C} there is a purification of B. For multiple errors (on specified qubits ) a scrambled code is tolerant for all errors on fewer than N+k 2 code qubits 12. It is now possible to state a conjecture relating error correction, and the effect of disturbances of the Hawking radiation on the degrees of freedom behind the horizon. Conjecture: A disturbance on a collection of radiation modes {r} will not corrupt a mode A behind the horizon, if the code is fault tolerant, in the sense that tracing over {r} 12 For errors on unspecified qubits the corresponding number is N+k 4. Patrick Hayden, Private communication. 41
43 leaves a purification of the partner mode B. With this criterion disturbances on fewer than half the radiation qubits will not cause a disturbance to any interior mode A. It follows that any attempt of Alice to send a message to Bob at a time later than the scrambling time must fail unless she acts more than N+k 2 radiation modes. I also argued that if Alice does manage to corrupt the interior it will heal itself over a scrambling time. 4.5 Partial Scrambling Scrambling is not an allornothing business. A chaotic quantum system will scramble in a time t which for black holes is expected to be logarithmic in the entropy. For shorter times the scrambling will be incomplete. Partially scrambled codes have varying degrees of faulttolerance. To my knowledge this has not been studied so what I write here is somewhat conjectural. We can define partial scrambling by writing the scrambling operator U scr as an exponential, U scr = e ihscrt. (4.7) where for now, t is just a parameter but later will represent the scrambling time. This allows us to consider partial scramblers U scr = e ihscrt. (4.8) for t < t. We can define a tdependent numerical measure of the degree of faulttolerance. If any error involving fewer than n/2 qubits of the (N +k)qubit code is correctable ( in the sense that I defined earlier) then we will can say that the code is ntolerant. Roughly speaking it means that as entanglement spreads, the code behaves as if it were scrambled over a fraction n/(k + N) of the qubits. If the scrambling is complete then the code is tolerant to degree n = N + k. (4.9) 2 42
44 If the scrambling is partial the numerical measure of faulttolerance n(t) will be less than the fully scrambled value. A reasonable expectation is that for t < t the behavior of the faulttolerance is n(t) = N + k e t/t (4.10) 2 For t > t the faulttolerance will saturate at its maximum value N+k 2. This means that an operator which is correctable for t t may cause a disturbance behind the horizon for much smaller t. For example, even a single qubit operator drawn from the k messagequbits is uncorrectable at t = State Dependence So far I have not discussed the meaning of the state N 0 in equation 4.1. For simplicity we chose it to be , but we could have chosen it to be anything. I also have not commented about the state of the black hole at the beginning of a scrambling cycle in figure 23. From figure 26 we see that these two should be identified. This brings us to a controversial point; namely the state dependence of the code relating the radiation degrees of freedom to the interior of the black hole. It is very evident that the way the kqubit message is encoded in C is extremely sensitive to N 0. In particular we must expect that the operator R B that encodes data about A will be completely changed if we flip a single qubit in N 0. The implication is that the code relating the CFT to the interior degrees of freedom is highly statedependent [19]. State dependence and other features of the code has been discussed in detail by Papadodimas and Raju [20]. Such state dependence of the exteriorinterior mapping is not completely new. It occurs in the simple pullback pushforward strategy for young black holes. Suppose that the black hole is made by sending in a shell of a particular composition. The shell could be a coherent electromagnetic wave, a similar gravitational wave, or a mix of the two. To carry out the pullback pushforward procedure, the operator behind the horizon has to be pulled back to the remote past using the low energy equations of motion in the infalling frame. Since the equations of motion have to be pulled back through the shell, the operator one obtains in the remote past will depend on the nature of the shell. That dependence will also be present after the operator is pushed forward. Therefore the dictionary between interior operators and operators in the Hawking radiation depends on the initial state through the dependence on the state of the shell. This is a mild form of the same kind of nonlinear dependence. 43
45 5 Easy and Hard in the Lab 5.1 Strings and Qubits The hardeasy distinction, and the criteria for which of Alice s actions send messages through the EinsteinRosen bridge, have an analogs in the laboratory model. One point of difference with the evaporating case is that two sides have the same entropy in the laboratory model, corresponding to being exactly at the Page time. The model does not have the flexibility to go to the limit in which the radiation entropy is much larger than the black hole entropy. For the evaporating black hole the easy qubits are the local radiation modes. In the laboratory model the radiation is replaced by Alice s black hole. It is not obvious how the easy qubits of Alice s black hole should be described, other than to say that they are degrees of freedom of the leftside CFT. In order to illuminate the nature of these qubits I will use a crude model, based on some old stringtheory ideas about black holes and Hamiltonian lattice gauge theory. For definiteness we take the t Hooft coupling to be order one and the temperature at the the Hawking Page transition. The model is based on the observation that a black hole can be interpreted as a single string in a highly excited state [23][24][25]. If one starts with such a string at weak coupling it forms a spatial random walk, with an energy proportional to its total length. The entropy is also proportional to the length, and counts the ways that the string can turn after every stringlength α. For a string of a given entropy, as one increases the string coupling constant a transition occurs when the Schwarzschild radius becomes α.. This defines the crossover or correspondence point. In context of gaugegravity duality with thooft λ 1 the effective strings are the electric flux tubes which undergo a condensation at the deconfinement transition. In ADS/CFT the role of the deconfinement transition is played by the Hawking Page transition. The transition temperature is of order unity, implying that the electric flux tubes are as thick as possible; i.e., the cross section of a single flux tube is of order the radius of the sphere that the gauge theory lives on. It follows that the effective string tension and string length α are also order one. Finally, at the Hawking Page transition the black hole horizon area in ADS units is 1. What all this means is that the Hawking Page transition is right at the correspondence point, where excited strings transition into black holes. The nature of this transition is discussed in [25]. One can build a model that reflects these features. Since the black hole is of ADS size, one expects that only the very lowest approximately homogeneous modes of the gauge 44
46 theory are relevant. We can regulate ( coarsegrain) the gauge theory by introducing a lattice with only one cubic cell. The large N Hamiltonian lattice gauge theory [27] on a single spatial cube defines a matrix theory that will roughly have the right properties if the temperature is at the deconfinement transition. At the transition the cube becomes filled with a single long electric flux line of length N 2, which covers every link many times. The entropy which stored in the turns and twists of the flux line is of order N 2, as is the energy. To see why the theory produces such long strings note that both the energy and entropy of a long string is proportional to its length. This means that the Boltzmann weight has the form e βe+s = e ( c 1β+c 2 )L (5.1) where c 1,2 are constants and L is the length of the string. At the transition temperature β = c 2 c 1 the theory is unstable to creating increasingly long strings. By tuning the temperature the length of the dominant string can be set to N 2. These strings wind over gauge theory sphere (the cube) many times. The effective strings are created by Wilson loops in the lattice model. The simplest Wilson loops are singleplaquette operators. These act locally on the string to move a few neighboring links. But from the point of view of the original dual gauge theory they are nonlocal objects smeared over the entire sphere. By the UV/IR connection they should not be identified with the asymptotic boundary, but with the stretched horizon. We can also consider very long Wilson loops that wind over the sphere (or cube) many times. In particular there are loops of total length N 2 which are as complicated as the black hole itself. For example, suppose we begin with a simple oneplaquette Wilson loop W, and evolve it to construct its precursor W. W = U(t) W U (t) (5.2) In evolving with U(t) the precursor W will grow exponentially rapidly into a superposition of long Wilson loops of length N 2. 45
47 It is possible to work with the gauge theory degrees of freedom but it is simpler to just go to a discrete string description with N 2 sites along the string. The details of how a lattice string is described [28] are interesting but not very important. All we need to know is that it is described by a long string of discrete variables similar to qubits. The string can clearly be used as a code system. The easyhard distinction is fairly clear: operators which act on short lengths of string are easy, and operators which act on long lengths, comparable to half or more of the total length are hard. For the twosided laboratory model we introduce two independent lattice gauge cubes that begin in a thermofielddouble state. To visualize the state consider two identical long strings of length N 2, one on each cube. Begin with a state in which the two strings are mirror images of each another. There are of course many such states. Next construct a linear superposition of all such mirror image states. That is the analog of the thermofielddouble state. From there the system evolves as two independent decoupled lattice systems. In the dominant configuration the total length of string on either side continues to be N 2. The thermofield state is not stationary; with time it evolves in a manner described by Hartman and Maldacena [29][4]. The evolution can be modeled by a system of 2N qubits shared between left (Alice ) and right (Bob). The initial thermofielddouble state is entangled but unscrambled. It closely resembles a system of N Bell pairs shared between the two sides, T F D = ( N (5.3) It is illustrated in figure 30. The state is similar to 4.4 except that there are no additional Figure 30: The thermofielddouble state is modeled as a product system of N Bell pairs. qubits to represent the initial state of the black hole. 46
48 The thermofield state is maximally horizontally entangled, but there is no vertical entanglement at all 13. Thought of as a code, it is not faulttolerant. If a qubit on the left is accidentally flipped there is no way to recover it by looking at the remaining qubits. If it is erased then a corresponding qubit on the right has no purification. Hartman and Maldacena show that as time progresses the twosided system begins to develop vertical entanglement. This happens as a consequence of separate evolution on the two sides. The evolution is described by unitary operators U L,R (t), T F D U L (t)u R (t) { N} (5.4) The U L,R operators are fastscramblers 14. The result, as shown in [29], is a massive increase in vertical entanglement until it saturates in a fully scrambled state. Although Hartman and Maldacena did not describe it in terms of faulttolerance, this growth of vertical entanglement means that the code goes from being fragile to being maximally faulttolerant; and stays faulttolerant at least for times less than the quantum recurrence time. All of these observations also apply to the twocube model. There are gauge theory operators that act on the string in familiar ways. Consider a single plaquette Wilson loop. The effect of the Wilson loop is to vary the configuration locally. When it acts it does so on a small number of links. In other words it acts as an easy operator. On the other hand one can consider Wilson loops of very long extent. A Wilson loop of length N 2 has a massive effect on all of the links. It certainly is a hard operator. Let s now return to Alice s attempt to communicate with infalling Bob. The earliest that Bob can jump into his black hole, and the earliest that Alice can send a message, is t = 0. At that time the state is the thermofield state built of mirror image strings. Alice can apply a single qubit operator in other words a short Wilson loop which covers the gauge theory sphere once. If we think of that as inducing an error, it is analogous to a one qubit error. Tracing over that qubit would destroy the purification of a corresponding qubit on Bob s side, thereby potentially corrupting the partner behind the horizon. Schematically this is illustrated in figure Horizontal and vertical refer to the direction in figure The logarithmic scrambling time is correct for black holes of ADS scale whose entropy is of order N 2. For larger black holes the scrambling time has a more complicated form but the general conclusions are the same. 47
49 Figure 31: The brown line represents Bob jumping into his black hole at t = 0. The green curve represents the stretched horizon where the entropy is stored in the form of a long string. The various pink regions are Alice s attempts to send messages to Bob by acting with a single qubit at various times. If she send the message from t = 0 Bob just receives it before hitting the singularity. If she sends much later Bob cannot receive it. From the figure one sees that if Bob jumps in as early as possible he can receive Alice s message. Therefore the action of the simple qubit operator acting at t = 0, must be uncorrectable. Erasing it must erase the purification of one Bmode which is indeed true for the product of Bell pairs. In the string picture Alice has acted on one string loop at the stretched horizon. 48
Black Holes: Complementarity vs. Firewalls
Black Holes: Complementarity vs. Firewalls Raphael Bousso Center for Theoretical Physics University of California, Berkeley Strings 2012, Munich July 27, 2012 The Question Complementarity The AMPS Gedankenexperiment
More information17 Eternal Black Holes and Entanglement
17 Eternal Black Holes and Entanglement References: This section is based mostly on Maldacena hepth/0106112; see also the relevant section of Harlow s review lectures, 1409.1231. An eternal black hole
More informationBlack Holes, Complementarity or Firewalls Joseph Polchinski
Black Holes, Complementarity or Firewalls Joseph Polchinski Introduction Thought experiments have played a large role in figuring out the laws of physics. Even for electromagnetism, where most of the laws
More informationarxiv: v2 [hepth] 25 Feb 2014
arxiv:1402.5674v2 [hepth] 25 Feb 2014 Computational Complexity and Black Hole Horizons Leonard Susskind Stanford Institute for Theoretical Physics and Department of Physics, Stanford University, Stanford,
More informationBlack Holes, Quantum Mechanics, and Firewalls
Black Holes, Quantum Mechanics, and Firewalls Joseph Polchinski Simons Symposium, NYC 11/18/13 A Brief History of the Black Hole Information Paradox: A Brief History of the Black Hole Information Paradox:
More informationQuestions for Black Hole evaporation from Quantum Statistical Mechanics
Questions for Black Hole evaporation from Quantum Statistical Mechanics David Wallace Philosophy Department, University of Southern California Black Hole Initiative, May 9 th 2017 Thermally Typical Black
More informationWhy we need quantum gravity and why we don t have it
Why we need quantum gravity and why we don t have it Steve Carlip UC Davis Quantum Gravity: Physics and Philosophy IHES, BuressurYvette October 2017 The first appearance of quantum gravity Einstein 1916:
More informationHardy s Paradox. Chapter Introduction
Chapter 25 Hardy s Paradox 25.1 Introduction Hardy s paradox resembles the Bohm version of the EinsteinPodolskyRosen paradox, discussed in Chs. 23 and 24, in that it involves two correlated particles,
More informationHolographic Entanglement and Interaction
Holographic Entanglement and Interaction Shigenori Seki RINS, Hanyang University and Institut des Hautes Études Scientifiques Intrication holographique et interaction à l IHES le 30 janvier 2014 1 Contents
More informationHomework 1: Special Relativity. Reading Assignment. Essential Problems. 1 PoleinBarn (Hartle 43) 2 Black Hole Entropy and Dimensional Analysis
Homework 1: Special Relativity Course: Physics 208, General Relativity (Winter 2017) Instructor: Flip Tanedo (flip.tanedo@ucr.edu) Due Date: Tuesday, January 17 in class You are required to complete the
More informationIf I only had a Brane
If I only had a Brane A Story about Gravity and QCD. on 20 slides and in 40 minutes. AdS/CFT correspondence = Anti de Sitter / Conformal field theory correspondence. Chapter 1: String Theory in a nutshell.
More informationBlack holes occur in nature when matter
Commentary on Hawking s No Black Holes David R. Miller dave@millermattson.com Abstract In 2013, the media picked up a technical presentation by Stephen Hawking in which he stated that There are no black
More informationBLACK HOLES, QUANTUM INFORMATION TRANSFER, AND HILBERTSPACE NETWORKS
BLACK HOLES, QUANTUM INFORMATION TRANSFER, AND HILBERTSPACE NETWORKS S.B. Giddings UCSB Black Holes and Information KITP May 21, 2012 Refs: SBG 1108.2015, 1201.1037; SBG and Y. Shi, 1205.xxxx The information
More informationSummary of free theory: one particle state: vacuum state is annihilated by all a s: then, one particle state has normalization:
The LSZ reduction formula based on S5 In order to describe scattering experiments we need to construct appropriate initial and final states and calculate scattering amplitude. Summary of free theory:
More informationMITOCW watch?v=glywlyee8ou
MITOCW watch?v=glywlyee8ou The following content is provided under a Creative Commons license. Your support will help MIT OpenCourseWare continue to offer high quality educational resources for free. To
More informationKinematics of special relativity
Chapter 2 Kinematics of special relativity 2.1 Special Relativity 2.1.1 Principles of Relativity Einstein postulated that there was still Galilean invariance, i. e. all uniformly moving observers had the
More informationQuantum Entanglement. Chapter Introduction. 8.2 Entangled TwoParticle States
Chapter 8 Quantum Entanglement 8.1 Introduction In our final chapter on quantum mechanics we introduce the concept of entanglement. This is a feature of twoparticle states (or multiparticle states) in
More informationFrom Quantum Mechanics to String Theory
From Quantum Mechanics to String Theory Relativity (why it makes sense) Quantum mechanics: measurements and uncertainty Smashing things together: from Rutherford to the LHC Particle Interactions Quarks
More informationThe Unit Electrical Matter Substructures of Standard Model Particles. James Rees version
The Unit Electrical Matter Substructures of Standard Model Particles version 11707 0 Introduction This presentation is a very brief summary of the steps required to deduce the unit electrical matter
More informationWhat is wrong with the standard formulation of quantum theory?
What is wrong with the standard formulation of quantum theory? Robert Oeckl Centro de Ciencias Matemáticas UNAM, Morelia Seminar General Boundary Formulation 21 February 2013 Outline 1 Classical physics
More informationE = φ 1 A The dynamics of a particle with mass m and charge q is determined by the Hamiltonian
Lecture 9 Relevant sections in text: 2.6 Charged particle in an electromagnetic field We now turn to another extremely important example of quantum dynamics. Let us describe a nonrelativistic particle
More informationHolographic renormalization and reconstruction of spacetime. Kostas Skenderis Southampton Theory Astrophysics and Gravity research centre
Holographic renormalization and reconstruction of spacetime Southampton Theory Astrophysics and Gravity research centre STAG CH RESEARCH ER C TE CENTER Holographic Renormalization and Entanglement Paris,
More informationAccelerated Observers
Accelerated Observers In the last few lectures, we ve been discussing the implications that the postulates of special relativity have on the physics of our universe. We ve seen how to compute proper times
More informationHILBERT SPACE NETWORKS AND UNITARY MODELS FOR BLACK HOLE EVOLUTION
HILBERT SPACE NETWORKS AND UNITARY MODELS FOR BLACK HOLE EVOLUTION S.B. Giddings UCSB KITP April 25, 2012 Refs: SBG 1108.2015, 1201.1037; SBG and Y. Shi, work in progress The black hole information paradox,
More informationMax Planck, Nobel Prize in Physics and inventor of Quantum Mechanics said:
Max Planck, Nobel Prize in Physics and inventor of Quantum Mechanics said: As a man who has devoted his whole life to the most clearheaded science, to the study of matter, I can tell you as a result of
More informationIn the case of a nonrotating, uncharged black hole, the event horizon is a sphere; its radius R is related to its mass M according to
Black hole General relativity predicts that when a massive body is compressed to sufficiently high density, it becomes a black hole, an object whose gravitational pull is so powerful that nothing can escape
More informationQuantum Entanglement and the Geometry of Spacetime
Quantum Entanglement and the Geometry of Spacetime Matthew Headrick Brandeis University UMassBoston Physics Colloquium October 26, 2017 It from Qubit Simons Foundation Entropy and area BekensteinHawking
More informationENERGY CONSERVATION The Fisrt Law of Thermodynamics and the Work/KineticEnergy Theorem
A. La Rosa Lecture Notes PH 21 ENERGY CONSERVATION The Fisrt Law of Thermodynamics and the Work/KineticEnergy Theorem ENERGY [This section taken from The Feynman Lectures Vol1 Ch4] 1. What is energy?
More informationLecture 3 (Part 1) Physics 4213/5213
September 8, 2000 1 FUNDAMENTAL QED FEYNMAN DIAGRAM Lecture 3 (Part 1) Physics 4213/5213 1 Fundamental QED Feynman Diagram The most fundamental process in QED, is give by the definition of how the field
More informationUnitary Dynamics and Quantum Circuits
qitd323 Unitary Dynamics and Quantum Circuits Robert B. Griffiths Version of 20 January 2014 Contents 1 Unitary Dynamics 1 1.1 Time development operator T.................................... 1 1.2 Particular
More informationTWO BASIC RESULTS. Time dilation t(v) = [1/(1 v 2 /c 2 ) 1/2 ] t(0) Length Contraction d(v) = (1 v 2 /c 2 ) 1/2 d(0)
TWO BASIC RESULTS Time dilation t(v) = [1/(1 v 2 /c 2 ) 1/2 ] t(0) Length Contraction d(v) = (1 v 2 /c 2 ) 1/2 d(0) These two basic results are at the core of special relativity: Moving clocks run slow,
More information3 Rindler Space and Hawking Radiation
3 Rindler Space and Hawking Radiation The next couple of lectures are on Hawking radiation. There are many good references to learn this subject, for example: Carroll s GR book Chapter 9; Townsend grqc/970702;
More informationThe fuzzball paradigm for black holes: FAQ
The fuzzball paradigm for black holes: FAQ Samir D. Mathur June 6, 2008 Contents 1 What is the black hole information paradox? 3 1.1 Can small quantum gravity effects encode information in the outgoing
More informationCosmology holography the brain and the quantum vacuum. Antonio AlfonsoFaus. Departamento de Aerotécnia. Madrid Technical University (UPM), Spain
Cosmology holography the brain and the quantum vacuum Antonio AlfonsoFaus Departamento de Aerotécnia Madrid Technical University (UPM), Spain February, 2011. Email: aalfonsofaus@yahoo.es Abstract: Cosmology,
More informationDelayed Choice Paradox
Chapter 20 Delayed Choice Paradox 20.1 Statement of the Paradox Consider the MachZehnder interferometer shown in Fig. 20.1. The second beam splitter can either be at its regular position B in where the
More information19 Entanglement Entropy in Quantum Field Theory
19 Entanglement Entropy in Quantum Field Theory So far we have discussed entanglement in ordinary quantum mechanics, where the Hilbert space of a finite region is finite dimensional. Now we will discuss
More informationThe Lorentz Transformation
The Lorentz Transformation During the fourth week of the course, we spent some time discussing how the coordinates of two different reference frames were related to each other. Now that we know about the
More informationThe Black Hole Information Paradox, and its resolution in string theory
The Black Hole Information Paradox, and its resolution in string theory Samir D. Mathur The Ohio State University NASA Hawking 1974: General relativity predicts black holes Quantum mechanics around black
More informationParticle Physics. Michaelmas Term 2011 Prof. Mark Thomson. Handout 2 : The Dirac Equation. NonRelativistic QM (Revision)
Particle Physics Michaelmas Term 2011 Prof. Mark Thomson + e  e +  + e  e +  + e  e +  + e  e +  Handout 2 : The Dirac Equation Prof. M.A. Thomson Michaelmas 2011 45 NonRelativistic QM (Revision)
More informationApproaches to Quantum Gravity A conceptual overview
Approaches to Quantum Gravity A conceptual overview Robert Oeckl Instituto de Matemáticas UNAM, Morelia Centro de Radioastronomía y Astrofísica UNAM, Morelia 14 February 2008 Outline 1 Introduction 2 Different
More informationCorrect Resolution of the Twin Paradox
Correct Resolution of the Twin Paradox Michael Huemer In the following, I explain the Twin Paradox, which is supposed to be a paradoxical consequence of the Special Theory of Relativity (STR). I give the
More information4 Electrodynamics and Relativity
4 Electrodynamics and Relativity The first time I experienced beauty in physics was when I learned how Einstein s special relativity is hidden in the equations of Maxwell s theory of electricity and magnetism.
More informationUnitarity and nonlocality in black hole physics. Steve Giddings, UCSB
Unitarity and nonlocality in black hole physics Steve Giddings, UCSB Based on: hep/th0512200 w/ Marolf & Hartle hepth/0604072 hepth/0605196 hepth/0606nnn A common meme in recent physics: Violation
More informationQuantum Mechanics  I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras. Lecture  16 The Quantum Beam Splitter
Quantum Mechanics  I Prof. Dr. S. Lakshmi Bala Department of Physics Indian Institute of Technology, Madras Lecture  16 The Quantum Beam Splitter (Refer Slide Time: 00:07) In an earlier lecture, I had
More informationDurham Research Online
Durham Research Online Deposited in DRO: 14 October 2014 Version of attached le: Accepted Version Peerreview status of attached le: Peerreviewed Citation for published item: Rangamani, Mukund and Rota,
More informationLight Quantum Hypothesis
50 My God, He Plays Dice! Light Quantum Hypothesis Light Quantum Hypothesis 51 Light Quantum Hypothesis In his miracle year of 1905, Einstein wrote four extraordinary papers, one of which won him the 1921
More informationAnalog Duality. Sabine Hossenfelder. Nordita. Sabine Hossenfelder, Nordita Analog Duality 1/29
Analog Duality Sabine Hossenfelder Nordita Sabine Hossenfelder, Nordita Analog Duality 1/29 Dualities A duality, in the broadest sense, identifies two theories with each other. A duality is especially
More informationEPR Paradox and Bell Inequalities
Chapter 24 EPR Paradox and Bell Inequalities 24.1 Bohm Version of the EPR Paradox Einstein, Podolsky, and Rosen (EPR) were concerned with the following issue. Given two spatially separated quantum systems
More informationQuantum Information Types
qitd181 Quantum Information Types Robert B. Griffiths Version of 6 February 2012 References: R. B. Griffiths, Types of Quantum Information, Phys. Rev. A 76 (2007) 062320; arxiv:0707.3752 Contents 1 Introduction
More informationWhat is proof? Lesson 1
What is proof? Lesson The topic for this Math Explorer Club is mathematical proof. In this post we will go over what was covered in the first session. The word proof is a normal English word that you might
More information1 Introduction. 1.1 Stuff we associate with quantum mechanics Schrödinger s Equation
1 Introduction Quantum Theory and quantum mechanics belong to the greatest success stories of science. In a number of ways. First, quantum theories are among the most successful in terms of predicting
More informationQuantum Computers. Todd A. Brun Communication Sciences Institute USC
Quantum Computers Todd A. Brun Communication Sciences Institute USC Quantum computers are in the news Quantum computers represent a new paradigm for computing devices: computers whose components are individual
More informationClosing the Debates on Quantum Locality and Reality: EPR Theorem, Bell's Theorem, and Quantum Information from the BrownTwiss Vantage
Closing the Debates on Quantum Locality and Reality: EPR Theorem, Bell's Theorem, and Quantum Information from the BrownTwiss Vantage C. S. Unnikrishnan Fundamental Interactions Laboratory Tata Institute
More informationChapter 26: Cosmology
Chapter 26: Cosmology Cosmology means the study of the structure and evolution of the entire universe as a whole. First of all, we need to know whether the universe has changed with time, or if it has
More informationAsk class: what is the Minkowski spacetime in spherical coordinates? ds 2 = dt 2 +dr 2 +r 2 (dθ 2 +sin 2 θdφ 2 ). (1)
1 Tensor manipulations One final thing to learn about tensor manipulation is that the metric tensor is what allows you to raise and lower indices. That is, for example, v α = g αβ v β, where again we use
More informationAngular Momentum Quantization: Physical Manifestations and Chemical Consequences
Angular Momentum Quantization: Physical Manifestations and Chemical Consequences Michael Fowler, University of Virginia 7/7/07 The SternGerlach Experiment We ve established that for the hydrogen atom,
More informationDesigning Information Devices and Systems I Spring 2018 Lecture Notes Note Introduction to Linear Algebra the EECS Way
EECS 16A Designing Information Devices and Systems I Spring 018 Lecture Notes Note 1 1.1 Introduction to Linear Algebra the EECS Way In this note, we will teach the basics of linear algebra and relate
More informationSingularities in String Theory
Singularities in String Theory Hong Liu Massachusetts Institute of Technology Spacetime singularities Understanding the physics of spacetime singularities is a major challenge for theoretical physics.
More informationInside the Event Horizon The Schwarzschild metric describes spacetime outside of a spherically symmetric body,
Lecture 10 In the previous lecture we described the Schwarzschild exterior solution for spherically symmetric objects. The effects of time dilation and gravitational redshift of light emanating from a
More informationSuperposition  World of Color and Hardness
Superposition  World of Color and Hardness We start our formal discussion of quantum mechanics with a story about something that can happen to various particles in the microworld, which we generically
More informationThe imaginary part of the GR action and the largespin 4simplex amplitude
The imaginary part of the GR action and the largespin 4simplex amplitude Yasha Neiman Penn State University 1303.4752 with N. Bodendorfer; also based on 1212.2922, 1301.7041. May 7, 2013 Yasha Neiman
More informationChapter S3 Spacetime and Gravity. Agenda. Distinguishing Crackpots
Chapter S3 Spacetime and Gravity Agenda Announce: Online Quizzes Observations Extra Credit Lecture Distinguishing Crackpot/Genuine Science Review of Special Relativity General Relativity Distinguishing
More informationParadoxes of special relativity
Paradoxes of special relativity Today we are turning from metaphysics to physics. As we ll see, certain paradoxes about the nature of space and time result not from philosophical speculation, but from
More informationDIFFERENTIAL EQUATIONS
DIFFERENTIAL EQUATIONS Basic Concepts Paul Dawkins Table of Contents Preface... Basic Concepts... 1 Introduction... 1 Definitions... Direction Fields... 8 Final Thoughts...19 007 Paul Dawkins i http://tutorial.math.lamar.edu/terms.aspx
More informationOn a Heuristic Point of View about
On a Heuristic Point of View about the and Conversion of A. EINSTEIN exists an essential formal difference between the theoretical pictures physicists have drawn of gases and other ponderable bodies and
More informationLecture 01. Introduction to Elementary Particle Physics
Introduction to Elementary Particle Physics Particle Astrophysics Particle physics Fundamental constituents of nature Most basic building blocks Describe all particles and interactions Shortest length
More informationThe Absence of Horizon in BlackHole Formation
The Absence of Horizon in BlackHole Formation PeiMing Ho 1, Department of Physics and Center for Theoretical Sciences, Center for Advanced Study in Theoretical Sciences, National Taiwan University, Taipei
More informationThe Absence of Horizon in BlackHole Formation
The Absence of Horizon in BlackHole Formation PeiMing Ho 1, Department of Physics and Center for Theoretical Sciences, Center for Advanced Study in Theoretical Sciences, National Taiwan University, Taipei
More informationPhysics 123 Unit #5 Review
Physics 123 Unit #5 Review I. Definitions & Facts world line propagator rest energy total energy kinetic energy and inertial reference frame Lorentz boost relativistic invariants halflife scattering angle
More informationor translated to probabilities, p A
Notes on Zurek s derivation of the quantum probability rule C. M. Caves 2004 January 29; modified 2005 July 29 This is my take on WHZ s derivation of the quantum probability rule. I worked this out myself
More informationarxiv: v1 [hepth] 14 Jun 2015
arxiv:1506.04342v1 [hepth] 14 Jun 2015 A model with no firewall Samir D. Mathur Department of Physics, The Ohio State University, Columbus, OH 43210, USA mathur.16@osu.edu Abstract We construct a model
More informationGeneral relativity, 3
General relativity, 3 Gravity as geometry: part II Even in a region of spacetime that is so small that tidal effects cannot be detected, gravity still seems to produce curvature. he argument for this
More informationThe Wave Function. Chapter The Harmonic Wave Function
Chapter 3 The Wave Function On the basis of the assumption that the de Broglie relations give the frequency and wavelength of some kind of wave to be associated with a particle, plus the assumption that
More informationOn the origin of probability in quantum mechanics
On the origin of probability in quantum mechanics Steve Hsu Benasque, September 2010 Outline 1. No Collapse quantum mechanics 2. Does the Born rule (probabilities) emerge? 3. Possible resolutions R. Buniy,
More informationGALILEAN RELATIVITY. Projectile motion. The Principle of Relativity
GALILEAN RELATIVITY Projectile motion The Principle of Relativity When we think of the term relativity, the person who comes immediately to mind is of course Einstein. Galileo actually understood what
More informationLecture 1: Overview of quantum information
CPSC 59/69: Quantum Computation John Watrous, University of Calgary References Lecture : Overview of quantum information January 0, 006 Most of the material in these lecture notes is discussed in greater
More informationPhysics 12 Unit 2: Vector Dynamics
1 Physics 12 Unit 2: Vector Dynamics In this unit you will extend your study of forces. In particular, we will examine force as a vector quantity; this will involve solving problems where forces must be
More informationQuantum Measurement and Bell s Theorem
Chapter 7 Quantum Measurement and Bell s Theorem The combination of the facts that there is a probability amplitude that superimposes states a from adding of all paths, a wavelike property, and the interactions
More informationHiggs Field and Quantum Gravity
Higgs Field and Quantum Gravity The magnetic induction creates a negative electric field, causing an electromagnetic inertia responsible for the relativistic mass change; it is the mysterious Higgs Field
More information3 Quantization of the Dirac equation
3 Quantization of the Dirac equation 3.1 Identical particles As is well known, quantum mechanics implies that no measurement can be performed to distinguish particles in the same quantum state. Elementary
More information2 Quantum Mechanics. 2.1 The Strange Lives of Electrons
2 Quantum Mechanics A philosopher once said, It is necessary for the very existence of science that the same conditions always produce the same results. Well, they don t! Richard Feynman Today, we re going
More informationInside the horizon 2GM. The Schw. Metric cannot be extended inside the horizon.
G. Srinivasan Schwarzschild metric Schwarzschild s solution of Einstein s equations for the gravitational field describes the curvature of space and time near a spherically symmetric massive body. 2GM
More information8.821 String Theory Fall 2008
MIT OpenCourseWare http://ocw.mit.edu 8.821 String Theory Fall 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 8.821 F2008 Lecture 02: String theory
More informationarxiv:grqc/ v2 30 Oct 2005
International Journal of Modern Physics D c World Scientific Publishing Company arxiv:grqc/0505111v2 30 Oct 2005 ENTROPY AND AREA IN LOOP QUANTUM GRAVITY JOHN SWAIN Department of Physics, Northeastern
More informationQuantum Error Correcting Codes and Quantum Cryptography. Peter Shor M.I.T. Cambridge, MA 02139
Quantum Error Correcting Codes and Quantum Cryptography Peter Shor M.I.T. Cambridge, MA 02139 1 We start out with two processes which are fundamentally quantum: superdense coding and teleportation. Superdense
More informationMaxwell s equations. based on S54. electric field charge density. current density
Maxwell s equations based on S54 Our next task is to find a quantum field theory description of spin1 particles, e.g. photons. Classical electrodynamics is governed by Maxwell s equations: electric field
More informationRealizing nonabelian statistics in quantum loop models
Realizing nonabelian statistics in quantum loop models Paul Fendley Experimental and theoretical successes have made us take a close look at quantum physics in two spatial dimensions. We have now found
More informationQuantum Teleportation
Fortschr. Phys. 50 (2002) 5 7, 608 613 Quantum Teleportation Samuel L. Braunstein Informatics, Bangor University, Bangor LL57 1UT, UK schmuel@sees.bangor.ac.uk Abstract Given a single copy of an unknown
More informationSecrets of Quantum Information Science
Secrets of Quantum Information Science Todd A. Brun Communication Sciences Institute USC Quantum computers are in the news Quantum computers represent a new paradigm for computing devices: computers whose
More information14. Black Holes 2 1. Conformal Diagrams of Black Holes
14. Black Holes 2 1. Conformal Diagrams of Black Holes from t = of outside observer's clock to t = of outside observer's clock time always up light signals always at 45 time time What is the causal structure
More informationRussell s logicism. Jeff Speaks. September 26, 2007
Russell s logicism Jeff Speaks September 26, 2007 1 Russell s definition of number............................ 2 2 The idea of reducing one theory to another.................... 4 2.1 Axioms and theories.............................
More informationReview of the Formalism of Quantum Mechanics
Review of the Formalism of Quantum Mechanics The postulates of quantum mechanics are often stated in textbooks. There are two main properties of physics upon which these postulates are based: 1)the probability
More information228 My God  He Plays Dice! Schrödinger s Cat. Chapter 28. This chapter on the web informationphilosopher.com/problems/scrodingerscat
228 My God  He Plays Dice! Schrödinger s Cat This chapter on the web informationphilosopher.com/problems/scrodingerscat Schrödinger s Cat Schrödinger s Cat Erwin Schrödinger s goal for his infamous catkilling
More informationHerman Verlinde. Simons Symposium. February, Quantum Entanglement: From Quantum Matter to String Theory PCTS. Princeton University
How to Fall into a Black Hole Princeton University Herman Verlinde Simons Symposium Quantum Entanglement: From Quantum Matter to String Theory Feruary, 2013 PCTS The AdS/CFT correspondence has convinced
More informationSynchronization of thermal Clocks and entropic Corrections of Gravity
Synchronization of thermal Clocks and entropic Corrections of Gravity Andreas Schlatter Burghaldeweg 2F, 5024 Küttigen, Switzerland schlatter.a@bluewin.ch Abstract There are so called MOND corrections
More informationarxiv: v2 [hepth] 27 Apr 2011
UCBPTH11/02 Physical Theories, Eternal Inflation, and Quantum Universe arxiv:1104.2324v2 [hepth] 27 Apr 2011 Yasunori Nomura Berkeley Center for Theoretical Physics, Department of Physics, University
More informationIntroductory Course on Black Hole Physics and AdS/CFT Duality Lecturer: M.M. SheikhJabbari
Introductory Course on Black Hole Physics and AdS/CFT Duality Lecturer: M.M. SheikhJabbari This is a PhD level course, designed for second year PhD students in Theoretical High Energy Physics (HEPTH)
More informationStochastic Processes
qmc082.tex. Version of 30 September 2010. Lecture Notes on Quantum Mechanics No. 8 R. B. Griffiths References: Stochastic Processes CQT = R. B. Griffiths, Consistent Quantum Theory (Cambridge, 2002) DeGroot
More informationChapter 36 The Special Theory of Relativity. Copyright 2009 Pearson Education, Inc.
Chapter 36 The Special Theory of Relativity Units of Chapter 36 Galilean Newtonian Relativity The Michelson Morley Experiment Postulates of the Special Theory of Relativity Simultaneity Time Dilation and
More informationWave function and Quantum Physics
Wave function and Quantum Physics Properties of matter Consists of discreet particles Atoms, Molecules etc. Matter has momentum (mass) A well defined trajectory Does not diffract or interfere 1 particle
More information