-
An Approximate Version of the Strong Nine Dragon Tree Conjecture
Authors:
Sebastian Mies,
Benjamin Moore
Abstract:
We prove the Strong Nine Dragon Tree Conjecture is true if we replace the edge bound with $d + \big\lceil k \big\lfloor\frac{d-1}{k+1}\big\rfloor \big(\frac{d}{k+1} - \frac{1}{2} \big\lceil\frac{d}{k+1}\big\rceil \big)\big\rceil \leq d + \frac{k}{2} \cdot \big(\frac{d}{k+1}\big)^2$. More precisely: let $G$ be a graph, let $d$ and $k$ be positive integers and…
▽ More
We prove the Strong Nine Dragon Tree Conjecture is true if we replace the edge bound with $d + \big\lceil k \big\lfloor\frac{d-1}{k+1}\big\rfloor \big(\frac{d}{k+1} - \frac{1}{2} \big\lceil\frac{d}{k+1}\big\rceil \big)\big\rceil \leq d + \frac{k}{2} \cdot \big(\frac{d}{k+1}\big)^2$. More precisely: let $G$ be a graph, let $d$ and $k$ be positive integers and $γ(G) = \max_{H \subseteq G, v(H) \geq 2} \frac{e(H)}{v(H) - 1}$. If $γ(G) \leq k + \frac{d}{d + k + 1}$, then there is a partition of $E(G)$ into $k + 1$ forests, where in one forest every connected component has at most $d + \big\lceil k \big\lfloor\frac{d-1}{k+1}\big\rfloor \big(\frac{d}{k+1} - \frac{1}{2} \big\lceil\frac{d}{k+1}\big\rceil \big)\big\rceil$ edges.
△ Less
Submitted 3 September, 2024; v1 submitted 7 June, 2024;
originally announced June 2024.
-
The Strong Nine Dragon Tree Conjecture is True for $d \leq 2(k+1)$
Authors:
Sebastian Mies,
Benjamin Moore
Abstract:
The arboricity $Γ(G)$ of an undirected graph $G =(V,E)$ is the minimal number $k$ such that $E$ can be partitioned into $k$ forests on $V$. Nash-Williams' formula states that $k = \lceil γ(G) \rceil$, where $γ(G)$ is the maximum of $\frac{|E_{H}|}{|V_{H}|-1}$ over all subgraphs $(V_H , E_H )$ of $G$ with $|V_H | \geq 2$. The Strong Nine Dragon Tree Conjecture states that if…
▽ More
The arboricity $Γ(G)$ of an undirected graph $G =(V,E)$ is the minimal number $k$ such that $E$ can be partitioned into $k$ forests on $V$. Nash-Williams' formula states that $k = \lceil γ(G) \rceil$, where $γ(G)$ is the maximum of $\frac{|E_{H}|}{|V_{H}|-1}$ over all subgraphs $(V_H , E_H )$ of $G$ with $|V_H | \geq 2$. The Strong Nine Dragon Tree Conjecture states that if $γ(G) \leq k + \frac{d}{d+k+1}$ for $k, d \in \mathbb{N}$, then there is a partition of the edge set of $G$ into $k + 1$ forests on $V$ such that one forest has at most $d$ edges in each connected component. Here we prove the Strong Nine Dragon Tree Conjecture when $d \leq 2(k +1)$, which is a new result for all $(k, d)$ such that $d > k + 1$. In fact, we prove a stronger theorem. We prove that a weaker sparsity notion, called $(k, d)$-sparseness, suffices to give the decomposition, under the assumption that the graph decomposes into $k+1$ forests. This is a new result for all $(k, d)$ where $d > 1$, and improves upon the recent resolution of the Overfull Nine Dragon Tree Theorem for all $(k, d)$ when $d \leq 2(k +1)$. As a corollary, we obtain that planar graphs of girth five decompose into a forest and a forest where every component has at most four edges, and by duality, we obtain that $5$-edge-connected planar graphs have a $\frac{4}{5}$-thin tree, improving a result of the authors that $5$-edge-connected planar graphs have a $\frac{5}{6}$-thin tree
△ Less
Submitted 28 June, 2024; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Beyond the Pseudoforest Strong Nine Dragon Tree Theorem
Authors:
Sebastian Mies,
Benjamin Moore,
Evelyne Smith-Roberge
Abstract:
The pseudoforest version of the Strong Nine Dragon Tree Conjecture states that if a graph $G$ has maximum average degree $\text{mad}(G) = 2 \max_{H \subseteq G} \frac{e(G)}{v(G)}$ at most $2(k + \frac{d}{k+d+1})$, then it has a decomposition into $k+1$ pseudoforests where in one pseudoforest $F$ the components of $F$ have at most $d$ edges. This was proven in 2020. We strengthen this theorem by sh…
▽ More
The pseudoforest version of the Strong Nine Dragon Tree Conjecture states that if a graph $G$ has maximum average degree $\text{mad}(G) = 2 \max_{H \subseteq G} \frac{e(G)}{v(G)}$ at most $2(k + \frac{d}{k+d+1})$, then it has a decomposition into $k+1$ pseudoforests where in one pseudoforest $F$ the components of $F$ have at most $d$ edges. This was proven in 2020. We strengthen this theorem by showing that we can find such a decomposition where additionally $F$ is acyclic, the diameter of the components of $F$ is at most $2\ell + 2$, where $\ell = \lfloor\frac{d-1}{k+1} \rfloor$, and at most $2\ell + 1$ if $d \equiv 1 \bmod k+1$. Furthermore, for any component $K$ of $F$ and any $z \in \mathbb N$, we have $diam(K) \leq 2z$ if $e(K) \geq d - z(k-1) + 1$. We also show that both diameter bounds are best possible as an extension for both the Strong Nine Dragon Tree Conjecture for pseudoforests and its original conjecture for forests. In fact, they are still optimal even if we only enforce $F$ to have any constant maximum degree, instead of enforcing every component of $F$ to have at most $d$ edges.
△ Less
Submitted 20 June, 2025; v1 submitted 2 October, 2023;
originally announced October 2023.
-
The Strong Nine Dragon Tree Conjecture is true for $d \leq k+1$
Authors:
Sebastian Mies,
Benjamin Moore
Abstract:
The arboricity $Γ(G)$ of an undirected graph $G = (V,E)$ is the minimal number such that $E$ can be partitioned into $Γ(G)$ forests. Nash-Williams' formula states that $k = \lceil γ(G) \rceil$, where $γ(G)$ is the maximum of ${|E_H|}/(|V_H| -1)$ over all subgraphs $(V_H, E_H)$ of $G$ with $|V_H| \geq 2$.
The Strong Nine Dragon Tree Conjecture states that if $γ(G) \leq k + \frac{d}{d+k+1}$ for…
▽ More
The arboricity $Γ(G)$ of an undirected graph $G = (V,E)$ is the minimal number such that $E$ can be partitioned into $Γ(G)$ forests. Nash-Williams' formula states that $k = \lceil γ(G) \rceil$, where $γ(G)$ is the maximum of ${|E_H|}/(|V_H| -1)$ over all subgraphs $(V_H, E_H)$ of $G$ with $|V_H| \geq 2$.
The Strong Nine Dragon Tree Conjecture states that if $γ(G) \leq k + \frac{d}{d+k+1}$ for $k, d \in \mathbb N_0$, then there is a partition of the edge set of $G$ into $k+1$ forests such that one forest has at most $d$ edges in each connected component.
We settle the conjecture for $d \leq k + 1$. For $d \leq 2(k+1)$, we cannot prove the conjecture, however we show that there exists a partition in which the connected components in one forest have at most $d + \lceil k \cdot \frac{d}{k+1} \rceil - k$ edges.
As an application of this theorem, we show that every $5$-edge-connected planar graph $G$ has a $\frac{5}{6}$-thin spanning tree. This theorem is best possible, in the sense that we cannot replace $5$-edge-connected with $4$-edge-connected, even if we replace $\frac{5}{6}$ with any positive real number less than $1$. This strengthens a result of Merker and Postle which showed $6$-edge-connected planar graphs have a $\frac{18}{19}$-thin spanning tree.
△ Less
Submitted 28 July, 2023; v1 submitted 12 August, 2022;
originally announced August 2022.
