Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Claim. J.-P. Kahane, Sur le recouvrement d'un cercle par des arcs disposés au hasard, C. R. Acad. Sci. Paris 248 (1959), 184–186, is a note of the séance of 5 January 1959. It places arcs of given lengths 1>l1≥l2≥⋯1>l_1\ge l_2\ge\cdots independently and uniformly on the circle of unit length. Its Theorem 1 proves that the arcs cover the whole circle almost surely as soon as

lim sup⁡t→∞1log⁡t∑ln>1/tln>1.\limsup_{t\to\infty}\frac{1}{\log t}\sum_{l_n>1/t}l_n>1.

Theorem 2 shows that the constant 11 cannot be lowered: for every ε>0\varepsilon>0, some sequence whose lim sup exceeds 1−ε1-\varepsilon does not cover almost surely. Theorem 3 proves that covering almost surely requires lim sup⁡n→∞ln nlog⁡log⁡n>0\limsup_{n\to\infty}l_n\,n\log\log n>0. The note says that its results do not decide ln=α/nl_n=\alpha/n with α≤1\alpha\le1. The site credits Kahane with an=(1+c)/na_n=(1+c)/n, c>0c>0. As written, a1=1+ca_1=1+c exceeds the circumference, so the first arc alone covers the circle. The case has content for lengths equal to (1+c)/n(1+c)/n from some index on. There the sum in Theorem 1 is (1+c)log⁡t+O(1)(1+c)\log t+O(1), so the lim sup is 1+c>11+c>1 (a remark of this page). The paper has no library card.

Covers. The nonincreasing sequences of lengths below 11 that satisfy Theorem 1's condition, which cover almost surely; they include lengths (1+c)/n(1+c)/n from some index on. Also the sequences with ln nlog⁡log⁡n→0l_n\,n\log\log n\to0, which do not cover almost surely (Theorem 3). Not covered: ln=α/nl_n=\alpha/n with α≤1\alpha\le1, which the note leaves open and the site credits to Erdős (unpublished), and the criterion itself, which is Shepp's.

Depends on. No page of this wiki.

Acceptance. Refereed: the note appeared in C. R. Acad. Sci. Paris 248 (1959). The site's curator, T. F. Bloom, labels the problem SOLVED and credits Kahane with the case an=(1+c)/na_n=(1+c)/n (problem page accessed); the label settles the problem through Shepp's criterion, not this note, so the page lists no reviewed evidence.