Now that Alice and Bob Meet Banach is available, it is time to bring this blog to life.
First, our plan is to write a few short entries on mathematical topics vaguely related to the subject of the book. Next, we will spread gossip/announce events that may be of interest to the readers of the book.
Finally, this is also the place where you are encouraged to report typos/errors in the book, improvements, solutions to problems and the like. To motivate submissions (via email or by commenting this entry), we offer a bottle of fine French wine (Châteauneuf-du-Pape) to the error-finder who will be most prolific over the next 365 days.
Suppose you would like to optimally place congruent spherical caps on the unit sphere in , each cap having volume . (Here volume refers to the normalized surface area; the sphere has volume ). How much volume of the sphere can you cover?
Clearly the whole sphere cannot be covered: the caps must overlap if (which we assume). Moreover, it is not immediately obvious that a substantial proportion of the sphere can be covered this way. In fact, if we do insist that the caps (say, again, of volume ) are disjoint, the proportion that can be covered is at most (Kabatianskii and Levenshtein, 1978, MR0514023).
This where the probabilistic method shows its effectiveness: placing the caps at random leaves an expected uncovered volume of . Thus one can cover a proportion of the sphere.
Can one do better? Can we hope to cover a proportion ? Or even for some ? The question was asked by Gil Kur, a reader of our book, and we have no idea about the answer! There is nothing special about , you may replace it by other values.
There are few lower bounds on the density of spherical coverings (incidentally, the terms “overlap” or “redundancy” would be more logical). The general upper bound due to Rogers via random covering (Corollary 5.5 in our book) achieves a density of order . A lower bound of order holds for caps whose radii–in the geodesic metric–are either very close to (since caps are needed) or to (via the simplex bound of Coxeter-Few-Rogers), but little seems to be documented in the literature for the intermediate range. A conjectural spherical simplex bound would imply a lower bound of for all radii, see Conjecture 6.7.3 and the open Problem at the end of Section 6.8 in Károly Böröczky’s book Finite Packing and Covering.
Major ABMB-related events are taking place this fall all over the globe!
Both of us are co-organizing a trimester Analysis in Quantum Information Theory at the Institut Henri Poincaré in Paris. The trimester has been running successfully for 3 weeks already with plenty of stimulating activities.
If you cannot meet Alice and Bob in Paris, maybe try Santa Barbara! A trimester on Quantum Physics of Information is ran by the Kavli Institute for Theoretical Physics.
Still at the same time, many of Banach’s heirs are gathering at the MSRI for Geometric Functional Analysis and Applications.
Attending all these events may require that you violate the no-cloning theorem. But in the modern era science may spread via all kinds of channels: you may enjoy the playlist of the first IHP workshop, the KITP podcasts or clicking on the film icons on the MSRI schedule.