arXiv++ Combinatorics

A rainbow spanning tree in an edge-colored graph is a spanning tree in which each edge is a different color. Carraher, Hartke, and Horn showed that for $n$ and $C$ large enough, if $G$ is an edge-colored copy of $K_n$ in which each color class has size at most $n/2$, then $G$ has at least $\lfloor n/(C\log n)\rfloor$ edge-disjoint rainbow spanning trees. Here we strengthen this result by showing that if $G$ is any edge-colored graph with $n$ vertices in which each color appears on at most $δ\cdotλ_1/2$ edges, where $δ\geq C\log n$ for $n$ and $C$ sufficiently large and $λ_1$ is the second-smallest eigenvalue of the normalized Laplacian matrix of $G$, then $G$ contains at least $\left\lfloor\frac{δ\cdotλ_1}{C\log n}\right\rfloor$ edge-disjoint rainbow spanning trees.

Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal. Which implies the characterizations of the digraphs whose critical group has one invariant factor equal to one, and the digraphs whose Smith group has one invariant factor equal to one.

There is a deep and interesting connection between the topological properties of a graph and the behaviour of the dynamical system defined on it. We analyse various kind of graphs, with different contrasting connectivity or degree characteristics, using the signless Laplacian matrix. We expose the theoretical results about the eigenvalue of the matrix and how they are related to the dynamical system. Then, we perform numerical computations on real-like graphs and observe the resulting system. Comparing the theoretical and numerical results we found a perfect consistency. Furthermore, we define a metric which takes in account the "rigidity" of the graph and enables us to relate all together the topological properties of the graph, the signless Laplacian matrix and the dynamical system.

We investigate combinatorial properties of certain configurations of a graph partition which are related to the minimality of a cut. We show that such configurations are related to the third eigenvector of the Laplacian matrix. It is well known that the second eigenvector encodes structural information, and that can be used to approximate a minimum bisection. In this paper, we show that the third eigenvector carries structural information as well. We then provide a new spectral bisection algorithm using both eigenvectors. The new algorithm is guaranteed to return a cut that is smaller or equal to the one returned by the classic spectral bisection. Also, we provide a spectral algorithm that can refine a given partition and produce a smaller cut.

The (torsion) complexity of a finite edge-weighted graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When G is d-periodic (i.e., G has a free action of the rank-d free abelian group by graph automorphisms, with finite quotient) the Mahler measure of its Laplacian determinant polynomial is the growth rate of the complexity of finite quotients of G. Lehmer's question, an open question about the roots of monic integral polynomials, is equivalent to a question about the complexity growth of edge-weighted 1-periodic graphs.

The energy of a graph G is equal to the sum of absolute values of the eigenvalues of the adjacency matrix of G, whereas the Laplacian energy of a graph G is equal to the sum of the absolute value of the difference between the eigenvalues of the Laplacian matrix of G and average degree of the vertices of G. Motivated by the work from Sharafdini et al. [R. Sharafdini, H. Panahbar, Vertex weighted Laplacian graph energy and other topological indices. J. Math. Nanosci. 2016, 6, 49-57.], in this paper we investigate the eccentricity version of Laplacian energy of a graph G.

The $p$-spectral radius of a graph $G=(V,E)$ with adjacency matrix $A$ is defined as $λ^{(p)}(G)=\max \{x^TAx : \|x\|_p=1 \}$. This parameter shows remarkable connections with graph invariants, and has been used to generalize some extremal problems. In this work, we extend this approach to the Laplacian matrix $L$, and define the $p$-spectral radius of the Laplacian as $μ^{(p)}(G)=\max \{x^TLx : \|x\|_p=1 \}$. We show that $μ^{(p)}(G)$ relates to invariants such as maximum degree and size of a maximum cut. We also show properties of $μ^{(p)}(G)$ as a function of $p$, and a upper bound on $\max_{G \colon |V(G)|=n} μ^{(p)}(G)$ in terms of $n=|V|$ for $p\ge 2$, which is attained if $n$ is even.

In this paper, we give the spectrum of a matrix by using the quotient matrix, then we apply this result to various matrices associated to a graph and a digraph, including adjacency matrix, (signless) Laplacian matrix, distance matrix, distance (signless) Laplacian matrix, to obtain some known and new results. Moreover, we propose some problems for further research.

Let G be a simple graph and L = L(G) the Laplacian matrix of G. G is called L-integral if all its Laplacian eigenvalues are integer numbers. It is known that every cograph, a graph free of P4, is L-integral. The class of P4-sparse graphs and the class of P4-extendible graphs contain the cographs. It seems natural to investigate if the graphs in these classes are still L-integral. In this paper we characterized the L-integral graphs for both cases, P4-sparse graphs and P4-extendible graphs.

Let $G=(V(G) ,E(G))$ be a digraph without loops and multiarcs, where $V(G)=\{v_1,v_2,\ldots,v_n\}$ and $E(G)$ are the vertex set and the arc set of $G$, respectively. Let $d_i^{+}$ be the outdegree of the vertex $v_i$. Let $A(G)$ be the adjacency matrix of $G$ and $D(G)=\textrm{diag}(d_1^{+},d_2^{+},\ldots,d_n^{+})$ be the diagonal matrix with outdegrees of the vertices of $G$. Then we call $Q(G)=D(G)+A(G)$ the signless Laplacian matrix of $G$. The spectral radius of $Q(G)$ is called the signless Laplacian spectral radius of $G$, denoted by $q(G)$. In this paper, some upper bounds for $q(G)$ are obtained. Furthermore, some upper bounds on $q(G)$ involving outdegrees and the average 2-outdegrees of the vertices of $G$ are also derived.

Quantum state transfer within a quantum computer can be achieved by using a network of qubits, and such a network can be modelled mathematically by a graph. Here, we focus on the corresponding Laplacian matrix, and those graphs for which the Laplacian can be diagonalized by a Hadamard matrix. We give a simple eigenvalue characterization for when such a graph has perfect state transfer at time $π/2$; this characterization allows one to choose the correct eigenvalues to build graphs having perfect state transfer. We characterize the graphs that are diagonalizable by the standard Hadamard matrix, showing a direct relationship to cubelike graphs. We then give a number of constructions producing a wide variety of new graphs that exhibit perfect state transfer, and we consider several corollaries in the settings of both weighted and unweighted graphs, as well as how our results relate to the notion of pretty good state transfer. Finally, we give an optimality result, showing that among regular graphs of degree at most $4$, the hypercube is the sparsest Hadamard diagonalizable connected unweighted graph with perfect state transfer.

Let $G$ be a graph with a vertex weight $ω$ and the vertices $v_1,\ldots,v_n$. The Laplacian matrix of $G$ with respect to $ω$ is defined as $L_ω(G)=\mathrm{diag}(ω(v_1),\cdots,ω(v_n))-A(G)$, where $A(G)$ is the adjacency matrix of $G$. Let $μ_1,\cdots,μ_n$ be eigenvalues of $L_ω(G)$. Then the Laplacian energy of $G$ with respect to $ω$ defined as $LE_ω(G)=\sum_{i=1}^n\big|μ_i - \barω\big|$, where $\barω$ is the average of $ω$, i.e., $\barω=\dfrac{\sum_{i=1}^{n}ω(v_i)}{n}$. In this paper we consider several natural vertex weights of $G$ and obtain some inequalities between the ordinary and Laplacian energies of $G$ with corresponding vertex weights. Finally, we apply our results to the molecular graph of toroidal fullerenes (or achiral polyhex nanotorus).

Construction of graphs with equal eigenvalues (co-spectral graphs) is an interesting problem in spectral graph theory. Seidel switching is a well-known method for generating co-spectral graphs. From a matrix theoretic point of view, Seidel switching is a combined action of a number of unitary operations on graphs. Recent works [1] and [2] have shown significant connections between graph and quantum information theories. Corresponding to Laplacian matrices of any graph there are quantum states useful in quantum computing. From this point of view, graph theoretical problems are meaningful in the context of quantum information. This work describes Seidel switching from a quantum perspective. Here, we generalize Seidel switching to weighted directed graphs. We use it to construct graphs with equal Laplacian and signless Laplacian spectra and consider density matrices corresponding to them. Hence Seidel switching is a technique to generate cospectral density matrices. Next, we show that all the unitary operators used in Seidel switching are global unitary operators. Global unitary operators can be used to generate entanglement, a benchmark phenomena in quantum information processing.

A rose graph is a graph consisting of cycles that all meet in one vertex. We show that except for two specific examples, these rose graphs are determined by the Laplacian spectrum, thus proving a conjecture posed by Lui and Huang [F.J. Liu and Q.X. Huang, Laplacian spectral characterization of 3-rose graphs, Linear Algebra Appl. 439 (2013), 2914--2920]. We also show that if two rose graphs have a so-called universal Laplacian matrix with the same spectrum, then they must be isomorphic. In memory of Horst Sachs (1927-2016), we show the specific case of the latter result for the adjacency matrix by using Sachs' theorem and a new result on the number of matchings in the disjoint union of paths.

For a connected graph $G$ on $n$ vertices, recall that the distance signless Laplacian matrix of $G$ is defined to be $\mathcal{Q}(G)=Tr(G)+\mathcal{D}(G)$, where $\mathcal{D}(G)$ is the distance matrix, $Tr(G)=diag(D_1, D_2, \ldots, D_n)$ and $D_{i}$ is the row sum of $\mathcal{D}(G)$ corresponding to vertex $v_{i}$. Denote by $ρ^{\mathcal{D}}(G),$ $ρ_{min}^{\mathcal{D}}(G)$ the largest eigenvalue and the least eigenvalue of $\mathcal{D}(G)$, respectively. And denote by $q^{\mathcal{D}}(G)$, $q_{min}^{\mathcal{D}}(G)$ the largest eigenvalue and the least eigenvalue of $\mathcal{Q}(G)$, respectively. The distance spread of a graph $G$ is defined as $S_{\mathcal{D}}(G)=ρ^{\mathcal{D}}(G)- ρ_{min}^{\mathcal{D}}(G)$, and the distance signless Laplacian spread of a graph $G$ is defined as $S_{\mathcal{Q}}(G)=q^{\mathcal{D}}(G)-q_{min}^{\mathcal{D}}(G)$. In this paper, we point out an error in the result of Theorem 2.4 in "Distance spectral spread of a graph" [G.L. Yu, et al, Discrete Applied Mathematics. 160 (2012) 2474--2478] and rectify it. As well, we obtain some lower bounds on ddistance signless Laplacian spread of a graph.

The first nontrivial lower bound of the worst-case approximation ratio for the maxcut problem was achieved via the dual Cheeger problem, whose optimal value is referred to the dual Cheeger constant $h^+$, and later improved through its modification $\widehat{h}^+$. However, the dual Cheeger problem and its modification themselves are relatively unexplored, especially lack of effective approximate algorithms. To this end, we first derive equivalent spectral formulations of $h^+$ and $\widehat{h}^+$ within the framework of the nonlinear spectral theory of signless 1-Laplacian, present their interactions with the Laplacian matrix and 1-Laplacian, and then use them to develop an inverse power algorithm that leverages the local linearity of the objective functions involved. We prove that the inverse power algorithm monotonically converges to a ternary-valued eigenvector, and provide the approximate values of $h^+$ and $\widehat{h}^+$ on G-set for the first time. The recursive spectral cut algorithm for the maxcut problem can be enhanced by integrating into the inverse power algorithms, leading to significantly improved approximate values on G-set. Finally, we show that the lower bound of the worst-case approximation ratio for the maxcut problem within the recursive spectral cut framework can not be improved beyond $0.769$.

The energy of a graph is defined as the sum the absolute values of the eigenvalues of its adjacency matrix. A graph G on n vertices is said to be borderenergetic if its energy equals the energy of the complete graph Kn. In this paper, we promote this concept for the Laplacian matrix, introduced by Gutman and Zhou [5]. We say G to be L-borderenergetic if LE(G) = LE(Kn). Several classes of L-borderenergetic graphs are obtained including result that for each positive integer r; there are 2r +1 graphs, of order n = 4r + 4; pairwise L-noncospectral and L-bordernergetic graphs.

The Laplacian energy of a graph is the sum of the distances of the eigenvalues of the Laplacian matrix of the graph to the graph's average degree. The maximum Laplacian energy over all graphs on $n$ nodes and $m$ edges is conjectured to be attained for threshold graphs. We prove the conjecture to hold for graphs with the property that for each $k$ there is a threshold graph on the same number of nodes and edges whose sum of the $k$ largest Laplacian eigenvalues exceeds that of the $k$ largest Laplacian eigenvalues of the graph. We call such graphs spectrally threshold dominated. These graphs include split graphs and cographs and spectral threshold dominance is preserved by disjoint unions and taking complements. We conjecture that all graphs are spectrally threshold dominated. This conjecture turns out to be equivalent to Brouwer's conjecture concerning a bound on the sum of the $k$ largest Laplacian eigenvalues.

Let $G$ be a simple connected graph with order $n$. Let $\mathcal{L}(G)$ be the normalized Laplacian matrix of $G$. Let $λ_{k}(G)$ be the $k$-th smallest normalized Laplacian eigenvalue of $G$. Denote $ρ(A)$ the spectral radius of the matrix $A$. In this paper, we study the behaviors of $λ_{2}(G)$ and $ρ(\mathcal{L}(G))$ when the graph is perturbed by three operations.

Given a connected graph $G$, the Randić index $R(G)$ is the sum of $\tfrac{1}{\sqrt{d(u)d(v)}}$ over all edges $\{u,v\}$ of $G$, where $d(u)$ and $d(v)$ are the degree of vertices $u$ and $v$ respectively. Let $q(G)$ be the largest eigenvalue of the singless Laplacian matrix of $G$ and $n=|V(G)|$. Hansen and Lucas (2010) made the following conjecture: \[ \frac{q(G)}{R(G)} \leq \begin{cases} \frac{4n-4}{n} & 4 \leq n\leq 12 \frac{n}{\sqrt{n-1}} & n\geq 13 \end{cases} \] with equality if and only if $G=K_{n}$ for $4\leq n\leq 12$ and $G=S_n$ for $n\geq 13$, respectively. Deng, Balachandran, and Ayyaswamy (J. Math. Anal. Appl. 2014) verified this conjecture for $4 \leq n \leq 11$. In this paper, we solve this conjecture completely.