Applied Mathematics Letters

Similar documents
ON THE MAXIMUM AND MINIMUM SIZES OF A GRAPH

Strong Subgraph k-connectivity of Digraphs

Realizability of n-vertex Graphs with Prescribed Vertex Connectivity, Edge Connectivity, Minimum Degree, and Maximum Degree

Bounds on coloring numbers

Alain Hertz 1 and Sacha Varone 2. Introduction A NOTE ON TREE REALIZATIONS OF MATRICES. RAIRO Operations Research Will be set by the publisher

A Combinatorial Proof for the Circular Chromatic Number of Kneser Graphs

Variations on a theme by Weetman

Brouwer, A.E.; Koolen, J.H.

THE NUMBER OF UNARY CLONES CONTAINING THE PERMUTATIONS ON AN INFINITE SET

Cartesian Product of Two S-Valued Graphs

A note on the number of (k, l)-sum-free sets

More On λ κ closed sets in generalized topological spaces

A relation on 132-avoiding permutation patterns

A survey on the generalized connectivity of graphs arxiv: v2 [math.co] 11 Sep 2012

Essays on Some Combinatorial Optimization Problems with Interval Data

4: SINGLE-PERIOD MARKET MODELS

Minor Monotone Floors and Ceilings of Graph Parameters

Epimorphisms and Ideals of Distributive Nearlattices

Structure connectivity and substructure connectivity of twisted hypercubes

Some Bounds for the Singular Values of Matrices

The generalized 3-connectivity of Cartesian product graphs

Equilibrium payoffs in finite games

Cumulants and triangles in Erdős-Rényi random graphs

The skew-rank of oriented graphs

Laurence Boxer and Ismet KARACA

Fractional Graphs. Figure 1

The Probabilistic Method - Probabilistic Techniques. Lecture 7: Martingales

Course Information and Introduction

Notes on the symmetric group

Collinear Triple Hypergraphs and the Finite Plane Kakeya Problem

MATH 5510 Mathematical Models of Financial Derivatives. Topic 1 Risk neutral pricing principles under single-period securities models

Secant Varieties, Symbolic Powers, Statistical Models

Laurence Boxer and Ismet KARACA

MAT 4250: Lecture 1 Eric Chung

An Application of Ramsey Theorem to Stopping Games

Lecture 19: March 20

CATEGORICAL SKEW LATTICES

Sublinear Time Algorithms Oct 19, Lecture 1

Separation axioms on enlargements of generalized topologies

CONSTRUCTION OF CODES BY LATTICE VALUED FUZZY SETS. 1. Introduction. Novi Sad J. Math. Vol. 35, No. 2, 2005,

Lecture l(x) 1. (1) x X

BETA DISTRIBUTION ON ARITHMETICAL SEMIGROUPS

A Property Equivalent to n-permutability for Infinite Groups

CHARACTERIZATION OF CLOSED CONVEX SUBSETS OF R n

1 Appendix A: Definition of equilibrium

On the Prime Labeling of Generalized Petersen Graphs P (n, 3) 1

Math 167: Mathematical Game Theory Instructor: Alpár R. Mészáros

3.2 No-arbitrage theory and risk neutral probability measure

Optimal retention for a stop-loss reinsurance with incomplete information

Lecture 23: April 10

PURITY IN IDEAL LATTICES. Abstract.

Fuzzy L-Quotient Ideals

GUESSING MODELS IMPLY THE SINGULAR CARDINAL HYPOTHESIS arxiv: v1 [math.lo] 25 Mar 2019

The Complexity of Simple and Optimal Deterministic Mechanisms for an Additive Buyer. Xi Chen, George Matikas, Dimitris Paparas, Mihalis Yannakakis

Equivalence Nucleolus for Partition Function Games

No-arbitrage theorem for multi-factor uncertain stock model with floating interest rate

Translates of (Anti) Fuzzy Submodules

Alain Hertz 1 and Sacha Varone 2

Non replication of options

FUZZY PRIME L-FILTERS

Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable

Interpolation of κ-compactness and PCF

Online Shopping Intermediaries: The Strategic Design of Search Environments

( ) = R + ª. Similarly, for any set endowed with a preference relation º, we can think of the upper contour set as a correspondance  : defined as

Global Joint Distribution Factorizes into Local Marginal Distributions on Tree-Structured Graphs

Distributed Function Calculation via Linear Iterations in the Presence of Malicious Agents Part I: Attacking the Network

arxiv: v2 [math.lo] 13 Feb 2014

A Theory of Value Distribution in Social Exchange Networks

A Theory of Value Distribution in Social Exchange Networks

Continuous images of closed sets in generalized Baire spaces ESI Workshop: Forcing and Large Cardinals

Yao s Minimax Principle

Collective Profitability and Welfare in Selling-Buying Intermediation Processes

Structural Induction

Computing Unsatisfiable k-sat Instances with Few Occurrences per Variable

Log-linear Dynamics and Local Potential

Competition for goods in buyer-seller networks

Game Theory: Normal Form Games

BINOMIAL TRANSFORMS OF QUADRAPELL SEQUENCES AND QUADRAPELL MATRIX SEQUENCES

A No-Arbitrage Theorem for Uncertain Stock Model

IN GRAPHS. Hamideh Aram. Department of Mathematics Gareziaeddin Center, Khoy Branch Islamic Azad University, Khoy, Iran

Sy D. Friedman. August 28, 2001

PORTFOLIO OPTIMIZATION AND EXPECTED SHORTFALL MINIMIZATION FROM HISTORICAL DATA

Algebra homework 8 Homomorphisms, isomorphisms

arxiv:math/ v1 [math.lo] 15 Jan 1991

Applied Mathematics Letters. On local regularization for an inverse problem of option pricing

REMARKS ON K3 SURFACES WITH NON-SYMPLECTIC AUTOMORPHISMS OF ORDER 7

Bounds on some contingent claims with non-convex payoff based on multiple assets

Best response cycles in perfect information games

A Core Concept for Partition Function Games *

Best-Reply Sets. Jonathan Weinstein Washington University in St. Louis. This version: May 2015

A Note on the No Arbitrage Condition for International Financial Markets

Notes, Comments, and Letters to the Editor. Cores and Competitive Equilibria with Indivisibilities and Lotteries

Hyperidentities in (xx)y xy Graph Algebras of Type (2,0)

MATH 121 GAME THEORY REVIEW

k-type null slant helices in Minkowski space-time

Journal of Computational and Applied Mathematics. The mean-absolute deviation portfolio selection problem with interval-valued returns

Approximate Revenue Maximization with Multiple Items

CS134: Networks Spring Random Variables and Independence. 1.2 Probability Distribution Function (PDF) Number of heads Probability 2 0.

Online Appendix. ( ) =max

The ruin probabilities of a multidimensional perturbed risk model

Transcription:

Applied Mathematics Letters 23 (2010) 286 290 Contents lists available at ScienceDirect Applied Mathematics Letters journal homepage: wwwelseviercom/locate/aml The number of spanning trees of a graph Jianxi Li a,, Wai Chee Shiu a, An Chang b a Department of Mathematics, Hong Kong Baptist University, Kowloon Tong, Hong Kong, PR China b Software College/Center of Discrete Mathematics, Fuzhou University, Fujian, 350002, PR China a r t i c l e i n f o a b s t r a c t Article history: Received 10 April 2009 Received in revised form 13 October 2009 Accepted 19 October 2009 Keywords: Spanning trees Graph Bound In this paper, we present some sharp upper bounds for the number of spanning trees of a connected graph in terms of its structural parameters such as the number of vertices, the number of edges, maximum vertex degree, minimum vertex degree, connectivity and chromatic number 2009 Elsevier Ltd All rights reserved 1 Introduction Let G be a simple connected graph with vertex set V(G) = {v 1, v 2,, v n } and edge set E(G) Its order is V(G), denoted by n, and its size is E(G), denoted by m For v V(G), let N G (v) (or N(v) for short) be the set of vertices which are adjacent to v in G and let d(v) = N(v) be the degree of v The maximum and minimum degrees of G are denoted by and δ, respectively For any e E(G), where G is the complement of the graph G, we use G + e to denote the graph obtained by adding e to G Similarly, for any set W of vertices (edges), G W and G + W are the graphs obtained by deleting the vertices (edges) in W from G and by adding the vertices (edges) in W to G, respectively For any nonempty subset V 1 of V(G), the subgraph of G induced by V 1 is denoted by G[V 1 ] Readers are referred to [1] for undefined terms The number of spanning trees of G, denoted by t(g), is the total number of distinct spanning subgraphs of G that are trees We consider the problem of determining some special classes of graphs having the maximum number of spanning trees (or the maximum spanning tree graph problem) Being of interest from a mathematical point of view, this problem also arises in some applications One such application is in the area of experimental design (eg, [2]) Another application concerns the synthesis of reliable communication networks where the links of the network are subject to failure The number of spanning trees of the graph describing the network is one of the natural characteristics of its reliability Although the maximum spanning tree graph problem is difficult in general, it is possible to single out some classes of graphs where the problem remains nontrivial and at the same time is not completely hopeless In this paper, we present some sharp upper bounds for t(g) in terms of graph structural parameters such as the number of vertices, the number of edges, maximum vertex degree, minimum vertex degree, connectivity and chromatic number 2 Preliminaries Let A(G) and D(G) be the adjacency matrix and the diagonal matrix of vertex degrees of G, respectively The Laplacian matrix of G is defined as L(G) = D(G) A(G), It is easy to see that L(G) is a symmetric positive semidefinite matrix having 0 Partially supported by GRF, Research Grant Council of Hong Kong; FRG, Hong Kong Baptist University; and the Natural National Science Foundation of China (No 10871046) Corresponding author E-mail addresses: fzjxli@tomcom (J Li), wcshiu@hkbueduhk (WC Shiu), anchang@fzueducn (A Chang) 0893-9659/$ see front matter 2009 Elsevier Ltd All rights reserved doi:101016/jaml200910006

J Li et al / Applied Mathematics Letters 23 (2010) 286 290 287 as an eigenvalue The Laplacian spectrum of G is S(G) = (µ 1 (G), µ 2 (G),, µ n (G)), where µ 1 (G) µ 2 (G) µ n (G) = 0, are the eigenvalues of L(G) arranged in non-increasing order We also call µ 1 (G) and µ n 1 (G) the Laplacian spectral radius and the algebraic connectivity of the graph G, respectively It is known that a graph is connected if and only if its algebraic connectivity is different from zero When one graph is under discussion, we may write µ i (G) instead of µ i For a connected graph of order n it has been proven [3, p 284] that: t(g) = 1 n 1 µ i n Since L(G) + L(G) = ni J, where I and J denote respectively the identity matrix and the matrix all of whose entries being equal to 1, µ i (G) = n µ n i (G) for 1 i n 1 In particular, µ 1 (G) = n µ n 1 (G) and the following corollary is immediate Corollary 21 Let G be a graph of order n Then µ 1 (G) n with the equality if and only if G is disconnected Lemma 22 ([4]) Let G be a graph containing at least one edge Then µ 1 (G) (G) + 1 Moreover, if G is connected on n > 1 vertices, the equality holds if and only if (G) = n 1 The star, the complete graph and the complete bipartite graph of order n are denoted by S n, K n and K a, b (a + b = n), respectively The vertex-disjoint union of the graphs G and H is denoted by G H Let G H be the graph obtained from G H by adding all possible edges from vertices of G to vertices of H, ie, G H = G H Lemma 23 ([5]) Let G and H be two connected graphs of order r and s, respectively If S(G) = (µ 1 (G), µ 2 (G),, µ r (G)) and S(H) = (µ 1 (H), µ 2 (H),, µ s (H)), then the Laplacian spectrum of G H are: r + s, µ 1 (G) + s, µ 2 (G) + s,, µ r 1 (G) + s, µ 1 (H) + r, µ 2 (H) + r,, µ s 1 (H) + r, 0 The connectivity κ(g) of a graph G is the minimum number of vertices whose removal from G yields a disconnected graph or a trivial graph (ie, a graph consisting of a single vertex), The edge-connectivity κ (G) is defined analogously Fiedler [6] proved that µ n 1 (G) κ(g) κ (G) δ if G is non-complete Kirkland [7], Li and Fan [8] gave a structural characterization on graphs with µ n 1 (G) = κ(g) as follows Lemma 24 ([7,8]) Let G be a connected graph of order n with 1 κ(g) n 2 Then µ n 1 = κ(g) = k if and only if there exists a vertex subset S V(G) with S = k, such that G = G[S] (G 1 G 2 G m ), m 2, and κ(g[s]) 2k n if n 2 < k n 2 (21) Lemma 25 ([9]) Let G be a simple connected graph of order n Then µ 2 = µ 3 = = µ n 1 if and only if G = S n, G = K n or G = K, Lemma 26 ([9]) Let G be a simple connected graph of order n Then µ 1 = µ 2 = = µ if and only if G = K n or G = K n e, where e is any edge of K n 3 Main results In this section, we present some sharp upper bounds for the number of spanning trees of G in terms of its structural parameters such as the number of vertices, the number of edges, maximum vertex degree, minimum vertex degree, connectivity and chromatic number First, we list three upper bounds for t(g) in terms of n, m and as follows (1) Grimmett [10] t(g) 1 n ( 2m n 1 ) n 1 The equality holds if and only if G = K n (2) Das [9] ( ) 2m 1 t(g) n 2 The equality holds if and only if G = S n or G = K n (32) (33)

288 J Li et al / Applied Mathematics Letters 23 (2010) 286 290 (3) Feng et al [11] ( ) ( ) + 1 2m 1 t(g) (34) n n 2 The equality holds if and only if G = S n or G = K n We now state another upper bound for t(g) in terms of n, m, and δ, and characterize the graphs for which the upper bound is attained Theorem 31 Let G be a simple connected graph of order n with m edges, with maximum degree and minimum degree δ Then ( ) 2m 1 δ t(g) δ The equality holds if and only if G = S n, G = K n, G = K 1 (K 1 K ), or G = K n e, where e is any edge of K n Proof From (21), we have t(g) = 1 n n 1 µ i = µ 1µ n 1 n µ i µ n 1 µ i, as µ 1 n µ i µ n 1 (35) Let f (x) = x( 2m 1 x f (x) = 1 ( ) 2m µ1 µ n 1 n 1 = µ n 1, as µ i = 2m ( ) 2m 1 µn 1 µ n 1, as µ 1 + 1 ) (0 < x δ) We have ( ) 2m 1 n 4 x [2m 1 (n 2)x] Then f (x) is an increasing function for x (0, 2m 1 ] We have δ (0, 2m 1 ] since δ(n 2) + + 1 2m Hence, t(g) max 0<x δ f (x) = f (δ) = δ( 2m 1 δ ) In order for the equality holds in (35), all the inequalities in the above argument must be equalities Therefore, we have µ 1 = n, µ 1 = + 1, µ 2 = µ 3 = = µ and µ n 1 = δ If µ 2 = µ 3 = = µ n 1 = δ, then 25 implies that G = S n, G = K n or G = K δ, δ Moreover, since µ 1 (G) = n = (G) 1, if G = K δ, δ, then δ = 1 If n = µ 1 = µ 2 = = µ, then 26 implies that G = K n or G = K n e, where e is any edge of K n If n > µ 2 = µ 3 = = µ > δ, then G K n By Lemma 24 we conclude that G have the following structure G[S] (G 1 G 2 G m ), where m 2 and S = δ Note that S(G) = (n, µ 2, µ 3,, µ, δ, 0), then S(G) = (n δ, n µ, n µ,, n µ 2, 0, 0) Hence, there are only two components in G Moreover, since µ 1 = n, µ 1 = + 1, there exists at least one vertex v S, such that d(v) = n 1 Combining that, if S = δ 2, then we can conclude that there are at least three components in G, which is a contradiction Therefore S = δ = 1 and S(G) = (n 1, n µ, n µ,, n µ 2, 0, 0) Hence G = K 1 G, where S(G ) = (n 1, n µ, n µ,, n µ 2, 0) Lemma 25 implies that G = Sn 1 since µ 2 = µ 3 = = µ > δ = 1 Hence G = K 1 (K 1 K ) The proof is completed Remark 32 The upper bound in (35) is sharp for S n, K n, G = K 1 (K 1 K ) or K n e But (32) is sharp only for K n, (33) and (34) are sharp for S n or K n Following we will consider the relations between the number of spanning trees of a graph and its structural parameters such as connectivity and chromatic number, respectively Before that we need the following proposition on t(g)

J Li et al / Applied Mathematics Letters 23 (2010) 286 290 289 Proposition 33 Let G be a non-complete connected graph Then t(g) < t(g + e) Theorem 34 Let G be a connected graph of order n with connectivity κ Then t(g) κn κ 1 (n 1) n κ 2 (36) The equality holds if and only if G = (K 1 K n κ 1 ) K κ Proof If G = K n, the result follows from the well-known Cayley formula t(k n ) = n In what follows, we shall consider G K n Let G be a graph having the maximum number of spanning trees among all connected graphs of order n with connectivity κ Then there exists a vertex cut V 0 V(G ) and V 0 = κ, such that G V 0 = G 1 G 2 G t, where G 1, G 2,, G t are t (t 2) connected components of G V 0 By Proposition 33, we have t = 2, G 1, G 2 and G[V 0 ] are complete, and any vertex of G 1 and G 2 is adjacent to any vertex in V 0 Let n i = G i for i = 1, 2 Then G = (Kn1 K n2 ) K κ and n 1 + n 2 = n κ Assume that n 1 n 2 By Lemma 23 we have Hence, S(G ) = (n,, n, n 2 + κ,, n 2 + κ, n 1 + κ,, n 1 + κ, κ, 0) κ n 2 1 n 1 1 t(g ) = κn κ 1 (n 2 + κ) n 2 1 (n 1 + κ) n 1 1 Let f (x) = () n κ 1 x (x + κ) x 1 with 1 x n κ 2 Let g(x) = ln f (x) = (n κ x 1) ln() + (x 1) ln(x + κ) Then g (x) = ln x + κ <0 ( x 1 + x + κ n κ x 1 ) < 0 <0 since x n κ n κ Then f (x) is a decreasing function on x(1 x ) Thus 2 2 κnκ 1 f (n 1 ) is maximum if and only if n 1 = 1 Then G = (K1 K n κ 1 ) K κ and t(g ) = κn κ 1 (n 1) n κ 2 Hence (36) follows and equality hold in (36) if and only if G = G = (Kn1 K n2 ) K κ with n 1 = 1 The result follows Since κ((k 1 K n κ 1 ) K κ ) = κ ((K 1 K n κ 1 ) K κ ), the following corollary is obvious Corollary 35 Let G be a connected graph of order n with edge-connectivity κ Then t(g) κ n κ 1 (n 1) n κ 2 The equality holds if and only if G = (K 1 K n κ 1) K κ A coloring of a graph is an assignment of colors to its vertices such that any two adjacent vertices have different colors The chromatic number χ(g) of the graph G is the minimum number of colors in any coloring of G The set of vertices with any one color in a coloring of G is said to be a color class Evidently, any class is independent Lemma 36 f (x) = () x 1 (n + x a) a x 1 is an increasing function on x(1 x a ), where n a 2 Proof Let g(x) = ln f (x) = (x 1) ln() + (a x 1) ln(n + x a) (1 x a ) Then 2 ( ) ( ) a x 1 g (x) = ln + > 0 } n + x a {{ } >0 n + x a x 1 >0 since x a Thus the result follows 2 Theorem 37 Let G be a connected graph of order n with chromatic number χ Then t(g) n χ 2 (n r) (r 1)(χ s) (n r 1) sr The equality holds if and only if G = K r,, r, r + 1,, r + 1, where r, s are integers with n = rχ + s and 0 s < χ χ s s

290 J Li et al / Applied Mathematics Letters 23 (2010) 286 290 Proof Let G be a graph having the maximum number of spanning trees among all connected graphs of order n with chromatic number χ Then V(G ) can be partitioned into χ color classes, say V 1, V 2, V χ Let V i = n i for i = 1, 2,, χ, then χ n i = n Proposition 33 implies that G = K n1, n 2,, nχ Assume that n 1 n 2 n χ By Lemma 23 we have Hence, S(G ) = (n,, n, n n 1,, n n 1,, n n χ,, n n χ, 0) χ 1 n 1 1 nχ 1 t(g ) = n χ 2 χ (n n i ) n i 1 If n i + 2 n j, Lemma 36 implies that (let n i = x and n i + n j = a in Lemma 36 (n n i ) n i 1 (n n j ) n j 1 < [n (n i + 1)] (n i+1) 1 [n (n j 1)] (n j 1) 1 Thus, by replacing any pair (n i, n j ) with n i + 2 n j by the pair (n i + 1, n j 1) χ in the product (n n i) ni 1, will increase the product By repeating this process, we find n χ 2 χ (n n i) ni 1 χ with n i = n and 1 n 1 n χ is maximum if and only if n 1 = n 2 = = n χ s = r and n χ s+1 = = n χ = r + 1, where r, s are integers with n = rχ + s and 0 s < χ Then G = K r,, r, r + 1,, r + 1 and t(g ) = n χ 2 (n r) (r 1)(χ s) (n r 1) sr The result follows χ s s Acknowledgements The authors would like to thank the referees for their careful reading, valuable suggestions and useful comments References [1] J Bondy, U Murty, Graph Theory with Applications, MacMillan, New York, 1976 [2] C Cheng, Maximizing the total number of spanning trees in a graph: Two related problems in graph theory and optimization design theory, J Combinat Theory B-31 (1981) 240 248 [3] C Godsil, G Royle, Algebraic graph theory, in: Graduate Texts in Mathematics, 207, Springer-Verlag, New York, 2001 [4] R Grone, R Merris, The Laplacian spectrum of a graph, SIAM J Discrete Math 7 (1994) 221 229 [5] R Merris, Laplacian graph eigenvectors, Linear Algebra Appl 278 (1998) 221 236 [6] M Fiedler, Algebraic connectivity of graphs, Czechoslovak Math J 23 (1973) 298 305 [7] S Kirkland, A bound on algebraic connectivity of a graph in terms of the number of cutpoints, Linear Multilinear Algebra 47 (2000) 93 103 [8] J Li, Y Fan, Note on the algebraic connectivity of a graph, J Univ Sci Technol China 32 (2002) 1 6 [9] K Das, A sharp upper bound for the number of spanning trees of a graph, Graphs Combin 23 (2007) 625 632 [10] G Grimmett, An upper bound for the number of spanning trees of a graph, Discrete Math 16 (1976) 323 324 [11] L Feng, G Yu, Z Jiang, L Ren, Sharp upper bounds for the number of spanning trees of a graph, Appl Anal Discrete Math 2 (2008) 255 259