arXiv++ Combinatorics

Write $ρ\left( G\right) $ for the spectral radius of a graph $G$ and $S_{n,r}$ for the join $K_{r}\vee\overline{K}_{n-r}.$ Let $n>r\geq2$ and $G$ be a $K_{r+1}$-saturated graph of order $n.$ Recently Kim, Kim, Kostochka, and O determined exactly the minimum value of $ρ\left( G\right) $ for $r=2$, and found an asymptotically tight bound on $ρ\left( G\right) $ for $r\geq3.$ They also conjectured that \[ ρ\left( G\right) >ρ\left( S_{n,r-1}\right) , \] unless $G=S_{n,r-1}.$ In this note their conjecture is proved.

Let $G$ be a graph with $m$ edges and spectral radius $λ_{1}$. Let $bk\left( G\right) $ stand for the maximal number of triangles with a common edge in $G$. In 1970 Nosal proved that if $λ_{1}^{2}>m,$ then $G$ contains a triangle. In this paper we show that the same premise implies that \[ bk\left( G\right) >\frac{1}{12}\sqrt[4]{m}. \] This result settles a conjecture of Zhai, Lin, and Shu. Write $λ_{2}$ for the second largest eigenvalue of $G$. Recently, Lin, Ning, and Wu showed that if $G$ is a triangle-free graph of order at least three, then \[ λ_{1}^{2}+λ_{2}^{2}\leq m, \] thereby settling the simplest case of a conjecture of Bollobás and the author. We give a simpler proof of their result.

One of the best-known results in spectral graph theory is the inequality of Hoffman \[ χ\left( G\right) \geq1-\frac{λ\left( G\right) }{λ_{\min }\left( G\right) }, \] where $χ\left( G\right) $ is the chromatic number of a graph $G$ and $λ\left( G\right) ,$ $λ_{\min}\left( G\right) $ are the largest and the smallest eigenvalues of its adjacency matrix. In this note Hoffman's inequality is extended to weighted uniform $r$-graphs for every even $r$.

The $p$-norm of $r$-matrices generalizes the $2$-norm of $2$-matrices. It is shown that if a nonnegative $r$-matrix is symmetric with respect to two indices $j$ and $k$, then the $p$-norm is attained for some set of vectors such that the $i$th and the $j$th vectors are identical. It follows that the $p$-spectral radius of a symmetric nonnegative $r$-matrix is equal to its $p$-norm for any $p\geq2$.

Let $r\geq3$ and $G$ be an $r$-uniform hypergraph with vertex set $\left\{ 1,\ldots,n\right\} $ and edge set $E$. Let \[ μ\left( G\right) :=\max {\textstyle\sum\limits_{\left\{ i_{1},\ldots,i_{r}\right\} \in E}} x_{i_{1}}\cdots x_{i_{r}}, \] where the maximum is taken over all nonnegative $x_{1},\ldots,x_{n}$ with $x_{1}+\cdots+x_{n}=1.$ Let $t\geq r-1$ be the unique real number such that $\left\vert E\right\vert =\binom{t}{r}$. It is shown that if $r\leq5$ or $t\geq4\left( r-1\right) \left( r-2\right) $, then \[ μ\left( G\right) \leq t^{-r}\binom{t}{r}% \] with equality holding if and only if $t$ is an integer. The proof is based on some new bounds on elementary symmetric functions.

Let $t\geq3$ and $G$ be a graph of order $n,$ with no $K_{2,t}$ minor. If $n>400t^{6}$, then the spectral radius $μ\left( G\right) $ satisfies \[ μ\left( G\right) \leq\frac{t-1}{2}+\sqrt{n+\frac{t^{2}-2t-3}{4}}, \] with equality if and only if $n\equiv1$ $(\operatorname{mod}$ $t)$ and $G=K_{1}\vee\left\lfloor n/t\right\rfloor K_{t}$. For $t=3$ the maximum $μ\left( G\right) $ is found exactly for any $n>40000$.

Let $G$ be a graph with adjacency matrix $A\left( G\right) $, and let $D\left( G\right) $ be the diagonal matrix of the degrees of $G.$ The signless Laplacian $Q\left( G\right) $ of $G$ is defined as $Q\left( G\right) :=A\left( G\right) +D\left( G\right) $. Cvetković called the study of the adjacency matrix the $A$% \textit{-spectral theory}, and the study of the signless Laplacian--the $Q$\textit{-spectral theory}. During the years many similarities and differences between these two theories have been established. To track the gradual change of $A\left( G\right) $ into $Q\left( G\right) $ in this paper it is suggested to study the convex linear combinations $A_{α}\left( G\right) $ of $A\left( G\right) $ and $D\left( G\right) $ defined by \[ A_α\left( G\right) :=αD\left( G\right) +\left( 1-α\right) A\left( G\right) \text{, \ \ }0\leqα\leq1. \] This study sheds new light on $A\left( G\right) $ and $Q\left( G\right) $, and yields some surprises, in particular, a novel spectral Turán theorem. A number of challenging open problems are discussed.

The spectral $p$-norm of $r$-matrices generalizes the spectral $2$-norm of $2$-matrices. In 1911 Schur gave an upper bound on the spectral $2$-norm of $2$-matrices, which was extended in 1934 by Hardy, Littlewood, and Polya to $r$-matrices. Recently, Kolotilina, and independently the author, strengthened Schur's bound for $2$-matrices. The main result of this paper extends the latter result to $r$-matrices, thereby improving the result of Hardy, Littlewood, and Polya. The proof is based on combinatorial concepts like $r$-partite $r$-matrix and symmetrant of a matrix, which appear to be instrumental in the study of the spectral $p$-norm in general. Thus, another application shows that the spectral $p$-norm and the $p$-spectral radius of a symmetric nonnegative $r$-matrix are equal whenever $p\geq r$. This result contributes to a classical area of analysis, initiated by Mazur and Orlicz around 1930. Additionally, a number of bounds are given on the $p$-spectral radius and the spectral $p$-norm of $r$-matrices and $r$-graphs.

It is well known that a graph is bipartite if and only if the spectrum of its adjacency matrix is symmetric. In the present paper, this assertion is dissected into three separate matrix results of wider scope, which are extended also to hypermatrices. To this end the concept of bipartiteness is generalized by a new monotone property of cubical hypermatrices, called odd-colorable matrices. It is shown that a nonnegative symmetric $r$-matrix $A$ has a symmetric spectrum if and only if $r$ is even and $A$ is odd-colorable. This result also solves a problem of Pearson and Zhang about hypergraphs with symmetric spectrum and disproves a conjecture of Zhou, Sun, Wang, and Bu. Separately, similar results are obtained for the $H$-spectram of hypermatrices.

The energy of a graph is the sum of the absolute values of the eigenvalues of its adjacency matrix. This note is about the energy of regular graphs. It is shown that graphs that are close to regular can be made regular with a negligible change of the energy. Also a $k$-regular graph can be extended to a $k$-regular graph of a slightly larger order with almost the same energy. As an application, it is shown that for every sufficiently large $n,$ there exists a regular graph $G$ of order $n$ whose energy $\left\Vert G\right\Vert_{\ast}$ satisfies \[ \left\Vert G\right\Vert_{\ast}>\frac{1}{2}n^{3/2}-n^{13/10}. \] Several infinite families of graphs with maximal or submaximal energy are given, and the energy of almost all regular graphs is determined.

Let $G$ be a graph of order $n$ and size $m$, and let $\mathrm{mc}_{k}\left( G\right) $ be the maximum size of a $k$-cut of $G.$ It is shown that \[ \mathrm{mc}_{k}\left( G\right) \leq\frac{k-1}{k}\left( m-\frac{μ_{\min }\left( G\right) n}{2}\right) , \] where $μ_{\min}\left( G\right) $ is the smallest eigenvalue of the adjacency matrix of $G.$ An infinite class of graphs forcing equality in this bound is constructed.

The trace norm $\left\Vert G\right\Vert _{\ast}$ of a graph $G$ is the sum of its singular values, i.e., the absolute values of its eigenvalues. The norm $\left\Vert G\right\Vert _{\ast}$ has been intensively studied under the name of graph energy, a concept introduced by Gutman in 1978. This note studies the maximum trace norm of $r$-partite graphs, which raises some unusual problems for $r>2$. It is shown that, if $G$ is an $r$-partite graph of order $n,$ then \[ \left\Vert G\right\Vert _{\ast}<\frac{n^{3/2}}{2}\sqrt{1-1/r}+\left( 1-1/r\right) n. \] For some special $r$ this bound is tight: e.g., if $r$ is the order of a symmetric conference matrix, then, for infinitely many $n,$ there is a graph $G\ $of order $n$ with \[ \left\Vert G\right\Vert _{\ast}>\frac{n^{3/2}}{2}\sqrt{1-1/r}-\left( 1-1/r\right) n.\]

We characterize the r-graph with maximal p-spectral radius among the k-partite r-graphs of order n, and the 3-graph with maximal p-spectral radius among the k-chromatic 3-graphs of order n.

Let G be a graph of order n and let q(G) be that largest eigenvalue of the signless Laplacian of G. In this note it is shown that if k>1 and q(G)>=n+2k-2, then G contains cycles of length l whenever 2<l<2k+3. This bound is asymptotically tight. It implies an asymptotic solution to a recent conjecture about the maximum q(G) of a graph G with no cycle of a specified length.

Let $G$ be a $k$-degenerate graph of order $n.$ It is well-known that $G\ $has no more edges than $S_{n,k},$ the join of a complete graph of order $k$ and an independent set of order $n-k.$ In this note it is shown that $S_{n,k}$ is extremal for some spectral parameters of $G$ as well. More precisely, letting $μ\left( H\right) $ and $q\left( H\right) $ denote the largest eigenvalues of the adjacency matrix and the signless Laplacian of a graph $H,$ the inequalities \[ μ\left( G\right) <μ\left( S_{n,k}\right) \text{ and }q\left( G\right) <q\left( S_{n,k}\right) \] hold, unless $G=S_{n,k}$. The latter inequality is deduced from the following general bound, which improves some previous bounds on $q\left( G\right) $: If $G$ is a graph of order $n$, with $m$ edges, with maximum degree $Δ$ and minimum degree $δ,$ then \[ q\left( G\right) \leq\min\left\{ 2Δ,\frac{1}{2}\left( Δ+2δ-1+\sqrt{\left( Δ+2δ-1\right) ^{2}+16m-8\left( n-1+Δ\right) δ}\right) \right\} . \] Equality holds if and only if $G$ is regular or $G$ has a component of order $Δ+1$ in which every vertex is of degree $δ$ or $Δ,$ and all other components are $δ$-regular.

We derive a number of extremal and Ramsey stability results for cycles.

We give an upper bound on the smallest eigenvalue of the adjacency matrix of graphs with no p-cliques.

In 1969 Erdoes found a lower bound on the number of (r+1)-cliques sharing an edge in graphs with n vertices and t(r,n)+1 edges, where t(r,n) is the size of the Turan graph of order n and r color classes. We improve Erdoes's bound and prove a related stability result.

We investigate lower bounds on the average degree in r-cliques in graphs of order n and size greater than t(r,n), where t(r,n) is the size of the Turan graph on n vertices and r color classes. Continuing earlier research of Edwards and Faudree, we completely prove a conjecture of Bollobas and Erdoes from 1975.