arXiv++ Combinatorics

We give a structural classification of edge-signed graphs with smallest eigenvalue greater than -2. We prove a conjecture of Hoffman about the smallest eigenvalue of the line graph of a tree that was stated in the 1970s. Furthermore, we prove a more general result extending Hoffman's original statement to all edge-signed graphs with smallest eigenvalue greater than -2. Our results give a classification of the special graphs of fat Hoffman graphs with smallest eigenvalue greater than -3.

A 2-join is an edge cutset that naturally appears in decomposition of several classes of graphs closed under taking induced subgraphs, such as perfect graphs and claw-free graphs. In this paper we construct combinatorial polynomial time algorithms for finding a maximum weighted clique, a maximum weighted stable set and an optimal coloring for a class of perfect graphs decomposable by 2-joins: the class of perfect graphs that do not have a balanced skew partition, a 2-join in the complement, nor a homogeneous pair. The techniques we develop are general enough to be easily applied to finding a maximum weighted stable set for another class of graphs known to be decomposable by 2-joins, namely the class of even-hole-free graphs that do not have a star cutset. We also give a simple class of graphs decomposable by 2-joins into bipartite graphs and line graphs, and for which finding a maximum stable set is NP-hard. This shows that having holes all of the same parity gives essential properties for the use of 2-joins in computing stable sets.

In 1968, Erdös and Lovász conjectured that for every graph $G$ and all integers $s,t\geq 2$ such that $s+t-1=χ(G) > ω(G)$, there exists a partition $(S,T)$ of the vertex set of $G$ such that $χ(G|S)\geq s$ and $χ(G|T)\geq t$. For general graphs, the only settled cases of the conjecture are when $s$ and $t$ are small. Recently, the conjecture was proved for a few special classes of graphs: graphs with stability number 2 \cite{quasi-line}, line graphs \cite{line} and quasi-line graphs \cite{quasi-line}. In this paper, we consider the conjecture for claw-free graphs and present some progress on it.

In a recent work, Fouli and Lin generalized a Villarreal's result and showed that if each connected components of the line graph of a squarefree monomial ideal contains at most a unique odd cycle, then this ideal is of linear type. In this short note, we reprove this result with Villarreal's original ideas together with a method of Conca and De Negri. We also propose a class of squarefree monomial ideals of linear type.

We characterise the quartic (i.e. 4-regular) multigraphs with the property that every edge lies in a triangle. The main result is that such graphs are either squares of cycles, line multigraphs of cubic multigraphs, or are obtained from these by a number of simple subgraph-replacement operations. A corollary of this is that a simple quartic graph with every edge in a triangle is either the square of a cycle, the line graph of a cubic graph or a graph obtained from the line multigraph of a cubic multigraph by replacing triangles with copies of K_{1,1,3}.

Which graphs, in the class of all graphs with given numbers n and m of edges and vertices respectively, minimizes or maximizes the value of some graph parameter? In this paper we develop a technique which provides answers for several different parameters: the numbers of edges in the line graph, acyclic orientations, cliques, and forests. (We minimize the first two and maximize the third and fourth.) Our technique involves two moves on the class of graphs. A compression move converts any graph to a form we call fully compressed: the fully compressed graphs are split graphs in which the neighbourhoods of points in the independent set are nested. A second consolidation move takes each fully compressed graph to one particular graph which we call H(n,m). We show monotonicity of the parameters listed for these moves in many cases, which enables us to obtain our results fairly simply. The paper concludes with some open problems and future directions.

We introduce a new variant of zero forcing - signed zero forcing. The classical zero forcing number provides an upper bound on the maximum nullity of a matrix with a given graph (i.e. zero-nonzero pattern). Our new variant provides an analo- gous bound for the maximum nullity of a matrix with a given sign pattern. This allows us to compute, for instance, the maximum nullity of a Z-matrix whose graph is L(K_{n}), the line graph of a clique.

The characteristic polynomials of the adjacency matrix of line graphs of caterpillars and then the characteristic polynomials of their Laplacian or signless Laplacian matrices are characterized, using recursive formulas. Furthermore, the obtained results are applied on the determination of upper and lower bounds on the algebraic connectivity of these graphs.

Let $S$ be a set of transpositions such that the girth of the transposition graph of $S$ is at least 5. It is shown that the automorphism group of the Cayley graph of the permutation group $H$ generated by $S$ is the semidirect product $R(H) \rtimes \Aut(H,S)$, where $R(H)$ is the right regular representation of $H$ and $\Aut(H,S)$ is the set of automorphisms of $H$ that fixes $S$ setwise. Furthermore, if the connected components of the transposition graph of $S$ are isomorphic to each other, then $\Aut(H,S)$ is isomorphic to the automorphism group of the line graph of the transposition graph of $S$. This result is a common generalization of previous results by Feng, Ganesan, Harary, Mirafzal, and Zhang and Huang. As another special case, we obtain the automorphism group of the extended cube graph that was proposed as a topology for interconnection networks.

I discuss the work of many authors on various matrices used to study signed graphs, concentrating on adjacency and incidence matrices and the closely related topics of Kirchhoff (`Laplacian') matrices, line graphs, and very strong regularity.

A family F of permutations of the vertices of a hypergraph H is called "pairwise suitable" for H if, for every pair of disjoint edges in H, there exists a permutation in F in which all the vertices in one edge precede those in the other. The cardinality of a smallest such family of permutations for H is called the "separation dimension" of H and is denoted by π(H). Equivalently, π(H) is the smallest natural number k so that the vertices of H can be embedded in R^k such that any two disjoint edges of H can be separated by a hyperplane normal to one of the axes. We show that the separation dimension of a hypergraph H is equal to the "boxicity" of the line graph of H. This connection helps us in borrowing results and techniques from the extensive literature on boxicity to study the concept of separation dimension.

In recent papers by Grohe and Marx, the treewidth of the line graph of the complete graph is a critical example. We determine the exact treewidth of the line graph of the complete graph. By extending these techniques, we determine the exact treewidth of the line graph of a regular complete multipartite graph. For an arbitrary complete multipartite graph, we determine the treewidth of the line graph up to a lower order term.

In single channel wireless networks, concurrent transmission at different links may interfere with each other. To improve system throughput, a scheduling algorithm is necessary to choose a subset of links at each time slot for data trasmission. Throughput optimal link scheduling discipline in such a wireless network is generally an NP-hard problem. In this paper, we develop a poylnomial time algorithm for link scheduling problem provided that network conflict graph is line multigraph. (i.e. line graph for which its root graph is multigraph). This result can be a guideline for network designers to plan the topology of a stationary wireless network such that the required conditions hold and then the throughput optimal algorithm can be run in a much less time.

A configuration of the lit-only $σ$-game on a graph $Γ$ is an assignment of one of two states, {\it on} or {\it off}, to each vertex of $Γ.$ Given a configuration, a move of the lit-only $σ$-game on $Γ$ allows the player to choose an {\it on} vertex $s$ of $Γ$ and change the states of all neighbors of $s.$ Given an integer $k$, the underlying graph $Γ$ is said to be $k$-lit if for any configuration, the number of {\it on} vertices can be reduced to at most $k$ by a finite sequence of moves. We give a description of the orbits of the lit-only $σ$-game on nondegenerate graphs $Γ$ which are not line graphs. We show that these graphs $Γ$ are 2-lit and provide a linear algebraic criterion for $Γ$ to be 1-lit.

For an arbitrary undirected simple graph G with m edges, we give an algorithm with running time O(m^4 |L|^2) to generate the set L of all minimal edge dominating sets of G. For bipartite graphs we obtain a better result; we show that their minimal edge dominating sets can be enumerated in time O(m^4 |L|). In fact our results are stronger; both algorithms generate the next minimal edge dominating set with incremental-polynomial delay O(m^5 |L|) and O(m^4 |L|) respectively, when L is the set of already generated minimal edge dominating sets. Our algorithms are tailored for and solve the equivalent problems of enumerating minimal (vertex) dominating sets of line graphs and line graphs of bipartite graphs, with incremental-polynomial delay, and consequently in output-polynomial time. Enumeration of minimal dominating sets in graphs has very recently been shown to be equivalent to enumeration of minimal transversals in hypergraphs. The question whether the minimal transversals of a hypergraph can be enumerated in output-polynomial time is a fundamental and challenging question in Output-Sensitive Enumeration; it has been open for several decades and has triggered extensive research in the field.

Zero forcing number has recently become an interesting graph parameter studied in its own right since its introduction by the "AIM Minimum Rank -- Special Graphs Work Group", whereas metric dimension is a well-known graph parameter. We investigate the metric dimension and the zero forcing number of some line graphs by first determining the metric dimension and the zero forcing number of the line graphs of wheel graphs and the bouquet of circles. We prove that $Z(G) \le 2Z(L(G))$ for a simple and connected graph $G$. Further, we show that $Z(G) \le Z(L(G))$ when $G$ is a tree or when $G$ contains a Hamiltonian path and has a certain number of edges. We compare the metric dimension with the zero forcing number of a line graph by demonstrating a couple of inequalities between the two parameters. We end by stating some open problems.

Let $R$ be a finite commutative ring. The unitary Cayley graph of $R$, denoted $G_R$, is the graph with vertex set $R$ and edge set ${{a,b}:a,b\in R, a-b\in R^\times}$, where $R^\times$ is the set of units of $R$. An $r$-regular graph is Ramanujan if the absolute value of every eigenvalue of it other than $\pm r$ is at most $2\sqrt{r-1}$. In this paper we give a necessary and sufficient condition for $G_R$ to be Ramanujan, and a necessary and sufficient condition for the complement of $G_R$ to be Ramanujan. We also determine the energy of the line graph of $G_R$, and compute the spectral moments of $G_R$ and its line graph.

In 1974 Cvetković and Simić showed which graphs $G$ are the bipartite complements of line graphs. In 2002 Borovićanin showed which line graphs $L(H)$ have third largest eigenvalue $λ_3\leq0$. Our first observation is that two of the graphs Borovićanin found are the complements of two of the graphs found by Cvetković and Simić. Using the Courant-Weyl inequalities we show why this is and reprove the result of Borovićanin, highlighting some features of the graphs found by both.

For a graph $Γ$, a positive integer $s$ and a subgroup $G\leq \Aut(Γ)$, we prove that $G$ is transitive on the set of $s$-arcs of $Γ$ if and only if $Γ$ has girth at least $2(s-1)$ and $G$ is transitive on the set of $(s-1)$-geodesics of its line graph. As applications, we first prove that the only non-complete locally cyclic $2$-geodesic transitive graphs are the complete multipartite graph $K_{3[2]}$ and the icosahedron. Secondly we classify 2-geodesic transitive graphs of valency 4 and girth 3, and determine which of them are geodesic transitive.

For a graph $G$, let $L(G)$ and $Q(G)$ be the Laplacian and signless Laplacian matrices of $G$, respectively, and $τ(G)$ be the number of spanning trees of $G$. We prove that if $G$ has an odd number of vertices and $τ(G)$ is not divisible by $4$, then (i) $L(G)$ has no even integer eigenvalue, (ii) $Q(G)$ has no integer eigenvalue $λ\equiv2\pmod4$, and (iii) $Q(G)$ has at most one eigenvalue $λ\equiv0\pmod4$ and such an eigenvalue is simple. As a consequence, we extend previous results by Gutman and Sciriha and by Bapat on the nullity of adjacency matrices of the line graphs. We also show that if $τ(G)=2^ts$ with $s$ odd, then the multiplicity of any even integer eigenvalue of $Q(G)$ is at most $t+1$. Among other things, we prove that if $L(G)$ or $Q(G)$ has an even integer eigenvalue of multiplicity at least $2$, then $τ(G)$ is divisible by $4$. As a very special case of this result, a conjecture by Zhou et al. [On the nullity of connected graphs with least eigenvalue at least $-2$, Appl. Anal. Discrete Math. 7 (2013), 250--261] on the nullity of adjacency matrices of the line graphs of unicyclic graphs follows.