14.02.2013 Views

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

Gruber P. Convex and Discrete Geometry

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

11 Approximation of <strong>Convex</strong> Bodies <strong>and</strong> Its Applications 217<br />

Remark. For refinements <strong>and</strong> information on the form of Pn, see the author’s<br />

articles [439] (d = 3) <strong>and</strong> [443] (general d). The results in these papers deal with<br />

normed spaces <strong>and</strong> make use of the generalized surface area as treated in Sect. 8.3.<br />

One of the tools used there is a result of Diskant [274] which extends Lindelöf’s<br />

theorem to normed spaces.<br />

Heuristic Observations<br />

The asymptotic formula for best approximation of C by inscribed convex polytopes<br />

is as follows, see <strong>Gruber</strong> [427].<br />

δ V (C, P i γ<br />

n ) ∼<br />

2<br />

A(C) d+1<br />

d−1<br />

1<br />

n 2<br />

d−1<br />

as n →∞,<br />

where γ = γ2,d−1 > 0 is a suitable constant depending on d, <strong>and</strong><br />

�<br />

A(C) = κC(x) 1<br />

d+1 dσ(x)<br />

bd C<br />

the affine surface area of C. A result of Bárány [67] <strong>and</strong> Schütt [920] on r<strong>and</strong>om<br />

polytopes states the following, where E � δ V (C, Qk) � st<strong>and</strong>s for the expectation of<br />

the difference of the volume of C <strong>and</strong> the volume of the convex hull Qk of k r<strong>and</strong>om<br />

points uniformly distributed in C,<br />

E � δ V (C, Qk) � ∼ cd A(C) 1<br />

k 2<br />

d+1<br />

as k →∞.<br />

Here cd > 0 is a suitable constant depending on d. These two asymptotic formulae<br />

seem to say that r<strong>and</strong>om approximation is less efficient than best approximation (put<br />

k = n), but, as observed by Bárány, this is the wrong comparison to make. Being<br />

the convex hull of k r<strong>and</strong>om points in C, the r<strong>and</strong>om polytope Qk in general has less<br />

than k vertices. Actually, for the expectation E � v(Qk) � of the number of vertices of<br />

Qk, wehave<br />

Denote this expectation by n. Then,<br />

E � v(Qk) � ∼ cd A(C) k d−1<br />

d+1 as k →∞.<br />

E � δ V (C, Qk) � ∼ c d+1<br />

d−1<br />

d<br />

d+1<br />

A(C) d−1<br />

1<br />

n 2<br />

d−1<br />

as n →∞.<br />

For d = 2, 3Bárány [68] proved an even stronger result. Since Mankiewicz <strong>and</strong><br />

Schütt [686] showed that<br />

c d+1<br />

d−1<br />

d<br />

1<br />

2γ2,d−1 → 1asd →∞,<br />

we see that for large d, r<strong>and</strong>om approximation is almost as good as best approximation.<br />

This is an example of the following vague principle.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!