The power law for the Buffon needle probability of the four-corner Cantor set
arXiv:0801.2942
Abstract
Let be the -th generation in the construction of the middle-half Cantor set. The Cartesian square of consists of squares of side-length . The chance that a long needle thrown at random in the unit square will meet is essentially the average length of the projections of , also known as the Favard length of . A classical theorem of Besicovitch implies that the Favard length of tends to zero. It is still an open problem to determine its exact rate of decay. Until recently, the only explicit upper bound was , due to Peres and Solomyak. ( is the number of times one needs to take log to obtain a number less than 1 starting from ). We obtain a power law bound by combining analytic and combinatorial ideas.
16 pages, 2 figures