arXiv++ Combinatorics

We extend the notion of nonbacktracking walks from unweighted graphs to graphs whose edges have a nonnegative weight. Here the weight associated with a walk is taken to be the product over the weights along the individual edges. We give two ways to compute the associated generating function, and corresponding node centrality measures. One method works directly on the original graph and one uses a line graph construction followed by a projection. The first method is more efficient, but the second has the advantage of extending naturally to time-evolving graphs. Computational results are also provided.

We prove that every 52-connected line graph of a rank 3 hypergraph is Hamiltonian. This is the first result of this type for hypergraphs of bounded rank other than ordinary graphs.

A Toeplitz graph $T_n \langle t_1,t_2,\ldots,t_k\rangle$ is a simple graph with the vertex set $[n]$ such that two vertices $v$ and $w$ are adjacent if and only if $|v-w| = t_i$ for some $i \in [k]$. In this paper, we investigate line Toeplitz graphs, which are Toeplitz graphs that happen to be line graphs. We first show that for a sufficiently large $n$, the family of claw-free Toeplitz graphs of order $n$ is $T_n \langle t,2t,\ldots,kt\rangle$ for some nonnegative integers $t$ and $k$. Interestingly, this family consists of a union of Toeplitz graphs each of which is isomorphic to a $k$-tree the notion of which was introduced by Patil in 1986. Then we completely characterize $T_n \langle t,2t,\ldots,kt\rangle$ for any positive integer $n$ that is a line graph. Furthermore, we provide a comprehensive description of a line Toeplitz graph $T_n \langle t_1,t_2\rangle$ and $T_n \langle t_1,t_2,t_3\rangle$. In general, line Toeplitz graph seems very challenging to characterize completely. Even for $T_n \langle t_1,t_2,t_3\rangle$, it was not easy to do so. It is also worth mentioning that there is a line Toeplitz graph that is not in the form $T_n \langle t,2t,3t\rangle$.

The `Conflict-Free Open (Closed) Neighborhood coloring', abbreviated CFON (CFCN) coloring, of a graph $G$ using $r$ colors is a coloring of the vertices of $G$ such that every vertex sees some color exactly once in its open (closed) neighborhood. The minimum $r$ such that $G$ has a CFON (CFCN) coloring using $r$ colors is called the `CFON chromatic number' (`CFCN chromatic number') of $G$. This is denoted by $χ_{CF}^{ON}(G)$ ($χ_{CF}^{CN}(G)$). D\k ebski and Przybyło in [J. Graph Theory, 2021] showed that if $G$ is a line graph with maximum degree $Δ$, then $χ_{CF}^{CN}(G) = O(\ln Δ)$. As an open question, they asked if the result could be extended to claw-free ($K_{1,3}$-free) graphs, which are a superclass of line graphs. For $k\geq 3$, we show that if $G$ is $K_{1,k}$-free, then $χ_{CF}^{ON}(G) = O(k^2\ln Δ)$. Since it is known that the CFCN chromatic number of a graph is at most twice its CFON chromatic number, this answers the question posed by Dębski and Przybyło.

We prove Gebhard and Sagan's $(e)$-positivity of the line graphs of tadpoles in noncommuting variables. This implies the $e$-positivity of these line graphs. We then extend this $(e)$-positivity result to that of certain cycle-chord graphs, and derive the bivariate generating function of all cycle-chord graphs.

In this paper, we are concerned with mean hitting time $\langle\mathcal{H}\rangle$ for random walks on recursive growth tree networks that are built based on an arbitrary tree as the seed via implementing various primitive graphic operations, and propose a series of combinatorial techniques that are called Mapping Transformation to exactly determine the associated $\langle\mathcal{H}\rangle-$polynomial. Our formulas can be able to completely cover the previously published results in some well-studied and specific cases where a single edge or a star is often chose to serve as seed for creating recursive growth models. The techniques proposed are more convenient than the commonly-used spectral methods mainly because of getting around the operations of matrix inversion and multiplication. Accordingly, our results can be extended for both many other stochastic models including BA-scale-free tree and random uniform tree as well as graphs of great interest consisting of line graph of tree and Vicsek fractal network to derive numerical solutions of related structural parameters. And then, the closed-form solutions of two extensions of Wiener index with respect to multiplicative and additive degrees on an arbitrary tree are conveniently obtained as well. In addition, we discuss some extremal problems of random walks on tree networks and outline the related research directions in the next step.

A strong edge-coloring $\varphi$ of a graph $G$ assigns colors to edges of $G$ such that $\varphi(e_1)\ne \varphi(e_2)$ whenever $e_1$ and $e_2$ are at distance no more than 1. It is equivalent to a proper vertex coloring of the square of the line graph of $G$. In 1990 Faudree, Schelp, Gyárfás, and Tuza conjectured that if $G$ is a bipartite graph with maximum degree 3 and sufficiently large girth, then $G$ has a strong edge-coloring with at most 5 colors. In 2021 this conjecture was disproved by Lužar, Mačajová, Škoviera, and Soták. Here we give an alternative construction to disprove the conjecture.

This paper deals with the $λ$-labeling and $L(2,1)$-coloring of simple graphs. A $λ$-labeling of a graph $G$ is any labeling of the vertices of $G$ with different labels such that any two adjacent vertices receive labels which differ at least two. Also an $L(2,1)$-coloring of $G$ is any labeling of the vertices of $G$ such that any two adjacent vertices receive labels which differ at least two and any two vertices with distance two receive distinct labels. Assume that a partial $λ$-labeling $f$ is given in a graph $G$. A general question is whether $f$ can be extended to a $λ$-labeling of $G$. We show that the extension is feasible if and only if a Hamiltonian path consistent with some distance constraints exists in the complement of $G$. Then we consider line graph of bipartite multigraphs and determine the minimum number of labels in $L(2,1)$-coloring and $λ$-labeling of these graphs. In fact we obtain easily computable formulas for the path covering number and the maximum path of the complement of these graphs. We obtain a polynomial time algorithm which generates all Hamiltonian paths in the related graphs. A special case is the Cartesian product graph $K_n\Box K_n$ and the generation of $λ$-squares.

A coloring is distinguishing (or symmetry breaking) if no non-identity automorphism preserves it. The distinguishing threshold of a graph $G$, denoted by $θ(G)$, is the minimum number of colors $k$ so that every $k$-coloring of $G$ is distinguishing. We generalize this concept to edge-coloring by defining an alternative index $θ'(G)$. We consider $θ'$ for some families of graphs and find its connection with edge-cycles of the automorphism group. Then we show that $θ'(G)=2$ if and only if $G\simeq K_{1,2}$ and $θ'(G)=3$ if and only if $G\simeq P_4, K_{1,3}$ or $K_3$. Moreover, we prove some auxiliary results for graphs whose distinguishing threshold is 3 and show that although there are infinitely many such graphs, but they are not line graphs. Finally, we compute $θ'(G)$ when $G$ is the Cartesian product of simple prime graphs.

For a list assignment $L$ and an $L$-coloring $\varphi$, a Kempe swap in $\varphi$ is \emph{$L$-valid} if it yields another $L$-coloring. Two $L$-colorings are \emph{$L$-equivalent} if we can form one from another by a sequence of $L$-valid Kempe swaps. And a graph $G$ is \emph{$L$-swappable} if every two of its $L$-colorings are $L$-equivalent. We consider $L$-swappability of line graphs of planar graphs with large maximum degree. Let $G$ be a planar graph with $Δ(G)\ge 9$ and let $H$ be the line graph of $G$. If $L$ is a $(Δ(G)+1)$-assignment to $H$, then $H$ is $L$-swappable. Let $G$ be a planar graph with $Δ(G)\ge 15$ and let $H$ be the line graph of $G$. If $L$ is a $Δ(G)$-assignment to $H$, then $H$ is $L$-swappable. The first result is analogous to one for $L$-choosability by Borodin, which was later strengthened by Bonamy. The second result is analogous to another for $L$-choosability by Borodin, which was later strengthened by Borodin, Kostochka, and Woodall.

An orthogonal representation of a graph $G$ over a field $\mathbb{F}$ is an assignment of a vector $u_v \in \mathbb{F}^t$ to every vertex $v$ of $G$, such that $\langle u_v,u_v \rangle \neq 0$ for every vertex $v$ and $\langle u_v,u_{v'} \rangle = 0$ whenever $v$ and $v'$ are adjacent in $G$. The locality of the orthogonal representation is the largest dimension of a subspace spanned by the vectors associated with a closed neighborhood in the graph. We introduce a novel graph parameter, called the local orthogonality dimension, defined for a given graph $G$ and a given field $\mathbb{F}$, as the smallest possible locality of an orthogonal representation of $G$ over $\mathbb{F}$. We investigate the usefulness of topological methods for proving lower bounds on the local orthogonality dimension. We prove that graphs for which topological methods imply a lower bound of $t$ on their chromatic number have local orthogonality dimension at least $\lceil t/2 \rceil +1$ over every field, strengthening a result of Simonyi and Tardos on the local chromatic number. We show that for certain graphs this lower bound is tight, whereas for others, the local orthogonality dimension over the reals is equal to the chromatic number. More generally, we prove that for every complement of a line graph, the local orthogonality dimension over $\mathbb{R}$ coincides with the chromatic number. This strengthens a recent result by Daneshpajouh, Meunier, and Mizrahi, who proved that the local and standard chromatic numbers of these graphs are equal. As another extension of their result, we prove that the local and standard chromatic numbers are equal for some additional graphs, from the family of Kneser graphs. We also show an $\mathsf{NP}$-hardness result for the local orthogonality dimension and present an application of this graph parameter to the index coding problem from information theory.

For a non-negative integer $s\le |V(G)|-3$, a graph $G$ is $s$-Hamiltonian if the removal of any $k\le s$ vertices results in a Hamiltonian graph. Given a connected simple graph $G$ that is not isomorphic to a path, a cycle, or a $K_{1,3}$, let $δ(G)$ denote the minimum degree of $G$, let $h_s(G)$ denote the smallest integer $i$ such that the iterated line graph $L^{i}(G)$ is $s$-Hamiltonian, and let $\ell(G)$ denote the length of the longest non-closed path $P$ in which all internal vertices have degree 2 such that $P$ is not both of length 2 and in a $K_3$. For a simple graph $G$, we establish better upper bounds for $h_s(G)$ as follows. \begin{equation*} h_s(G)\le \left\{ \begin{aligned} & \ell(G)+1, &&\mbox{ if }δ(G)\le 2 \mbox{ and }s=0;\\ & \widetilde d(G)+2+\lceil \lg (s+1)\rceil, &&\mbox{ if }δ(G)\le 2 \mbox{ and }s\ge 1;\\ & 2+\left\lceil\lg\frac{s+1}{δ(G)-2}\right\rceil, && \mbox{ if } 3\leδ(G)\le s+2;\\ & 2, &&{\rm otherwise}, \end{aligned} \right. \end{equation*} where $\widetilde d(G)$ is the smallest integer $i$ such that $δ(L^i(G))\ge 3$. Consequently, when $s \ge 6$, this new upper bound for the $s$-hamiltonian index implies that $h_s(G) = o(\ell(G)+s+1)$ as $s \to \infty$. This sharpens the result, $h_s(G)\le\ell(G)+s+1$, obtained by Zhang et al. in [Discrete Math., 308 (2008) 4779-4785].

A radio labeling of a graph $G$ is a mapping $f$ : $V(G) \rightarrow \{0, 1, 2,...\}$ such that $|f(u)-f(v)| \geq diam(G) + 1 - d(u,v)$ holds for every pair of vertices $u$ and $v$, where $diam(G)$ is the diameter of $G$ and $d(u,v)$ is the distance between $u$ and $v$ in $G$. The radio number of $G$, denoted by $rn(G)$, is the smallest $t$ such that $G$ admits a radio labeling with $t=\max\{|f(v)-f(u)|: v, u \in V(G)\}$. A block graph is a graph such that each block (induced maximal 2-connected subgraph) is a complete graph. In this paper, a lower bound for the radio number of block graphs is established. The block graph which achieves this bound is called a lower bound block graph. We prove three necessary and sufficient conditions for lower bound block graphs. Moreover, we give three sufficient conditions for a graph to be a lower bound block graph. Applying the established bound and conditions, we show that several families of block graphs are lower bound block graphs, including the level-wise regular block graphs and the extended star of blocks. The line graph of a graph $G(V,E)$ has $E(G)$ as the vertex set, where two vertices are adjacent if they are incident edges in $G$. We extend our results to trees as trees and its line graphs are block graphs. We prove that if a tree is a lower bound block graph then, under certain conditions, its line graph is also a lower bound block graph, and vice versa. Consequently, we show that the line graphs of many known lower bound trees, excluding paths, are lower bound block graphs.

The distance eigenvalues of a connected graph $G$ are the eigenvalues of its distance matrix $D(G)$. A graph is called distance integral if all of its distance eigenvalues are integers. Let $n \geq 3$ be an integer. A crown graph $Cr(n)$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. Let $L(Cr(n))$ denote the line graph of the crown graph $Cr(n)$. In this paper, by using the orbit partition method in algebraic graph theory, we determine the set of all distance eigenvalues of $L(Cr(n))$ and show that this graph is distance integral.

We describe all the trees with the property that the corresponding edge ideal of their line graph has a linear resolution. As a consequence, we give a complete characterization of those trees $T$ for which the line graph $L(T)$ is co-chordal. We also compute the second Betti number of the edge ideal of $L(T)$ and we determine the number of cycles in $\overline{L(T)}$. As a consequence, we obtain also the first Zagreb index of a graph. For edge ideals of line graphs of caterpillar graphs we determine the Krull dimension, the Castelnuovo-Mumford regularity, and the projective dimension under some additional assumption on the degrees of the cutpoints.

Let $L_n$ be a line graph with $n$ edges and $\F(L_n)$ the facet ideal of its matching complex. In this paper, we provide the irreducible decomposition of $\F(L_n)$ and some exact formulas for the projective dimension and the regularity of $\F(L_n)$.

An open question in the theory of word-representable graphs for the past decade has been whether the line graph of a non-word-representable graph is always non-word-representable. By formulating an appropriate optimization problem for the decision problem of 3-semi-transitive graphs, we show that the line graph of a non-word-representable graph can be word-representable. Using IBM's CPLEX solver, we demonstrate for several known word-representable and non-word-representable graphs that the line graph of a graph is 3-semi-transitive when there is a solution to the optimization problem. This results in an example where the line graph of a non-word-representable graph is both 3-semi-transitive and semi-transitive and thus is word-representable.

This paper is motivated by the following question: what are the unavoidable induced subgraphs of graphs with large treewidth? Aboulker et al. made a conjecture which answers this question in graphs of bounded maximum degree, asserting that for all $k$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of the $(k\times k)$-wall or the line graph of a subdivision of the $(k\times k)$-wall as an induced subgraph. We prove two theorems supporting this conjecture, as follows. 1. For $t\geq 2$, a $t$-theta is a graph consisting of two nonadjacent vertices and three internally disjoint paths between them, each of length at least $t$. A $t$-pyramid is a graph consisting of a vertex $v$, a triangle $B$ disjoint from $v$ and three paths starting at $v$ and disjoint otherwise, each joining $v$ to a vertex of $B$, and each of length at least $t$. We prove that for all $k,t$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a $t$-theta, or a $t$-pyramid, or the line graph of a subdivision of the $(k\times k)$-wall as an induced subgraph. This affirmatively answers a question of Pilipczuk et al. asking whether every graph of bounded maximum degree and sufficiently large treewidth contains either a theta or a triangle as an induced subgraph (where a theta means a $t$-theta for some $t\geq 2$). 2. A subcubic subdivided caterpillar is a tree of maximum degree at most three whose all vertices of degree three lie on a path. We prove that for every $Δ$ and subcubic subdivided caterpillar $T$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of $T$ or the line graph of a subdivision of $T$ as an induced subgraph.

We consider the following feasibility problem: given an integer $n \geq 1$ and an integer $m$ such that $0 \leq m \leq \binom{n}{2}$, does there exist a line graph $L = L(G)$ with exactly $n$ vertices and $m$ edges ? We say that a pair $(n,m)$ is non-feasible if there exists no line graph $L(G)$ on $n$ vertices and $m$ edges, otherwise we say $(n,m)$ is a feasible pair. Our main result shows that for fixed $n\geq 5$, the values of $m$ for which $(n, m)$ is a non-feasible pair, form disjoint blocks of consecutive integers which we completely determine. On the other hand we prove, among other things, that for the more general family of claw-free graphs (with no induced $K_{1,3}$-free subgraph), all $(n,m)$-pairs in the range $0 \leq m \leq \binom{n}{2}$ are feasible pairs.

Hadwiger's conjecture is one of the most important and long-standing conjectures in graph theory. Reed and Seymour showed in 2004 that Hadwiger's conjecture is true for line graphs. We investigate this conjecture on the closely related class of total graphs. The total graph of $G$, denoted by $T(G)$, is defined on the vertex set $V(G)\sqcup E(G)$ with $c_1,c_2\in V(G)\sqcup E(G)$ adjacent whenever $c_1$ and $c_2$ are adjacent to or incident on each other in $G$. We first show that there exists a constant $C$ such that, if the connectivity of $G$ is at least $C$, then Hadwiger's conjecture is true for $T(G)$. The total chromatic number $χ"(G)$ of a graph $G$ is defined to be equal to the chromatic number of its total graph. That is, $χ"(G)=χ(T(G))$. Another well-known conjecture in graph theory, the total coloring conjecture or TCC, states that for every graph $G$, $χ"(G)\leqΔ(G)+2$, where $Δ(G)$ is the maximum degree of $G$. We show that if a weaker version of the total coloring conjecture (weak TCC) namely, $χ"(G)\leqΔ(G)+3$, is true for a class of graphs $\mathcal{F}$ that is closed under the operation of taking subgraphs, then Hadwiger's conjecture is true for the class of total graphs of graphs in $\mathcal{F}$. This motivated us to look for classes of graphs that satisfy weak TCC. It may be noted that a complete proof of TCC for even 4-colorable graphs (in fact even for planar graphs) has remained elusive even after decades of effort; but weak TCC can be proved easily for 4-colorable graphs. We noticed that in spite of the interest in studying $χ"(G)$ in terms of $χ(G)$ right from the initial days, weak TCC is not proven to be true for $k$-colorable graphs even for $k=5$. In the second half of the paper, we make a contribution to the literature on total coloring by proving that $χ"(G)\leqΔ(G)+3$ for every 5-colorable graph $G$.