Convex cap

Not to be confused with the floating body effect or the convex cap on mushrooms (pileus).

A convex cap is a well defined structure in mathematics commonly used in convex geometry for approximating convex shapes. It is used in the construction of convex floating bodies (or just floating body). It is the intersection of a convex body with a half-space.

Definition

A cap $C$ can be defined as the intersection of a half-space $H^{+}$ with a convex set $K$. Note that the cap can be defined in $n$-dimensional space.

The definition of a cap can also be extended to define a cap of a point $x$ where the cap $C$ can be defined as the intersection of a convex set $K$ with a half-space $H^{+}$ containing $x$. The minimal cap of a point is a cap of $x$ with

$\mathrm{vol}(C(x))=\min \{\mathrm{vol}(K\cap H^{+}):x\in H^{+}\}$,

where vol denotes $n$-dimensional volume.

Floating Bodies and Caps

We can define the floating body of a convex body $K\subset {\mathbb{ℝ}}^n$ using the following process. Note the floating body is also convex. In the case of a 2-dimensional convex body $K$ (with non-empty interior), let (a small) $\delta >0$ be given. The floating body of this 2-dimensional shape is given by removing all the 2-dimensional caps of area $\delta$ from the original body. The resulting shape will be our convex floating body $K_{\delta }$. We generalize this definition to n dimensions by starting with an n-dimensional convex shape and removing caps of n-dimensional volume $\delta$.

Relation to affine surface area

As $\delta \to 0$, the floating body more closely approximates $K$. This information can tell us about the affine surface area $\mathrm{\Omega }(K)$ of $K$ which measures how the boundary behaves in this situation. If we take the convex floating body of a two-dimensional convex shape, we notice that the distance from the boundary of the floating body to the boundary of the convex shape is related to the convex shape's curvature. Specifically, convex shapes with higher curvature have a higher distance between the two boundaries. Taking a look at the difference in the areas of the original body and the floating body as $\delta \to 0$. Using the relation between curvature and distance, we can deduce that $A(K)-A(K_{\delta })$ is also dependent on the curvature. Thus,

$\mathrm{\Omega }(K)=\underset{\mathrm{bd}K}{\int }\kappa (x{)}^{\frac{1}{3}}dl(x)\approx \frac{A(K)-A(K_{\delta })}{{\delta }^{\frac{2}{3}}}$.

In this formula, $\kappa (x)$ is the curvature of $\mathrm{bd}K$ at $x$ and $l$ is the length element.

We can generalize distance, area and volume for n dimensions using the Hausdorff measure. This definition, then works for all $n\ge 2$. Here, $\kappa (x)$ is the Gaussian curvature. So, the affine surface area for an n-dimensional convex shape is

$\underset{\mathrm{bd}K}{\int }\kappa (x{)}^{\frac{1}{n+1}}d\sigma (x)\approx \frac{\mathrm{vol}(K)-\mathrm{vol}(K_{\delta })}{{\delta }^{\frac{2}{n+1}}}$

where $\sigma (x)$ is the $(n-1)$-dimensional Hausdorff measure.

Wet part of a convex body

The wet part of a convex body can be defined as $K(t)=K(v\le t)=\{x\in K:v(x)\le t\}$ where $t$ is any real number describing the maximum volume of the wet part and $v(x)=\min \{\mathrm{vol}(K\cap H):x\in H\}$.

We can see that using a non-degenerate linear transformation (one whose matrix is invertible) preserves any properties of $K(t)$. So, we can say that $v:K\to \mathbb{ℝ}$ is equivariant under these types of transformations. Using this notation, $v_{AK}(Ax)=|\mathrm{d}\mathrm{e}\mathrm{t}A|v_K(x)$. Note that

$\frac{\mathrm{vol}(K(v\le t\mathrm{vol}(K)))}{\mathrm{vol}(K)}$

is also equivariant under non-degenerate linear transformations.

Caps for approximation

Assume $K\in {{𝒦}}_1^n=\{K\subset {\mathbb{ℝ}}^n:K\text{ convex, }\mathrm{v}\mathrm{o}\mathrm{l}(K)=1\}$ and choose $x_1,...,x_m$ randomly, independently and according to the uniform distribution from $K$. Then, $K_m=\text{conv}\{x_1,...,x_m\}$ is a random polytope. Intuitively, it is clear that as $m\to \mathrm{\infty }$, $K_m$ approaches $K$. We can determine how well $K_m$ approximates $K$ in various measures of approximation, but we mainly focus on the volume. So, we define $E(K,m)=E(\mathrm{vol}K-\mathrm{vol}{K}_m)$, when $E$ refers to the expected value. We use $K(t)=K(v\le t)$ as the wet part of $K$ and $K(v\ge t)$ as the floating body of $K$. The following theorem states that the general principle governing $E(K,m)$ is of the same order as the magnitude of the volume of the wet part with $t=\frac{1}{m}$.

Theorem

For $K\in {{𝒦}}_1^n$ and $m\ge n+1$, $\mathrm{vol}K(\frac{1}{m})\ll E(K,m)\ll \mathrm{vol}K(\frac{1}{m})$. The proof of this theorem is based on the technique of M-regions and cap coverings. We can use the minimal cap which is a cap $C(x)$ containing $x$ and satisfying $\mathrm{v}\mathrm{o}\mathrm{l}C(x)=v(x)$. Although the minimal cap is not unique, this doesn't have an effect on the proof of the theorem.

Lemma

If $x\in K$ and $v(x)<{\epsilon }_0$, then $C(x)\subset M(x,3n)$ for every minimal cap $C(x)$.

Since $M(x)\subset C^2(x)$, this lemma establishes the equivalence of the M-regions $M(x)$ and a minimal cap $C(x)$, where $C^2(x)$ is a blown up copy of $C(x)$ by a factor 2 around $x$. Thus, M-regions and minimal caps can be interchanged freely, without losing more than a constant factor in estimates.

Economic cap covering

A cap covering can be defined as the set of caps that completely cover some boundary $D$. By minimizing the size of each cap, we can minimize the size of the set of caps and create a new set. This set of caps with minimal volume is called an economic cap covering and can be explicitly defined as the set of caps $C$ covering some boundary $D$ where each $C_i$ has some minimal width $\epsilon$ and the total volume of this covering is ≪ $\epsilon$ ⋅ $\mathrm{vol}(D)$.