arXiv++ Combinatorics

Given a graph G, its triangular line graph is the graph T(G) with vertex set consisting of the edges of G and adjacencies between edges that are incident in G as well as being within a common triangle. Graphs with a representation as the triangular line graph of some graph G are triangular line graphs, which have been studied under many names including anti-Gallai graphs, 2-in-3 graphs, and link graphs. While closely related to line graphs, triangular line graphs have been difficult to understand and characterize. Van Bang Le asked if recognizing triangular line graphs has an efficient algorithm or is computationally complex. We answer this question by proving that the complexity of recognizing triangular line graphs is NP-complete via a reduction from 3-SAT.

An equivalence graph is a disjoint union of cliques, and the equivalence number $\mathit{eq}(G)$ of a graph $G$ is the minimum number of equivalence subgraphs needed to cover the edges of $G$. We consider the equivalence number of a line graph, giving improved upper and lower bounds: $\frac 13 \log_2\log_2 χ(G) < \mathit{eq}(L(G)) \leq 2\log_2\log_2 χ(G) + 2$. This disproves a recent conjecture that $\mathit{eq}(L(G))$ is at most three for triangle-free $G$; indeed it can be arbitrarily large. To bound $\mathit{eq}(L(G))$ we bound the closely-related invariant $σ(G)$, which is the minimum number of orientations of $G$ such that for any two edges $e,f$ incident to some vertex $v$, both $e$ and $f$ are oriented out of $v$ in some orientation. When $G$ is triangle-free, $σ(G)=\mathit{eq}(L(G))$. We prove that even when $G$ is triangle-free, it is NP-complete to decide whether or not $σ(G)\leq 3$.

We propose a new algorithm MARINLINGA for reverse line graph computation, i.e., constructing the original graph from a given line graph. Based on the completely new and simpler principle of link relabeling and endnode recognition, MARINLINGA does not rely on Whitney's theorem while all previous algorithms do. MARINLINGA has a worst case complexity of O(N^2), where N denotes the number of nodes of the line graph. We demonstrate that MARINLINGA is more time-efficient compared to Roussopoulos's algorithm, which is well-known for its efficiency.

A path in an edge-colored graph $G$, where adjacent edges may be colored the same, is called a rainbow path if no two edges of it are colored the same. A nontrivial connected graph $G$ is rainbow connected if for any two vertices of $G$ there is a rainbow path connecting them. The rainbow connection number of $G$, denoted by $rc(G)$, is defined as the smallest number of colors by using which there is a coloring such that $G$ is rainbow connected. In this paper, we mainly study the rainbow connection number of the line graph of a graph which contains triangles and get two sharp upper bounds for $rc(L(G))$, in terms of the number of edge-disjoint triangles of $G$ where $L(G)$ is the line graph of $G$. We also give results on the iterated line graphs.

In a seminal paper, Alon and Tarsi have introduced an algebraic technique for proving upper bounds on the choice number of graphs (and thus, in particular, upper bounds on their chromatic number). The upper bound on the choice number of $G$ obtained via their method, was later coined the \emph{Alon-Tarsi number of $G$} and was denoted by $AT(G)$. They have provided a combinatorial interpretation of this parameter in terms of the eulerian subdigraphs of an appropriate orientation of $G$. Their characterization can be restated as follows. Let $D$ be an orientation of $G$. Assign a weight $ω_D(H)$ to every subdigraph $H$ of $D$: if $H \subseteq D$ is eulerian, then $ω_D(H) = (-1)^{e(H)}$, otherwise $ω_D(H) = 0$. Alon and Tarsi proved that $AT(G) \leq k$ if and only if there exists an orientation $D$ of $G$ in which the out-degree of every vertex is strictly less than $k$, and moreover $\sum_{H \subseteq D} ω_D(H) \neq 0$. Shortly afterwards, for the special case of line graphs of $d$-regular $d$-edge-colorable graphs, Alon gave another interpretation of $AT(G)$, this time in terms of the signed $d$-colorings of the line graph. In this paper we generalize both results. The first characterization is generalized by showing that there is an infinite family of weight functions (which includes the one considered by Alon and Tarsi), each of which can be used to characterize $AT(G)$. The second characterization is generalized to all graphs (in fact the result is even more general -- in particular it applies to hypergraphs). We then use the second generalization to prove that $χ(G) = ch(G) = AT(G)$ holds for certain families of graphs $G$. Some of these results generalize certain known choosability results.

An L-factor of a graph G is a spanning subgraph of G whose every component is a 3-vertex path. Let v(G) be the number of vertices of G and d(G) the domination number of G. A claw is a graph with four vertices and three edges incident to the same vertex. A graph is claw-free if it has no induced subgraph isomorphic to a claw. Our results include the following. Let G be a 3-connected claw-free graph, x a vertex in G, e = xy an edge in G, and P a 3-vertex path in G. Then (a1) if v(G) = 0 mod 3, then G has an L-factor containing (avoiding) e, (a2) if v(G) = 1 mod 3, then G - x has an L-factor, (a3) if v(G) = 2 mod 3, then G - {x,y} has an L-factor, (a4) if v(G) = 0 mod 3 and G is either cubic or 4-connected, then G - P has an L-factor, (a5) if G is cubic with v(G) > 5 and E is a set of three edges in G, then G - E has an L-factor if and only if the subgraph induced by E in G is not a claw and not a triangle, (a6) if v(G) = 1 mod 3, then G - {v,e} has an L-factor for every vertex v and every edge e in G, (a7) if v(G) = 1 mod 3, then there exist a 4-vertex path N and a claw Y in G such that G - N and G - Y have L-factors, and (a8) d(G) < v(G)/3 +1 and if in addition G is not a cycle and v(G) = 1 mod 3, then d(G) < v(G)/3. We explore the relations between packing problems of a graph and its line graph to obtain some results on different types of packings. We also discuss relations between L-packing and domination problems as well as between induced L-packings and the Hadwiger conjecture. Keywords: claw-free graph, cubic graph, vertex disjoint packing, edge disjoint packing, 3-vertex factor, 3-vertex packing, path-factor, induced packing, graph domination, graph minor, the Hadwiger conjecture.

The line graph LG of a directed graph G has a vertex for every edge of G and an edge for every path of length 2 in G. In 1967, Knuth used the Matrix-Tree Theorem to prove a formula for the number of spanning trees of LG, and he asked for a bijective proof. In this paper, we give a bijective proof of a generating function identity due to Levine which generalizes Knuth's formula. As a result of this proof we find a bijection between binary de Bruijn sequences of degree n and binary sequences of length 2^{n-1}. Finally, we determine the critical groups of all the Kautz graphs and de Bruijn graphs, generalizing a result of Levine.

We prove that every graph $G$ for which $ω(G) \geq 3/4(Δ(G) + 1)$, has an independent set $I$ such that $ω(G - I) < ω(G)$. It follows that a minimum counterexample $G$ to Reed's conjecture satisfies $ω(G) < 3/4(Δ(G) + 1)$ and hence also $χ(G) > \lceil 7/6ω(G) \rceil$. We also prove that if for every induced subgraph $H$ of $G$ we have $χ(H) \leq \max{\lceil 7/6ω(H) \rceil, \lceil \frac{ω(H) + Δ(H) + 1}{2}\rceil}$, then we also have $χ(G) \leq \lceil \frac{ω(G) + Δ(G) + 1}{2}\rceil$. This gives a generic proof of the upper bound for line graphs of multigraphs proved by King et al.

Let $G$ be a connected graph with vertex set $V(G)=\{v_1,v_2,...,v_ν\}$, which may have multiple edges but have no loops, and $2\leq d_G(v_i)\leq 3$ for $i=1,2,...,ν$, where $d_G(v)$ denotes the degree of vertex $v$ of $G$. We show that if $G$ has an even number of edges, then the number of perfect matchings of the line graph of $G$ equals $2^{n/2+1}$, where $n$ is the number of 3-degree vertices of $G$. As a corollary, we prove that the number of perfect matchings of a connected cubic line graph with $n$ vertices equals $2^{n/6+1}$ if $n>4$, which implies the conjecture by Lovász and Plummer holds for the connected cubic line graphs. As applications, we enumerate perfect matchings of the Kagomé lattices, $3.12.12$ lattices, and Sierpinski gasket with dimension two in the context of statistical physics.

We generalize a theorem of Knuth relating the oriented spanning trees of a directed graph G and its directed line graph LG. The sandpile group is an abelian group associated to a directed graph, whose order is the number of oriented spanning trees rooted at a fixed vertex. In the case when G is regular of degree k, we show that the sandpile group of G is isomorphic to the quotient of the sandpile group of LG by its k-torsion subgroup. As a corollary we compute the sandpile groups of two families of graphs widely studied in computer science, the de Bruijn graphs and Kautz graphs.

We determine the probability thresholds for the existence of monotone paths, of finite and infinite length, in random oriented graphs with vertex set $\mathbb N^{[k]}$, the set of all increasing $k$-tuples in $\mathbb N$. These graphs appear as line graph of uniform hypergraphs with vertex set $\mathbb N$.

The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. This paper provides three basic structural results on the critical group of a line graph. The first deals with connected graphs containing no cut-edge. Here the number of independent cycles in the graph, which is known to bound the number of generators for the critical group of the graph, is shown also to bound the number of generators for the critical group of its line graph. The second gives, for each prime p, a constraint on the p-primary structure of the critical group, based on the largest power of p dividing all sums of degrees of two adjacent vertices. The third deals with connected graphs whose line graph is regular. Here known results relating the number of spanning trees of the graph and of its line graph are sharpened to exact sequences which relate their critical groups. The first two results interact extremely well with the third. For example, they imply that in a regular nonbipartite graph, the critical group of the graph and that of its line graph determine each other uniquely in a simple fashion.

The path ideal (of length t >=2) of a graph G is the monomial ideal, denoted I_t(G), whose generators correspond to the directed paths of length t in G. We study some of the algebraic properties of I_t(G) when G is a tree. We first show that I_t(G) is the facet ideal of a simplicial tree. As a consequence, the quotient ring R/I_t(G) is always sequentially Cohen-Macaulay, and the Betti numbers of R/I_t(G) do not depend upon the characteristic of the field. We study the case of the line graph in greater detail at the end of the paper.

G is a Koenig-Egervary graph provided alpha(G)+ mu(G)=|V(G)|, where mu(G) is the size of a maximum matching and alpha(G) is the cardinality of a maximum stable set. S is a local maximum stable set of G if S is a maximum stable set of the closed neighborhood of S. Nemhauser and Trotter Jr. proved that any local maximum stable set is a subset of a maximum stable set of G. In this paper we demonstrate that if S is a local maximum stable set, the subgraph H induced by the closed neighborhood of S is a Koenig-Egervary graph, and M is a maximum matching in H, then M is a local maximum stable set in the line graph of G.

Cameron and Kazanidis have recently shown that rank-3 graphs are either cores or have complete cores, and they asked whether this holds for all strongly regular graphs. We prove that this is true for the point graphs and line graphs of generalized quadrangles and that when the number of points is sufficiently large, it is also true for the block graphs of Steiner systems and orthogonal arrays.

A multifamily set representation of a finite simple graph $G$ is a multifamily $\mathcal{F}$ of sets (not necessarily distinct) for which each set represents a vertex in $G$ and two sets in $\mathcal{F}$ intersects if and only if the two corresponding vertices are adjacent. For a graph $G$, an \textit{edge clique covering} (\textit{edge clique partition}, respectively) $\mathcal{Q}$ is a set of cliques for which every edge is contained in \textit{at least} (\textit{exactly}, respectively) one member of $\mathcal{Q}$. In 1966, P. Erdös, A. Goodman, and L. Pósa (The representation of a graph by set intersections, \textit{Canadian J. Math.}, \textbf{18}, pp.106-112) pointed out that for a graph there is a one-to-one correspondence between multifamily set representations $\mathcal{F}$ and clique coverings $\mathcal{Q}$ for the edge set. Furthermore, for a graph one may similarly have a one-to-one correspondence between particular multifamily set representations with intersection size at most one and clique partitions of the edge set. In 1990, S. McGuinness and R. Rees (On the number of distinct minimal clique partitions and clique covers of a line graph, \textit{Discrete Math.} \textbf{83} (1990) 49-62.) calculated the number of distinct clique partitions for line graphs. In this paper, we study the set representations of graphs corresponding to edge clique partitions in various senses, namely family representations of \textit{distinct} sets, antichain representations of \textit{mutually exclusive} sets, and uniform representations of sets with the \textit{same cardinality}. Among others, we completely determine the number of distinct family representations and the number of antichain representations of line graphs.

In this paper we find asymptotic enumerations for the number of line graphs on $n$-labelled vertices and for different types of related combinatorial objects called 2-covers. We find that the number of 2-covers, $s_n$, and proper 2-covers, $t_n$, on $[n]$ both have asymptotic growth $$ s_n\sim t_n\sim B_{2n}2^{-n}\exp(-\frac12\log(2n/\log n))= B_{2n}2^{-n}\sqrt{\frac{\log n}{2n}}, $$ where $B_{2n}$ is the $2n$th Bell number, while the number of restricted 2-covers, $u_n$, restricted, proper 2-covers on $[n]$, $v_n$, and line graphs $l_n$, all have growth $$ u_n\sim v_n\sim l_n\sim B_{2n}2^{-n}n^{-1/2}\exp(-[\frac12\log(2n/\log n)]^2). $$ In our proofs we use probabilistic arguments for the unrestricted types of 2-covers and and generating function methods for the restricted types of 2-covers and line graphs.

The existence of a connected 12-regular $\{K_4,K_{2,2,2}\}$-ultrahomogeneous graph $G$ is established, (i.e. each isomorphism between two copies of $K_4$ or $K_{2,2,2}$ in $G$ extends to an automorphism of $G$), with the 42 ordered lines of the Fano plane taken as vertices. This graph $G$ can be expressed in a unique way both as the edge-disjoint union of 42 induced copies of $K_4$ and as the edge-disjoint union of 21 induced copies of $K_{2,2,2}$, with no more copies of $K_4$ or $K_{2,2,2}$ existing in $G$. Moreover, each edge of $G$ is shared by exactly one copy of $K_4$ and one of $K_{2,2,2}$. While the line graphs of $d$-cubes, ($3\le d\in\ZZ$), are $\{K_d, K_{2,2}\}$-ultrahomogeneous, $G$ is not even line-graphical. In addition, the chordless 6-cycles of $G$ are seen to play an interesting role and some self-dual configurations associated to $G$ with 2-arc-transitive, arc-transitive and semisymmetric Levi graphs are considered.

An offensive alliance in a graph $Γ=(V,E)$ is a set of vertices $S\subset V$ where for every vertex $v$ in its boundary it holds that the majority of vertices in $v$'s closed neighborhood are in $S$. In the case of strong offensive alliance, strict majority is required. An alliance $S$ is called global if it affects every vertex in $V\backslash S$, that is, $S$ is a dominating set of $Γ$. The global offensive alliance number $γ_o(Γ)$ (respectively, global strong offensive alliance number $γ_{\hat{o}}(Γ)$) is the minimum cardinality of a global offensive (respectively, global strong offensive) alliance in $Γ$. If $Γ$ has global independent offensive alliances, then the \emph{global independent offensive alliance number} $γ_i(Γ)$ is the minimum cardinality among all independent global offensive alliances of $Γ$. In this paper we study mathematical properties of the global (strong) alliance number of cubic graphs. For instance, we show that for all connected cubic graph of order $n$, $$\frac{2n}{5}\le γ_i(Γ)\le \frac{n}{2}\le γ_{\hat{o}}(Γ)\le \frac{3n}{4} \le γ_{\hat{o}}({\cal L}(Γ))=γ_{o}({\cal L}(Γ))\le n,$$ where ${\cal L}(Γ)$ denotes the line graph of $Γ$. All the above bounds are tight.

A graph is called normal if its vertex set can be covered by cliques and also by stable sets, such that every such clique and stable set have non-empty intersection. This notion is due to Korner, who introduced the class of normal graphs as an extension of the class of perfect graphs. Normality has also relevance in information theory. Here we prove, that the line graphs of cubic graphs are normal.