^{1}

^{*}

^{2}

Two nonisomorphic graphs
*G* and
*H* are said to be matching equivalent if and only if
*G* and
*H* have the same matching polynomials. In this paper, some families matching equivalent graphs are constructed. In particular, a new method to construct cospectral forests is given.

We use standard graph-theoretical notation and terminology. For concepts and notations not defined here, we refer the reader to [

By a graph we always mean a simple undirected graph G with the vertex set V ( G ) = { v 1 , v 2 , ⋯ , v n } and the edge set E ( G ) = { e 1 , e 2 , ⋯ , e m } .We denote the complement of G by G ¯ . The degree of a vertex v ∈ V ( G ) is denoted by d G ( v ) , abbreviated as d v . Let G ∪ H be the union of two graphs G and H which have no common vertices. For any positive integer l, let lG be the union of l disjoint copies of graph G. An acyclic graph, containing no cycles, is called a forest. A connected forest is called a tree. The complete bipartite graph with p + q vertices is denoted by K p , q . The path, star and complete graph with n vertices are denoted by P n , K 1, n − 1 and K n , respectively.

A r-matching in G is a set of r pairwise non-incident edges. The number of r- matchings in G is denoted by m ( G , r ) . Specifically, m ( G , 1 ) = m and

m ( G , r ) = 0 for r > n 2 . It is both consistent and convenient to define m ( G , 0 ) = 1 . The matching polynomial of the graph G is defined as

μ ( G , x ) = ∑ r ≥ 0 ( − 1 ) r m ( G , r ) x n − 2 r . (1)

Matching polynomials have some important applications in statistical physics and structural chemistry. Up to now, the matching polynomials of graphs are extensively examined, we refer the reader to [

Two nonisomorphic graphs G and H are said to be matching equivalent, symbolically G ~ H , if μ ( G , x ) = μ ( H , x ) . Godsil and Gutman [

In the section, we will present some lemmas which are required in the proof of the main results.

Lemma 1. [

μ ( G , x ) = ∑ r = 0 n m ( G ¯ , ( n − r ) / 2 ) μ ( K r , x ) = ∑ m = 0 ⌊ n / 2 ⌋ m ( G ¯ , m ) μ ( K n − 2 m , x ) . (2)

Corollary 1. G ~ H if and only if G ¯ ~ H ¯ .

Proof. Corollary 1 follows directly by Lemma 1.

Lemma 2. [

1) μ ( G ∪ H , x ) = μ ( G , x ) μ ( H , x ) ;

2) μ ( G , x ) = μ ( G \ e , x ) − μ ( G \ u v , x ) if e = { u , v } is an edge of G;

3) μ ( G , x ) = μ ( G \ u , x ) − ∑ i ~ u μ ( G \ u i , x ) , if u ∈ V ( G ) .

Let G be a graph with a vertex u. The path tree T ( G , u ) is the tree with the paths in G which start at u as its vertices, and where two such paths are joined by an edge if one is a maximal subpath of the other.

Lemma 3. [

μ ( G , x ) = μ ( T ( G , u ) , x ) μ ( T ′ , x ) . (3)

Remark 1. It is not difficult to derive the following description of an appropriate subforest T ′ : find a spanning tree T 0 of G by depth-first search from u, and delete from T all vertices corresponding to a path contained in T 0 .

Wu and Zhang [

Lemma 4. ( [

The eigenvalues of the adjacency matrix of G, denoted by λ i , i = 1 , 2 , ⋯ , n , are the eigenvalues of G, and form the spectrum of G [

graphs of the same order are cospectral if they have the same spectrum.

Lemma 5. ( [

Lemma 5 implies the following result.

Corollary 2. Let G and H be two forests. If G ~ H , then G and H are cospectral.

For convenience, G 20 ( u , v ) and G 22 ( u , v , k ) in

Theorem 1. G 20 ( n + 4,2 n + 4 ) ~ G 22 ( n + 2,2 n + 5,1 ) .

Proof. By (2) of Lemma 2, we have

μ ( G 20 ( n + 4 , 2 n + 4 ) , x ) = μ ( K 1 , n + 3 , x ) μ ( K 1 , 2 n + 3 , x ) − ( 3 n + 6 ) μ ( K 1 , x ) = x 3 n + 8 − ( 3 n + 7 ) x 3 n + 6 + ( 2 n 2 + 9 n + 9 ) x 3 n + 4 ,

and

μ ( G 22 ( n + 2 , 2 n + 5 , 1 ) , x ) = μ ( K 1 , n + 2 , x ) μ ( K 1 , 2 n + 4 , x ) − ( 2 n + 4 ) μ ( K 1 , x ) μ ( K 1 , n + 1 , x ) = x 3 n + 8 − ( 3 n + 7 ) x 3 n + 6 + ( 2 n 2 + 9 n + 9 ) x 3 n + 4 .

Thus, G 20 ( n + 4,2 n + 4 ) ~ G 22 ( n + 2,2 n + 5,1 ) .

By Corollary 1 and Theorem 1, we have

Corollary 3. G 20 ( n + 4,2 n + 4 ) ¯ ~ G 22 ( n + 2,2 n + 5,1 ) ¯ .

Theorem 2. G 22 ( k , k + 2, k ) and G 22 ( k + 1, k + 1, k + 1 ) ∪ K 1 are matching equivalent, and their complements are also matching equivalent, where k > 0 .

Proof. By (2) of Lemma 2, we have

μ ( G 22 ( k , k + 2 , k ) , x ) = μ ( G 22 ( k , k + 1 , k ) , x ) μ ( K 1 , x ) − μ ( K 1 , x ) μ ( K 1 , k , x )

and

μ ( G 22 ( k + 1 , k + 1 , k + 1 ) ∪ K 1 , x ) = μ ( G 22 ( k + 1 , k , k ) , x ) μ ( K 1 , x ) − ( 2 n + 4 ) μ ( K 1 , x ) μ ( K 1 , k , x )

Checking G 22 ( k , k + 1, k ) and G 22 ( k + 1, k , k ) , it can be seen that G 22 ( k , k + 1, k ) and G 22 ( k + 1, k , k ) are isomorphic. So, G 22 ( k , k + 2, k ) ~ G 22 ( k + 1, k + 1, k + 1 ) ∪ K 1 . By Corollary 1, G 22 ( k , k + 2, k ) ¯ ~ G 22 ( k + 1, k + 1, k + 1 ) ∪ K 1 ¯ .

Theorem 3. Let G be a graph obtained by identifying a cycle C 4 to vertex u of G 22 ( n − 1, n − 1, n − 1 ) , and let H be a graph obtained by attaching a path P 2 to a vertex of degree two in G 22 ( n , n , n ) , where n ≥ 3 (see

Proof. By (2) of Lemma 2, we obtain that μ ( G , x ) = μ ( G \ e , x ) − μ ( K 1 , n − 1 , x ) μ ( P 2 , x ) and μ ( H , x ) = μ ( H \ e , x ) − μ ( K 1, n − 1 , x ) μ ( P 2 , x ) . Checking G and H, it can be known that G \ e and H \ e are isomorphic. So, G ~ H . By Corollary 1, again we have G ¯ ~ H ¯ .

Checking G 22 ( d u , d v , k ) , it is easy to find that G 22 ( 2,4,2 ) and G 22 ( 3,3,3 ) ∪ K 1 are matching equivalent. Based on the result above, we construct a pair of matching equivalent graphs as follows.

Theorem 4. Let G be a graph obtained by joining two single vertices to v q in K p , q , and let H be a graph obtained by joining a single vertex to v q − 1 and v q in K p , q , respectively, where v q − 1 and v q are both in the bipartition of q vertices in K p , q (see

Proof. By (2) of Lemma 2, we obtain that μ ( G , x ) = μ ( G \ e , x ) − μ ( K p , q − 1 , x ) μ ( K 1 , x ） and μ ( H ∪ K 1 , x ) = μ ( H \ e , x ) μ ( K 1 , x ) − μ ( K p , q − 1 , x ) μ ( K 1 , x ) . Checking G and H, it can be known that G \ e and H \ e ∪ K 1 are isomorphic. So, G ~ H . By Corollary 1, we have G ¯ ~ H ∪ K 1 ¯ .

Theorem 5. Let G be a graph obtained by attaching a path P 2 to u in G 22 ( 2, n + 1,2 ) , and let H be a graph obtained by identifying the center of K 1, d v to a pendant vertex of G 22 ( 2,2,3 ) (see

Proof. By (2) of Lemma 2, we obtain that μ ( G , x ) = μ ( G \ e , x ) − μ ( K 1, n , x ) μ ( P 2 , x ) and μ ( H , x ) = μ ( H \ e , x ) − μ ( K 1 , n , x ) μ ( P 2 , x ) . Checking G and H, it can be known that G \ e is isomorphic to H \ e . So G ~ H . By Corollary 1, we have G ¯ ~ H ¯ .

Theorem 6. Let G and H be two graphs which are defined in Theorem 5. Then T ( G , v ) ∪ P 3 ~ T ( H , v ′ ) ∪ I and T ( G , v ) ∪ P 3 ¯ ~ T ( H , v ′ ) ∪ I ¯ , where I denotes a graph obtained by attaching a single vertex K 1 to a pendant vertex of K 1,3 , and T ( G , v ) and T ( H , v ′ ) denote the path-trees of G and H, respec- tively (see

Proof. By Lemma 3, we have μ ( G , x ) = μ ( T ( G , v ) , x ) μ ( I , x ) and μ ( H , x ) = μ ( T ( H , v ′ ) , x ) μ ( P 3 , x ) . By Theorem 5, we have μ ( G , x ) = μ ( H , x ) . So, μ ( T ( G , v ) , x ) μ ( I , x ) = μ ( T ( H , v ′ ) , x ) μ ( P 3 , x ) . This implies that T ( G , v ) ∪ P 3 ~ T ( H , v ′ ) ∪ I .

By Corollary 1, we have T ( G , v ) ∪ P 3 ¯ ~ T ( H , v ′ ) ∪ I ¯ . Furthermore, by Corollary 5, we know that T ( G , v ) ∪ P 3 and T ( H , v ′ ) ∪ I are cospectral.

In this paper, we constructed some families matching equivalent graphs in Theorems 1,..., and 4. Based on these results, using the same method in Theorem 6, we can construct some pairs of matching equivalent forests and cospectral forests, respectively.

We thank the editor and referees for their comments. Research of Tingzeng Wu is funded by NSF of Qinghai (2016-ZJ-947Q), and high-level personnel of scientific research projects of QHMU(2016XJG07). These supports are greatly appreciated.

Wu, T.Z. and Lü, H.Z. (2017) Constructing Matching Equivalent Graphs. Applied Mathematics, 8, 476- 482. https://doi.org/10.4236/am.2017.84038