6
$\begingroup$

Consider the $G(n,p)$ random graph model where $n$ is a ``large'' positive integer and $p\in (0,1)$. We may equip every realized random graph $G$ with its shortest path distance, making it into a (random) metric space $(G,d_G)$. Since $G$ is finite then $(G,d_G)$ is doubling.

Are there known estimates for the expected doubling constant of such a random graph?

$\endgroup$
5
  • 1
    $\begingroup$ (Expected) maximal degree is a lower bound. At the first glance if feels like this should be pretty close to the correct answer. Do you have something outperforming it? $\endgroup$ Commented Nov 4, 2022 at 9:39
  • 2
    $\begingroup$ @VladimirZolotov when the graph is locally a tree, which it sometimes is, the answer should be much larger, right? A binary tree on $2^n$ nodes looks like it has doubling constant around $2^{n/2}$ to me: B(root, n) covers all nodes, but any ball of radius n/2 can only cover $2^{n/2}$ leaves, so $2^{n/2 - 1}$ balls are needed. [New to this, let me know if I misunderstand.] $\endgroup$
    – usul
    Commented Nov 4, 2022 at 11:52
  • $\begingroup$ @usul It looks to me that this remark is indeed correct. $\endgroup$
    – ABIM
    Commented Nov 4, 2022 at 15:25
  • $\begingroup$ Are you keeping $p$ fixed or is it a function of $n$? $\endgroup$ Commented Nov 5, 2022 at 22:46
  • $\begingroup$ I imagined it fixed but both are okay, if one is easier. $\endgroup$
    – ABIM
    Commented Nov 6, 2022 at 0:44

1 Answer 1

2
+200
$\begingroup$

Let me assume $p > (1 + \varepsilon)(2 \ln n/ n)^{1/2}$, this in particular includes the case of constant $p \in (0,1)$.

If $p > (1 + \varepsilon)(2 \ln n/ n)^{1/2}$ then w.h.p. the binomial random graph $G(n,p)$ has diameter at most $2$. Also, for $p = \omega( \ln n / n)$ then w.h.p. every vertex has degree $(1 \pm o(1)) p n$. Thus the balls centered at any vertex have size $1$, $(1 \pm o(1)) p n$, and $n$; if the radius of the ball is $0, 1$ or at least $2$ respectively.

It seems that the only cases to consider are: how many singletons are needed to cover a radius-$1$ ball; and how many radius-$1$ balls are needed to cover the whole vertex set. In the first case any radius-$1$ ball trivially needs $(1 \pm o(1))pn$ singletons to cover it.

In the second case we are equivalently asking for the size of a minimum dominating set in $G(n,p)$, i.e. the minimum size of a set $S \subseteq V(G)$ where every vertex not in $S$ has a neighbour in $S$. This is known (see, e.g. [Wieland, Ben; Godbole, Anant P., On the domination number of a random graph, Electron. J. Comb. 8, No. 1, Research paper R37, 13 p. (2001). ZBL0989.05108.]) to be, w.h.p., concentrated around $(1 + o(1))\log_q(n)$, where $q = 1/(1-p)$.

Then the doubling constant will depend on which of $(1 + o(1))\log_q(n)$ or $(1 + o(1))pn$ is maximum. For constant $p \in (0,1)$ the former term is logarithmic and the second one is linear, so the doubling constant is $(1 + o(1))pn$.

$\endgroup$
2
  • $\begingroup$ do you have a reference for the fact that $G(n,p)$ graphs are 2-hop whp (under the assumption on p)? $\endgroup$
    – ABIM
    Commented Nov 6, 2022 at 19:04
  • 1
    $\begingroup$ See Page 1 here: arxiv.org/abs/1611.10299 (they cite a book by Bollobás, but I do not have access to it right now) $\endgroup$
    – hdur
    Commented Nov 7, 2022 at 22:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .