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

About 4 years old · traced to

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⁡(Fi∪Fi+1)∩conv⁡(Fj∪Fj+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.

References

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.