For a simple polygonal region $F$, let $K(F)$ be its polygon kernel, or Sibley's guard-point set, and let $C=\operatorname{conv}(F)$. The associated guard-point, exterior, and perimeter measures are $G(F)=|K(F)|/|F|$, $E(F)=|F|/|C|$, and $P(F)=\operatorname{Per}(C)/\operatorname{Per}(F)$. Using a kernel-adapted anisotropic perimeter, we prove $G(F)\le E(F)$. We disprove the pointwise inequality $G(F)\le P(F)$ by an explicit nonconvex pentagon with integer coordinates for which $G(F)=62/63$ and $P(F)=185/189$. Nevertheless, $G(F)\le 2P(F)$ holds for every simple polygon, and hence $G$ cannot asymptotically dominate $P$ in Sibley's sense. Thus the two assertions in Sibley's Conjecture 2 are settled in opposite directions. We also observe that Sibley's convexity coefficient $χ$ and interior measure $I$ coincide, respectively, with the Beer index $b$ and convexity ratio $c$. The theorem $b\le 180c$ of Balko, Jelínek, Valtr, and Walczak therefore yields $χ\le 180I$, resolving Sibley's Conjecture 1.
翻译:暂无翻译