arXiv++ Combinatorics

The celebrated Nash-Williams and Tutte's theorem states that a graph $G=(V, E)$ contains $k$ edge disjoint spanning trees if and only if $ν_{f}(G) \geq k$, where $$ν_{f}(G):=\min_{|\mathcal{\mathcal{P}}|>1, \text{$\mathcal{P}$ is a partition of $V(G)$}}\frac{|E( \mathcal{P})|}{|\mathcal{P}|-1}.$$ Inspired by the NDT theorem as structural explanations for the fractional part of Nash-Williams' forest decomposition theorem, Fang and Yang extended Nash-Williams and Tutte's theorem and proved that if $ν_{f}(G) > k+ \frac{d-1}{d}$, then $G$ contains $k$ edge disjoint spanning trees and another forest $F$ with $ |E(F)|> \frac{d-1}{d} (|V(G)|-1)|$, and if $F$ is not a spanning tree, then $F$ has a component with at least $d$ edges. In this paper, we give a digraphic version of their result; however, the mixed graphic version remains open.

Recently, a couple of degree-based topological indices, defined using a geometrical point of view of a graph edge, have attracted significant attention and being extensively investigated. Furtula and Oz [Complementary Topological Indices, \textit{MATCH Commun. Math. Comput. Chem.\/} \textbf{93} (2025) 247--263] introduced a novel approach for devising ``geometrical'' topological indices and focused special attention on the complementary second Zagreb index as a representation of the introduced approach. In the same paper, they also conjectured the maximal graphs of order $n$ with the maximum complementary second Zagreb index. In this paper, we confirm their conjecture.

In this paper, we solve a conjecture by Szigeti in [Matroid-rooted packing of arborescences, submitted], which characterizes a mixed hypergraph $\mathcal{F}=(V, \mathcal{E} \cup \mathcal{A})$ having an orientation $\overrightarrow{\mathcal{E}}$ of $\mathcal{E}$ such that $e_{\overrightarrow{\mathcal{E}} \cup \mathcal{A}} (\mathcal{P}) \geq \sum_{X \in \mathcal{P}}h(X) -b(\cup \mathcal{P})$ for every subpartition $\mathcal{P}$ of $V$, where $h$ is an integer-valued, intersecting supermodular function on $V$ and $b$ a submodular function on $V$. As a corollary, another conjecture in the same paper is confirmed, which characterizes a mixed hypergraph having a packing of mixed hyperarborescences such that their roots form a basis in a given matroid, each vertex $v$ belongs to exactly $k$ of them and is the root of at least $f(v)$ and at most $g(v)$ of them.

The fractional arboricity of a digraph $D$, denoted by $γ(D)$, is defined as $γ(D)= \max_{H \subseteq D, |V(H)| >1} \frac {|A(H)|} {|V(H)|-1}$. Frank in [Covering branching, Acta Scientiarum Mathematicarum (Szeged) 41 (1979), 77-81] proved that a digraph $D$ decomposes into $k$ branchings, if and only if $Δ^{-}(D) \leq k$ and $γ(D) \leq k$. In this paper, we study digraph analogues for the Nine Dragon Tree Conjecture. We conjecture that, for positive integers $k$ and $d$, if $D$ is a digraph with $γ(D) \leq k + \frac{d-k}{d+1}$ and $Δ^{-}(D) \leq k+1$, then $D$ decomposes into $k + 1$ branchings $B_{1}, \ldots, B_{k}, B_{k+1}$ with $Δ^{+}(B_{k+1}) \leq d$. This conjecture, if true, is a refinement of Frank's characterization. A series of acyclic bipartite digraphs is also presented to show the bound of $γ(D)$ given in the conjecture is best possible. We prove our conjecture for the cases $d \leq k$. As more evidence to support our conjecture, we prove that if $D$ is a digraph with the maximum average degree $mad(D)$ $\leq$ $2k + \frac{2(d-k)}{d+1}$ and $Δ^{-}(D) \leq k+1$, then $D$ decomposes into $k + 1$ pseudo-branchings $C_{1}, \ldots, C_{k}, C_{k+1}$ with $Δ^{+}(C_{k+1}) \leq d$.

In this paper, we characterize a mixed graph $F$ which contains $k$ edge and arc disjoint spanning mixed arborescences $F_{1}, \ldots, F_{k}$, such that for each $v \in V(F)$, the cardinality of $\{i \in [k]: v \text{ is the root of } F_{i}\}$ lies in some prescribed interval. This generalizes both Nash-Williams and Tutte's theorem on spanning tree packing for undirected graphs and the previous characterization on digraphs which was given by Cai [in: Arc-disjoint arborescences of digraphs, J. Graph Theory 7(2) (1983), 235-240] and Frank [in: On disjoint trees and arborescences, Algebraic Methods in Graph Theory, Colloquia Mathematica Soc. J. Bolyai, Vol. 25 (North-Holland, Amsterdam) (1978), 159-169].

Király in [On maximal independent arborescence packing, SIAM J. Discrete. Math. 30 (4) (2016), 2107-2114] solved the following packing problem: Given a digraph $D = (V, A)$, a matroid $M$ on a set $S = \{s_{1}, \ldots,s_{k} \}$ along with a map $π: S \rightarrow V$, find $k$ arc-disjoint maximal arborescences $T_{1}, \ldots ,T_{k}$ with roots $π(s_{1}), \ldots ,π(s_{k})$, such that, for any $v \in V$, the set $\{s_{i} : v \in V(T_{i})\}$ is independent and its rank reaches the theoretical maximum. In this paper, we give a new characterization for packing of maximal independent mixed arborescences under matroid constraints. This new characterization is simplified to the form of finding a supermodular function that should be covered by an orientation of each strong component of a matroid-based rooted mixed graph. Our proofs come along with a polynomial-time algorithm. Note that our new characterization extends Király's result to mixed graphs, this answers a question that has already attracted some attentions.

Edmonds' fundamental theorem on arborescences characterizes the existence of $k$ pairwise arc-disjoint spanning arborescences with prescribed root sets in a digraph. In this paper, we study the problem of packing branchings in digraphs under cardinality constraints on their root sets by arborescence augmentation. Let $D=(V+x,A)$ be a digraph, $\mathcal{P}=$ $\{I_{1}, \ldots, I_{l} \}$ be a partition of $[k]$, $c_{1}, \ldots, c_{l}, c'_{1}, \ldots, c'_{l}$ be nonnegative integers such that $c_α \leq c'_α$ for $α\in [l]$, $F_{1}, \ldots, F_{k}$ be $k$ arc-disjoint $x$-arborescences in $D$ such that $\sum_{i \in I_α}d_{F_{i}}^{+}(x)$ $\leq c'_α$ for $α\in [l]$. We give a characterization on when $F_{1}, \ldots, F_{k}$ can be completed to arc-disjoint spanning $x$-arborescences $F^{*}_{1}, \ldots, F^{*}_{k}$ such that for any $α\in [l]$, $ c_α \leq \sum_{i \in I_α}d^{+}_{F^{*}_{i}}(x)$ $ \leq c'_α$.

The generalized $k$-connectivity $κ_{k}(G)$ of a graph $G$, which was introduced by Chartrand et al.(1984) is a generalization of the concept of vertex connectivity. Let $G$ and $H$ be nontrivial connected graphs. Recently, Li et al. gave a lower bound for the generalized $3$-connectivity of the Cartesian product graph $G \square H$ and proposed a conjecture for the case that $H$ is $3$-connected. In this paper, we give two different forms of lower bounds for the generalized $3$-connectivity of Cartesian product graphs. The first lower bound is stronger than theirs, and the second confirms their conjecture.