Information Preservation in Quantum Gravity

In summary, the conservation of information from black hole radiance has been a topic of debate. Recent theories suggest that information is preserved in black holes, but is scrambled in a way that makes retrieval impossible. This is supported by the tunnelling approach to quantum radiance, which shows a perfect balance between emitted and absorbed quanta in a black hole in thermal equilibrium. However, in reality, black holes are not in thermal equilibrium and will eventually diverge from equilibrium, leading to an increase in entropy and a breakdown of the balance. Despite this, it is believed that black holes still preserve quantum information through nonlocal entanglement with their surroundings. This is evident in the "Alice and Bob" problem, where the information communicated by Alice to
  • #1
Lawrence B. Crowell
190
2
This is the start of a presentation of some work I have done over the past year and hope to publish. This is how it is that quantum information is preserved in quantum gravity and cosmology. This will involve a number of posts along this thread. The next three posts involve quantum information with black holes
//
The conservation of information from black hole radiance has an unsettled history. The initial indications were that information is lost. Yet a formalism of a consistent quantum theory of gravity with information loss is difficult, for such a theory would have to be nonunitary. In a bet recently Hawking conceded to Preskill that information was preserved in black holes. Information would then not be destroyed, but rather scrambled in such as way as to make its retrieval intractably impossible. A tunnelling approach to quantum radiance by Parikh and Wilczek [1] suggests that the process in total has [itex]\Delta S~=~0[/itex], but as recently pointed out in [2] this is the case where the black hole and environment are in thermal equilibrium. However, the negative heat capacity of spacetime means that a black hole slightly removed from equilibrium is unstable and will diverge from equilibrium. This is seen with the evaporation of a black hole, where as its entropy [itex]\Delta S_{bh}~\rightarrow~0[/itex] its temperature becomes large. Thus the Parikh-Wilczek tunnelling theory appears to be a “ measure zero” case.
//
A tunnelling process involves an action which is not accessible classically. With the tunnelling of a particle through a square barrier, this involves an imaginary momentum or action. In the case of a tunnelling of a particle from a black hole [itex]M~\rightarrow~M~+~\delta m[/itex], this involves the imaginary part of the action
[tex]
ImS~=~Im\int_{r_i}^{r_f}p_rdr.\eqno(1)
[/tex]
The Hamilton equation [itex]{\dot r}~=~{{\partial H}\over{\partial p}}[/itex] permits this to be written as
[tex]
ImS~=~Im\int_{r_i}^{r_f}\int_{p_i}^{p_i}{{dr}\over {\dot r}}dH.\eqno(2)
[/tex]
Along null geodesics the velocity [itex]{\dot r}~=~\pm 1~+~\sqrt{2M/r}[/itex] the action for the classically forbidden path is
[tex]
Im S~=~-2\pi\int_0^{\delta m}{{dr~dm}\over{1~+~\sqrt{{2M~-~\delta m}\over r}}}~=~-2\pi\big((M~-~\delta m)^2~-~M^2\big),\eqno(3)
[/tex]
which defines [itex]-{1\over 2}(S_f~-~S_i)[/itex]. The imaginary part of the action gives the tunnelling probability or emission rate as [itex]\Gamma~=~exp(-2ImS)~=~exp(\Delta S)[/itex]. For a black hole in equilibrium with the environment the entropy remains on average zero, for with every quanta it emits it will on average absorb another from the environment. [itex]dM~=~dQ[/itex] as the first law of black hole thermodynamics with [itex]dS~=~{{dQ}\over T}[/itex] holds for a reversible process. However, the fluctuations will eventually cause the black hole to diverge from equilibrium, where no matter how small this is it will cause the black hole radiance to diverge, or for the black hole to acquire larger mass arbitrarily. Any change in the state of the black hole, whether by emission or absorption, perturbs the black hole from equilibrium.
//
There are a number of physical ways that black hole radiance are presented. A black hole emits a particle since the quanta which make up a black hole have some small but nonzero probability of existing in a region [itex]r~>~2M[/itex]. Another interpretation is that virtual electron-positron pairs near the event horizon may permit one in the pair to fall into the hole while the other escapes to infinity. This view is equivalent to saying that an electron or positron propagates backward through time from the black hole and is then scattered into the forward direction by the gravity field. A related interpretation has that the creation of a positive mass-energy particle is associated with the creation of a negative mass-energy particle absorbed by the black hole. As a result the black hole’ s mass is reduced and a particle escapes. In the case of fermions this is in line with Dirac’ s original idea of the anti-particle with a negative mass-energy. In all of these cases there is a superposition principle at work. Quanta within the black hole are correlated with quanta in the exterior region. How these quanta are correlated is the fundamental issue. The imaginary action is a measure of the nonlocal correlation a particle in the black hole has with the outside world. In the case of equilibrium with [itex]TdS~=~dM[/itex] the black hole exchanges entropy with the environment so that the total information of the black hole and environment remains the same. Yet in general the radiance of a black hole will heat up the environment so that [itex]dS~>~{{dM}\over T}[/itex], and the same is the case of the black hole absorbs mass-energy.
//
A black hole will absorb and emit observables, where if information is preserved these observables will have a corollation. The corollation will reflect a quantum process which is unitary, or that the emitted observables are nonlocally entangled with the black hole states in such as way as to preserve information. If information is preserved by a black hole, then in principle a black hole is an efficient teleporter of quantum information. Here the black hole is shown to ultimately preserve quantum information even for the case that [itex]dS~>~{{dM}\over T}[/itex].
//
The standard “ Alice and Bob” problem is considered. Alice has the set of observables [itex]A[/itex], which she communicates to Bob in a string [itex]x_1x_2\dots x_n[/itex]. Bob similarly has the string [itex]y_1y_2\dots y_n[/itex]. The von Neumann information each possesses is then [itex]S(X)~=~-Tr(\rho_X~log_2\rho_X)[/itex], for [itex]X[/itex] either [itex]A[/itex] or [itex]B[/itex]. The entropy of each is then a compartmentalization on [itex]\rho_{AB}[/itex] for the total quantum information both possesses and [itex]\rho_{A}~=~Tr_B(\rho_{AB})[/itex] and [itex]\rho_B~=~Tr_A(\rho_{AB})[/itex]. Here the trace is over the part of the Hilbert space for Alice or Bob to project out the density operator for Bob or Alice. The density operator [itex]\rho_{AB}[/itex] then defines the joint entropy
[tex]
S(AB)~=~-Tr(\rho_{AB}~log_2\rho_{AB}).\eqno(4)
[/tex]
If Alice transmits her string [itex]x_1x_2\dots x_n[/itex] to Bob this defines the conditional information or entropy [itex]S(A|B)[/itex] as the information communicated by Alice given that Bob has [itex]y_1\dots y_n[/itex] defined as
[tex]
S(A|B)~=~S(AB)~-~S(B).\eqno(5)
[/tex]
If Alice sends this string into a black hole, this is the entropy measured by Bob as measured by the quantum information the black hole emits. The conditional entropy may be defined by a conditional von Neumann entropy definition
[tex]
S(A|B)~=~-Tr(\rho_B\rho(A|B)~log_2\rho(A|B)~=~-Tr(\rho_{AB}log_2\rho_{A|B}),\eqno(6)
[/tex]
where [itex]\rho_{A|B}~=~lim_{n\rightarrow\infty}\big({\rho_{AB}}^{1/n}({\bf 1}_A\otimes\rho_B)^{-1/n}\big)^n[/itex]. Here [itex]{\bf 1}_A[/itex] is a unit matrix over the Hilbert space for Alice’ s quantum information. This means that the entries of [itex]\rho_{A|B}[/itex] can be over unity, which also means that the information content of conditional entropy can be negative as well [3]. Thus quantum information can be negative, in contrast to classical information. The conditional entropy determines how much quantum communication is required to gain complete quantum information of the system in the state [itex]\rho_{AB}[/itex].
//
When the conditional entropy is negative Alice can only communicate information about the complete state by classical communication. The sharing of [itex]-S(A|B)[/itex] means that Alice and Bob share an entangled state, which may be used to teleport a state at no entropy cost. The negative quantum information is then the degree of “ ignorance” Bob has of the quantum system which cancels out any future information Bob receives. The “ hole” that Alice fills in Bob’ s state ignorance amounts to a merging of her state with Bob’ s.
 
Physics news on Phys.org
  • #2
Information Preservation in Quantum Gravity II

This is the full presentation on information preservation in quantum gravity.
 

Attachments

  • infoloss.pdf
    101.4 KB · Views: 589
  • #3
The Hamiltonian for gravity

Hello Lawrence:

Let me ask a basic question. I thought there was a problem writing out the Hamiltonian for general relativity. If it was straightforward, there would be no need for all the struggles with quantum gravity in the first place.

For all other areas of physics where things are working well, the Hamiltonian can be found by direct calculation if the Lagrange density is known:
[tex]H=\pi^{\mu}\frac{\partial A_{\mu}}{\partial t}-\mathcal{L}[/tex]
Hilbert figured out the Lagrangian back in 1915. The problem as I understand it, is that for any point in spacetime, one could choose a coordinate system so that energy was zero there but not everywhere, known as the Riemann normal coordinates. This is the energy localization problem for general relativity. This is accepted as an interesting insight into gravity, not a deadly technical flaw of general relativity.

Personally, I do not think the underlying math of gravity should somehow be different from the rest of physics. It is a BIG RED FLAG if calculating the Hamiltonian is somehow different on a technical level for gravity than every other working theory in physics.

doug
 
  • #4
sweetser said:
Hello Lawrence:

Let me ask a basic question. I thought there was a problem writing out the Hamiltonian for general relativity. If it was straightforward, there would be no need for all the struggles with quantum gravity in the first place.

For all other areas of physics where things are working well, the Hamiltonian can be found by direct calculation if the Lagrange density is known:
[tex]H=\pi^{\mu}\frac{\partial A_{\mu}}{\partial t}-\mathcal{L}[/tex]
Hilbert figured out the Lagrangian back in 1915. The problem as I understand it, is that for any point in spacetime, one could choose a coordinate system so that energy was zero there but not everywhere, known as the Riemann normal coordinates. This is the energy localization problem for general relativity. This is accepted as an interesting insight into gravity, not a deadly technical flaw of general relativity.

Personally, I do not think the underlying math of gravity should somehow be different from the rest of physics. It is a BIG RED FLAG if calculating the Hamiltonian is somehow different on a technical level for gravity than every other working theory in physics.

doug
Hello Doug
What do you think about Arnowitt, Deser and Misner (ADM) 3+1 Form for solving the problem
http://www.tat.physik.uni-tuebingen.de/~koellein/bericht-WEB/node19.html
 
Last edited by a moderator:
  • #5
The ADM-split of the Einstein field equations into 3 dimension of space, and one for time, is not relevant to the issue I raised. ADM is used by people who do numerical relativity, stuff like the path followed by a nuetron star spiralling into a black hole. I think it shines no light on finding the Hamiltonian.

The gauge symmetry in my GEM proposal is different from that found in GR and GEM, so you would have to go that thread and see if you understand my viewpoint (it is not appropriate to go into details in Lawerence's thread. I hope he is OK, as I have not seen him around these pages for a while).

doug
 
  • #6
sweetser said:
The ADM-split of the Einstein field equations into 3 dimension of space, and one for time, is not relevant to the issue I raised. ADM is used by people who do numerical relativity, stuff like the path followed by a nuetron star spiralling into a black hole. I think it shines no light on finding the Hamiltonian.

doug
Thanks for the precision...I admit I am a little rusty after some months out of the discussion.
I need to refresh some notions about your theory.
 
  • #7
responses

I have not been here for a while. I thought I would return to see what has been up.

The lagrangian for GR is the Hilbert-Palatini action which is of the form

L = sqrt{g} k^{-1}R,

where k = 8piG/c^4. If one is involved with issues of inflation this constant is replaced by k^{-1} ---> k^{-1} + phi^2/6, where phi also obeys a Higgian field equation.

In the space plus time approach the action is

S = sqrt{g}pi_{ab}dg^{ab} - NH - N_iH^i

where H = 1/2pi^{ab}pi_{ab} - R^{(3)} and H_i = nabla_jpi^{ij}, which are the Hamiltonian and momentum constraints and N and N_i are the Lagrange multipliers for the theory. This leads to the dynamical equation H = 0. This is extended to the Wheeler-Dewitt equation by canonical quantization.

This issues with quantum gravity are rather subtle issues of what it means for HPsi = 0, where this is a wave functional over some closed or compact set of spatial surfaces. The issue is how is that one can make this define a set of diffeomorphisms over spatial surfaces.

Lawrence B. Crowell
 
  • #8
GR versus EM

Hello Lawrence:

In EM, the Hamiltonian is simple: it is the [itex]T^{00}[/itex] part of the stress tensor:
[tex]H=\frac{1}{8 \pi}(E^2+B^2)[/tex]
Square the two fields involved, at it up, and one is done. When gravity is described by general relativity, it is much harder to understand. This means one of two possible things: it is worth the effort to work at appreciating the subtleties, or GR is wrong. One of the strengths of GR is the simplicity of the Hilbert action, but it does not continue through the Hamiltonian. EM is giving us a clear message: the Hamiltonian should be simple so the theory can be qunatized. With GR it is not, the issues are subtle. This is why I look to EM for guidance, and have the courage to clearly abandon GR.

doug
 
  • #9
Lawrence B. Crowell said:
A tunnelling process involves an action which is not accessible classically. With the tunnelling of a particle through a square barrier, this involves an imaginary momentum or action. In the case of a tunnelling of a particle from a black hole [itex]M~\rightarrow~M~+~\delta m[/itex], this involves the imaginary part of the action
[tex]
ImS~=~Im\int_{r_i}^{r_f}p_rdr.\eqno(1)
[/tex]
The Hamilton equation [itex]{\dot r}~=~{{\partial H}\over{\partial p}}[/itex] permits this to be written as
[tex]
ImS~=~Im\int_{r_i}^{r_f}\int_{p_i}^{p_i}{{dr}\over {\dot r}}dH.\eqno(2)
[/tex]
Along null geodesics the velocity [itex]{\dot r}~=~\pm 1~+~\sqrt{2M/r}[/itex] the action for the classically forbidden path is
[tex]
Im S~=~-2\pi\int_0^{\delta m}{{dr~dm}\over{1~+~\sqrt{{2M~-~\delta m}\over r}}}~=~-2\pi\big((M~-~\delta m)^2~-~M^2\big),\eqno(3)
[/tex]
which defines [itex]-{1\over 2}(S_f~-~S_i)[/itex]. The imaginary part of the action gives the tunnelling probability or emission rate as [itex]\Gamma~=~exp(-2ImS)~=~exp(\Delta S)[/itex]. For a black hole in equilibrium with the environment the entropy remains on average zero, for with every quanta it emits it will on average absorb another from the environment. [itex]dM~=~dQ[/itex] as the first law of black hole thermodynamics with [itex]dS~=~{{dQ}\over T}[/itex] holds for a reversible process. However, the fluctuations will eventually cause the black hole to diverge from equilibrium, where no matter how small this is it will cause the black hole radiance to diverge, or for the black hole to acquire larger mass arbitrarily. Any change in the state of the black hole, whether by emission or absorption, perturbs the black hole from equilibrium.

Why would a square barrier be valid in this case? Since when is the gravitational potential can be accurately represented by a square barrier?

If you try to do this via the WKB approximation, then you will have to deal with the tunneling matrix element, which is the most accurate way of getting the tunneling probablity. I do not see where you have considered any of this.

Zz.
 
  • #10
One can model black hole tunnelling in this fashion. However, this is more of an approximate or heuristic sort of model. My purpose is to illustrate something about information in black hole radiation. So in order to do this I use the action in this way.

Let there be an initial quantum state

|psi> = 1/sqt(2)(|1>_u|2>_v + |2>_u|1>_v)

where the EPR type states 1 and 2 are in a superposition according to whether they are on the Kruskal coordinates u or v. The v coordinates are not analytic across the horizon where the u coordinates are. This means that a particle pair from the polarized vacuum are in an entanglement, but as we know the u coordinates enter the black hole. Hence states on u end up being absorbed into the black hole interior within a "time" ~ pi M/2. If the black hole state is given by |M> we then have that

|psi> ---> 1/sqt(2)(|2>_v|M_1> + |1>_v|M_2>)

where |M>_1 = |1>_u|M> and similarly for the "2" state. However, the v coordinates are not analytic across the horizon so in general the outside observer does not have access to |M_n>. This is similar to the whole issue of wave function collapse. This loss of information defines the conditional entropy S(A|B) in the Alice-Bob teleporation problem.

Yet we know that S(A|B) = S(AB) - S(B), so in principle given an appropriate accounting Alice may actually teleport his states through the black hole to Bob. A negative S(A|B) corresponds to an entanglement between the Alice and Bob states. This is the gist of my short paper.

This means that black holes may absorb quantum states along the v coordinate and the entanglement appears to be effectively lost with an outgoing state along the u coordinate. However, all this means is that the entanglment measure has shifted to the states of the black hole, and the information arriving along the u coordinate appears random because information has been encrypted. The black hole quantum gravity states must encrypt quantum information in a way which preserves them from the wild quantum fluctuations near the singularity.

The nature of this encyption is the core of what I am working on. The structure of quantum gravity in order to preserve quantum information must involve symmetries which preserve quantum information, and at the same time be the field symmetry of gravity. This necessitates that quantum gravity be a Goppa and/or Golay code system. The first has the advantage of being over algebraic varieties which define event horizons as projective varieties. The geometric content is given by Golay codes which have E_8 and higher lattice descriptions. The E_8 error correction system effectively exists in the heterotic string.

So all of this is a prelude to further work. I hope this helps for now.

Cheers,

Lawrence B. Crowell
 
  • #11
All you did was convince me that it isn't "tunneling".

Zz.
 
  • #12
I think that abandoning GR and trying to do everything as electromagnetism is not going to go well with a lot of people. The two theories have a similar structure up to the post-Newtonian (PN) term. Beyond that to PPN and beyond GR demonstrates departures from EM theory.

Electromagnetism is the "easy" field theory because the photon carries no charge. This is why it is abelian U(1), with a nice linear structure. The problem is that other field theories are not so simple. In the case of gravitation such an abelian structure can't work in general. Think of Newtonian gravity, where the potential energy is V = -GMm/r. for M and m small enough the mass equivalence of this m_grav = Vc^2 is very small. However, for very large masses the m_grav becomes large enough, though negative, to contribute to the gravity field. In other words the gravity field gravitates. This has been called the "lightness of gravity," for the field for large masses tends to actually reduce the field. From analogues with electromagnetism it would be as if the photon has a charge and can radiate photons. In QCD and the weak interactions this sort of gauge field exists.

Due to this and the fact that the gravity field has to be Lorentz covariant the structure of classical gravitation is what Einstein laid down in general relativity.

Lawrence B. Crowell
 
  • #13
It's tunnelling. For the elementary case with a potential V > E we have that

E = p^2/2m + V

and so

p = sqrt(2m)*sqrt(E - V)

which is imaginary valued. So for a wave function given by

psi ~ exp(ipx/hbar),

where px is the action, this action is imaginary valued. A tunnelling state or instanton is given by an imaginary action. In my paper the problem involves an imaginary action.

Lawrence B. Crowell
 
  • #14
Lawrence B. Crowell said:
It's tunnelling. For the elementary case with a potential V > E we have that

E = p^2/2m + V

and so

p = sqrt(2m)*sqrt(E - V)

which is imaginary valued. So for a wave function given by

psi ~ exp(ipx/hbar),

where px is the action, this action is imaginary valued. A tunnelling state or instanton is given by an imaginary action. In my paper the problem involves an imaginary action.

Lawrence B. Crowell

Just because you have an "imaginary action" does not mean you are dealing with "tunneling phenomena".

For example, there's nothing here that calculates the probability of transmission. If you have an initial state, and a final state that you want to tunnel to, where is the transition probability? You seem to have neglected the tunneling matrix element that couples the two states together (look in Merzbacher if you don't believe me).

This, again, is still neglecting the validity of a "square potential" in the first place as a reasonable substitute for an actual potential. Why isn't any realistic gravitational potential used here? Just so you can simplify the mathematics?

Zz.
 
  • #15
GR could be wrong

Hello Lawrence:

I think that abandoning GR and trying to do everything as electromagnetism is not going to go well with a lot of people.
Agreed. A rank 1 field theory is not in the literature. Take something like a scalar-tensor theory. There are lots of papers on the topic. Many good books on GR have a section of a chapter on the topic. Clifford Will's living review article talks about scalar-tensor theories, and does not bring up the possibility of the simplest rank 1 field theory (I asked him directly). Seeing a blind spot takes work that I do not believe a lot of people are willing to take. People earn their income by looking at GR. Tenure is suppose to give people the freedom to explore alternative ideas that is not exercised enough.

Beyond that to PPN and beyond GR demonstrates departures from EM theory.
If you are referring to my efforts, the agreement is to first-order PPN accuracy. At this time we have zero data to confirm or reject GR at second-order PPN accuracy, where my approach predicts 12% more bending around the Sun. This is a very rare and good thing: a solid test for two theories of gravity consistent at the current level of measurement.

Electromagnetism is the "easy" field theory because the photon carries no charge. This is why it is abelian U(1), with a nice linear structure.
Agreed. What can electromagnetism do to 2 unlabeled particles? Well, they could be attracted to each other with a classical 1/R^2 force, or they could repel from one another due to a 1/R^2 force, or they might do nothing. This is simple, only three possibilities exist.

What can gravity do to 2 unlabeled particles? Well, they can only be attracted to each other with a classical 1/R^2 force. Our explanation of gravity must be simpler than EM.

There certainly are more complicated gauge field theories out there, such as those for the weak and the strong forces that you cite. Gravity should be simpler. It is also true the GR is not a simpler field theory than EM. There is no direct experimental data to show that gravity fields gravitate. The nonlinearity is far too subtle - I suspect way beyond second-order PPN accuracy, but I do not know the actual numbers. It is my belief that gravity fields do not gravitate. If in Nature, gravity fields do not gravitate, then GR must be abandoned, it is a logical consequence, nothing more. I am saying that all sorts of forms of energy contribute to the 4-momentum charge as a source of gravity - kinetic energy, binding energy, etc. - but that the energy of the gravity field itself does not add to the charge. Gravity, at least classically simpler than EM, is thus like EM in this way, and not like the weak or the strong force which involve more force particles and charges.

Due to this and the fact that the gravity field has to be Lorentz covariant the structure of classical gravitation is what Einstein laid down in general relativity.
I believe this is referencing work by Weinberg and others where if one wants to make Newton's classical gravitational force and make it consistent with special relativity, then you end up at Einstein's field equations. That path does exist and is valid. A different approach is, well, different. There is no way a scalar field theory can explain light bending around the Sun since one term in the metric get bigger than one, the other less than one. It may be an error to try and make something broken more consistent. Better to start with something that can be valid no matter what.

I could make more banal arguments, citing cases where theories we thought were true turned out to be in error, but I like the specific technical nature of this critique.

I hope to get the Hamiltonian calculation done next week for my work. The calculation is direct, but I want to get all the LaTeX in place.

doug
 
Last edited:
  • #16
ZapperZ said:
Just because you have an "imaginary action" does not mean you are dealing with "tunneling phenomena".

For example, there's nothing here that calculates the probability of transmission. If you have an initial state, and a final state that you want to tunnel to, where is the transition probability? You seem to have neglected the tunneling matrix element that couples the two states together (look in Merzbacher if you don't believe me).

This, again, is still neglecting the validity of a "square potential" in the first place as a reasonable substitute for an actual potential. Why isn't any realistic gravitational potential used here? Just so you can simplify the mathematics?

Zz.
You wrote:

Just because you have an "imaginary action" does not mean you are dealing with "tunneling phenomena".

In the case of an imaginary action one has an instanton, this is pretty standard. In this case time is imaginary t ---> it or in the more familiar parlance k^2 < 0.

As for a calculation of a transmission rate look below equation 3.

As for intial and final states, these are in the entropies. In particular the conditional entropy gives the entanglement of states between Bob and Alice which determines how much quantum information may be teleported.
between them.

As for the gravitational potential, the action is given by a pdr which in turn is expressed according to the Hamiltonian for the system. There is no need for an ad hoc square potential substitution.

Lawrence B. Crowell
 
  • #17
Lawrence B. Crowell said:
You wrote:

Just because you have an "imaginary action" does not mean you are dealing with "tunneling phenomena".

In the case of an imaginary action one has an instanton, this is pretty standard. In this case time is imaginary t ---> it or in the more familiar parlance k^2 < 0.

As for a calculation of a transmission rate look below equation 3.

Could you cite me where such a thing has been used as a valid description for a "tunneling" phenomena?

Zz.
 
  • #18
Hello Sweetser

As for gravity attracting, this is due to the group structure of the theory. Electromagnetism is a U(1) theory, which is just the circle on the complex plane. The two roots of the theory are +1 and -1 on the circle which are the two charges.

Gravity is SO(3,1) ~ SL(2, C)xZ, where SL(2, C) is SU(2)x*SU(2). SU(2) is the standard rotation group with the sigma_z matrix containing the eigenvalues +-1. The *SU(2) is the same but where sigma_z ---> i*sigma_z, and so the group is not an elliptic group of rotations, but rather hyperbolic transformations corresponding to the Lorentz boosts. The roots of the *SU(2) are i, -i, which correspond to positive and negative mass. The difference with SU(2) is that there is no continuous rotation between i and -i. In other words in a universe containing positive mass-energy that "sticks," and there are no processes which can generate negative mass-energy. There is a bit I can go on with the Hawking-Penrose energy conditions, but I will leave that for later.

On this basis gravity is purely attractive and anything with mass-energy will be associated with an attractive field.

I am aware of your theory of gravity. You want to include symmetric terms. However, this proposal runs afoul with some basic issues of differential geometry or even the theory of vector spaces. I other words it runs afoul with basic "div-grad-curl" mathematics. We have been over this before, so I don't feel like bringing this up in detail again. The curvatures in general relativity have antismmetric structure for the same basic reason that B = -curl A. The differences are really formalistic, but at the core it involves the structure of spaces in differential geometry.

It is my sense that as a classical theory GR is the theory. This is similar to classical EM, which is the working picture for EM.

Lawrence B. Crowell
 
  • #19
ZapperZ said:
Could you cite me where such a thing has been used as a valid description for a "tunneling" phenomena?

Zz.
Look in "Instantons on Four Manifolds" by Freed & Uhlenbech. Hawking uses this trick in half the papers he publishes. This is pretty standard fair these days.

Lawrence B. Crowell
 
  • #20
Hello Lawrence:

Where does this bit of group theory come from?
Lawrence B. Crowell said:
Hello Sweetser
Gravity is SO(3,1) ~ SL(2, C)xZ, where SL(2, C) is SU(2)x*SU(2).
Discussions of the group theory structure of GR did not make it into MTW as far as I can tell. I did find a quote from Prof. John Baez that the symmetry of GR was the group of Diffeomorphisms on a manifold, Diff(M), the group of all continuous transformations of the manifold. I had a sense that Diff(M) is far larger than SO(3,1), however you choose to represent it. Here is a thread discussing the issue that sounds intellegent to me:

http://groups.google.com/group/sci....lativity+group+theory&rnum=8#87e436bb685a91a9

and here is a relevant quote:
Marc Nardmann said:
Having talked a lot about what the symmetry structure of general
relativity is *not*, I'd like to conclude my participation in this
thread with a description of what this symmetry structure *is* in my
opinion.

The set X of models of the theory of general relativity consists of all
pairs (M,g), where M is a 4-dimensional manifold and g is a Lorentzian
metric on M. The symmetry structure of the theory cannot adequately be
described by a group. It has to be described by a groupoid.

This groupoid is the groupoid G of all diffeomorphisms between
4-manifolds. G acts from the right on the set X of models, by pullback:
If f:M-->N is an element of G and x=(N,h) is an element of X, then
their "product" x.f is the pair (M,g), where g is the pullback of the
metric h by the diffeomorphism f.

Maybe one should include in the discussion of the symmetry structure of
general relativity also the fact that there is a "submodel" relation on
the set X of all models: (M0,g0) is a submodel of (M1,g1) if and only if
M0 is an open subset of M1 and the metric g0 is the restriction of g1 to
M0. One could therefore argue that each smooth imbedding of one
4-manifold into another should count as a "partial symmetry" of general
relativity (we can pull back metrics via imbeddings).

I think that's more or less all one can say about the symmetry
structure of general relativity.

I think I see how the Diff(M) symmetry can work in my theory. I don't see how comments from John Baez I have read but not cited, and this quote, work with your claim (which I bet has a bunch of clarifying conditions that were omitted).

doug
 
  • #21
Lawrence B. Crowell said:
Look in "Instantons on Four Manifolds" by Freed & Uhlenbech. Hawking uses this trick in half the papers he publishes. This is pretty standard fair these days.

Lawrence B. Crowell

Can you please give me the exact citations, please?

Zz.
 
  • #22
This says something different, but related. The group here is SO(3, 1) or SL(2, C). What this outlines below is how that group acts as the local action for diffeomorphisms between (M,g).

Why SO(3, 1)? This is because the symmetry must involve four dimensions, which is SO(4) for orthogonal rotations. The signature change changes this to SO(3, 1). The relationship S(3, 1) ~ SL(2,C)xZ_2 is a four space quaternionic version of the double cover relationship between SO(3) and SU(2).

Lawrence B. Crowell
 
  • #23
The Freed & Uhlenbeck book is Springer Verlang 1984. As for Hawking papers, well frankly I think one can do a bit of research

Lawrence B. Crowell
 
  • #24
Lawrence B. Crowell said:
The Freed & Uhlenbeck book is Springer Verlang 1984. As for Hawking papers, well frankly I think one can do a bit of research

Lawrence B. Crowell

Yes, but I'd rather have specific citations. You'll understand that I do not have the time to hunt for all Hawking's papers. I'm just surprised you don't have a few handy on the tip of your fingers, considering that you are using it in your formulation here. Don't you have any intention of citing a reference when you actually "publish" this?

Zz.
 
  • #25
Hawking and Hartle used the Euclideanized path integral to compute the quantum transition for cosmology in their seminal paper

S. Hawking & J. Hartle, Wave Function of the Universe, Phys. Rev. D28 (1983)

the term imaginary time was first used by Hawking (as I recall) in

S. Hawking, Quantum Coherence and Closed Timelike Curves, Phys. Rev. D52 (1995)

I presume you are able to further such research. Imaginary time, instantons and spacetime tunnelling has become pretty much standard fair in the past decade or more.

Lawrence B. Crowell
 
  • #26
Lawrence B. Crowell said:
Hawking and Hartle used the Euclideanized path integral to compute the quantum transition for cosmology in their seminal paper

S. Hawking & J. Hartle, Wave Function of the Universe, Phys. Rev. D28 (1983)

the term imaginary time was first used by Hawking (as I recall) in

S. Hawking, Quantum Coherence and Closed Timelike Curves, Phys. Rev. D52 (1995)

Thanks. I'll check up on those.

I presume you are able to further such research. Imaginary time, instantons and spacetime tunnelling has become pretty much standard fair in the past decade or more.

Well, I'm an experimentalist. My definition of what is "pretty much standard fair" is obviously quite different than yours, since I require something to be experimentally verified before it becomes a "standard fair".

Zz.
 
  • #27
LAWRENCE B. CROWELL said:

"The conservation of information from black hole radiance has an unsettled history. The initial indications were that information is lost"

If a large number of pions decay into photon pairs which travel in
opposite directions, and one member of each pair travels to a fixed
point in space,a black hole would form at the fixed point in space.Since the photon polarizations are coupled, I could get information about the
microstates in the black hole by measuring the polarization angles of
the photons that are outside the black hole.
And by placing a number of polarizing filters in a line, for each
photon traveling outside the black hole, with one photomultiplier per
photon to detect each photon, I could gain information on the
microstates in the black hole at different periods in time.So I would
know more about a black hole than just its total spin,mass and
charge.
It seems to me that the photon polarizations would remain coupled even across the event horizon of a black hole because if they do not remain coupled then we would be saying that quantum mechanics breaks down for a black hole and therefore that Stephen Hawking original calculation of the temperature of a black hole is
faulty.This does not seem likely! I think the only way to resolve the loss of information problem is to assume that as radiation is emitted from a black hole it is coupled to something still in the hole:so
if a gamma ray is emitted with a certain polarization then there is
a corresponding gamma ray with a coupled polarization that still exists in the black hole.
 
Last edited:
  • #28
An EPR pair that enters into a black hole will become entangled with the quantum states of the black hole. This means that the entanglement in the original EPR pair will become lost. The only way it can be preserved is if Alice and Bob correlate their EPR pair with some auxilliary state.

Ultimately the information is, or should be, preserved. However, this information is far less accessible once the EPR pair is absorbed into the black hole. The Bogoliubov transformations for

A_k = a_k cosh(x) + b^*_{-k}sinh(x)

B_k = b_k cosh(x) + a^*_{-k}sinh(x)

for * = dagger and x the rapidity will obey

[A_k, A^*_k] = [a_k, a^*_k]cosh^2(x) + [b^*_{-k}, b_{-k}] sinh(x)

= cosh^2(x) - sinh^2(x) = 1,

and so the fine grained quantum scale of action is not changed. So ultimately the quantum information is preserved. It just might be highly unavailable. In other words Bob might have to wait around 10^60 years to retrieve the information Alice sent in the EPR pair.

Lawrence B. Crowell
 
Last edited:
  • #29
This is an elementary presentation on the relationship between quantum mechanics and gravitation. We start with the examination of the overlap between a state [itex]|\psi(t)\rangle[/itex] and [itex]|\psi(t)~+~\delta\psi(t)\rangle[/itex]. This leads to the expansion

[tex]
\langle\psi|\psi~+~\delta\psi\rangle~=~\langle\psi|\psi\rangle~+~\langle\psi|\frac{\partial\psi}{\partial t}\rangle \delta t~+~\langle\psi|\frac{\partial^2\psi}{\partial t^2}\rangle\delta t^2
[/tex]

With the use of the Schrodinger equation [itex]i|\partial\psi/\partial t\rangle~=~H|\psi\rangle[/itex] a modulus square of this expansion is then

[tex]
|\langle\psi|\psi~+~\delta\psi\rangle|^2~=~|\langle\psi|\psi\rangle|^2~-~(\langle H^2\rangle~-~\langle H\rangle^2)\delta t^2.
[/tex]

Physically the term [itex]\sqrt{\langle H^2\rangle~-~\langle H\rangle^2}~=~\Delta E[/itex], which is what defines the Heisenberg uncertainty principle. This also defines a phase

[tex]
\phi~=~\int dt\sqrt{\langle H^2\rangle~-~\langle H\rangle^2}~=~\int dt\Delta E
[/tex]

which is the geometric or Berry phase. For certain systems the above overlap of states can be a measure of the entanglement of states. This is also the Fubini-Study metric for the projective space [itex]CP^n~\subset~C^{n+1}[/itex]. The complex space is projective space [itex]C^{n+1}[/itex] is the [itex]2n~+~2[/itex] dimensional state space for a finite dimensional quantum system, where for [itex]n~=~0[/itex] this defines the Bloch sphere for a spin system. The complex vector space defines a unitary group [itex]U(n~+~1)[/itex], and is an indication of the unitarity of quantum mechanics.

What is of interest is that an elementary example of quantum fields in curved spacetime can be defined. Let the energy eigenvalues of the state space be [itex]E_i~=~\hbar\omega[/itex] which are functions of a one dimensional parameter r, which is a function of time [itex]r~=~r(t)[/itex]. Without worry we will let the spectrum become a continuum, and frequencies a continuous function of this parameter. Let this dependency be a Doppler shift, so the frequency spectrum is [itex]\omega'~=~(1~-~nv/c)\omega[/itex], where n is an index of refraction, [itex]v~=~dr/dt[/itex] a velocity and c the speed of light. The index of refraction along the one dimensional space is then assumed to vary according to [itex]n~=~n_0~+~\delta n[/itex]. The Doppler equation defines a retarded time [itex]1~-~nv/c~=~\omega/\omega'~=~\nu\tau[/itex] for [itex]\tau~=~t~-~r/v[/itex]. The effective frequency [itex]\nu'[/itex] is then

[tex]
\nu'~=~\frac{v}{c}\frac{\partial n}{\partial\tau}~=~\frac{v^2}{c}\frac{\partial\delta n}{\partial r}
[/tex]

The frequency [itex]\nu'[/itex] is then related to a non-Doppler shifted frequency [itex]\nu[/itex] by [itex]\nu'~=~(1~-~nv/c)\nu[/itex] for

[tex]
\nu~=~-v\frac{1}{\delta n}\frac{\partial\delta n}{\partial r}~=~-v\frac{\partial ln(\delta n)}{\partial r}
[/tex]

We may then write the Berry phase above from the Fubini-Study metric according to a [itex]\Delta E~=~(\omega' d\tau~-~\omega dt)/\hbar[/itex] which according to the frequencies[itex]\nu,~\nu'[/itex] defines the Berry phase

[tex]
\phi~=~\int_{r_i}^{r_f} dr(1~+~\frac{v}{c}\nu)~=~|r_f~-~r_i|~-~\frac{v}{c}ln(n),
[/tex]

With the appropriate identification of [itex]vn/c~\rightarrow~GM/rc^2[/itex] the above result reproduces the phase term for a black hole. Further, for the phase to become imaginary the condition is when

[tex]
1~=~\frac{\partial ln(n)}{\partial r}
[/tex]

and for the imaginary time identification [itex]t~=~\hbar/kT[/itex] we find the condition for the onset of an imaginary phase angle as

[tex]
kT~=~\frac{\hbar\nu}{2\pi}
[/tex]

which with the identification between the velocity in a medium with index of refraction recovers the temperature for Hawking radiation

[tex]
T~=~\frac{\hbar }{2\pi GM kc^2}
[/tex]

This simple approach to a derivation of Hawking radiation is based on the notion of a simple bundle fibration over the complex space of quantum states. Here the bundle is just the real line [itex]R[/itex], which parameterizes the index of refraction along the real line. It is then clear that this program can be extended to more realistic groups which include gravitation.
 
  • #30
I have decided to resurrect my little site here I started a year or two ago. I worked up an interesting idea on quantum fields in curved spacetime. This is very simple, only relying upon some basic ideas of geometry in QM and a fibration.

https://www.physicsforums.com/showthread.php?t=115826&page=2

I worked this up in my head as I wrote this, so there might be a boo-boo or two here, but I think the basic idea looks reasonable.

Lawrence B. Crowell
 
  • #31
This is a second part to the post on the Fubini-Study metric and the Hawking effect. The Fubini-Study metric defines the set of projective rays in the complex space [itex]C^{n+1}[/itex], or [itex]CP^n~\subset~C^{n+1}[/itex]. The Fubini-Study metric is then for n = 1 the Bloch sphere and further defines quantum entanglements and Berry phases.

A Hermitian function or differential form in [itex]C^{n+1}[/itex] defines a unitary subgroup [itex]U(n+1)~\subset~ GL(n+1,C)[/itex]. The Fubini-Study metric is invariant under scaling under group actions of such a [itex]U(n+1)[/itex]. Hence the space, a Kahler manifold, is homogeneous. Hence any two Fubini-Study metrics are isometric under a projective automorphism of [itex]CP^n[/itex].

The definition of a projective space is the set of elements [itex]z_i~=~Z_i/Z_0[/itex], where the magnitude of [itex]Z_0[/itex] is artitrary, or more formally

[tex]
CP^n~=~\big{\{z_i,~i=1\dots n}:~z_i~=~Z_i/(Z_0~\ne~0)\big}
[/tex]

A point or in [itex]CP^n[/itex] is a line or ray in [itex]C^{n+1}[/itex]. An arbitrary vector in the projective space may then be represented in the "bra-ket" notation of quantum mechanics as

[tex]
|\psi\rangle~=~\sum_{i=1}^\infty z_i|e_i\rangle~=~[z_1:~z_2:~\dots~z_n]
[/tex]

where the square braket notation is commonly used for projective spaces. The basis vectors [itex]|e_i\rangle[/itex] are the basis vectors for the Hilbert space [itex]{\cal H}~=~C^{n+1}[/itex]. There there are two such vectors [itex]|\psi\rangle,~|\phi\rangle[/itex], then the quanatum mechanical overlap defines the distance between the two points in [itex]CP^n[/itex], which in the Hilbert space is a plane. The modulus square of the quantum overlap appropriately normalized

[tex]
\frac{\langle\phi|\psi\rangle\langle\psi|\phi\rangle}{\langle\psi|\psi\rangle\langle\phi|\phi\rangle}~=~cos(\theta(\psi,~\phi))
[/tex]

defines the distance between the two as [itex]\theta(\psi,~\phi)[/itex]. For n = 1 this is the angle on the Bloch sphere, and defines a general quantum angle.

The overlap between a vector [itex]|\psi\rangle[/itex]and its infinitesimal displacement [itex]|\psi~+~\delta\psi\rangle[/itex]defines the Fubini-Study metric on [itex]C^n[/itex] with the proper normalization

[tex]
ds^2~=~\frac{\langle\delta\psi|\delta\psi\rangle}{\langle\psi|\psi\rangle}~=~\frac{\langle\delta\psi|\psi\rangle\langle\psi|\delta\psi\rangle}{|\langle\psi|\psi\rangle|^2}
[/tex]

With the coordinate notation for projective spaces the Fubini Sudy metric is

[tex]
ds^2~=~\frac{1}{2}\frac{[z_i,~dz_j][{\bar z}^i,~d{\bar z}^j]}{(z_k{\bar z}^k)}
[/tex]

where [itex][z_i,~w_j][/itex] is a commutator. We might think of the basis elements of the Hilbert space as a Fock basis and the components [itex]z_i[/itex] as due to the application of raising and lowering operators or a field amplitude of the form [itex]A_i~=~a^\dagger_ie^{i\theta}~+~ia_ie^{-i\theta}[/itex]. The projective space is a form of algebraic variety, and these commutators are defined as Grassmannian varieties. The form of this metric indicates that the space is a Kahler manifold where the Ricci curvature is given by a potential [itex]\Phi[/itex]

[tex]
R_{ij}~=~\frac{\partial^2\Phi}{\partial z_i\partial{\bar z}_j}
[/tex]

which is proportional to the metric.

For any two dimensional subspace of [itex]CP^1~\subset~CP^n[/itex], the space is the block sphere of two real dimensional where the Fubini-Study metric reduces to

[itex]
ds^2~=~\frac{dzd{\bar z}}{(1~+~z^2)(1~+~{\bar z}^2)}~=~d\theta^2~+~sin^2\theta d\phi^2
[/itex]

with the state [itex]|\psi\rangle~=~cos(\theta)|0\rangle~+~e^{i\phi}\sin(\theta)|1\rangle[/itex], which is the single qubit state. This may then be generalized to higher dimensional kahler manifolds for hexacode and higher quantum codes and algebras.

Lawrence B. Crowell
 
  • #32
The last equation I quoted in this lastest thread should read

[tex]
T~=~\frac{\hbar c^3}{8\pi GM k}.
[/tex]

That is what you get when you do math on an editor instead of on paper.

L. Crowell
 
  • #33
A slice through spacetime will contain some set of black holes and likely have some cosmological event horizon. Each of these event horizons will then satisfy a quadratic polynomial for the coordinates specified in that region. Since the event horizon is an invariant it does not matter what coordinates are used, so long as the spacetime has some consistent set specified by some coordinate condition or the spacetime analogue of a gauge. Hence there now exists a subspace of the universe [itex]{\cal P}[/itex], a set of all projective rays that join at [itex]{\cal I}^\pm[/itex]. Event horizons are those which satisfy a certain polynomial condition [itex]P(x_i)~=~0[/itex] which identifies them as event horizons. This is then a projective variety defined by a set of homogenous polynomials [itex]\cal S[/itex], such that some points of [itex]\cal P[/itex] satisfy

[tex]
Z({\cal S})~=~\{x~\in~{\cal P}|P(x)~=~0,~\forall~P~\in~{\cal S}\}
[/tex]

This subset of the projective space is a projective algebraic set,where the irreducible set defines a projective algebraic variety. This set has the Zariski topology by declaring all algebraic sets to be closed.

A Zariski topology is a nonHausdoff topology for algebraic varieties, which describes their algebraic content and with weak geometric content. Zariski topology does occur in general relativity. Gravitation has the group structure [itex]SO(3,~1)~=~Z_2\times SL(2,~C)[/itex]. The group [itex]SL(2,~C)[/itex] may in turn be written as

[tex]
SL(2,~C)~=~SU(1,~1)\times SU(2).
[/tex]

The algebra for this is then [itex]su(2)[/itex] given by the standard Pauli matrices [itex]\sigma_{\pm},~\sigma_3[/itex] and [itex]su(1,~1) [/itex] has the elements [itex]\sigma_{\pm},~\tau_3~=~i\sigma_3[/itex]. The latter change gives the pseudoEuclidean nature to spacetime.

Now consider a connection one-form

[tex]
A~=~A^+\sigma_+~+~A^3\sigma_3,
[/tex]

and a gauge transformation determined by the group action of [itex]g~\in~{\cal G}[/itex], [itex]g~=~e^{i\lambda\sigma_3}[/itex]. The gauge transformed connection is then

[tex]
A^\prime~=~g^{-1}Ag~+~g^{-1}dg~=~e^{-2\lambda}A^+\sigma_+~+~A^3\sigma_3
[/tex]

where [itex]d\lambda~=~A^3[/itex]. Thus [itex]\lambda[/itex] is a parameterization of the gauge orbit for this connection [itex]A^'~=~A(\lambda)[/itex]. This leads to the observation

[tex]
\lim_{\lambda\rightarrow\infty}A(\lambda)~\rightarrow~A^3\sigma_3,
[/tex]

where [itex] A^+\sigma_+~+~A^3\sigma_3[/itex] and [itex]A^3\sigma_3 [/itex] have distinct holonomy groups and thus represent distinct points in the moduli space [itex]\cal M[/itex]. However by the last rquation we must have

[tex]
F_\mu(A^+\sigma_+~+~A^3\sigma_3)~=~F_\mu(A^3\sigma_3),
[/tex]

and similarly for any gauge invariant function. Hence there exist two distinct point in the moduli space that define the same set of gauge invariant functions. Hence there does not exist a measure over these two points that separates them, and [itex]\cal M[/itex] is then nonHausdorff and has Zariski topology.

This moduli space, a space of gauge equivalent connections, indicates the underlying topology for curvatures. In a b-completeness sense the group action could be [itex]g~=~e^{i\lambda\sigma_3~+~\alpha}[/itex], for [itex]\alpha[/itex] a constant. The gauge connections for [itex]\lambda~\rightarrow~\infty[/itex] converge to [itex]e^{-2\alpha}A^+\sigma_+~+~A^3\sigma_3[/itex], which for a given [itex]\alpha[/itex] can describe a set or congruence of null geodesics. A Cauchy-like sequence of [itex]\lambda_n[/itex] can describe a set of geodesic which converge to the null set. In this manner the underlying topological structure of gravitation has this nonHausdorff topology.

This structure then indicates that quantum gravity if more fundamentally described by algebraic varieties, with minimal geometric content. An abstract algebraic variety is a generalization of a scheme, which geometrically is a correspondence with some class of rings. In this case the polynomials define some ring. A scheme is a space with a local ring structure such that every point has a neighborhood, a locally ringed space, isomorphic to a ring spectrum. An algebraic variety is a scheme whose structure sheaf is a sheaf of K-algebras with the property that the rings [itex]R[/itex] that occur above domains which are all finitely generated K-algebras, i.e., quotients of polynomial algebras by prime ideals.

The system works over any field [itex]F[/itex], and the topology permits one to piece together varieties on open sets and their definition permits them to be on a projective space. This leads to the topic of sheaf cohomology in algebraic geometry. Another mathematical issue of particular interest here is that a special case of an algebraic variety is an algebraic curve. This leads to the Goppa code. For [itex]X[/itex] non-singular, or there exist points [itex]x_1,~x_2,~\dots,~x_n[/itex] fixed among the points of [itex]X[/itex] defined over [itex]F[/itex], and that [itex]G [/itex] is a divisor on [itex]X[/itex], also defined over [itex]F [/itex]. There is a finite-dimensional subspace [itex]L(G)[/itex] of the function field of [itex]X[/itex], consisting of the rational functions [itex]f[/itex] on [itex]X[/itex] with zeroes and poles subject to [itex]G[/itex]. This means that [itex]G[/itex], which is a formal sum of points of [itex]X[/itex] over the algebraic closure of [itex]F[/itex], bounds the divisor made up of the zeroes and poles of [itex]f[/itex], counted with appropriate multiplicity.

An example of an algebraic variety is an algebraic curve of unity dimension. Simple examples are ellipses, conic sections and the more enigmatic elliptical curves. A curve has at most a finite number of singular points, where if that is zero the curve is nonsingular. This requires that the curve exists in a projective space and be over an algebraically closed field. The theory of nonsingular curves over complex numbers is equivalent to the theory of Riemannian surfaces, where the genus of the curve is that of the two-manifold. This genus is then a result of the Riemann-Roch theorem.

This defines structures which are codes, which preserve the number of quantum bits. To preserve this information it must process this information according to an error correction code, similar to those used in computer data transmission.

What has been developed here is commesurate with a Goppa code, which is a linear code constructed from algebraic curves over a finite field [itex]F[/itex]. Let the curve [itex]C[/itex] be nonsingular with a set of fixed points [itex]p_i[/itex], [itex]i~=~1.~\dots~,n[/itex]. There then exists a divisor [itex]F[/itex] on the curve [itex]C[/itex] over the field [itex]F[/itex]. Given rational functions [itex]f[/itex] over the curve with poles and zeros on [itex]G[/itex], this defines a space [itex]L(G)[/itex] of finite dimension defined as the function field of [itex]C[/itex]. Thus the divisor [itex]G[/itex] is a formal sum of point on [itex]C[/itex] that bounds a divisor made from the poles and zeros of [itex]f[/itex], and is algebraically closed in [itex]F[/itex]. Thus [itex]L(G)[/itex] has some basis of functions [itex]f_1,~\dots,~f_k[/itex] over the field, where the Goppa codes is found by the evaluation of the fixed points [itex]p_i[/itex], eg. [itex]f_i(p_1),~f_i(p_2),~\dots,~f_i(p_n)[/itex], for [itex]i~=~1,~\dots,~k[/itex]. This defines a vector space [itex]f^n[/itex] spanned over [itex]F[/itex]. This is then given by the map

[tex]
\mu:L(G)~\rightarrow~F^n,
[/tex]

by [itex]f~\mapsto~f(p_1),~\dots,~f(p_n)[/itex]. For a divisor defined as [itex]D~=~\sum_{i=0}^np_i[/itex] the Goppa codes is then represented as [itex]c(D,~G)~=~L(G)/ker(\mu)[/itex].

For a function [itex]f~\in~ker(\mu)[/itex], for [itex]f(p_i)~=~0[/itex] the function as a divisor is less than [itex]D[/itex] and so [itex]ker(\mu)~=~L(G~-~D)[/itex]. For [itex]f~\in~L(G~-~D)[/itex] since [itex]p_i~<~G[/itex] then [itex]div(f)~>~D[/itex] it is clear that [itex]f(p_i)~=~0[/itex]. A distance between code words is the Hamming weight of [itex]\mu(f)[/itex] called [itex]d[/itex]. Thus [itex]f(p_i)~=~0[/itex] for [itex]n~-~d_i[/itex] [itex]p_i[/itex]s. The points are designated [itex]p_{i_1},~\dots,~p_{i_{n-d}}[/itex]. Thus

[tex]
f~\in~L(G~-~p_{i_1}~-~\dots~-~p_{i_{n-d}}),
[/tex]

and that [itex]div(f)~<~ G~-~p_{i_1}~-~\dots~-~p_{i_{n-d}}[/itex]. By taking the degree of these on both sides the degree of [itex]G[/itex] then satisfies [itex]d~\ge~n~-~deg(G)[/itex] The dimensions of the Goppa code is then [itex]k~=~L(G)~-~L(G~-~D)[/itex]. This result is the Riemann-Roch theorem.

The Riemann-Roch theorem indicates how many moduli exist. A moduli space is a space of solutions that defines gauge equivalent gauge vectors. The moduli space is the set of all self-dual connections (instantons) with degrees of freedom removed by gauge conditions. This space is [itex]\omega_{SD}/{\cal G}~=~{\cal M}_{mod}[/itex]. The number of metric moduli and conformal Killing vectors of the moduli space is obtained with the Riemann-Roch theorem. Given an operator [itex]{\cal O}[/itex] that is covariantly constant on a geodesic,

[tex]
\partial g_{ij}~=~ (2\delta\omega~-~ \nabla_k\delta \sigma))g_{ij}~-~ 2({\cal O}\delta \sigma)_{ij},
[/tex]

where [itex]\omega[/itex] is the conformal factor, [itex]\sigma[/itex] is a spatial parameter. Here the metric is defined on the complexified coordinates [itex]z,~{\bar z}[/itex]. [itex]{\cal O}[/itex] may be derived by a variation of the metric [itex]g_{ij}[/itex]

[tex]
\delta g_{ij}~=~(2\delta\omega~-~\nabla_i\delta\sigma_j)g_{ij}~-~\nabla_j\delta\sigma_i
[/tex]
[tex]
=~(2\delta\omega~-~\nabla_k\delta\sigma_k)g_{ij}~-~({\cal O}\delta\sigma)_{ij},
[/tex]

with [itex]({\cal O}\delta\sigma)_{ij}~=~\nabla_i\delta\sigma_j~+~ \nabla_j\delta\sigma_i~-~\nabla_k\delta\sigma_k)g_{ij}[/itex]. [itex]{\cal O}[/itex] defines the conformal Killing equation [itex]({\cal O}\delta \sigma)_{ij}u^j~=~0[/itex]. Thus [itex]{\cal O}[/itex] defines the number of conformal Killing vectors. The transpose of [itex]{\cal O}[/itex], [itex]{1\over 2}({\cal O}^tu)_i~=~-\nabla^ju_{ab}[/itex] defines the metric moduli. The Riemann-Roch theorem states that the difference between the numbers of the metric moduli and the number of conformal Killing vectors is [itex]-3\chi[/itex], where [itex]\chi[/itex] is the Euler characteristic for the manifold. This difference is then

[tex]
{1\over 2}\big(dim~ ker({\cal O})~-~dim~ ker({\cal O}^t)\big)~=~-3\chi~=~6g(g~-~1)
[/tex]
[itex]{\cal O}[/itex] determines the number of instanton in the theory. The size of the Goppa code is then a topological invariant given by an Euler characteristic of Floer cohomology.

This metric applies to a spatial surface with [itex]\delta g_{ij}~=~(\partial g_{ij}/\partial t)\delta t[/itex], for [itex]t[/itex] a parameter labelled as "time." The Ricci flow equation

[tex]
{{dg_{ij}}\over{dt}}~=~-2(R_{ik}~+~\nabla_i\nabla_k\omega)g_{kj},
[/tex]

is an eigenvalued equation for the Ricci flow for [itex]k~=~i[/itex]. The time derivative of the functional [itex]F[g,~\omega][/itex] is the low energy effective action in string theory and [itex]\omega[/itex] is a dilaton field, similar to that over a string world sheet. The metric may then be rewritten according to a conformal gauge [itex]g_{ij}^\prime~=~exp(2\omega)g_{ij}[/itex] and the Ricci curvature changed by
[itex]{g^{\prime}}^{1/2}R^\prime~=~g^{1/2}(R~-~2\nabla^2\omega)[/itex]. By an appropriate diffeomorphism, or gauge choice, the governing equation for the metric can recover the Hamilton equation for
Ricci flow.
 
  • #34
The physics of the projective Hilbert space and its bearing upon spacetime physics is illuminated here by the role this plays with quantum phase transitions. The quantum critical point and the change of phase associated with it exhibits scale invariance, such as with high temperature superconductivity, and theoretically this physics is poorly understood. Current theory associates the quantum critical point with the "breakdown" of the quasi-electron and a divergence in its mass. In this critical state however the system maintains a self-similar or scale invariance.

A quantum critical state is one where fluctuations drive a phase transition at or near absolute zero temperature. To treat this sort of physics the statistical organizing principles of bosonic and fermionic states must be considered. Bosonic quantum states are by far the easiest to consider, and the correspondence between the quantum physics and the classical physics, and the emergence of different phases, are far closer and understood. A similar correspondence between fermionic quantum states and any classical physics does not exist, and the emergence of new states of matter are far less well understood. Yet in recent times the electronic states of certain transition-actinide metal crystaline systems have been measured to exist in a new scale-invariant phases, which occur at the "breakdown" of a Fermi or Landau electron liquid state and where the mass of the associated quasi-particle state diverges. This appears to be a new domain of quantum physics.

The Fubini-Study metric determines the uncertainty principle by the Berry phase as

[tex]
\phi~=~\int dt\sqrt{\langle H^2\rangle~-~\langle H\rangle^2}~=~\int dt\Delta E
[/tex]

This geometric phase has the content of [itex]\Delta Et/\hbar[/itex], and for this phase bounded by [itex]\sim~2\pi[/tex] the time is then a measure of the fluctuation strength. We may of course encounter a situation, as I demonstrated in the start of this presentation, a situation where this phase may become imaginary valued. This obtains when [itex]\langle H^2\rangle~-~\langle H\rangle^2~<~0[/itex]. An imaginary phase may be seen as a case where the time becomes an imaginary time with [itex]t~=~\hbar/kT[/itex]. For a high temperature system this imaginary time is very small, but as temperature [itex]T~\rightarrow~0[/itex] there is then more of this imaginary time available for the system to exist in an instanton or tunnelling states where this quantum behavior is detectable. We may then consider the imaginary time as analgous to the classical temperature, where for low real temperature the imaginary time assumes is analogous to a classical temperature that heats up material in the space plus imaginary time "spacetime." Thus time in general is a complex valued vector [itex]{\vec t}~\in~C^1[/itex], where ordinary time lies on the real axis of the Argand plane and temperature on the imaginary axis. For a low enough of a standard temperature the imaginary time as an internal temperature will act to heat up the quantum states of the system and they will then exhibit a phase transition or "melting," which results in a fluid behavior that is scale invariant.

We then consider the case similar to the one dimensional space considered last week, indeed on 3/27/2008. Instead of a simple one dimensional space plus time model we consider the boost space of [itex]SU(1,~1)[/itex] with the connection coefficient

[tex]
A~=~A^1\sigma_1~+~A^2\sigma_2~+~iA^3\sigma_3,
[/tex]

The field strength tensor is [itex]F_{ab}~=~\partial_{[b}A_{a]}~+~[A_b,~A_a][/itex], where if we consider a flat connection the comonents of the curvature tensor are

[tex]
F_{21}~=~[A_1,~A_2],~F_{32}~=~[A_2,~A_3],~F_{13}~=~[A_3,~A_1]
[/tex]

where the physical fields are found with the application of [itex]\epsilon^{abc}[/itex] and so the time-like field is [itex]F^3~=~\epsilon F_{12}[/itex]. In the case of a moving field in more than one dimension the velocity determines an action of the form

[tex]
S~=~\int_{r_1}^{r_2}p_rdr
[/tex]

The Hamilton equation [itex]{\dot r}~=~\partial H/\partial p[/itex] permits this to be written as

[tex]
S~=~\int_{r_1}^{r_2}\int_{p_1}^P_2}\frac{dr}{\dot r}dH
[/tex]

which permits this action to be expressed according to [itex]S~=~\int tdH~\simeq~t\Delta E[/itex], for [itex]\Delta E[/itex] the Fubini-Study metric distance. We then split the action into a real and imaginary part according to a complex velocity field [itex]u^a~=~(U^\mu,~iu^5)[/itex], where the fifth entry corresponds to the imaginary portion of time. The field theory is then extended to five dimensions with indicial entries [itex]a~\rightarrow~(\mu,~5)[/itex]. For the sake of Lorentz invariance, where in general this would impose a preferred frame from which to observe the field, the complex velocity is restricted to the complex time in [itex]C^1[/itex]. The field is extended similarly to a fifth dimension as well. The Hamiltonian for the above action then determines the action

[tex]
{\cal L}~=~-\frac{1}{4}F_{ab}F^{ab}~-~\frac{\mu^2}{2\hbar^2}u^au^bg^{cd}F_{ac}F_{bd},
[/tex]

where [itex]\mu[/itex] has units of energy (mass). What has been done is to generalize the non-compact group into a composition of the two according to

[tex]
u:A_3~|\rightarrow~(A_3^\prime,~iA_3^{\prime\prime}),~A_3^\prime~\in~SU(1,1),~A_3^{\prime\prime}~\in~SU(2)
[/tex]

or so that the complex elements are generalizations of the boosts in [itex]SU(1,1)\oplus SU(2)[/itex]. This means that the time-like potentials and fields have a probability of being Lorentzian or Euclidean.

The above Lagrangian gives the dynamical equations

[tex]
\partial_aF^{ab}~=~\frac{\mu^2}{\hbar^2}(u_cu^b\partial_aF^{ca}~-~u^cu^a\partial_aF^{cb})
[/tex]

which when broken into its component parts is

[tex]
\partial_\mu F^{\mu 5}~=~0,~\partial_\mu F^{\mu\nu}~=~-(1~+~\beta^2)\partial_5 F^{5\nu},
[/tex]

for [itex]\beta~=~\mu u/\hbar[/itex]. The term [itex]\partial_5 F^{5\nu}[/itex] is a source for the field and the term [itex]\beta[/itex] is then a term which amplifies the source. In the case of gravitation, which this is a "B-F" gauge like theory of, this source is the mass. The connection terms can be written according to basis elements of the manifold [itex]A^\mu~=~\partial_\nu g^{\mu\nu}[/itex], which for a bimetric theory in a reduced metric form or the traceless transverse (tt) terms for weak gravity fields gives the gravity equation

[tex]
\square{\bar h}_{\mu\nu}~=~\beta^2\partial^2_5{\bar h}_{\mu\nu}
[/tex]

where the righthand side is the source [itex]G\rho[/itex] and the left hand side is the Laplacian of the potential. This equation is then reduced to the Poisson equation form of Newton's law of gravity.

It is interesting to compute the dispersion relationship in the gauge [itex]A_5~=~0[/itex] the spatial connection with the Fourier expansion [itex]A^\mu~=~A_0^\mu e^{ik_\mu x^\nu~+~ik_5 x^5}[/itex] determines the dispersion relationships with the above dynamical equations as

[tex]
k_5k_\mu A_0^\mu~=~0,~\big(k_\nu k^\nu~+~(1~+~\beta^2)k_5^2\big)A^\mu~-~k^\mu k_\nu A^\nu~=~0
[/tex]

One of the motivating physical ideas here is with the quantum critical point for electrons in solids. The Dirac equation for the above complex time is

[tex]
{\cal L}_d~=~i{\bar\psi}\gamma^a\partial_a\psi~-~m{\bar\psi}\psi~-~i\frac{\mu^2}{\hbar}u^au^b{\bar\psi}\gamma_a\partial_b{\psi},
[/tex]

which gives the dynamical wave equation

[tex]
i\gamma^a\partial_a\psi~-~m\psi~-~i\frac{\mu^2}{\hbar}u^au^b\gamma_a\partial_b\psi~=~0
[/tex]

Again if the field is expanded in the Fourier mode [itex]\psi~\sim~e^{ik_\mu x^\nu~+~ik_5 x^5}[/itex] this gives the dispersion relationship

[tex]
-k^ak_a~-~2\frac{\mu^2}{\hbar}(u^ak_a)^2~-~4\frac{\mu^2}{\hbar}u^au_a(u^bk_b)^2~=~m^2
[/tex]

which when reduced to four dimensions is

[tex]
-k^\mu k_\mu~=~m^2~+~(1~+~\beta^2)k_5^2.
[/tex]

The last term for a complex time can become large and will renormalize the mass of the fermion, where as [itex]\beta~\propto~1/T[/itex] will become large as the temperature approaches zero. Thus the complex time has the effect of "heating up" the internal states of the system and the mass of the fermion, in the case of the quantum critical points for the breakdown of the Landau electron liquid making the quasi-fermions "heavy." This then links aspects of a fermionic system and its quantum critical point with the instanton states of gravitation. This behavior should have a univerality to it, where it applies for all quantum fields from scalars, spinors, vectors, Rarita-Schwinger, and spin = 2 gravitons. It is also a property which determines a [itex]\beta[/itex] renormalization term that is invariant with respect to scale.
 
  • #35
A wormhole in spacetime is theoretically understood to result in some strange physics, such as time machines. Wormholes for a number of reasons probably don't exist as classical spacetime structures, but their role in quantum gravity is probably equal to that of quantum black holes. The results of Ford and Roman as well as the apparent logical contradictions implied by closed timelike curves likely means they don't exist as classical structures. Other authors such as Thorne and Visser disagree with this. However, this is a look at wormholes as an aspect of quantum gravity and the issue of their classical existence is not directly addressed.

The Skyrme model of QCD defines a knot topology to gluon fluxes, which in the infrared domain or a confined vacuum are scale invariant. These flux tubes wrap around each other like snakes in a mating ball. If we were to take the quarks and pull them apart with "tweezers" the flux tubes would define a braid group. I could write this in a more complete mathematical form, but I will spare myself that effort for now. So what does this have to do with quantum gravity? Conformal gravity is in the Euclidean form [itex]SU(4)[/itex] and we can embed the [itex]SU(3)[/itex] of QCD in this group. Then conformal gravity with the coupling constant [itex]/alpha^2~\sim~G~\rightarrow[/itex] unity at unification appears remarkably QCD-ish with an extra group rank or dimension. We then consider the analogue between a quark-gluon plasma and a multiply connected spin-net. Each of the spinor fields, or spin-flags, on the manifold are analogous to quarks. In a quark-gluon plasam each quark is connected to each other through a tangle of gluon tubes which are braided and in a nontrivial topology. In the conformal gravity analogue the system each spin is connected to each other by noncommutative terms. We may think of the manifold as being inherently noncommutative, such as obeying an [itex]SU(3)[/itex] group, and that there is an auxilliary [itex]U(1)[/itex] gauge group which "carries" the connection terms. These is a matter of additional roots, but we will ignore that matter for the moment.

The group is then of course made Lorentzian [itex]SU(4)~\sim~spin(6)~\rightarrow~spin(5,1)[/itex]. The analogue of the gluon flux tubes are then multiply connected topologies between spin-flags, which are for no better term worm holes. Then as the universe expands and the coupling constant of gravity becomes weak these are removed. The manifold becomes simply connected and the connection between the spin-flags is simple. The "dual field," and in this picture QCD has a duality with gravity, the coupling constant remains large at low energy (infrared confinement) and the field theory is also Euclidean. So the quark-gluon plasma or confinement "bag" is a vacuum region with a knot topology. The braided structure of gluons are then a dual structure which are a quantum foam.

This of course is not the end of the story, for these need to be embedded in an [itex]SO(8) \rightarrow_{Z_2}~spin(7,1)[/itex] or [itex]spin(8)[/itex] which are a Clifford valued algebra [itex]Cl(8)[/itex]. The two parts are extended into [itex]F_4[/itex] and [itex]G_2[/itex] and this gives the 248 elements of the 256 N = 8 SUSY, and is the heterotic group [itex]E_8[/itex]. Another approach is to use the face that [itex]E_8[/itex] containes [itex]spin(16)~\sim~ SO(32)[/itex], which is a representation for the closed string. For the spin group decomposition of these heterotic groups consistently contain the DeSitter group. The [itex]spin(16)[/itex] group has 128 generators. The additional 112 roots (from the total 248 in [itex]E_8[/itex]) define a [itex]D_8[/itex] group (in terms of root system not lattice), which is an acceptable gauge theoretic model [itex]SO(8)[/itex], which also contains the deSitter [itex]SO(3,2)[/itex] under suitable change of signature. Similarly [itex]E_6[/itex] and [itex]E_7[/itex] sit inside [itex]E_8[/itex]. [itex]E_6 \times SU(3)/(Z/3Z)[/itex] and [itex]E_7\times SU(2)/(Z/2Z)[/itex] are maximal subgroups of [itex]E_8[/itex]. The simple heterotic group [itex]E_6[/itex] may be decomposed into [itex]SU(6)\times SU(2)[/itex], where [itex]SU(6)[/itex] contains the conformal group for gravity [itex]SU(4)[/itex] by

[tex]
SU(4)\times SU(2)\times U(1)~\subset~SU(6),
[/tex]

which is remarkably similar to the decomposition of [itex]SU(5)[/itex] in the minimal GUT decomposition into the standard model.

With the group theory preliminaries out of the way we return to physical concepts. Consider a wormhole with openings in different regions of spacetime with different gravitational potentials. The vacua at the two openings are related by a Bogoliubov transformation between their respective raising and lowering field operators. Yet for the observer which traverses the openings the vacuum structure either abruptly changes. However since the observer in a local inertial frame carries their vacuum with then there is then a mismatch between the vacuum the observer carries in their local frame and the vacuum for a coincident local observer in that region. The multiply connected topology of this spacetime has an effective branch cut for the complex valued amplitudes of a quantum field which cycle through the wormhole. This suggests that the openings of a wormhole, or a quantum wormhole define a source for fields. Further, as the openings are multiply connected this is similar to a topologically distinct flux tube between sources. In a strong conformal gravity domain these flux tubes in [itex]SU(2)[/itex] are similar to gluon flux tubes in [itex]SU(3)[/itex] QCD, which connect points in the conformal spacetime to each other through "extra-dimensions. The multiply connected "tube" between the two openings then takes place in extra dimensions, such as the string/brane bulk, or for a LQG spin-net embedded in a larger space.

This then suggests that there are two principles at work here. The source, or vacua ambiguity, means that in a region of spacetime on a small enough scale will exhibit this as an uncertainty principle intrinsic to the geometry of the spacetime. This then suggests that the quantum geometry is noncommutative according to gauge potentials in a region of space or spacetime. Further, this noncommutivity is determined by a gauge potential which defines the multiply connected topology of the spacetime, similar to gluon flux tubes. In what follows these two theoretical observations are brought together to define a new approach to quantum gravity.

We set up the construction as follows. For the group [itex]SU(4)\times SU(2)[/itex] we have the gauge connection [itex]A^\mu[/itex], which is an [itex]SU(2)[/itex] connection, and the basis vectors [itex]e_a,~a~=~1,~2,~,3[/itex] for the space of [itex]SU(2)[/itex] and [itex]\mu~=~1,~2,~\dots,~6[/itex] for [itex]SU(4)[/itex]. We may then impose a gauge condition on the system as

[tex]
D_\mu e_a~=~(\partial_\mu~+~{\vec A}_\mu\times)e_a.
[/tex]

The gauge vector the carries an added index [itex]a[/itex], and acts as an internal vector space on the [itex]SU(4)[/itex]. The vector potential contracted with the basis vectors [itex]A^\mu~=~e^a A^\mu_a[/itex] is a chromo-electric potential for a color charged [itex]SU(2)[/itex] theory. The [itex]SU(2)[/itex] basis vectors defines a bundle section and the quantum vacuum state for the according to the pure gauge element [itex]{\bf e}\wedge d{\bf e}[/itex] by

[tex]
\Omega^k_\mu~=~{\epsilon_{ij}}^ke_i\partial_\mu e_j~=~B^k_\mu e_k
[/tex]

The vacuum potential term [itex]B^k_\mu[/itex] then determines the vacuum fields [itex]\underline\underline\Omega~=~d\inderline\Omega[/itex] according to

[tex]
\Omega_{\mu\nu}~=~\partial_{\nu}\Omega_{\mu}~=~\partial_{\mu}\Omega_{\nu}~+~g\Omega_\nu\wedge\Omega_\mu~=~\big(\partial_\nu B^k_\mu~-~\partial_\mu B^k_\nu~+~g{\epsilon_{ij}}^kB^i_\nu B^j_\mu\big)e_k
[/tex]

With the definition of the gauge potential [itex]A^\mu~=~e^a A^\mu_a[/itex] the gauge potential

[tex]
{A^\prime}^k_\mu~=~A^k_\mu\cdot e_a~+~{\epsilon_{ij}}^ke_i\partial_\mu e_j~=~(A^k_\mu~+~B^k_\mu)e_k
[/tex]

for a gauge condition with zero [itex]{A^\prime}^k_\mu[/itex] we clearly have the [itex]SU(4)[/itex] gauge potential defined as [itex]A_\mu~=~-B^k_\mu e_k[/itex].
 

Similar threads

  • Quantum Physics
Replies
4
Views
645
Replies
6
Views
774
Replies
3
Views
820
Replies
1
Views
963
  • Quantum Physics
Replies
28
Views
3K
  • Beyond the Standard Models
Replies
4
Views
2K
  • Beyond the Standard Models
Replies
9
Views
497
Replies
41
Views
2K
  • Beyond the Standard Models
Replies
9
Views
2K
  • Special and General Relativity
Replies
6
Views
981
Back
Top