On random metrics and the KPZ universality
Straight lines and circles, polygons and exact constructions. That is the clear and shiny paradise of Euclid and classical geometry. The paradigm of perfect connection between the mind and the reality. No need for awkward limiting processes, just unrefutable syllogisms. A cathedral of mathematics and, at the same time, the most successful
physical theory ever designed, since it is validated by the experiments millions of times a day. Yet, what happens when Euclid does not goes easy on ouzo? Can we still play such good geometry? Surprisingly, the answer is yes.
When Euclid gets drunk, instead of the classical plane, we get a wiggly surface. Assume that you crumple your sheet of paper on which you have drawn some circles and straight lines. They will now look crumpled to you. But, I hear you say, there is nothing you can say about them any more, since you don’t know how the paper was crumpled!
OK, let us start easier. Let us assume that you have a surface or, for math jedis, a two-dimensional riemannian manifold. The key concept is that of distance (also called metric). Let us assume that you put some smart ants on the surface which can measure distances between pairs of points, and these distances are smooth and blah-blah. The role which circles used to play on the plane belongs now to balls which are the set of points which ants can reach from a fixed one in a given time. Balls can have all kinds of shapes, as you can see in the figure below.
What about straight lines? They are now called geodesics, which are (ahem-ahem) the curves of shortest length between two points. Balls and geodesics fulfill some nice geometric relations, such as orthogonality (i.e. perpendicularity) according to the metric. The next figure shows the set of geodesics emanating from a point, along with the balls surrounding it, for a surface with the shape of an eggcrate.
So, what happens if we crumple the Euclidean plane, randomly (angrily, if needed)? Then the metric on the manifold becomes random. We will assume that wrinkles at one point of the paper sheet are independent of wrinkles at points far away. In formal terms, we say that the metric only has local correlations. Let us now draw balls around a given point.
Now the balls are rather rough. That is reasonable. Rough, but not crazily rough, just a bit. In fact, they look like balls drawn by a slightly drunk mathematician. Moreover, they have a certain appeal to it. Maybe they are fractal curves? Well, they are. And their dimension
is d=3/2, independently of how you crumple exactly your manifold, as long as you only study balls which are much larger than the distance above which wrinkles are correlated.
If you define the roughness of a ball as the width of the ring which can contain it, then you get a pretty nice result:
. Again a very nice and simple exponent, which shows that drunk geometry hides many interesting secrets. Also the geodesics have fractal behavior, if you are wondering. But we have just scratched the surface of this ethylic paradise. Suffice it to say that we have found the pervasive (and mysterious) Tracy-Widom distribution when we measured the fluctuations on the local radius of the balls.
Earlier this year we published those results, along with S.N. Santalla, T. LaGatta and R. Cuerno. Don’t miss the paper, which has very nice pictures, and and even nicer introduction video, in which I crumple actual paper in front of the camera!
How come we get such nice results, independently of how we crumple the manifold? The magic lies in the notion of universality. Imagine that you have some theory defined by its small-scale behavior. When you look from very far away, some details are forgotten and some get even more relevant. This procedure of looking from further and further away is called renormalization. Typically, only a few details are relevant when you are really far from the smallest scale. And those few details make up the universality class.
So, balls in random manifolds share universality class with other phenomena… from physics! (Well, if you know of a clear boundary between physics and math, let me know.) Growth of amorphous crystals from a vapour, forest fires, cell colonies… Basically, growth phenomena in noisy conditions are known to belong to the Kardar-Parisi-Zhang (KPZ) class. They share the fractal dimension of the interfaces and the Tracy-Widom distribution for the fluctuations.
Why is Nature so kind to us? Why does she agree to forget most of the mumbo-jumbo from the small scale details, so as we can do physics and math on a large scale that makes any sense? Somehow this connects with one of the deepest questions in science, as posed by Eugene Wigner: “why is mathematics so effective in describing Nature?”