arXiv++ Combinatorics

Given a simple graph $G$, its line graph, denoted by $L(G)$, is obtained by representing each edge of $G$ as a vertex, with two vertices in $L(G)$ adjacent whenever the corresponding edges in $G$ share a common endpoint. By applying the line graph operation repeatedly, we obtain higher order line graphs, denoted by $L^{r}(G)$. In other words, $L^{0}(G) = G$, and for any integer $r \ge 1$, $L^{r}(G) = L(L^{r-1}(G))$. Given a graph $G$ on $n$ vertices, we wish to efficiently find out (i) if $L^k(G)$ has an Euler path, (ii) the value of $Δ(L^k(G))$. Note that the size of a higher order line graph could be much larger than that of $G$. For the first question, we show that for a graph $G$ with $n$ vertices and $m$ edges the largest $k$ where $L^k(G)$ has an Euler path satisfies $k = \mathcal O(nm)$. We also design an $\mathcal{O}(n^2m)$-time algorithm to output all $k$ such that $L^k(G)$ has an Euler path. For the second question, we study the growth of maximum degree of $L^k(G)$, $k \ge 0$. It is easy to calculate $Δ(L^k(G))$ when $G$ is a path, cycle or a claw. Any other connected graph is called a prolific graph and we denote the set of all prolific graphs by $\mathcal G$. We extend the works of Hartke and Higgins to show that for any prolific graph $G$, there exists a constant rational number $dgc(G)$ and an integer $k_0$ such that for all $k \ge k_0$, $Δ(L^k(G)) = dgc(G) \cdot 2^{k-4} + 2$. We show that $\{dgc(G) \mid G \in \mathcal G\}$ has first, second, third, fourth and fifth minimums, namely, $c_1 = 3$, $c_2 = 4$, $c_3 = 5.5$, $c_4 = 6$ and $c_5=7$; the third minimum stands out surprisingly from the other four. Moreover, for $i \in \{1, 2, 3, 4\}$, we provide a complete characterization of $\mathcal G_i = \{dgc(G) = c_i \mid G \in \mathcal G \}$. Apart from this, we show that the set $\{dgc(G) \mid G \in \mathcal G, 7 < dgc(G) < 8\}$ is countably infinite.

Let $G$ be a simple finite connected graph. The line graph $L(G)$ of graph $G$ is the graph whose vertices are the edges of $G$, where $ef \in E(L(G))$ when $e \cap f \neq \emptyset$. Iteratively, the higher order line graphs are defined inductively as $L^1(G) = L(G)$ and $L^n(G) = L(L^{n-1}(G))$ for $n \geq 2$. In [Derived graphs and digraphs, Beitrage zur Graphentheorie (Teubner, Leipzig 1968), 17--33 (1968)], Beineke characterize line graphs in terms of nine forbidden subgraphs. Inspired by this result, in this paper, we characterize second order line graphs in terms of pure forbidden induced subgraphs. We also give a sufficient list of forbidden subgraphs for a graph $G$ such that $G$ is a higher order line graph. We characterize all order line graphs of graph $G$ with $Δ(G) = 3$ and $4$.