Planar Kakeya neighborhood lower bound

ID: planar-kakeya-neighborhood-lower-bound

Choose angularly separated unit segments in a bounded Kakeya set, and let sum the indicators of their Kakeya tubes. Then . Two tubes at angular separation intersect in area at most , so summing each harmonic angular row gives . The Cauchy-Schwarz inequality on their union proves the displayed neighborhood lower bound. Since , both planar Minkowski dimensions equal two.

New to topics? Read the docs here!