The conjectured value of the line-piercing number L(k)L(k)

Let F\mathcal{F} be a family of compact, convex sets in the plane, and let L(k)L(k) denote the minimum number of lines guaranteed to pierce F\mathcal{F} when F\mathcal{F} contains no C(k)C(k), where C(k)C(k) is a family of kk sets F1,,FkF_1,\dots,F_k such that

conv(FiFi+1)conv(FjFj+1)=\operatorname{conv}(F_i\cup F_{i+1})\cap \operatorname{conv}(F_j\cup F_{j+1})=\emptyset

whenever {i,i+1}{j,j+1}=\{i,i+1\}\cap\{j,j+1\}=\emptyset, with indices taken modulo kk. The conjecture for L(k)L(k). We have

L(k)=k2.L(k)=\left\lceil \frac{k}{2} \right\rceil.

The paper explains that this is the conjectured correct value because it matches the lower bound proved in the main theorem; the source does not specify whether the conjecture has been resolved.

Sources & referencesView supporting material

Primary source

Daniel McGinnis, “Piercing families of convex sets in the plane that avoid a certain subfamily with lines”, arXiv:2204.10490 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.