Determination of compact subsets from functionals on them.
We prove a universal inequality between the diastole, defined using a minimax process on the one-cycle space, and the area of closed Riemannian surfaces. Roughly speaking, we show that any closed Riemannian surface can be swept out by a family of multi-loops whose lengths are bounded in terms of the area of the surface. This diastolic inequality, which relies on an upper bound on Cheeger’s constant, yields an effective process to find short closed geodesics on the two-sphere, for instance. We deduce...