Asymptotics for some combinatorial characteristics of the convex hull of a Poisson point process in the Clifford torus (Q1943653)

In the four-dimensional Euclidean space, consider the two-dimensional Clifford torus \(T^2=\{(\cos\phi, \sin\phi, \cos\psi, \sin\psi): -\pi<\phi, \psi\leq \pi\}\). \(T^2\) has a locally Euclidean planar metric and, consequently, the natural Borel measure \(\operatorname{mes}_2\), for which \(\operatorname{mes}_2(T^2) = 4\,\pi^2\). Consider a random point set \({\mathcal P}\subset T^2\). For every Borel-measurable set \(A\subset T^2\) define a random variable \(n(A) =\) the number of points in \({\mathcal P}\cap A\). Say that \({\mathcal P} = {\mathcal P}_{\lambda}\) is the (homogeneous) Poisson point process of rate \(\lambda>0\) if the random variable \(n(A)\) is distributed according to Poisson distribution with rate parameter \(\lambda \operatorname{mes}_2(A)\). The \(f\)-vector of a 4-polytope \(P\) is a 4-vector \((f_0, f_1, f_2, f_3)\), where \(f_i\) is the number of \(i\)-faces of \(P\) for \(i=0,1,2,3\). \textit{N. Dolbilin} and \textit{M. Tanemura} [``Voronoi tilings for the Clifford torus in a 3-sphere'', in: Voronoi's Impact on Modern Science, Book IV, Vol. 1. Kyiv: Institute of Mathematics. 210--219 (2008)] studied convex hulls of finite subsets of \(T^2\). For a special class of point sets in \(T^2\) called regular sets N. Dolbilin and M. Tanemura [loc. cit.] completely describe the combinatorial structure of the convex hull. The other combinatorial characteristic of a polytope is the mean valence of its vertices. For a polytope \(P\) with \(f\)-vector \((f_0, f_1, f_2, f_3)\), consider the value \(\bar{v}={{{2f_1}\over{f_0}}}\) if \(f_0\neq0\), and 0 if \(f_0=0\). The main results of the paper are the following ones. (1) The number of hyperfaces of \(\operatorname{conv}({\mathcal P}_{\lambda})\) has a magnitude of expectation \(O(\lambda\, \ln\lambda)\) as \(\lambda\) tends to infinity. (2) The number of 1-faces and 2-faces of \(\operatorname{conv}({\mathcal P}_{\lambda})\) both have magnitudes of expectation \(O(\lambda\, \ln\lambda)\) as \(\lambda\) tends to infinity. (3) The expectation of the mean valence of \(\operatorname{conv}({\mathcal P}_{\lambda})\) has asymptotics \(O(\ln\lambda)\) as \(\lambda\) tends to infinity.