0
$\begingroup$

Let $G$ be a graph on $>1$ vertices. Recall that its maximum average degree is defined to be $$M(G) = \max\left\{\frac{2\left|E_H\right|}{|V_H|} \colon H \subseteq G, |V_H| > 1\right\},$$ and its arboricity is equal to $$A(G) = \max\left\{\left\lceil\frac{|E_H|}{|V_H|-1}\right\rceil \colon H \subseteq G, |V_H| > 1\right\}.$$

In [https://arxiv.org/pdf/1802.15267.pdf, near the end of page 2] it is stated that "it is not difficult to show that $2A(G) - 2 \le \lceil M(G)\rceil$". However, I am not sure what is the reasoning.

$\endgroup$

1 Answer 1

5
$\begingroup$

Denote $A(G)=A$. Let $H$ be the subgraph for which $\lceil \frac{|E_H|}{|V_H|-1}\rceil=A$. Write $e$ for $|E_H|$, $v$ for $|V_H|$. We have $e/(v-1)>A-1$, thus $e>(v-1)(A-1)$. On the other hand, $e\leqslant v(v-1)/2$. Therefore $v/2>A-1$, $v>2A-2$, $v\geqslant 2A-1$. Then $$M(G)\geqslant \frac{2e}v=\frac{2e}{v-1}\cdot \frac{v-1}v>2(A-1)\cdot \frac{2A-2}{2A-1}>2A-3,$$ thus $\lceil M(G)\rceil \geqslant 2A-2$.

$\endgroup$
2
  • $\begingroup$ So? ${}{}{}{}{}$ $\endgroup$ Commented Aug 27, 2023 at 21:19
  • 1
    $\begingroup$ original argument was not accurate enough, thus changed $\endgroup$ Commented Aug 27, 2023 at 22:21

You must log in to answer this question.

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