One of the results in the new preprint of Gromov and Guth that I mentioned in my previous post is a rather striking application of expanders to a problem of knot theory: a new proof of the fact (only recently proved by Pardon) that there exist knots (in ) with arbitrarily large distortion , where the latter is defined by
where runs over knots isotopic to , and the distance in in the numerator being the distance between points on the curve that “is” . In other words, the distortion is large when, whichever way we put the knot in space, there are points on it which are “physically close” in the ambient space, but far away if one is forced to connect them along the knot itself.
(Here and henceforth, any knot-theoretic blunders are obviously my own unenlightened ones…)
Gromov had asked whether the distortion is unbounded in the early 80’s, and Pardon gave the first examples (there is a blog post here that explains his work).
The examples of Gromov and Guth (Section 4 of their paper, which they describe as “the most interesting”…) arise from the following context: let be a fixed hyperbolic arithmetic 3-manifold; let be any sequence of arithmetic coverings of with degree tending to infinity as does; then, by results of Hilden and Montesinos from the 1970’s, there are knots associated to by the property that can be written as a -cover of the sphere ramified over . Then Gromov and Guth prove that
where is the Cheeger constant for , and
is the hyperbolic volume of .
Now, by the Cheeger-Buser principle, we have
where is the first positive eigenvalue of the hyperbolic Laplace operator on . By Property (τ) for — which uses the arithmetic property of the coverings –, this first eigenvalue is bounded away from zero, and hence the Gromov-Guth inequality gives
The link with expanders is the Brooks-Burger comparison principle: the of the hyperbolic Laplace operator is (up to constants depending only on and a choice of generators of its fundamental group) of the same order of magnitude as the first positive eigenvalue for the Cayley-Schreier graphs associated to the covering .
This type of setting may remind (very) faithful readers of the discussion of some of my own results with J. Ellenberg and C. Hall, where expanders turned out to be slightly overkill, a weaker degree of expansion of the graphs — which we called “esperantism” — being sufficient for our purposes.
I think — but I may have missed some problem! — that for the purpose of constructing knots with large distortion, the same basic idea also applies. Namely, if we take for some congruence coverings with degree for some fixed , an inequality of Brooks shows that
where is the combinatorial Cheeger constant. The analogue of Cheeger-Buser for graphs leads to
and if we know the esperanto property
for some fixed , we see that the logarithmic decay of the Cheeger constant is more than compensated by the growth of the volume in
(Note: the proof of the main inequality (*) in the paper of Gromov and Guth is quite delicate and is much deeper and more sophisticated mathematics than the rather formal considerations above! I hope to be able to understand more of it in the coming weeks and months — indeed, the amount and variety of ideas and tools in this paper is quite remarkable…)