Limit of the minimum order of existentially closed graphs
Determine whether the limit lim_{n\to\infty}m_{ec}(n)/(n2^n) exists, where m_{ec}(n) is the minimum order of an n-existentially closed graph.
References
Caccetta, Erd\H{o}s, and Vijayan showed that $m_{ec}(n)=\Omega(n2n)$ and conjectured that $\lim_{n\to\infty}m_{ec}(n)/(n2n)$ exists.
— The VC-dimension of strongly regular graphs
(2609.10330 - Byrne et al., 9 Sep 2026) in Section 1, Introduction