arXiv++ Combinatorics

Connectivity is a cornerstone concept in graph theory, essential for evaluating the robustness of networks against failures. To better capture fault tolerance in complex systems, researchers have extended classical connectivity notions, one such extension being the $k$-path-connectivity, $π_k(G)$, introduced by Hager. Given a connected simple graph $G = (V, E)$ and a subset $D \subseteq V$ with $|D| \geq 2$, a $D$-path is a path that includes all vertices in $D$. A collection of such paths is internally disjoint if they intersect only at the vertices of $D$ and share no edges. The maximum number of internally disjoint $D$-paths in $G$ is denoted $π_G(D)$, and the $k$-path-connectivity is defined as $π_k(G) = \min \{ π_G(D) \mid D \subseteq V(G),\ |D| = k\}$. In this paper, we investigate the 3-path-connectivity of the augmented cube $AQ_n$, a variant of the hypercube known for its enhanced symmetry and fault-tolerant structure. We establish the exact value of $π_3(AQ_n)$ and show that: $$ π_3(AQ_n) = \begin{cases} \frac{3n}{2} - 2, & \text{if } n \text{ is even}, \frac{3(n - 1)}{2} - 1, & \text{if } n \text{ is odd}. \end{cases} $$

A set of \( k \) spanning trees in a graph \( G \) is called a set of \textit{completely independent spanning trees (CISTs)} if, for every pair of vertices \( x \) and \( y \), the paths connecting \( x \) and \( y \) across different trees do not share any vertices or edges, except for \( x \) and \( y \) themselves. Hasunuma conjectured that every \(2k\)-connected graph contains exactly \(k\) completely independent spanning trees (CISTs). However, Pétérfalvi disproved this conjecture. When \( k = 2 \), the two CISTs are called a \textit{dual-CIST}. It has been shown that determining whether a graph can have \( k \) CISTs is an NP-complete problem, even when \( k = 2 \). In $2017$, Darties et al. raised the question of whether the $6-$dimensional hypercube \( Q_6 \) can have three completely independent spanning trees (CISTs). This paper provides an answer to that question. In this paper, we first present a necessary condition for \( k \)-regular, \( k \)-connected bipartite graphs to have \( \left\lfloor \frac{k}{2} \right\rfloor \) CISTs. We also investigate that the hypercube of dimension \( n \) cannot have \( \frac{n}{2} \) CISTs, which means Hasunuma's conjecture does not hold for the hypercube \( Q_n \) when \( n \) is an even integer \(2 < n \leq 10^7 \), except when \(n = 2^r\) and \( n \in \{161038, 215326, 2568226, 3020626, 7866046, 9115426 \} \). This result also resolves a question posed by Darties et al. The construction of multiple CISTs on the underlying graph of a network has practical applications in ensuring the fault tolerance of data transmission. In this context, we also provide a construction for three completely independent spanning trees in the hypercube \(Q_n\) for \(n \geq 7\). Our results show that Hasunuma's conjecture holds for odd integer \(n = 7\) in \(Q_n\), but does not hold for even integer \(n = 6\).

The Steiner tree problem in graphs has applications in network design or circuit layout. Given a set $S$ of vertices, $|S| \geq 2,$ a tree connecting all vertices of $S$ is called an $S$-Steiner tree (tree connecting $S$). The reliability of a network $G$ to connect any $S$ vertices ($|S|$ number of vertices) in $G$ can be measure by this parameter. For an $S$-Steiner tree, if the degree of each vertex in $S$ is equal to one, then that tree is called a pendant S-Steiner tree. Two pendant $S$-Steiner trees $T$ and $T'$ are said to be internally disjoint if $E(T) \cap E(T') = \emptyset$ and $V(T) \cap V(T') = S.$ The local pendant tree-connectivity $τ_{G}(S)$ is the maximum number of internally disjoint pendant $S$-Steiner trees in $G.$ For an integer $k$ with $2 \leq k \leq n,$ the pendant k-tree-connectivity is defined as $τ_{k}(G) = min\{ τ_{G}(S) : S \subseteq V(G), |S| = k\}.$ In this paper, we study the pendant $3$-tree connectivity of Augmented cubes which are modifications of hypercubes invented to increase the connectivity and decrease the diameter hence superior to hypercubes. We show that $τ_3(AQ_n) = 2n-3.$ , which attains the upper bound of $τ_3(G)$ given by Hager, for $G = AQ_n$.

In this paper, we consider the problem of decomposing the augmented cube $AQ_n$ into two spanning, regular, connected and pancyclic subgraphs. We prove that for $ n \geq 4$ and $ 2n - 1 = n_1 + n_2 $ with $ n_1, n_2 \geq 2,$ the augmented cube $ AQ_n$ can be decomposed into two spanning subgraphs $ H_1$ and $ H_2$ such that each $ H_i$ is $n_i$-regular and $n_i$-connected. Moreover, $H_i$ is $4$-pancyclic if $ n_i \geq 3.$

Let T1, T2,..., Tk be spanning trees in a graph G. If for any pair of vertices {u, v} of G, the paths between u and v in every Ti( 0 < i < k+1) do not contain common edges and common vertices, except the vertices u and v, then T1, T2,..., Tk are called completely independent spanning trees in G. The n-dimensional augmented cube, denoted as AQn, a variation of the hypercube possesses several embeddable properties that the hypercube and its variations do not possess. For AQn (n > 5), construction of 4 completely independent spanning trees of which two trees with diameters 2n - 5 and two trees with diameters 2n - 3 are given.