On incidence energy of a graph

The Laplacian-energy like invariant LEL(G) and the incidence energy IE(G) of a graph are recently proposed quantities, equal, respectively, to the sum of the square roots of the Laplacian eigenvalues, and the sum of the singular values of the incidence matrix of the graph G. However, IE(G) is closely related with the eigenvalues of the Laplacian and signless Laplacian matrices of G. For bipartite graphs, IE=LEL. We now point out some further relations for IE and LEL: IE can be expressed in terms of eigenvalues of the line graph, whereas LEL in terms of singular values of the incidence matrix of a directed graph. Several lower and upper bounds for IE are obtained, including those that pertain to the line graph of G. In addition, Nordhaus-Gaddum-type results for IE are established.     

The skew energy of a digraph

We are interested in the energy of the skew-adjacency matrix of a directed graph D, which is simply called the skew energy of D in this paper. Properties of the skew energy of D are studied. In particular, a sharp upper bound for the skew energy of D is derived in terms of the order of D and the maximum degree of its underlying undirected graph. An infinite family of digraphs attaining the maximum skew energy is constructed. Moreover, the skew energy of a directed tree is independent of its orientation, and interestingly it is equal to the energy of the underlying undirected tree. Skew energies of directed cycles under different orientations are also computed. Some open problems are presented.     

On bicyclic graphs with maximal energy

Let λ₁,λ₂,…,λ_n be the eigenvalues of a graph G of order n. The energy of G is defined as E(G)=|λ₁|+|λ₂|+?+|λ_n|. Let be the graph obtained from two copies of C₆ joined by a path P_n-10, B_n be the class of all bipartite bicyclic graphs that are not the graph obtained from two cycles C_a and C_b (a,b?10 and a≡b≡2 (mod 4)) joined by an edge. In this paper, we show that is the graph with maximal energy in B_n, which gives a partial solution to Gutman’s conjecture in Gutman and Vidovi? (2001) [I. Gutman, D. Vidovi?, Quest for molecular graphs with maximal energy: a computer experiment, J. Chem. Inf. Sci. 41 (2001) 1002-1005].     

Improved bounds for the Laplacian energy of Bethe trees

For k, d?2, a Bethe tree is a rooted tree with k levels which the root vertex has degree d, the vertices from level 2 to k-1 have degree d+1 and the vertices at the level k are pendent vertices. So et al, using a theorem by Ky Fan have obtained both upper and lower bounds for the Laplacian energy of bipartite graphs. We shall employ the above mentioned theorem to obtain new and improved bounds for the Laplacian energy in the case of Bethe trees.     

Applications of a theorem by Ky Fan in the theory of graph energy

The energy of a graph G is equal to the sum of the absolute values of the eigenvalues of G, which in turn is equal to the sum of the singular values of the adjacency matrix of G. Let X, Y, and Z be matrices, such that X+Y=Z. The Ky Fan theorem establishes an inequality between the sum of the singular values of Z and the sum of the sum of the singular values of X and Y. This theorem is applied in the theory of graph energy, resulting in several new inequalities, as well as new proofs of some earlier known inequalities.     

On the maximal energy tree with two maximum degree vertices

For a simple graph G, the energy E(G) is defined as the sum of the absolute values of all eigenvalues of its adjacent matrix.For Δ?3 and t?3, denote by T_a(Δ,t) (or simply T_a) the tree formed from a path P_t on t vertices by attaching Δ-1P₂’s on each end of the path P_t, and T_b(Δ,t) (or simply T_b) the tree formed from P_t+2 by attaching Δ-1P₂’s on an end of the P_t+2 and Δ-2P₂’s on the vertex next to the end.In Li et al.(2009) [16] proved that among trees of order n with two vertices of maximum degree Δ, the maximal energy tree is either the graph T_a or the graph T_b, where t=n+4-4Δ?3.However, they could not determine which one of T_a and T_b is the maximal energy tree.This is because the quasi-order method is invalid for comparing their energies.In this paper, we use a new method to determine the maximal energy tree.It turns out that things are more complicated.We prove that the maximal energy tree is T_b for Δ?7 and any t?3, while the maximal energy tree is T_a for Δ=3 and any t?3.Moreover, for Δ=4, the maximal energy tree is T_a for all t?3 but one exception that t=4, for which T_b is the maximal energy tree.For Δ=5, the maximal energy tree is T_b for all t?3 but 44 exceptions that t is both odd and 3?t?89, for which T_a is the maximal energy tree.For Δ=6, the maximal energy tree is T_b for all t?3 but three exceptions that t=3,5,7, for which T_a is the maximal energy tree.One can see that for most cases of Δ, T_b is the maximal energy tree,Δ=5 is a turning point, and Δ=3 and 4 are exceptional cases, which means that for all chemical trees (whose maximum degrees are at most 4) with two vertices of maximum degree at least 3, T_a has maximal energy, with only one exception T_a(4,4).     

Lower bounds for the energy of digraphs

The energy of a digraph D is defined as , where z₁,…,z_n are the eigenvalues of D. In this article we find lower bounds for the energy of digraphs in terms of the number of closed walks of length 2, extending in this way the result obtained by Caporossi et al. [G. Caporossi, D. Cvetkovi?, I. Gutman, P. Hansen, Variable neighborhood search for extremal graphs. 2. Finding graphs with extremal energy, J. Chem. Inf. Comput. Sci. 39 (1999) 984-996]: for all graphs G with m edges. Also, we study digraphs with three eigenvalues.     

Laplacian energy of a graph

Let G be a graph with n vertices and m edges. Let λ₁, λ₂, … , λ_n be the eigenvalues of the adjacency matrix of G, and let μ₁, μ₂, … , μ_n be the eigenvalues of the Laplacian matrix of G. An earlier much studied quantity is the energy of the graph G. We now define and investigate the Laplacian energy as . There is a great deal of analogy between the properties of E(G) and LE(G), but also some significant differences.     

Note on the energy of regular graphs

For a simple graph G, the energy E(G) is defined as the sum of the absolute values of all the eigenvalues of its adjacency matrix A(G). Let n,m, respectively, be the number of vertices and edges of G. One well-known inequality is that , where λ₁ is the spectral radius. If G is k-regular, we have . Denote . Balakrishnan [R. Balakrishnan, The energy of a graph, Linear Algebra Appl. 387 (2004) 287-295] proved that for each ?>0, there exist infinitely many n for each of which there exists a k-regular graph G of order n with k<n-1 and , and proposed an open problem that, given a positive integer n?3, and ?>0, does there exist a k-regular graph G of order n such that . In this paper, we show that for each ?>0, there exist infinitely many such n that . Moreover, we construct another class of simpler graphs which also supports the first assertion that .     

Bounds on the chromatic polynomial and on the number of acyclic orientations of a graph

An upper bound is given on the number of acyclic orientations of a graph, in terms of the spectrum of its Laplacian. It is shown that this improves upon the previously known bound, which depended on the degree sequence of the graph. Estimates on the new bound are provided.A lower bound on the number of acyclic orientations of a graph is given, with the help of the probabilistic method. This argument can take advantage of structural properties of the graph: it is shown how to obtain stronger bounds for small-degree graphs of girth at least five, than are possible for arbitrary graphs. A simpler proof of the known lower bound for arbitrary graphs is also obtained.Both the upper and lower bounds are shown to extend to the general problem of bounding the chromatic polynomial from above and below along the negative real axis.Partially supported by the NSF under grant CCR-9404113. Most of this research was done while the author was at the Massachusetts Institute of Technology, and was supported by the Defense Advanced Research Projects Agency under Contracts N00014-92-J-1799 and N00014-91-J-1698, the Air Force under Contract F49620-92-J-0125, and the Army under Contract DAAL-03-86-K-0171.Supported by an ONR graduate fellowship, grants NSF 8912586 CCR and AFOSR 89-0271, and an NSF postdoctoral fellowship.     

Estimating the Estrada index

Let G be a graph on n vertices, and let λ₁,λ₂,…,λ_n be its eigenvalues. The Estrada index of G is a recently introduced graph invariant, defined as . We establish lower and upper bounds for EE in terms of the number of vertices and number of edges. Also some inequalities between EE and the energy of G are obtained.     

On the energy of some circulant graphs

We give an explicit construction of circulant graphs of very high energy. This construction is based on Gauss sums. We also show the Littlewood conjecture can be used to establish new result for a certain class of circulant graphs.     

Complete solution to a problem on the maximal energy of unicyclic bipartite graphs

The energy of a simple graph G, denoted by E(G), is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix. Denote by C_n the cycle, and the unicyclic graph obtained by connecting a vertex of C₆ with a leaf of P_n-6. Caporossi et al. conjectured that the unicyclic graph with maximal energy is for n=8,12,14 and n≥16. In Hou et al. (2002) [Y. Hou, I. Gutman, C. Woo, Unicyclic graphs with maximal energy, Linear Algebra Appl. 356 (2002) 27-36], the authors proved that is maximal within the class of the unicyclic bipartite n-vertex graphs differing from C_n. And they also claimed that the energies of C_n and is quasi-order incomparable and left this as an open problem. In this paper, by utilizing the Coulson integral formula and some knowledge of real analysis, especially by employing certain combinatorial techniques, we show that the energy of is greater than that of C_n for n=8,12,14 and n≥16, which completely solves this open problem and partially solves the above conjecture.     

A sharp upper bound on the signless Laplacian spectral radius of graphs

Let G be a simple connected graph of order n   with degree sequence _d1,_d2,…,_dn$d_1,d_2,\dots ,d_n$ in non-increasing order. The signless Laplacian spectral radius ρ(Q(G))$\rho (Q(G))$ of G   is the largest eigenvalue of its signless Laplacian matrix Q(G)$Q(G)$. In this paper, we give a sharp upper bound on the signless Laplacian spectral radius ρ(Q(G))$\rho (Q(G))$ in terms of _di$d_i$, which improves and generalizes some known results.     

Solving linear programs from sign patterns

This paper is an attempt to provide a connection between qualitative matrix theory and linear programming. A linear program is said to be sign-solvable if the set of sign patterns of the optimal solutions is uniquely determined by the sign patterns of A, b, and c. It turns out to be NP-hard to decide whether a given linear program is sign-solvable or not. We then introduce a class of sign-solvable linear programs in terms of totally sign-nonsingular matrices, which can be recognized in polynomial time. For a linear program in this class, we devise an efficient combinatorial algorithm to obtain the sign pattern of an optimal solution from the sign patterns of A, b, and c. The algorithm runs in O(mγ) time, where m is the number of rows of A and γ is the number of all nonzero entries in A, b, and c.     

Equiangular tight frames and fourth root seidel matrices

In this paper we construct complex equiangular tight frames (ETFs). In particular, we study the grammian associated with an ETF whose off-diagonal entries consist entirely of fourth roots of unity. These ETFs are classified, and we also provide some computational techniques which give rise to previously undiscovered ETFs.     

On the spectra of hypertrees

In this paper, we study the spectral properties of a family of trees characterized by two main features: they are spanning subgraphs of the hypercube, and their vertices bear a high degree of (connectedness) hierarchy. Such structures are here called binary hypertrees and they can be recursively defined as the so-called hierarchical product of several complete graphs on two vertices.     

A direct proof for the matrix decomposition of chordal-structured positive semidefinite matrices

Agler, Helton, McCullough, and Rodman proved that a graph is chordal if and only if any positive semidefinite (PSD) symmetric matrix, whose nonzero entries are specified by a given graph, can be decomposed as a sum of PSD matrices corresponding to the maximal cliques. This decomposition is recently exploited to solve positive semidefinite programming efficiently. Their proof is based on a characterization for PSD matrix completion of a chordal-structured matrix due to Grone, Johnson, Sá, and Wolkowicz. This note gives a direct and simpler proof for the result of Agler et al., which leads to an alternative proof of Grone et al.