Approximation of convex bodies and a momentum lemma for power diagrams (Q1291093)

The authors are interested in the asymptotic behavior (as \(n\to\infty\)) of the distance of a convex body \(C\) in the Euclidean \(2\)-space \(\mathbb E^2\) to its best approximating polytopes with at most \(n\) vertices or \(n\) facets. Let \(L = \{(a_1, r_1),\dots, (a_m,r_m)\}\) with \(a_1,\dots ,a_m \in \mathbb E^2\) and \(r_1,\dots,r_m\geq 0,\) and define the sets \(V_1,\dots, V_m\) by \[ V_i = \{x \in [0, 1]^2 : (x - a_i)^2 - r_i^2 \leq (x - a_j)^2 - r_j^2,\;j = 1,\dots, m\}. \] Then \(L\) is called a Laguerre tiling of \([0, 1]^2\) with the tiles \(V_1,\dots, V_m.\) Set \(\nu(L)=\sum_{i=1}^m\int_{V_i}|(x-a_i)^2-r_i^2|dx\) and define \(\text{ldiv}_2=\lim_{n\to\infty}n\inf\)\{\(\nu(L):L\) has at most \(n\) tiles\}. Denote by \(P_k\) the regular \(k\)-gon centered at the origin and of area \(|P_k|= 1.\) For a convex domain \(C,\) set \(I(C,r)=\int_C|x^2- r^2|dx\) and choose \(\rho_k\) such that \(I(P_k,\rho_k)\leq I(P, r)\) for all \(r\geq 0.\) Let \(\{Q_1,\dots, Q_n\}\) be a tiling of \([0, 1]^2\) with convex tiles, \(a_i\in\mathbb E^2\) and \(r_i\geq 0, i = 1,\dots, n.\) Then \(\sum_{i=1}^n\int_{Q_i}|(x-a_i)^2-r_i^2|dx\geq I(P_6,\rho_6)/n.\) This provides a lower bound for \(\text{ldiv}_2\) and taking tilings with regular hexagons then shows that this bound is asymptotically optimal. Thus, calculating \(I(P_6,\rho_6)\) gives ldiv\(_2 =5/18\sqrt{3}-1/4\pi.\) Set ldel\(_2 = \lim_{n\to\infty} \inf\{\nu(L) : L\) has at most \(n\) vertices\(\}.\) Let \(\{Q_1,\dots, Q_m\}\) be a tiling of \([0, 1]^2\) with convex tiles, \(a_i\in\mathbb E^2\) and \(r_i\geq 0, i = 1,\dots, m,\) with no more than \(n\) vertices. Then \(\sum_{i=1}^m\int_{Q_i}|(x-a_i)^2-r_i^2|dx\geq I(P_3,\rho_3)/2(n-2).\) This provides a lower bound for ldel\(_2\) and considering tilings with regular triangles then gives ldel\(_2 =1/6\sqrt{3}-1/8\pi.\)