Dichotomy conjecture for continuous saturation functions

For PR2P\subseteq\mathbb{R}^2, call an open set S[0,n]2S\subseteq[0,n]^2 saturating for PP if SS avoids PP and every proper open superset of SS in [0,n]2[0,n]^2 contains PP. Define osat(n,P)\operatorname{osat}(n,P) as the infimum of the area μ2(S)\mu_2(S) over such saturating open sets, when one exists. Continuous saturation dichotomy conjecture. For every PR2P\subseteq\mathbb{R}^2 for which osat(n,P)\operatorname{osat}(n,P) is defined, either

osat(n,P)=O(1)orosat(n,P)=Θ(n),\operatorname{osat}(n,P)=O(1)\qquad\text{or}\qquad\operatorname{osat}(n,P)=\Theta(n),

with constants depending on PP. This is modeled on the corresponding dichotomy for 0011 matrix saturation functions and is open for continuous forbidden subsets.

Sources & referencesView supporting material

Primary source

Jesse Geneson, “Continuous Turán numbers”, arXiv:2105.04864 (2021).

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.