- #36
mitchell porter
Gold Member
- 1,464
- 720
Well, let's just look more closely at the mapping from that paper, a mapping from a region on the boundary to a point in the bulk. Mathematically, it's defined on page 3, equation 2.4. Also see slide 10 from http://www.phys.vt.edu/~sowers/talks/kabat.pdf" .
In both references, the equation describes the field at a point in anti de Sitter space, but the picture is of a point in de Sitter space. In the picture of de Sitter space, time is in the vertical direction, so it's saying that the boundary is in the past. The "smearing", which defines the region on the boundary which maps to the point, is in two space directions on the boundary (I'm referring to the circle at the base of the light cone in the picture).
In the equation, which is for anti de Sitter space, we are defining "phi" in the bulk in terms of "phi0" on the boundary. You'll see that phi depends on three coordinates, T, bold X, and Z; but phi0 just depends on T and X. T is time (on the boundary or in the bulk), bold X is a vector (which is why it's printed in bold) and represents the space coordinates on the boundary, and Z is the extra space dimension in the bulk. So we're constructing something at a point in the bulk (with coordinates T, X, and Z) as an integral over a region on the boundary (ranging over values of T and X).
Now look at the phi0 term that we are integrating over. You'll see that time ranges over T+T', while space ranges over X+iY'. Both T' and Y' are real numbers that range over positive and negative values, and represent points on the boundary away from (T,X,0) - that is, away from the (T,X) point on the boundary where the bulk coordinate Z is just 0. So when T' is negative, it's back in time, when T' is positive, it's forward in time. But we're adding iY' to X; the boundary coordinates are supposed to become complex numbers. What does that mean?
In calculus, it's very common, when solving an equation for real numbers, to switch to complex numbers first, where it is often easier to solve, and then to later return just to real numbers. But here there is actually a physical meaning too.
In relativity, there's a formula for the length of the http://en.wikipedia.org/wiki/Spacetime#Basic_concepts" between two points. The square of the length is negative for timelike separation, positive for spacelike separation, and zero for lightlike separation. "Timelike separation" means that one point is definitely (causally) in the future of the other point. Because of the way that space and time change in relativity, when viewed from different reference frames, sometimes A can be in the future of B, in one frame, but in its past in another frame. So you can't just use the time coordinate to determine the ordering of events. If A is, not just in the future of B according to the coordinate system, but also close enough to B in space that it is in the "future light cone" of B, then it is definitely in the future of B, there's no physically valid coordinate change which will put it into the past. Timelike separation refers to this relationship of definitely being in the future. Something that is spacelike separated, you could think of as "quasi-simultaneous". There will be coordinate systems where it's in the future, others where it's in the past, but it's always too far away for a causal connection at the speed of light.
These are the basics of special relativity. Now notice, just as a fact of algebra, that if you could somehow have something which was an imaginary-number amount of time into the future, the square of the spacetime interval would now be positive, even though timelike is supposed to be negative, because the i factor in the interval length would produce an extra factor of -1 in the square of the length.
It is also a fact that de Sitter space and anti de Sitter space are closely connected geometrically. I wrote a little about it https://www.physicsforums.com/showthread.php?p=3222927". You can get both spaces from the same geometric object, but choosing a different direction for time.
So, returning to the paper: their region-on-the-boundary-to-point-in-the-bulk map for anti de Sitter space is an analytic continuation of the region-on-the-past-boundary-to-point-in-the-present-bulk map for de Sitter space. More precisely, they use a formula which makes sense in de Sitter space, because all the space and time distances in the formula are specified in real numbers, and then they transform that into a formula which looks like the anti de Sitter formula by making some quantities imaginary. So the resulting formula is a peculiar intermediate thing: it's motivated by how de Sitter space works, but it's applied in anti de Sitter space, but it relies on treating coordinates in anti de Sitter space as if they were complex numbers rather than real numbers. (Among other things, that would double the number of real dimensions, because now you have x+yi wherever you previously just had an x.)
Most physicists are rather unconcerned about formal manipulations like this, because they are just intermediate steps in a larger calculation. For example, you might be computing the probabilities of various outcomes of a particle collision in which the motion of the incoming particles are specified by momentum vectors. Those probabilities will be complicated functions of the momentum vectors. It is an utterly routine thing for such functions to be computed by treating the momentum vectors as vectors of complex numbers, and then later restricting back to real numbers in some way. The same thing happens here with the "complexified boundary" coordinates. We are actually talking about fields whose value varies across space and time in a way that depends on space-time coordinates, so using complex-valued space-time coordinates really means, using complex numbers as an input to the function which defines how the field varies with space and time. In this case, we are then figuring out something about the value of the field at a point in the bulk - a point whose coordinates are definitely just real numbers - by an integration over the behavior of the field on the complexified boundary.
According to the usual pragmatic philosophy, we don't care too much about the implicit doubling of dimensions on the boundary that this involves, because that's just an intermediate step. What we start out with is a specification of how the field behaves on the boundary, we mysteriously extend that specification to "the way the field would behave if the boundary coordinates were complex numbers rather than real numbers", we perform a big integral, and since we get an answer which once again involves just real-valued coordinates, we don't have to worry about whether the complex-valued space-time coordinates correspond to something real.
But if we want to invert this mapping, we're trying to go from a region in the bulk to a point on the boundary. Therefore, we either have to go back to the uncomplexified boundary, or we have to start taking the complexified boundary literally.
Earlier in this thread I mentioned Roger Penrose's twistors. They also derive from a complexification of space-time coordinates. But Penrose, at least, wanted to consider them as a fundamental theory (most of the people now using twistors regard them just as a mathematical tool). So maybe, if we want to map bulk nonlocality to boundary locality, we have to use twistors somehow. And there's the fact that the "third theory" of Arkani-Hamed et al, which adds a third description to the bulk/boundary duality, is expressed in terms of twistors. The only problem is, I don't think twistors look local in terms of the boundary either (at least, not in terms of the usual boundary, with real-only coordinates). So if we're chasing after the origins of quantum mechanics itself, this may be an indication that seeking classical locality on the boundary is not the answer - that the boundary will remain quantum. And after all, that's how it is in the orthodox use of AdS/CFT.
In both references, the equation describes the field at a point in anti de Sitter space, but the picture is of a point in de Sitter space. In the picture of de Sitter space, time is in the vertical direction, so it's saying that the boundary is in the past. The "smearing", which defines the region on the boundary which maps to the point, is in two space directions on the boundary (I'm referring to the circle at the base of the light cone in the picture).
In the equation, which is for anti de Sitter space, we are defining "phi" in the bulk in terms of "phi0" on the boundary. You'll see that phi depends on three coordinates, T, bold X, and Z; but phi0 just depends on T and X. T is time (on the boundary or in the bulk), bold X is a vector (which is why it's printed in bold) and represents the space coordinates on the boundary, and Z is the extra space dimension in the bulk. So we're constructing something at a point in the bulk (with coordinates T, X, and Z) as an integral over a region on the boundary (ranging over values of T and X).
Now look at the phi0 term that we are integrating over. You'll see that time ranges over T+T', while space ranges over X+iY'. Both T' and Y' are real numbers that range over positive and negative values, and represent points on the boundary away from (T,X,0) - that is, away from the (T,X) point on the boundary where the bulk coordinate Z is just 0. So when T' is negative, it's back in time, when T' is positive, it's forward in time. But we're adding iY' to X; the boundary coordinates are supposed to become complex numbers. What does that mean?
In calculus, it's very common, when solving an equation for real numbers, to switch to complex numbers first, where it is often easier to solve, and then to later return just to real numbers. But here there is actually a physical meaning too.
In relativity, there's a formula for the length of the http://en.wikipedia.org/wiki/Spacetime#Basic_concepts" between two points. The square of the length is negative for timelike separation, positive for spacelike separation, and zero for lightlike separation. "Timelike separation" means that one point is definitely (causally) in the future of the other point. Because of the way that space and time change in relativity, when viewed from different reference frames, sometimes A can be in the future of B, in one frame, but in its past in another frame. So you can't just use the time coordinate to determine the ordering of events. If A is, not just in the future of B according to the coordinate system, but also close enough to B in space that it is in the "future light cone" of B, then it is definitely in the future of B, there's no physically valid coordinate change which will put it into the past. Timelike separation refers to this relationship of definitely being in the future. Something that is spacelike separated, you could think of as "quasi-simultaneous". There will be coordinate systems where it's in the future, others where it's in the past, but it's always too far away for a causal connection at the speed of light.
These are the basics of special relativity. Now notice, just as a fact of algebra, that if you could somehow have something which was an imaginary-number amount of time into the future, the square of the spacetime interval would now be positive, even though timelike is supposed to be negative, because the i factor in the interval length would produce an extra factor of -1 in the square of the length.
It is also a fact that de Sitter space and anti de Sitter space are closely connected geometrically. I wrote a little about it https://www.physicsforums.com/showthread.php?p=3222927". You can get both spaces from the same geometric object, but choosing a different direction for time.
So, returning to the paper: their region-on-the-boundary-to-point-in-the-bulk map for anti de Sitter space is an analytic continuation of the region-on-the-past-boundary-to-point-in-the-present-bulk map for de Sitter space. More precisely, they use a formula which makes sense in de Sitter space, because all the space and time distances in the formula are specified in real numbers, and then they transform that into a formula which looks like the anti de Sitter formula by making some quantities imaginary. So the resulting formula is a peculiar intermediate thing: it's motivated by how de Sitter space works, but it's applied in anti de Sitter space, but it relies on treating coordinates in anti de Sitter space as if they were complex numbers rather than real numbers. (Among other things, that would double the number of real dimensions, because now you have x+yi wherever you previously just had an x.)
Most physicists are rather unconcerned about formal manipulations like this, because they are just intermediate steps in a larger calculation. For example, you might be computing the probabilities of various outcomes of a particle collision in which the motion of the incoming particles are specified by momentum vectors. Those probabilities will be complicated functions of the momentum vectors. It is an utterly routine thing for such functions to be computed by treating the momentum vectors as vectors of complex numbers, and then later restricting back to real numbers in some way. The same thing happens here with the "complexified boundary" coordinates. We are actually talking about fields whose value varies across space and time in a way that depends on space-time coordinates, so using complex-valued space-time coordinates really means, using complex numbers as an input to the function which defines how the field varies with space and time. In this case, we are then figuring out something about the value of the field at a point in the bulk - a point whose coordinates are definitely just real numbers - by an integration over the behavior of the field on the complexified boundary.
According to the usual pragmatic philosophy, we don't care too much about the implicit doubling of dimensions on the boundary that this involves, because that's just an intermediate step. What we start out with is a specification of how the field behaves on the boundary, we mysteriously extend that specification to "the way the field would behave if the boundary coordinates were complex numbers rather than real numbers", we perform a big integral, and since we get an answer which once again involves just real-valued coordinates, we don't have to worry about whether the complex-valued space-time coordinates correspond to something real.
But if we want to invert this mapping, we're trying to go from a region in the bulk to a point on the boundary. Therefore, we either have to go back to the uncomplexified boundary, or we have to start taking the complexified boundary literally.
Earlier in this thread I mentioned Roger Penrose's twistors. They also derive from a complexification of space-time coordinates. But Penrose, at least, wanted to consider them as a fundamental theory (most of the people now using twistors regard them just as a mathematical tool). So maybe, if we want to map bulk nonlocality to boundary locality, we have to use twistors somehow. And there's the fact that the "third theory" of Arkani-Hamed et al, which adds a third description to the bulk/boundary duality, is expressed in terms of twistors. The only problem is, I don't think twistors look local in terms of the boundary either (at least, not in terms of the usual boundary, with real-only coordinates). So if we're chasing after the origins of quantum mechanics itself, this may be an indication that seeking classical locality on the boundary is not the answer - that the boundary will remain quantum. And after all, that's how it is in the orthodox use of AdS/CFT.
Last edited by a moderator: