/ Arno Pauly: Computability of the Lebesgue Universal Covering problem

Arno Pauly: Computability of the Lebesgue Universal Covering problem

27th February 2025
2:00 pm - 3:00 pm

Theory Lab, Computational Foundry

We show that the minimal area of a convex subset of the plane which contains a congruent copy of any planar subset of diameter $1$ is a computable real number. We do provide a concrete algorithm, although not a practical one. The task of finding this number had been posed by Lebesgue to Pal, who then provide initial bounds that were subsequently improved by a number of researchers.