Convergence of the expected number of \(K_5\) subgraphs at the critical planarity scale

Determine whether the expected number of \(K_5\) subgraphs in the Pareto soft random geometric graph converges, rather than merely remaining within matching asymptotic upper and lower bounds, when \(t r_t^{4d/5}\) converges to a positive finite constant.

Background

For the Pareto soft random geometric graph, the planarity analysis considers the critical regime in which trt4d/5λ(0,)t r_t^{4d/5}\to\lambda\in(0,\infty). In this regime, the expected number of K5K_5 subgraphs is bounded above and below at the same asymptotic order, and the limiting planarity probability would be eγe^{-\gamma} if that expectation converged to a finite positive limit γ\gamma.

The authors explicitly state that their estimates do not establish convergence of the expectation itself; it may instead fluctuate within the common order of the upper and lower bounds. Thus, identifying whether the expectation has a limit at the critical scale remains unresolved.

References

Note that if $t r_t{\frac 45 d} \to \lambda\in (0,\infty)$, then by \Cref{thm:SRGGcliques}, the upper and lower bound for the expectation are of the same order and converge, but we a priori do not know whether the expectation itself converges, or fluctuates within this range.

Planarity and number of crossings in general models of random geometric graphs  (2609.08395 - Döring et al., 8 Sep 2026) in Proof of Theorem 3.3, subsection “Proof of ii) (Poisson \(K_5\)-s and planarity),” Section 3.3