Spherical sets avoiding a prescribed set of angles
Evan DeCorte, Oleg Pikhurko

TL;DR
This paper investigates the maximum surface measure of sets on the sphere avoiding certain angles, improving bounds in three dimensions and exploring existence of maximizers using harmonic analysis.
Contribution
It improves the upper bound for the measure of 0-avoiding sets in 3D from 1/3 to 0.313 and demonstrates the existence of maximizers in higher dimensions.
Findings
Upper bound for 3D case improved to 0.313
Existence of maximum measure X-avoiding sets shown for n ≥ 3
Example provided where maximizer does not exist in 2D
Abstract
Let be any subset of the interval . A subset of the unit sphere in will be called \emph{-avoiding} if for any . The problem of determining the maximum surface measure of a -avoiding set was first stated in a 1974 note by Witsenhausen; there the upper bound of times the surface measure of the sphere is derived from a simple averaging argument. A consequence of the Frankl-Wilson theorem is that this fraction decreases exponentially, but until now the upper bound for the case has not moved. We improve this bound to using an approach inspired by Delsarte's linear programming bounds for codes, combined with some combinatorial reasoning. In the second part of the paper, we use harmonic analysis to show that for there always exists an -avoiding set of maximum measure. We also show with an…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
