Max -cut and the smallest eigenvalue V. Niiforov arxiv:1604.0088v [math.co] 11 Apr 016 Abstract Let G be a graph of order n and size m, and let mc (G) be the maximum size of a -cut of G. It is shown that mc (G) 1 ( m µ ) min(g) n, where µ min (G) is the smallest eigenvalue of the adjacency matrix of G. An infinite class of graphs forcing equality in this bound is constructed. Keywords: max -cut; chromatic number; largest eigenvalues; largest Laplacian eigenvalue; smallest adjacency eigenvalue. AMS classification: 05C50 1 Introduction and main results The maximum -cut of G, denoted by mc (G), is the maximum number of edges in a - partite subgraph of G. This note provides an upper bound on mc (G) based on µ min (G) the smallest eigenvalue of the adjacency matrix of G. In [4] Mohar and Polja gave the celebrated bound mc (G) λ(g) n/4, where λ(g) is the maximum eigenvalue of the Laplacian matrix of G. However, one may question how fit λ(g) is for such a bound on mc (G), since mc (G) is a Lipschitz function in the number of edges m, whereas λ(g) may be quite volatile in m/n. Indeed, raising the degree of a single vertex of maximum degree (G) in G can raise λ(g) accordingly, due to the inequality λ(g) > (G). In contrast, µ min (G) depends more robustly on m/n, and hence may be a better choice than λ(g) for upper bounds on mc (G). In [6], Trevisan came to grips with similar problems, but the emphasis of his wor is on algorithms and no bound was produced in closed form. Thus, we propose the following theorem: Theorem 1 If G is a graph with n vertices and m edges, then mc (G) 1 ( m µ ) min(g) n. (1) Department of Mathematical Sciences, University of Memphis, Memphis TN 3815, USA 1
Proof Let G be as required and suppose that its vertex set is [n] := {1,..., n}. Let H be a -partite subgraph of G with mc (G) edges, and let [n] = V 1 V be the partition of the vertices of H into edgeless sets. The idea of the proof is to use Rayleigh s principle to construct upper bounds on µ min (G), and then tae their average as an upper bound on µ min (G). For each i [], define a vector y (i) := (y (i) 1,..., y(i) n ) as { +1, if j y (i) Vi, j := 1, if j [n]\v i. Write u, v for the inner product of the vectors u and v, and note that for each i [], Rayleigh s principle implies that µ min (G) y (i) Ay (i), y (i). Hence, summing these inequalities for all i [], we get µ min (G) i [] y On the one hand, for (i) i [] we have i [] y (i) = i [] y (i) i [] Ay (i), y (i). () ( ) ( ) ( 1) V i +n V i = n. (3) On the other hand, writing e(x) for the number of edges induced by a set X and e(x, Y) for the number of cross-edges between the sets X and Y, for every i [], we see that Ay (i), y (i) = ( 1) e(v i )+ e ( ) V j j []\{i} j []\{i} ( 1) e ( V i, V j ) + Summing these inequalities for all i [], we get four terms in the right side: ( 1) e(v i ) = ( 1) (m mc ), i [] i [] e ( ) V j = ( 1)(m mc ), j []\{i} ( 1) e ( ) V i, V j = 4( 1) mc, i [] j []\{i} i [] e ( ) V l, V j = ( ) mc. j,l []\{i},j =l j,l []\{i},j =l e ( V l, V j ).
Hence, for i [] Ay (i), y (i) we obtain Ay (i), y (i) = ( 1) (m mc )+( 1)(m mc ) 4( 1) mc + ( ) mc i [] ( = ( 1)(m mc ) mc = ( 1) m ) 1 mc. Finally, combining the last equality with () and (3), we get completing the proof of (1). µ min (G) n m 1 mc, Note that the above proof also applies to weighted graphs, i.e., graphs whose edges have been assigned positive real numbers. For =, inequality (1) can be obtained from Lemma 1 of Delorme and Polja [] by letting u = [m/n d i ], where d 1,..., d n are the degrees of G 1. Liewise, (1) can also be obtained by letting d = [m/n d i ] in equation (9) of the paper of van Dam and Sotirov [1]. Let us note that equality may hold in (1) for numerous graphs, both regular and irregular. Our next goal is to exhibit an infinite class of such graphs, for which we need some preparation. Suppose that r and write t (n) for the maximum number of edges in a -partite graph of order n. The numbers t (n) are called Turán numbers, and it is nown that t (n) = 1 ( n s ) ( ) s +, where s is the remainder n mod. It is not hard to see that 1 n 8 t (n) 1 n. Equality on the right holds if and only if divides n. Equality on the left holds if and only if is even and n = / mod. The sum of all weights of a weighted graph is called its total weight, and the maximum -cut of a weighted graph is the maximum total weight of its -partite subgraphs. Next, we give a lower bound on mc (G) that may well be nown. Theorem Let r. If G is a weighted r-partite graph with total weight m, then mc (G) t (r) ( r ) m. 1 Lovász stated this fact in Proposition 6.4.4 [3] without details, and Trevisan missed his point in the footnote on p. 177 of [6]. 3
Proof Let K be the weighted complete graph of order r, whose vertices are the vertex classes of G, and the edge weights are the sums of the weights of all edges across the corresponding classes. Clearly the total weight of K is m. Define a random variable X (K) equal to the total weight of a randomly chosen -partite subgraph of K with t (r) edges. Let M be the number of all such subgraphs of K. By symmetry, each edge of K belongs to the same number of such subgraphs, which obviously is t (r) ( r ) M. Therefore, E(X (K)) = 1 M t(r) ( r ) Mm = t (r) ( r ) m. Thus, there is a -partite subgraph of G of total weight at least t (r) m/( r ), as claimed. Note that Theorem is an improvement over the straightforward lower bound mc (G) (1 1/) m. We are now ready to describe a class of regular graphs that force equality in (1). Let χ and suppose that divides χ. Tae a t-regular graph H of order n satisfying ω(h) χ and µ min (H) < t χ 1. Let J χ be the χ χ matrix of all-ones and I χ be the identity matrix of order χ. Write A(H) for the adjacency matrix of H. The Kronecer product B := (J χ I χ ) A(H) is a symmetric (0, 1)-matrix with zero diagonal. Let G be the graph with adjacency matrix B. Clearly, G is (χ 1) t-regular graph of order χn. Also, µ min (G) = min{ t,(χ 1) µ min (H)} = t. Using the fact that ω(h) χ, one can show that ω(g) = χ, which obviously implies that χ(g) = χ as well. Since divides χ, we have t (χ) = 1 χ and Theorem implies that mc (G) 1 χ χ(χ 1) = 1 Hence the graph G forces equality in (1). e(g) = 1 χ 1 e(g) = χ 1 ( e(g)+ tv(g) ) = 1 ( e(g)+ 1 e(g) µ min(g) v(g) t(χ 1) χn (χ 1) ). To conclude, we show that two results of the recent paper[1] are simple consequences of a result proved in [5]. In [1], van Dam and Sotirov showed that mc (G) n( 1) λ(g), (4) 4
where λ(g) is the maximum eigenvalue of the Laplacian matrix of G. However, (4) follows immediately from an inequality in [5] that reads as: If H is a -partite graph and µ(h) is the maximum eigenvalue of its adjacency matrix, then µ(h) 1 λ(h). (5) Indeed, if H is a -partite subgraph of G with mc (G) edges, then mc (G) n µ(h) 1 λ(h) 1 λ(g), and inequality (4) follows. Note that for regular graphs (4) and (1) are equivalent, but they are incomparable in general. Further, van Dam and Sotirov show that if G has m edges, then its chromatic number χ(g) satisfies: m nλ(g) m. (6) However, this inequality is also a simple consequence of (5). Indeed, rewriting (5) as inequality (6) follows as References µ(g) λ(g) µ(g) 1+ µ(g) λ(g) µ(g), m/n λ(g) m/n = 1+ m nλ(g) m. [1] E.R. van Dam and R. Sotirov, New bounds for the max--cut and chromatic number of a graph, Linear Algebra Appl, 488 (016), 16 34. [] C. Delorme and S. Polja, Laplacian eigenvalues and the maximum cut problem, Math. Programming 6 (1993), 557 574. [3] L. Lovász, Semidefinite programs and combinatorial optimization, in Recent Advances in Algorithms and Combinatorics, B. A. Reed and C. L. Linhares-Sales, eds., Springer, New Yor, 003, pp. 137 194. [4] B. Mohar and S. Polja, Eigenvalues and the max-cut problem, Czechoslova Math. J. 40 (1990), 343 35. [5] V. Niiforov, Chromatic number and spectral radius, Linear Algebra Appl. 46 (007), 810 814. [6] L. Trevisan, Max cut and the smallest eigenvalue, SIAM J. Comput. 41 (01), 1769 1786. 5