Variance expansion and Berry-Esseen bound for the number of vertices of a random polygon in a polygon

[Asymptotique de la variance et bornes de Berry-Esseen pour le nombre de sommets d’un polygone aléatoire dans un polygone]

Gusakova, Anna¹ ; Reitzner, Matthias² ; Thäle, Christoph³

¹ Fachbereich Mathematik, Universität Münster, Germany
² Institut für Mathematik, Universität Osnabrück, Germany
³ Fakultät für Mathematik, Ruhr-Universität Bochum, Germany

Annales Henri Lebesgue, Tome 6 (2023), pp. 875-906

Abstract (VO)

Fix a container polygon $P$ in the plane and consider the convex hull $P_n$ of $n\ge 3$ independent and uniformly distributed in $P$ random points. In the focus of this paper is the vertex number of the random polygon $P_n$. The precise variance expansion for the vertex number is determined up to the constant-order term, a result which can be considered as a second-order analogue of the classical expansion for the expectation of Rényi and Sulanke (1963). Moreover, a sharp Berry–Esseen bound is derived for the vertex number of the random polygon $P_n$, which is of the same order as one over the square-root of the variance. The latter is optimal and improves the earlier result of Bárány and Reitzner (2006) by removing the factor ${(loglogn)}^{60}$ in the planar case. The main idea behind the proof of both results is a decomposition of the boundary of the random polygon $P_n$ into random convex chains and a careful merging of the variance expansions and Berry–Esseen bounds for the vertex numbers of the individual chains. In the course of the proof, we derive similar results for the Poissonized model.

Résumé

Fixons un polygone conteneur $P$ dans le plan et considérons l’enveloppe convexe $P_n$ de $n\ge 3$ points aléatoires indépendants et uniformément distribués dans $P$. Cet article est consacré à l’étude du nombre de sommets du polygone aléatoire $P_n$. Nous déterminons l’asymptotique précise de sa variance jusqu’au terme constant, un résultat qui peut être considéré comme un analogue au second ordre du développement classique pour l’espérance de Rényi et Sulanke (1963). De plus, nous obtenons une borne de Berry–Esseen précise pour le nombre de sommets du polygone aléatoire $P_n$, du même ordre que l’inverse de la racine carrée de la variance. Cette borne est optimale et améliore le résultat précédent de Bárány et Reitzner (2006) en supprimant le facteur ${(loglogn)}^{60}$ dans le cas planaire. L’idée principale dans la preuve des deux résultats est une décomposition du bord du polygone aléatoire $P_n$ en chaînes convexes aléatoires et une fusion soigneuse des asymptotiques de la variance et des bornes de Berry–Esseen pour le nombre de sommets des chaînes individuelles. Au cours de la preuve, nous obtenons des résultats similaires pour le modèle poissonisé.

Détail

Reçu le : 2022-06-30
Révisé le : 2023-05-12
Accepté le : 2023-06-18
Publié le : 2023-10-02

DOI : 10.5802/ahl.180

Classification : 52A22, 60D05
Keywords: Berry–Esseen bound, central limit theorem, geometric probability, Poisson point process, random convex chain, random polygon, variance expansion

Licence : CC-BY 4.0

Droits d'auteur : Les auteurs conservent leurs droits