Monday, April 22, 2013

Listen to Spacetime

Quantum gravity researcher at work.
We normally think about geometry as distances between points. The shape of a surface is encoded in the distances between the points on in. If the set of points is discrete, then this description has a limited resolution.

But there’s a different way to think about geometry, which goes back about a century to Hermann Weyl. Instead of measuring distances between points, we could measure the way a geometric shape vibrates if we bang it. From the frequencies of the resulting tones, we could then extract information about the geometry. In maths speech we would ask for the spectrum of the Laplace-operator, which is why the approach is known as “spectral geometry”. Under which circumstances the spectrum contains the full information about the geometry is today still an active area of research. This central question of spectral geometry has been aptly captured in Mark Kac's question “Can one hear the shape of a drum?”

Achim Kempf from the University of Waterloo recently put forward a new way to think about spectral geometry, one that has a novel physical interpretation which makes it possibly relevant for quantum gravity

The basic idea, which is still in a very early phase, is the following.

The space-time that we live in isn’t just a classical geometric object. There are fields living on it that are quantized, and the quantization of the fluctuations of the geometry themselves are what physicists are trying to develop under the name of quantum gravity. It is a peculiar, but well established, property of the quantum vacuum that what happens at one point is not entirely independent from what happens at another point because the quantum vacuum is a spatially entangled state. In other words, the quantum vacuum has correlations.

The correlations of the quantum vacuum are encoded in the Greensfunction which is a function of pairs of points, and the correlations that this function measures are weaker the further away two points are. Thus, we expect the Greensfunction for all pairs in a set of points on space-time to carry information about the geometry.

Concretely, consider a space-time of finite volume (because infinities make everything much more complicated), and randomly sprinkle a finite number of points on it. Then measure the field's fluctuating amplitudes at these points, and measure them again and again to obtain an ensemble of data. From this set of amplitudes at any two of the points you then calculate their correlators. The size of the correlators is the quantum substitute for knowing the distance between the two chosen points.

Achim calls it “a quantum version of yard sticks.”

Now the Greensfunction is an operator and has eigenvalues. These eigenvalues, importantly, do not depend on the chosen set of points, though the number of eigenvalues that one obtains does. For N points, there are N eigenvalues. If one sprinkles fewer points, one loses the information of structures at short distances. But the eigenvalues that one has are properties of the space-time itself.

The Greensfunction however is the inverse of the Laplace-operator, so its eigenvalues are the inverses of the eigenvalues of the Laplace-operator. And here Achim’s quantum yard sticks connect to spectral geometry, though he arrived there from a completely different starting point. This way one rederives the conjecture of (one branch of) spectral geometry, namely that the specrum of a curved manifold encodes its shape.

That is neat, really neat. But it’s better than that.

There exist counter examples for the central conjecture of spectral geometry, where the shape reconstruction was attempted from the scalar Laplace-operator's spectrum alone but the attempt failed. Achim makes the observation that the correlations in quantum fluctuations can be calculated for different fields and argues that to reconstruct the geometry it is necessary to not only consider scalar fields, but also vector and symmetric covariant 2-tensor fields. (Much like one decomposes fluctuations of the metric into these different types.) Whether taking into account also the vector and tensor fields is relevant or not depends on the dimension of the space-time one is dealing with; it might not be necessary for lower-dimensional examples.

In his paper, Achim suggests that to study whether the reconstruction can be achieved one may use a perturbative approach in which one makes small changes to the geometry and then tries to recover these small changes in the change of correlators. Look how nicely the physicists’ approach interlocks with thorny mathematical problems.

What does this have to do with quantum gravity? It is a way to rewrite an old problem. Instead of trying to quantize space-time, one could discretize it by sprinkling the points and encode its properties in the eigenvalues of the Greensfunctions. And once one can describe the curvature of space-time by these eigenvalues, which are invariant properties of space-time, one is in a promising new starting position for quantizing space-time.

I’ve heard Achim giving talks about the topic a couple of times during the years, and he has developed this line of thought in a series of papers. I have no clue if his approach is going to lead anywhere. But I am quite impressed how he has pushed forward the subject and I am curious to see how this research progresses.

24 comments:

saibod said...

Without having looked into Achim's work in detail, I wonder: how does it relate to Connes' reconstruction theorem, which proves that a Riemannian manifold can be recovered from its underlying spectral triple?

Plato Hagel said...

Yes I like this approach Bee.

The conversion process still has to have specifics and the theoretic involved in terms of it's construction would have to have some association for the correlation to work.

For example:

Often, an increase or decrease in some level in this information is indicated by an increase or decrease in pitch, amplitude or tempo, but could also be indicated by varying other less commonly used components. See: Sonification

This conversion process is very important.

Another example would be:

HiggsJetEnergyProfileCrotale and HiggsJetEnergyProfilePiano use only the energy of the cells in the jet to modulate the pitch, volume, duration and spatial position of each note. The sounds being modulated in these examples are crotales (baby cymbals) and a piano string struck with a soft beater, then shifted up in pitch by 1000 Hz and `dovetailed'.

In HiggsJetRythSig we are simply travelling steadily along the axis of the jet of particles and hearing a ping of crotales for each point at which there is a significant energy deposit somewhere in the jet.


HiggsJetEnergyGate uses just the energy deposited in the jet's cells. At each time point (defined by the distance from the point of collision) the energy is used to define the number of channels used from the piano sound file. So high energy can be heard as thick, burbly sound whilst low energy has a thinner sound.
See: Listen to the decay of a god particle

It is exciting for me to see your demonstration in concert with the approach of quantum gravity.

Best,

Plato Hagel said...

You might like this link below as well.

We think of space as a silent place. But physicist Janna Levin says the universe has a soundtrack -- a sonic composition that records some of the most dramatic events in outer space. (Black holes, for instance, bang on spacetime like a drum.) An accessible and mind-expanding soundwalk through the universe. See: Janna Levin: The sound the universe makes

kneemo said...

@saibod

Indeed the paper appears to describe techniques dual to those used by Connes in his noncommutative geometrical studies of the standard model and gravity. The two approaches are related through the fact that the Dirac operator can be thought of as the square-root of the Laplacian. Kempf prefers to use the Laplacian while Connes uses the Dirac operator in his spectral triples (A,H,D) to encode the spectral geometry. In Connes spectral triple, A is the operator algebra of functions over the given manifold, H is the Hilbert space on which it acts on and D is the Dirac operator whose spectrum is used to recover the structure of the manifold, much like Kempf uses the spectrum of the Laplacian to recover the "shape" of the manifold.

In Connes approach to the standard model and gravity, to recover the gauge group of the standard model he considers a product space M x F, where F is a finite geometry, related to the "sprinkling of points" mentioned in Kempf's paper that has a matrix interpretation. Specifically, Connes considers the algebra of functions A over the 6-point space in his model, where A=C+H+M_3(C). Here, C is the set of complex numbers, H the algebra of quaternions (transforming in M_2(C)) and M_3(C) the set of 3x3 matrices over the complex numbers, acting on the one, two and 3-point spaces respectively. Classically, the manifolds which these encode are the unit circle, CP^1 and CP^2, each discretized by the eigenvalues of the matrix operators in the algebra of functions over the finite geometry F.

In string theory, such a finite geometry also arises in the guise of internal worldvolume degrees of freedom. In this framework, gauge groups can be seen as the internal degree of freedom at every point on the world-volume of N-coincident branes. The gauge symmetry is the freedom that a fundamental string has in deciding which of the N identical branes it can end on. In Connes' model, there would be a total of six branes encoded by the spectral triple of his finite geometry F, giving the U(1), SU(2) and SU(3) symmetry groups of the standard model.

Uncle Al said...

"The correlations of the quantum vacuum are encoded in the Greensfunction which is a function of pairs of points." Green’s function opens Newton (e.g., terrain gravitometer sweeps to reconstruct buried dense ore or low density petroleum). To my knowledge, Green functions are not validated for general relativity. Green functions are all coordinate squares, removing chirality (versus Ashtekar). Green functions are defective if they uncreate fermionic matter parity violations.

Quantum gravitation and SUSY will founder until somebody discovers why persuasive maths do not empirically apply. Euclid plus perturbation is terrestrial cartography, and still fails to navigate the high seas, because rigorously derived Euclid is wrong in context. Green functions for linearized theory are established. Green functions describe complete non-linear theory to any required accuracy. An odd polynomial to any number of terms is not a sine wave. It fails at boundaries.

Sabine Hossenfelder said...

Hi Saibod,

Achim submits the following: "Connes' spectral triple has much more information than just the spectrum of the Dirac operator. Namely, to know the spectral triple is also to know how the Dirac operator acts on concrete spinor fields. Having this much more information makes it way easier to reconstruct a manifold. The difficult part is to show under which conditions the spectrum (or spectra) *alone* suffice(s) to determine a manifold."

Best,

B.

Phillip Helbig said...

Greensfunction ---> Green function.

The first form is not correct and never was. The second is the preferred form now, e.g. Schrödinger equation, Maxwell equations, not Schrödinger's equation, not Maxwell's equation (though the possessive forms are grammatically correct).

I remember that Max Tegmark commented in a talk at the 1994 Texas Symposium in Munich that he had looked up the official recommendations and "Green function" is correct, though he found that rather funny.

Sabine Hossenfelder said...

Hi Phillip,

I also find that rather funny, but I'll keep it in mind. Though I'm afraid that if I would write "Green function" nobody would know what I mean, which somewhat defeats the purpose of language. It's like that, after some years of complaining about the way the Swedes write dates that nobody knows how to read, I found out that it's the "international standard" for dates they're using... Best,

B.

Phillip Helbig said...

I'm pretty sure that there is no-one who knows what a Greensfunction is but doesn't know what a Green function is. The fact that it is capitalized hints that it is a proper name.

Christine said...
This comment has been removed by the author.
Christine said...
This comment has been removed by the author.
Juan F. said...

Awesome post Sabine! Should we call you The Quantum Gravity Doctor? ;)

Giotis said...

Nice picture Sabine...

I guess finally your mother's dream become true. You are a 'real' doctor now with a stethoscope:-)

Christine said...
This comment has been removed by the author.
Christine said...

Oops, sorry for my badly written comments. Anyway, "Green function" or "Green's function" are the terms that I know. Never heard of Greensfunctions...

Sabine Hossenfelder said...

Hi Christine,

He's only considering manifolds without boundary. I've been a little brief on the details for the sake of readability, but it arguably goes on the expenses of clarity, sorry about that. I can recommend Achim's paper though, I found it very well written and understandable. It's also not very long. Best,

Sabine

Sabine Hossenfelder said...

Hi Giotis,

There are some Dr med's in our family. I don't think it ever was my mother's dream I join them. My younger brother and I, we'd sometimes sneak into the doctor's office on weekends and play with the equipment. I've always been more interested in basic research though. And my younger brother, he's a mechanical engineer now. Best,

B.

Sabine Hossenfelder said...

Juan,

Yes, you can call me the Quantum Gravity Doctor. The patient is noncompliant :p Best,

B.

Plato Hagel said...

Hearing the Shape of the Drum

Thanks Bee

Markus Maute said...
This comment has been removed by the author.
Raisonator said...

"Connes' spectral triple has much more information than just the spectrum of the Dirac operator. Namely, to know the spectral triple is also to know how
the Dirac operator acts on concrete spinor fields."

This sounds like an interesting mathematical question but in terms of physics one needs the spinors anyway to have fermions and to be able to reconstruct the Standard Model.
The Laplacian alone will not do. One just gets the bosonic part of the spectral action.
Moreover, to do serious physics at least an almost commutative spectral triple is required
anyway, rendering the overall manifold non-commutative.
Also, if just considering the Laplacian, I don't think one gets the gauge fields which are part of the bosonic action.

Regarding spacetime in isolation I regard as a major step backwards and completely against the very spirit of unification (of spacetime and matter), in particular given the sheer success of the noncommutative standard model.

Well, that's all based on my limited understanding of the subject, so please correct me if I am wrong.

DaveS said...

You go, girl and get that Quantum Gravity!

Zephir said...

Quantum gravity is the theory supposed to bridge the dimensional scales of quantum mechanics and general relativity, i.e. the human observer scales. I can see no reason, why the common chemistry and biology couldn't fall into subject of quantum gravity as well.

Robert L. Oldershaw said...

Last line from Alan Lightman's review of Smolin's new book in the NY Times Book Review section of the Sunday paper.

"For if we must appeal to the existence of other universes - unknown and unknowable - to explain out universe, then science has progressed into a cul-de-sac with no scientific escape."

Science 1 ; pseudo-science 0