Weightings for Compact Metric Spaces
Posted by Tom Leinster
Guest post by Mark Meckes
A recent paper of Mark’s proved the very substantial result that Minkowski dimension (one of the most important types of fractal dimension) can be derived from magnitude (an invariant ultimately coming from category theory). More exactly, he showed that the Minkowski dimension of a compact subset of is exactly equal to its “magnitude dimension” (Cor 7.4). Here, Mark explains not this specific result, but the overall framework that makes such theorems possible. —TL
I’d like to report on some recentish progress in understanding the magnitude of compact metric spaces. To set the stage I’ll recap some background, which will repeat a number of things which have already appeared in posts by Tom and Simon. For those who want to be reminded of more, Tom has provided a reading list.
Background, part I: finite spaces
The magnitude of a finite metric space is defined as follows. First, define the matrix . A weighting for is a vector such that for each ,
If is a weighting for , then the magnitude of is defined to be
In general, there are well-definedness issues with this definition as written. For the purposes of this post I’ll brush them aside by noting that if happens to be a positive definite matrix, and hence invertible, then possesses a unique weighting. When this is the case, we call a positive definite metric space, or PDMS. For example, it turns out that all finite subsets of (with the usual Euclidean metric) are positive definite metric spaces. PDMSs have the additional nice properties that their magnitude is always at least 1 (if they’re nonempty), and that magnitude is increasing with respect to inclusion.
Background, part II: compact spaces
Given an invariant of finite metric spaces, it’s natural to try to extend it to some class of infinite spaces, say compact spaces. There are two obvious general approaches: approximate a given compact space by finite spaces, or adapt the definition to apply to infinite spaces directly.
Let’s first consider approximation. We’d like to say that if is a given compact metric space, we can find a sequence of finite spaces which approximate in some sense and whose magnitudes converge to some limit, which we could then take as the definition of . There are well-definedness issues here, in particular whether different approximating sequences would give different values of . The usual way to handle such an issue, if you can, is by appealing to continuity: if magnitude were a continuous function of a finite metric space (with respect to an appropriate topology), then we could define magnitude on the family of compact spaces as its unique continuous extension.
Fortunately, there is a natural topology on the family of isometry classes of compact metric spaces. Unfortunately, magnitude is not a continuous function of a finite metric space. However, if we restrict to finite PDMSs, it turns out that magnitude is lower semicontinuous, or lsc for short. Like a continuous function, an lsc function has a canonical extension from a domain to its closure—not a unique lsc extension, but a minimal maximal one. So we can naturally define the magnitude of compact PDMSs (a compact space is a PDMS if each of its finite subspaces is) as the minimal lsc extension of the magnitude of finite PDMSs.
Concretely, this means that is well-defined as the limit of , whenever is a sequence of finite PDMSs which approximate and for which is increasing. Since magnitude is increasing with respect to inclusion for finite PDMSs, the last condition can be guaranteed by taking an increasing sequence . (Notice that this minimal lsc extension of magnitude a priori takes values in . I don’t know whether every compact PDMS has finite magnitude. Tom proved that every compact subset of has finite magnitude.)
Using roughly this approach (although before the semicontinuity result was proved), Tom and Simon showed, among other things, that the magnitude of an interval of length is . So it became clear that magnitude knows something about classical geometric invariants.
The approximation approach leads to some nice concrete results, and is justified by semicontinuity. But it’s rather unsatisfactory in at least two ways. On the one hand, it would simply be nicer from an aesthetic point of view to give a direct definition of the magnitude of a compact space, which extends the original definition; it might also shed new light on the original definition. On the other hand, such a direct definition would involve some notion of weighting for a compact space, which would provide a new tool for analyzing magnitude.
Later, Simon gave a definition of magnitude for certain compact spaces which extends the original definition. Given a compact metric space , a weight measure for is a measure such that for each ,
If is a weight measure for , then we define
It turns out that this approach agrees with the approximation approach. That is, if is a compact PDMS and has a weight measure, then this definition of agrees with the earlier one. On the other hand, the domains of definition are different: not every compact PDMS has a weight measure, and many spaces which are not positive definite do possess weight measures.
Using this definition, Simon studied magnitudes of homogeneous Riemannian manifolds. Again, he found that magnitude knows about classical geometric invariants. However, the fact that many (probably most, in some sense) spaces don’t have weight measures makes the measure-based definition of magnitude unsatisfactory as well.
Weightings for compact PDMSs
More recently, I found a definition of magnitude for a compact PDMS which directly extends the original definition for a finite space. To begin with, we take inspiration from Simon’s definition and think of the weighting of a finite space as the measure (more precisely, as a signed measure, since its components need not be positive)
where is a point mass at . We next take inspiration from the finite approximation definition and say that the weighting of a compact space should be a limit of weightings of finite spaces. That is, it should be a limit of some sequence of finitely supported signed measures on . To make sense of this, we need to put some topology on the space of finitely supported signed measures. Since it’s a vector space, we’d probably like to make it a topological vector space. The nicest topological vector spaces are inner product spaces, so it makes sense to try to find an inner product on which will work nicely with magnitude.
If is a PDMS, then such an inner product is staring us in the face (although it took many months before I noticed that): if is finite, then
Define to be the Hilbert space completion of with this inner product. A weighting for will be an element of which satisfies an appropriate analogue of the original condition .
When , for some finite , we can straightforwardly define the function
for . It’s not hard to show that is a bounded continuous function, and that , so the linear map has a unique continuous linear extension . We can now define a weighting of to be a such that for each .
The map is injective, so has at most one weighting. Moreover, has a weighting if and only if there is a uniform bound on the magnitudes of its finite subsets. In other words, possesses a weighting iff the magnitude , as defined by finite approximations, is finite. (This also means that I don’t know whether every compact PDMS has a weighting, but I do know that every compact subset of does.)
Now that we know what a weighting for is, we’re ready to define the magnitude of . This is slightly less straightforward, since if is not in , then there is no meaning to . To get around this, we notice that the original definition for a finite space can be rewritten as
and the latter sum fits right into our Hilbert space framework. So, if is a compact PDMS with weighting , then we define the magnitude of to be
This fits with all the previous definitions: if is a finite PDMS, this simply repeats the original definition in a more complicated way; if is a compact PDMS, this gives the same value of magnitude as finite approximation; and if is a compact PDMS with a weight measure , then is a weighting for and .
So what does this give us that we didn’t have before? As hoped for, it’s a definition which works for a broad class of spaces, and is (to me, at least) more elegant than approximation by finite spaces. It may shed a little bit of light on the original definition of magnitude for finite spaces—it suggests that one should think of the magnitude not, as originally written, as the sum of the entries of the weighting , but as the double sum
In other words, it suggests that the matrix should be thought of, not as defining a linear map, but as defining a bilinear form. (The same vague, speculative remark applies more generally to the definition of the magnitude of an enriched category.)
What about the hope that the weighting of would turn out to be a useful tool? Before addressing that, let’s first specialize to subsets of .
Weightings and magnitude in Euclidean space
If , then the linear operator is a convolution operator, which suggests using a bunch of Fourier mumbo-jumbo. If you do that, it turns out that is a subspace of the Sobolev space (or more properly, Bessel potential space) , and the norm is, up to a constant depending on , the standard Sobolev norm on . This isn’t the most familiar, classical sort of thing—it’s a Sobolev space, but with a negative, fractional (half the time) exponent—but it is a known and well-understood thing. Its elements are distributions, not functions, but a lot of machinery exists to work with such things.
Even better, maps into the Sobolev space . This is a Sobolev space whose elements are functions. (Real, honest, continuous functions—not even almost-every-equal equivalence classes!) If is the weighting of , then is, by definition, the unique function in such that for all . It’s not hard to show that , for an explicit dimensional constant . With a bit more work, one can show that
and the infimum is uniquely achieved when .
This reformulation of magnitude in terms of a variational problem for functions turns out to be extremely useful. It opens the door to using tools from Hilbert space geometry, Fourier analysis, potential theory, and PDEs to study magnitude. But this post has gotten to be rather long, so I’ll leave it to you to read the paper (and hopefully future papers and posts) to see how!
Re: Weightings for Compact Metric Spaces
Coincidentally, I’ve just been learning about the conjecture that every Kakeya set in has Minkowski dimension . We now have another line of attack on this… not that I’m getting my hopes up :-)